http://arxiv.org/api/0gAeF7Drq0DFzXCO9qp8OvZHAGU 2025-04-22T00:00:00-04:00 44335 90 15 http://arxiv.org/abs/2504.11185v1 2025-04-15T13:41:57Z 2025-04-15T13:41:57Z

We verify that for all $n \geq 3$ and $2 \leq k \leq n+1$, the standard $k$-bubble clusters, conjectured to be minimizing total perimeter in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$, are stable -- an infinitesimal regular perturbation preserving volume to first order yields a non-negative second variation of area modulo the volume constraint. In fact, stability holds for all standard $\textit{partitions}$, in which several cells are allowed to have infinite volume. In the Gaussian setting, any partition in $\mathbb{G}^n$ ($n\geq 2$) obeying Plateau's laws and whose interfaces are all $\textit{flat}$, is stable. Our results apply to non-standard partitions as well - starting with any (regular) flat Voronoi partition in $\mathbb{S}^n$ and applying M\"obius transformations and stereographic projections, the resulting partitions in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$ are stable. Our proof relies on a new conjugated Brascamp-Lieb inequality on partitions with conformally flat umbilical boundary, and the construction of a good conformally flattening boundary potential.

Emanuel Milman Botong Xu 52 pages, 9 figures. Comments welcome! http://arxiv.org/abs/2504.11176v1 2025-04-15T13:31:47Z 2025-04-15T13:31:47Z

Fulton and MacPherson famously constructed a configuration space that encodes infinitesimal collision data by blowing up the diagonals. We observe that when generalizing their approach to configuration spaces of filtered manifolds (e.g. jet spaces or sub-Riemannian manifolds), these blow-ups have to be modified with weights in order for the collisions to be compatible with higher-order data. In the present article, we provide a general framework for blowing up arrangements of submanifolds that are equipped with a weighting in the sense of Loizides and Meinrenken. We prove in particular smoothness of the blow-up under reasonable assumptions, extending a result of Li to the weighted setting. Our discussion covers both spherical and projective blow-ups, as well as the (restricted) functoriality of the construction. Alongside a self-contained introduction to weightings, we also give a new characterization thereof in terms of their vanishing ideals and prove that cleanly intersecting weightings locally yield a weighting. As our main application, we construct configuration spaces of filtered manifolds, including convenient local models. We also discuss a variation of the construction tailored to certain fiber bundles equipped with a filtration. This is necessary for the special case of jet configuration spaces, which we investigate in a future article.

Aaron Gootjes-Dreesbach 109 pages, 13 figures http://arxiv.org/abs/2504.11175v1 2025-04-15T13:30:45Z 2025-04-15T13:30:45Z

We determine the maximal number of systoles among all spheres with $n$ punctures endowed with a complete Riemannian metric of finite area.

Sebastian Baader Jasmin Jörg 7 pages, 2 figures http://arxiv.org/abs/2504.11136v1 2025-04-15T12:39:17Z 2025-04-15T12:39:17Z

We prove that the path space of a differentiable manifold is diffeomorphic to a Fr\'echet space, endowing the path space with a linear structure. Furthermore, the base point preserving mapping space consisting of maps from a cube to a differentiable manifold is also diffeomorphic to a Fr\'echet space. As a corollary of a more general theorem, we prove that the path fibration becomes a fibre bundle for manifolds M. Additionally, we discuss the mapping space from a compact topological space to a differentiable manifold, demonstrating that this space admits the structure of a smooth Banach manifold.

Liangzhao Zhang Xiangyu Zhou 32 pages, comments are welcome http://arxiv.org/abs/2504.06590v2 2025-04-15T11:33:09Z 2025-04-09T05:35:50Z

We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted coefficients, as well as a proof of uniqueness. These results are further employed to study automorphism groups of minimal cbba's and to characterize formality in terms of grading automorphisms.

Jiahao Hu Our construction of minimal models does not produce connected models without the simply-connectedness assumption, [v2] corrected this by adding the assumption. 24 pages, comments welcome http://arxiv.org/abs/2504.11084v1 2025-04-15T11:30:58Z 2025-04-15T11:30:58Z

The classification of the Einstein spaces with the Stackel metric of the (3.0) has been done. These spaces are invariant under the action of the three-parameter abelian group of motions and belong to the first type Bianchi spaces. Thus the classification of vacuum and electrovacuum Stackel spaces of all types is completed and the complete list of metrics of such spaces in privileged coordinate systems is given.

