Odd Extended Magical Triple

• Odd extended magical triples are specialized sl₂-triples that generalize traditional magical triples to nontube-type Hermitian Lie algebras with distinct sign rules.
• They are defined through an extended involution that governs even-weight spaces, while odd-weight summands do not fully adhere to the magical sign condition.
• Their classification underpins the explicit realization of maximal Higgs bundle moduli spaces via the Slodowy slice and Cayley correspondence.

An odd extended magical triple is a specialized type of $\mathfrak{sl}_2$–triple that appears in the context of nontube type Hermitian Lie algebras and plays a crucial role in the structure of maximal Higgs bundle moduli spaces. This notion generalizes the “magical” $\mathfrak{sl}_2$–triples of Bradlow–Collier–García-Prada–Gothen–Oliveira, extending their reach beyond the even-weight, tube-type classification and providing an explicit realization of maximal components for nontube Hermitian $G^\mathbb{R}$ via the Slodowy slice and the Cayley correspondence (Hsiao, 24 Jan 2026).

1. Definition and Structure

Let $\mathfrak{g}$ be a complex simple Lie algebra and consider an ordinary $\mathfrak{sl}_2$–triple $$\rho:\mathfrak{sl}_2(\mathbb{C})\hookrightarrow\mathfrak{g}$$ generated by elements $\{e, h, f\}$ satisfying $[h,e]=2e,\ [h,f]=-2f,\ [e,f]=h$. The adjoint action $\mathrm{ad}_h$ decomposes $\mathfrak{g}$ into eigenspaces $\mathfrak{g}=\bigoplus_{j=-m}^m \mathfrak{g}_j$ with $\mathfrak{g}_j = \{X\mid [h,X]=jX\}$, and as an $\mathfrak{sl}_2$–module, into irreducible summands $W_j \cong (j+1)$–dimensional irreps.

The centralizer of $\{e,h,f\}$ in $\mathfrak{g}$ is denoted $\mathfrak{c}=V_0$, where $V_j\subset W_j$ are highest-weight lines. One introduces a vector-space involution $\sigma:\mathfrak{g}\to\mathfrak{g}$, the "extended magical involution," defined by:

• $\sigma|_{\mathfrak{c}} = +1$ (fixing the centralizer),
• $$\sigma\bigl((\mathrm{ad}_f)^k(V_{2j})\bigr) = (-1)^{k+1}\,\mathrm{Id}$$ for $j\ge 1$ (even weights),
• On odd-weight summands $W_{2j+1}$, $\sigma$ is involutive but otherwise arbitrary.

An $\mathfrak{sl}_2$–triple $\rho$ is called extended magical if such a $\sigma$ exists. If $\sigma$ extends to all weights (even and odd), $\rho$ is an "even" extended magical triple; otherwise, if the sign rule applies only to the even weights and cannot be extended, $\rho$ is "odd" extended magical.

For a real form $G^\mathbb{R}\subset G$ with Cartan involution $\sigma$, a real $\mathfrak{sl}_2$–triple $$\hat\rho:\mathfrak{sl}_2(\mathbb{R})\to\mathfrak{g}^\mathbb{R}$$ is called extended magical if its Cayley transform $\rho$ is extended magical as above with $\mathfrak{g}^\mathbb{R}$ the fixed-point set of $\sigma$.

2. Even versus Odd Extended Magical Triples

The dichotomy between even and odd extended magical triples is rooted in the behavior of the involution $\sigma$:

• Even extended magical triples: $\sigma$ satisfies the sign rule on all weight spaces, both even and odd. These coincide with the previously studied magical triples, implying all eigenvalues of $\mathrm{ad}_h$ are even.
• Odd extended magical triples: $\sigma$ satisfies the sign rule only on the even-weight summands and cannot be extended to a full magical involution on the odd weights.

A numerical criterion for oddness (Proposition 3.2 (Hsiao, 24 Jan 2026)): $$\mathfrak{c} \subset \mathfrak{h}, \quad \dim\mathfrak{m} - \dim\mathfrak{h} = \dim\mathfrak{g}_0 - 2\dim\mathfrak{c}$$ where $$\mathfrak{g}^\mathbb{R} = \mathfrak{h} \oplus \mathfrak{m}$$ is the Cartan decomposition. The odd case arises precisely when not all $\mathrm{ad}_h$–eigenvalues are even.

3. Classification of Odd Extended Magical Triples

Odd extended magical $\mathfrak{sl}_2$–triples occur uniquely in three nontube-type Hermitian real forms, classified up to Weyl conjugacy by specific Dynkin diagram data. The relevant Cayley transforms $\rho$ correspond to the following cases:

Real Form $\mathfrak{g}^\mathbb{R}$	Complex Lie Algebra $\mathfrak{g}$	Weighted Dynkin Diagram for $\rho$
$\mathfrak{su}(p,q)$ ($q>p$)	$\mathfrak{sl}_{p+q}\mathbb{C}$	Marked $A_{p+q-1}$ with $1$ at the $p$-th node
$\mathfrak{so}^*_{4n+2}$	$\mathfrak{so}_{4n+2}\mathbb{C}$	Marked $D_{2n+1}$ at two spin nodes
$E_6^{-14}$	$E_6$	Marked $E_6$ at nodes $1,5$

