Odd Knörrer periodicity as a double cover

技術的サマリー：奇数型ノイラー周期性の二重被覆としての解釈

問題提起
本論文は、行列因子化の理論における基本的な同値であるノイラー周期性の全球的な振る舞いを取り扱っている。古典的には、ノイラー周期性は、超ポテンシャル $w$ に二次項 $x^2$ を加えること（「安定化」）が、二次形式のランクが偶数である場合、行列因子化の導来圏を保存することを確立しており、一方、奇数ランクの安定化は等変圏へ移行することで解決可能である。偶数ランクの周期性のグローバル版はよく理解されている（ベクトル束上の行列因子化を底空間の導来圏に関連付ける）が、ランク 1 の二次形式に関するグローバルな命題は未解決であった。具体的には、点ごとの同値 $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ は、行列因子化と分岐二重被覆との間の関係を示唆しているが、既存の graded 行列因子化の枠組みでは、必要な「奇数」次数データを取り扱うには不十分であった。

核心的な困難は、行列因子化の標準的な定義が、対象を偶数部と奇数部への分割 ($E_0 \leftrightarrows E_1$) に依存しており、これは偶数次数環に特有の現象である点にある。線形ファイバー座標が奇数のコホモロジー次数を持つ場合、構造層は超可換でなくなり、射の層上の微分は線形性を失い、$RHom$ の標準的な定義は破綻する。その結果、そのような「奇数次数化された」ランドウ・ギンズブルグ（LG）モデルに対する行列因子化の導来圏は、従来の手法では構成できない。

手法
著者は、線形ファイバー座標 $q$ が奇数のコホモロジー次数 ($|q|=1$) を持つ「奇数次数行列因子化」の枠組みを開発した。

1. 定義の再定式化: $E_0 \leftrightarrows E_1$ への分割や底空間 $X$ 上の $RHom$ に依存する代わりに、本論文はセーガルの対象レベルの定義を採用し、アキシャルな対象によるホモトピー圏のヴェルディヤ商として導来圏を構成する（オルロフとプレイゲルに従う）。
2. 商スタックによる局所から全球へ: 内部ホムの概念を回復し、局所から全球への計算を行うために、著者は、射が奇数次数空間 $X$ 上の層を形成しないが、商スタック $[X/\mathbb{Z}_2]$ 上では層を形成することを指摘する。$[X/\mathbb{Z}_2]$ 上の誘導された次数は偶数であり、これにより偶数次数の底空間上の曲がった代数に関する標準的な理論の適用が可能となる。
3. フーリエ・ムカイ変換: 主要定理は、明示的なフーリエ・ムカイ核を構成することで証明される。この同値は、線形束の全空間と分岐二重被覆上の曲がった双対モジュールを介して実現される。証明では、奇数次数代数のテンソル積の非可換性に起因するコズール符号を慎重に考慮している。

主要な貢献と結果

• 定理 A（主要な同値）: 本論文は、分岐二重被覆 $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ の導来圏と、双対線形束 $\text{Tot}(L^{-1})$ の全空間上のファイバーごとの二次ポテンシャルを持つ行列因子化の圏との間の同値を確立する。
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  ここで、ファイバー座標 $q$ は奇数次数に割り当てられ、これによりポテンシャル $fq^2$ は総次数 2 となる。この結果は、点ごとの同値 $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$ をグローバル化するものである。

• 系 B（軌道多様体版）: 関連するルートスタック（スタッキー商）についても同様の同値が証明される。
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  これは、商スタック上の $\mathbb{Z}_2$ 作用が奇数次数を自明化するため、偶数次数行列因子化の領域内に留まる。

• 反復の「パラドックス」の解決: 本論文は、二重被覆構成を反復しても、偶数型ノイラー周期性との矛盾に直結しない理由を明確にする。奇数次数の底上でこの構成を反復すると、得られる代数は非可換（具体的にはクリフォード代数）となる。これらの非可換代数はモリタ自明であり、反復された二重被覆（非自明）が偶数安定化（自明）と同値であるはずだという見かけ上のパラドックスを解決する。

• 鏡対称性および解消への応用:

  • 鏡対称性: この枠組みは、軌道多様体上の線場から生じる奇数次数を含む、軌道多様体表面とラップド・フカヤ圏に関する 1 次元の鏡対称性の例を自然に受容する。
  • オルロフ型同値: この結果は、二重被覆に対するオルロフの定理の次元削減を提供し、ファノ分岐二重被覆の導来圏をアフィン軌道多様体上の行列因子化に関連付ける。
  • 圏論的解消: 本論文は、LG モデルの部分コンパクト化を通じて特異点の圏論的解消（例えば $A_2$ および $A_3$ 曲線特異点）を構成・分析するために定理を適用する。これら解消の核となる部分圏が、確立された同値を用いて計算可能であり、他の構成（例えばクズネツォフ、カルク）からの結果と一致することを示す。
  • エクソフロップ: この理論は、「エクソフロップ」（特異点の解消が LG モデルの部分コンパクト化に対応する現象）を奇数周期性の文脈で再解釈するために用いられ、軌道多様体構造なしに GIT 変量を通じてフロップが実現されうることを示す。

意義と主張
著者は、この研究の主な意義が、奇数次数データが必要となるランク 1 の二次形式に対する厳密なグローバルな命題を提供することにあると主張する。本論文は、既存の graded 行列因子化へのアプローチは、超可換性と偶数分割を前提としているため、この目的には不適切であると論じる。奇数次数行列因子化の理論を開発し、分岐二重被覆との同値を証明することにより、本論文は以下の点を実現する。

1. 点ごとの同値 (1.1) と全球的な幾何学的構成を統一する。
2. $fq^2$ の形の超ポテンシャルを持つ行列因子化を理解するための新たな道具を提供する。
3. 対角二次曲面族および特異な二重被覆の文脈におけるホモロジー的射影双対に対する幾何学的解釈を提供する。
4. 反復された二重被覆とクリフォード代数との関係を明確にし、ノイラー周期性の反復に関する潜在的な混乱を解消する。

本論文は、将来の含意については控えめに述べており、結果が特異な二重被覆および最小圏論的解消に対するホモロジー的鏡対称性との関連を示唆しているものの、これらは現在の研究の確立された結論ではなく、さらなる調査の領域であると指摘している。この研究は、ノイラー周期性の「奇数」側を形式化する基礎的な一歩として提示されている。