Regularity of the volume function

この論文は、射影多様体のビッグ錐体上の体積関数が最適な$C^{1,1}$正則性を持つことを証明し、アンプル方向へ移動する線分上でのその正則性を調査したものである。

要約

🎨 絵画の「広がり」を測る話

まず、この研究の舞台は「多様体（マンフォールド）」という、複雑な形をした空間です。これを**「巨大なキャンバス」**だと想像してください。

このキャンバスの上には、様々な「絵（数学的な対象）」を描くことができます。この論文では、その絵が**「どれだけ広がりを持っているか」を測るためのものさしとして「体積（Volume）」**という概念を使っています。

• 普通の体積： 箱の大きさや、土地の広さ。
• この論文の「体積」： 絵がキャンバス全体にどれだけ「豊かに」広がっているかを示す数値です。

📉 滑らかさの謎：なめらかさのレベル

数学者たちは、この「体積」が変化する様子を調べることに興味を持っていました。
例えば、絵の形を少しだけ変えて（パラメータ $t$ を変えて）いったとき、体積はどのように変化するか？

• なめらか（滑らか）： 滑らかな坂道を歩くように、変化が予測可能で、急な段差がない状態。
• ザラザラ： 階段のように、変化に角がある状態。

これまでの研究では、「この体積の関数は、ある程度まで滑らかである（微分可能）」ということはわかっていました。しかし、**「どこまで滑らかなのか？」**という究極の質問に答えられていませんでした。

🏆 今回の発見：「C1,1」という黄金の境界線

この論文の著者たち（Junyu Cao と Valentino Tosatti）は、この「滑らかさ」の限界を突き止めました。

彼らが証明したのは、**「この体積の関数は、C1,1 というレベルの滑らかさを持つが、それ以上（C2 など）はなめらかではない」**という事実です。

🍦 アイスクリームと氷の例え

これをイメージしてみましょう。

1. C1（1 階微分可能）： 氷の表面が滑らかで、指でなぞると「滑らかだ」と感じる状態。傾き（勾配）は連続しています。
2. C1,1（今回の発見）： 氷の表面は滑らかですが、**「傾きの変化率（曲がり具合）」**には限界があります。つまり、急激に曲がったり、ギザギザしたりはしないが、完璧な円弧のような「無限に滑らかな曲線」にはなっていない状態です。
   • 例えれば、**「少し硬めのゼリー」**のような感じ。触ると滑らかですが、指で押すと「バネ」のような抵抗（限界）を感じます。
3. C2（2 階微分可能）： 完璧に滑らかな鏡のような表面。傾きの変化も滑らか。

著者たちは、「この体積の関数は、ゼリーのように滑らかだが、鏡のように完璧に滑らかではない」と証明しました。これが「最適（Optimal）」な滑らかさです。

🚗 坂道を下る車と、壁にぶつかる車

さらに面白い発見は、**「進む方向」**によって滑らかさが変わるという点です。

• ケース A：「豊か」な方向へ進む（大いなる方向）

  • 絵がすでにキャンバス全体を覆っているような状態から、さらに豊かにしていく方向です。
  • ここでは、体積の変化は**「ゼリー（C1,1）」**のように滑らかです。予測可能です。

• ケース B：「壁」にぶつかる方向（境界へ向かう）

  • 絵がキャンバスの端（境界）に近づいていく方向です。
  • ここでは、体積は急にゼロになったり、変化が激しくなったりします。ここでは「ゼリー」さえも保てず、**「階段（なめらかさがない）」**に近い状態になります。

• ケース C：「逆」方向へ進む（Lazarsfeld 氏の予想）

  • 著者たちは、もし「豊か」な状態から、少しだけ「引き算」をしていく方向（$t \to -t$）へ進んだ場合、体積の変化は**「鏡のように完璧に滑らか（無限に微分可能）」**になるかもしれない、という予想も紹介しています。
  • これは、**「氷を削る作業」が、逆に「氷を溶かす作業」**よりもはるかに滑らかに行われるかもしれない、という不思議な現象に似ています。

🧱 積み木とパズル

なぜこの発見が重要なのか？

数学の世界では、この「体積」の関数は、**「複雑なパズル」**を解くための鍵になります。

• これまで、パズルのピースの形が「どこまで滑らかか」が不明で、計算が難航していました。
• 今回は、「ピースの表面は『ゼリー』レベルで滑らかだ」ということがわかったため、数学者たちは**「ゼリーを扱うための道具（数学的手法）」**を使って、より正確にパズルを解けるようになりました。

