A curvature estimate for holomophic maps on open Riemann surfaces

2026-03-16T17:24:56Z

We apply the technique of jet differentials to establish a Gauss curvature estimate for an open Riemann surface $M$, equipped with a conformal metric induced from a nonconstant holomorphic map that is highly ramified over a generic hypersurface of sufficiently high degree.

Blown-up singular Riemannian foliations

2026-03-16T16:42:00Z

In this paper we investigate new applications of the blow-up desingularization method in the context of singular Riemannian foliations. First, we relate the dynamics of such a foliation, which is governed by the so-called Molino sheaf, with that of its blow-up. In the particular case of singular Killing foliations, this leads to a strong constraint: the leaves of such foliations are all closed, provided the Euler characteristic of the ambient manifold is non-vanishing and its singular strata are all odd-codimensional. Next, we show that the space of leaf closures of a singular Killing foliation is the Gromov--Hausdorff limit of a sequence of orbifolds, whose dimensions are the codimension of the foliation. Finally, we relate the basic cohomology of a singular Riemannian foliation with that of its blow-up, generalizing well-known, classical analogous results in algebraic and complex geometry.

Logarithmic spectral correspondence for $V$--twisted Higgs bundles on punctured curves

2026-03-16T16:28:29Z

Let $X$ be a smooth projective complex curve, $P\subset X$ a reduced effective divisor, and $X^{0}=X\setminus P$. We study logarithmic $V$-twisted Higgs bundles arising from a logarithmic Hecke compactification of a rank-two bundle on $X^{0}$. We show that a pair of induced logarithmic line-twisted fields lifts uniquely exactly under explicit local Hecke conditions, and that the lift is integrable precisely when the fields commute. Fixing the compactified spectral curve $Y$, we classify such Higgs bundles by pairs $(F,\,\vartheta)$, where $F$ is a rank-one torsion-free sheaf on $Y$ and $\vartheta$ satisfies a marked spectral condition on a finite subscheme $Z\subset Y$. This gives a logarithmic extension of the compact rank-two spectral correspondence of~\cite{ABK} to the punctured case. On the line-bundle locus, the moduli stack is canonically equivalent to $\mathrm{Pic}^{d}(Y)\times A_Z$.

Pogorelov interior estimates for general sum-type Hessian equations

2026-03-16T14:31:42Z

In this paper, we exploit the concavity of sums of Hessian operators to derive Pogorelov estimates for corresponding equations under the dynamic semi-convexity assumption, and we further obtain several Liouville-type results. Moreover, when k=n-1 and k=n we establish Pogorelov estimates in the admissible cone. As an application, we prove that any entire admissible solution in $\mathbb{R}^n$ with quadratic growth must be a quadratic polynomial.

Operations on constructible functions and generalized valuations

2026-03-16T14:03:19Z

Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the sheaf-theoretic ones on constructible functions under restrictive assumptions, leaving key aspects conjectural. In this article, we close this gap by proving that the two approaches indeed coincide on constructible functions under mild transversality assumptions. Our proof is based on a comparison with the corresponding operations on characteristic cycles. As applications, we extend additive kinematic formulas from convex bodies to compact subanalytic sets in Euclidean spaces and derive new kinematic formulas on the 3-sphere.

Log-Euclidean Lie Groups

2026-03-16T12:57:23Z

We develop a self-contained theory of log-Euclidean Lie groups: smooth manifolds diffeomorphic to finite-dimensional vector spaces, equipped with the pullback of a constant Euclidean metric. This framework encompasses symmetric positive-definite (SPD) matrices S+(n) and full-rank correlation matrices Cor+(n), and explains why many seemingly different log-Euclidean constructions yield the same Riemannian geometry. We provide explicit Riemannian isometries (and Lie group isomorphisms) linking several log-Euclidean metrics on SPD and correlation matrix manifolds, and we characterize quotient log-Euclidean metrics in a principal-bundle setting. Finally, using the diagonal correction map underlying the off-log parametrization, we construct an explicit log-Euclidean metric on S+(n) for which the standard inclusion i\,: Cor+(n) $\rightarrow$ S+(n) becomes an isometric (indeed, totally geodesic) embedding, yielding closed-form formulas for geodesics and orthogonal decompositions in adapted coordinates. The nested isometric embeddings constructed here also provide a simple solution to the comparison of matrices of different dimensions in the log-Euclidean setting: SPD or correlation matrices may be transported to a common dimension via explicit maps while preserving all intrinsic distances.

