[論文レビュー] Logarithmic Chow theory

Lawrence Jack Barrott|arXiv (Cornell University)|Oct 8, 2018

Algebraic Geometry and Number Theory参考文献 20被引用数 11

ひとこと要約

本稿では、fs logスキームに対して洗練された対数 Chow 理論を導入し、log平坦およびlog滑らか準同型の下で、押し出し、引き戻し、Gysin写像を含むbivariant Chow 理論を拡張する。主な貢献は、局所自由な対数構造を活用し、log完全な障害理論を用いてGysin写像を構成することにより、滑らかでないスキームに対しても、Poincaré双対性を満たす明確に定義されたbivariant理論を構築することにある。

ABSTRACT

We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward and pull-back along proper and log flat morphisms respectively, together with a bivariant theory satisfying Poincare Duality. In the final section we relate this construction to the construction of the log normal cone by Leo Herr.

研究の動機と目的

• 滑らかでないスキームに対しても適用可能な、押し出しと引き戻しを許容するbivariant理論を構築することにより、古典的 Chow 理論をfs logスキームへ拡張すること。
• 底辺のスキームが滑らかでない場合でも、局所自由な対数構造を持つlogスキーム間の対数準同型に対して、Gysin引き戻し写像を定義すること。
• log吹き上げによる特異点の解消がより取り扱いやすいlog設定において、既存のb-Chow理論の制限を克服すること。
• 本稿の理論と[Her19]における対数正規被包構成との関係を確立し、適合性を示し、基本類の幾何的解釈を提供すること。
• logモジュライ問題における仮想基本類の枠組みを提供し、対数吹き上げにおいても適合性を保ち、仮想サイクルの振る舞いを維持すること。

提案手法

• fs logスキームの圏から次元付きのアーベル群の族への関手 $ A_*^{lat} $ を構成し、古典的 Chow 群を一般化する。
• 固有な対数準同型に沿った押し出しと、対数平坦な準同型に沿った引き戻しを定義し、次元のグレーディングを保つ。
• 源と被源が両方とも $ \operatorname{Spec}k $ に対して対数滑らかであるとき、相対次元 $ d $ の対数準同型 $ f $ に対してGysin引き戻し $ f^! $ を導入する。
• $ X \to \mathcal{A}_{X/Y} $ の対数完全な障害理論を用い、$ Y $ への厳密な写像と合成することで、$ A_*^{lat}(X \to Y) $ におけるHerr-Gysin引き戻しを定義する。
• logモジュライスタックにこの構成を適用し、Gysin写像を介して仮想基本類が対数吹き上げのもとで保存されることを示す。
• $ Y $ に適合する基本類を持つとき、対数正規被包 $ \mathcal{C}^{\ell}_{X/Y} $ に標準的な基本類が存在することを確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない底辺スキームに対しても、押し出し、引き戻し、Gysin写像を許容する、fs logスキームのためのbivariant Chow 理論を構築できるか？
• RQ2 特に対数構造が局所自由である場合に、障害理論を用いて対数設定におけるGysin写像をどのように定義できるか？
• RQ3 本稿の新しい対数 Chow 理論と[Her19]における対数正規被包構成との関係は何か？
• RQ4 logモジュライ問題における仮想基本類は、対数吹き上げに対して適合性を示すのか？この適合性は新しい理論で捉えられるか？
• RQ5 この理論を用いて、[Ran19a]における仮想サイクル適合性に関する結果を、より広いクラスのlogスキームへ拡張できるか？

主な発見

• $ \operatorname{Spec}k $ 上の有限型のfs logスキームに対して、押し出しと引き戻しを固有および対数平坦な準同型の下で許容するbivariant対数 Chow 理論 $ A_*^{lat} $ が構成された。
• 源と被源が両方とも $ \operatorname{Spec}k $ に対して対数滑らかであるとき、相対次元 $ d $ の対数準同型 $ f $ に対してGysin引き戻し $ f^! $ が定義され、期待される関手的性質を満たす。
• 理論はPoincaré双対性を満たし、滑らかなChow理論における古典的双対性を対数設定へ一般化する。
• $ Y $ に適合する基本類を持つとき、対数正規被包 $ \mathcal{C}^{\ell}_{X/Y} $ に標準的な基本類が存在し、[Her19]における疑問を解決する。
• 対数完全な障害理論を用いて構成されたGysin写像は、さらなる対数吹き上げに対して安定であり、logモジュライ問題における適合性を保証する。
• 局所自由な対数スタックの仮想基本類は、対数吹き上げのもとで保存され、[Ran19a]と同様の適合性結果が対数設定において確認された。