Mass in Kähler geometry (Q328188): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
A complete connected non-compact Riemannian manifold \((M,g)\) of dimension \(n\geq 3\) is said to be \textit{asymptotically Euclidean} (or AE) if there is a compact subset \(\mathbf{K}\subset M\) such that \(M-\mathbf{K}\) consists of finitely many components, each of which is diffeomorphic to the complement of a closed ball \(\mathbf{D}^n \subset \mathbb{R}^n\), in a manner such that \(g\) becomes the standard Euclidean metric plus terms that fall off sufficiently rapidly at infinity. The components of \(M-\mathbf{K}\) are called the \textit{ends} of \(M\); More generally, \((M,g)\) is said to be \textit{asymptotically locally Euclidean} (or ALE) if each end is diffeomorphic to the quotient \((\mathbb{R}^n-\mathbf{D}^n)/\Gamma_j\), where \(\Gamma_j\subset {\mathbf O}(n)\) is a finite subgroup which acts freely on the unit sphere. The \textit{mass} of an ALE manifold is given by \[ \mathfrak{m}(M, g) := \lim_{\varrho\to \infty} \frac{\Gamma(\frac{n}{2})}{4(n-1)\pi^{n/2}} \int_{S_\varrho/\Gamma_j} \left[ g_{k\ell, k} -g_{kk,\ell}\right] \mathbf{n}^\ell d\mathfrak{a}_E \] where \(S_\varrho\) is the Euclidean coordinate sphere of radius \(\varrho\), \(d\mathfrak{a}_E\) is the \((n-1)\)-dimensional volume form on this sphere, and \(\vec{\mathbf{n}}\) is the outward-pointing Euclidean unit normal vector. The mass may be understood as an anomaly in the formula for the total scalar curvature, encapsulating an essential difference between the ALE and compact cases. In this paper, the authors prove a simple, explicit formula for the mass of any asymptotically locally Euclidean (ALE) Kähler manifold, assuming only the sort of weak fall-off conditions required for the mass to actually be well defined. For ALE scalar-flat Kähler manifolds, the mass turns out to be a topological invariant, depending only on the underlying smooth manifold, the first Chern class of the complex structure, and the Kähler class of the metric. When the metric is actually AE (asymptotically Euclidean), this formula not only implies a positive mass theorem for Kähler metrics, but also yields a Penrose-type inequality for the mass. | |||
Property / review text: A complete connected non-compact Riemannian manifold \((M,g)\) of dimension \(n\geq 3\) is said to be \textit{asymptotically Euclidean} (or AE) if there is a compact subset \(\mathbf{K}\subset M\) such that \(M-\mathbf{K}\) consists of finitely many components, each of which is diffeomorphic to the complement of a closed ball \(\mathbf{D}^n \subset \mathbb{R}^n\), in a manner such that \(g\) becomes the standard Euclidean metric plus terms that fall off sufficiently rapidly at infinity. The components of \(M-\mathbf{K}\) are called the \textit{ends} of \(M\); More generally, \((M,g)\) is said to be \textit{asymptotically locally Euclidean} (or ALE) if each end is diffeomorphic to the quotient \((\mathbb{R}^n-\mathbf{D}^n)/\Gamma_j\), where \(\Gamma_j\subset {\mathbf O}(n)\) is a finite subgroup which acts freely on the unit sphere. The \textit{mass} of an ALE manifold is given by \[ \mathfrak{m}(M, g) := \lim_{\varrho\to \infty} \frac{\Gamma(\frac{n}{2})}{4(n-1)\pi^{n/2}} \int_{S_\varrho/\Gamma_j} \left[ g_{k\ell, k} -g_{kk,\ell}\right] \mathbf{n}^\ell d\mathfrak{a}_E \] where \(S_\varrho\) is the Euclidean coordinate sphere of radius \(\varrho\), \(d\mathfrak{a}_E\) is the \((n-1)\)-dimensional volume form on this sphere, and \(\vec{\mathbf{n}}\) is the outward-pointing Euclidean unit normal vector. The mass may be understood as an anomaly in the formula for the total scalar curvature, encapsulating an essential difference between the ALE and compact cases. In this paper, the authors prove a simple, explicit formula for the mass of any asymptotically locally Euclidean (ALE) Kähler manifold, assuming only the sort of weak fall-off conditions required for the mass to actually be well defined. For ALE scalar-flat Kähler manifolds, the mass turns out to be a topological invariant, depending only on the underlying smooth manifold, the first Chern class of the complex structure, and the Kähler class of the metric. When the metric is actually AE (asymptotically Euclidean), this formula not only implies a positive mass theorem for Kähler metrics, but also yields a Penrose-type inequality for the mass. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53B35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C21 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C23 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6641313 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asymptotically Euclidean manifold | |||
Property / zbMATH Keywords: asymptotically Euclidean manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asymptotically locally Euclidean manifold | |||
Property / zbMATH Keywords: asymptotically locally Euclidean manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kähler manifolds | |||
Property / zbMATH Keywords: Kähler manifolds / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mass | |||
Property / zbMATH Keywords: mass / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
first Chern class | |||
Property / zbMATH Keywords: first Chern class / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gauss-Bonnet-type formula | |||
Property / zbMATH Keywords: Gauss-Bonnet-type formula / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
total scalar curvature | |||
Property / zbMATH Keywords: total scalar curvature / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Nicolai Konstantinovich Smolentsev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2468667051 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1507.08885 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4280955 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théorèmes de finitude pour la cohomologie des espaces complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Resolution of Extremal and Constant Scalar Curvature Kähler Orbifolds: / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coordinate Invariance and Energy Expressions in General Relativity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Imbedding of V-Manifolds in Projective Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5749404 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The mass of an asymptotically flat manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4720334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof of the Riemannian Penrose inequality using the positive mass theorem. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3948283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Einstein metrics and complex singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L^2\) cohomology and parabolicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On conformally Kähler, Einstein manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über Modifikationen und exzeptionelle analytische Mengen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3944851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotically conical Calabi-Yau manifolds. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Thickening and Supersymmetric Extensions of Complex Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4195061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotically cylindrical Calabi-Yau manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hodge cohomology of gravitational instantons / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrability of rough almost complex structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the convergence of formal equivalence between embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twistors, Kahler Manifolds, and Bimeromorphic Geometry. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4378038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complex geometry. An introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theorem of completeness of characteristic systems for analytic families of compact submanifolds of complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constant scalar curvature Kähler surfaces and parabolic polystability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counter-examples to the generalized positive action conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit self-dual metrics on \({\mathbb{C}}{\mathbb{P}}_ 2\#\cdots \#{\mathbb{C}}{\mathbb{P}}_ 2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On optimal 4-dimensional metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Yamabe problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A smörgåsbord of scalar-flat Kähler ALE surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some integration problems in almost-complex and complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3838500 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector fields on analytic spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete manifolds with nonnegative scalar curvature and the positive action conjecture in general relativity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5770502 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ricci-Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new proof of the positive energy theorem. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:09, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mass in Kähler geometry |
scientific article |
Statements
Mass in Kähler geometry (English)
0 references
20 October 2016
0 references
A complete connected non-compact Riemannian manifold \((M,g)\) of dimension \(n\geq 3\) is said to be \textit{asymptotically Euclidean} (or AE) if there is a compact subset \(\mathbf{K}\subset M\) such that \(M-\mathbf{K}\) consists of finitely many components, each of which is diffeomorphic to the complement of a closed ball \(\mathbf{D}^n \subset \mathbb{R}^n\), in a manner such that \(g\) becomes the standard Euclidean metric plus terms that fall off sufficiently rapidly at infinity. The components of \(M-\mathbf{K}\) are called the \textit{ends} of \(M\); More generally, \((M,g)\) is said to be \textit{asymptotically locally Euclidean} (or ALE) if each end is diffeomorphic to the quotient \((\mathbb{R}^n-\mathbf{D}^n)/\Gamma_j\), where \(\Gamma_j\subset {\mathbf O}(n)\) is a finite subgroup which acts freely on the unit sphere. The \textit{mass} of an ALE manifold is given by \[ \mathfrak{m}(M, g) := \lim_{\varrho\to \infty} \frac{\Gamma(\frac{n}{2})}{4(n-1)\pi^{n/2}} \int_{S_\varrho/\Gamma_j} \left[ g_{k\ell, k} -g_{kk,\ell}\right] \mathbf{n}^\ell d\mathfrak{a}_E \] where \(S_\varrho\) is the Euclidean coordinate sphere of radius \(\varrho\), \(d\mathfrak{a}_E\) is the \((n-1)\)-dimensional volume form on this sphere, and \(\vec{\mathbf{n}}\) is the outward-pointing Euclidean unit normal vector. The mass may be understood as an anomaly in the formula for the total scalar curvature, encapsulating an essential difference between the ALE and compact cases. In this paper, the authors prove a simple, explicit formula for the mass of any asymptotically locally Euclidean (ALE) Kähler manifold, assuming only the sort of weak fall-off conditions required for the mass to actually be well defined. For ALE scalar-flat Kähler manifolds, the mass turns out to be a topological invariant, depending only on the underlying smooth manifold, the first Chern class of the complex structure, and the Kähler class of the metric. When the metric is actually AE (asymptotically Euclidean), this formula not only implies a positive mass theorem for Kähler metrics, but also yields a Penrose-type inequality for the mass.
0 references
asymptotically Euclidean manifold
0 references
asymptotically locally Euclidean manifold
0 references
Kähler manifolds
0 references
mass
0 references
first Chern class
0 references
Gauss-Bonnet-type formula
0 references
total scalar curvature
0 references
0 references
0 references