We solve the Cauchy problem for an irreducible real spinor parallel with respect to a metric connection with skew-symmetric torsion on a globally hyperbolic Lorentzian four-manifold, proving that it is well-posed modulo an obstruction that we identify explicitly, and obtaining an initial-data characterization of such spinors. Our proof relies on the theory of spinorial forms, which we use to explicitly integrate the coupled flow for the spinor and underlying metric via a rotated pull-back action of the flow generated by a vector field on the Cauchy hypersurface $Σ$. We characterize the corresponding constraint equations as an explicit exterior differential system and describe all its solutions in terms of contact structures and flat foliations, obtaining a complete classification in the compact case. In particular, we conclude that every oriented compact three-manifold arises as the…
We construct smooth isometric embeddings of closed surfaces of positive genus in Euclidean 3-space which are tight, i.e., have minimal total positive curvature, but are not congruent. These embeddings agree outside a compact subset of the region of negative curvature, and enclose different volumes. Thus the rigidity theorem of Alexandrov for analytic tight surfaces does not hold in the smooth category, which settles problems of Nirenberg and Banchoff-Kuhnel.
Let $(M^3,g)$ be a closed and oriented 3-dimensional Riemannian manifold with $π_2(M)\neq 0$ and let $A_{π_2}(M,g)$ denote the least area among homotopically nontrivial two-spheres in $M$. By a theorem of Bray-Brendle-Neves, $A_{π_2}(M,g)\inf_M R_g \leq 8π$ with equality characterizing the cylindrical geometry $S^2\times\mathbb{R}$. Motivated by Sormani's questions on volume preserving intrinsic flat stability for scalar curvature rigidity problems, we study the almost equality regime of this theorem. We build, using Sweeney's tunnel construction, a sequence satisfying $A_{π_2}(M_j,g_j)\inf_{M_j} R_{g_j} \rightarrow 8π$ with uniformly bounded volume and diameter whose volume preserving intrinsic flat limit is not the Bray-Brendle-Neves rigidity space, showing that stability fails in general. We then prove stability in two special cases: for sequences of rotationally symmetric metrics…
We establish optimal sheet separation estimates for stable $s$-minimal hypersurfaces in dimensions up to seven, using an iteration argument in the nonlocal approximation theory of Chan-Dipierro-Serra-Valdinoci. These estimates imply that every stable $s$-minimal hypersurface in $\mathbb{R}^7$ is a hyperplane when $s$ is close to $1$. More generally, every finite Morse index $s$-minimal set in $\mathbb{R}^7$ is a half-space. We also establish a compactness theorem for stable $s$-minimal cones in $\mathbb{R}^8$. We prove uniform curvature and area estimates for their links and show that, as $s \uparrow 1$, they subconverge graphically in $C^{2,α}$, either with multiplicity one to a classical stable minimal cone, or with multiplicity two to a hyperplane. The stability of Lawson and axisymmetric $s$-minimal cones in $\mathbb{R}^8$ shows that these results are optimal.
We present a pair of spinorial equations, generalizing the internal Killing spinor equations of Type I supergravity, and show that they characterize several classes of Bismut-Hermitian-Einstein structures on six-dimensional Riemannian spin manifolds. We show that in this framework the local reduction to a four-dimensional transverse Hermitian geometry is provided by two canonical, commuting, Bismut-parallel Killing vector fields arising as bilinears in the Killing spinors, without assuming compactness. In one class, the transverse geometry is conformally Kahler and both compact and non-compact solutions exist. We also discuss variants that do not admit compact solutions, one of which has hyper-Hermitian transverse geometry. We discuss the relation of these structures to the Hull-Strominger system with closed three-form and to five-dimensional Gauntlett-Kim geometries and provide…
We study geometric consequences of modified Hessian estimates on Riemannian manifolds with density. For general radial functions, we derive tensorial, spectral, and trace identities for the modified Hessian in the original metric. We also establish a comparison identity relating the modified Hessians of two radial functions and characterize when they are proportional. We then prove a hinge comparison theorem under an upper bound on the modified Hessian, yielding a weighted law of cosines and lower bounds for the excess function. Finally, under nonnegative weighted sectional curvature and suitable density control assumptions, we obtain an Abresch-Gromoll-type upper excess estimate.
Given an asymptotically conical unstable expanding gradient Ricci soliton, we provide the existence of a family of Ricci flows starting at the same metric cone up to isometry. Moreover, the family of solutions we construct is shown to be parametrized by positive modes of the weighted Lichnerowicz operator associated to the background expanding gradient Ricci soliton. Each solution of this family is shown not to be induced by an expanding gradient Ricci soliton. If the background expander has no non-trivial infinitesimal deformations, we show furthermore that the solutions we provide are not self-similar. We finally prove that solutions are distinct up to isometries preserving the potential function of the background expanding gradient Ricci soliton.
In this paper, we show that any three-dimensional differentially non-degenerate left-symmetric algebra over $\mathbb R$ is non-degenerate both in the formal and real-analytic categories via the correspondence with Nijenhuis operators.
This note explains the counterexamples to Lee's conjecture on pseudo-Einstein structures obtained in joint work with Yoshinori Gongyo, Kengo Hirachi, and Shuya Matsumoto. The examples are links of normal isolated singularities and occur in every odd real dimension at least three. Each link has vanishing first Betti number and vanishing integral first Chern class of its CR structure, yet admits no pseudo-Einstein structure. We explain how finite first homology relates the existence problem on the link to the canonical divisor at the singular point. For the higher-dimensional examples, we describe the key obstruction directly in terms of the first normal derivatives of the transition functions of a line bundle along an exceptional hypersurface.
We prove weak $L^\infty$ stability for complete, non-collapsed Ricci flows with almost WPIC1 curvature and scaling-invariant curvature bounds. Small $L^\infty$ perturbations of the initial metric admit Ricci-DeTurck flows which remain uniformly close to the background flow and depend Lipschitz continuously on the initial data. This extends an earlier stability theorem of the first and third authors with Lai.
We give a rigorous, constructive proof that there exists a Ricci-flat Kähler metric on the Fermat quartic hypersurface, independently of Yau's famous theorem, along with an explicit and accurate analytic approximation to the metric. The proof combines numerical techniques to obtain the approximately Ricci flat metric, a fixed point theorem to prove existence, and verified numerics to get the bounds used by the fixed point theorem. The method is general and we discuss the computational issues in applying it to other manifolds.
We show that the domain of outer communications of a smooth, asymptotically flat, stationary vacuum spacetime describing a single rotating non-degenerate black hole is isometric to the domain of outer communications of a subextremal Kerr solution under reasonable geometric and physical assumptions, without analyticity or any smallness assumptions. The method is to apply Harrison transform to construct a family of solutions of Einstein--Maxwell equations. Combining null area comparison with the area-charge inequality, we show that, in the limiting transformed geometry, the bifurcate sphere has area radius one and constant electric and magnetic flux densities, with the original ADM mass normalized to $M=1$. These identities imply the technical assumptions of Ionescu--Klainerman, yielding the identification with Kerr.
We study Chern characteristic classes of normal vector bundles of complex generalized flag submanifolds $G_{n-1}/P_{n-1}$ in complex generalized flag manifolds $G_n/P_n$. This procedure can be regarded as the relative version of Schubert calculus for the pair $G_{n-1}/P_{n-1}$ and $G_n/P_n$. The CW structure and additive structure of the cohomology of $\mathrm{Gr}(n, k)$ allows inductive calculation of Chern classes of the canonical and complementary canonical vector bundles over $\mathrm{Gr}(n, k)$. The combination of representation theory and algebraic geometry allows to derive analogous properties for the isotropic Grassmannians $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$ via their embeddings in $\mathrm{Gr}(m, k)$. Then the induced CW structure yields the additive structure on the cohomology of $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$, and consequently leads to the…
We determine the Morse index and normal nullity of all linearly full homogeneous minimal two-spheres in complex hyperquadrics. These invariants satisfy a common relation involving only the ambient dimension and the induced Gauss curvature. We also prove that every normal Jacobi field is integrable through minimal immersions.
This paper investigates the global geometry of loxodromes and loxodromic curves on surfaces of revolution in $\mathbb{R}^3$. A loxodrome is a regular curve avoiding the poles and making a constant directed angle with the meridians. To allow curves to reach or pass through poles, we introduce loxodromic curves, whose pole-free interior portions are loxodromes. The directed azimuths of these portions agree modulo $π$. We classify surfaces of revolution into four types based on the number of poles and whether the profile curve is closed: cylinder-like, torus-like, paraboloid-like, and sphere-like. For cylinder-like surfaces, every maximal loxodromic curve other than a parallel is non-self-intersecting. For torus-like surfaces, nonparallel maximal loxodromic curves are closed or dense according to the rationality of their rotation numbers. For paraboloid-like and sphere-like surfaces, only…
We study complete critical metrics for the quadratic scalar curvature functional \[ g\mapsto\int_M S_g^2\,\dv_g, \] with criticality understood under compactly supported variations, focusing on rigidity phenomena and nontrivial examples. In dimension three, we prove that every complete critical metric is scalar-flat, without any additional assumption. In dimension four, we construct complete non-Einstein critical metrics with bounded, nonconstant negative scalar curvature. In every dimension $n\geq5$, we show that either $S_g\equiv 0$ or $S_g<0$ everywhere, and a new argument proves scalar-flatness whenever $S_g \in L^p$ for some $0<p\leq P_n$, where $P_n>2$ is an explicit threshold. Moreover, we construct complete critical metrics with bounded, negative scalar curvature, decaying to zero at infinity. These examples establish the optimality of our rigidity threshold $P_n$ in dimension…
A locally conformally symplectic (LCS) structure on a manifold $M$ is a pair $(η,ω)$ consisting of a closed $1$-form $η$ called Lee form and a nondegenerate $2$-form $ω$ satisfying \[ dω=η\wedgeω. \] We classify compact connected homogeneous LCS manifolds with nonzero Lee form. To this end, we construct three explicit families of pairs $(G,K)$, where $G$ is a connected simply connected Lie group and $K$ is a closed subgroup such that $G/K$ is compact, the $G$-action is almost effective, and $G/K$ admits a $G$-invariant LCS structure. We show that every compact connected homogeneous LCS manifold with nonzero Lee form arises from one of these families. Moreover, each such manifold is LCS-isomorphic to a product $(S/H_d)\times S^1$, where $S$ is a compact connected simply connected semisimple Lie group and $S/H_d$ carries an $S$-invariant contact form $α$. Under this identification, the…
We prove that totally geodesic hypersurfaces are at infinite Kobayashi distance in a Kobayashi hyperbolic Riemannian manifold. To do this, we prove a Schwarz lemma on minimal maps with a uniform control on their Laplacians. Finally we give a full characterisation of submanifolds at infinite distance on spaces of constant sectional curvature in dimension at least 4.
We define and study three Möbius invariant functionals for multiply connected planar domains with finitely many boundary components: the Loewner energy, the renormalized volume, and the Grunsky determinant. Using quasiconformal variations, we prove that when the boundary curves are sufficiently regular, the three functionals differ only by a modulus-dependent constant. We also prove that the Loewner energy is finite if and only if every boundary curve is a Weil--Petersson quasicircle. Moreover, we prove that the three functionals all attain their unique extremal value at the circle domains. In particular, the Loewner energy is zero if and only if it is evaluated at a circle domain. Finally, we use the minimization of Loewner energy to give a new proof of the finitely connected version of Koebe uniformization theorem.
Conjugate symmetric statistical manifolds generalize Hessian manifolds. Shima introduced Hessian sectional curvature in 1995 as an invariant for studying Hessian structures. We extend this invariant to conjugate symmetric statistical manifolds and study related curvature conditions and invariants. Our main results are as follows. For connected Hessian manifolds of dimension at least two, we characterize constant Hessian sectional curvature (CHC) by pointwise orthogonal invariance. We call conjugate symmetric statistical manifolds satisfying this invariance condition weakly CHC. We classify connected weakly CHC statistical manifolds of dimension at least two whose cubic forms are parallel with respect to the Levi-Civita connection. This classification characterizes the non-Hessian statistical structures induced on the classical hyperbolic affine spheres $xyz=c>0$ in the positive octant.…
Let $(M=G/H,J)$ be a reductive complex homogeneous space and $F$ be a $G$-invariant strongly pseudoconvex complex Finsler metric on $M$. Using the adapted $(1,0)$-frame field obtained by parallel transformation with respect to the canonical connection on $M$, we obtain the necessary and sufficient condition for $F$ to be a Kähler-Finsler metric (resp. weakly Kähler-Finsler metric) in terms of Lie-bracket. The curvature tensor of the complex Rund connection associated to $F$ is then decomposed into an algebraic part and a derivative part, yielding explicit formulas for the holomorphic bisectional curvature and holomorphic sectional curvature of $F$, respectively. As an application, we give a Lie-theoretic proof of the rigidity theorem: every $G$-invariant strongly pseudoconvex complex Finsler metric on a complex symmetric manifold $M=G/H$ is necessarily a Kähler--Berwald metric.
We study the diameter function on the Teichmüller space of closed hyperbolic Riemann surfaces. Although the Bolza surface maximizes the systole among hyperbolic surfaces of genus 2, its extremal behavior with respect to the diameter function is less clear. Using first variations of distances at diameter pairs and linear programming duality, we establish a sufficient criterion for a surface not to be a local minimizer of the diameter function. More precisely, we show that if each diameter pair can be assigned a simple closed geodesic formed by two minimizing geodesic segments joining its endpoints, with distinct assigned geodesics pairwise disjoint, then a deformation varying only the length parameters in Fenchel-Nielsen coordinates strictly decreases the diameter. The assigned geodesics extend to a pants decomposition, and the decrease is detected by a strictly negative upper bound for…
In this article, we investigate nontrivial compact m-quasi-Einstein manifolds with boundary, m > 1 and constant scalar curvature. We first prove that such a manifold is rigid whenever the set of critical points of its potential function is totally geodesic, which extends to quasi-Einstein manifolds a theorem of Li, Li, Ou, Qu, Wu and Zhou for shrinking Ricci solitons. Then, we prove that, in every dimension, this set is totally geodesic whenever it has dimension two or three, so that the manifold is rigid in this case. The proof is based on a Bochner identity for the covariant derivative of the Ricci tensor at the points of this set. In particular, every such manifold of dimension five is rigid. Finally, we obtain rigidity in arbitrary dimension under an integral Weyl pinching condition when the set of critical points has dimension four.
We develop a spinorial symmetry framework for metric Dirac structures in $H$-twisted exact Courant algebroids. A generalized metric equips a Dirac structure with an intrinsic Riemannian Lie-algebroid geometry and identifies it isometrically with the positive subbundle of the generalized tangent bundle. For sections preserving the generalized metric, we prove an exact intertwining between the positive-spinor Kosmann--Dorfman action and the intrinsic Kosmann derivative. The comparison is independent of the auxiliary compatible generalized connection. Within the intrinsic geometry we derive Killing--Yano (KY) and conformal Killing--Yano (CKY) integrability identities, construct Killing-spinor-preserving operators from odd special KY and even special closed CKY forms, and obtain these forms from Hermitian bilinears of Killing spinors with imaginary Killing number. We illustrate the…
We give an alternative proof of Li and Petersen's theorem that every invariant Kähler metric on a compact generalized flag manifold has positive holomorphic sectional curvature. For a unitary partial flag manifold, we realize the given metric by Kähler reduction of a Hermitian vector space. The defining equations place the level set on a sphere of radius \varrho, where the radial component of its second fundamental form gives the explicit lower bound 4/\varrho2 through the quotient curvature formula. Finally, we use a holomorphic isometric totally geodesic embedding to transfer the bound to generalized flag manifolds of every Lie type.