Search arXivSearch

arXiv · 2509.02002

Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

Abstract

We study symplectic groups and indefinite orthogonal groups over involutive, possibly noncommutative, algebras $(A, σ)$. In the case when the algebra $(A, σ)$ is Hermitian, or the complexification $(A_{\mathbb C}, σ_{\mathbb C})$ of a Hermitian involutive algebra, one can identify maximal compact subgroups of such groups, and consider their associated Riemannian symmetric spaces. This new perspective allows for the realization of various geometric models for the symmetric space. We describe explicitly the complexified tangent space for each of the models, as well as the diffeomorphisms between them and their differentials. In the second part of the article, we give a number of applications of this theory. The geometric realizations of the Riemannian symmetric spaces described in the first part provide new geometric interpretations of Higgs bundle data that can be used for the study of fundamental group representations into symplectic or into indefinite orthogonal groups over Hermitian involutive algebras. We give an exact component count for the moduli spaces of $\rm{Sp}_2(A_{\mathbb C}, σ_{\mathbb C})$-Higgs bundles and of $\rm O(A_{\mathbb C}, σ_{\mathbb C})$-Higgs bundles, using the topology of the corresponding maximal compact subgroups rather than Morse-Bott theory techniques. Furthermore, we use the noncommutative symmetric-space models to construct a factorization of the Hitchin morphism for $\rm{Sp}_2(A_{\mathbb C},σ_{\mathbb C})$-Higgs bundles, together with analogous factorizations for the real groups $\rm{Sp}_2(A,σ)$ and $\rm O_{(1,1)}(A,σ)$. These factorizations are induced by quadratic norm maps from the corresponding tangent models to Jordan-algebraic targets and pass through intermediate affine GIT quotients. As a consequence, they reduce the algebraic complexity required in order to characterize the Hitchin base explicitly.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pengfei Huang, Georgios Kydonakis, Eugen Rogozinnikov, Anna Wienhard. 2026-06-11. Symmetric spaces for groups over involutive algebras and applications to Higgs bundles. https://arxiv.org/abs/2509.02002

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Ancient mean curvature flow asymptotic to a minimal quadratic cone

In this paper, we prove that a smooth, properly embedded ancient mean curvature flow that is asymptotic to an $O(n)\times O(m)$ symmetric minimal quadratic cone for $n +m \geq 10$, and lies on one side of the cone has to have unique asymptotics in the parabolic region. When additionally assuming mean convexity, we upgrade unique asymptotics to full uniqueness, and show that such flow has to be a stationary flow given by one of the leaves of the Hardt-Simon foliation. This is the first rigidity/unique asymptotics theory for ancient mean curvature flow with a $\textbf{singular minimal cone as the asymptotic model}$.

math.DG

Log-Concavity of First Dirichlet Eigenfunctions on $\mathbb{CP}^2$

We study the log-concavity property of first Dirichlet eigenfunctions on domains in $\mathbb{CP}^2$. For every smooth $1$-convex domain $Ω\subset\mathbb{CP}^2$, we prove the quantitative estimate \[ \nabla^2(-\log u) > \max\left\{ψ(s),\frac85\right\}g, \text{ where } ψ(|\grad f|^2) = \frac{s}{\sqrt{1+s}}-\log(1+s), \] for its first Dirichlet eigenfunction $u$. In particular, $u$ is strictly log-concave. As consequences, we obtain a uniform convexity estimate for the regular level sets of $u$ and the fundamental gap bound $λ_2-λ_1>46/5$.

math.DG

Pólya--Szegö Inequality on Submanifolds of Riemannian Manifolds with Nonnegative Curvature and Applications

We prove a Pólya--Szegö inequality for functions defined on an $n$-dimensional submanifold $Σ$ of a complete noncompact Riemannian manifold with nonnegative sectional curvature. The associated rearrangement is a Schwarz rearrangement on $\mathbb R^n$, and the constant depends on the $L^n$-norm of the mean curvature of $Σ$ and an isoperimetric quantity obtained by Brendle. As applications, we derive Sobolev, Log-Sobolev, Hardy, and Gagliardo--Nirenberg inequalities on submanifolds of arbitrary codimension under a small total mean curvature assumption. In the critical Sobolev case, we obtain Moser--Trudinger inequalities on finite-volume submanifolds and exact growth inequalities on submanifolds with infinite volume. Under suitable assumptions, the Pólya--Szegö constant equals one; in this case, the critical constants in the inequalities coincide with the sharp Euclidean ones.

math.DG