On the generalized of $p$-biharmonic and bi-$p$-harmonic maps

2026-03-06T10:41:11Z

In this note, we extend the definition of $p$-biharmonic and bi-$p$-harmonic maps between two Riemannian manifolds and explore some of their properties.

Remarks on constructing biharmonic and conformal biharmonic maps to spheres

2026-03-06T08:05:57Z

Biharmonic and conformal-biharmonic maps are two fourth-order generalizations of the well-studied notion of harmonic maps in Riemannian geometry. In this article we consider maps into the Euclidean sphere and investigate a geometric algorithm that aims at rendering a given harmonic map either biharmonic or conformally biharmonic. For biharmonic maps we find that in the case of a closed domain the maximum principle imposes strong restrictions on our approach, whereas there is more flexibility when we have a non-compact domain and we highlight this difference by a number of examples. Concerning conformal-biharmonic maps we show that our algorithm produces explicit critical points for maps between spheres. Moreover, it turns out that we do not get strong restrictions as we obtain for biharmonic maps, such that our algorithm might produce additional conformal-biharmonic maps between spheres beyond the ones found in this article.

Metrical Distortion, Exterior Differential and Gauss's Lemma

2026-03-06T07:26:27Z

Gauss's Lemma is revised by showing that the point set association of the double tangential space with the tangential space of a Riemannian manifold is not the identity. The latter point set association is called a metrical distortion, an isometry that actually induces the geometry. The defnition of the exterior differential, which linearizes a mapping that points on the top of a Riemannian manifold, is worked out concretely by covariant gradient transport, what includes a differential slip in contrast to inner differentials. A differential slip is a scalar gauge theory that considers the reparametrization of different length scales. The metrical distortion is determined by geodesically radial volume preservation, whereas the Riemannian exponential mapping is determined by geodesically radial length preservation. The theory is exemplifed by the exterior geometry of the 2-sphere.

Sobolev mappings of Euclidean space and product structure

2026-03-06T07:22:24Z

We consider bounded open connected sets $Ω_1, Ω_2 \subset \mathbb{R}^n$ and Sobolev maps $f: Ω_1 \times Ω_2 \subset \mathbb{R}^n \times \mathbb{R}^n$, such that for almost every $x \in Ω_1 \times Ω_2$ the weak differential $\nabla f(x)$ is invertible and preserves or swaps the spaces $\mathbb{R}^n \times \{0\}$ and $\{0\} \times \mathbb{R}^n$. We show that if $n \ge 2$ and $f \in W^{1,2}$ then $f$ is split, i.e., $f(x_1, x_2) = (f_1(x_1), f_2(x_2))$ or $f(x_1, x_2) = (f_2(x_2), f_1(x_1))$. We also show that this conclusion fails in general for $n=1$, even if we assume in addition that $f$ is bi-Lipschitz and area preserving. These results complement our previous work https://arxiv.org/abs/2403.20265, where we showed that the conclusion fails for $n \ge 2$ if the Sobolev space $W^{1,2}$ is replaced by $W^{1,p}$ for any $p < 2$. We also discuss results for approximately split maps, i.e. for sequences of maps $f_k$ such that $\nabla f_k$ approaches the set of linear invertible split maps in suitable $L^p$ spaces. This work is partly motivated by the question whether Sobolev maps defined on products of Carnot groups are split.

A Note on Hodge theoretic anabelian geometry

2026-03-06T07:04:52Z

Grothendieck's anabelian conjectures predict that certain classes of varieties over number fields are largely determined by their {é}tale fundamental groups. A theorem of Mochizuki shows that for hyperbolic curves over number fields or $p$-adic fields, dominant morphisms bijectively correspond to open homomorphisms between their {é}tale fundamental groups. Motivated by non-abelian Hodge theory, we formulate a Hodge-theoretic version of the anabelian conjecture in which the Galois action is replaced by the natural $\mathbb{C}^\times$-action on the pro-algebraic completion of the fundamental group arising from non-abelian Hodge theory. In particular, we prove a Hodge-theoretic analog of Mochizuki's theorem for smooth projective hyperbolic curves over $\mathbb{C}$. We also obtain a higher-dimensional analogue for complex hyperbolic manifolds of ball quotient type and discuss possible extensions to non-$K(π,1)$ spaces replacing fundamental groups by homotopy types.

