A CMC existence result for expanding cosmological spacetimes

2026-02-15T14:10:35Z

We establish a new CMC (constant mean curvature) existence result for cosmological spacetimes, i.e., globally hyperbolic spacetimes with compact Cauchy surfaces satisfying the strong energy condition. If the spacetime contains an expanding Cauchy surface and is future timelike geodesically complete, then the spacetime contains a CMC Cauchy surface. This result settles, under certain circumstances, a conjecture of the authors and a conjecture of Dilts and Holst. Our proof relies on the construction of barriers in the support sense, and the CMC Cauchy surface is found as the asymptotic limit of mean curvature flow. Analogous results are also obtained in the case of a positive cosmological constant $Λ> 0$. Lastly, we include some comments concerning the future causal boundary for cosmological spacetimes which pertain to the CMC conjecture of the authors.

A Poisson--Poincaré--Dulac for Poisson Connections

2026-02-15T13:09:09Z

We study Poisson-flat connections with logarithmic poles along a simple normal crossings divisor on a holomorphic Poisson manifold, where flatness is required only along the symplectic foliation. After identifying the relevant logarithmic cotangent Poisson Lie algebroid, we define an Euler--Poisson principal part and a residue theory adapted to the canonical logarithmic Hamiltonian generators. Under a precise nonresonance hypothesis, we establish a Poisson Poincaré--Dulac theorem: any logarithmic Poisson-flat connection with prescribed principal part is holomorphically gauge equivalent to a pure Euler--Poisson normal form with constant commuting residues, and this normal form is unique up to Casimir-valued gauge transformations lying in the common centralizer of the residues. To encode both leafwise transport and boundary winding, we construct a twisted leafwise fundamental groupoid via the real oriented blow-up and a 2-pushout that adjoins canonical tangential meridians. In the nonresonant regime, the normal form yields a meridional character determined by the residues, and hence a logarithmic Riemann--Hilbert correspondence in the Poisson setting for this groupoid. Finally, we illustrate the theory with rank-two Poisson modules (Poisson triples) and an explicit family of examples.

Sharp estimates for the Robin Laplacian under a perimeter constraint in hyperbolic space

2026-02-15T13:00:57Z

In this paper, we establish a lower bound, in terms of the isoperimetric deficit, for the first eigenvalue of the Robin Laplacian with negative boundary parameter on horospherically convex bounded domains in the hyperbolic space. This implies that the geodesic ball maximizes this eigenvalue among all such domains, thereby providing a partial resolution to an open problem posed by Celentano, Krejčiřík and Lotoreichik in \cite{CKL26}. Furthermore, we derive upper bounds for the first eigenvalue of the Robin Laplacian with positive boundary parameter on horospherically convex bounded domains in the hyperbolic space.

Universality of the Divergence

2026-02-15T12:20:27Z

Algebraists asked whether or not an operator on the module of smooth sections of the tangent bundle over the commutative ring of smooth functions of a smooth (orientable) manifold (can be any piece of a compact or a complete manifold) can be characterized by two axioms. In this note we confirm this for any smooth manifold M under the assumption that H^1(M, R) = {0}.

Similarity Algebra: A Framework for Approximate Algebraic and Lie Structures with Collapse to Classical Algebra

2026-02-15T09:56:38Z

Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance $\varepsilon$. Instead of strict associativity, inverses, or distributivity, we study families of operations controlled by explicit $\varepsilon$-estimates and analyze their behavior under limit collapse. Under uniform error control and $C^1_{\mathrm{loc}}$ convergence of the structure maps, we prove a general collapse theorem showing that similarity structures converge to classical algebraic objects, as $\varepsilon \rightarrow 0$. We develop a hierarchy of approximate structures, including similarity groups, rings, fields, vector spaces, and Lie groups, formalized through axioms satisfied within metric distance $\varepsilon$. We further define a category of similarity algebras governing morphisms between approximate systems. Moreover, we clarify the relationship between similarity algebra and fuzzy algebra, showing that the former generalizes the latter. The proposed similarity algebra can be useful to model real-world phenomena where operations or relations are inherently approximate.

On the Bergman Kernel of hyperbolic Riemann surfaces

2026-02-15T09:17:44Z

We prove an exact formula for the Bergman kernel function of hyperbolic Riemann surfaces. The formula involves summation over all geodesic loops based at a point, which has a striking analogy with the Selberg trace formula. As an application, we prove a result about the maximum and minimum of the Bergman kernel function. We also prove an estimate of the off-diagonal Bergman kernel.

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

2026-02-14T20:07:17Z

Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp ends. For natural choices of flat vector bundles on such a manifold, we show that analytic torsion is identified with the Reidemeister torsion of the Borel-Serre compactification. This is used to obtain exponential growth of torsion in the cohomology for sequences of congruence subgroups.

Connections, metrics and Higgs fields on complex fiber bundles

2026-02-14T17:29:20Z

We give a representation of the extension class associated to a holomorphic fibration by curvature, generalizing the work of Atiyah on holomorphic principal bundles in a natural way. As an application, we obtain a nonlinear analogue of the classical result of Weil on characterizing the existence of flat connections on holomorphic vector bundles over compact Riemann surfaces. We further establish a faithful functor from the category of nonlinear flat bundles reductive of Kähler type to the category of nonlinear Higgs bundles over the same base, which is assumed to be a compact complex manifold of Kähler type. Finally, we establish a notion of nonlinear harmonic bundle and prove that the variation of nonabelian Hodge structure is a nonlinear harmonic bundle in the rank one case and in the semisimple case.

