Green--Wasserstein Inequality on Compact Surfaces

2026-03-11T14:16:26Z

Let $(M,g)$ be a compact connected two-dimensional Riemannian manifold without boundary. In this note, we answer a question posed by Steinerberger: can one remove the $\sqrt{\log n}$ factor in the two-dimensional Green--Wasserstein inequality while keeping the unrenormalized off-diagonal Green term? We show that this is impossible on any compact connected surface: there is no inequality of the same form that holds uniformly over point sets with an $O(n^{-1/2})$ remainder for all $n$. We argue by contradiction and combine a second-moment estimate for the random Green energy of i.i.d. samples with the semi-discrete random matching asymptotics of Ambrosio--Glaudo.

Polyhomogeneous mapping properties of the Radon transform and backprojection operator on the unit ball

2026-03-11T14:12:04Z

This article covers polyhomogeneous mapping properties of the Radon transform $R$ of smooth functions on the open unit ball $Ω\subset\mathbb{R}^n$ and the back-projection operator $R^*$ on $Z=(-1,1)\times S^{n-1}\subset\mathbb{R}\times S^{n-1}$. We construct a double $b$-fibration which desingularizes the point-hyperplane relation of $\overlineΩ$ as the total space of a fibration over $\overline{Z}$. We provide formulas for $R$ and $R^*$ in operations generated by the associated $b$-fibrations and sharper estimates on the polyhomogeneous mapping properties of $R$ and $R^*$ compared to classic estimates using classic Mellin functional techniques. We include a discussion of a one (complex) parameter family of normal operators associated to $R$ mapping $C^{\infty}(\overlineΩ)$ to itself.

Bi-Lipschitz Smoothing under Ricci and Injectivity Bounds

2026-03-11T14:10:13Z

We prove that a complete Riemannian manifold with a positive uniform lower bound on injectivity radius and a positive uniform lower bound on Ricci curvature admits an $L^\infty$-close (bi-Lipschitz) smooth metric with two-sided Ricci curvature bounds and a uniform positive lower bound on injectivity radius. This answers Question 2 in the Morgan--Pansu list of open problems from the conference Modern Trends in Differential Geometry (São Paulo, 2018), proposed by L. Bandara. In the proof, we rely on controlled smoothing with Croke's universal local volume lower bound and the Cheeger--Gromov--Taylor injectivity radius estimate.

A Python implementation of some geometric tools on Kendall 3D shape space for practical applications

2026-03-11T11:57:43Z

This work addresses the challenge of analyzing geometric structures using Kendall's 3D Shape Space. While Riemannian geometry provides a robust framework for shape analysis (independent of scale, position, and orientation) the transition from theoretical manifolds to practical computational workflows remains difficult. Although Geomstats is currently the leading Python library for manifold-based statistics, it lacks specific utilities required for advanced 3D shape analysis. This article introduces tools designed to bridge this gap, translating complex mathematical abstractions into efficient, accessible software solutions for researchers.

Rigidity of Critical Point Metrics under some Ricci curvature constraints

2026-03-11T11:04:21Z

A critical point metric is a critical point of the total scalar curvature functional restricted to the space of constant scalar curvature metrics on a closed manifold with unit volume. It was conjectured in 1980's that every critical point metric must be Einstein. In this paper, we prove that this conjecture is true if the norm of the traceless Ricci operator $|\widetilde{Ric}|$ is constant. For $3$-dimensional case, we prove that the conjecture is true, if the traceless Ricci operator satisfies $tr((\widetilde{Ric})^3)\geq -\frac{R}{12}|\widetilde{Ric}|^2$, where $R$ denotes the scalar curvature. where R denotes the scalar curvature.

A Cheng-type Eigenvalue-Comparison Theorem for the Hodge Laplacian

2026-03-11T10:48:59Z