Completeness of closed Kleinian flat Pseudo-Riemannian Manifolds of Signature (2,2)

2026-03-16T10:53:54Z

Let $\mathbb{R}^{2,2}$ denote the model space of flat pseudo-Riemannian manifolds of signature $(2,2)$. We prove that the only domain divisible by a discrete subgroup of the isometry group of $\mathbb{R}^{2,2}$ is $\mathbb{R}^{2,2}$ itself. In the Kleinian setting, this provides the first completeness theorem of closed flat pseudo-Riemannian manifolds beyond the Euclidean and Lorentzian cases. Along the proof, we show two results of independent interest. The first is a geometric reduction for certain divisible domains of affine space. The second concerns the existence of syndetic hulls in semidirect products $R \ltimes G$, where $G$ is a homothety Lie group. This construction generalizes earlier constructions in affine geometry due to Carrière and Dal'bo.

A Yamabe problem for the quotient between the $Q$ curvature and the scalar curvature

2026-03-16T10:27:15Z

In this paper we introduce the following Yamabe problem for the quotient between the $Q$ curvature and the scalar curvature $R$: Find a conformal metric $g$ in a given conformal class $[g_0]$ with \[ Q_g/R_g=const. \] When the dimension $n\ge 5$, we first prove a new Sobolev inequality between the total $Q$-curvature and the total scalar curvature on $\mathbb{S}^n$ ($n\ge 5$), namely \[\frac{\int_{\mathbb{S}^n} Q_g d v_g}{\left(\int_{\mathbb{S}^n} R_g d v_g\right)^{\frac{n-4}{n-2}}} \geq \frac{\int_{\mathbb{S}^n} Q_{g_{\mathbb{S}^n}} d v\left(g_{\mathbb{S}^n}\right)}{\left(\int_{\mathbb{S}^n} R_{g_{\mathbb{S}^n}} d v\left(g_{\mathbb{S}^n}\right)\right)^{\frac{n-4}{n-2}}}\] for any $g$ in the conformal class of the round metric $g_{\mathbb{S}^n}$ with positive scalar curvature, with equality if and only if $g$ is also a metric with constant sectional curvature. With this inequality we introduce a new Yamabe constant $Y_{4,2}(M,[g_0])$ and prove the existence of the above problem provided that $Y_{4,2}(M,[g_0])

The heat trace for domains with curved corners

2026-03-16T08:21:12Z

We derive the short-time expansion of the heat trace on planar curvilinear polygons through order $t^{1/2}$, with both Dirichlet and Neumann boundary conditions. For such domains we show that the coefficient of $t^{1/2}$ in the expansion splits into a boundary integral of $κ^2$ and a sum of local corner contributions, one for each vertex. Each curved corner contribution depends only on the interior angle $α$ and on the limiting curvatures $κ_{\pm}$ on the adjacent sides. For Dirichlet boundary conditions, using a conformal model and a parametrix construction on the sector heat space, we express this contribution in the form \[ \mathcal C_{1/2}(α,κ_+,κ_-) = c_{1/2}(α)\,\frac{κ_+ + κ_-}{4\sin(α/2)}, \] where $c_{1/2}(α)$ is given by the Hadamard finite part of an explicit trace over the exact sector. For right angles we compute $c_{1/2}(π/2)=\sqrt{2}/(16\sqrtπ)$, which yields the closed formula \[ \mathcal C_{1/2}(π/2,κ_+,κ_-)=\frac{κ_+ + κ_-}{32\sqrtπ}. \] Combined with previous work on the coefficients of $t^{-1}$, $t^{-1/2}$ and $t^0$ for such domains, this determines the remaining local heat trace coefficient for planar curvilinear polygons up to order $t^{1/2}$. As an inverse spectral application we extend a result in the literature by showing that any admissible curvilinear polygon that is Dirichlet isospectral to a polygon must itself be a polygon with straight sides.

Resolution of compact Einstein orbifolds in general dimensions

2026-03-16T07:31:13Z