V. V. Obukhov To be published in International Journal of Geometric Methods in Modern Physics (IJGMMP). 19 pages http://arxiv.org/abs/2504.11077v1 2025-04-15T11:21:39Z 2025-04-15T11:21:39Z

We study Lorentzian homogeneous metrics on almost abelian Lie groups of dimensions larger than three. An almost abelian Lie group is a Lie group whose Lie algebra has a codimension one abelian ideal. Ricci-flat and non-flat conditions on the Lie algebra are derived. In particular, we generalize the four-dimensional Petrov solution to arbitrarily higher dimensions.

Yuichiro Sato Takanao Tsuyuki 14 pages, no figures http://arxiv.org/abs/2504.11041v1 2025-04-15T10:07:18Z 2025-04-15T10:07:18Z

In this paper, we consider numerical characteristics of the connected compact Riemannian manifold (M, g) such as the supremum and infimum of the scalar curvature s, Ricci curvature Ric and sectional curvature sec, as well as their applications. Below are two examples of proven results. The first statement: If (M, g) be a connected, compact Riemannian manifold of even dimension n > 3 whose Ricci and sectional curvatures satisfy the strict inequality n Inf (sec) > Sup (Ric), then M is diffeomorphic to the Euclidean n-dimensional sphere of some radius r or the real projective n-dimensional space. The second statement: There is no harmonic immersion of an n-dimensional connected, complete Riemannian manifold (M, g) into the Euclidean n-sphere of radius r if there exists inf(Ric) such that Inf (Ric) > n/2r^2.

Sergey Stepanov Irina Tsyganok http://arxiv.org/abs/2504.10998v1 2025-04-15T09:15:07Z 2025-04-15T09:15:07Z

We consider 3-dimensional solvable Lie groups given by a semi-direct product $\mathbb{R}\ltimes_A\mathbb{R}^2$, where $A$ is a nonzero real $2\times2$ diagonalizable matrix. The completeness problem has been addressed in the literature for two limiting cases: the unimodular Lie group $\mathrm{Sol}$ and the homothetic Lie group $\mathrm{Ho}$. In this work, we solve the completeness problem of left-invariant Lorentzian metrics on the remaining Lie groups of the given form. Moreover, we show that every 3-dimensional non-unimodular Lie group has an incomplete left-invariant metric.

Salah Chaib Ana Cristina Ferreira 11 pages http://arxiv.org/abs/2504.10940v1 2025-04-15T07:41:11Z 2025-04-15T07:41:11Z

Totally complex submanifolds of a quaternionic K\"{a}hler manifold are analogous to complex submanifolds of a K\"{a}hler manifold. In this paper, we construct an example of a non-compact totally complex submanifold of maximal dimension of a compact quaternionic K\"{a}hler symmetric space, except for quaternionic projective spaces. A compact Lie group acts on our example isometrically, and this action is of cohomogeneity one. Our example is a holomorphic line bundle over some Hermitian symmetric space of compact type. Moreover, each fiber is a totally geodesic submanifold of the ambient quaternionic K\"{a}hler symmetric space and our example is a ruled submanifold. Our construction relies on the action of a subgroup of the isometry group and a maximal totally geodesic sphere with maximal sectional curvature known as a Helgason sphere. Furthermore, we prove that there exist no compact submanifolds of the same dimension that contain our example as an open part, except where the ambient quaternionic K\"{a}hler symmetric space is a complex Grassmannian.

Yuuki Sasaki http://arxiv.org/abs/2307.06232v2 2025-04-15T07:33:35Z 2023-07-12T15:24:19Z

This paper provides a practical approach to stochastic Lie systems, i.e. stochastic differential equations whose general solutions can be written as a function depending only on a generic family of particular solutions and some constants related to initial conditions. We correct the stochastic Lie theorem characterising stochastic Lie systems proving that, contrary to previous claims, it retains its classical form in the Stratonovich approach. Meanwhile, we show that the form of stochastic Lie systems may significantly differ from the classical one in the It\^{o} formalism. New generalisations of stochastic Lie systems, like the so-called stochastic foliated Lie systems, are devised. Subsequently, we focus on stochastic Lie systems that are Hamiltonian systems relative to different geometric structures. Special attention is paid to the symplectic case. We study their stability properties and devise the basics of a stochastic energy-momentum method. A stochastic Poisson coalgebra method is developed to derive superposition rules for Hamiltonian stochastic Lie systems. Potential applications of our results are shown for biological stochastic models, stochastic oscillators, stochastic Lotka--Volterra systems, Palomba--Goodwin models, among others. Our findings complement previous approaches by using stochastic differential equations instead of deterministic equations designed to grasp some of the features of models of stochastic nature.

