[论文解读] Logarithmic Chow theory

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

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

一句话总结

本文為有限生成对数方案引入了一种改进的对数查沃理论，将双不变查沃理论扩展至包含对数平坦与对数光滑态射下的上推、下拉与吉辛映射。核心贡献在于，通过利用局部自由对数结构并借助对数完美障碍理论构造吉辛映射，即使在非光滑概形上也能建立具有良好定义的双不变理论与庞加莱对偶性。

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.

研究动机与目标

• 通过构造支持在适当与对数平坦态射下上推与下拉的双不变理论，将经典查沃理论扩展至对数概形。
• 为局部自由对数概形之间的对数态射定义吉辛下拉映射，即使其底层面概形不光滑。
• 通过在对数设定下工作，解决现有 b-Chow 理论的局限性，其中通过对数爆破可更易处理奇点的解析化。
• 将新理论与 [Her19] 中的对数法丛构造联系起来，建立兼容性并提供基本类的几何解释。
• 为对数模问题中的虚拟基本类提供一个框架，确保在对数爆破下兼容，并保持虚拟周期行为。

提出的方法

• 从有限型有限生成对数概形范畴构造一个维数分次函子 $ A_*^\flat $，取值于分次阿贝尔群，推广经典查沃群。
• 定义沿适当对数态射的上推与沿对数平坦态射的下拉，保持维数分次。
• 为相对维数为 $ d $ 的对数态射定义吉辛下拉 $ f^! $，当源与目标均关于 $ \operatorname{Spec}k $ 对数光滑时。
• 利用 $ X \to \mathcal{A}_{X/Y} $ 的对数完美障碍理论，结合至 $ Y $ 的严格映射，定义 $ A_*^\flat(X \to Y) $ 中的 Herr-吉辛下拉。
• 将构造应用于对数模堆栈，证明虚拟基本类在对数爆破下通过吉辛映射保持不变。
• 当 $ Y $ 拥有相容基本类时，建立对数法丛 $ \mathcal{C}^{\ell}_{X/Y} $ 上的典范基本类。

实验结果

研究问题

• RQ1 能否为有限生成对数概形构造一个双不变查沃理论，使其在底层面概形不光滑时仍支持上推、下拉与吉辛映射？
• RQ2 在对数设定下，如何利用障碍理论定义吉辛映射，特别是当对数结构为局部自由时？
• RQ3 新对数查沃理论与 [Her19] 中的对数法丛构造之间有何关系？
• RQ4 对数模问题中的虚拟基本类是否在对数爆破下保持兼容性？这一性质能否在新理论中捕捉？
• RQ5 该理论能否用于将 [Ran19a] 中关于虚拟周期兼容性的结果推广至更广泛的对数概形类？

主要发现

• 为有限型有限生成对数概形（关于 $ \operatorname{Spec}k $）构造了双不变对数查沃理论 $ A_*^\flat $，支持在适当与对数平坦态射下的上推与下拉。
• 当 $ X $ 与 $ Y $ 均关于 $ \operatorname{Spec}k $ 对数光滑时，为相对维数为 $ d $ 的对数态射定义了吉辛下拉 $ f^! $，满足预期的函子性。
• 该理论满足庞加莱对偶性，将经典光滑查沃理论中的对偶性推广至对数设定。
• 当 $ Y $ 拥有相容基本类时，对数法丛 $ \mathcal{C}^{\ell}_{X/Y} $ 允许一个典范基本类，解决了 [Her19] 中提出的问题。
• 通过对数完美障碍理论构造的吉辛映射在进一步对数爆破下保持稳定，确保在对数模问题中兼容。
• 局部自由对数堆栈的虚拟基本类在对数爆破下保持不变，确认了与 [Ran19a] 类似的兼容性结果在对数设定下的成立。