Pluriclosed metrics on compact semisimple Lie groups

2026-02-23T21:38:38Z

Given a compact semisimple Lie group G and a maximal torus T of G, we give an explicit description of all left and Ad(T)-invariant pluriclosed Hermitian structures on G in terms of the corresponding root system. They depend on 2d+1 parameters in the irreducible case, where dim(T)=2d. As applications, we obtain that the only left and Ad(T)-invariant pluriclosed metrics which are also CYT are bi-invariant metrics (i.e., Bismut flat) and study the pluriclosed flow as a neat ODE system.

On Weighted Twisted K-Energy and Its Applications

2026-02-23T19:31:41Z

We establish the convexity of the weighted twisted Mabuchi K-energy functional along geodesics in the finite energy space $\mathcal{E}^{1,T}(X,ω)$, covering the case of divisors with mixed cusp and conic singularities. We then prove that coercivity (relative to the complex torus) of this functional is an open condition under cone angle perturbations. This is obtained from a general result of independent interest, which shows the stability of the coercivity under perturbations by certain twist currents. In particular, this yields the openness for the existence for cscK cone metrics and proves that coercivity at the cusp limit implies existence of cscK cone metrics for small cone angles.

An improved upper bound for the second eigenvalue on tori

2026-02-23T19:24:23Z

In this paper, we study the maximization problem of the second non-zero Laplace eigenvalue $λ_2(T,g)$ on a torus $T$, among all unit-area metrics in a fixed conformal class. First, we obtain a new upper bound for $λ_2(T_{a,b},g)$ on any flat torus $T_{a, b}$ with $(a, b)\in \mathbb{R}^2$. Our bound improves the general estimate $λ_2(T_{a, b},g)\le 4A_c(T_{a, b}, [g])$ in the case of the torus. As applications, we derive a uniform upper bound $λ_2(T,g)< \frac{16π^2}{\sqrt{3}}$ for any torus $T$ and any metric $g$, and reduce the Kao-Lai-Osting conjecture to proving an upper bound for $λ_2(T_{a,b},g)$ on the specific family of flat tori $T_{a,b}$ with $0\leq a\leq \frac12$ and $\sqrt{1-a^2}\leq b\leq 1.76$.

Universal Functions for Topological Correlators

2026-02-23T19:03:41Z

We consider correlation functions of topologically twisted, $\mathcal{N}=2$ supersymmetric Yang-Mills theory with gauge group ${\rm SU}(2)$ and $N_f\leq 3$ massive hypermultiplets in the fundamental representation. For a smooth, compact, oriented four-manifold $X$ with $b_2^+>1$, the correlation functions are expressed in terms of a finite set of universal functions. The mass dependence of these functions encodes intersection numbers of the moduli space of instantons. We determine closed expressions for the universal functions by combining techniques of the Seiberg-Witten geometry, $u$-plane integral and the blowup formula. If $X$ is specialised to a complex algebraic surface $S$, the correlation functions can be identified with generating functions of Segre invariants for moduli spaces of sheaves on $S$. We verify that our results agree with the results by Göttsche and Kool for these generating functions.

Geometry and biological processes

2026-02-23T19:01:36Z

We suggest a geometric approach to modeling biochemical processes, aiming at those processes that occur in humans with food sensitivities or chemical sensitivities.

New minimal surfaces in the sphere from capillary minimal cones

2026-02-23T18:39:19Z

For every $p,q\geq 1$, we construct minimal embeddings of $\mathbb{S}^p \times \mathbb{S}^q \times \mathbb{S}^1$ in $\mathbb{S}^{p + q + 2}$ by doubling the links of free-boundary minimal cones in $\mathbb{R}^{p+q+3}$ with bi-orthogonal symmetry. This solves problems posed by Hsiang-Lawson and Hsiang-Hsiang. The equivariance reduces the minimal surface equation to an ODE, and we prove the existence of capillary minimal cones for every contact angle. We obtain free-boundary solutions as limits of capillary surfaces via a singular shooting problem with infinite initial slope. As the contact angle degenerates to $0$, rescalings of the capillary cones converge to a homogeneous solution of the one-phase Bernoulli problem, further illustrating the connection between one-phase free boundaries and minimal surfaces through the capillary functional.

The Cone of J-Hermitian Matrices and a Geometric Mean

2026-02-23T17:50:13Z

We study the cone $\mathscr{P}_{\text{J}}$ of positive J-Hermitian matrices associated with an indefinite signature matrix J = $\text{Id}_{p,q}$. We show that the J-exponential map is bijective and use it to analyze the algebraic and geometric structure of $\mathscr{P}_{\text{J}}$. Through a canonical identification with the cone of positive definite matrices, we endow $\mathscr{P}_{\text{J}}$ with a natural Riemannian structure. In this setting, we define a J-geometric mean as the midpoint of geodesics and prove that it is uniquely characterized as the solution of a Riccati-type equation.

Line congruences associated to Appell's hypergeometric functions of rank-4

2026-02-23T17:30:56Z

Line congruences are the genesis of important examples of transformations of projective surfaces, such as the Laplace transform. We survey and review results related to this historical subject, then derive original formulae for the Laplace transform of the entire rank-4 linear system associated to such an immersed projective surface. We apply our results to study the geometry of surfaces defined by Appell's hypergeometric functions of rank-4: namely, $F_2$ and $F_4$. We show that the sequence of Laplace invariants for each is determined respectively by the Euler-Poisson-Darboux equation for $F_2$, and Darboux's Harmonic equation for $F_4$. Further, we show the natural line congruences generated by the Laplace transforms of each constitute a $W$-congruence, an important example of line congruence in which a surface and its Laplace transform are simultaneously locally conformally equivalent.

