http://arxiv.org/api/3diHWbt80zvVhrpcOYaKOQjbMIg 2025-04-22T00:00:00-04:00 44335 45 15 http://arxiv.org/abs/2504.13508v1 2025-04-18T06:59:11Z 2025-04-18T06:59:11Z

We study here the sub-Riemannian geometry on a manifold $M$ induced by a finite family $F$ of vector fields satisfying the H{\"o}rmander condition, as well as the differential operators obtained as polynomials in the elements of $F$. Such an operator $D$ is hypoelliptic if, for any smooth function $f$, the solutions $u$ of the equation $Du=f$ are also smooth. A more refined notion, that of maximal hypoelliptic operators, extends this property in terms of Sobolev regularity, offering a parallel in sub-Riemannian geometry to elliptic operators. In 1979, Helffer and Nourrigat proposed a conjecture characterizing maximal hypoellipticity, generalizing the main regularity theorem for elliptic operators. This conjecture has recently been confirmed using tools from non-commutative geometry. A central element of this work is a natural generalisation in sub-Riemannian geometry, introduced by Mohsen, of the Connes tangent groupoid, in which appear all the tangent cones, key ingredients in the work of Helffer and Nourrigat. In collaboration with Androulidakis and Yuncken, Mohsen developed a pseudodifferential calculus in this context, introducing in particular the notion of principal symbol. They obtained that the invertibility of this symbol is equivalent to maximal hypoellipticity, thus validating the conjecture. This talk will present the ingredients and broad outlines of these innovative advances.

Claire Debord IMJ-PRG in French language S{\'e}minaire Bourbaki, Association des collaborateurs de Nicolas Bourbaki, Mar 2025, Paris, France http://arxiv.org/abs/2504.13345v1 2025-04-17T21:27:17Z 2025-04-17T21:27:17Z

We introduce the notion of a Lie superheaps as a generalisation of Lie supergroups. We show that the well-known `groupification' and `heapification' functors generalise to the ambience of supergeometry. In particular, we show that there is an isomorphism between the categories of pointed Lie superheaps and Lie supergroups. To do this we make extensive use of the functor of points.

Andrew James Bruce 7 pages http://arxiv.org/abs/2504.13270v1 2025-04-17T18:26:11Z 2025-04-17T18:26:11Z

In this note, we give a characterization of immersed submanifolds of simply-connected space forms for which the quotient of the extrinsic diameter by the focal radius achieves the minimum possible value of $2$. They are essentially round spheres, or the ``Veronese'' embeddings of projective spaces. The proof combines the classification of submanifolds with planar geodesics due to K. Sakamoto with a version of A. Schur's Bow Lemma for space curves. Open problems and the relation to recent work by M. Gromov and A. Petrunin are discussed.

Ricardo A. E. Mendes 6 pages http://arxiv.org/abs/2504.13155v1 2025-04-17T17:56:57Z 2025-04-17T17:56:57Z

In this paper, we establish a structure theorem for a compact K\"{a}hler manifold $X$ of rational dimension $\mathrm{rd}(X)\leq n-k$ under the mixed partially semi-positive curvature condition $\mathcal{S}_{a,b,k} \geq 0$, which is introduced as a unified framework for addressing two partially semi-positive curvature conditions -- namely, $k$-semi-positive Ricci curvature and semi-positive $k$-scalar curvature. As a main corollary, we show that a compact K\"{a}hler manifold $(X,g)$ with $k$-semi-positive Ricci curvature and $\mathrm{rd}(X)\leq n-k$ actually has semi-positive Ricci curvature and $\mathrm{rd}(X)\geq \nu(-K_X)$. Of independent interest, we also confirm the rational connectedness of compact K\"{a}hler manifolds with positive orthogonal Ricci curvature, among other results.

Shiyu Zhang Xi Zhang 21 pages, comments are welcome http://arxiv.org/abs/2108.07746v5 2025-04-17T17:00:03Z 2021-08-17T16:34:12Z

We extend the framework of K\"ahler information manifolds for complex-valued signal processing filters by introducing weighted Hardy spaces and smooth transformations of transfer functions. We demonstrate that the Riemannian geometry induced from weighted Hardy norms for the smooth transformations of its transfer function is a K\"ahler manifold. In this setting, the K\"ahler potential of the linear system geometry corresponds to the squared weighted Hardy norm of the composite transfer function. With the inherent structure of K\"ahler manifolds, geometric quantities on the manifold of linear systems in weighted Hardy spaces can be computed more efficiently and elegantly. Moreover, this generalized framework unifies a variety of well-known information manifolds within the structure of K\"ahler information manifolds for signal filters. Several illustrative examples from time series models are provided, wherein the metric tensor, Levi-Civita connection, and K\"ahler potentials are explicitly expressed in terms of polylogarithmic functions of the poles and zeros of transfer functions parameterized by weight vectors.

Jaehyung Choi 23 pages http://arxiv.org/abs/2504.13076v1 2025-04-17T16:39:04Z 2025-04-17T16:39:04Z

Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,\omega)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal Lagrangian torus in $(X,\omega)$ is a Lagrangian torus that maximizes the symplectic area among the Lagrangian tori in $(X,\omega)$. We prove that every extremal Lagrangian torus in the symplectic unit ball $(\bar{B}^{2n}(1),\omega_{\mathrm{std}})$ is contained entirely in the boundary $\partial B^{2n}(1)$. This answers a question attributed to Lazzarini and completely settles a conjecture of Cieliebak and Mohnke in the affirmative. In addition, we prove the conjecture for a class of toric domains in $(\mathbb{C}^n, \omega_{\mathrm{std}})$, which includes all compact strictly convex four-dimensional toric domains. We explain with counterexamples that the general conjecture does not hold for non-convex domains.

Shah Faisal 91 pages, 11 figures http://arxiv.org/abs/2504.13064v1 2025-04-17T16:18:58Z 2025-04-17T16:18:58Z

In 1985, Bryant stated that a flat $2$-torus admits a minimal isometric immersion into some round sphere if and only if it satisfies a certain rationality condition. We extend this rationality criterion to arbitrary dimensional flat tori, providing a sufficient condition for minimal isometric immersions of flat $n$-tori. For the case $n=3$, we prove that if a flat $3$-torus admits a minimal isometric immersion into some sphere, then its algebraic irrationality degree must be no more than 4, and we construct explicit embedded minimal irrational flat $3$-tori realizing each possible degree. Furthermore, we establish the upper bound $n^2+n-1$ for the minimal target dimension of flat $n$-tori admitting minimal isometric immersions into spheres.

Ying Lv Peng Wang Zhenxiao Xie 21 pages. Comments are welcome http://arxiv.org/abs/2504.07774v2 2025-04-17T14:22:27Z 2025-04-10T14:14:25Z

Spacetimes with metrics admitting an expansion in terms of a combination of powers of 1/r and ln r are known as polyhomogeneous spacetimes. The asymptotic behaviour of the Newman-Penrose quantities for these spacetimes is presented under certain gauges. The Bondi mass is revisited via the Iyer-Wald formalism. The memory effect of the gravitational radiation in the polyhomogeneous spacetimes is also discussed. It is found that the appearance of the logarithmic terms does not affect the balance law and it remains unchanged as the one of spacetimes with metrics admitting an expansion in terms of powers of 1/r.

Xiaokai He Xiaoning Wu Naqing Xie 36 pages and no figure http://arxiv.org/abs/2504.12928v1 2025-04-17T13:26:05Z 2025-04-17T13:26:05Z

The Bochner-Schr\"odinger operator $H_{p}=\frac 1p\Delta^{L^p}+V$ on high tensor powers $L^p$ of a Hermitian line bundle $L$ on a Riemannian manifold $X$ of bounded geometry is studied under the assumption of non-degeneracy of the curvature form of $L$. For large $p$, the spectrum of $H_p$ asymptotically coincides with the union of all local Landau levels of the operator at the points of $X$. Moreover, if the union of the local Landau levels over the complement of a compact subset of $X$ has a gap, then the spectrum of $H_{p}$ in the gap is discrete. The main result of the paper is the trace asymptotics formula associated with these eigenvalues. As a consequence, we get a Weyl type asymptotic formula for the eigenvalue counting function.

Yuri A. Kordyukov 13 pages http://arxiv.org/abs/2504.12842v1 2025-04-17T10:57:39Z 2025-04-17T10:57:39Z

We demonstrate that the moduli space of Hermitian-Einstein connections $\text{M}^*_{HE}(M^{2n})$ of vector bundles over compact non-Gauduchon Hermitian manifolds $(M^{2n}, g, \omega)$ that exhibit a dilaton field $\Phi$ admit a strong K\"ahler with torsion structure provided a certain condition is imposed on their Lee form $\theta$ and the dilaton. We find that the geometries that satisfy this condition include those that solve the string field equations or equivalently the gradient flow soliton type of equations. In addition, we demonstrate that if the underlying manifold $(M^{2n}, g, \omega)$ admits a holomorphic and Killing vector field $X$ that leaves $\Phi$ also invariant, then the moduli spaces $\text{M}^*_{HE}(M^{2n})$ admits an induced holomorphic and Killing vector field $\alpha_X$. Furthermore, if $X$ is covariantly constant with respect to the compatible connection $\hat\nabla$ with torsion a 3-form on $(M^{2n}, g, \omega)$, then $\alpha_X$ is also covariantly constant with respect to the compatible connection $\hat D$ with torsion a 3-form on $\text{M}^*_{HE}(M^{2n})$ provided that $K^\flat\wedge X^\flat$ is a $(1,1)$-form with $K^\flat=\theta+2d\Phi$ and $\Phi$ is invariant under $X$ and $IX$, where $I$ is the complex structure of $M^{2n}$.

Georgios Papadopoulos 29 pages http://arxiv.org/abs/2406.02323v2 2025-04-17T10:34:08Z 2024-06-04T13:54:57Z

This paper has two purposes. The first is to classify all those versions of the Toda equations which govern the existence of $\tau$-primitive harmonic maps from a surface into a homogeneous space $G/T$ for which $G$ is a noncomplex noncompact simple real Lie group, $\tau$ is the Coxeter automorphism which Drinfel'd \& Sokolov assigned to each affine Dynkin diagram, and $T$ is the compact torus fixed pointwise by $\tau$. Here $\tau$ may be either an inner or an outer automorphism. We interpret the Toda equations over a compact Riemann surface $\Sigma$ as equations for a metric on a holomorphic principal $T^\mathbb{C}$-bundle $Q^\mathbb{C}$ over $\Sigma$ whose Chern connection, when combined with holomorphic field $\varphi$, produces a $G$-connection which is flat precisely when the Toda equations hold. The second purpose is to establish when stability criteria for the pair $(Q^\mathbb{C},\varphi)$ can be used to prove the existence of solutions. We classify those real forms of the Toda equations for which this pair is a principal pair and we call these \emph{totally noncompact} Toda pairs: stability theory then gives algebraic conditions for the existence of solutions. Every solution to the geometric Toda equations has a corresponding $G$-Higgs bundle. We explain how to construct this $G$-Higgs bundle directly from the Toda pair and show that Baraglia's cyclic Higgs bundles arise from a very special case of totally noncompact cyclic Toda pairs.

Ian McIntosh 10.1016/j.difgeo.2025.102249 Author Accepted Manuscript, 38 pages Diff. Geom & Appl., Vol 99, June 2025 http://arxiv.org/abs/2401.03460v4 2025-04-17T08:05:21Z 2024-01-07T11:41:26Z

Ivansic proved that there is a link $L$ of five tori in $S^4$ with hyperbolic complement. We describe $L$ explicitly with pictures, study its properties, and discover that $L$ is in many aspects similar to the Borromean rings in $S^3$. In particular the following hold: (1) Any two tori in $L$ are unlinked, but three are not; (2) The complement $M = S^4 \setminus L$ is integral arithmetic hyperbolic; (3) The symmetry group of $L$ acts $k$-transitively on its components for all $k$; (4) The double branched covering over $L$ has geometry $\mathbb H^2 \times \mathbb H^2$; (5) The fundamental group of $M$ has a nice presentation via commutators; (6) The Alexander ideal has an explicit simple description; (7) Every class $x \in H^1(M,Z) = Z^5$ with non-zero xi is represented by a perfect circle-valued Morse function; (8) By longitudinal Dehn surgery along $L$ we get a closed 4-manifold with fundamental group $Z^5$; (9) The link $L$ can be put in perfect position. This leads also to the first descriptions of a cusped hyperbolic 4-manifold as a complement of tori in $\mathbb{RP}^4$ and as a complement of some explicit Lagrangian tori in the product of two surfaces of genus two.

Bruno Martelli 35 pages, 24 figures http://arxiv.org/abs/2504.12716v1 2025-04-17T07:46:04Z 2025-04-17T07:46:04Z

In this paper twistor methods are used to construct a family of multivalued harmonic functions on ${\bf R}^{3}$ which were obtained by Dashen Yan using different methods. The branching sets for the solutions are ellipses and the functions have quadratic growth at infinity.

Simon Donaldson http://arxiv.org/abs/2501.15818v2 2025-04-17T07:25:58Z 2025-01-27T06:54:19Z

In this paper, we derive some important optimal relationships for bi-slant submanifolds in metallic Riemannian product space forms enriching the understanding of their geometric properties and deepening the connection between intrinsic and extrinsic curvature invariants. We establish generalized Wintgen inequality for bi-slant submanifolds in metallic Riemannian product space forms and discussed the equality case. Next we derive optimal inequalities involving $\delta$-invariants, also known as Chen-invariants and discuss the conditions for Chen ideal submanifolds. Further, we derive optimal relationships involving Ricci curvature and shape operator invariants along with the discussion about the equality cases. In the last section, we establish optimal inequalities involving generalized normalized $\delta$-Casorati curvatures for bi-slant submanifolds of metallic Riemannian product space form and discuss the conditions under which the equality holds. Furthermore, we examine how the main findings specialize to slant, semi-slant, hemi-slant, and semi-invariant submanifolds in metallic Riemannian product space forms, offering a better understanding of their geometric characteristics.

Harmandeep Kaur Gauree Shanker 27 pages http://arxiv.org/abs/2411.09290v3 2025-04-17T06:51:17Z 2024-11-14T09:07:05Z

For a parabolically convex domain $M\subseteq \mathbb{H}^n$, $n\ge 3$, we prove that if $f:(N,\bar g)\to (M,g)$ has nonzero degree, where $N$ is spin with scalar curvature $R_N\ge -n(n-1)$, and if $f|_{\partial N}$ does not increase the distance and the mean curvature, then $N$ is hyperbolic, and $\partial N$ is isometric to $\partial M$. This is a partial generalization of Lott's result \cite{lott2021index} to negative lower bounds of scalar curvature.

Chengzhang Sun Fixed some typos