We consider the class of closed Riemannian $n$-manifolds with Ricci curvature and injectivity radius bounded below by uniform constants, and an upper bound on the diameter. We establish a uniform upper bound for the eigenvalues of the Hodge Laplacian acting on differential forms on Riemannian manifolds in this class, similar to the classical eigenvalue comparison theorem proved by Cheng for the Laplace-Beltrami operator acting on smooth functions. This extends earlier work of Dodziuk and Lott, which required sectional curvature bounds in addition to bounds on other geometric quantities. As an application, we obtain uniform eigenvalue estimates for the connection Laplacian acting on $1$-forms.

A 2-systolic inequality on non-rational compact Kähler surfaces with positive scalar curvature

2026-03-11T10:07:12Z

In this note, we prove a 2-systolic inequality on compact positive scalar curvature Kähler surfaces admitting a nonconstant holomorphic map to a positive-genus compact Riemann surface. According to the classification of positive scalar curvature Kähler surfaces, any such surface must be a ruled surface fibred over a complex curve with positive genus.

Quasi-linear equation $Δ_pv+av^q=0$ on manifolds with integral bounded Ricci curvature and geometric applications

2026-03-11T09:01:01Z

We study nonexistence results and gradient estimates for solutions of \[ Δ_p v + a v^{q}=0 \] defined on complete Riemannian manifolds satisfying a \emph{$χ$-type Sobolev inequality}. We establish a Liouville theorem under the assumptions that the underlying manifold $(M,g)$ supports a \emph{$χ$-type Sobolev inequality} and that the $L^{\fracχ{χ-1}}$-norm of $\ric_-(x)$ is bounded above by a constant depending only on $\dim(M)$, the Sobolev constant $\mathbb{S}_χ(M)$, and the volume growth rate of geodesic balls $B_r\subset M$. This extends and improves several recent results of Ciraolo, Farina, and Polvara \cite{CFP}; our approach, however, differs from their ``$P$-function'' method. In addition, for manifolds satisfying a \emph{$χ$-type Sobolev inequality}, we obtain a lower bound on the volume growth of geodesic balls. We also derive a local logarithmic gradient estimate for positive solutions, assuming that $\ric_-(x)\in L^γ$ for some $γ> \fracχ{χ-1}$. Some geometric and topological applications of our main result are also presented in this article (see \thmref{end}, \thmref{main4}, and \corref{main5}). In particular, we prove the following. Let $(M,g)$ be a complete noncompact Riemannian manifold of dimension $n\ge 3$ on which the Sobolev inequality \eqref{chi-n} holds, and assume that $\ric(x)\ge 0$ outside some geodesic ball $B(o,R_0)$. Then there exists a positive constant $C(n)$, depending only on $n$, such that if \[ \|\ric_-\|_{L^{\frac{n}{2}}}\leq C(n)\,\mathbb{S}_{\frac{n}{n-2}}(M), \] then $(M,g)$ has exactly one end.

The Ricci flow with prescribed curvature on graphs

2026-03-11T07:07:52Z

In this paper, we consider the Ricci flow with prescribed curvature on the finite graph $G=(V,E)$. For any $e$ in $E$, $$\frac{dω(t,e)}{dt} = -(κ(t,e)-κ^*(e))ω(t,e), t > 0,$$ where $ω$ is the weight function, $κ$ is Lin-Lu-Yau Ricci curvature, and $κ^*$ is the prescribed curvature. By imposing invariance of the graph distance with respect to time $t$, the Ricci flow introduced above characterizes the weight evolution governed by the Lin-Lu-Yau curvature. We first establish the existence and uniqueness of the solution to this equation on general graphs. Furthermore, for graphs with girth of at least 6, we prove that the Ricci flow converges exponentially to weights of $κ^*$ if and only if $κ^*$ is attainable (namely, there exist weights realizing $κ^*$). In particular, we prove that the weights for constant curvature exist if and only if $$\max_{\emptyset \neq Ω\subsetneq V} \frac{|E(Ω)|}{|Ω|} < \frac{|E|}{|V|},$$ where $E(Ω)$ denotes the set of edges within the induced subgraph of $Ω$, and $|A|$ is the cardinality of the set $A$. Viewing edge weights as metrics on surface tilings with girth of at least 5 or the duals of triangulations with vertex degrees exceeding 5, we demonstrate that our constant Lin-Lu-Yau curvature flow serves as an analog to the 2D combinatorial Ricci flow for piecewise constant curvature metrics, thereby providing an affirmative answer to Question 2 posed by Chow and Luo (J Differ Geom, 63(1) 2002).

