Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

技術要約：$GL_{2n}(\mathbb{Z})$ の不安定コホモロジーと奇奇グラフ複体（Odd Commutative Graph Complex）

問題提起
本論文は、2つの異なるが関連する数学領域、すなわち、向き付け束（orientation bundle）を係数とする局所対称空間 $P_{2n}/GL_{2n}(\mathbb{Z})$ のコンパクト支持コホモロジー、および奇奇グラフ複体 $GC_3$ のコホモロジーにおける、明示的なコホモロジー類の構成について調査している。著者らは、$GL_{2n}(\mathbb{Z})$ における不安定領域（具体的には $n$ が偶数の場合）における既知の非自明な類の少なさ、および $k=-3$ 未満の次数における $GC_3$ のコホモロジーに関する理解の限定性に言及している。中心となる課題は、これらの類の明示的な代表元を構成すること、および対称空間上の不変微分形式と組合せ論的なグラフ不変量との間の幾何学的な繋がりを確立することである。

手法
著者らは、ランク $2n$ の正定値対称行列の空間 $P_{2n}$ 上で定義された**パラフィアン不変形式（Pfaffian invariant form）**に基づく統一的な枠組みを採用している。

1. 対称空間上のパラフィアン形式：
   著者らは、$dX \cdot X^{-1} \cdot dX$ のパラフィアンによって定義され、$\sqrt{\det X}$ で正規化された閉微分形式 $\phi_{2n}$ を $P_{2n}$ 上に定義する。この形式は、$GL_{2n}(\mathbb{R})$ の作用の下で行列式の符号によって変換されるため、向き付け形式となる。著者らは、ボレル・セールのコンパクト化の境界付近における $\phi_{2n}$ および標準的な不変形式 $\beta_{4k+1} = \text{tr}((X^{-1}dX)^{4k+1})$ の積の漸近挙動を分析している。彼らは、これらの形式を境界へと拡張するために、可積分な平方根特異性を持つ微分形式の複体を利用し、コンパクト支持コホモロジー類を定義することを可能にしている。

2. グラフ複体とトロピカル・トレリ写像：
   本論文は、これらのパラフィアン形式を計量グラフのモジュライ空間上の形式として解釈している。グラフ $G$ に対して、正のエッジ長の空間は、サイクル基底 $C$ に依存する双対グラフ・ラプラシアン（dual graph Laplacian） $\Lambda_C$ を通じて、正定値行列の空間へと写像される。これらのパラフィアン形式および標準的な形式をこの写像によって引き戻すことにより、著者らはエッジ長の単体 $\sigma_G$ 上の微分形式を構成している。

3. 積分とコサイクル：
   著者らは、パラフィアン形式を引き戻したものを単体 $\sigma_G$ 上で積分することにより、線形汎関数 $I(\omega): GC_3 \to \mathbb{R}$ を定義する。彼らは、単体のコンパクト化におけるストークスの定理を利用して、これらの汎関数の余境界とグラフ複体のリー括弧との関係を関連付けている。具体的には、境界項から生じる「ダイポール和（dipole sum）」$m$ を特定しており、これが微分における捻れ（twist）として機能する。

主要な貢献および結果

• $GL_{2n}(\mathbb{Z})$ の不安定コホモロジー：
  著者らは、コンパクト支持コホモロジー $H^\bullet_c(P_{2n}/GL_{2n}(\mathbb{Z}); \mathcal{O})$ における無限族の非自明な類を構成している。

  • 彼らは、「コンパクト型」の形式（$\beta$ 形式と $\phi_{2n}$ の積）によって生成される、二重次数付きベクトル空間 $\Omega_c[\phi](2n)$ を定義する。
  • 定理 1.1： これらの形式の対称代数からコンパクト支持コホモロジーへの標準的な単射写像を証明する。
  • 定理 1.2： これらの形式が（[AMP24] で最近導入された）コホモロジー上のホップ代数のホップ的な性質に対して原始的であることを示すことで、コホモロジーがこれらの向き付け形式によって生成される対称代数を含むことを導き出す。これは、$n$ が偶数の場合の $GL_{2n}(\mathbb{Z})$ に対する膨大な新しい不安定コホモロジーを提供する。

• 奇奇グラフ複体 ($GC_3$) のコホモロジー：
  著者らは、「非コンパクト型」のパラフィアン形式を用いて、$GC_3$ における明示的なコサイクルを構成している。

  • 定理 1.3： 偶数のループ数を持つグラフに対する積分 $I_G(\omega)$ の絶対収束を証明する。
  • 定理 1.4： コチェイン $I(\omega)$ の余境界を、特定のダイポール和 $m$ とのリー括弧に関連付けるストークスの関係を確立し、これが $GC_3$ 上の捻れた微分に与える幾何学的な起源を明らかにする。
  • 定理 1.7： 明示的な計算を通じて、特定の 6 ループ・12 エッジを持つ 20 個のグラフの線形結合に関連する $\beta_5$ の積分によって定義される類が、$H^{-6}(GC_3) \otimes \mathbb{R}$ において非ゼロであることを示す。$\dim H^{-6}(GC_3) = 1$ であるため、この類はその次数のコホモロジー群全体を生成する。

• 双対性と区別：
  本論文は、驚くべき双対性を強調している：「コンパクト型」の形式は $GL_{2n}(\mathbb{Z})$ のコホモロジーを生成するが、グラフ上での積分においては（低ループ次数のグラフに関する消滅定理により）消失する。逆に、「非コンパクト型」の形式は、オイラー類が消滅することによって $GL_{2n}(\mathbb{Z})$ のコホモロジーでは零となるが、$GC_3$ においては非自明な類を生み出す。

意義
本論文は、$n$ が偶数の場合の $GL_{2n}(\mathbb{Z})$ の不安定領域における非自明なコホモロジー類に関する初の明示的な構成を提供しており、これらの類の構造をパラフィアン形式の対称代数によって説明している。さらに、奇奇グラフ複体における捻れた微分の起源に関する幾何学的な説明を与え、次元数によってのみ知られていた $H^{-6}(GC_3)$ における非自明なコホモロジー類を明示的に特定している。本研究は、局所対称空間のトポロジーとグラフ複体の組合せ論との間の溝を埋めるものであり、「非コンパクト型」の形式が、対称空間の文脈では自明であっても、グラフ複体においては非自明なトポロジーの源泉であることを明らかにしている。著者らは、$GC_3$ の積分はポリログ（polylogarithm）を含む複素数を生成し得るものの、特定された $H^{-6}(GC_3)$ の非自明な類は、重み 3 の斉次的な式へと簡略化されると述べている。