The $k$th Order Preserving Sets and Isoperimetric Type Inequalities for Planar Ovals

2026-02-24T08:26:03Z

In this work, we introduce and investigate a new class of sets, the \textit{$k$th Order Preserving Sets}, arising naturally from the Fourier analysis of support functions associated with hedgehogs. Specifically, we focus on sets whose support functions possess a Fourier series that preserves only terms with positive indices divisible by a fixed $k$. We explore the geometry of the \textit{$k$th Order Midpoint Set}, defined as the set of centroids of all equiangular $k$-gons circumscribed about a given hedgehog. This set captures essential structural and symmetry-related features of the underlying geometric configuration. We study the geometric properties of such sets and, in particular, establish an isoperimetric-type inequality relating the perimeter and area of a region bounded by a simple smooth convex closed curve (an oval) $\mathcal{O}$: \[ L_{\mathcal{O}}^2 - 4πA_{\mathcal{O}} \geqslant 4π|A_{\mathcal{P}_k}| + 2π|A_{Ω_{\mathcal{O},k}}|, \] where $L_{\mathcal{O}}$ denotes the length (perimeter) of $\mathcal{O}$, $A_{\mathcal{O}}$ is the area of the region enclosed by $\mathcal{O}$, $A_{\mathcal{P}_k}$ is the oriented area of the associated $k$th Order Preserving Set $\mathcal{P}_k$, and $A_{Ω_{\mathcal{O},k}}$ is the oriented area of the associated $k$th Order Midpoint Set $Ω_{\mathcal{O},k}$. Moreover, we characterize the equality case: the inequality becomes an equality if and only if every equiangular circumscribed $k$-gon around $\mathcal{O}$ is a~regular $k$-gon with its center of mass located at the Steiner point of $\mathcal{O}$.

Geodesic X-ray transform and streaking artifacts on simple surfaces or on spaces of constant curvature

2026-02-24T05:38:02Z

The X-ray transform on the plane or on the three-dimensional Euclidean space can be considered as the measurements of CT scanners for normal human tissue. If the human body contains metal regions such as dental implants, stents in blood vessels, metal bones, etc., the beam hardening effect for the energy level of the X-ray causes streaking artifacts in its CT image. More precisely, if there are two strictly convex metal regions contained in the cross-section of normal human tissue, then streaking artifacts occur along the common tangent lines of the two regions. In this paper we study the geodesic X-ray transform and streaking artifacts on nontrapping simple compact Riemannian manifolds with strictly convex boundaries. We show that the streaking artifacts result from the propagation of conormal singularities on the boundary of metal regions along the common tangent geodesics under the strong and seemingly strange assumption that the manifolds are two dimensional or spaces of constant curvature. This condition ensures that every Jacobi field takes the form of the product of a scalar function and parallel transport along the geodesic. Our results clarify the geometric meaning of the theory, which was imperceptible in the known results on the Euclidean space.

Optimal inequalities involving Casorati curvatures along Riemannian maps and Riemannian submersions for quaternionic space form

2026-02-24T04:57:04Z

In this paper, we establish Casorati inequalities for Riemannian maps and Riemannian submersions involving quaternionic space forms, and we provide geometric characterisations of their equality cases. First, we derive Casorati inequalities for Riemannian maps to quaternionic space forms and describe the corresponding equality cases, showing that the leaves of the range space are invariantly quasi-umbilical, and that the associated shape operator matrix commutes. Next, we obtain Casorati inequalities involving the fundamental tensor fields $T$ and $A$ for Riemannian submersions from quaternionic space forms onto Riemannian manifolds, together with their geometric interpretations. In particular, we prove that the equality case corresponding to the tensor field $A$ along the horizontal distribution is equivalent to the integrability of the horizontal distribution. Moreover, the equality case associated with the tensor field $T$ along the vertical distribution characterises fibres that are invariantly quasi-umbilical with a commuting shape operator matrix. Finally, the simultaneous equality cases involving both tensor fields $T$ and $A$ along the horizontal and vertical distributions imply the integrability of the horizontal distribution together with the invariantly quasi-umbilical nature of the fibres and the commutativity of the corresponding shape operators.

Asymptotic geometric regularity of CAT(0) spaces

2026-02-24T04:20:13Z