On Simon's third gap conjecture for minimal surfaces in spheres

2026-03-11T07:00:00Z

In this paper, continuing our previous work, we investigate the third gap problem in the Simon conjecture for closed minimal surfaces in the unit sphere. By developing refined third-order Simons-type integral identities and establishing new lower bounds for higher-order curvature terms, we obtain positive gap results throughout the entire interval $\left[\frac{5}{3},\frac{9}{5}\right]$ for the squared norm of the second fundamental form, including the endpoint cases. As a consequence, we prove both rigidity at the endpoints and improved quantitative gap estimates in the interior of the interval, thereby providing a sharper description of the third gap phenomenon and making further progress toward the resolution of the Simon conjecture.

Classification of biharmonic Riemannian submersions from manifolds with constant sectional curvature

2026-03-11T05:26:21Z

In 2011, Wang and Ou (Math. Z. 269:917-925, 2011) showed that any biharmonic Riemannian submersion from a 3-dimensional Riemannian manifold with constant sectional curvature to a surface is harmonic. In this paper, we generalize the 3-dimensional setting to arbitrary dimensions. By constructing an adapted orthonormal frame, we simplify the biharmonic equation for Riemannian submersions and analyze the curvature properties of Riemannian manifolds with constant sectional curvature. As a result, we prove that a Riemannian submersion from an $(n+1)$-dimensional Riemannian manifold with constant sectional curvature to an $n$-dimensional Riemannian manifold is biharmonic if and only if it is harmonic.

The moduli space of dynamical spherically symmetric black hole spacetimes and the extremal threshold

2026-03-11T03:47:30Z

In this paper, we give a complete description of the black hole threshold, locally near the Reissner-Nordström family, in the infinite-dimensional moduli space $\mathfrak M$ of dynamical spherically symmetric solutions to the Einstein-Maxwell-neutral scalar field system. In a neighborhood of the full Reissner-Nordström family in $\mathfrak M$, we prove the following: (i) Any solution that forms a black hole eventually decays to a Reissner-Nordström black hole. (ii) Any solution that fails to collapse into a black hole eventually becomes superextremal along null infinity and exists globally in the domain of dependence of the bifurcate characteristic initial data. (iii) The subset of this neighborhood consisting of black hole solutions admits a $C^1$ foliation by hypersurfaces of constant final charge-to-mass ratio, up to and including extremality. (iv) The mutual boundary between the set of black hole solutions and noncollapsing solutions, i.e., the black hole threshold, is the extremal leaf of the foliation. Black holes which are not on the threshold are asymptotically subextremal. Our quantitative control of near-threshold solutions allows us to prove "universal" scaling laws for the location of the event horizon and its final area and temperature (surface gravity), with critical exponent $\frac 12$. Moreover, we show that the celebrated Aretakis instability is activated for an open and dense set of threshold solutions and that generic near-threshold subextremal black holes experience a transient horizon instability on the timescale of their inverse final temperature.

Invariant Reduction for Partial Differential Equations. IV: Symmetries that Rescale Geometric Structures

2026-03-10T18:12:21Z

