Lefschetz filtration and Perverse filtration on the compactified Jacobian

本論文は、平面特異点を持つ複素積分曲線のコンパクト化ヤコビアンにおいて、マウリック・ユンが予想した通り、ルシュテッツフィルトレーションとパーバースフィルトレーションが互いに相反する関係にあることを示しています。

要約

この論文は、数学の難しい世界（代数幾何学）にある「特異点を持つ曲線（ひび割れや交点のある線）」と、その「コンパクト化されたヤコビアン（曲線から作られるある種の空間）」について書かれています。

専門用語を避け、日常の比喩を使ってこの研究の核心を解説します。

1. 舞台設定：ひび割れた地図と「ヤコビアン」

まず、「曲線 C」を想像してください。これは平らな紙に描かれた線ですが、完璧な直線ではなく、「ひび割れ」や「交点」（特異点）がある状態です。

この曲線から作られる**「コンパクト化されたヤコビアン（J）」とは、その曲線の上にある「すべての可能な状態（束縛されたひもや、電荷の配置など）」を整理して並べた巨大な地図**のようなものです。

この地図（J）は、元の曲線にひび割れがあるため、地図自体も**「歪んでいたり、角が尖っていたり」**する可能性があります。

2. 二つの「フィルター（選別機）」

この論文の主人公は、この歪んだ地図（J）の「形」や「構造」を分析するための**2 つの異なる選別機（フィルター）**です。

フィルター A：「レフシェッツ・フィルター」（重力のフィルター）

• 仕組み: 地図の特定の場所（十分大きな divisor）に「重み」をつけて、それを掛け算のように作用させます。
• イメージ: 地図の上に**「重い石」**を置くと想像してください。その石の重さ（コホモロジーの積）によって、地図の情報が「下層（低い次元）」に沈んでいくように整理されます。
• 特徴: 数学的には「レフシェッツ作用素」という、石を落とすような操作で、情報を階層化します。

フィルター B：「パーバス・フィルター」（家族のフィルター）

• 仕組み: 元の曲線 C を、滑らかな曲線たちからなる「家族（ファミリー）」の一部として捉え、その家族全体を動かすことで情報を整理します。
• イメージ: 曲線 C が「変形する家族」の一人だと考えます。その家族全体（B）を眺めながら、曲線 C の情報を「どのくらい複雑な変形に耐えられるか」という基準で選別します。
• 特徴: これは「パーバーブ・コホモロジー」という、非常に洗練された数学的な道具を使って作られます。

3. 論文の発見：「反対の方向」

これまでの数学の予想（マウリクとユンの予想）では、この**2 つのフィルターは「真逆の方向」**に働いているのではないかと言っていました。

• レフシェッツ・フィルターは、情報を「下（低い次元）」へ押し下げる。
• パーバス・フィルターは、情報を「上（高い次元）」へ積み上げる。

そして、この論文の著者（姚 元氏）は、この予想を証明しました。

「この 2 つのフィルターは、互いに『鏡像』のように反対の方向に働いている！」

つまり、ある情報が「レフシェッツ・フィルター」で低い階層にあるなら、それは「パーバス・フィルター」では高い階層にある、という完璧なバランスが成り立っていることが分かりました。

4. どのように証明したのか？（魔法の鏡と変換）

この証明には、いくつかの「魔法の道具」が使われました。

1. フーリエ変換（鏡）:
   通常、曲線が滑らか（ひび割れがない）なときは、情報を左右に反転させる「フーリエ変換」という鏡のような道具が使えます。しかし、今回は曲線にひび割れがあるため、普通の鏡では映りません。
   著者は、**「双変分理論（Bivariant theory）」という、歪んだ空間でも使える高度な数学の道具箱を開けて、新しい「フーリエ変換」を定義しました。これは、歪んだ地図でも情報を正しく反転させることができる「魔法の鏡」**です。

