[論文レビュー] 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

ひとこと要約

この論文は、負値を許容する基数（cardinality）函子を用いた客観的線代を開発し、同相を用いて符号を定義し、これを外積や行列式へ適用する。

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.

研究の動機と目的

• 基数函子を介して負の値を取り得るスカラーを持つ客観的線代を動機づけ、発展させる。
• 符号を配向の比としてモデル化するパリティと配向を導入する。
• 有限群オブジェクトとパリティ構造付き切片を用いて線形代数を一般化する枠組みを確立する。
• lin± における外積と行列式を定義し、それを古典的な行列式と関連付ける方法を示す。

提案手法

• トポス様のカテゴリ Z = F/P におけるパリティ構造を持つオブジェクトを扱う。
• スカラーを Z/e の線形自己函子として定義し、符号を配向比として得る。
• 同倫和とスパンを用いて線形写像と行列積をモデル化する。
• 有限群oid S に対してパリティ構造と可直和点がある場合の外積 ∧kS を定義する。
• ∧nI ←∧nA →∧nI というスパンの可直和部分を用いて行列式を |Det(A)| として定義し、古典的 det と関係づける。
• 方向性と基数性を尊重する |·| : lin± → vectQ の函子を開発する。

実験結果

リサーチクエスチョン

• RQ1 負値を取り得る基数函子を用いて、符号を取り入れた客観的線代をどのように組み込むか。
• RQ2 パリティ、配向、群oid 構造は符号付きのスカラーおよび行列演算の一貫した概念をどのように生み出すか。
• RQ3 符号付きの客観的設定における外積と行列式をどのように定義し、古典的行列式とどのように関係づけるか。

主な発見

• 普遍性を持つ基数函子は、符号付きの基数の類推として負の値を配向比として生み出す。
• lin± のスカラーは Z/e の自己函子として分解され、可直和的に正符号・負符号の部分に分解され、基数 |S| = |S⊕| − |S⊖| を満たす。
• パリティ構造を持つ群oid に対して外積 ∧kS が定義され、可直和点は単射写像に対応し、可直和成分の適切な計数が行われる。
• 行列 A の行列式は、誘導されたスパン ∧nI ←∧nA →∧nI の可直和部分として実現され、|Det(A)| = det|A| となる。
• 代数子の共因子づくりと、随伴作用と外積を用いた客観的な行列式の反転の一形を論じるが、本論では完全な反転は完成していない。