[论文解读] Signs in objective linear algebra, exemplified with exterior powers and determinants

Joachim Kock, Jesper Michael Møller|arXiv (Cornell University)|Mar 19, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文发展了可取负值的基数函子的客观线性代数，借由同伦来定义符号，并将其应用于外代数和行列式。

ABSTRACT

We develop objective linear algebra in a new setting with a cardinality functor that can take negative values. The signs arise as little homotopies, as ratios between orientations. To illustrate the workings of the theory we give an objective treatment of exterior powers and determinants.

研究动机与目标

• 通过基数函子使标量能够具有负值， motivating 并发展客观线性代数。
• 引入奇偶性和方向性，将符号建模为方向的比率。
• 建立使用有限群组oid与带奇偶结构的切片的框架，以推广线性代数。
• 演示如何在 lin± 中定义外代数和行列式，并将其与经典行列式联系起来。

提出的方法

• 在类于拓扑的范畴 Z = F/P 中工作，具有奇偶结构对象。
• 将标量定义为 Z/e 的线性端函子，得到符号作为方向比。
• 使用同伦和并集来建模线性映射和矩阵乘法。
• 为具有奇偶结构且可定向的群组oid 定义外代数 ∧kS。
• 将行列式定义为 |Det(A)|，通过 span ∧nI ←∧nA →∧nI 的可定向部分来实现，并将其与经典行列式联系。
• 发展一个从 lin± 到 vectQ 的函子 |·|，并使其 respects orientations 和基数。

实验结果

研究问题

• RQ1 如何在可取负值的基数函子下将符号纳入客观线性代数？
• RQ2 奇偶性、方向性与群组oid 结构如何产生一种在符号下的一致标量和矩阵运算的概念？
• RQ3 在带符号的客观设定中，外代数和行列式如何定义，并与经典行列式相关？

主要发现

• 具有普遍性质的基数函子作为带符号的基数的等价物，通过方向比得到负值。
• lin± 中的标量是 Z/e 的端函子，分解为可定向的正负符号部分，基数为 |S| = |S⊕| − |S⊖|。
• 对带奇偶结构的群组oid 定义外代数 ∧kS，定向点对应于单射，且对定向分量进行合适计数。
• 矩阵 A 的行列式被实现为诱导跨度 ∧nI ←∧nA →∧nI 的可定向部分，|Det(A)| = det|A|。
• 通过伴随矩阵和外代数讨论共因子结构以及一种客观矩阵求逆的形式，尽管本文未给出完整的求逆。