English

Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions

Rings and Algebras 2026-04-30 v1

Abstract

Let KK be a field with 2K×2 \in K^\times, and let HWH_W denote the standard hyperbolic form on WWW \oplus W^*. We study the exterior spinor model S=V(W)S = \bigwedge V(W) together with the spin-to-orthogonal map for this split form, keeping the chosen hyperbolic presentation explicit. The main results determine the field-sensitive part of the split Levi image. In positive split rank the kernel of Spin(V,Q)SO(V,Q)\mathrm{Spin}(V,Q) \to SO(V,Q) is {±1}\{\pm 1\}; therefore the exterior spinor action descends to the orthogonal image only projectively. For the split line the image of Spin(HK)SO(HK)\mathrm{Spin}(H_K) \to SO(H_K) is precisely the square-scaling subgroup. In arbitrary split rank we construct explicit Clifford representatives for hyperbolic transvections and chosen-line square scalings, prove the weight-2 torus conjugation law, and show that any split Levi lift acts on V(W)\bigwedge V(W) as a scalar multiple of the natural exterior action. If det(g)u2\det(g) \in u^2, the transported Levi element g^=(g,g)\hat{g} = (g, g^{-\top}) admits an explicit even unitary Clifford lift acting as u1(g)u^{-1} \bigwedge(g) on SS. In finite split rank at least three, if HWim(Spin(HW)SO(HW))H_W \in \mathrm{im}(\mathrm{Spin}(H_W) \to SO(H_W)), then gHWdet(g)K×2g_{H_W} \in \det(g) \cdot K^{\times 2}. Equivalently, the spin image meets the split Levi subgroup exactly in its square-determinant subgroup. This recovers, by direct Clifford calculation, the determinant-modulo-squares spinor-norm criterion on the split Levi.

Cite

@article{arxiv.2604.26155,
  title  = {Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions},
  author = {Arthur F. Ramos and David B. Hulak and Ruy J. G. B. de Queiroz},
  journal= {arXiv preprint arXiv:2604.26155},
  year   = {2026}
}

Comments

22 pages. Lean 4 companion formalization available at https://github.com/Arthur742Ramos/SpinorLean