[论文解读] Equivariant class group. III. Almost principal fibrer bundles

Mitsuyasu Hashimoto|arXiv (Cornell University)|Mar 7, 2015

Commutative Algebra and Its Applications参考文献 17被引用 11

一句话总结

本文引入了有理几乎主纤维丛的概念——即在余维数为二或以上的闭子集之外为主丛的丛——以推广不变量理论中的余维数二论证。通过下降法，建立了可反射模与等变可反射模之间的范畴等价，统一了不变量理论、代数几何与交换代数中关于类群、典范模、弗罗贝尼乌斯上拉与全局F-正则性的结果，为多重截面环与 торic 簇上的已知定理提供了新的证明与推广。

ABSTRACT

As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of reflexive modules over locally Krull schemes, the category of the coherent sheaves which satisfy Serre's condition $(S'_2)$ over Noetherian $(S_2)$ schemes with dualizing complexes, the class group, the canonical module, the Frobenius pushforwards, and global $F$-regularity, of a rational almost principal bundle. We give examples of finite group schemes, multisection rings, surjectively graded rings, and determinantal rings, and give unified treatment and new proofs to known results in invariant theory, algebraic geometry, and commutative algebra, and generalize some of them. In particular, we generalize the result on the canonical module of the multisection ring of a sequence of divisors by Kurano and the author. We also give a new proof of a generalization of Thomsen's result on the Frobenius pushforwards of the structure sheaf of a toric variety.

研究动机与目标

• 通过有理几乎主纤维丛的形式化不变量理论中的余维数二论证。
• 通过下降法，建立商概形上的可反射模与等变可反射模之间的范畴等价。
• 推广关于多重截面环的典范模与 торic 簇的弗罗贝尼乌斯上拉的已知结果。
• 为具有对偶复形的局部克鲁尔与诺特（S2）概形中的类群、典范模与F-正则性提供统一框架。
• 将格罗滕迪克的下降定理推广至有理几乎主纤维丛，实现群作用与商之间模理论性质的转移。

提出的方法

• 将有理几乎主G-丛定义为一个图，其中G在基上平凡作用，且该态射在余维数二或以上的子集之外为一个主丛。
• 利用格罗滕迪克的下降定理，通过开子簇U与V，将X上的等变可反射模范畴与Y上的可反射模范畴联系起来。
• 利用由i*、i*、ρ*与(⋅)G∘ρ*诱导的范畴等价，关联Ref(G,X)与Ref(Y)。
• 利用塞尔的(S2)条件与对偶复形，分析诺特概形上的可反射模与典范模。
• 应用弗罗贝尼乌斯扭与弗罗贝尼乌斯核函子，研究弗罗贝尼乌斯上拉与全局F-正则性。
• 将该框架应用于有限群概形、多重截面环、toric 簇的考克斯环、满射分次环与行列式环，以获得统一结果。

实验结果

研究问题

• RQ1 如何利用有理几乎主纤维丛来形式化不变量理论中的余维数二论证？
• RQ2 一个概形及其在有理几乎主纤维丛下的商之间的类群与典范模之间有何关系？
• RQ3 在此推广的框架下，Frobenius上拉在toric概形的结构层上如何表现？
• RQ4 能否利用此方法将Kurano与Hashimoto的已知结果进一步推广至多重截面环的典范模？
• RQ5 在有理几乎主纤维丛的背景下，全局F-正则性的条件是什么？

主要发现

• 通过函子复合i*ρ*j*与(⋅)Gj*ρ*i*，Y上的可反射模范畴与X上G-等变可反射模范畴之间存在等价。
• 有理几乎主纤维丛的类群与典范模在该等价下保持不变，推广了关于多重截面环的已知结果。
• 给出了Thomsen关于toric概形结构层的弗罗贝尼乌斯上拉推广结果的新证明。
• 利用有理几乎主纤维丛框架，将Kurano与Hashimoto的原始结果进一步推广至多重截面环的典范模。
• 全局F-正则性在有理几乎主纤维丛诱导的范畴等价下保持不变，扩展了正特征代数几何中的已知结果。
• 该框架统一并为不变量理论、代数几何与交换代数中的结果（包括行列式环与toric概形的考克斯环）提供了新证明。