Cohomogeneity one actions on symmetric spaces of mixed type

2026-06-17T17:50:04Z

In this article, we study isometric cohomogeneity-one actions on symmetric spaces of mixed type, i.e., those whose universal cover splits as a nontrivial product of symmetric spaces of compact, noncompact, and Euclidean types. We provide a new family of "diagonal" cohomogeneity-one actions on symmetric spaces of the form $\mathbb{R}^n \times M_-$, where $M_-$ is of noncompact type. We show that, with the exception of this family, any cohomogeneity-one action on a symmetric space decomposes as a product of isometric actions on its compact, Euclidean, and noncompact factors. This fully reduces the classification problem for cohomogeneity-one actions to symmetric spaces of a single type.

Bifurcations for Lagrangian systems and geodesics II

2026-06-17T16:23:09Z

This is the second part of a two--part series investigating bifurcation phenomena in autonomous Lagrangian systems and geodesic flows on Finsler and Riemannian manifolds. Building upon the abstract bifurcation theorems established in earlier work and the results of Part I, this study makes contributions in two main directions. In Part A, we focus on bifurcations of generalized periodic solutions in autonomous Lagrangian systems. By employing Morse index and nullity techniques within the normal space to the $\mathbb{R}$-orbits of solutions, we derive necessary and sufficient conditions for bifurcation, encompassing scenarios of both Fadell--Rabinowitz and Rabinowitz type. In Part B, we extend these results to the geometric setting of geodesic bifurcations in Finsler and Riemannian manifolds. A principal achievement is the significant refinement of the classical Gauss lemma and its generalizations by Morse-Littauer and Savage, providing a precise description of geodesic behavior near critical points of the exponential map. The sharpness of these theoretical results is rigorously tested and confirmed through explicit counterexamples, such as the round sphere. The work is technically rigorous, leveraging a specialized technique developed by the author to establish novel bifurcation theorems. These findings have profound theoretical implications and potential applications in related fields such as the Zermelo navigation problem and the study of stationary spacetimes.

Optimal spectral rigidity of the hypercube via Bakry--Émery curvature

2026-06-17T16:04:37Z

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. We establish the following spectral rigidity theorem. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K>0$. Denote by $Δ$ the maximum degree of $G$, and let $0=λ_0<λ_1\leq\cdots$ be the eigenvalues of the non-normalized Laplacian. Then $$ λ_{Δ-1}=K \quad\Longrightarrow\quad G\cong H_Δ, $$ where $H_Δ$ is the $Δ$-dimensional hypercube graph. Thus, in the unweighted setting, the multiplicity condition $λ_Δ=K$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff can be weakened to $λ_{Δ-1}=K$. This improvement is optimal. The restriction to unweighted graphs is essential: the strengthened rigidity statement fails in the weighted setting. Our argument is built upon an interplay between the global spectral embedding induced by the first eigenspace and a local analysis of curvature matrices.

Diffeomorphic Logarithm of Special Orthogonal Matrices

2026-06-17T16:00:29Z

The special orthogonal group $\mathbb{SO}_n$ is a Lie group whose geometry and local structure are encoded by the exponential map in its Lie algebra $\mathbf{Skew}_n$, the set of skew-symmetric matrices. The associated multi-valued inverse problem -- the matrix logarithm -- in $\mathbb{SO}_n$ exhibits a highly nontrivial local diffeomorphism structure, which differs from the matrix logarithm for invertible matrices. This work characterizes the local diffeomorphism structure of the exponential in the set of skew-symmetric matrices where its derivative is invertible. We show that this set with an invertible derivative can be organized into diffeomorphic regions, using a canonical alignment of Schur decompositions. In particular, the region that contains the principal logarithm has a special multiplicity structure: each matrix in $\mathbb{SO}_n$ admits at most two skew-symmetric preimages in this region. Based on this geometric framework, we introduce the diffeomorphic logarithm of special orthogonal matrices together with an efficient and stable algorithm. Moreover, it is applied to the Karcher mean problem in $\mathbb{SO}_n$, demonstrating continuous behavior of the mean under perturbations of the data, which is not captured by the principal logarithm.

