Fast and Stable Riemannian Metrics on SPD Manifolds via Cholesky Product Geometry

2026-02-08T14:01:11Z

Recent advances in Symmetric Positive Definite (SPD) matrix learning show that Riemannian metrics are fundamental to effective SPD neural networks. Motivated by this, we revisit the geometry of the Cholesky factors and uncover a simple product structure that enables convenient metric design. Building on this insight, we propose two fast and stable SPD metrics, Power--Cholesky Metric (PCM) and Bures--Wasserstein--Cholesky Metric (BWCM), derived via Cholesky decomposition. Compared with existing SPD metrics, the proposed metrics provide closed-form operators, computational efficiency, and improved numerical stability. We further apply our metrics to construct Riemannian Multinomial Logistic Regression (MLR) classifiers and residual blocks for SPD neural networks. Experiments on SPD deep learning, numerical stability analyses, and tensor interpolation demonstrate the effectiveness, efficiency, and robustness of our metrics. The code is available at https://github.com/GitZH-Chen/PCM_BWCM.

Choi-Wang inequality for affine connections

2026-02-08T07:07:00Z

Choi-Wang established a lower bound for the first non-zero eigenvalue of the Laplacian on minimal hypersurfaces in manifolds with positive Ricci curvature. We extend this Choi-Wang type inequality to the setting of positive Ricci curvature with respect to the Li-Xia type affine connection.

Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

2026-02-08T05:51:35Z

Calabi--Yau manifolds are essential for string theory but require computing intractable metrics. Here we show that symbolic regression can distill neural approximations into simple, interpretable formulas. Our five-term expression matches neural accuracy ($R^2 = 0.9994$) with 3,000-fold fewer parameters. Multi-seed validation confirms that geometric constraints select essential features, specifically power sums and symmetric polynomials, while permitting structural diversity. The functional form can be maintained across the studied moduli range ($ψ\in [0, 0.8]$) with coefficients varying smoothly; we interpret these trends as empirical hypotheses within the accuracy regime of the locally-trained teachers ($σ\approx 8-9\%$ at $ψ\neq 0$). The formula reproduces physical observables -- volume integrals and Yukawa couplings -- validating that symbolic distillation recovers compact, interpretable models for quantities previously accessible only to black-box networks.

Independence of homogeneous GKM manifolds and symmetric spaces

2026-02-08T00:01:34Z

Let $G/H$ be a simply connected homogeneous space of maximal rank. Then the maximal torus $T$-action on $G/H$ is a GKM manifold. We call the $T$-action $j$-independent if any $i(\leq j)$ pairwise distinct isotropy weights at a fixed point are linearly independent. Using weighted graphs, we show that the maximal independence of $G/H$ is $2$, $3$ or $n=\dim T$, and that the cases of $3$ or $n=\dim T$ correspond to some symmetric spaces of rank $>2$. As a corollary, using the results of Ayzenberg and Masuda, the lower-degree reduced homology groups (with appropriate coefficients) of the orbit space $T\backslash G/H$ vanish.

On eigenfunctions and nodal sets of the Witten-Laplacian

2026-02-07T22:25:38Z

In this paper, we successfully establish a Courant-type nodal domain theorem for both the Dirichlet eigenvalue problem and the closed eigenvalue problem of the Witten-Laplacian. Moreover, we also characterize the properties of the nodal lines of the eigenfunctions of the Witten-Laplacian on smooth Riemannian $2$-manifolds. Besides, for a Riemann surface with genus $g$, an upper bound for the multiplicity of closed eigenvalues of the Witten-Laplacian can be provided.

Comparison of total quotient curvature

2026-02-07T15:17:50Z

In this paper, we establish some comparison theorems for the total quotient curvature. Specifically, we examine the behavior of the functional with respect to the total quotient curvature and prove that the background Einstein metric achieves a sharp bound on the total quotient curvature. We prove that if the quotient curvature satisfies a point-wise lower (or upper) bound relative to the Einstein metric, then the corresponding integral inequality holds. Also we can show characterize the equality case. Our result generalizes the volume comparison theorem for scalar curvature and the rigidity results for $σ_k$-curvature.

Complete minimal surfaces of finite total curvature on punctured spheres with totally ramified value number greater than $2$

2026-02-07T13:52:41Z

Motivated by Osserman's problem on the number $D_g$ of omitted values of the Gauss map of a complete minimal surface with finite total curvature in $\boldsymbol{R}^3$, its totally ramified value number $ν_g$ (referred to in this paper as the \emph{total weight of totally ramified values}) has attracted significant interest. The value of $ν_g$ provides more detailed information than the number of omitted values alone. In 2006, Kawakami first found that a minimal surface defined on the three-punctured Riemann sphere, originally constructed by Miyaoka and Sato, satisfies $D_g = 2$ and $ν_g = 2.5 > 2$. Subsequently, in 2024, Kawakami and Watanabe gave another minimal surface defined on the four-punctured Riemann sphere that also satisfies $D_g = 2$ and $ν_g = 2.5$. To date, these remain the only two known examples of such surfaces satisfying $ν_g > 2$. In this paper, we provide a systematic construction of meromorphic functions on punctured Riemann spheres that satisfy $ν_g > 2$. As a consequence, we obtain the following results for complete minimal surfaces of finite total curvature with $ν_g = 2.5$ within the topological types of the known examples: (1) For the three-punctured sphere, we prove the uniqueness of Miyaoka--Sato's example. (2) For the four-punctured sphere, we completely determine the surfaces with $D_g=2$ and $ν_g = 2.5$, which include examples other than Kawakami--Watanabe's one. (3) Furthermore, we construct a new example on the four-punctured sphere satisfying $D_g=1$ and $ν_g = 2.5$.

New rigidity theorem of Einstein manifolds and curvature operator of the second kind

2026-02-07T08:21:44Z

Using Bochner techniques, we prove that a compact Einstein manifold of dimension $n \ge 4$ has constant curvature provided that the curvature operator of the second kind satisfies a cone condition that is strictly weaker than nonnegativity. Furthermore, employing a result of Li \cite{Li5}, we establish that any closed Einstein manifold of dimension $n \ge 4$ satisfying \[k^{-1}({λ}_1+\cdots +{λ}_k)\ge -θ(n,k) \bar{λ},\quad \text{for some} \quad k \le [\frac{n+2}{4}]\] must be either flat or a spherical space form. Here, ${λ}_1\le {λ}_2\le \cdots \le {λ}_{\frac{(n-1)(n+2)}{2}}$ are the eigenvalues of $\mathring{R}\,$, $\bar{λ}$ is their average, and $θ(n,k)$ is a positive constant. This result generalizes the work of Dai-Fu \cite{DF} and Chen-Wang \cite{CW1,CW}.We also classify four-dimensional Einstein manifolds satisfying a cone condition.

Fundamental groups of compact Kahler varieties with nef anti canonical bundle

2026-02-07T07:37:38Z

It is proved by M. Paun (1997, 2017) that the fundamental group of a compact Kahler manifold X is almost Abelian if the anti-canonical bundle -KX is nef. In this paper, we apply the recent geometric analytic theory of Kahler spaces developed by Guo-Phong-Song-Sturm to study fundamental groups of mildly singular compact Kahler varieties. We first extend Paun's result to log canonical pairs (X,Delta) with smooth X and nef -(KX+Delta) as well as to compact Kahler manifolds X with pseudo-effective -KX under a suitable assumption on the singularities of c1(-KX). We further prove that, for a 3-dimensional log canonical pair (X,Δ) with X being klt, pi 1(X) is almost Abelian if -(KX+Δ) is nef. Moreover, as one of the main ingredients for the proof of these results, we establish the surjectivity of the Albanese maps of compact normal complex varieties X in Fujiki class C that admits an effective R-divisor Δsuch that the pair (X,Δ) is log canonical with nef anti-log canonical divisor -(KX+Δ).This generalizes the corresponding theorems for projective varieties (Zhang, 2005), for klt pairs (Matsumura-Wang-Wu-Zhang, 2025) and for log smooth case (Fu-Han-Zou, 2025)

Manifolds with harmonic Weyl curvature and curvature operator of the second kind