In all cases, the centralizer $\mathfrak{c}$ lies in the compact part $\mathfrak{h}$, the numerical criterion holds, and it is verified that the triple cannot be made magical on the odd summands. Thus, these three cases exhaust the possibilities for odd extended magical triples [(Hsiao, 24 Jan 2026), Theorem 3.6].

4. Slodowy Slice and Maximal Components in Higgs Bundle Theory

Let $\rho$ be the Cayley transform of an odd magical $\hat\rho$ for a real form $G^\mathbb{R}$. The Slodowy category $\mathcal{B}_\rho(G)$ consists of tuples $\bigl(E_C, \varphi_C; \{\varphi_j\}\bigr)$, where $E_C$ is a $C$-Higgs bundle and $\varphi_j\in H^0(X, E_C[V_j]\otimes K)$. The associated Slodowy map,

$$\hat\Psi_\rho : \mathcal{B}_\rho(G) \longrightarrow \mathcal{H}(G), \quad \bigl(E_C, \varphi_C; \{\varphi_j\}\bigr) \mapsto (E_G, f+\varphi_C + \sum_j \varphi_j),$$

descends to the moduli $\mathcal{M}(G^\mathbb{R})$ by restricting to $\mathcal{H}(G^\mathbb{R})$. The image, called the Slodowy slice $$\mathrm{Slo}_\rho \subset \mathcal{M}(G^\mathbb{R})$$, is characterized as follows:

Theorem 5.1: For odd extended magical triples of nontube Hermitian $G^\mathbb{R}$,

$$\mathrm{Slo}_\rho = \mathcal{M}_{\max}(G^\mathbb{R}) \subset \mathcal{M}(G^\mathbb{R}),$$

that is, $\mathrm{Slo}_\rho$ coincides with the maximal (Toledo invariant) components. Every point in $\mathrm{Slo}_\rho$ has Toledo invariant $$\tau = \pm \mathrm{rk}(G^\mathbb{R}/H^\mathbb{R})(2g-2)$$; conversely, every maximal stable $G^\mathbb{R}$–Higgs bundle reduces to the Slodowy form for some $\rho$ [(Hsiao, 24 Jan 2026), Theorem 5.1].

5. Geometric Characterization and the Cayley Correspondence

Under the assumption of large genus $g = \mathrm{genus}(X)$, the geometry of the Slodowy slice and its relation to extended magical triples exhibit rigidity:

• If $\hat\rho$ is extended magical, then $$\mathrm{Slo}_\rho \subset \mathcal{M}(G^\mathbb{R})$$ is both open and closed, forming a union of connected components.
• Conversely, if $g \ge 2\dim_\mathbb{R} (G^\mathbb{R})^2$ and $\mathrm{Slo}_\rho$ is a union of components, then $\hat\rho$ is necessarily extended magical.

Thus, for sufficiently large genus, the property “$\mathrm{Slo}_\rho$ is a union of components” is equivalent to “$\rho$ is extended magical” [(Hsiao, 24 Jan 2026), Theorem 6.1].

The Cayley correspondence for nontube-type Hermitian groups establishes a structure theorem for maximal Higgs bundles. Let $\tilde G^\mathbb{R} \subset G^\mathbb{R}$ be the semisimple part of the Cayley real form of $\mathfrak{g}_0$ and $\mathcal{C}=C\cap G^\mathbb{R}$ its maximal compact. The restricted Slodowy map induces an injective, open, and closed morphism: $\Psi_\rho: \mathcal{M}_{K^2}(\tilde G^\mathbb{R}) \times H^0(X,K) \longhookrightarrow \mathcal{M}_{\max}(G^\mathbb{R}) \subset \mathcal{M}(G^\mathbb{R}),$ showing that all maximal $G^\mathbb{R}$–Higgs bundles are obtained from a $\tilde G^\mathbb{R}$–Higgs bundle and a section in $H^0(K)$. This realization completes the “magic $\to$ Cayley correspondence” paradigm for maximal components, now covering the nontube case via odd extended magical triples [(Hsiao, 24 Jan 2026), Theorem 7.1].

6. Significance and Broader Context

Odd extended magical triples resolve the previously open question regarding the nature of maximal components in the Higgs bundle moduli space for nontube-type Hermitian groups. Their explicit classification and the identification of their Slodowy slices as precisely the maximal Toledo components provide a unified framework linking the algebraic data of $\mathfrak{sl}_2$–triples, moduli space geometry, and representation theory. The Cayley correspondence for these odd cases demonstrates that the maximal components universally admit a uniform description, extending the reach of the magic $\to$ Cayley framework beyond the even (tube-type) regime (Hsiao, 24 Jan 2026).