Pub Date : 2023-10-01DOI: 10.1016/j.difgeo.2023.102046
Antonio W. Cunha , Eudes L. de Lima , Rong Mi
In this short note we provide some results for Bach solitons under different assumptions. In fact, under either non-negative or non-positive Ricci curvature condition we are able to show that a Bach soliton must be Bach-flat, since it satisfies a finite weighted Dirichlet integral condition or a parabolicity condition jointly with some regularity conditions or on gradient of the potential function.
{"title":"Some characterizations of Bach solitons via Ricci curvature","authors":"Antonio W. Cunha , Eudes L. de Lima , Rong Mi","doi":"10.1016/j.difgeo.2023.102046","DOIUrl":"10.1016/j.difgeo.2023.102046","url":null,"abstract":"<div><p>In this short note we provide some results for Bach solitons under different assumptions. In fact, under either non-negative or non-positive Ricci curvature condition we are able to show that a Bach soliton must be Bach-flat, since it satisfies a finite weighted Dirichlet integral condition or a parabolicity condition jointly with some regularity conditions <span><math><msup><mrow><mi>L</mi></mrow><mrow><mo>∞</mo></mrow></msup></math></span> or <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span> on gradient of the potential function.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43057233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-01DOI: 10.1016/j.difgeo.2023.102042
Logan S. Fox, J.J.P. Veerman
We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These results are applied to answer an open question concerning the Hausdorff dimension of equidistant sets in the Euclidean plane.
{"title":"Equidistant sets on Alexandrov surfaces","authors":"Logan S. Fox, J.J.P. Veerman","doi":"10.1016/j.difgeo.2023.102042","DOIUrl":"10.1016/j.difgeo.2023.102042","url":null,"abstract":"<div><p>We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These results are applied to answer an open question concerning the Hausdorff dimension of equidistant sets in the Euclidean plane.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44552327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-01DOI: 10.1016/j.difgeo.2023.102029
Philipp Harms , Peter W. Michor , Xavier Pennec , Stefan Sommer
In statistics, independent, identically distributed random samples do not carry a natural ordering, and their statistics are typically invariant with respect to permutations of their order. Thus, an n-sample in a space M can be considered as an element of the quotient space of modulo the permutation group. The present paper takes this definition of sample space and the related concept of orbit types as a starting point for developing a geometric perspective on statistics. We aim at deriving a general mathematical setting for studying the behavior of empirical and population means in spaces ranging from smooth Riemannian manifolds to general stratified spaces.
We fully describe the orbifold and path-metric structure of the sample space when M is a manifold or path-metric space, respectively. These results are non-trivial even when M is Euclidean. We show that the infinite sample space exists in a Gromov–Hausdorff type sense and coincides with the Wasserstein space of probability distributions on M. We exhibit Fréchet means and k-means as metric projections onto 1-skeleta or k-skeleta in Wasserstein space, and we define a new and more general notion of polymeans. This geometric characterization via metric projections applies equally to sample and population means, and we use it to establish asymptotic properties of polymeans such as consistency and asymptotic normality.
{"title":"Geometry of sample spaces","authors":"Philipp Harms , Peter W. Michor , Xavier Pennec , Stefan Sommer","doi":"10.1016/j.difgeo.2023.102029","DOIUrl":"10.1016/j.difgeo.2023.102029","url":null,"abstract":"<div><p>In statistics, independent, identically distributed random samples do not carry a natural ordering, and their statistics are typically invariant with respect to permutations of their order. Thus, an <em>n</em>-sample in a space <em>M</em> can be considered as an element of the quotient space of <span><math><msup><mrow><mi>M</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> modulo the permutation group. The present paper takes this definition of sample space and the related concept of orbit types as a starting point for developing a geometric perspective on statistics. We aim at deriving a general mathematical setting for studying the behavior of empirical and population means in spaces ranging from smooth Riemannian manifolds to general stratified spaces.</p><p>We fully describe the orbifold and path-metric structure of the sample space when <em>M</em> is a manifold or path-metric space, respectively. These results are non-trivial even when <em>M</em> is Euclidean. We show that the infinite sample space exists in a Gromov–Hausdorff type sense and coincides with the Wasserstein space of probability distributions on <em>M</em>. We exhibit Fréchet means and <em>k</em>-means as metric projections onto 1-skeleta or <em>k</em>-skeleta in Wasserstein space, and we define a new and more general notion of polymeans. This geometric characterization via metric projections applies equally to sample and population means, and we use it to establish asymptotic properties of polymeans such as consistency and asymptotic normality.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47108488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-01DOI: 10.1016/j.difgeo.2023.102040
J. Monterde
We show that given a constant rank linear map, , there exists a Lie algebroid with K as its anchor map, if and only if the image distribution, ImK, is involutive. As a byproduct, a new example of Lie algebroid bracket associated with a regular foliation is obtained through the projector onto the involutive distribution. The Lie algebroid bracket is not defined on the involutive distribution but on the whole space of vector fields of the manifold.
{"title":"Existence of Lie algebroids on the tangent bundle with a given anchor map of constant rank","authors":"J. Monterde","doi":"10.1016/j.difgeo.2023.102040","DOIUrl":"10.1016/j.difgeo.2023.102040","url":null,"abstract":"<div><p>We show that given a constant rank linear map, <span><math><mi>K</mi><mo>:</mo><mi>T</mi><mi>M</mi><mo>→</mo><mi>T</mi><mi>M</mi></math></span>, there exists a Lie algebroid with <em>K</em> as its anchor map, if and only if the image distribution, Im<em>K</em>, is involutive. As a byproduct, a new example of Lie algebroid bracket associated with a regular foliation is obtained through the projector onto the involutive distribution. The Lie algebroid bracket is not defined on the involutive distribution but on the whole space of vector fields of the manifold.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48064706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-10-01DOI: 10.1016/j.difgeo.2023.102004
Markus Dafinger
It is well-known from Noether's theorem that symmetries of a variational functional lead to conservation laws of the corresponding Euler-Lagrange equation. We reverse this statement and prove that a differential equation, which satisfies sufficiently many symmetries and corresponding conservation laws, leads to a variational functional, whose Euler-Lagrange equation is the given differential equation. Sufficiently many symmetries means that the set of symmetry vector fields satisfy span, that is, they span the tangent space at each point p of a fiber bundle E, which describes the dependent- and independent coordinates. Higher order coordinates are described by the jet bundle and we require no span-assumptions on . Our main theorem states that Noether's theorem can be reversed in this sense for second order differential equations, or more precisely, for so-called second order source forms on , which are required to write the differential equation as a weak formulation (every Euler-Lagrange equation is derived from a first variation, that is, from a weak formulation). Counter examples show that our theorem is sharp.
{"title":"Existence of a variational principle for PDEs with symmetries and current conservation","authors":"Markus Dafinger","doi":"10.1016/j.difgeo.2023.102004","DOIUrl":"https://doi.org/10.1016/j.difgeo.2023.102004","url":null,"abstract":"<div><p>It is well-known from Noether's theorem that symmetries of a variational functional lead to conservation laws of the corresponding Euler-Lagrange equation. We reverse this statement and prove that a differential equation, which satisfies sufficiently many symmetries and corresponding conservation laws, leads to a variational functional, whose Euler-Lagrange equation is the given differential equation. Sufficiently many symmetries means that the set of symmetry vector fields satisfy span<span><math><mo>{</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>:</mo><mi>V</mi><mo>∈</mo><mtext>Sym</mtext><mo>}</mo><mo>=</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>p</mi></mrow></msub><mi>E</mi></math></span>, that is, they span the tangent space <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>p</mi></mrow></msub><mi>E</mi></math></span> at each point <em>p</em> of a fiber bundle <em>E</em>, which describes the dependent- and independent coordinates. Higher order coordinates are described by the jet bundle <span><math><msup><mrow><mi>J</mi></mrow><mrow><mi>k</mi></mrow></msup><mi>E</mi></math></span> and we require no span-assumptions on <span><math><mi>T</mi><msup><mrow><mi>J</mi></mrow><mrow><mi>k</mi></mrow></msup><mi>E</mi></math></span>. Our main theorem states that Noether's theorem can be reversed in this sense for second order differential equations, or more precisely, for so-called second order source forms on <span><math><msup><mrow><mi>J</mi></mrow><mrow><mn>2</mn></mrow></msup><mi>E</mi></math></span>, which are required to write the differential equation as a weak formulation (every Euler-Lagrange equation is derived from a first variation, that is, from a weak formulation). Counter examples show that our theorem is sharp.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49760057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-28DOI: 10.1016/j.difgeo.2023.102061
Zejun Hu, Xi Zhang
Wang and Zhang in (2022) [20] and (2023) [21] characterized type (A) real hypersurfaces of the nonflat complex space forms as having transversal Killing structure Lie operator or contact Lie operator . In this note, we extend the above results by showing that the class of real hypersurfaces of type (A), (B) and the ruled real hypersurfaces in the nonflat complex space forms are locally characterized by having weakly transversal Killing operator or .
{"title":"Real hypersurfaces of nonflat complex space forms with weakly transversal Killing operators","authors":"Zejun Hu, Xi Zhang","doi":"10.1016/j.difgeo.2023.102061","DOIUrl":"https://doi.org/10.1016/j.difgeo.2023.102061","url":null,"abstract":"<div><p>Wang and Zhang in (2022) <span>[20]</span> and (2023) <span>[21]</span> characterized type (A) real hypersurfaces of the nonflat complex space forms as having transversal Killing structure Lie operator <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>ξ</mi></mrow></msub></math></span> or contact Lie operator <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>ξ</mi></mrow></msub><mi>ϕ</mi></math></span>. In this note, we extend the above results by showing that the class of real hypersurfaces of type (A), (B) and the ruled real hypersurfaces in the nonflat complex space forms are locally characterized by having weakly transversal Killing operator <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>ξ</mi></mrow></msub></math></span> or <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>ξ</mi></mrow></msub><mi>ϕ</mi></math></span>.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49749474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-28DOI: 10.1016/j.difgeo.2023.102062
Hongmei Zhu , Ranran Li
In this paper, we prove that the circle centered at the origin in is a proper maximum of the isoperimetric problem in a 2-dimensional Randers space endowed with 3-parameter family of non-locally projectively flat Finsler metrics of non-constant isotropic S-curvature.
{"title":"On isoperimetric problem in 2-dimensional Randers space","authors":"Hongmei Zhu , Ranran Li","doi":"10.1016/j.difgeo.2023.102062","DOIUrl":"https://doi.org/10.1016/j.difgeo.2023.102062","url":null,"abstract":"<div><p>In this paper, we prove that the circle centered at the origin in <span><math><msup><mrow><mi>B</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><msub><mrow><mi>δ</mi></mrow><mrow><mi>ξ</mi></mrow></msub><mo>)</mo></math></span> is a proper maximum of the isoperimetric problem in a 2-dimensional Randers space endowed with 3-parameter family of non-locally projectively flat Finsler metrics of non-constant isotropic <em>S</em>-curvature.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49749476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-27DOI: 10.1016/j.difgeo.2023.102063
Josué Meléndez, Eduardo Rodríguez-Romero
In this paper we study some special ruled surfaces in a 3-dimensional Riemannian manifold . Given an immersed surface M into , we consider the ruled surfaces that are normal or tangent to M and give some geometric relations between them, generalizing some recent results obtained in [3], [5]. We also give some general properties on normal and tangent submanifolds of arbitrary dimension.
{"title":"Some geometric properties of normal and tangent submanifolds","authors":"Josué Meléndez, Eduardo Rodríguez-Romero","doi":"10.1016/j.difgeo.2023.102063","DOIUrl":"https://doi.org/10.1016/j.difgeo.2023.102063","url":null,"abstract":"<div><p>In this paper we study some special ruled surfaces in a 3-dimensional Riemannian manifold <span><math><mover><mrow><mi>M</mi></mrow><mrow><mo>¯</mo></mrow></mover></math></span>. Given an immersed surface <em>M</em> into <span><math><mover><mrow><mi>M</mi></mrow><mrow><mo>¯</mo></mrow></mover></math></span>, we consider the ruled surfaces that are normal or tangent to <em>M</em> and give some geometric relations between them, generalizing some recent results obtained in <span>[3]</span>, <span>[5]</span>. We also give some general properties on normal and tangent submanifolds of arbitrary dimension.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49749861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-19DOI: 10.1016/j.difgeo.2023.102060
Andrés J. Moreno
We consider left-invariant -structures on 7-dimensional almost Abelian Lie groups. Also, we characterise the associated torsion forms and the full torsion tensor according to the Lie bracket A of the corresponding Lie algebra. In those terms, we establish the algebraic condition on A for each of the possible 16-torsion classes of a -structure. In particular, we show that four of those torsion classes are not admissible, since implies . Finally, we use the above results to provide the algebraic criteria on A, satisfying the harmonic condition , and this allows to identify which torsion classes are harmonic.
{"title":"Harmonic G2-structures on almost Abelian Lie groups","authors":"Andrés J. Moreno","doi":"10.1016/j.difgeo.2023.102060","DOIUrl":"https://doi.org/10.1016/j.difgeo.2023.102060","url":null,"abstract":"<div><p>We consider left-invariant <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-structures on 7-dimensional almost Abelian Lie groups. Also, we characterise the associated torsion forms and the full torsion tensor according to the Lie bracket <em>A</em> of the corresponding Lie algebra. In those terms, we establish the algebraic condition on <em>A</em> for each of the possible 16-torsion classes of a <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-structure. In particular, we show that four of those torsion classes are not admissible, since <span><math><msub><mrow><mi>τ</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>=</mo><mn>0</mn></math></span> implies <span><math><msub><mrow><mi>τ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>=</mo><mn>0</mn></math></span>. Finally, we use the above results to provide the algebraic criteria on <em>A</em>, satisfying the harmonic condition <span><math><mi>div</mi><mspace></mspace><mi>T</mi><mo>=</mo><mn>0</mn></math></span>, and this allows to identify which torsion classes are harmonic.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49749665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-17DOI: 10.1016/j.difgeo.2023.102049
S. Hajdú, T. Mestdag
A nonlinear splitting on a fiber bundle is a generalization of an Ehresmann connection. An example is given by the homogeneous nonlinear splitting of a Finsler function on the total manifold of a fiber bundle. We show how homogeneous nonlinear splittings and nonlinear lifts can be used to construct submersions between Euclidean, Minkowski and Finsler spaces. As an application we consider a semisimple Lie algebra and use our methods to give new examples of Finsler functions on a reductive homogeneous space.
{"title":"Homogeneous nonlinear splittings and Finsler submersions","authors":"S. Hajdú, T. Mestdag","doi":"10.1016/j.difgeo.2023.102049","DOIUrl":"10.1016/j.difgeo.2023.102049","url":null,"abstract":"<div><p>A nonlinear splitting on a fiber bundle is a generalization of an Ehresmann connection. An example is given by the homogeneous nonlinear splitting of a Finsler function on the total manifold of a fiber bundle. We show how homogeneous nonlinear splittings and nonlinear lifts can be used to construct submersions between Euclidean, Minkowski and Finsler spaces. As an application we consider a semisimple Lie algebra and use our methods to give new examples of Finsler functions on a reductive homogeneous space.</p></div>","PeriodicalId":51010,"journal":{"name":"Differential Geometry and its Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43907881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}