A 2-systolic inequality on non-rational compact Kähler surfaces with positive scalar curvature

この論文は、正の種数を持つコンパクトリーマン曲面への非定値正則写像を許容する正のスカラー曲率を持つコンパクトケーラー曲面（すなわち正則曲線上の正則束）に対して、2-シスロリック不等式が成り立つことを証明しています。

要約

🌟 論文のテーマ：「小さな輪」と「膨らみ」の関係

この研究は、「球（風船）」のような膨らんだ形をした表面において、**「表面を一周する最小の輪（糸）」**がどれくらい短くできるか、という問題を扱っています。

• 正の曲率（Positive Scalar Curvature）： 地面が「お椀」や「風船」のように膨らんでいる状態。
• 2-シストル（2-systole）： その表面を一周する「一番短い輪（糸）」の長さ（面積）。
• 目標： 「表面の膨らみ具合（曲率）」と「一番短い輪の長さ」の間に、**「膨らみが強ければ、輪は短くはならない（あるいは、一定の限界がある）」**というルールを見つけ出すこと。

🎈 具体的な発見：「風船とゴム紐」の法則

著者の沙哲浩（Zehao Sha）さんは、ある特定の「膨らんだ表面」について、以下の重要なルールを見つけました。

「表面の一番強い膨らみ（最小の曲率）」×「一番短い輪の面積」は、ある決まった数（8π）を超えてはいけない。

これを**「風船とゴム紐」**に例えてみましょう。

1. 風船（表面）： 空気が入って膨らんだ風船を考えます。
2. ゴム紐（輪）： その風船の周りに、一番細く、一番短いゴム紐を一周させようとしています。
3. ルール： 風船が**「すごく硬く（強く膨らんで）」いる場合、ゴム紐を「極端に細く（短く）」**することはできません。逆に、ゴム紐を極端に細くしようとすると、風船は膨らみすぎたり、形が変わったりして、元の「硬い膨らみ」を保てなくなります。

この論文は、**「風船が『平らな部分（ドーナツのような穴）』を持っている場合」**に、このルールがどうなるかを証明しました。

🔍 なぜ「ドーナツ（穴）」が重要なのか？

この研究の面白い点は、「穴（ドーナツの形）」がある風船に焦点を当てていることです。

• 通常の風船（球）： 穴がありません。
• この論文の風船： 穴が開いていて、その穴の周りに「輪」が作れるような形（種数が 1 以上の曲面）を持っています。

著者さんは、**「この穴のある風船に、ある特定の『魔法の糸（正則写像）』を張る」というアイデアを使いました。
これは、「風船の表面を、穴のあるドーナツ型の地図に投影する」**ようなイメージです。

• 魔法の糸の役割： この糸を張ることで、風船の「膨らみ」と「輪の長さ」の関係を計算しやすくなります。
• 結果： 計算すると、**「風船が『平らなドーナツ』と『丸い風船』を組み合わせた形（CP1 × C）」をしているときだけ、このルールが「限界値（8π）」**にぴったり達することがわかりました。

🏆 重要な結論：「完璧な形」と「不完全な形」

この研究でわかったことは、大きく分けて 2 つです。

1. 完璧なケース（限界に達する）：
   もし、その表面が「丸い風船（CP1）」と「平らなドーナツ（C）」をくっつけたような**「完璧な組み合わせ」でできていて、かつ「平らな部分」が本当に平ら（曲がりがない）であれば、「膨らみ × 輪の長さ ＝ 8π」という最大値**に達します。

   • 例え： 完璧に均一に膨らんだ風船に、均一な太さのゴム紐が一周している状態。

2. 不完全なケース（限界未満）：
   もし、その表面が「ドーナツの穴」を持っていて、そのドーナツが**「完全に平らではない」（少し歪んでいる）場合、「膨らみ × 輪の長さ」は 8π よりも必ず小さくなります。**

   • 例え： 風船の一部が少しへこんでいたり、歪んでいたりすると、ゴム紐を一周させるのに必要な「余裕」がなくなり、結果として数値が小さくなります。

📝 まとめ：この論文は何を伝えている？

この論文は、数学的な難しい言葉を使わずに言うと、以下のようなメッセージです。

「『穴』のある膨らんだ世界（曲面）において、その世界の『硬さ（曲率）』と『最小の輪の大きさ』には、決まった関係がある。

もしその世界が『丸い風船』と『平らなドーナツ』の完璧な組み合わせなら、その関係は最大値に達する。
しかし、もしドーナツが少し歪んでいたり、形が不完全だったりすれば、その関係は最大値に届かない（厳密に小さくなる）。」

著者さんは、この「限界値」と「不完全さ」の関係を、新しい数学的な道具（レベルセット法）を使って証明しました。これは、「形（幾何学）」と「大きさ（トポロジー）」が、どのように密接に結びついているかを示す、美しいルール発見と言えます。

---

一言で言うと：
「穴のある膨らんだ世界で、一番短い輪の長さと、世界の膨らみ具合には『8π』という天井があり、それは『完璧な形』の場合にしか届かない」ということを証明した論文です。

技術概要

論文要約：正スカラー曲率を持つ非有理コンパクトケーラー曲面における 2-シストル不等式

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

シストル幾何学（Systolic geometry）は、リーマン多様体における非自明なホモロジーサイクルの最小サイズ（シストル）と、その大域的な幾何学的性質（特にスカラー曲率）の関係を研究する分野です。