$L^p$-Sobolev inequalities on minimal submanifolds

2026-03-06T05:42:47Z

The paper is devoted to proving Allard-Michael-Simon-type $L^p$-Sobolev inequalities $(p>1)$ with explicit constants in the setting of Euclidean minimal submanifolds of arbitrary codimension. Our results require separate discussions for the cases $p\geq 2$ and $1

Twists, Codazzi Tensors, and the $6$-sphere

2026-03-06T00:50:15Z

Let $(M,g,J,ω)$ be an almost Hermitian manifold. Given an automorphism $ψ\in \mathrm{Aut}(TM)$, the existing structure can be twisted to obtain a new almost Hermitian manifold $(M,g^ψ,J^ψ,ω^ψ)$. In the current paper, we study these $ψ$-twisted almost Hermitian structures with particular emphasis on questions regarding the integrability of $J^ψ$ and the Riemannian geometry of $g^ψ$. By studying the latter, we identity a certain class of $\mathrm{Aut}(TM)$ with nice transformation properties. We call these automorphisms $g$-\textit{Codazzi maps} because of their close relationship with Codazzi tensors. The aforementioned results are ultimately applied to the standard nearly Kähler structure on the $6$-sphere where we prove a nonintegrability result for the class of $g$-Codazzi maps.

Lipschitz Bounds and Uniform Convergence for Sequences of Bounded Rough Riemannian Metrics

2026-03-05T20:42:15Z

Here we study what we call bounded rough Riemannian metrics $(M,g)$, which are positive definite, symmetric tensors on each tangent space, $T_pM$, which are bounded and measurable as functions in coordinates. This is enough structure to study the length space given by taking the infimum of the length of all piecewise smooth curves connecting points $p,q \in M$. The goal is to find the weakest conditions one can place on $g$ which can guarantee Lipschitz or uniform bounds from above and below. For each condition, an example is given showing that the condition cannot be weakened any further which also explores the geometric intuition.

Spectral-Geometric Deformations of Function Algebras on Manifolds

2026-03-05T19:32:07Z

We introduce an intrinsic deformation of the algebra of smooth functions on a compact Riemannian manifold using only the Laplace spectral decomposition. The construction twists the canonical multiplication-projection channels by unimodular phases, producing a well-defined bilinear product on the finite spectral core with values in $L^2(M)$. We give a simple condition for compatibility with complex conjugation and isolate a Sobolev boundedness hypothesis under which the product extends to a Sobolev algebra and admits iteration; in that setting, associativity is equivalent to an explicit identity for the twisted spectral channels. We analyze gauge and coboundary aspects for scalar twists and obtain rigidity statements in the action-free regime. We also compare with classical strict deformation frameworks arising from actions of locally compact abelian groups -- Rieffel's deformation for $\mathbb{R}^d$-actions, Connes-Landi's torus isospectral deformations, and Kasprzak's cocycle deformation via Landstad theory -- showing that, when the relevant abelian group action has a discrete spectral decomposition (in particular, in the compact abelian/periodic case where the algebra decomposes into homogeneous subspaces indexed by characters of the acting group), their deformed products are recovered uniformly as refined instances of our channel twist. Finally, we formulate a grading-based obstruction and classification for graded scalar twists.

Obata's rigidity theorem in free probability

2026-03-05T18:36:43Z

We establish a free analogue of Obata's rigidity theorem. More precisely, Cheng and Zhou (2017) proved that on a weighted Riemannian manifold, the sharp spectral gap (Poincaré constant) is achieved only when the space splits isometrically off a one-dimensional Gaussian factor, providing an infinite-dimensional counterpart of Obata's rigidity theorem. We obtain the corresponding phenomenon in free probability, extending it beyond the setting of analytic self-adjoint potentials: Assume a self-adjoint $n$-tuple $X=(X_1,\dots,X_n)$ admits Lipschitz conjugate variables in the sense of Dabrowski (2014). Under a suitable non-commutative curvature-dimension condition, we show that any non-zero saturator of Voiculescu's free Poincaré inequality must be an affine function of the generators. Consequently, we deduce that the von Neumann algebra $M=W^*(X_1,\dots,X_n)$ necessarily splits off a freely complemented semicircular component $W^*(Y_1)\simeq L^{\infty}([-2,2],μ_{\rm sc})$, which is also maximal amenable in $M$. More generally, whenever the first eigenspace of the free Laplacian $Δ=\partial^*\bar\partial$ is finite-dimensional of rank $r\ge 1$, our rigidity argument shows that these $r$ extremal directions form a free semicircular family, yielding a free product decomposition with an $L(\mathbb{F}_r)$ factor. This provides a free-probability analogue of the classical Gaussian splitting phenomenon and reveals a rigidity mechanism under non-commutative curvature.

