Complete subvarieties in the projectivized strata of meromorphic differentials

技術的要約：有理型微分の射影化された層における完備部分多様体

問題設定
本論文は、有理型微分（strictly meromorphic differentials）の射影化された層 $P\Omega M_g(\mu)$ が、正の次元の完備代数多様体を含むかという問いに取り組んでいる。ここで、$\mu$ は零点の位数と極の位数を規定する、和が $2g-2$ となる整数のタプルである。正則微分（$\mu$ の成分がすべて非負）の層にはそのような部分多様体が存在しないことは既知であり、また、有理型微分の非射影化された層においても（因子類を用いた代数幾何学的手法により）それらが存在しないことも証明されているが、射影化された有理型の場合について、平坦幾何学的な証明はこれまで欠けていた。著者らは、これらの層上に特定の解析関数を構成することによって、この空白を埋めることを目的としている。

手法
著者らは、有理型微分によって誘導される翻訳曲面構造を利用した、平坦幾何学的アプローチを採用している。核心となる手法は、射影化された層 $P\Omega M_g(\mu)$ 上に、大域的に定義された厳密な強複素解析的（strictly plurisubharmonic）な関数を構成することである。これは、以下の2つの異なる関数の組み合わせによって達成される：

1. 長さ関数 ($\ell^{-2}$): Mondelloによって導入されたこの関数は、短いサドル連結線（saddle connection）の基底の総長さを測定する。相対ホモロジーの基底 $B$ に対して、$\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$ である（ここで $P_\gamma$ はサドル連結線に沿った周期である）。大域的な関数 $\ell^{-2}$ は、これらすべての基底に対する上限として定義される。
2. 極のサイズ関数 ($S$): 本研究で新たに導入された関数である。有理型微分の平坦構造において、曲面は「コア」（零点の有限面積の凸包）と「極の領域」（各極の周囲の無限面積の領域）に分解される。これらの極の領域の境界は、「周辺サドル連結線（peripheral saddle connections）」で構成される。関数 $S(\omega)$ は、これら境界サドル連結線の部分集合に対する周期の和の絶対値の最大値として定義される：
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   ここで $D_\omega$ は、すべての極の領域の境界エッジの和集合である。

著者らは、これらの関数の変形特性を分析している。$S$ は次数1の同次関数であり、$\ell^{-2}$ は次数-2の同次関数であるが、それらの組み合わせである $2 \log S + \log \ell^{-2}$ は、射影化された層（$\omega$ を $\lambda \in \mathbb{C}^*$ でスケーリングしても値が不変となる層）上でウェルディファインド（well-defined）であることを確立している。

主な貢献と結果

• 厳密な強複素解析的関数の構成: 主要な結果（定理1.3）は、関数 $F = 2 \log S + \log \ell^{-2}$ が、任意の有理型微分の射影化された層 $P\Omega M_g(\mu)$ 上で厳密に強複素解析的であることを証明している。

  • この証明は、$\log \ell^{-2}$ が層のレイ（ray）に対して横断的な部分多様体上で厳密に強複素解析的であるという事実（Mondelloの結果を適応したもの）に基づいている。
  • 決定的な点として、著者らは $\log S$ が強複素解析的であることを証明している。これは、$S$ を定義する最大値が常に「コヒーレントなホモロジー類（coherent homology classes）」によって達成されることを示すことで達成される。これらは、周辺サドル連結線の特定の和であり、小さな変形の下でもコヒーレントな類として存続するため、$S$ を有限個のホロモルフィックな絶対値関数の最大値として局所的に表現することを可能にする。

• 完備部分多様体の非存在: 直接的な帰結として（系1.4）、著者らは $P\Omega M_g(\mu)$ 内に正の次元の完備部分多様体が存在しないことを導き出す。この議論は最大値原理に従う。非定数な強複素解析的関数は、完備多様体上に存在し得ないためである。$F$ は厳密に強複素解析的であるため、その正の次元の部分多様体への制限は非定数となり、その部分多様体が完備であるならば矛盾が生じる。

• $k$-微分への拡張: この結果は、$k$ 次以上の極を持つ $k$-微分の層にも拡張される（系1.5）。これは、そのような微分が、厳密な有理型1次形式の標準的な巡回被覆を通じて、$k$ 乗の微分へと持ち上げられることにより、非存在性を継承するという事実によって正当化される。

意義と主張
本論文は、射影化された有理型微分の層に正の次元の完備部分多様体が存在しないことを示す、最初の平坦幾何学的証明を提供したと主張している。有理型の場合の先行研究は、代数幾何学的な設定における因子類の正性に依拠していた。

著者らは、構築された極のサイズ関数 $S$ とその強複素解析的性質が、以前の代数幾何学的な証明で使用された（極における $S^1$ バンドルに関連する）$\psi$ クラスの正性の「解析的な具現化」として機能することを強調している。彼らは、この計量幾何学（平坦構造）とコホモロジー類（$\psi$ クラス）の相互作用が、Wittenの予想の文脈におけるKontsevichやMirzakhaniの手法と並行していることを指摘している。本研究は、アフィン幾何学の視点とモジュライ理論の間の溝を埋め、微分層の幾何学を研究するための新しいツールを提供することを目指している。