[論文レビュー] A case study of intersections on blowups of the moduli of curves

Samouil Molcho, Dhruv Ranganathan|arXiv (Cornell University)|Jun 29, 2021

Algebraic Geometry and Number Theory参考文献 44被引用数 8

ひとこと要約

本稿では、対数幾何、Fultonの blowup 公式、および区分的多項式作用素を用いて、ブローアップの下で二重分岐サイクルの仮想的厳密逆像として生じることを示すことにより、曲線のモジュライ空間におけるトーリック接触サイクルがタウトロジカルであることを確立する。主な結果は、これらのサイクルがタウトロジカル環に属することであり、対数的コンパクト化を用いた高次元設定へのFabre–Pandharipandeの結果の一般化である。

ABSTRACT

We explain how logarithmic structures select principal components in an intersection of schemes. These manifest in Chow homology and can be understood using strict transforms under logarithmic blowups. Our motivation comes from Gromov--Witten theory. The extit{toric contact cycles} in the moduli space of curves parameterize curves that admit a map to a fixed toric variety with prescribed contact orders. We show that they are intersections of virtual strict transforms of double ramification cycles in blowups of the moduli space of curves. We supply a calculation scheme for the virtual strict transforms, and deduce that toric contact cycles lie in the tautological ring of the moduli space of curves. This is a higher dimensional analogue of a result of Faber--Pandharipande. The operational Chow rings of Artin fans play a basic role, and are shown to be isomorphic to rings of piecewise polynomials on associated cone complexes. The ingredients in our analysis are Fulton's blowup formula, Aluffi's formulas for Segre classes of monomial schemes, piecewise polynomials, and degeneration methods. A model calculation in toric intersection theory is treated without logarithmic methods and may be read independently.

研究の動機と目的

• 曲線のモジュライ空間の対数的コンパクト化におけるサイクルの交線論を理解すること。
• 対数的グロモフ＝ウィトテン理論における単純な退化および積分公式の不成立を、コンパクト化の完全な逆系を用いることで解消すること。
• 対数的グロモフ＝ウィトテン理論の主要対象たるトーリック接触サイクルが、曲線のモジュライ空間のチャウ環におけるタウトロジカルクラスであることを示すこと。
• ブローアップ公式、セグレ類、および区分的多項式を用いて仮想的厳密逆像を体系的に計算するフレームワークを構築すること。

提案手法

• コンパクト化を滑らかな中心に沿ったブローアップとルートスタックの逆系としてモデル化する対数幾何を用いることで、完全な幾何的構造を捉える。
• Fultonのブローアップ公式とAluffiの単項式スキームのセグレ類の公式を用いて、仮想的厳密逆像における補正を計算する。
• 特に例外的除集合上でのブローアップに沿ったクラスの押し出しを記述するために、区分的多項式作用素を適用する。
• 滑らかな中心に沿ったブローアップおよびブローアップダウンの列を用いて、異なるコンパクト化を関連付ける弱因子分解定理を利用する。
• 二重分岐サイクルのストラトゥムのためのプロジェクト型バンドルモデルを構築し、問題をより小さい、帰納的に解けるケースに還元する。
• アーティンファンの操作的チャウ環とその関連する錐複体上の区分的多項式環との同型を活用して、タウトロジカルクラスを分析する。

実験結果

リサーチクエスチョン

• RQ1 対数的構造は、スキームの交線において主成分を選択するメカニズムは何か？ そして、これらはチャウホモロジーにおいてどのように現れるか？
• RQ2 最小モデルにおける対数的モジュライ空間で、標準的な交線公式がなぜ不成立となるのか？ そして、より細かいコンパクト化ではどのように回復できるか？
• RQ3 曲線のモジュライ空間におけるトーリック接触サイクルはタウトロジカルであるか？ もしそうならば、仮想的厳密逆像の観点から、その幾何的起源は何か？
• RQ4 ブローアップの下で二重分岐サイクルの仮想的厳密逆像をアルゴリズム的に計算可能か？ そして、タウトロジカル環に留まるか？
• RQ5 操作的チャウ環と区分的多項式は、対数的モジュライ問題におけるタウトロジカルクラスの記述において、どのような役割を果たすか？

主な発見

• トーリック接触サイクルが曲線のモジュライ空間のタウトロジカル環に属することを示した。これは、Fabre–Pandharipandeの結果を対数的グロモフ＝ウィトテン理論へと拡張したものである。
• ブローアップの下での二重分岐サイクルの仮想的厳密逆像は、タウトロジカルクラスの引き戻しおよびストラトゥムの正規バンドルのチャーン根によって生成される部分環に属する。
• 仮想的厳密逆像への補正クラスは例外的除集合に台を持つ。この補正は仮想引き戻しとブローアップに沿った押し出しを用いて計算される。
• アーティンファンの操作的チャウ環は、その関連する錐複体上の区分的多項式環と同型であり、タウトロジカル計算のための組合せ論的道具を提供する。
• 本稿で構築されたプロジェクト型バンドルモデルにより、タウトロジカル性の問題を双対グラフの頂点におけるより小さい二重分岐サイクルに還元できる。
• 主な結果は、弱因子分解定理とプロジェクト型バンドル公式を用いて、低(genus)または低(マーク)のケースに帰納的に還元することで、帰納的に証明された。