E. Fernández-Saiz J. de Lucas X. Rivas M. Zajac 27 pages. Extended version. Typos corrected, minor issues addressed, and theory polished and extended. New examples and illustrative figures added http://arxiv.org/abs/2504.10935v1 2025-04-15T07:32:14Z 2025-04-15T07:32:14Z

The aim of the present papar is to study the orbits of the isotropy gourp action on an irreducible Hermitian symmetric space of compact type. Specifically, we examine the properties of these orbits as {\it CR} submanifolds of a K\"{a}hler manifold. Our focus is on the leaves of the totally real distribution, and we investigate the properties of leaves as a Riemannian submanifold. In particular, we prove that any leaf is a totally geodesic submanifold of the orbit. Additionally, we explore the conditions under which each leaf becomes a totally geodesic submanifold of the ambient space. The integrability of the complex distribution is also studied. Moreover, we analyze a contact structure of orbits where the rank of the totally real distribution is 1. We obtain a classification of the orbits that possess either a contact structure or a Sasakian structure compatible with the complex structure on the ambient space. Furthermore, we classify those Sasaki orbits that are Einstein with respect to the induced metric. Specifically, we completely detemine Sasaki-Einstein orbits.

Yuuki Sasaki http://arxiv.org/abs/2504.10790v1 2025-04-15T01:24:49Z 2025-04-15T01:24:49Z

Complex (affine) lines are a major object of study in complex geometry, but their symplectic aspects are not well understood. We perform a systematic study based on their associated Ahlfors currents. In particular, we generalize (by a different method) a result of Bangert on the existence of complex lines. We show that Ahlfors currents control the asymptotic behavior of families of pseudoholomorphic curves, refining a result of Demailly. Lastly, we show that the space of Ahlfors currents is convex.

Spencer Cattalani 22 pages, 4 figures http://arxiv.org/abs/2504.10779v1 2025-04-15T00:45:47Z 2025-04-15T00:45:47Z

We study a conformally invariant equation involving the Dirac operator and a non-linearity of convolution type. This non-linearity is inspired from the conformal Einstein-Dirac problem in dimension 4. We first investigate the compactness, bubbling and energy quantization of the associated energy functional then we characterize the ground state solutions of the problem on the standard sphere. As a consequence, we prove an Aubin-type inequality that assures the existence of solutions to our problem and in particular the conformal Einstein-Dirac problem in dimension 4. Moreover, we investigate the effect of a linear perturbation to our problem, leading us to a Brezis-Nirenberg type result.

Ali Maalaoui Vittorio Martino Lamine Mbarki 39 pages http://arxiv.org/abs/2503.23565v2 2025-04-14T23:31:08Z 2025-03-30T19:09:19Z

Let $(M,h)$ be a connected, complete Riemannian manifold, let $x\in M$ and $l>0$. Then $M$ is called a $Z^x$ manifold if all geodesics starting at $x$ return to $x$ and it is called a $Y^x_l$ manifold if every unit-speed geodesic starting at $x$ returns to $x$ at time $l$. It is unknown whether there are $Z^x$ manifolds that are not $Y^x_l$-manifolds for some $l>0$. By the B\'erard-Bergery theorem, any $Y^x_l$ manifold of dimension at least $2$ is compact with finite fundamental group. We prove the same result for $Z^x$ manifolds $M$ for which all unit-speed geodesics starting at $x$ return to $x$ in uniformly bounded time. We also prove that any $Z^x$ manifold $(M,h)$ with $h$ analytic is a $Y^x_l$ manifold for some $l>0$. We start by defining a class of globally hyperbolic spacetimes (called observer-refocusing) such that any $Z^x$ manifold is the Cauchy surface of some observer-refocusing spacetime. We then prove that under suitable conditions the Cauchy surfaces of observer-refocusing spacetimes are compact with finite fundamental group and show that analytic observer-refocusing spacetimes of dimension at least $3$ are strongly refocusing. We end by stating a contact-theoretic conjecture analogous to our results in Riemannian and Lorentzian geometry.

Friedrich Bauermeister 21 pages. version 2: made small changes to sections 3 and 6, added references, fixed typos