[論文レビュー] Equivariant class group. III. Almost principal fibrer bundles

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

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

ひとこと要約

本稿は、余次元2以上の閉部分集合を除いて主バンドルであるような有理的 almost 主バンドル——つまり、余次元2以上の部分集合を除いて主バンドルである——の概念を導入し、不変体論における余次元2の議論を一般化する。下降を用いて、反射的加群とG-不変反射的加群の間のカテゴリカル同値を確立することで、不変体論、代数幾何、可換環論の分野において、類群、正則加群、フロベニウス押し出し、およびグローバルF正則性に関する結果を統一する。多節代数の環とトーリック多様体に関する既知の定理の新しい証明と一般化が得られる。

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.

研究の動機と目的

• 有理的almost主バンドルを用いて、不変体論における余次元2の議論を形式化すること。
• 下降を用いて、商スキーム上の反射的加群とG-不変反射的加群の間のカテゴリカル同値を確立すること。
• 多節代数の環とトーリック多様体のフロベニウス押し出しに関する既知の結果を一般化すること。
• 局所クルールおよびノエター的(S2)スキームに双対複体を持つ場合の、類群、正則加群、F正則性を統合的に扱う枠組みを提供すること。
• グローバーイの下降定理を有理的almost主バンドルへ拡張し、群作用と商の間で加群的性質を移すことを可能にすること。

提案手法

• Gが底空間に自明に作用する図式として、有理的almost主Gバンドルを定義する。ここで、写像は余次元2以上の部分集合を除いて主バンドルである。
• グローバーイの下降定理を用い、開部分多様体UとVを介して、X上のG-不変反射的加群のカテゴリとY上の反射的加群のカテゴリを関連付ける。
• i*, i*, ρ*, および (⋅)G ∘ ρ* によって誘導されるカテゴリ同値を用い、Ref(G,X) と Ref(Y) を関連付ける。
• セールの(S2)条件と双対複体を用いて、ノエター的スキーム上の反射的加群と正則加群を分析する。
• フロベニウス捩じれ関手とフロベニウス核関手を適用し、フロベニウス押し出しとグローバルF正則性を研究する。
• 有限群スキーム、多節代数の環、トーリック多様体のコックス環、全射的グレーディング付き環、および行列式環に対してこの枠組みを適用し、統一的な結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 不変体論における余次元2の議論は、有理的almost主バンドルを用いてどのように形式化できるか？
• RQ2 有理的almost主バンドルの下での商スキームの類群および正則加群は、元のスキームのそれらとどのような関係にあるか？
• RQ3 この一般化された枠組み下で、トーリック多様体の構造層のフロベニウス押し出しはどのように振る舞うか？
• RQ4 このアプローチを用いて、クランノとハシモトの既知の結果を超えて、多節代数の環の正則加群を一般化できるか？
• RQ5 有理的almost主バンドルの文脈で、グローバルF正則性が保証されるための条件は何か？

主な発見

• 反射的加群のカテゴリRef(Y)とG-不変反射的加群のカテゴリRef(G,X)は、関手 i*ρ*j* および (⋅)Gj*ρ*i* の合成により同値である。
• 有理的almost主バンドルの類群および正則加群は、この同値関係のもとで保存され、多節代数の環に関する既知の結果を一般化する。
• トーリック多様体の構造層のフロベニウス押し出しに関するトムセンの結果の一般化に対する新しい証明が与えられる。
• 有理的almost主バンドルの枠組みを用いることで、クランノとハシモトの元の結果を超えて、多節代数の環の正則加群が一般化される。
• グローバルF正則性は、有理的almost主バンドルによって誘導されるカテゴリ同値のもとで保存され、正の特性における代数幾何の既知の結果が拡張される。
• この枠組みは、不変体論、代数幾何、可換環論における結果を統合し、行列式環やトーリック多様体のコックス環に関する結果に対しても、新しい証明を提供する。