Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.34141

Scalar Curvature Lower Bounds and Convergence in Measure

Liam Mazurowski·Xuan Yao
View original source ↗Read source document ↗Export metadata ↓

Abstract

Assume that smooth metrics $g_k$ converge in measure to a smooth metric $g$. Gromov asked the following question: if all the metrics $g_k$ have non-negative scalar curvature does it follow that $g$ also has non-negative scalar curvature? We answer Gromov's question in dimension three. We show that, without further assumptions, the metric $g$ need not have non-negative scalar curvature and in fact $g$ may be completely arbitrary. However, if one assumes in addition that the identity maps $(M,g_k)\to (M,g)$ are uniformly bi-Lipschitz, then indeed $g$ must have non-negative scalar curvature. Our method of proof can also be used to show that, under an almost Euclidean entropy condition, scalar curvature lower bounds will persist under convergence of the metrics together with their inverses in $L^p$ for suitably large $p$.

Explore related subjects

math.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Liam Mazurowski, Xuan Yao. 2026-09-28. Scalar Curvature Lower Bounds and Convergence in Measure. https://arxiv.org/abs/2609.34141

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Strong generalized holomorphic principal bundles

We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group. We develop a de Rham cohomology for regular GC manifolds, and a Dolbeault cohomology for SGH vector bundles. Moreover, we establish a Chern-Weil theory for SGH principal $G$-bundles under certain mild assumptions on the leaf space of the GC structure. We also present a Hodge theory along with associated dualities and vanishing theorems for SGH vector bundles. Several examples of SGH fiber bundles are given.

math.DG↗
arXiv2026

Llarull's theorem on odd dimensional manifolds: the noncompact case

Let $(M,g^{TM})$ be an odd dimensional ($\dim M\geq 3$) connected oriented noncompact complete spin Riemannian manifold. Let $k^{TM}$ be the associated scalar curvature. Let $f:M\to S^{\dim M}(1)$ be a smooth area decreasing map which is locally constant near infinity and of nonzero degree. Suppose $k^{TM}\geq ({\dim M})({\dim M}-1)$ on the support of ${\rm d}f$, we show that $\inf(k^{TM})<0$. This answers a question of Gromov.

math.DG↗
arXiv2026

Asymptotic expansion of the variation of the Quillen metric and its moment map interpretation

In Kähler geometry, the Donaldson--Fujiki moment map picture interprets the scalar curvature of a Kähler metric as a moment map on the space of compatible almost complex structures on a fixed symplectic manifold. In this paper, we generalize this picture using the framework of equivariant determinant line bundles. Given a prequantization $P=(L,h,\nabla)$ of a compact symplectic manifold $(M,ω)$, let $\mathcal{G}=\mathrm{Aut}(P)$. For each $k\in\mathbb{N}$, we construct a $\mathcal{G}$-equivariant determinant line bundle $λ^{(k)}\rightarrow\mathcal{J}_{int}$ on the space of integrable compatible almost complex structures, equipped with the $\mathcal{G}$-invariant Quillen metric. The curvature form of $λ^{(k)}$ admits an asymptotic expansion whose coefficients yield a sequence of $\mathcal{G}$-invariant closed $2$-forms $Ω_j$ on $\mathcal{J}_{int}$ and corresponding moment maps $μ_j:\mathcal{J}_{int}\rightarrow C^\infty(M)$. Each $μ_j$ arises from the asymptotic expansion of the variation of the logarithm of the Quillen metric with respect to Kähler potentials, with the complex structure held fixed. This provides a natural generalization of the Donaldson--Fujiki moment map interpretation of scalar curvature. Moreover, we show that $μ_j$ coincide with the $Z$--critical equations introduced by Dervan--Hallam, and we state a generalization of Fujiki's fiber integral formula.

math.DG↗