We prove that if an n-dimensional geodesically complete CAT(0) space has Tits boundary sufficiently close to the (n-1)-dimensional standard unit sphere, then it is bi-Lipschiz homeomorphic to the n-dimensional Euclidean space. As an application, we conclude that if an (n-1)-dimensional geodesically complete CAT(1) space is sufficiently close to the (n-1)-dimensional standard unit sphere, then they are bi-Lipschiz homeomorphic to each other.

Non-collapsing volume estimate for local Kähler metrics in big cohomology classes

2026-02-24T03:29:30Z

We prove a uniform local non-collapsing volume estimate for a large family of singular metrics in the big cohomology classes, which are Kähler on an open Euclidean subset of the manifold. The key ingredient is a generalization of a mixed energy estimate for functions in the complex Sobolev space to the setting of big cohomology classes.

Projective bundles that admit coupled Kähler-Einstein metrics but no Kähler-Einstein metrics

2026-02-24T02:33:04Z

Using Hultgren's polytope formulation of the existence of coupled Kähler-Einstein (cKE) metrics on toric Fano manifolds, we construct explicit higher-dimensional toric Fano manifolds that admit two coupled Kähler-Einstein metrics but no ordinary Kähler-Einstein metrics. In particular, we exhibit such examples among certain projective bundles over products of projective spaces. Motivated by these constructions, we conjecture that examples of this type exist in all dimensions $n\geq 4$.

Morita equivalence of Nijenhuis structures

2026-02-23T23:26:28Z

We introduce Morita equivalence for Nijenhuis groupoids and for their infinitesimal counterparts, establishing a global-to-infinitesimal correspondence under the Lie functor. A special case is that of holomorphic Lie groupoids and algebroids. We use our framework to enhance the known Morita equivalences for quasi-symplectic groupoids and Dirac structures with compatible Nijenhuis structures.

Rigidity of Spectral Encodings under Weyl Growth Conditions

2026-02-23T22:19:24Z

We prove that the geometric Weyl bulk-density exponent $(d-2)/2$ rigidifies spectral encodings $C=π-φ(λ)$ in the O-regularly varying class: the bulk power law forces $φ\in\mathrm{RV}_1$ (asymptotic linearity). For polynomial-type encodings $C=π-ελ^k L(λ)$ with $L\in\mathrm{RV}_0$, this yields the unique admissible exponent $k=1$. The affine encoding then gives $N_{μ_C}(C)\simγ_d\,ε^{-d/2}(π-C)^{d/2}$ as $C\to-\infty$, allowing recovery of $d$ and $γ_d$ from bulk encoded data. This transfer is stable under perturbations $δ(λ)=o(λ)$, with explicit slowly varying error control. We further formalize asymptotic spectral equivalence classes: if $φ\in\mathrm{RV}_k$, the induced map scales asymptotic spectral dimension as $d_{\mathrm{as}}\mapsto d_{\mathrm{as}}/k$; hence dimension preservation is equivalent to $φ\in\mathrm{RV}_1$, with strict affine normalization at first order when $L(λ)\to1$.

$C^0$-Poisson geometry, coisotropic submanifolds, and clean intersection points

2026-02-23T22:02:03Z

In this work, we initiate the study of rigidity and non-rigidity phenomena for Poisson homeomorphisms, defined as uniform $C^0$-limits of Poisson diffeomorphisms. First, we prove that Poisson homeomorphisms preserve the singular symplectic foliation: they map symplectic leaves to symplectic leaves by symplectic homeomorphisms. Second, we establish the $C^0$-rigidity of coisotropic submanifolds in Poisson manifolds. A key ingredient is the notion of ''clean intersection point'' between a submanifold and the leaves of a singular foliation, whose study is of independent interest for singular foliation theory and Poisson geometry. In contrast with the symplectic case, characteristic foliations of coisotropic submanifolds are not rigid under Poisson homeomorphisms, exhibiting flexibility phenomena specific to the Poisson setting. We discuss partial rigidity results, introduce a topological invariant of coisotropic submanifolds, the $C^0$-characteristic partition, and show that $C^0$-coisotropic submanifolds are non-smooth objects whose vanishing ideal defines a Lie subalgebra of the Poisson algebra. Finally, we consider Poisson homeomorphisms that lift to symplectic homeomorphisms of a symplectic realization and show that nearly all Poisson manifolds admit non-liftable Poisson homeomorphisms. Our main results answer three questions posed by Joksimović and Mărcuţ.

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.