Recovery problem of parametrizations from Legendre data

2026-02-23T15:03:30Z

The problem of recovery of parametrizations from Legendre data is a very important inverse problem. In this paper, we provide a systematic and widely-applicable method to recover parametrizations $f: U_n \to \mathbb{R}^{n+1}$ from Legendre data where $U_n$ is an open subset of $\mathbb R^n$. Namely, for a dense subset of the space of real-analytic parametrizations from $U_n$ into $\mathbb{R}^{n+1}$, we show how to recover the parametrization from the Gauss mapping and the height function. Moreover, in order to assist readers to apply results of this paper, many concrete examples are given.

An new polar factor retraction on the Stiefel manifold with closed-form inverse

2026-02-23T15:02:17Z

Retractions are the workhorse in Riemannian computing applications, where computational efficiency is of the essence. This work introduces a new retraction on the compact Stiefel manifold of orthogonal frames. The retraction is second-order accurate under the Euclidean metric and features a closed-form inverse that can be efficiently computed. To the best of our knowledge, this is the first Stiefel retraction with both these properties. A variety of retractions is known on the Stiefel manifold, including the Riemannian exponential map, the polar factor retraction, the QR-retraction and the Cayley retraction, but none of them features a closed-form inverse. The only Stiefel retraction with closed-form inverse that we are aware of is based on quasi-geodesics, but this one is of first order.

Conformal transformations and equivariance in unbounded KK-theory

2026-02-23T14:59:16Z

We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded representatives of Kasparov's $γ$-element for the real and complex Lorentz groups and display the conformal $SL_q(2)$-equivariance of the standard spectral triple of the Podleś sphere. In pursuing descent for conformally equivariant cycles, we are led to a new framework for representing Kasparov classes. Our new representatives are unbounded, possess a dynamical quality, and also include known twisted spectral triples. We define an equivalence relation on these new representatives whose classes form an abelian group surjecting onto KK. The technical innovation which underpins these results is a novel multiplicative perturbation theory. By these means, we obtain Kasparov classes from the bounded transform with minimal side conditions.

Gromov-Hausdorff limits of immortal Kähler-Ricci flows

2026-02-23T14:53:07Z

We show that the normalized Kähler-Ricci flow on a compact Kähler manifold with semiample canonical bundle converges in the Gromov-Hausdorff topology to the metric completion of the twisted Kähler-Einstein metric on the canonical model, as conjectured by Song-Tian's analytic mimimal model program.

Algebraic integrability and minimality of Lie equations for transitive, finite dimensional, non-commutative pseudogroups

2026-02-23T14:29:43Z

We provide an algebraic characterization of transitive, finite-dimensional algebraic Lie pseudogroups (or $\mathcal{D}$-groupoids) that are algebraic integrable, that is, isogenous to the action groupoid of an algebraic group action. Our approach is based on the differential Galois theory of rational connections. Under suitable hypotheses on the Lie algebra of the $\mathcal D$-groupoid, its algebraic integrability is equivalent to the triviality of the differential Galois group of its $\mathcal D$-Lie algebra. Furthermore, we investigate the structure of highly non-integrable $\mathcal{D}$-groupoids, demonstrating that if the differential Galois group of the linear differential equation of their $\mathcal D$-Lie algebra is large enough, then they are minimal in the sense that they admit no non-trivial sub-$\mathcal{D}$-groupoids of positive dimension.

On $U(1)^{n-2}$-Invariant Special Lagrangian $n$-Folds

2026-02-23T13:51:25Z

This paper develops a construction of families of $ U(1)^{n-2} $-invariant special Lagrangian $ n $-folds in $ \mathbb{C}^{n} $, extending the analytic framework introduced by Joyce ($ n = 3 $) to arbitrary dimension. By reducing the special Lagrangian condition to a quasilinear elliptic system of two-dimensional non-linear Cauchy-Riemann equations, we analyse both the resulting geometry and its degenerations at singular points. We show that the structure and multiplicity of singularities are governed by an associated polynomial arising from the symmetry reduction. Explicit examples are constructed, including affine and perturbative solutions, and are compared with the classical Harvey-Lawson $ U(1)^{n-1} $-invariant submanifolds. We further show that the key elements of Joyce's analysis in the non-singular case, in particular the potential formulation and Dirichlet problem, extend to this higher-dimensional setting, with the proofs unchanged.

Quantitative Estimates on the Topology and Singular Set of Prescribed Mean Curvature Hypersurfaces

2026-02-23T13:02:38Z

We establish quantitative topological and singularity properties for (certain) prescribed mean curvature (PMC) hypersurfaces $V^n$ in Riemannian manifolds $(N^{n+1},h)$. Indeed, if $V$ has area at most $A>0$ with PMC given by a $C^{1,α}$ function $g:N\to \mathbb{R}$ with the bound $|g|_{C^{1,α}}\leq Γ$, we show that there exists a constant $C$ depending only on $n,h,A,Γ$ and geometric quantities such that: \[\sum^n_{i=0}b^i(V) \leq C(1+\text{index}(V)) \quad \text{if }3\leq n+1\leq 7;\] \[M^{*n-7}(\text{sing}(V)) \leq C(1+\text{index}(V)) \quad \text{if }n+1\geq 8.\] Here, $b^i$ denote the Betti numbers over any field, $M^{*n-7}$ denotes the upper $(n-7)$-dimensional Minkowski content, and $\text{sing}(V)$ is the singular set of $V$. The first inequality extends the work of Song from the minimal hypersurface setting to the PMC hypersurface setting, whilst the second extends work of the authors. Our results apply to the PMC hypersurfaces constructed recently through min-max techniques by Bellettini--Wickramasekera.