まとめ

この論文は、数学の「体積」という概念について、**「それはどこまで滑らかか？」という問いに、「ゼリーのように滑らかだが、鏡のように完璧ではない（C1,1）」**という答えを出しました。

• 主な発見： 体積の関数は、ある特定の滑らかさ（C1,1）まで保証されるが、それ以上は保証されない。
• 面白さ： 進む方向によって、滑らかさが「ゼリー」から「階段」に変わったり、逆に「鏡」になるかもしれないという、状況依存の不思議な性質が明らかになりました。

これは、数学の「形」の美しさと、その複雑さを理解するための重要な一歩です。

技術概要

1. 問題設定と背景

体積関数の定義と性質
$X$ を滑らかな複素射影多様体（より一般にコンパクトケーラー多様体）とし、$D$ をその上のカルティエ除子とします。$D$ の体積 $\text{Vol}(D)$ は、以下のように定義されます。
$$\text{Vol}(D) := \limsup_{m \to +\infty} \frac{n! \cdot h^0(X, mD)}{m^n}$$
この体積は数値的クラスにのみ依存するため、ネロン・セベリ群 $N^1(X)$ およびその実数係数拡張 $N^1(X, \mathbb{R})$、さらには $H^{1,1}(X, \mathbb{R})$ 上の関数 $\text{Vol}$ として拡張されます。

• 既知の事実:
  • $\text{Vol}$ は $n$ 次の同次関数であり、局所リプシッツ連続です。
  • 大（big）なクラス $\alpha$ に対して、$\text{Vol}(\alpha)^{1/n}$ は凹関数です。
  • 射影多様体（あるいは BDPP 予想が成り立つケーラー多様体）において、$\text{Vol}$ は大な領域 $B_X$ の内部で $C^1$ 微分可能であり、その勾配は以下の公式で与えられます（Boucksom-Favre-Jonsson, Lazarsfeld-Mustaţă, Witt Nyström による結果）：
    $$\frac{d}{dt}\bigg|_{t=0} \text{Vol}(\alpha + t\beta) = n \beta \cdot \langle \alpha^{n-1} \rangle$$
    ここで $\langle \alpha^{n-1} \rangle$ は正の積（positive product）を表します。

未解決の問題
一般に、体積関数は $C^1$ 以上ではないことが知られています（例：$\mathbb{P}^2$ の 1 点ブローアップ）。具体的には、ヘッシアンが有界だが不連続であるため、$C^{1,1}$ 級ですが $C^2$ 級ではありません。

• 核心的な問い: 大な領域 $B_X$ の内部における体積関数の「最適な正則性」は何か？ 一般的に $C^{1,1}$ であると言えるか？
• 境界での挙動: 大な領域の境界 $\partial B_X$ における正則性はどうか？
• 線形区間上の挙動: 大なクラス $\alpha$ とケーラー類 $\omega$ に対して、関数 $t \mapsto \text{Vol}(\alpha + t\omega)$ の正則性はどうか？（特に、$\alpha$ が境界にある場合と内部にある場合の比較）。

2. 主要な結果

著者らは以下の 3 つの主要定理を証明しました。

定理 1.1（大な領域内部での最適正則性）
$X$ を射影多様体（あるいは BDPP 予想を満たすコンパクトケーラー多様体）とする。このとき、体積関数は大な領域 $B_X$ において局所的に $C^{1,1}$ 級である。
$$\text{Vol} \in C^{1,1}_{\text{loc}}(B_X)$$
これは、勾配が局所リプシッツ連続であることを意味し、ヘッシアンが有界であることを示唆します。

定理 1.2（全体空間でのリプシッツ連続性）
同じ仮定の下で、体積関数は $H^{1,1}(X, \mathbb{R})$ 全体において局所リプシッツ連続である。
$$\text{Vol} \in \text{Lip}_{\text{loc}}(H^{1,1}(X, \mathbb{R}))$$
これは、Lazarsfeld が射影多様体のネロン・セベリ群上で示した結果を、より広い空間 $H^{1,1}(X, \mathbb{R})$ へ拡張したものです。

定理 1.4（大な方向への制限における正則性）
$X$ を射影多様体とし、$\alpha \in B_X$（大なクラス）、$\omega$ をケーラー類とする。このとき、関数 $t \mapsto \text{Vol}(\alpha + t\omega)$ は区間 $[0, 1]$ 上で $C^{1,1}$ 微分可能であるが、任意の $\gamma, \epsilon > 0$ に対して $[0, \epsilon)$ 上で $C^{2,\gamma}$ 級ではない例が存在する。

