Two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain

2026-03-17T05:23:20Z

We establish two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain.

The behaviour of moving points on curves with rotating frames

2026-03-17T02:48:49Z

In this paper, we construct rotating frames for curves, including plane curves, space curves and curves on surfaces. Hence, the behaviour of an arbitrary moving point on a curve can be seen as the composite of linear motion and rotation. Conversely, it can also prove that a curve can be determined by the two motions of its moving point, namely, linear motion and rotation. Thus, we obtain a new binary mathematical formation mechanism for curves based on the aforementioned two motions. Finally, we apply this rotating frame method to the study of the behaviour of moving points on ellipses.

Remarks on the structure and integrability of LA-groups

2026-03-16T19:41:27Z

We study the structure of an LA-group identifying its underlying VB-group with a representation up to homotopy. We show that the Lie algebroid structure is determined by a complementary action up to homotopy of the Lie algebra of units. We identify the equations that the representation and the action need to verify in order to assemble into an LA-group, establishing an equivalence between LA-groups and LA-matched pairs. As an application, we catalog some extreme examples of representations and actions and comment on their integrability.

On polynomial solutions to the minimal surface equation

2026-03-16T19:07:33Z

We are interested in finding a nonlinear polynomial $P$ on $\mathbb{R}^n$ that solves the minimal surface equation. Even though no explicit solution is found in this article, we investigate constraints that a polynomial solution must obey. We first prove a structure theorem on such polynomials. We show that the highest degree term $P_m$ must factor as $p^kQ_m$ where $k$ is odd, $p $ is irreducible, and $Q_m\ge 0$ on $\mathbb{R}^n$ with $\{Q_m=0\}\subset\{p=0\}\cap\{\nabla p=0\}$. Moreover, the level sets of $P_m$ are all area-minimizing and the unique tangent cone of $\operatorname{graph} P$ at infinity is $\{p=0\}\times\mathbb{R}$. If $k\ge 3$, we know further that lower order terms down to some degree are divisible by $p$. We also show that $P$ must contain terms of both high and low degree. In particular, it cannot be homogeneous. As a consequence of the structure theorem, we get degree estimates for polynomial solutions. We have $\operatorname{deg} P\ge 4$ by ruling out cubic polynomial solutions. Using an extended eigenvalue estimate on the Jacobi operator by Zhu \cite{zhu2018first}, we are able to show that $μ_n^-< \operatorname{deg} p +k^{-1}\operatorname{deg} Q_m< μ_n^+$ where $μ_n^\pm=\frac{n-1\pm\sqrt{(n-3)^2-4(n-2)}}{2}$. Finally, we prove that $\{p=0\}$ cannot be an isoparametric minimal cone. We also show that for a nonlinear polynomial solution on $\mathbb{R}^8$, we have $\operatorname{deg} p=3$ and that $\{p=0\}$ is an area-minimizing but not strictly minimizing cone in $\mathbb{R}^8$. These results give strong restrictions on possible polynomial solutions to the minimal surface equation.

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])

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.