Spin–Space Group Formalism

• Spin–space group formalism is a mathematical framework that decouples spatial and spin symmetries to comprehensively characterize collinear, coplanar, and noncoplanar magnetic orders.
• It employs group extensions and real orthogonal representations to enumerate thousands of distinct magnetic configurations across different spin classes.
• The formalism underpins predictions of magnon and electronic band topology, tensor invariances, and SOC-related phenomena in advanced magnetic materials.

A spin–space group (SSG) is a mathematical structure that systematically encodes the combined symmetries of lattice (spatial) and internal spin degrees of freedom in magnetic systems. Unlike conventional magnetic space groups (MSGs), SSGs allow spin rotations to be decoupled from spatial symmetries, enabling a complete description of collinear, coplanar, noncollinear, and incommensurate magnetic structures in the absence (or in the weak-coupling limit) of spin-orbit coupling (SOC). This formalism is vital for classifying magnetic orders, predicting tensor properties, understanding magnon and electronic band topology in magnetic crystals, and distinguishing SOC-driven phenomena in magnetic materials (Jiang et al., 2023, Xiao et al., 2023, Etxebarria et al., 6 Feb 2025).

1. Mathematical Foundations

SSG elements are pairs $\{U \parallel R|\tau\}$, where $R$ (with translation $\tau$) is a real-space operation acting on $\mathbb{R}^3$, and $U \in O(N)$, with $N=1,2,3$, is a proper or improper rotation (or spin inversion) acting in internal spin space. The action on a configuration $(\mathbf{x}, \mathbf{s})$ is given by

$$(R|\tau, U):\; (\mathbf{x}, \mathbf{s}) \mapsto (R\mathbf{x}+\tau,\, U\mathbf{s})$$

with composition law

$$(R|\tau, U)\cdot (R'|\tau', U') \;=\; (RR'|R\tau'+\tau,\, UU').$$

The identity is $(I|0,I)$ and the inverse is $(R|t,S)^{-1} = (R^T| -R^T t, S^T)$ (Jiang et al., 2023, Xiao et al., 2023).

This group product forms a subgroup of the semidirect product $P \ltimes O(N)$, where $P$ is the parent crystallographic space group. The spin part $U$ yields a real $O(N)$ representation:

$$\rho: P \to O(N), \qquad (R|\tau) \mapsto U = \rho(R|\tau)$$

subject to $$\rho( RR'| R\tau'+\tau ) = \rho(R|\tau)\rho(R'|\tau')$$.

For systems with negligible SOC, this structure captures the essential physics of the spin lattice, while for nonzero SOC, SSGs describe approximate symmetries and identify features that are robust or sensitive to SOC (Etxebarria et al., 6 Feb 2025, Xiao et al., 2023).

2. Classification and Enumeration of Spin–Space Groups

SSGs are classified through group extension and real orthogonal representations. The procedure involves:

1. Parent Space Group Selection: Start from one of the 230 crystallographic space groups $G_0$.
2. Invariant Subgroup $L_0$: Choose a normal subgroup $L_0 \triangleleft G_0$ encoding the symmetries preserved by the spin configuration, respecting translation index $i_k = |T(G_0)/T(L_0)|$ (e.g., $i_k \leq 8$ or $12$ for practical enumeration).
3. Quotient Construction and Representation: Form the finite quotient $Q = G_0 / L_0$. Identify all inequivalent real $N$-dimensional orthogonal representations $Q \to O(N)$, reflecting allowed spin patterns.
4. Spin-Only Subgroup: Identify and factor out the continuous or discrete spin symmetry subgroup $G_{so}$ (e.g., $O(2)$ for collinear, $Z_2$ for coplanar, trivial for general noncoplanar).
5. Complete Group: The full SSG is a nontrivial extension

$1 \to G_{so} \to G_{ss} \to G_r \to 1,$

where $G_r$ is a subgroup of the real-space SG, and $G_{so}$ is the spin-only part (Jiang et al., 2023, Chen et al., 2023).