• 対照的な結果: 一方、$\alpha - t\omega$ の場合（$\alpha$ が十分大であれば）、Lazarsfeld の予想通り滑らか（あるいは実解析的）になる可能性が高いことが示唆されます。

3. 手法と証明の概要

定理 1.1 の証明（2 つのアプローチ）

1. 凹性とアレクサンドロフの定理を用いた証明:
   • 関数 $f(\alpha) = \omega \cdot \langle \alpha^{n-1} \rangle$（$\omega$ はケーラー類）の $(n-1)$ 乗根が $B_X$ 上で凹関数であることを示します（Proposition 2.1）。
   • 凸解析の古典的な結果（アレクサンドロフの定理）により、凹関数はルベーグ測度でほとんど至る所 2 回微分可能であり、その微分はリプシッツ連続です。
   • これにより、勾配 $\nabla \text{Vol}$ の成分である $f$ が局所リプシッツ連続であることが導かれ、$\text{Vol} \in C^{1,1}_{\text{loc}}$ が得られます。
2. 初等的な補題を用いた証明:
   • 凹性の仮定を使わず、ベクトル空間上の関数 $f$ について、(a) 同次性、(b) 単調性（大な方向へ増加）、(c) 局所有界性 を満たせば局所リプシッツ連続になるという補題（Proposition 2.3）を適用します。
   • 体積関数の勾配の式と、正の積の性質からこれらの条件が満たされることを示します。

定理 1.2 の証明

• $B_X$ の内部では $C^{1,1}$ であることは既知です。
• 境界 $\partial B_X$ におけるリプシッツ連続性を示すために、$\alpha \in \partial B_X$ と近傍の $\beta$ に対して、線形経路 $\alpha + t(\beta - \alpha)$ 上の体積関数の微分を評価します。
• 勾配の公式を用いて、微分が有界であることを示し、境界での連続性と合わせてリプシッツ条件を満たすことを証明します。

定理 1.4 の証明（反例の構成）

• [12] において構成された、境界上の点 $D$ に対して $t \mapsto \text{Vol}_B(D + tA)$ が $C^{1,\gamma}$ ではない例を利用します。
• $B$ をある超曲面とし、$X = \mathbb{P}_B(\mathcal{O}_B \oplus A)$ という $\mathbb{P}^1$-束を構成します。
• Wolfe の公式（射影束上の体積と底空間上の体積の積分関係）を用いて、$X$ 上の体積関数を $B$ 上の体積関数の積分として表現します。
• この積分表示から、$t \mapsto \text{Vol}_X(\alpha + t\omega)$ の微分が、$B$ 上の非滑らかな関数と滑らかな関数の差として現れることを示し、結果として $C^{1,1}$ だが $C^{2,\gamma}$ ではないことを導きます。

4. 意義と考察

• 最適性の確立: 体積関数の正則性に関する長年の疑問に対し、$C^{1,1}$ が最適であることを厳密に証明しました。これは、体積関数が $C^2$ ではない（ヘッシアンが不連続）という既知の事実と整合し、その境界を明確にしました。
• 幾何学的直観の深化: 大な領域の内部では体積関数が非常に「滑らか」である（$C^{1,1}$）一方で、境界や特定の方向への制限では急激に正則性が落ちるという、体積関数の微細な構造を明らかにしました。
• 壁・チャンバー分解との関係: 曲面やトーリック多様体では、体積関数が各チャンバー内で $C^\infty$ または実解析的であることが知られています（壁・チャンバー分解）。この結果は、一般の多様体ではそのような無限微分可能性は成り立たず、$C^{1,1}$ が限界であることを示唆しています。
• 今後の課題:
  • BDPP 予想を仮定せずに、任意のコンパクトケーラー多様体で定理 1.1 を証明すること。
  • 大な領域内でルベーグ測度でほとんど至る所、体積関数が無限回微分可能かどうか（Remark 1.6）。
  • $\alpha - t\omega$ の場合の滑らかさに関する Lazarsfeld の予想の検証（Remark 1.5, Remark 3.2）。

5. 結論

本論文は、代数幾何学における体積関数の解析的性質に関する重要な進展をもたらしました。特に、$C^{1,1}$ 正則性の証明は、体積関数が双有理不変量として持つ「最大限の滑らかさ」を特定し、今後の双有理幾何学やケーラー幾何学における微分方程式や極小モデルプログラムへの応用において、堅固な基礎を提供するものです。