arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2004.12298math.AGmath.KT
收藏

域上对数基模的三角范畴

Triangulated categories of logarithmic motives over a field

Federico Binda, Doosung Park, Paul Arne Østvær

摘要:

在这项工作中,我们开发了一个理论的动机对数计划领域的意义上的Fontaine,Illusie,和加藤。我们的构造是基于有限对数对应的概念,对数方案上的划分Nisnevich拓扑,以及用$\overline{\square}$参数化同伦的基本思想,即关于其在无穷远处的紧化对数结构的投影线.我们表明,霍奇上同调的对数计划是一个$\overline{\square}$不变的理论,是表示在对数动机的范畴。我们的类别是密切相关的Voevodsky的类别的动机和$\mathbb{A}^{1}$不变的理论:假设奇点的分解,我们确定后者与满子范畴组成的$\mathbb{A}^{1}$局部对象的对数动机。基本属性,如$\overline{\square}$ -同伦不变性,迈尔-Vietoris的覆盖,类似物的Gysin序列和Thom空间同构以及爆破公式和投影束公式见证的设置的鲁棒性。

英文摘要:

In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at infinity. We show that Hodge cohomology of log schemes is a $\overline{\square}$-invariant theory that is representable in the category of logarithmic motives. Our category is closely related to Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories: assuming resolution of singularities, we identify the latter with the full subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of logarithmic motives. Fundamental properties such as $\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, the analogs of the Gysin sequence and the Thom space isomorphism as well as a blow-up formula and a projective bundle formula witness the robustness of the setup.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