[論文レビュー] Homological invariants of determinantal thickenings

Claudiu Raicu|arXiv (Cornell University)|Dec 28, 2017

Commutative Algebra and Its Applications参考文献 16被引用数 4

ひとこと要約

この論文は、GLₘ(ℂ)×GLₙ(ℂ)の作用下における行列式イデアルのホモロジー的不変量—Tor、Ext、局所コホホロジー—を、表現論、D-加群、代数幾何学を用いて調査する。Extおよび局所コホホロジー加群の明示的記述がなされ、Lie超代数表現を通じてサイジージ構造が同定され、複素数体上の行列式環における不変量の包括的な枠組みが提供される。

ABSTRACT

The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve combining an array of techniques from other fields of mathematics. In recent years tools from algebraic geometry and representation theory have been successfully employed in order to shed some light on the structure of homological invariants associated with determinantal rings. The goal of this notes is to survey some of these results, focusing on examples in an attempt to clarify some of the more technical statements.

研究の動機と目的

• 複素数体上の多項式環におけるGLₘ(ℂ)×GLₙ(ℂ)-不変イデアル、特に行列式イデアルを分類すること。
• 基本的なホモロジー的不変量であるTor、Ext、局所コホホロジーのGLₘ(ℂ)×GLₙ(ℂ)-加群構造を記述すること。
• これらの不変量の構造を、表現論、代数幾何学、D-加群理論の深い道具と結びつけること。
• 局所コホホロジー加群のサイジージ構造および拡張データに関する未解決問題を特定すること。
• 対称的および反対称的行列への枠組みの拡張、および正標数の類似物の考察を行うこと。

提案手法

• De Concini-Eisenbud-Procesiが確立した、ストレートニング法則を伴う代数を用いたGLₘ(ℂ)×GLₙ(ℂ)-不変イデアルの分類を用いる。
• Grothendieck双対性およびBorel–Weil–Bott定理を適用し、Grassmannian上での表現としてExt加群を計算する。
• 特にJordan–Hölder層構造を用いて、局所コホホロジーを正則正則ホロノミックD-加群として解析する。
• 特に主イデアルの場合に、一般線型Lie超代数の表現論を用いてサイジージ加群を研究する。
• D-加群理論を活用し、局所コホホロジー加群の合成因子および拡張データを記述する。
• [raicu-weyman]および[raicu-regularity]の結果を応用し、行列式イデアルの正則性および射影次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 GL-不変イデアルIに対して、Tor加群Tor•S(I, ℂ)のGLₘ(ℂ)×GLₙ(ℂ)-加群構造は何か？
• RQ2 行列式イデアルに対して、Ext加群Ext•S(S/I, S)はどのように表現として明示的に記述できるか？
• RQ3 行列式イデアルに対して、局所コホホロジー加群H•I(S)の合成系列および拡張データは何か？
• RQ4 2 < p < nおよび1 < d < n−1のとき、行列式イデアルの小規模なべきのCastelnuovo–Mumford正則性に対して閉じた公式が与えられるか？
• RQ5 正標数の体上での行列式イデアルのホモロジー的不変量はどのように振る舞い、分類はそこへ拡張可能か？

主な発見

• 行列式イデアルIn,pのExt加群Ext•S(S/I, S)は、Borel–Weil–Bott理論およびGrothendieck双対性を用いて明示的に計算されている。
• 局所コホホロジー加群H•I(S)は、有限長の正則正則ホロノミックD-加群であり、合成因子は式(5.3)に符号化されている。
• 行列式イデアルIn,pに対して、通常のべき、飽和されたべき、および記号的べきの正則性は、d ≥ n−1のときreg(Ipd) = pd + ⌊(p−1)/2⌋⌈(p−1)/2⌉で与えられる。
• p=2の場合、d = 1, ..., n−1に対してI2dの正則性はd + n − 1であり、低次元の場合の閉じた公式が得られる。
• 主GL-不変イデアルのサイジージ加群Tor•S(I, ℂ)は、Lie超代数の表現論により知られているが、一般の場合の問題は未解決のままである。
• m=nの場合、GL-同変正則正則ホロノミックD-加群の圏は半単純でなく、合成因子を超えて拡張データを計算する必要がある。