Dolbeault formality for complex nilmanifolds

2026-02-13T19:56:37Z

A quasi-isomorphism of differential graded algebras (DGA) is a multiplicative map inducing an isomorphism on cohomology. A DGA is called formal if it can be connected by a chain of quasi-isomorphisms to its cohomology algebra. We prove that the Dolbeault DGA of a complex nilmanifold is formal only if it is a torus, and the Dolbeault algebra of (0,p)-forms is formal if and only if the complex structure is abelian.

Relative uniform Yau--Tian--Donaldson correspondence for projective bundles over a curve

2026-02-13T17:32:32Z

This paper is concerned with a relative uniform Yau--Tian--Donaldson correspondence, in terms of test configurations, for the projectivization $ \mathbb{P}(E) $ of a holomorphic vector bundle $ E $ over a smooth curve. For any Kähler class $ [ω] $ on $ \mathbb{P}(E) $, we construct Kähler test configurations, which we call \emph{compatible test configurations}. They are obtained by gluing horospherical test configurations from the fibers, arising from convex functions on a suitable moment polytope $ Δ$ following the construction of Delcroix, to the principal bundle associated with $ \mathbb{P}(E) $. Using the generalized Calabi ansatz of Apostolov--Calderbank--Gauduchon--Tønnesen-Friedman on these test configurations, we show that the relative uniform stability of $ (\mathbb{P}(E),[ω]) $ for compatible test configurations implies the existence of an extremal metric in this class, thereby establishing the equivalence. Along the way, we prove that these two conditions are equivalent to the weighted uniform stability of $ Δ$ for suitable explicit weight functions defined from the topological data of $ \mathbb{P}(E) $.

Extensions of spacetime Bartnik data and estimates for the Bartnik mass outside of time-symmetry

2026-02-13T17:00:40Z

Bartnik's quasi-local mass is a functional on Bartnik data $(\mathbb S^2,γ,H,P,ω^\perp)$, consisting of a metric $γ$, scalar functions $H$ and $P$, and a 1-form $ω^\perp$ on the $2$-sphere $\mathbb S^2$. We construct initial data $(M,g,K)$ for the Einstein equations with boundary $Σ\cong\mathbb S^2$, and boundary conditions for $g$ and $K$ determined by Bartnik data with $H,P$ constant and $ω^\perp\equiv0$. Furthermore this initial data agrees with spherically symmetric initial data for a Schwarzschild spacetime outside of a compact set with controlled mass. As an application, we obtain estimates for the Bartnik mass for such Bartnik data, outside of the time-symmetric setting. We also construct initial data on the cylinder $\mathbb S^2\times[0,1]$ connecting this same class of Bartnik data to time-symmetric data so that estimates for the Bartnik mass outside of time-symmetry can be obtained from prior estimates for time-symmetric data.

Lines in the space of Kähler metrics

2026-02-13T16:33:55Z

We establish a Ross-Witt Nyström correspondence for weak geodesic lines in the (completed) space of Kähler metrics. We construct a wide range of weak geodesic lines on arbitrary projective Kähler manifolds that are not generated by holomorphic vector fields, in the process disproving a folklore conjecture popularized by Berndtsson. Remarkably, some of these weak geodesic lines turn out to be smooth. In the case of Riemann surfaces, our results can be significantly sharpened. Finally, we investigate the validity of Euclid's fifth postulate for the space of Kähler metrics.

The versal deformation of small resolutions of conic bundles over $\mathbb{P}^1\times\mathbb{P}^1$ with two sections blown down

2026-02-13T15:19:44Z

Twistor spaces are certain compact complex threefolds with an additional real fibre bundle structure. We focus here on twistor spaces over $3\mathbb{C}\mathbb{P}^2$. Such spaces are either small resolutions of double solids or they can be described as modifications of conic bundles. The last type is the more special one: they deform into double solids. We give an explicit description of this deformation, in a more general context.

Submanifolds of class $C^{1,α}$ and sets with positive $μ$-reach

2026-02-13T15:09:38Z

It is well-known since the seminal work of Herbert Federer [Trans. of the AMS, 1959] that submanifolds of class $C^{1,1}$ have positive reach. In this paper, we extend this property to less regular submanifolds by using the notion of $μ$-reach that was introduced in the 2000's. We first show that every compact $C^1$ submanifold of the Euclidean space $\E^n$ has positive $μ$-reach for all $μ<1$. We then show that intermediate regularities $C^{1,α}$ induce more quantitative results on the norm $\|\nabla \d_M\|$ of the generalized gradient of the distance function~$\d_M$ to the submanifold. More precisely, if $M\subset \E^n$ is a submanifold of class $C^{1,α}$, with $α<1$, then there exists a constant $C>0$ such that $$\forall p\in\E^n\setminus M,\quad 1 - \| \nabla \d_M(p) \|^2 \leq C ~ \d_M(p)^{\frac{2 α}{1- α}}.$$ We finally show that the exponent $2α/(1-α)$ in this estimate is sharp.

The fundamental group of a spherical space form is not audible

2026-02-13T13:52:16Z

We revisit the problem of isospectral spherical space forms with non-cyclic fundamental groups after the works by Ikeda, Gilkey and Wolf. We find the first pair of spherical space forms with non-isomorphic fundamental groups and the same Laplace spectrum. This shows that the isomorphism class of the fundamental group is not audible among spherical space forms. We also found several instances where one can hear the fundamental group of a spherical space form (among spherical space forms).