Search arXiv⌕ Search

arXiv · 2610.38408

Pseudolocality of $G_2$-Laplacian Flow

Abstract

In this paper, we give a new proof of Perelman's pseudolocality theorem for Ricci flow, which does not rely on Perelman's Harnack-type inequality. The key step is an estimate relating initial local $μ$-entropy to pointed Nash entropy at later spacetime points. The argument also works for other reasonable geometric flows, like the $G_2$-Laplacian flow, at a scale depending on its deviation from Ricci flow and its scalar curvature lower bound. As a consequence, we can also prove the quantitative rigidity results concerning pointed Nash entropy due to Hein-Naber and Bamler for such geometric flows. In the appendix, we also show that the other results in Bamler's work (arXiv:2008.07093), when suitably modified, remain valid for Laplacian flow with bounded torsion. These include log-Sobolev/Poincaré inequality for conjugate heat kernel measure, heat kernel estimates, and dependence of the pointed Nash entropy on its basepoint.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Weiyong He, Longhuan Yan. 2026-10-28. Pseudolocality of $G_2$-Laplacian Flow. https://arxiv.org/abs/2610.38408

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

KEEP EXPLORING

Related papers

A generalization of the Perelman gluing theorem and applications

We extend a positive Ricci curvature gluing theorem of Perelman to a range of positive intermediate curvature conditions, ranging from positive scalar curvature up to (and including) positive sectional curvature. As an application of this, we demonstrate that the observer moduli space of metrics with positive intermediate Ricci curvatures can have non-trivial higher homotopy groups. Further applications include deriving a sufficient condition for the existence of a metric with positive intermediate Ricci curvature and totally geodesic boundary.

math.DG↗

Covariant derivatives in the representation-valued Bott-Shulman-Stasheff and Weil complex

For a Lie groupoid $G$, the differential forms on its nerve comprise a double complex. A natural question is if this statement extends to forms with values in a representation $V$ of $G$. In this paper, we research two types of covariant derivatives which commute with the simplicial differential, yielding two types of curved double complexes of forms with coefficients in $V$. The naive approach is to consider a linear connection $\nabla$ on $V$, in which case $d^\nabla$ commutes with the simplicial differential if and only if $\nabla$ satisfies a certain (restrictive) invariance condition. The heart of this paper focuses on another, more compelling approach: using a multiplicative Ehresmann connection for a bundle of ideals. In this case, we obtain a geometrically richer curved double complex, where the cochain map is given by the horizontal exterior covariant derivative $D$, which generalizes the well-known operator from the theory of principal bundles. Moreover, both differential operators $d^\nabla$ and $D$ are researched in the infinitesimal setting of Lie algebroids, as well as their relationship with the van Est map. We conclude by using the operator $D$ to study the curvature of an (infinitesimal) multiplicative Ehresmann connection.

math.DG↗

Montel's theorem and tautness in calibrated geometry

We relate the hyperbolicity of a calibrated manifold $(X, ϕ)$ to the analytic properties of the space of Smith immersions $\mathrm{SmIm}(B^k, X)$ from the Poincare $k$-ball into $X$. In particular, we establish the following calibrated analogue of a theorem of Royden: if $X$ is $ϕ$-saturated, then $R_ϕ$- and $K_ϕ$-hyperbolicity coincide, and either implies the equicontinuity of $\mathrm{SmIm}(B^k, X)$ with respect to the $ϕ$-distance. This yields a Montel theorem for compact $ϕ$-saturated calibrated manifolds as an immediate corollary. Our primary technical tool is a new Schwarz lemma for Smith immersions from $B^k$ into $X$, which is of independent interest. In a similar spirit, we also prove a calibrated analogue of Kiernan's theorem to the effect that the $K_ϕ$-hyperbolicity of $X$ is almost equivalent to $\mathrm{SmIm}(B^k, X)$ being a normal family. Finally, we prove that bounded domains in flat euclidean space are $R_ϕ$-hyperbolic for any calibration $ϕ$, and we investigate the hyperbolicity of products and discrete quotients.

math.DG↗