中文

Split Rank 下的外部模型自旋子:精确的 Levi 像与平方行列式阻挡

环与代数 2026-04-30 v1

摘要

KK 为一个存在 2K×2 \in K^\times 的域,记 HWH_WWWW \oplus W^* 上的标准双曲形式。我们研究由 V(W)\bigwedge V(W) 表示的外部自旋子模型,以及为此分割形式所对应的自旋到正交映射,同时保持选定的双曲形式呈现。主要结果确定了分割 Levi 像的域相关部分。在正分割秩下,Spin(V,Q)SO(V,Q)\mathrm{Spin}(V,Q) \to SO(V,Q) 的核为 {±1}\{\pm 1\};因此,外部自旋作用在正交像上仅可项目化。对于分割线,其像是精确的平方比例子群。对于任意分割秩,我们构造双曲初换象和所选线平方比例的显式 Clifford 代表,证明权重-2 丢圈的共轭律,并表明任意分割 Levi 提升在V(W)\bigwedge V(W) 上作为自然外部作用的标量倍数作用。若 det(g)u2\det(g) \in u^2,则运输的 Levi 元素 g^=(g,g)\hat{g} = (g, g^{-\top}) admits an explicit even unitary Clifford lift,作用于 SSu1(g)u^{-1} \bigwedge(g)。在有限分割秩至少为三时,若 HWim(Spin(HW)SO(HW))H_W \in \mathrm{im}(\mathrm{Spin}(H_W) \to SO(H_W)),则 gHWdet(g)K×2g_{H_W} \in \det(g) \cdot K^{\times 2}。等价地,自旋像恰好在分割 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