K[θ₁, θ₂]上的显式超线性代数：任意块大小的通用Berezinian修正公式与乘法性定理
Explicit Super-Linear Algebra over K[θ1, θ2]: A General Berezinian Correction Formula and Multiplicativity Theorem for Arbitrary Block Size
浏览论文内容
中文总结 AI 辅助
该研究针对秩2外代数上的超矩阵，证明了任意块大小的通用Berezinian闭式公式与乘法性定理，将框架推广到任意数量奇生成元并验证了实例。
中文摘要 AI 辅助
我们研究秩为2的外代数R=K[θ₁,θ₂]/(θ₁²,θ₂²,θ₁θ₂+θ₂θ₁)上的超矩阵M_{m|n}(R)，该代数是Berezinian的奇-奇修正项BD⁻¹C无需消失的最小超交换环。我们回顾超迹满足分次循环性：str(XY)=(-1)^{|X||Y|}str(YX)，因此对于偶的A、B，str([A,B])=0；且R上的显式1|1矩阵存在BD⁻¹C≠0，其在奇生成元的二阶项中仍存在。随后我们证明1|1注记中预期的推广：对任意偶X∈M_{m|n}(R)（m,n≥1），通过由X的奇块构造的单个m×m矩阵配对Δ给出闭式Berezinian公式（定理1）；以及偶可逆X,Y∈M_{m|n}(R)的完全通用乘法性定理Ber(XY)=Ber(X)Ber(Y)（定理2），该定理通过显式迹循环性抵消证明。当m=n=1时，两个结果恰好退化为已知的1|1公式，我们在一个m=2,n=1的实例上验证了它们。我们将框架从2个奇生成元推广到任意r≥2个，将标量配对Δ替换为r维奇生成元空间V上的Λ²(V)值配对，并在标量情形下将该配对与奇非对角数据的Plücker坐标等同。最后我们讨论了Khudaverdian–Voronov的相关工作，并给出将Δ识别为针对奇生成元空间上自然交替配对的矩阵值收缩的注记。
英文摘要
We study super-matrices $M_{m|n}(R)$ over the rank-two exterior algebra $R=K[θ_1,θ_2]/(θ_1^2,θ_2^2,θ_1θ_2+θ_2θ_1)$, the smallest supercommutative ring on which the Berezinian's odd-by-odd correction term $BD^{-1}C$ need not vanish. We recall that the supertrace satisfies graded cyclicity, $\mathrm{str}(XY)=(-1)^{|X||Y|}\mathrm{str}(YX)$, so $\mathrm{str}([A,B])=0$ for even $A,B$, and that an explicit $1|1$ matrix over $R$ has $BD^{-1}C\neq0$ surviving to second order in the odd generators. We then prove the extension anticipated in the $1|1$ note: a closed-form Berezinian formula for arbitrary even $X\in M_{m|n}(R)$, $m,n\geq1$ (Theorem 1), given through a single $m\times m$ matrix pairing $Δ$ built from the odd blocks of $X$; and a fully general multiplicativity theorem $\mathrm{Ber}(XY)=\mathrm{Ber}(X)\mathrm{Ber}(Y)$ for even invertible $X,Y\in M_{m|n}(R)$ (Theorem 2), proved by an explicit trace-cyclicity cancellation. Both results specialize exactly to the known $1|1$ formulas when $m=n=1$, and we verify them on a worked $m=2,n=1$ example. We extend the framework from two to an arbitrary number $r\geq2$ of odd generators, replacing the scalar pairing $Δ$ by a $Λ^2(V)$-valued pairing on the $r$-dimensional space $V$ of odd generators, and identify this pairing, in the scalar case, with a Plücker coordinate of the odd off-diagonal data. We close with a discussion of related work of Khudaverdian--Voronov, and a remark identifying $Δ$ as a matrix-valued contraction against the natural alternating pairing on the space of odd generators.
