Tangent discontinuity in the oper stratification of de Rham moduli spaces

あなたは、数学的な図形で構成された広大な魔法の風景を探索していると想像してください。これは山や川の風景ではなく、「モジュライ空間」という抽象的な地図によって構成された風景です。これらは、特定の種類の幾何学的対象のあらゆるバージョンを整理・分類する巨大な地図です。この論文では、ある特別な種類の地図である「ド・ラム・モジュライ空間（de Rham moduli space）」に注目しています。これは、曲面（ドーナツやプレッツェルのようなもの）上のラインの束（bundle of lines）に対して、「平坦接続（flat connection）」（滑らかに、かつねじれずに移動するためのルールのこと）をどのように付加できるかをカタログ化しているものです。

この風景をナビゲートするために、数学者たちは「オペレーター層構造（oper stratification）」という道具を使用します。この風景をレイヤー状のケーキだと想像してみてください。各レイヤー、あるいは「層（stratum）」は、似たような振る舞いをする形状をグループ化しています。各層の中には、「ファイバー（fiber）」（これは、ケーキの中を走る滑らかで平坦な道や小道のようなものです）が存在します。有名な数学者であるシンプソンは、ある美しいアイデアを提唱しました。それは、これらの道が完璧に組み合わさり、単一の滑らかで連続的な流れ、まるで緩やかな傾斜を流れ落ちる水のように形成されるというものです。彼はこれを「フォリエーション予想（foliation conjecture）」と呼びました。もしこれが真実であれば、マップ上のどこにいても、層から次の層へと移動する際に、道の方向が滑らかかつ予測可能な形で変化することを意味します。

しかし、この論文はこの美しいアイデアの絨毯を足元から引き抜いてしまいます。著者であるファンフェイ・ファン（Pengfei Huang）は、特定の複雑な形状（具体的には、種数 $g \ge 4$、つまり穴が4つ以上あるプレッツェルのような曲線）において、道は滑らかに流れないことを示しています。代わりに、そこには突然の、衝撃的な不連続性が現れます。それは、まるで滑らかなハイウェイを運転している最中に、予告なしに突然、道が鋭く予期せぬ角度に傾くようなものです。この論文は、これらの「接平面（tangent planes）」（道の向きを示すもの）が、滑らかに滑ることなく唐突に跳ね上がることを数学的に証明しています。これは、シンプソンの夢見た完璧な流れが、これらの特定のケースにおいては成立しないことを意味しており、これらの数学的世界の織物に隠された「粗さ」を明らかにしています。

---

壊れた流れの物語

この数学的な探偵物語の詳細に踏み込んでみましょう。舞台は、滑らかな複素射影曲線上の「平坦な束（flat bundles）」の世界です。単純にするために、曲線 $X$ を、装飾的な多孔ドーナツだと想像してください。「種数（genus）」$g$ は、単に穴の数です。この論文は $g \ge 4$ のドーナツに焦点を当てています。これらのドーナツ上で、私たちはランク2の束（rank 2 bundles）を見ています。これは、曲面上を走る2本の平行な線だと考えることができます。

数学者たちは、これらの束を「ド・ラム・モジュライ空間 $M_{dR}(X, r)$」と呼ばれる巨大な空間の中に整理してきました。この空間の中には、「オペレーター層構造」と呼ばれる特別な分類方法が存在します。この分類は、特定の数学的なトリック（$\mathbb{G}_m$-作用）を用いて拡大・縮小した際の、束の振る舞いに基づいています。この分類は、異なる「層（strata）」を作り出し、$G_0, G_1, \dots, G_{g-1}$ とラベル付けされています。

各層の中には、特別な「ファイバー（trails）」（ここでは「小道」と呼びましょう）が存在します。シンプソンは、これらの小道が「ラグランジアン（Lagrangian）」であること、つまり、それらが完璧にバランスが取れており、特別な幾何学的性質を持っていることを示しました。大きな問いであったフォリエーション予想は、次のようなものでした：これらの小道は組み合わさって、単一の滑らかな連続的フローを形成するのか？ 言い換えれば、層 $G_e$ の小道から隣接する層 $G_{e-1}$ の小道へと歩を進める際、小道の方向は緩やかに、かつ連続的に変化するのだろうか？

この論文は、明確に「ノー」と答えています。

著者は特定の反例を構築します。彼は種数 $g \ge 4$ の曲線を選び、$e$ を 2 から $g-2$ の間の整数とします。そして、一つの層（$P_e$）における特定の「安定固定点（stable fixed point）」$p$ を選び出します。この点は、ド・ラム空間における特定の束 $y_0$ に対応しています。

ここからが実験の巧妙な部分です。著者は「ホロモーフィックな変形（holomorphic deformation）」、つまり、時間が経過するにつれて束が変化していく様子を描いた「映画」を作成します。彼は $y_0$（層 $G_e$ 内）から出発し、微小な時間 $t \neq 0$ における新しい点 $y_t$（隣接する層 $G_{e-1}$ 内）へとわずかに移動します。

もしフォリエーション予想が真実であれば、$y_t$ における小道の方向（接空間）は、$t$ が 0 に近づくにつれて、$y_0$ における小道の方向へと滑らかに収束するはずです。しかし、この論文は、それが起こらないことを証明しています。

著者は、$t \to 0$ となるにつれて、$y_t$ における小道の方向が $y_0$ における方向へと収束しないことを示しています。代わりに、接空間の極限は、全く別の平面になります。それは、北に向かって進んでいるように見える道が、境界線を越えた瞬間に、突然北東を向くようなものです。そして、その遷移は曲線ではなく、鋭い不連続なジャンプなのです。

ジャンプはどのようにして起こるのか

なぜこのジャンプが起こるのかを理解するために、著者は「シンプソン・フィルトレーション（Simpson filtration）」、つまり束をより単純な断片へと分解する方法に注目します。束が層 $G_e$ にあるとき、それは特定の構造を持っています。それが $G_{e-1}$ へと移動するとき、それはわずかに変化します。

著者は、「ヒッグス場（Higgs field）」（束がどのようにねじれるかを記述する数学的対象）がゼロとなる特定の点 $x$ に焦点を当てます。彼は、束が特定の様式で「飽和（saturated）」するように変化する変形を作成します。

鍵となる発見は、「接平面（tangent plane）」（小道の方向）に関するものです。

1. 開始点 ($y_0$) において： 接平面は、$F^1 H^1(C^\bullet)$ と呼ばれる特定の部分空間です。
2. 近くの点 ($y_t$) において： 接平面は異なる部分空間です。
3. 極限： $t$ が 0 に近づくとき、近くの点からの接平面は、元の平面へと戻ることはありません。代わりに、それは元の平面に、追加の方向である $w_x$ を加えた新しい平面へと落ち着きます。

この追加の方向 $w_x$ こそが、「決定的な証拠（smoking gun）」です。これは、極限を見たときにのみ現れる「ウェイト・ゼロ（weight-zero）」の方向を表しています。論文は、この方向が非ゼロであり、「ボックシュタイン・クラス（Bockstein class）」と呼ばれる特定の数学的不変量によって検出されることを証明しています。この追加の方向が存在するため、二つの平面は異なるものとなるのです。

結論

本論文は、種数 $g \ge 4$ の任意の滑らかな複素射影曲線において、ランク2のド・ラム・モジュライ空間のオペレーター層構造におけるラグランジアン・ファイバーは、$C^1$ フォリエーション（滑らかで連続微分可能な流れ）を形成しないと結論付けています。

著者は、これらのファイバーが滑らかに組み合わさっているという考えを明確に否定しました。層の「入れ子構造（nestedness）」（一つの層が次の層の閉包の中に位置すること）は、シンプソンが以前の論文で証明した通り正しいのですが、それらの間の流れの「滑らかさ」は偽なのです。接空間は不連続です。

この結果は、ランク2におけるシンプソンのフォリエーション予想に対する反例となります。これは、層の「入れ子」は真実であっても、それらの間の流れの「滑らかさ」は偽であることを示しています。接空間は不連続なのです。

この論文は、単なる示唆ではなく、厳密かつ証明されたものです。著者は、特定の整数 $e$（$2 \le e \le g-2$）と、ヒッグス場が消滅する曲線上の特定の点 $x$ を用いた具体的な構成を提供しています。数学的な計算は、接平面の極限が特別なリーフ（leaf）の接平面とは厳密に異なることを示しており、これにより予想が成立しないことを証明しています。

結局のところ、これらのモジュライ空間の風景は、シンプソンの滑らかな流れが示唆したものよりも、より険しく、興味深いものです。道はただ滑るのではなく、つまずき、高次種数の曲線上の平坦な束の幾何学における、隠された複雑さを露呈させているのです。