Given a noncollapsing sequence of m-dimensional compact Einstein manifolds with a uniform energy bound, the Gromov-Hausdorff limit is a compact Einstein orbifold with at most finitely many singularities. Conversely, starting with a compact Einstein orbifold, we are interested in whether there exists a sequence of smooth Einstein metrics converging to it. In this paper, we provide a negative answer. We give an explicit obstruction for a negative Einstein orbifold appearing as a noncollapsing limit of compact Einstein manifolds, which does not vanish for hyperbolic orbifolds. This work extends the work of Ozuch in dimension 4, with significant technical simplifications.

Local Equivalence of Riemannian Submersions via Differential Invariants

2026-03-16T04:51:51Z

We study the local equivalence problem for Riemannian submersions under fiber-preserving isometries using differential invariants. After briefly recalling the vertical--horizontal splitting, the O'Neill tensors $A$ and $T$, and the mean curvature $H$ of the fibers, we outline a practical invariant-based equivalence workflow. Our main contribution is the analysis of a concrete model class: orbit submersions induced by a nowhere-vanishing Killing field $K$. In this class we derive explicit formulas for $A$ and $H$ in terms of the Killing data, namely the length function $\varphi=|K|$ and the curvature $2$-form $Ω=dθ|_{\mathcal H}$ of the associated connection $1$-form $θ$, and we prove an equivalence criterion phrased purely in terms of the base data $(\bar g,\varphi,Ω)$. We further present a finite-order invariant decision procedure under a stated genericity assumption (with a practical stopping rule), together with a compact low-order invariant profile and computational remarks. Benchmark examples (product submersions, warped products, and the Hopf fibration) illustrate both the strengths and limitations of low-order scalar signatures.

Rigidity of spacelike hypersurface with constant curvature and intersection angle condition

2026-03-16T03:38:57Z

In the Minkowski space, we consider a compact, spacelike hypersurface with boundary, which can be written as a graph on a spacelike hyperplane. We prove that, if its $k$-th mean curvature is constant, and its boundary is on the hyperplane with constant intersection angles, then the hypersurface must be a part of a hyperboloid, unless it is entirely contained in the hyperplane. The proof is based on an auxiliary function and associated integral equality.

Eigenvalue optimization in higher dimensions and $p$-harmonic maps

2026-03-16T03:23:26Z

We prove existence results for optimization problems for the $k$th Laplace eigenvalue on closed Riemannian manifolds of dimension $m \geq 3$, depending on the choice of normalization. One such normalization leads to eigenvalue optimization within a conformal class, for which existence of maximizers was previously known only in dimension two. We also prove that all absolutely continuous maximizers of the normalized eigenvalue functionals are always induced by $p$-harmonic maps into spheres, where $p \in [2,m]$. For $p$ sufficiently close to $m$, the maximizers are always Hölder-continuous, whereas for $p

On the twistor spaces of ALE gravitational instantons of type $A_{\rm odd}$

2026-03-16T01:52:38Z

We study the twistor spaces of toric ALE gravitational instantons of type $A_{2n-1}$ and the associated non-standard minitwistor spaces introduced by Hitchin. By analyzing the base locus of the linear system that induces the quotient meromorphic map from the compactified twistor space, we explicitly determine the images of certain distinguished twistor lines as hyperplane sections of the minitwistor space. Using this family of special minitwistor lines as boundary data, we describe the $3$-dimensional family of real minitwistor lines arising from the instanton. The central sphere in the gravitational instanton appears naturally throughout the analysis.

Rigidity of Nilpotent Lie Foliations: Cohomological Obstructions and Classification

2026-03-15T14:59:25Z

In this article, we develop a systematic cohomological framework for the study of the rigidity of nilpotent Lie foliations with respect to solvable deformations. We introduce the deformation complex associated to a pair of Lie algebras $(\mathfrak{g}, \mathfrak{h})$ and show that the main obstruction to deforming a nilpotent Lie foliation into a non-nilpotent solvable foliation lies in the cohomology group $H^2(\mathfrak{g},\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])$. We establish a necessary and sufficient algebraic criterion for rigidity within the family of foliations modelled on the generalized Heisenberg groups $H_{2k+1}$. This result unifies and generalizes the construction of Dathe--Ndiaye (2012) as well as its subsequent extensions. We complete the article with a full classification of nilpotent Lie foliations of codimension at most six according to their deformation behaviour.