• 既存の知見:
  • 正スカラー曲率（PSC）を持つ 3 次元多様体において、Bray-Brendle-Neves [BBN10] は、$\pi_2$-シストルとスカラー曲率の最小値の間に以下の不等式が成り立つことを示しました（等号成立条件付き）。
    $$\text{sys}_{\pi_2}(M, h) \cdot \min_M S_M \leq 8\pi$$
  • この不等式は、$M$ が $S^2 \times S^1$ の等長的被覆である場合に等号が成立します。
• 本研究の動機:
  • Stern [Ste22] は、3 次元多様体上の $S^1$ 値調和写像に対してレベルセット法を用いた不等式を導入し、Bray-Brendle-Neves の結果を一般化しました。
  • 本研究は、Stern のアプローチを正の種数（$g \geq 1$）のリーマン曲面にファイバー束構造を持つコンパクトケーラー曲面へと適応させ、同様の 2-シストル不等式を確立することを目的としています。
• 対象とする多様体:
  • 正スカラー曲率を持つコンパクトケーラー曲面 $X$ であり、かつ種数 $g(C) \geq 1$ のコンパクトリーマン曲面 $C$ への非定値な正則写像 $f: X \to C$ を許容するもの。
  • 分類論によれば、このような曲面は、正の種数を持つ複素曲線上の「ルール曲面（ruled surface）」に相当します。

2. 主要な手法（Methodology）

本研究では、以下の数学的ツールを組み合わせて証明を構築しています。

1. レベルセット法とファイバー構造の利用:
   • 正則写像 $f: X \to C$ に対して、$C$ の点 $z$ に対するファイバー $D_z = f^{-1}(z)$ を考えます。これは $X$ 内の Cartier 除子（滑らかな部分多様体）となります。
2. 接合公式（Adjunction Formula）とガウスの方程式:
   • ファイバー $D$ 上のリッチ曲率と $X$ 上のリッチ曲率の関係を、接合公式とガウスの方程式を用いて導出します。これにより、ファイバー上のスカラー曲率 $S_D$ と $X$ のスカラー曲率 $S_X$、および法方向の勾配項の関係を式 (2.3) として得ます。
3. Bochner 公式と面積公式（Co-area formula）:
   • 正則写像に対する Bochner 公式を用いて、$|\partial f|^2$ のラプラシアンを評価します。
   • これに面積公式を適用し、$X$ 全体での積分を、ファイバー $D_z$ 上での積分と基底 $C$ 上での積分に分解します。
4. 積分不等式の導出:
   • 上記の関係を統合し、ファイバー上の勾配項とスカラー曲率の差に関する積分不等式（Lemma 2.3）を導出します。特に、基底 $C$ が平坦（種数 1）でない場合、厳密な不等号が成立します。

3. 主要な結果（Key Results）

定理 1.2（および定理 3.2）:
$X$ を、種数 $g(C) \geq 1$ のコンパクトリーマン曲面 $C$ への非定値な正則写像 $f: X \to C$ を持つコンパクト PSC ケーラー曲面とする。このとき、以下の不等式が成り立ちます。

$$\min_X S_X \cdot \text{sys}_2(X, \omega) \leq 8\pi$$

• 等号成立条件:
  • 等号が成立するのは、$X$ が $\mathbb{C}P^1 \times C$ の等長的被覆であり、$\mathbb{C}P^1$ 上の標準的な Fubini-Study 計量と $C$ 上の平坦計量の積として計量が与えられている場合に限られます。
  • このとき、2-シストルは $\mathbb{C}P^1$ ファイバーによって達成されます。

系 1.3（Corollary 1.3）:
もし基底曲面 $C$ の種数が $g(C) \geq 2$ である場合、上記の不等式は厳密になります。
$$\min_X S_X \cdot \text{sys}_2(X, \omega) < 8\pi$$
これは、基底が双曲型（負の曲率）を持つ場合、モデルケース（$S^2 \times S^1$ 型）からの乖離が避けられないことを示しています。

4. 具体例と考察

著者は、$X = \mathbb{P}^1 \times C$ （$g(C) \geq 2$）という積多様体を例として挙げています。

• $\mathbb{P}^1$ には Fubini-Study 計量（スカラー曲率 8）、$C$ には定スカラー曲率計量（スカラー曲率 $-8+\epsilon$）を乗じます。
• 全体のスカラー曲率は $S_X = \epsilon$ （正）となります。
• このとき、$\mathbb{P}^1$ ファイバーの面積は $\pi$、$C$ ファイバーの面積はより大きくなります。したがって $\text{sys}_2(X) = \pi$ です。
• 結果として、$\min S_X \cdot \text{sys}_2 = \epsilon \pi$ となり、$\epsilon \to 8$ の極限で $8\pi$に近づきますが、$g \geq 2$の限り$8\pi$ に達することはありません。

5. 意義と貢献（Significance）

• 高次元への一般化: Bray-Brendle-Neves の 3 次元 PSC 多様体における結果を、正の種数を持つファイバー束構造を持つ 4 次元ケーラー曲面へと拡張しました。
• 分類論との整合性: 正スカラー曲率を持つケーラー曲面の分類（Yau, LeBrun, Brown による成果）を踏まえ、その中で「非有理（non-rational）」かつ「正の種数ファイバー」を持つケースに焦点を当て、その幾何学的制約を明確にしました。
• 厳密性の証明: 基底の種数によって不等式の厳密性が変わることを示し、特に $g \geq 2$ の場合にモデルケースからの「厳密なギャップ（quantitative gap）」が存在することを証明しました。これは、幾何学的構造がシストル不等式の最適値にどのように影響するかを浮き彫りにしています。

この論文は、シストル幾何学と複素幾何学の交差点において、スカラー曲率の正性とファイバー束構造がもたらす制約を定量的に記述する重要な一歩となっています。