Complexity of the Zero Set of a Matrix Schubert Ideal

技術的サマリー：行列シュルベルトイデアルの零点集合の複雑性

問題提起
本論文は、$T$-多様体の枠組みにおける特定の部分多様体の組み合わせ論的複雑性を調査する。$T$-多様体とは、代数トーラス $T$ の作用を備えた正規多様体である。そのような多様体の複雑性は、その次元と最大 $T$-軌道の次元との差として定義される（あるいは同様に、$\dim(X) - \dim(\sigma)$、ここで $\sigma$ は重み錐）。低い複雑性は、多様体が組み合わせ論的手法により扱いやすいことを示す。例えば、複雑性 0 はトーリック多様体に対応する。

著者らは、フルトンによって導入された行列シュルベルト多様体 $X_w$ に焦点を当てる。これは、置換 $w \in S_n$ によって決定される部分行列のランク条件によって定義される $n \times n$ 行列のアフィン多様体である。$X_w$ は自然な $T \times T$ 作用（ここで $T \simeq (\mathbb{C}^*)^n$）を担うが、その複雑性はしばしば大きなアフィン因子 $\mathbb{C}^k$ によって自明化される。この問題に対処するため、著者らは $X_w \cong Y_w \times \mathbb{C}^k$（ここで $k$ は最大）という分解によって定義される多様体の「本質的」部分 $Y_w$ を研究する。$Y_w$ の定義イデアルは $X_w$ のそれと一致する。

中心的な問題は、固定された $n \geq 4$ に対して、$Y_w$ の複雑性として実現可能な非負整数の集合を特徴づけることである。先行研究では、複雑性 1 は不可能であり、$n$ が 4 の倍数全体を動く場合、達成可能な複雑性の集合から 1 を除いたものが除外されることが確立されていた。本論文は、達成可能な複雑性の正確な範囲を決定するために、固定された対称群 $S_n$ に範囲を限定する。

方法論
著者らは、代数幾何学、組み合わせ論、およびグラフ理論の組み合わせを用いる：

1. 幾何学的分解：彼らは $Y_w$ を、「北西図」$NW(w)$に入らない成分によって張られる線形部分空間への$X_w$の射影として定義する。$Y_w$の次元は$|L'(w)|$で与えられる。ここで$L'(w)$は置換のロト図$D(w)$ から導かれる特定のスキュー図である。
2. トーラス作用と重み錐：$T \times T$ 作用の下での $Y_w$ の複雑性 $d_w$ は、以下の式を用いて計算される：
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   ここで $\sigma_w$ は作用に関連する重み錐である。
3. グラフ理論的翻訳：重み錐 $\sigma_w$ は、有向二部グラフ $G_w$ の辺錐として同定される。$G_w$ の頂点は図 $L(w)$ の空でない行と列に対応し、辺は $L(w)$ の成分に対応する。
4. 複雑性公式：辺錐の次元公式を用いて、複雑性は以下のように表される：
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   ここで $|V(G_w)|$ は頂点数、$|C(G_w)|$ は連結成分の数である。これは、基礎となる非有向グラフのサイクロマティック数 $\nu(G_w)$ を用いてさらに洗練される：
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   ここで $\text{dom}(w)$ はロト図の「支配的部分」である。
5. 構成的証明：達成可能な複雑性の範囲を確立するために、著者らはロト図の修正に関する補題を利用する。具体的には、置換の図の領域をより小さな置換の図に置き換えることが複雑性にどのように影響するかを示し、特定の複雑性値を持つ置換を構成できるようにする。

主要な貢献と結果

• 最大複雑性：本論文は、$w \in S_n$（$n \geq 4$）に対する $Y_w$ の可能な最大複雑性を決定する。

  • 定理 4.2：最大複雑性は $(n-1)(n-3)$ である。
  • 一意性：この最大値は、置換 $s_{n-1} = [1, \dots, n-2, n, n-1]$ によってのみ達成される。この置換に関連するグラフ $G_w$ は、完全二部グラフ $K_{n-1, n-1}$ に同型である。

• 達成可能な複雑性値：本論文は、固定された $n$ に対して、ある $Y_w$ の複雑性として実現可能なすべての整数 $d$ の集合を特徴づける。

  • 定理 4.8：固定された $n \geq 4$ に対して、達成可能な複雑性の集合は $\{0, 2, 3, \dots, (n-1)(n-3)\}$ である。
  • 1 の除外：本論文は、任意の $w \in S_n$ に対して複雑性 1 は決して達成不可能であることを確認する（Escobar–Mészáros および Donten-Bury–Escobar–Portakal による先行結果に依存）。
  • ギャップの充填：著者らは、0 から最大値までのすべての整数（1 を除く）が達成可能であることを示す。彼らは、一般的な区間構成ではカバーされていなかった $n=5$ における複雑性 4 の特定のケースについて、明示的に置換 $12534$ を提示することで対処する。

意義
本論文は、固定された対称群 $S_n$ 内における行列シュルベルト多様体（特にその本質的部分 $Y_w$）の複雑性スペクトルの完全な分類を提供する。複雑性が理論的最大値 $(n-1)(n-3)$ までの任意の整数値をとり得ることを確立し、唯一の例外として 1 を除くことで、著者らはこれらの多様体の組み合わせ論的風景を明確にする。この結果は、$n$ が 4 の倍数全体を動く場合に限定されていた先行知識を洗練させるものである。この研究は、決定子多様体の幾何学的性質を二部グラフの構造的性質（特にサイクロマティック数と辺錐）と結びつけ、行列シュルベルト多様体の $T$-多様体構造を分析するための正確な組み合わせ論的ツールを提供する。