Comparison of total $σ_k$-curvature

2026-03-04T13:18:56Z

Volume comparison theorem is a type of fundamental results in Riemannian geometry. In this article, we extend the volume comparison result in \cite{Besse2008} to the comparison of total $σ_l$-curvature with respect to $σ_k$-curvature ($l

Hamiltonian actions on 0-shifted cosymplectic groupoids

2026-03-04T12:52:42Z

We introduce the notion of 0-shifted cosymplectic structure on differentiable stacks and develop a corresponding moment map theory for Hamiltonian cosymplectic actions. We present a reduction procedure, establish a version of the Kirwan convexity theorem, and obtain examples of Morse-Bott Lie groupoid morphisms.

Poincaré Duality and Supergravity

2026-03-04T11:54:42Z

We study relative differential and integral forms on families of supermanifolds and their cohomology. We prove a relative Poincaré--Verdier duality and show that it relates the cohomology of differential and integral forms, admitting a concrete geometric realization via Berezin fiber integration. We further introduce the Poincaré--dual integral form associated to an embedded even family and prove that it satisfies the correct localization property. We then apply these results to supergravity, focusing on the $3d$ case. In this setting, we show that relative Poincaré duality provides the natural framework for encoding the data needed to relate a superspace formulation to the physical spacetime, thereby yielding a rigorous definition of picture changing operators used in the physics literature. Building on this, after a careful analysis of the space of fields and the relevant constraints, we prove that the component, superspace, and geometric formulation of the theory are all equivalent. Finally, under suitable hypotheses, we argue that our construction illustrates a general principle governing the mathematical formulation of classical field theories on supermanifolds.

Expected Lipschitz-Killing curvatures for spin random fields and other non-isotropic fields

2026-03-04T11:28:12Z

Spherical spin random fields are used to model the Cosmic Microwave Background polarization, the study of which is at the heart of modern Cosmology and will be the subject of the LITEBIRD mission, in the 2030s. Its scope is to collect datas to test the theoretical predictions of the Cosmic Inflation model. In particular, the Minkowski functionals, or the Lipschitz-Killing curvatures, of excursion sets can be used to detect deviations from Gaussianity and anisotropies of random fields, being fine descriptors of their geometry and topology. In this paper we give an explicit, non-asymptotic, formula for the expectation of the Lipshitz-Killing curvatures of the excursion set of the real part of an arbitrary left-invariant Gaussian spin spherical random field, seen as a field on $SO(3)$. Our findings are coherent with the asymptotic ones presented in Carrón Duque, J. et al. "Minkowski Functionals in $SO(3)$ for the spin-2 CMB polarisation field", Journal of Cosmology and Astroparticle Physics (2024). We also give explicit expressions for the Adler-Taylor metric, and its curvature. We obtain such result as an application of a general formula that applies to any nondegenerate Gaussian random field defined on an arbitrary three dimensional compact Riemannian manifold. The novelty is that the Lipschitz-Killing curvatures are computed with respect to an arbitrary metric, possibly different than the Adler-Taylor metric of the field.

Topological and rigidity results for four-dimensional hypersurfaces in space forms

2026-03-04T06:29:47Z

Exploiting the special features of four-dimensional Riemannian Geometry, we derive topological and rigidity results for hypersurfaces immersed in space forms of dimension 5: we characterize isoparametric hypersurfaces by means of the Weyl tensor, we prove sharp topological bounds on the Weyl functional and, inspired by a famous conjecture by Chern, we find estimates for the norm of the second fundamental form in terms of the Euler characteristic in the minimal, constant scalar curvature case, under some volume constraints. Finally, we prove some rigidity results by means of integral inequalities on the derivatives of the second fundamental form. We also extend some of the results to the case of a locally conformally flat 5-dimensional ambient space.

A unified calculation for Gromov norm of Kähler class of bounded symmetric domains

2026-03-04T05:42:08Z

We provide a unified way to calculate the Gromov norm of the Kähler class of all (compact manifolds uniformized by) bounded symmetric domains. This was done for three classical domains by Domin and Toledo and for the general case by Clerc and Ørsted. Here, the calculation is much simplified by a combination of the ideas in Domin-Toledo and a work of Toledo, with the help of the Polydisc Theorem. The equality is achieved if and only if the triangle is ideal with three vertices on the Shilov boundary.

Polynomially many surfaces of fixed Euler characteristic in a hyperbolic 3-manifold

2026-03-04T04:36:12Z

We give an upper bound for the number of compact essential orientable non-isotopic surfaces, with Euler characteristic at least some constant $χ$, properly embedded in a finite-volume hyperbolic 3-manifold $M$, closed or cusped. This bound is a polynomial function of the volume of $M$, with degree that depends linearly on $|χ|$.

Minimal hypersurfaces in spheres generated by isoparametric foliations

2026-03-04T03:04:21Z

We investigate the existence of minimal hypersurfaces in $\mathbb{S}^{n+1}$ that are generated by the isoparametric foliation of a subsphere $\mathbb{S}^n$. By considering a generalized rotational ansatz formed by the union of homothetic copies of isoparametric leaves, we reduce the minimal surface equation to an ordinary differential equation. We prove that this construction yields a closed embedded minimal hypersurface for any choice of isoparametric hypersurface $M \subset \mathbb{S}^n$. The resulting hypersurfaces have the topological type $S^1 \times M$, extending the known examples of minimal hypertori ($S^1\times S^k\times S^k$ and $S^1\times S^k\times S^l$) to a broader class of topologies determined by isoparametric structures.

Convex and quasiconvex truncations of nonconvex functions

2026-03-03T20:48:48Z

We consider nonconvex real valued functions whose truncations are either quasiconvex or even convex starting with a certain level. Among them, the $C^2$-smooth functions whose level sets are all completely contained in the positive definite region of their Hessian matrices, starting with a certain level, are good examples of such functions. For such a function we show the injectivity of its restricted gradient to a large subset of the positive definite region of its Hessian matrices.

On the inverse mean curvature flow by parallel hypersurfaces in space forms

2026-03-03T19:48:48Z

We consider the inverse mean curvature flow by parallel hypersurfaces in space forms. We show that such a flow exists if and only if the initial hypersurface is isoparametric. The flow is characterized by an algebraic equation satisfied by the distance function of the parallel hypersurfaces. The solutions to the flow are obtained explicitly when the distinct principal curvatures have the same multiplicity. This is an additional assumption only for isoparametric hypersurfaces of the hyperbolic space or of the sphere with two or four distinct principal curvatures. The boundaries of the maximal interval of definition, when finite, are determined in terms of the number $g$ of distinct principal curvatures, their multiplicities $m$ and the mean curvature $H$ of the initial hypersurface. We describe the collapsing submanifolds of the flow at the boundaries of the interval. In particular, we show in the Euclidean space the solutions are eternal, while in the hyperbolic space there are eternal and immortal solutions. Starting with a connected isoparametric submanifold of the sphere, we show that the flow is an ancient solution, that collapses into a minimal hypersurface whose square length of its second fundamental form and its scalar curvature are constants given in terms of $g$ and $n$. The minimal hypersurface is totally geodesic when $g=1$, it is a Clifford minimal hypersurface of the sphere when $g=2$ and it is a Cartan type minimal submanifold when $g\in\{3,4,6\}$.

Torsionless three-dimensional Heterotic solitons with harmonic curvature are rigid

2026-03-03T18:57:02Z

We prove the following rigidity result: every compact three-dimensional Heterotic soliton with vanishing torsion and harmonic curvature is rigid, namely, it is an isolated point in the moduli space.

Area minimising hypersurfaces mod $p$ do not admit immersed branch points

2026-03-03T15:34:54Z

We show that area minimising hypersurfaces mod $p$ do not admit immersed branch points, namely branch points about which all classical singularities are immersed. Furthermore, we show that if an $n$-dimensional area minimising hypersurface mod $p$ is smoothly immersed outside a $\mathcal{H}^{n-1}$-null set, then it is in fact smoothly immersed outside a closed set of Hausdorff dimension at most $n-3$. These results are consequences of a more general analysis of immersed stable minimal hypersurfaces with a certain `alternating' orientation. Indeed, our proof does not rely on the minimising property other than through stationarity, stability, and the verification of simple structural properties of the hypersurface.

Arithmetic structure of generalized Inoue--Bombieri manifolds

2026-03-03T14:14:36Z

A Generalized Inoue--Bombieri (GIB) manifold $M$ is a compact quotient of a connected Riemannian product $\mathbb{R}^q \times (N,g _N)$ by a discrete subgroup of $\mathrm{Sim}(\mathbb{R}^q) \times \mathrm{Isom}(N,g_N)$. The flat factor induces a transversely Riemannian foliation whose leaf closures determine, up to a natural geometric modification, a torus fibration $M \to X$. The main goal of this article is to study the associated monodromy representation $ρ: π_1(X) \to \mathrm{GL}(n,\mathbb{Z})$. We prove that the image of $ρ$ is a subgroup of a cocompact arithmetic lattice of a reductive group, and we discuss which groups may be realized as monodromy groups of GIB manifolds. When $(N,g_N)$ is a symmetric space of non-compact type, the monodromy itself is arithmetic. Moreover, one may describe the fibration and the monodromy in terms of parabolic subgroups of the isometry group of $(N,g_N)$. This yields new examples of GIB manifolds, as well as obstructions, and opens the way toward a complete classification in this particular case.

The $1$-parametric $h$-principle for smooth conformal immersions of surfaces

2026-03-03T11:48:46Z

We reformulate the problem of finding conformal immersions of closed Riemannian surfaces in the language of the $h$-principle and we prove that the inclusion from the space of smooth conformal immersions to the space of immersions induces a bijection on the sets of path connected components.

Higher Gauge Flow Models

2026-03-03T11:16:43Z

This paper introduces Higher Gauge Flow Models, a novel class of Generative Flow Models. Building upon ordinary Gauge Flow Models (arXiv:2507.13414), these Higher Gauge Flow Models leverage an L$_{\infty}$-algebra, effectively extending the Lie Algebra. This expansion allows for the integration of the higher geometry and higher symmetries associated with higher groups into the framework of Generative Flow Models. Experimental evaluation on a Gaussian Mixture Model dataset revealed substantial performance improvements compared to traditional Flow Models.