Linear Spaces over Perfect Idylls

技術要約：完全なイディル上の線形空間

問題提起
本論文は、体（field）よりも一般的な代数構造である「イディル（idylls）」（体やハイパーフィールドを一般化したもの）および「バンド（bands）」（可換環を一般化したもの）へと線形代数を拡張する際の根本的な限界に対処している。これらの構造上の加群（module）として加群を定義することは可能であるが、積加群 $k^n$ 内における「素朴な（naive）」線形代数は、期待される挙動を示さない。具体的には、これらの加群における線形独立性の概念が、必ずしもマトロイドの独立性の公理を満たさない。その結果、極大線形独立集合のサイズが一定ではなくなり、次元という概念が適切に定義できなくなる。この失敗により、マトロイド理論を一般的なイディル上の加群に直接適用することが妨げられている。Baker、Bowler、およびAndersonによる先行研究では、Plücker座標やベクトル集合を通じて「イディル上のマトロイド（$k$-matroids）」を導入したが、これらの構成は座標に依存しており、線形独立性が本質的にマトロイドの公理を満たすような座標フリーの加群構造を提供するものではない。

手法
著者らは、カテゴリー論的かつ構造的なアプローチを採用しており、Baker、Jin、およびLorscheidによって定義されたバンド、イディル、および加群の既存理論に基づいている。その手法は以下のステップで進行する：

1. 基礎の復習： 本論文は、マトロイド理論（独立集合、基底、回路、尖点付き強写像）、およびバンド、イディル、ハイパーフィールドの代数的定義、ならびにこれらの構造上の加群の理論に関する必要な背景を確立する。
   2.$k$-マトロイドの分析： $k$ 値のPlücker座標または$k$-ベクトル集合によって定義される既存の$k$-マトロイド理論を概観する。ここでは、ベクトルの集合が余ベクトルの集合と直交することで、制限（restriction）や縮約（contraction）といった望ましい性質を保証する「完全な（perfect）」イディルの役割を強調する。
2. 線形空間の構成： 本論文の核心的な貢献は、完全なイディル $k$ 上の特定の加群の部分圏、すなわち「線形空間（linear spaces）」を定義することである。ある有限な要素の集まり $\{v_i\}_{i \in E}$ に対して、零和を与える係数の集合（配置の「核（kernel）」）が $k$-ベクトル集合を形成する場合、その $k$-加群は線形空間であると定義される。
3. カテゴリー論的分析： 著者らは、線形空間のカテゴリー（$\mathbf{LinearSpace}_k$）のカテゴリー論的性質を調査し、加群のカテゴリー（$\mathbf{Module}_k$）およびマトロイドのカテゴリー（$\mathbf{Matroid}_\bullet$）と比較する。また、「プロト完全（proto-exact）カテゴリー」の枠組みを利用して、完全性の性質を分析する。

主要な貢献と結果

• 線形空間の定義： 本論文は、線形独立性が適切に振る舞う、完全なイディル上の加群のクラスを構築する。任意のベクトルの配置の核が $k$-ベクトル集合であることを要求することにより、著者らは、任意の有限な要素の集合の極大線形独立部分集合がマトロイドの基底を形成することを保証している。これにより、一般的な加群に見られる病理（例：極大独立集合のサイズが異なること）が解決される。
• 単純マトロイドとの同値性： 著者らは、クラスナー・ハイパーフィールド $K$ 上の有限生成線形空間のカテゴリー（$\mathbf{LinearSpace}^{f.g.}_K$）が、尖点付き強写像を持つ単純マトロイドのカテゴリー（$\mathbf{Matroid}^{simple}_\bullet$）と同値であることを証明する。この同値性は、線形空間をその非ゼロ要素のマトロイドへと写す関手を通じて確立される。
• $k$-マトロイドの忠実な埋め込み： 任意の完全なイディル $k$ に対して、単純な $k$-マトロイドのカテゴリー（$\mathbf{Matroid}^{simple}_k$）は、有限生成線形空間のカテゴリー（$\mathbf{LinearSpace}^{f.g.}_k$）へと忠実に埋め込まれる。この埋め込みは、座標ベースの$k$-ベクトル集合の理論と、座標フリーの加群の理論を結びつける。
• カテゴリー論的性質：
  • カテゴリー $\mathbf{LinearSpace}_k$ は**プロト完全（proto-exact）**であり、許容される単射（厳密な部分加群の包含）および許容される全射（厳密な部分加群による商）を有する。
  • このカテゴリーは、等化子、核、余核、および余積（直和）を認める。
  • 決定的なことに、このカテゴリーは一般に積および余等式を持たない。積の欠如は、$k^n$（$k$ の $n$ 個の直積）における素朴な線形代学の失敗を説明している。なぜなら、線形空間の直積は一般には線形空間にならないからである。
• ベクトル集合の実装： 本論文は、すべての $k$-ベクトル集合（ループや平行要素を持つ非単純なものを含む）が、重複要素や零ベクトルを許容する配置を通じて、$k$-線形空間内のベクトル配置によって実現可能であることを示している。

意義と主張
本論文は、完全なイディル上の加群とマトロイドの理論を橋渡しする統一的な枠組みを提供すると主張している。線形空間を構築することで、著者らは以下の性質を持つオブジェクトのクラスを生み出している：

1. $k$ が体である場合、ベクトル空間を座標フリーな形で一般化する。
2. 線形独立性がマトロイドの独立性公理を満たすことを保証する（これは一般的な加群には欠けている性質である）。
3. 線形空間におけるカテゴリー論的な積の不在を通じて、$k^n$ における素朴な線形代学の失敗を説明する。

本研究は、新しい応用や実験的な提案を行うものではなく、既存の理論間の構造的な関係を定式化するものである。著者らは、尖点付き強写像を持つ単純マトロイドのカテゴリーが、クラスナー・ハイパーフィールド上の有限生成線形空間の正しいカテゴリー論的な設定であることを主張し、この関係が他の完全なイディルに対しても忠実に拡張されることを示している。結論として、線形空間は、マトロイドの組合せ論的構造を保持しつつ、ベクトル空間の「座標フリー」な一般化を提供するものであるとしている。