2. スリ2 三重奏（SL2-triple）:
   証明の核心は、2 つのフィルターを操作する「魔法の杖（演算子）」を見つけ出すことです。

   • 杖 A：レフシェッツ（石を落とす）
   • 杖 B：フーリエ変換を使って逆転させる
   • これらを組み合わせて、**「スリ2 三重奏」**と呼ばれる、物理学の対称性（回転やスピン）のような美しい構造を作りました。

   この構造が完成した瞬間、2 つのフィルターが「真逆」であることが、数学的に必然として導き出されました。

5. まとめ：なぜこれがすごいのか？

この研究は、**「歪んだ世界（特異点を持つ曲線）」と「滑らかな世界（家族としての曲線）」の間に、「完璧なバランス（双対性）」**が存在することを示しました。

• 日常への例え:
  Imagine 建物の設計図（曲線）にひび割れがあったとします。

  1. 重力（レフシェッツ）で建物を押しつぶすと、どの階が潰れるか？
  2. 建物を家族として変形させると、どの階が最も複雑に動くか？

  この論文は、「重力で一番下にある階は、変形させると一番上に現れる」という驚くべき法則を発見し、証明したのです。

これは、数学の「特異点（ひび割れ）」という難しい問題を、**「対称性」と「変換」**という美しい言葉で解き明かした快挙と言えます。

技術概要

論文「コンパクト化ヤコビアン上のレフシェッツ濾過とパース濾過」の技術的サマリー

著者: 姚 元 (Yao Yuan)
対象: 複素平面特異点を持つ積分曲線 $C$ とそのコンパクト化ヤコビアン $J$

1. 研究の背景と問題設定

本論文は、代数幾何学、特に曲線のヤコビアンとそのコンパクト化におけるコホモロジー環の構造に関する研究です。

• 対象: $C$ を複素数体上の平面特異点（planar singularities）を持つ積分曲線とし、$J$ をそのコンパクト化ヤコビアン（ランク 1 のねじれ自由層のパラメータ空間）とします。
• 核心となる問題: $H^*(J)$（$J$ のコホモロジー環）には、自然に定義される 2 つの異なる濾過（filtration）が存在します。
  1. レフシェッツ濾過 (Lefschetz filtration): $J$ 上の特定の ample 除子（Theta 除子 $\Theta$）によるカップ積で定義される冪零作用素 $L_\Theta$ から導かれる濾過。
  2. パース濾過 (Perverse filtration): $C$ を滑らかな族 $C \to B$ に埋め込み、相対コンパクト化ヤコビアン $f: \mathcal{J} \to B$ を考えることで得られる分解（分解定理）から誘導される濾過。

Maulik と Yun は、これらの 2 つの濾過が「互いに反対（opposite）」であるという予想（Conjecture 1.2）を立てました。すなわち、ある特定の次数の成分において、一方の濾過が他方の濾過の「補空間」の役割を果たすという関係です。本論文の目的は、この予想を証明し、その構造を具体的に記述することにあります。

2. 手法とアプローチ

著者は、以下の 3 つの主要な数学的ツールを組み合わせて証明を構築しています。

2.1. Rennemo の分解定理の活用

Rennemo [11] は、$J$ のコホモロジー $H^*(J)$ に対して、ヒルベルト・スキーム $C[n]$ のコホモロジーを用いた分解 $H^*(J) = \bigoplus_{k \ge 0} D_k H^*(J)$ を構成しました。この分解は、パース濾過 $P_{\le m}$ と密接に関連しており、$P_{\le m} = \bigoplus_{k \le m} D_k$ となります。本論文では、この $D_k$ 分解をレフシェッツ濾過の観点から再解釈します。

2.2. 双変量理論 (Bivariant Theory) の適用

$C$ が特異である場合、$J$ も特異となり、通常のホモロジーやコホモロジーの積構造が定義できない、あるいはポアンカレ双対性が成り立たないという問題が生じます。

