http://arxiv.org/api/JOmOrgpy7Ot4bxJCSJ61oLFBz/M2025-04-22T00:00:00-04:00443351515http://arxiv.org/abs/2504.05028v22025-04-20T21:24:48Z2025-04-07T12:51:16ZA note on the Lorentzian splitting theorem We present a version of the Lorentzian splitting theorem under a weakened
Ricci curvature condition. The proof makes use of basic properties of achronal
limits [19], [20], together with the geometric maximum principle for $C^0$
spacelike hypersurfaces in [1]. Our version strengthens a related result in
[29] in the globally hyperbolic setting by removing a certain boundedness
condition on the Ricci curvature.
Gregory J. Galloway12 pages; v2: a pertinent reference, and some related comments,
added. Title and abstract also modifiedhttp://arxiv.org/abs/2504.14731v12025-04-20T20:06:55Z2025-04-20T20:06:55ZSiegel-Veech Measures of Convex Flat Cone Spheres A classical theorem of Siegel gives the average number of lattice points in
bounded subsets of $\mathbb{R}^n$. Motivated by this result, Veech introduced
an analogue for translation surfaces, known as the Siegel-Veech formula, which
describes the average number of saddle connections of bounded length on the
moduli space of translation surfaces. However, no such formula is known for
flat surfaces with cone angles that are irrational multiples of $\pi$.
A convex flat cone sphere is a Riemann sphere equipped with a conformal flat
metric with conical singularities, all of whose cone angles lie in the interval
$(0, 2\pi)$. In this paper, we extend the Siegel-Veech formula to this setting.
We define a generalized Siegel-Veech transform and prove that it belongs to
$L^\infty$ on the moduli space. This leads to the definition of a Siegel-Veech
measure on $\mathbb{R}_{>0}$, obtained by integrating the Siegel-Veech
transform over the moduli space. This measure can be viewed as a generalization
of the classical Siegel-Veech formula. We show that it is absolutely continuous
and piecewise real analytic.
Finally, we study the asymptotic behavior of this measure on small intervals
$(0,\varepsilon)$ as $\varepsilon \to 0$, providing an analogue of Siegel-Veech
constants for convex flat cone spheres.
Kai Fuhttp://arxiv.org/abs/2504.14710v12025-04-20T18:54:49Z2025-04-20T18:54:49ZThe ladder of Finsler-type objects and their variational problems on
spacetimes The space of anisotropic $r$-contravariant $s$-covariant $\alpha$-homogeneous
tensors on a manifold admits a functorial structure where vertical derivatives
$\dot{\partial}$ and contractions $\imath_{\mathbb{C}}$ by the Liouville vector
field $\mathbb{C}$ are operators which maintain $s+\alpha$ constant. In
(semi-)Finsler geometry, this structure is transmitted faithfully to
connection-type elements yielding the following ladder: geodesic sprays /
nonlinear connections / anisotropic connections / linear (Finslerian)
connections. However, it is more loosely transmitted to metric-type ones:
Finslerian Lagrangians / Legendre transformations / anisotropic metrics. We
will study this structure in depth and apply it to discuss the recent
variational proposals (Einstein-Hilbert, Einstein-Palatini, Einstein-Cartan)
for generalizing Einstein equations to the Finsler setting.
Miguel SánchezFidel F. VillaseñorThis preprint has not undergone peer review or any post-submission
improvements or corrections. The Version of Record of this contribution will
be published by within Springer Proceedings in Mathematics & Statisticshttp://arxiv.org/abs/2205.09102v42025-04-20T15:27:27Z2022-05-18T17:49:28ZThe Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and
$\mathbb{S}^n$ The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and
spherical spaces from the 1990's asserts that standard bubbles uniquely
minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume,
for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was
confirmed in 2000 by Hutchings-Morgan-Ritor\'e-Ros, and is nowadays fully
resolved for all $n \geq 2$. The double-bubble conjecture on $\mathbb{S}^2$ and
triple-bubble conjecture on $\mathbb{R}^2$ have also been resolved, but all
other cases are in general open. We confirm the conjecture on $\mathbb{R}^n$
and on $\mathbb{S}^n$ for all $q \leq \min(5,n+1)$, namely: the double-bubble
conjectures for $n \geq 2$, the triple-bubble conjectures for $n \geq 3$ and
the quadruple-bubble conjectures for $n \geq 4$. In fact, we show that for all
$q \leq n+1$, a minimizing cluster necessarily has spherical interfaces, and
after stereographic projection to $\mathbb{S}^n$, its cells are obtained as the
Voronoi cells of $q$ affine-functions, or equivalently, as the intersection
with $\mathbb{S}^n$ of convex polyhedra in $\mathbb{R}^{n+1}$. Moreover, the
cells (including the unbounded one) are necessarily connected and intersect a
common hyperplane of symmetry, resolving a conjecture of Heppes. We also show
for all $q \leq n+1$ that a minimizer with non-empty interfaces between all
pairs of cells is necessarily a standard bubble. The proof makes crucial use of
considering $\mathbb{R}^n$ and $\mathbb{S}^n$ in tandem and of M\"obius
geometry and conformal Killing fields; it does not rely on establishing a PDI
for the isoperimetric profile as in the Gaussian setting, which seems out of
reach in the present one.
Emanuel MilmanJoe Neeman10.4310/ACTA.2025.v234.n1.a291 pages, 14 figures. Made some final correctionsActa Math. 234 (1), 71-188, 2025http://arxiv.org/abs/2306.03755v52025-04-20T13:13:28Z2023-06-06T15:15:14ZDeformations of Calabi-Yau varieties with isolated log canonical
singularities Recent progress in the deformation theory of Calabi-Yau varieties $Y$ with
canonical singularities has highlighted the key role played by the higher Du
Bois and higher rational singularities, and especially by the so-called
$k$-liminal singularities for $k\ge 1$. The goal of this paper is to show that
certain aspects of this study extend naturally to the $0$-liminal case as well,
i.e. to Calabi-Yau varieties $Y$ with Gorenstein log canonical, but not
canonical, singularities. In particular, we show the existence of first order
smoothings of $Y$ in the case of isolated $0$-liminal hypersurface
singularities, and extend Namikawa's unobstructedness theorem for deformations
of singular Calabi-Yau threefolds $Y$ with canonical singularities to the case
where $Y$ has an isolated $0$-liminal lci singularity under suitable
hypotheses. Finally, we describe an interesting series of examples.
Robert FriedmanRadu Laza10.1093/imrn/rnaf11237 pages; final version, to appear in IMRNhttp://arxiv.org/abs/2503.22314v22025-04-20T10:21:22Z2025-03-28T10:43:38ZA universal characteristic class for vector bundles with a connection In the paper I introduce a new characteristic class $c(E)$ for a finite rank
vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of
$E$. The class $c(E)$ is not a characteristic class in the classical sense in
the sense that it lives in a pointed cohomology torsor $\operatorname{Ext}^1(L,
\operatorname{End}_A(E))$. Most characteristic classes lives in a cohomology
group. The pointed cohomology torsor $\operatorname{Ext}^1(L,
\operatorname{End}_A(E))$ is a torsor on the abelian group
$\operatorname{H}^2(L, Z(\operatorname{End}_A(E)))$ where
$Z(\operatorname{End}_A(E))$ is the center of the ring of endomorphisms of $E$
and where the cohomology is the Lie-Rinehart cohomology of the center. The
class $c(E)$ is trivial if and only if $E$ has a flat algebraic connection.
Hence the class $c(T_S)$ where $T_S$ is the tangent bundle, is an an
obstruction for $S$ to be algebraically parallelizable. I use a connection
$\nabla$ to define $c(E)$ and I also prove the class $c(E)$ is independent of
choice of connection, hence $c(E)$ is an invariant of the vector bundle $E$.
The class generalize the Chern class, the Pontryagin class, the Euler class and
the Teleman characteristic class. I prove using an explicit example that the
class $c(E)$ is stronger than the Chern class and the Euler class. I also give
a new proof of a formula for the curvature of a connection $\nabla$ in terms of
an idempotent endomorphism $\phi$ defining $E$. This formula was claimed and
proved in a paper put out on the arXiv in 2011, and in this paper I give a new
proof that is easier to read. The class may be interesting in the study of the
"cancellation problem" in affine algebraic geometry and the problem of giving
algebraic formulas for the topological Euler characteristic. I also calculate
the algebraic deRham cohomology of the complex two sphere and prove it is
infinite dimensional.
Helge Øystein Maakestadhttp://arxiv.org/abs/2504.14559v12025-04-20T10:16:42Z2025-04-20T10:16:42ZSupersymmetric harmonic oscillators on singular geometries Equivariant localization expresses global invariants in terms of local
invariants, and many of them appearing in equivariant index theory,
(holomorphic) Morse theory, geometric quantization and supersymmetric
localization can be characterized as renormalized supertraces over cohomology
groups of Hilbert complexes associated to local model geometries. This paper
extends such local invariants, introducing and studying twisted de Rham and
Dolbeault complexes (including Witten deformed versions) on singular spaces
equipped with generalized radial (K\"ahler Hamiltonian) Morse functions and
singular metrics arising naturally in algebraic geometry and moduli problems.
We use the $\mathcal{N}=2$ supersymmetry and nilpotency properties of these
complexes to extend an ansatz of Cheeger for the eigensections of the
associated Laplace/Schr\"odinger type operators, reducing the problem to the
study of Sturm-Liouville operators and one dimensional Schr\"odinger operators
corresponding to different choices of domains, including those with del-bar
Neumann boundary conditions for Dolbeault complexes. We define renormalized
Lefschetz numbers and Morse polynomials generalizing those established in the
smooth and conic settings where they have been used to compute many invariants
of interest in physics and mathematics. We study structures on links of
topological cones with singular K\"ahler metrics, which we use to describe
associated analytic invariants including local cohomology groups. The
techniques and results collected here are broadly applicable in the study of
global analysis on singular spaces, including proofs of localization theorems
with numerous applications.
Gayana Jayasinghe36 pages. Comments welcomehttp://arxiv.org/abs/2504.14525v12025-04-20T07:49:57Z2025-04-20T07:49:57ZRigidity of positively curved Steady gradient Ricci solitons on
orbifolds In this paper, we study gradient Ricci soitons on smooth orbifolds. We prove
that the scalar curvature of a complete shrinking or steady gradient Ricci
soliton on an orbifold is nonnegative. We also show that a complete
$\kappa$-noncollapsed steady gradient Ricci soliton on a Riemannian orbifold
with positive curvature operator, compact singularity and linear curvature
decay must be a finite quotient of the Bryant soliton. Finally, we show that a
complete steady gradient Ricci soliton on a Riemannian orbifold with positive
sectional curvature must be a finite quotient of the Bryant soliton if it is
asymptotically quotient cylindrical.
Yuxing Deng32 pages,1 figurehttp://arxiv.org/abs/2504.14472v12025-04-20T03:38:54Z2025-04-20T03:38:54ZSingular Lagrangians in the Hitchin moduli space and conformal limits In the moduli space of semistable $\text{SL}(r, \mathbb{C})$-Higgs bundles,
we show that there exists a sublocus of the upward flow through a polystable
$\mathbb{C}^{*}$-fixed point, which is Lagrangian on its intersection with the
stable locus. This intesesction is always non-empty in the case when the Higgs
field of the fixed point vanishes, or when the automorphism group of its
polystable representative is abelian. Under the same assumptions, we show that
the conformal limit of a stable Higgs bundle lying on this locus exists.
Szehong Kwonghttp://arxiv.org/abs/2504.14455v12025-04-20T02:18:06Z2025-04-20T02:18:06ZTopological regularity of Busemann spaces of nonpositive curvature We extend the topological results of Lytchak-Nagano and
Lytchak-Nagano-Stadler for CAT(0) spaces to the setting of Busemann spaces of
nonpositive curvature, i.e., BNPC spaces. We give a characterization of locally
BNPC topological manifolds in terms of their links and show that the singular
set of a locally BNPC homology manifold is discrete. We also prove that any
(globally) BNPC topological 4-manifold is homeomorphic to Euclidean space.
Applications include a topological stability theorem for locally BNPC G-spaces.
Our arguments also apply to spaces admitting convex geodesic bicombings.
Tadashi FujiokaShijie Guhttp://arxiv.org/abs/2504.14420v12025-04-19T23:03:36Z2025-04-19T23:03:36ZSome remarks on fibrations in complex geometry In this article, we discuss some properties of holomorphic fibrations in the
complex analytic setting.
Nobuhiro HondaJeff Viaclovsky19 pages; contains some background material on fibrations which was
originally in the first version of arXiv:2403.05035http://arxiv.org/abs/2504.14392v12025-04-19T19:33:34Z2025-04-19T19:33:34ZConvex capillary hypersurfaces of prescribed curvature problem In this paper, we study the prescribed $k$-th Weingarten curvature problem
for convex capillary hypersurfaces in $\overline{\mathbb{R}^{n+1}_+}$. This
problem naturally extends the prescribed $k$-th Weingarten curvature problem
for closed convex hypersurfaces, previously investigated by Guan-Guan in [19],
to the capillary setting. We reformulate the problem as the solvability of a
Hessian quotient equation with a Robin boundary condition on a spherical cap.
Under a natural sufficient condition, we establish the existence of a strictly
convex capillary hypersurface with the prescribed $k$-th Weingarten curvature.
This also extends our recent work on the capillary Minkowski problem in [40].
Xinqun MeiGuofang WangLiangjun Weng23 pageshttp://arxiv.org/abs/2412.17024v22025-04-19T15:17:47Z2024-12-22T13:59:17ZFoliation of constant harmonic mean curvature surfaces in asymptotic
Schwarzschild spaces This paper investigates the volume-preserving harmonic mean curvature flow in
asymptotically Schwarzschild spaces. We demonstrate the long-time existence and
exponential convergence of this flow with a coordinate sphere of large radius
serving as the initial surface in the asymptotically flat end, which eventually
converges to a constant harmonic mean curvature surface. We also establish that
these surfaces form a foliation of the space outside a large ball. Finally, we
utilize this foliation to define the center of mass, proving that it agrees
with the center of mass defined by the ADM formulation of the initial data set.
Yaoting GuiYuqiao LiJun SunComments are welcome, a missing term is added in Lemma 2.2, some
formulas are modifiedhttp://arxiv.org/abs/2408.12180v32025-04-19T12:38:26Z2024-08-22T07:54:34ZRiccati Equation for Static Spaces and its Applications In this paper, we derive a Riccati-type equation applicable to (sub-)static
Einstein spaces and examine its various applications. Specifically, within the
framework of conformally compactifiable manifolds, we prove a splitting theorem
for the Riemannian universal covering. Furthermore, we demonstrate two distinct
methods by which the Riccati equation can establish the connectivity of the
conformal boundary under the static Einstein equation. Additionally, for
compact static triples possessing positive scalar curvature, we establish the
compactness of the universal covering.
Zhixin WangA new theorem added: we use an integral formula to prove that
$H^1(M)=0$ for static triple with positive scalar curvaturehttp://arxiv.org/abs/2401.10858v22025-04-19T12:32:37Z2024-01-19T18:01:08ZConstruction of fillings with prescribed Gaussian image and applications We construct $d$-dimensional polyhedral chains such that the distribution of
tangent planes is close to a prescribed measure on the Grassmannian and the
chains are either cycles (if the barycenter of the prescribed measure,
considered as a measure on $\bigwedge^d \mathbb{R}^n$, is $0$) or their
boundary is the boundary of a unit $d$-cube (if the barycenter of the
prescribed measure is a simple $d$-vector). Such fillings were first proved to
exist by Burago and Ivanov [Geom. funct. anal., 2004]; our work gives an
explicit construction, which is also flexible to generalizations. For instance,
in the case that the measure on the Grassmannian is supported on the set of
positively oriented $d$-planes, we can construct fillings that are Lipschitz
multigraphs. We apply this construction to prove the surprising fact that, for
anisotropic integrands, polyconvexity is equivalent to quasiconvexity of the
associated $Q$-integrands (that is, ellipticity for Lipschitz multigraphs) and
to show that strict polyconvexity is necessary for the atomic condition to
hold.
Antonio De RosaYucong LeiRobert Young