Enumeration yields (using $N=1,2,3$ for collinear, coplanar, and non-coplanar):

• 1421 collinear SSGs,
• 9542 coplanar SSGs,
• 56,512 noncoplanar SSGs (Xiao et al., 2023), or, for unit cells up to 12-fold,
• 1,421 collinear, 24,788 coplanar, and 157,289 noncoplanar SSGs (Jiang et al., 2023).

Each SSG can be labeled by a four-index tuple $\{L_0, G_0, i_t, i_k\}$, with associated standardized notation.

Spin-Only Subgroups and Spin Configuration Classes

Configuration	Spin-Only Subgroup $G_{so}$	Physical Meaning
Collinear	$O(2) = SO(2) \times Z_2$	All spins along one axis
Coplanar	$Z_2$	All spins in a single plane
Noncoplanar	Trivial	Generic 3D spins

(Jiang et al., 2023, Xiao et al., 2023, Chen et al., 2023)

3. Geometric Algebra and the Clifford Group Perspective

A geometric algebra (GA) approach realizes SSGs as subgroups of the Clifford algebra, particularly $Cl(3,0)$ for Euclidean 3D space. Here, fundamental bivectors $\{B_1, B_2, B_3\}$ generate the even subalgebra ($Spin(3) \cong SU(2)$) and, together with plane reflections and inversion, generate $Pin(3)$, a double cover of $O(3)$:

$1 \to \{\pm 1 \} \to Pin(3) \to O(3) \to 1,$

with $Spin(3)$ covering $SO(3)$ and improper elements mapping to C$_2$ "spin flips." In solids, the 230 spin–space groups emerge as semidirect products of the form $H^s = Spin(3)\rtimes_{Ad} H \subset Pin(3)$, with $H$ the crystallographic group (Andoni, 2022).

In terms of representations, two-sided rotor action corresponds to "vector" transformations, and left-multiplication describes the "spinor" action. Tensor products in multi-spin systems generalize directly at the level of Clifford algebra (Andoni, 2022, Shirokov, 2024).

4. Physical Implications and Distinctions from Magnetic Space Groups

The decoupling of spatial and spin symmetries in SSGs produces several consequences absent from MSG descriptions:

• Expanded symmetry catalogue: MSGs "lock" spin and spatial operations ($U = \det(R)R$ in single-group setting), while SSGs allow $U \neq \det(R)R$; this enables description of altermagnets, spiral, and incommensurate structures (Jiang et al., 2023, Chen et al., 2023, Xiao et al., 2023).
• Reduction in independent parameters: SSGs automatically generate all symmetry-allowed spin arrangements, yielding 1, 2, or 3 parameters per Wyckoff site for collinear, coplanar, and noncoplanar orders, respectively (Jiang et al., 2023, Chen et al., 2023).
• Unambiguous identification of SOC effects: Components of tensors allowed by MPG but forbidden by the full SPG can be attributed to SOC, e.g., weak ferromagnetic moments in AFMs or anomalous Hall effect in collinear/coplanar systems (Etxebarria et al., 6 Feb 2025).
• Enforced topological degeneracies: SSG symmetry can mandate high-fold (e.g., 4-, 6-, 12-fold) nodal points in magnon or electronic bands, as well as nodal lines, planes, or entire nodal volumes, robust to all but SOC-breaking perturbations (Corticelli et al., 2021, Xiao et al., 2023).

5. Tensor Properties and Symmetry Constraints

SSGs impose specific invariance conditions on crystal tensors, beyond those imposed by magnetic space or magnetic point groups. For a rank-n tensor $T_{i_1 i_2 \dots i_n}$, invariance under $(U \parallel R)$ requires:

$$T_{i_1 i_2 ... i_n} = \sum_{j_1 ... j_n} R_{i_1 j_1} ... R_{i_n j_n} [D(U) T]_{j_1 ... j_n}$$