2026-02-07T02:04:21Z

We prove that a compact Riemannian manifold of dimension $n\ge 8$ with harmonic Weyl curvature and $\frac{3(n-1)(n+2)}{4(3n-1)}$-nonnegative curvature operator of the second kind is either globally conformally equivalent to a space of positive constant curvature or is isometric to a flat manifold. In particular, We also give a classification of four-dimensional manifolds with harmonic Weyl curvature satisfying a cone condition. This result generalizes the work in \cite{DFY24,FLD,Li22}.

Manifolds with harmonic curvature and curvature operator of the second kind

2026-02-07T01:53:11Z

We prove that complete Riemannian manifolds of dimension $n\ge3$ with harmonic curvature and $\frac{n(n+2)}{2(n+1)}$-nonnegative curvature operator of the second kind must be Einstein. In particular, We show that complete Einstein manifolds of dimension $n\ge4$ with $\frac{3n(n-1)^2(n+2)}{2(5n^3+3n^2-30n+16)}$-nonnegative curvature operator of the second kind must be of constant curvature, which generalizes the work of Dai-Fu \cite{DF}.

First Eigenvalue of Jacobi operator and Rigidity Results for Constant Mean Curvature Hypersurfaces

2026-02-06T14:13:14Z

In this paper, we obtain geometric upper bounds for the first eigenvalue $λ_1(J)$ of the Jacobi operator for both closed and compact with boundary hypersurfaces having constant mean curvature (CMC). As an application, we derive new rigidity results for the area of CMC hypersurfaces under suitable conditions on $λ_1(J)$ and the curvature of the ambient space. We also address the Jacobi--Steklov problem, proving geometric upper bounds for its first eigenvalue $σ_1(J)$ and deriving rigidity results related to the length of the boundary. Additionally, we present some results in higher dimensions related to the Yamabe invariants.

Canonical torus action on symplectic singularities

2026-02-06T13:07:43Z

We show that any symplectic singularity lying on a smoothable projective symplectic variety locally admits a good action of $(\mathbb{C}^*)^r$, which is canonical. Under mild assumptions, we actually prove such singularity germ is the cone vertex over a contact orbifold with weak Kähler-Einstein metric, forcing $r=1$. In particular, it admits a (canonical) good $\mathbb{C}^*$-action, which also extends to (canonical) actions of $\mathbb{H}^*\supset SU(2)$. These settle Kaledin's conjecture conditionally but in a substantially stronger form by establishing the canonicity, the extensibility of the action, for instance. Our key idea is to use the Donaldson-Sun theory on local Kähler metrics in complex differential geometry to connect with the theory of Poisson deformations of symplectic varieties. For general symplectic singularities, we prove the same assertions, assuming that the Donaldson-Sun theory extends to such singularities along with suitable singular (hyper)Kähler metrics. Conversely, our results can also be used to study the local behavior of such metrics around the germ.

Quantitative partitioned index theorem and noncompact band-width

2026-02-06T12:50:47Z

Gromov's band-width conjecture gives a precise upper bound for the width of a compact Riemannian band with positive scalar curvature lower bound, assuming that the cross-section of the band admits no positive scalar curvature metrics. Versions of this were proved by Cecchini and by Zeidler. In this paper, we develop a quantitative version of partitioned manifold index theory, which applies to noncompact hypersurfaces. Using this, we prove a version of Gromov's band-width estimate for possibly noncompact Riemannian bands.

Sharp Sobolev inequalities on noncompact Riemannian manifolds with bounded Ricci curvature

2026-02-06T12:18:36Z

Given a smooth, complete Riemannian manifold $M$ with bounded Ricci curvature and positive injectivity radius, we derive a sharp Sobolev inequality for the embedding of $W^{1,p}(M)$ into $L^{\frac{np}{n-p}}(M)$, when $1\le p< n$. We will first reduce the inequality to functions having support with small enough volume. In turn, we will show that the inequality for small volumes is implied by a first order uniform asymptotic expansion of the isoperimetric profile for $M$, for small volumes. We will then show that such an expansion follows from a local, uniform Sobolev inequality for functions in $W^{1,1}$, having support with small enough diameter.