http://arxiv.org/api/JOmOrgpy7Ot4bxJCSJ61oLFBz/M 2025-04-22T00:00:00-04:00 44335 15 15 http://arxiv.org/abs/2504.05028v2 2025-04-20T21:24:48Z 2025-04-07T12:51:16Z A 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. Galloway 12 pages; v2: a pertinent reference, and some related comments, added. Title and abstract also modified http://arxiv.org/abs/2504.14731v1 2025-04-20T20:06:55Z 2025-04-20T20:06:55Z Siegel-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 Fu http://arxiv.org/abs/2504.14710v1 2025-04-20T18:54:49Z 2025-04-20T18:54:49Z The 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ánchez Fidel F. Villaseñor This 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 & Statistics http://arxiv.org/abs/2205.09102v4 2025-04-20T15:27:27Z 2022-05-18T17:49:28Z The 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 Milman Joe Neeman 10.4310/ACTA.2025.v234.n1.a2 91 pages, 14 figures. Made some final corrections Acta Math. 234 (1), 71-188, 2025 http://arxiv.org/abs/2306.03755v5 2025-04-20T13:13:28Z 2023-06-06T15:15:14Z Deformations 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 Friedman Radu Laza 10.1093/imrn/rnaf112 37 pages; final version, to appear in IMRN http://arxiv.org/abs/2503.22314v2 2025-04-20T10:21:22Z 2025-03-28T10:43:38Z A 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 Maakestad http://arxiv.org/abs/2504.14559v1 2025-04-20T10:16:42Z 2025-04-20T10:16:42Z Supersymmetric 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 Jayasinghe 36 pages. Comments welcome http://arxiv.org/abs/2504.14525v1 2025-04-20T07:49:57Z 2025-04-20T07:49:57Z Rigidity 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 Deng 32 pages,1 figure http://arxiv.org/abs/2504.14472v1 2025-04-20T03:38:54Z 2025-04-20T03:38:54Z Singular 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 Kwong http://arxiv.org/abs/2504.14455v1 2025-04-20T02:18:06Z 2025-04-20T02:18:06Z Topological 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 Fujioka Shijie Gu http://arxiv.org/abs/2504.14420v1 2025-04-19T23:03:36Z 2025-04-19T23:03:36Z Some remarks on fibrations in complex geometry In this article, we discuss some properties of holomorphic fibrations in the complex analytic setting. Nobuhiro Honda Jeff Viaclovsky 19 pages; contains some background material on fibrations which was originally in the first version of arXiv:2403.05035 http://arxiv.org/abs/2504.14392v1 2025-04-19T19:33:34Z 2025-04-19T19:33:34Z Convex 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 Mei Guofang Wang Liangjun Weng 23 pages http://arxiv.org/abs/2412.17024v2 2025-04-19T15:17:47Z 2024-12-22T13:59:17Z Foliation 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 Gui Yuqiao Li Jun Sun Comments are welcome, a missing term is added in Lemma 2.2, some formulas are modified http://arxiv.org/abs/2408.12180v3 2025-04-19T12:38:26Z 2024-08-22T07:54:34Z Riccati 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 Wang A new theorem added: we use an integral formula to prove that $H^1(M)=0$ for static triple with positive scalar curvature http://arxiv.org/abs/2401.10858v2 2025-04-19T12:32:37Z 2024-01-19T18:01:08Z Construction 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 Rosa Yucong Lei Robert Young