On the bisections of a local Lie grpoupod

2026-06-17T15:45:15Z

In this paper, we study the local Lie group structure associated with the space of admissible bisections of a local Lie groupoid over a compact manifold. We further investigate the relation of this local Lie group to the Lie algebra of sections of the associated Lie algebroid. In addition, we prove that the globalizability of a local Lie groupoid implies the globalizability of its associated local Lie group of bisections

Holomorphic tensors on products of algebraic cones

2026-06-17T15:39:48Z

We study the product $C$ of two algebraic cones equipped with algebraic structures given by contractions. First we show that any holomorphic tensor on a quotient of $C$ by a group containing a contraction on both factors is invariant under the Zariski closure of this contraction when the factors have dimension $\geq 2$. We then give an explicit embedding of the cone of a Sasaki manifold to a normal variety. Using it and the result on algebraic cones, we prove that any holomorphic tensor on the product of two Sasaki manifolds is invariant under the flows of the Reeb fields.

Topology of two-dimensional collapsed spaces with lower Ricci bounds

2026-06-17T15:31:03Z

We prove that collapsed metric measure spaces with Ricci curvature bounded below and essential dimension two are topological surfaces, possibly with boundary.

A Positive Mass Theorem for Continuous Metrics

2026-06-17T14:36:25Z

Let $g$ be a continuous metric on $\mathbb R^3$ which is asymptotically flat in the sense that $\vert g_{ij}(x) - δ_{ij}\vert = O(\vert x\vert^{-τ})$ for some $τ> \frac{1}{2}$. Further assume that $g$ can be uniformly approximated on compact sets by smooth metrics with almost non-negative scalar curvature. For such a metric $g$, we define a synthetic ADM mass $m(g)$ using harmonic functions. The harmonic mass $m(g)$ coincides with the usual ADM mass whenever $g$ is smooth and decays rapidly enough that the latter is defined. The harmonic mass can also be computed as a limit of the $C^0$ local mass introduced by Burkhardt-Guim. Our main result is a positive mass theorem: the harmonic mass satisfies $m(g)\geq 0$ and if $m(g) = 0$ then $g$ is flat.

Releasing the pressure: High-order surface flow discretizations via discrete Helmholtz-Hodge decompositions

2026-06-17T14:10:52Z

We present a discrete Helmholtz--Hodge decomposition for H(div)-conforming Brezzi--Douglas--Marini (BDM) finite elements on triangulated surfaces of arbitrary topology. The divergence-free BDM subspace is split L2-orthogonally into rotated gradients of a continuous streamfunction space and a finite-dimensional space of discrete harmonic fields whose dimension equals the first Betti number of the surface. Consequently, any incompressible flow discretized on this subspace can be reformulated with a scalar streamfunction and finitely many harmonic coefficients as the only unknowns. This eliminates the pressure and the saddle-point structure while ensuring exact tangentiality, pointwise divergence-freeness, and pressure-robustness. We present a randomized algorithm for constructing the harmonic basis and discuss implementation aspects including hybridization, efficient treatment of the harmonic unknowns, and pressure reconstruction. Numerical experiments for unsteady surface Navier--Stokes equations on a trefoil knot and a multiply-connected sculpture surface demonstrate the method and illustrate the physical role of the harmonic velocity component.

Curvature on some Kähler toric manifolds

2026-06-17T14:05:28Z

We extend the application of the Guillemin--Abreu formalism to holomorphic sectional and bisectional curvature on $\mathbb C^n$, $\mathcal O(-\ell)$, and Hirzebruch manifolds $M_{n,\ell}$, and further apply it to the total spaces of certain higher-rank vector bundles. The resulting formulas recover known positivity criteria and we show that, when the slope is sufficiently close to $1$, the extremal metrics on $M_{n,\ell}$ have positive holomorphic sectional curvature. We construct complete scalar-flat Kähler metrics on $ \operatorname{Tot}\bigl(\mathcal O(-k)\oplus\mathcal O(-k)\to\mathbb{CP}^n\bigr), $ and identify the Ricci-flat case, which occurs precisely when $2k=n+1$.