For a system of partial differential equations admitting point, contact, or higher symmetries, the framework of invariant reduction systematically computes how invariant geometric structures, such as conservation laws, presymplectic structures, variational principles, and Poisson brackets, are inherited by the systems governing symmetry-invariant solutions. We extend this mechanism to geometric structures that are not invariant but are $\textit{rescaled}$ by a symmetry. Specifically, if $X$ is the symmetry used for reduction, $X_s$ is a symmetry satisfying $[X_s,X]=aX$, and the Lie derivative $\mathcal{L}_{X_s}$ acts on an $X$-invariant element of the Vinogradov $\mathcal{C}$-spectral sequence as multiplication by $b$, then the restricted symmetry $X_s|_{\mathcal{E}_X}$ acts on the corresponding reduction as multiplication by $a+b$. This shift rule gives rise to two phenomena: the $\textit{emergence of invariance}$, where reductions acquire an invariance that was not present at the level of the original structure, and the $\textit{loss of invariance}$, where reductions of invariant structures are no longer invariant. As an application, we describe a class of exact solutions to systems possessing sufficiently many symmetries and conservation laws subject to certain compatibility conditions. These solutions are invariant under pairs of symmetries and are completely determined by explicitly constructed functions that are constant on them; the description is geometric and does not require any integrability-related structures such as Lax pairs. The framework is illustrated by two examples: the Lin--Reissner--Tsien equation of potential nonstationary transonic gas flows, for which closed-form exact solutions are obtained and validated numerically, and the potential Boussinesq system, for which the inherited Poisson bracket is employed to describe solutions determined by algebraic equations.

Refining Cramér-Rao Bound With Multivariate Parameters: An Extrinsic Geometry Perspective

2026-03-10T17:03:29Z

We derive a vector generalization of the curvature-corrected Cramér--Rao bound (CRB) in the nonasymptotic regime using a Hilbert space square-root embedding. Building on previous scalar results, we establish a \emph{directional} curvature correction derived from the second fundamental form of the model manifold. To obtain matrix-valued refinements, we formulate sufficient conditions for a conservative matrix-level correction using a semidefinite program (SDP) based on sum-of-squares (SOS) relaxations. The framework is rigorously illustrated with two distinct geometries: (i) a curved Gaussian location model, which reveals a characteristic \textit{pinching effect} where directional bounds vanish along principal axes despite non-zero extrinsic curvature and classical subspace-based bounds using the second-order Bhattacharyya matrix provide overly optimistic variance predictions that fail to account for the manifold's directional topology, and (ii) a spherical multinomial model where the curvature is isotropic. Our results demonstrate that while classical second-order corrections using the Bhattacharyya matrix provide useful benchmarks derived from the local coordinate basis, the proposed directional and SOS-certified bounds offer a more faithful and geometry-consistent representation of the directional sensitivity and fundamental limits of estimation in curved statistical families.

Finite-energy solutions to Einstein-scalar field Lichnerowicz equations on complete Riemannian manifolds

2026-03-10T16:46:14Z

We consider the singular elliptic problem of the form \[ -Δu + V(x)u = \mathcal{B}(x)|u|^{2^*-2}u + \frac{\mathcal{A}(x)}{|u|^{2^*}u}, \qquad u\in H^1(M), \] where the coefficients are allowed to have low regularity. Under natural spectral assumptions on $-Δ+V$, geometric assumptions on the manifold $M$ ensuring the Sobolev embedding $H^1(M)\hookrightarrow L^{2^*}(M)$, and a suitable global integrability/smallness condition involving $\mathcal{A}$, $\mathcal{B}$, and a function $ψ\in H^1(M)$, we prove the existence of a nonnegative finite-energy supersolution. If, in addition, the Ricci curvature is nonnegative and $\mathcal{B}\ge 0$, we obtain a positive finite-energy solution. The proof relies on a family of $\varepsilon$-regularized problems, mountain pass arguments, and a limiting procedure in which Harnack's inequality plays a crucial role in handling the singular term on noncompact manifolds. We also prove a nonexistence result showing that the global integrability condition on $\mathcal{A}$ is, in a precise sense, necessary for the existence of nonnegative supersolutions.