• 著者は、Fulton の双変量理論（bivariant theory）を導入し、特異多様体上でもwell-defined な作用素を定義しました。
• 特に、ポアンカレ層（Poincaré sheaf）$\mathcal{P}$ を用いたフーリエ変換 $\mathcal{F}: H^*(J) \to H^*(J)$ を双変量理論の枠組みで厳密に定義し、これが同型写像であることを示しました。

2.3. $\mathfrak{sl}_2$ 表現の構成

レフシェッツ濾過とパース濾過の関係を明らかにするため、$H^*(J)$ 上の線形作用素の組を構成しました。

• $e: a \mapsto \Theta \cap a$ （$\Theta$ による積）
• $f := -\mathcal{F} \circ e \circ \mathcal{F}^{-1}$ （フーリエ変換を用いた双対的な作用素）
• これらの双対作用素 $e^\vee, f^\vee$ を用いて、$(e^\vee, [e^\vee, f^\vee], f^\vee)$ が $\mathfrak{sl}_2$ 三重奏（$\mathfrak{sl}_2$-triple）をなすことを示しました。

3. 主要な結果

3.1. 主定理 (Theorem 1.3 / Corollary 3.7)

$H^*(J)$ 上の作用素 $(e^\vee, [e^\vee, f^\vee], f^\vee)$ は $\mathfrak{sl}_2$ 三重奏を形成し、その固有値分解は Rennemo による $D_k$ 分解と一致します。
具体的には、レフシェッツ濾過 $W_k$ とパース濾過 $P_{\le m}$ は以下の関係にあります。
$$W_k(H^*(J)) = \bigoplus_{j \ge 2g-k} D_j H^*(J)$$
$$P_{\le m}(H^*(J)) = \bigoplus_{j \le m} D_j H^*(J)$$
ここで $g$ は $C$ の算術種数です。この関係から、$m + k < 2g$ ならば $W_k \cap P_{\le m} = \{0\}$ となり、2 つの濾過が「反対（opposite）」であることが証明されました。

3.2. 具体的な作用素の記述

$\Theta$ によるカップ積が生成する $\mathfrak{sl}_2$ 表現の構造が、フーリエ変換と双変量理論を通じて具体的に記述されました。特に、特異曲線の場合でもフーリエ変換が well-defined であることを示した点が技術的なハイライトです。

3.3. 補題と付録の貢献

• Proposition 2.4: 特定のベクトル束 $E_n$ のチャーン類 $c_i(E_n)$ が $i \ge 2$ で 0 になること、および $c_i(E_n) = \frac{1}{i!}(-\Theta)^i$ となることを証明しました。これは主定理の証明において決定的な役割を果たします。
• 付録 A: 特異多様体上の双変量理論と Riemann-Roch 定理の復習を提供し、特異点を持つ場合の計算の正当性を担保しています。

4. 意義と貢献

1. Maulik-Yun 予想の解決: 複素数体上の平面特異点を持つ曲線に対して、レフシェッツ濾過とパース濾過が反対であるという予想を完全に証明しました。
2. 特異多様体上のフーリエ変換の定式化: 滑らかな場合の古典的なフーリエ変換を、特異なコンパクト化ヤコビアンに対して双変量理論を用いて拡張し、その性質を確立しました。これは特異代数多様体のコホモロジー理論における重要な進展です。
3. $\mathfrak{sl}_2$ 表現の具体化: 特異な場合においても、ヤコビアン上のコホモロジーが $\mathfrak{sl}_2$ 表現の構造を持つことを示し、その生成元を具体的に構成しました。
4. 手法の一般化: 双変量理論とフーリエ変換を組み合わせる手法は、他の特異なモジュライ空間の構造解析にも応用可能な可能性があります。

5. 結論

本論文は、特異な曲線のコンパクト化ヤコビアンという複雑な対象において、2 つの重要な濾過（レフシェッツ濾過とパース濾過）が深い対称性（反対性）を持って結びついていることを示しました。その証明には、Rennemo の分解定理、双変量理論、そしてフーリエ変換の巧妙な組み合わせが用いられ、代数幾何学におけるコホモロジー構造の理解を深める重要な成果となっています。