A Decomposition Lemma in Convex Integration via Classical Algebraic Geometry

2026-06-17T13:59:59Z

In this paper, we prove a decomposition lemma for symmetric matrix fields on bounded domains: $D+\mathrm{Sym}\nablaΦ=\sum_i a_i^2ξ_i\otimesξ_i$ with uniform control on $Φ$ and $a_i^2$, using fewer than the usual $n(n+1)/2$ rank-one symmetric terms. Except possibly in dimensions $n=8,16$, the decomposition is shown to be optimal through algebraic arguments. This reduces the number of steps in convex integration for a nonlinear PDE system, improving Hölder regularity of flexible solutions in dimension $n\ge3$. This PDE is a partial linearization of the codimension-one local isometric embedding equation in the Nash--Kuiper theorem, and also yields improved regularity for very weak solutions of related 2D Monge--Ampére and $2$-Hessian systems. The improved Hölder exponent is any $α<(n^2+1)^{-1}$ for $n=2,4,8,16$ and any $α<(n^2+n-2ρ(n/2)-1)^{-1}$ otherwise, where $ρ$ is the Radon--Hurwitz number, related to Bott periodicity. The proof involves novel applications of algebraic geometry and topology that yield the optimality of decomposition, including Adams' theorem on vector fields on spheres, intersections of projective varieties, and projective duality, combined with an elliptic method that avoids loss of differentiability.

Geometry of non-Hermitian Yang--Mills moduli spaces

2026-06-17T13:55:24Z

We study the moduli space of non-Hermitian Yang--Mills connections over a compact Kähler manifold. Using normalized harmonic metrics, we construct a natural Hermitian metric on the unobstructed locus and show that, near the Hermitian locus, the unobstructed locus carries an almost hypercomplex structure which is compatible with the associated Riemannian metric.

Hermitian null loci

2026-06-17T13:44:24Z

We establish a transcendental generalization of Nakamaye's theorem to compact complex manifolds when the form is not assumed to be closed. We apply the recent analytic technique developed by Collins and Tosatti to show that the non-Hermitian locus of a nef and big $(1,1)$-form, which is not necessarily closed, on a compact complex manifold equals the union of all positive-dimensional analytic subvarieties where the restriction of the form is not big (null locus). As an application, we can give an alternative proof of the Nakai--Moishezon criterion of Buchdahl and Lamari for complex surfaces and generalize this result in higher dimensions Finally, we investigate finite time non-collapsing singularities of the Chern--Ricci flow, partially answering a question raised by Tosatti and Weinkove.

Linear Hamiltonians in generators of the real Jacobi group on the extended Siegel-Jacobi space and equations of motion attached

2026-06-17T12:28:22Z

Using the energy function on the extended Siegel-Jacobi upper half space of order $n$, $\tilde{\mathcal{X}}^J_n$, with $n\in \mathbb{N}$, the equations of motion in the variables $(x,y,q,p,κ)$ attached to linear Hamiltonians in the generators of the real Jacobi group $G^J_n(\mathbb{R})$ are presented, where $x,y$ are symmetric matrices in $\mathcal{M}(n,\mathbb{R})$ and $p,q$ are real $n$-vectors. The case $n=1$ is presented separately.

SDP Feasibility Problems and sos Representation Ranks for OT-FKM Type Isoparametric Polynomials

2026-06-17T11:45:43Z

Semidefinite programming (SDP) provides a fundamental framework for studying properties of sum-of-squares (sos) representations of nonnegative polynomials. In this paper we study the quartic forms GF = (|x|^4 + F(x))/2 associated with isoparametric polynomials F of OT-FKM type with g = 4. We characterize the sos property of GF in terms of the feasibility of an explicit SDP determined by the underlying Clifford system, and in the sos cases we obtain quantitative rank bounds for sos representations, with rigidity when m >= 3.