Twisted dynamical zeta functions and the Fried's conjecture

2026-03-05T16:51:36Z

This is a survey article on the twisted dynamical zeta functions of Ruelle and Selberg and the Fried's conjecture. It is based on the mini-course: "Twisted Ruelle zeta function, complex-valued analytic torsion and the Fried's conjecture", given by the author during the thematic trimester programme: "Representation Theory and Noncommutative Geometry" at the Institut Henri Poincaré.

The Extra Vanishing Structure and Nonlinear Stability of Multi-Dimensional Rarefaction Waves: The Geometric Weighted Energy Estimates

2026-03-05T16:13:28Z

We study the resolution of discontinuous singularities in gas dynamics via multi-dimensional rarefaction waves. While the mechanism is well-understood in one spatial dimension, the rigorous construction in higher dimensions has remained a challenging open problem since Majda's proposal, primarily due to the characteristic nature of rarefaction fronts which leads to derivative losses in linearized estimates. In this paper, we establish the nonlinear stability of multi-dimensional rarefaction waves for the compressible Euler equations with ideal gas law. We prove that for initial data being small perturbations of the planar rarefaction wave in $H^s$ ($s > s_c$), there exists a unique global solution that converges asymptotically to the background rarefaction wave as $t \to \infty$. Our proof relies on a novel Geometric Weighted Energy Method (GWEM), which yields stable energy estimates without loss of derivatives in standard Sobolev spaces, overcoming the limitations of previous Nash-Moser schemes. A key ingredient is a detailed geometric description of the rarefaction wave fronts via the acoustical metric, where we identify a hidden extra vanishing structure in the top-order derivatives of the characteristic speed. This is the first paper in a series, providing the crucial a priori energy bounds. The existence of solutions and applications to the multi-dimensional Riemann problem will be addressed in the forthcoming companion paper.

Counting surface subgroups in cusped hyperbolic 3-manifolds

2026-03-05T15:58:15Z

Let $M =\mathbb{H}^3/Γ$ be a finite-volume, noncompact hyperbolic 3-manifold. We show that the number of quasi-Fuchsian surface subgroups of $Γ$ (up to conjugacy and commensurability) of genus at most $g$ is bounded both above and below by functions of the form $(cg)^{2g}$. As a corollary, for all $h\geq 4$, the number of purely pseudo-Anosov closed surface subgroups of genus at most $g$ of the mapping class group $\mathrm{Mod}(S_{h,0})$ is bounded below by $(Cg)^{2g}$ for a universal constant $C$. In contrast, for some $g \geq 2$, we construct infinitely many conjugacy classes of genus-$g$ surface subgroups of $Γ$ with accidental parabolics.

Ultralimits of Sobolev maps and stability of Dehn functions

2026-03-05T14:59:37Z

We show that the ultralimit of a bounded sequence of Lipschitz maps into pointed metric spaces extends naturally to $p$-bounded sequences of Sobolev maps and that this ultralimit for Sobolev maps enjoys desirable properties. We use this to prove the stability of Dehn functions under ultraconvergence of pointed length spaces, thus resolving a problem posed by several researchers in the field. As an application, we obtain a simpler proof of a recent result of Stadler--Wenger, previously proved in the locally compact case by Lytchak--Wenger, characterizing spaces of curvature bounded above by $κ$ via an isoperimetric inequality for curves.

Estimates of eigenvalues of elliptical differential problems in divergence form

2026-03-05T14:58:58Z

In this paper, we compute universal estimates of eigenvalues for a class of coupled systems of elliptic differential equations in divergence form on a bounded domain in Euclidean space, which includes the well-known Lamé and the Laplacian operator. Furthermore, we also give universal estimates of eigenvalues for a class of fourth-order elliptic differential problems in divergence form, which encloses the well-known bi-Laplacian operator. In both cases, as applications, we obtain the gap between consecutive eigenvalues as well as an upper bound for each eigenvalue.