Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions
Abstract
Let be a field with , and let denote the standard hyperbolic form on . We study the exterior spinor model 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 is ; therefore the exterior spinor action descends to the orthogonal image only projectively. For the split line the image of 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 as a scalar multiple of the natural exterior action. If , the transported Levi element admits an explicit even unitary Clifford lift acting as on . In finite split rank at least three, if , then . 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