Split Rank 下的外部模型自旋子:精确的 Levi 像与平方行列式阻挡
环与代数
2026-04-30 v1
摘要
设 为一个存在 的域,记 为 上的标准双曲形式。我们研究由 表示的外部自旋子模型,以及为此分割形式所对应的自旋到正交映射,同时保持选定的双曲形式呈现。主要结果确定了分割 Levi 像的域相关部分。在正分割秩下, 的核为 ;因此,外部自旋作用在正交像上仅可项目化。对于分割线,其像是精确的平方比例子群。对于任意分割秩,我们构造双曲初换象和所选线平方比例的显式 Clifford 代表,证明权重-2 丢圈的共轭律,并表明任意分割 Levi 提升在 上作为自然外部作用的标量倍数作用。若 ,则运输的 Levi 元素 admits an explicit even unitary Clifford lift,作用于 为 。在有限分割秩至少为三时,若 ,则 。等价地,自旋像恰好在分割 Levi 子群中的平方行列式子群中。
引用
@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}
}
备注
22 pages. Lean 4 companion formalization available at https://github.com/Arthur742Ramos/SpinorLean