with $D(U)$ acting on spin indices. "Modified Jahn symbols" extend conventional tensor type notation to indicate explicit spatial and spin contents (Etxebarria et al., 6 Feb 2025).

Typical constraints:

• Equilibrium tensors: Spin magnetization $M_i$ (type M) transforms as $U_{ij} M_j$. Magnetic susceptibility $\chi^m_{ij}$ as $U_{ik} U_{jl} \chi^m_{kl}$; dielectric tensors under spatial parts only.
• Transport/optical tensors: E.g., anomalous Hall resistivity $\rho^a_{ij} = \det(U) R_{ik} R_{jl} \rho^a_{kl}$.
• Nonlinear optics: Second-order susceptibilities $\chi_{ijk}$ pick up det$(U)$ for time-odd parts.

SPGs (spin point groups, SSGs without translations) always form supergroups of the ordinary MPGs, eliminating tensor components whenever additional global spin rotations are present (collinearity/coplanarity). Worked examples, e.g., DyB$_4$ and MnF$_2$, demonstrate the reduction in allowed tensor components under the full SSG compared to the MPG (Etxebarria et al., 6 Feb 2025).

6. SSG Symmetry in Band Topology and Material Applications

SSGs unify spatial and spin symmetries, critically enriching the topological landscape for magnon and electron bands. The representation theory of SSGs involves projective representations and co-representations at little groups in momentum space, with antiunitary elements classified via the modified Dimmock–Wheeler test.

Notable SSG-enforced phenomena include:

• Altermagnetism: Collinear AFMs with symmetry-compensated spin splitting absent in MSGs but naturally captured by SSGs; e.g., RuO$_2$ and MnTe (Jiang et al., 2023, Chen et al., 2023, Xiao et al., 2023).
• Four-fold degeneracies and nonsymmorphic Brillouin zones: In CoSO$_4$ and other materials, non-symmorphic SSG generators produce fractional translations in momentum space, with SSG-enforced band crossings (Xiao et al., 2023).
• Spin-momentum locking: SSG symmetry constrains the momentum dependence of Bloch-state spin expectation values $S(\mathbf{k})$, sometimes enforcing textures such as vortices or zeros in $S(\mathbf{k})$ (Xiao et al., 2023).
• Topological phases: SSGs protect 2D magnetic $\mathbb{Z}_2$ insulator phases, 3D Dirac cones, helical modes, and axion-insulator phases forbidden under MSG-only symmetry (Xiao et al., 2023, Jiang et al., 2023, Chen et al., 2023).

Physical illustration examples include:

• RuO$_2$: SSG symmetry explains spin-degeneracy without SOC along certain lines.
• CeAuAl$_3$: SSGs enforce spiral spin polarization and four-fold band degeneracies.
• CoNb$_3$S$_6$: SSGs explain geometric Hall effect and spin-degeneracy in the absence of SOC (Chen et al., 2023).

7. Computation, Databases, and Practical Identification

Enumeration and identification of SSGs for real materials leverage modular linear algebra (e.g., Smith normal form) to classify invariant subgroups, quotient groups, and their real orthogonal representations. Comprehensive databases and web tools now provide SSG assignments for thousands of experimentally realized magnetic structures, supporting direct practical application in material science and condensed matter theory (Jiang et al., 2023, Chen et al., 2023, Xiao et al., 2023).

These resources are extensive: for instance, the online SSG database at https://cmpdc.iphy.ac.cn/ssg provides interactive access to the generated group catalog, and findspingroup.com supports SSG determination for user-specified structures (Jiang et al., 2023, Chen et al., 2023).

---

The spin–space group formalism thus generalizes all crystallographic and magnetic symmetry frameworks, underpinning both foundational descriptions and predictive classification for bulk and topological properties in magnetic matter, especially where spin and lattice degrees of freedom are not rigidly coupled (Xiao et al., 2023, Jiang et al., 2023, Andoni, 2022, Etxebarria et al., 6 Feb 2025, Corticelli et al., 2021, Shirokov, 2024, Chen et al., 2023).