Filtrations of Tope Spaces of Oriented Matroids

技術的概要：向き付けられた母体のトープ空間の濾過

問題提起
本論文は、向き付けられた母体 $M$ のトープ空間の構造を調査する。この空間は、$M$ のトープ（最大共ベクトル）の集合によって生成される自由加群として定義される。具体的には、著者らは、この空間を $\mathbb{Z}/2\mathbb{Z}$ 体上で考えた場合の、3 つの異なる濾過の間の関係性に焦点を当てる。これらの濾過は、異なる数学的文脈から生じるものである：

1. 双対 Varchenko–Gelfand 濾過（$P_\bullet$）：トープ空間上のヘヴィサイド関数の環の次数濾過から導かれる。
2. Kalinin 濾過（$K_\bullet$）：共役対合を備えた Salvetti 複体のスペクトル系列によって誘導される。
3. Quillen 濾過（$Q_\bullet$）：完全フラットの完全旗に隣接するトープのアフィン部分空間に関連する群環の増分濾過を通じて構成される。

これらの濾過の存在は既知であったが、それらの厳密な関係性、およびホモロジー群への対応する写像の両立性は、特にそれらが一致するかどうか、そしてそれらが Orlik–Solomon 代数および Salvetti 複体のホモロジーとどのように関連するかという点において、完全に確立されていなかった。

手法
著者らは、組合せ論的代数、スペクトル系列理論、および Salvetti 複体のトポロジーの組み合わせを駆使する。

• 組合せ論的記述：本論文は、「プレフィックス鎖」（「レンガ」としても知られる）を用いて、双対 Varchenko–Gelfand 濾過の生成子を明示的に記述する。また、Quillen 濾過を記述するためにアフィン座標部分空間を用いる。
• トポロジカルモデル：Salvetti 複体（$Sal_M$）は、向き付けられた母体の「複素化」のトポロジカルモデルとして機能する。著者らは、この複体上の対合（共役）を分析し、その固定点がトープの集合に対応することを指摘する。
• スペクトル系列：Kalinin 濾過は、Salvetti 複体上の対合に関連するスペクトル系列を通じて分析される。著者らは、この系列が向き付けられた母体に対して第 1 ページで退化することを証明し、濾過構造を単純化する。
• 代数的同型：著者らは、Salvetti 複体のホモロジーと双対 Orlik–Solomon 代数との間の Björner–Ziegler 同型（$BZ^\vee$）を利用する。また、$\mathbb{Z}$ 上で向き付けられた母体のデータをよりよく捉える可換な類似体として、Orlik–Solomon 代数に代わる Cordovil 代数を導入する。

主要な結果

1. 濾過の一致（定理 A）：
   主要な結果として、任意の向き付けられた母体 $M$ に対して、$\mathbb{Z}/2\mathbb{Z}$-トープ空間の 3 つの濾過が同一であることを確立する：
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   証明は、包含関係の連鎖 $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$ を確立し、3 つすべての関連する次数付き部分の次元が一致することを示すことで、等式を強制する手順で行われる。

2. 対応する写像の両立性（定理 B）：
   本論文は、これらの濾過によって誘導される写像を、Salvetti 複体のホモロジー $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ および双対 Orlik–Solomon 代数 $OS^p(M; \mathbb{Z}/2\mathbb{Z})$ と比較する。

   • 写像 $bvp$（Kalinin 濾過/ヴィロ同型写像から）と写像 $ap$（双対 Varchenko–Gelfand 濾過/デナム同型写像から）が等しいことが示される。
   • Quillen 写像 $qp$ と双対 Björner–Ziegler 同型 $BZ^\vee$ を含む図式が可換であることが証明される。
   • 結果として、これら 3 つの濾過すべては、$BZ^\vee$ による同定が提供される範囲で、その関連する次数付き部分とホモロジー群との間の同一の同型写像へと降下する。

3. 整数係数およびコシエーブへの拡張（定理 C）：
   Quillen 濾過および Kalinin 濾過は $\mathbb{Z}$ 上ではうまく振る舞わない（Quillen 濾過は安定化せず、単純な Kalinin 拡張は未定義である）のに対し、双対 Varchenko–Gelfand 濾過は $\mathbb{Z}$ 上で well-defined である。

   • 著者らは、この濾過が初期母体（削除/縮約操作）に関して関手的であることを証明する。
   • これにより、基礎となる母体の多面体ファン上の$\mathbb{Z}$-符号コシエーブの濾過の構成が可能となる。
   • この整数濾過の関連する次数付き部分は、Cordovil コシエーブ（$A_p$）と同一視され、コシエーブの次の短完全系列をもたらす：
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • 本論文は、Cordovil 代数の mod 2 縮約が Orlik–Solomon 代数と同型である一方で、この完全系列における Orlik–Solomon 代数の $\mathbb{Z}$ への直接のリフトは不可能であることを指摘する（例 6.17 により示される）。したがって、整数の場合には Cordovil 代数の使用が必要となる。

意義と主張
本論文は、向き付けられた母体のトープ空間を濾過する 3 つの以前には異なっていたアプローチを統合することを主張する。$\mathbb{Z}/2\mathbb{Z}$ 上でのそれらの一致を証明することにより、著者らは以下のものを接続する堅牢な組合せ論的枠組みを提供する：

• 特異点理論：Varchenko–Gelfand 次数濾過およびその漸近濾過との関係を通じて。
• 実代数幾何：Kalinin 濾過およびそのスミス・トム不等式やヴィロのパッチワーキングとの接続を通じて。
• 組合せ論的ホモロジー：Quillen 濾過およびその Orlik–Solomon 代数との関係を通じて。

Cordovil 代数を介した $\mathbb{Z}$-係数への拡張は、実位相構造を備えたトロピカル多様体の文脈における整数ホモロジーの研究にとって必要な洗練として提示される。著者らは、この符号コシエーブの整数濾過が、Kalinin の濾過のトロピカル/組合せ論的バージョンを提供し、パッチワーキングから生じる超曲面の実部分の $\mathbb{Z}$-ホモロジーを計算するための道具を提供すると示唆している。この研究は、Renaudineau、初著者、および他の研究者による以前の結果に依存し、それらを拡張するものであり、特に mod 2 の結果を、Orlik–Solomon 代数では不十分な整数設定に一般化するものである。