Search arXivSearch

arXiv · 2504.04396

Sporadic Isogenies to the Quaternionic Orthogonal Groups $\operatorname{SO}^*(2n)$

Abstract

For small dimensional Lie algebra's there are many so-called accidental isomorphisms which give rise to double covers of special orthogonal groups - Spin groups - which happen to coincide with groups already belonging to another classification. The well known catalog of these sporadic isogenies given by Dr. Paul Garrett keeps track of these facts for the complex orthogonal groups $\operatorname{SO}(n, \mathbb{C})$, and those real forms which are manifestly real: $\operatorname{SO}(p,q)$, while avoiding the quaternionic real forms, $\operatorname{SO}^*(2n)$. This article serves to complement and complete the existing catalog by presenting the sporadic isogenies to the first four quaternionic orthogonal groups in one place, with contemporary proofs of those group and algebra homomorphisms. A review of the definition of $\operatorname{SO}^*(2n)$ is presented in a modern notation, emphasizing the concept of `quaternion reversion' as a useful, albeit redundant, second conjugation upon quaternions, helping to explicate the self-conjugacy of quaternionic representations. Lastly, the triality of $\operatorname{SO}^*(8)$ is explored in a similar manner to work done by the author previously.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Craig McRae. 2025-04-08. Sporadic Isogenies to the Quaternionic Orthogonal Groups $\operatorname{SO}^*(2n)$. https://arxiv.org/abs/2504.04396

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

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT