Logarithmic Fulton--MacPherson configuration spaces

技術的概要：対数的フルトン・マクファーソン構成空間

問題提起
本論文は、滑らかな射影多様体 $X$ 上の $n$ 個の相異なる点の順序付き構成空間の単純交差（SNC）コンパクト化であるフルトン・マクファーソン（FM）構成空間 $FM_n(X)$ に関する 2 つの根本的な問いに答えるものである。

1. 相対的コンパクト化: SNC コンパクト化 $(X, D)$ を持つ非固有多様体 $U$ が与えられたとき、構成空間 $Conf_n(U)$ の SNC コンパクト化をどのように構成できるか？Kim と Sato [KS09] の先行研究は $D$ が滑らかな場合を扱ったが、本論文は $D$ が一般的な SNC 除数である一般の場合に対する解決策を求める。
2. 退化: 曲線 $B$ 上の SNC 特殊ファイバーを持つ $X$ の退化 $\omega: W \to B$ が与えられたとき、空間 $FM_n(X)$ はどのように退化するか？Routis [Rou14] は滑らかな境界の場合にこれに答えたが、一般の場合には新たな手法が必要である。

手法
著者は、古典的な FM 構成を一般化するために、対数幾何学および熱帯幾何学の手法、特にアートンファーン、コーンスタック、熱帯化を利用する。アプローチは主に 2 つの段階で進行する。

1. グリッド展開の構成:

   • 著者はまず、安定な $n$ 点付き「グリッド展開」のモジュライ空間 $(X|D)[n]$ を構成する。
   • これは、有理多面体コーン複体である対 $(X, D)$ の熱帯化 $\Sigma_X$ に依存する。
   • 構成には、$\Sigma_X$ の「印付きグリッド部分分割」の定義が含まれる。これらは、熱帯化上の $n$ 点によって誘導される多面体部分分割であり、格子状の構造（射の部分分割の交差）で配置される。
   • コーンスタックとアートンファーンとの同値性を用いて、著者はスタック $En(X|D)$上のグリッド展開の普遍族を構成する。その後、モジュライ空間$(X|D)[n]$を、この普遍族を引っ張り返すことで得られる$X^n$ の対数的修正として定義する。
   • この空間 $(X|D)[n]$ は、境界から点を分離する $D$ に沿った $X$ の退化上の点をパラメータ化する。

2. 点の分離のための反復ブローアップ:

   • 元のフルトン・マクファーソンの方針に従い、著者は対角線（およびその支配的変換）に沿って $(X|D)[n]$ を反復的にブローアップし、$n$ 個の点を互いに分離する。
   • これにより、対数的フルトン・マクファーソン空間 $FM_n(X|D)$ が得られる。
   • 安定な $n$ 点付き FM グリッド展開（グリッド展開の FM 退化）をパラメータ化する普遍族 $\pi_{FM}: FM_n(X|D)^+ \to FM_n(X|D)$ が構成される。

3. FM 空間の退化:

   • 退化 $\omega: W \to B$ に対して、著者は安定な $n$ 点付き「単体格子展開退化」のモジュライ空間 $W[n]_\omega$ を構成する。
   • これには、底曲線 $B$ に適応させた退化の熱帯化の「単体格子部分分割」が含まれる。
   • $W[n]_\omega$ の反復ブローアップにより、退化 $FM_n(W/B) \to B$ が得られる。

主要な貢献と結果

• 定理 A（対数的 FM コンパクト化）: SNC 対 $(X, D)$ に対して、スキーム $FM_n(X|D)$ は $Conf_n(X \setminus D)$ の単純交差コンパクト化である。これは安定な $n$ 点付き FM グリッド展開のモジュライスタックを表す。この空間は、格子部分分割と根付き木を含む熱帯 analogue である「植生された森（planted forests）」に対応する組合せ的タイプによる層構造を持つ。
• 定理 B（対数的滑らかな退化）: SNC 退化 $\omega: W \to B$ が与えられたとき、射 $FM_n(W/B) \to B$ は、既約ファイバーを持つ $FM_n(X)$ の固有、平坦、対数的滑らかな退化である。これは安定な FM 展開退化の普遍族を備える。
• 定理 C（退化公式）: $FM_n(W/B)$ の特殊ファイバーの既約成分は、「剛性のある組合せ的タイプ」（熱帯モジュライが頂点となるタイプ）と全単射する。そのような各成分は、基礎となる展開の成分に関連する対数的 FM 空間の積の固有双有理修正である。具体的には、$\rho$ が剛性タイプである場合、成分 $FM_n(W/B)(\rho)$ は $\prod_{v} FM_{I_v}(Y_v | D_v)$ へ写像され、ここで $Y_v$ は特殊ファイバー展開の成分である。
• 展開の標準的な選択: マウルック・ランガナタンなどの先行研究（展開が写像の熱帯タイプに依存する）とは異なり、本論文は多面体部分分割から導かれる展開（「グリッド展開」と「単体格子展開」）の標準的な選択を確立する。これにより、代数スタックによって表現可能な、 well-defined な展開のスタックが可能となる。
• 熱帯化: $FM_n(X|D)$ の熱帯化は、特定の条件を満たす植生された森のモジュライ空間として同定される。$D$ が空の場合、これは [FM94] で記述された根付き木の空間を回復する。

意義と主張
本論文は、SNC 境界を持つ多様体上の構成空間とその退化を扱うための体系的な枠組みを提供し、古典的なフルトン・マクファーソン理論を対数的設定に拡張するものである。

• 一般化: 滑らかな境界に対する Kim–Sato [KS09] の構成や、展開に対する Abramovich–Fantechi [AF17] の構成を、任意の SNC 除数および退化の場合に一般化する。
• 標準的構造: グリッドおよび単体格子という標準的な部分分割の選択を利用することで、写像タイプに基づく展開の選択の曖昧さを回避し、モジュライ空間のより詳細な記述を可能にする。
• 応用: 著者は以下の潜在的な応用を指摘する。
  • 対 $(X, D)$ に対する対数的非分岐グロモフ・ウィッテン理論の定義（進行中の作業 [Mok26]）。
  • 非分岐グロモフ・ウィッテン不変量に対する退化公式の導出。これらは、ファノの場合にパンダハリパンデによって予想され、ネステロフ [Nes25b] によって証明されたゴパクマール・ヴァファ不変量と関連する可能性がある。
  • 古典的および対数的 FM 空間の交差理論の調査。タウトロジー類の積分の生成級数が、チャーン数における普遍多項式で表現可能なコボルディズム不変量である可能性を示唆する。

本論文は、これらの応用については「潜在的」かつ「進行中の作業」として位置づけつつ、構成空間そのものの構築と性質に関する構造的結果を強調することで、謙虚な姿勢を保っている。