Multigraded Regularity of the Complete Flag Variety

技術要約：完全旗多様体の多重次数付き正則性

問題設定
本論文は、プルヴェカー埋め込みの下での完全旗多様体 $Fl(\mathbb{C}^n)$ の多重次数付き正則性（multigraded regularity）の計算に取り組むものである。MaclaganとSmithは、積射影空間へのCastelnuovo-Mumford正則性を一般化するために多重次数付き正則性を導入したが、特定の多様体の族に対する明示的な計算は依然として乏しい。著者らは、豊かな組合せ論的構造を持ち、プルヴェカー埋め込みによって誘導される自然な多重次数を持つ完全旗多様体に焦点を当てている。具体的には、$\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$ への埋め込みの下での、コヒーレント層 $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ が $d$-正則となるような多重次数 $d \in \mathbb{Z}^{n-1}$ の集合を決定することを中心的な問いとしている。

手法
本研究は、組合せ論的データと多重次数付き可換代数の相互作用を活用している。主要な理論的ツールはBorel-Weil-Bott定理であり、これは完全旗多様体上の線束のコホモロジーに関する完全な組合せ論的記述を提供する。具体的には、著者らはBottのアルゴリズム（およびその反転カウントのバリアント）を利用して、コホモロジー群 $H^i(F, \mathcal{O}_F(a))$ の消滅を判定する。

多重次数付き正則性の定義は、すべての $i > 0$ および $|c|=i$ を満たすすべての $c \in \mathbb{N}^{n-1}$ に対して、コホモロジー群 $H^i(P, \mathcal{G}(d-c))$ が消滅することを要求する。著者らは、完全旗多様体において、定義イデアル $S/I$ の正則性が、関連するコヒーレント層 $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ の正則性と一致することを確立している。

$n$ の増加に伴う計算の複雑さを管理するため、著者らは $Fl(\mathbb{C}^n)$ と $Fl(\mathbb{C}^{n-1})$ の正則領域の間の帰納的関係を開発した。これらの関係により、計算された $Fl(\mathbb{C}^n)$ の正則領域に基づいて、$Fl(\mathbb{C}^{n+1})$ の正則領域の内側および外側の境界を導出することが可能となる。小さな $n$ に対しては、Macaulay2ソフトウェアを用いて明示的な計算を行い、Bottの定理から導かれた反転カウント基準を通じてコホモロジー消滅条件を検証している。

主要な貢献と結果

1. 帰納的境界（定理AおよびB）：
   本論文は、正則性の伝播に関する2つの重要な帰納的命題を証明している。

   • 非正則性の伝播： もし $a$ が $Fl(\mathbb{C}^n)$ の正則領域に含まれないならば、任意の整数 $b$ に対して、拡張された次数 $(a, b)$ および $(b, a)$ は $Fl(\mathbb{C}^{n+1})$ の正則領域には含まれない。これは外側境界を確立する方法を提供する。
   • 正則性の伝播： もし $a$ が $Fl(\mathbb{C}^n)$ の正則領域に含まれるならば、$b$ が十分に大きい場合（具体的には $b \geq \dim(Fl(\mathbb{C}^{n+1}))$）、$(a, b)$ および $(b, a)$ は $Fl(\mathbb{C}^{n+1})$ の正則領域に含まれる。これは内側境界を提供する。

2. 低次 $n$ に対する明示的な計算（定理A）：
   著者らは、$n \leq 6$ における正則領域の極小要素の完全な記述を提供している。

   • $n=3$： 正則領域は $\mathbb{N}^2$ である（極小要素は $(0,0)$）。
   • $n=4$： 極小要素は $(1,0,0), (0,1,0), (0,0,1)$ である。これの検証には83個のコホモロジー条件のチェックを要する。
   • $n=5$： 19個の極小要素が存在する。
   • $n=6$： 179個の極最小要素が存在する。
     単一の要素を検証するために必要なコホモロジー条件の数は急速に増大する（例：$n=6$ では15,503個の条件）。そのため、計算機による支援が必要となる。

3. 漸近的挙動（定理C）：
   最小全次数 $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$ を分析することで、著者らは正則領域の成長に関する境界を確立している。

   • 下界： $n \geq 7$ に対して $m(n) \geq \frac{6}{5}n - 6$。
   • 上界： $m(n) \leq \frac{n^3 - n - 24}{6}$。
     これは、最小全次数の成長が少なくとも線形であり、最大で3次であることを示している。

4. 標準次数付き正則性：
   また、プルヴェカー像のセグレ埋め込みを介して単一の射影空間に埋め込まれた場合の、旗多様体の標準次数付き正則性も計算している。正則性は $d-1$ であることが示されている。ここで $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$ である。

意義と主張
本論文は、範囲指定された $n$ に対して、完全旗多様体の多重次数付き正則性の最初の完全な記述を提供したことを主張している。これは、理論的な定義を超えて、明示的な計算結果へと踏み込むものである。本論文は、検証すべき条件の数が $n$ に対して階乗的に増大することを指摘し、問題の困難さを強調している。

その意義は、組合せ論的代数幾何学と多重次数付き可換代数学の架け橋となる点にある。旗多様体の組合せ論的構造（特にブルア順序とBorel-Weil-Bott定理）を利用することで、著者らは、グラスマン多様体やシューベルト多様体に対してCastelnuovo-Mumford正則性が組合せ論的データにエンコードされているのと同様に、多重次数付き正則性もまた組合せ論的データにエンコードされていることを示している。

著者らは、任意の $n$ に対する一般の場合については控えめな姿勢を保っている。例えば、$m(n)$ の成長が二次的であること（具体的には $n \geq 4$ に対して $m(n) = \binom{n-2}{2}$）、および対角線上 $(a, \dots, a)$ の正則領域が $a \geq \frac{n-3}{2}$ によって決定されるという予想を立てているが、これらは未解決の問いである。本論文は、すべての $n$ についての問題を解決したと主張するのではなく、帰納的境界の枠組みを確立し、漸近的挙動を示唆する低次元における具体的なデータセットを提供することを目指している。