When is the matroid Schubert variety $\mathbb{Q}$-Gorenstein?

問題の概要
本論文は、マトロイド・シューベルト多様体（$Y_V$と表記）の幾何学的性質を扱っている。有限集合 $E$ と、$E$ の座標超平面に含まれない $r$ 次元の線形部分空間 $V \subseteq \mathbb{C}^E$ が与えられたとき、$Y_V$ は $(\mathbb{P}^1)^E$ の積空間内における $V$ の閉包として定義される。$V = \mathbb{C}^E$ という自明なケースを除き、$Y_V$ は特異多様体であることが知られているが、本論文は、$Y_V$ が特定の特異性（具体的には、**ゲーレンシュタイン（Gorenstein）**であること、および **$\mathbb{Q}$-ゲーレンシュタイン（$\mathbb{Q}$-Gorenstein）**であること）を持つための正確な組合せ論的条件を明らかにすることを目的としている。

手法
著者は、トーリック幾何学とオペレーショナル・チャウ・コホモロジー（operational Chow cohomology）の道具を用い、関連するマトロイド $M_V$ の組合せ論的構造と $Y_V$ の幾何学的不変量との間の架け橋となる手法を採用している。

1. トーリック分解と射（Toric Resolutions and Morphisms）: 本論文は、以下の3つの多様体に関連する図式を構成している：

   • $Y_{\mathbb{C}^E} \cong (\mathbb{P}^1)^E$ （射影直線の積）
   • $W_{\mathbb{C}^E}$ （ブーリアン・マトロイドに関連するステラヘドラル多様体）
   • $W_V$ （$W_{\mathbb{C}^E}$ における増強されたワンダフル多様体、すなわち $V$ の閉包）
     ここで、固有な射 $\rho: W_{\mathbb{C}^E} \to (\mathbb{P}^1)^E$ および $Y_V$ の特異性の分解 $\pi: W_V \to Y_V$ が利用されている。包含写像 $\kappa$ による合成 $\rho \circ \kappa$ は $Y_V$ への全射となる。

2. オペレーショナル・チャウ・コホモロジー: 中心となる技術的枠組みは、オペレーショナル・チャウ環 $A^*(X)$ である。著者は、分解 $\pi$ によるライン束のプルバックを分析し、チャウ群における押し出し写像の単射性を利用することで、特異な多様体 $Y_V$ 上のすべてのライン束が、滑らかな周囲空間 $(\mathbb{P}^1)^E$ 上のライン束の制限であることを証明している。

3. ミンコフスキー・ウェイトとファン: 関与するトーリック多様体のオペレーショナル・チャウ環は、それらの関連するファン（$(\mathbb{P}^1)^E$ のための $\Gamma_E$ およびステラヘドラル多様体のための $\Delta_E$）から導出された生成元と関係式を用いて提示される。著者は、コホモロジー類を表現するためにミンコフスキー・ウェイトを使用し、次数（degree）の交差を計算することで、$Y_V$ 上の因子とマトロイド $M_V$ の組合せ論的データの間の関係を確立している。

4. 組合せ論的特徴付け: $Y_V$ の標準因子（canonical divisor）は、マトロイドのコーランク1のフラット（flat）を含む特定のウェイル因子として特定される。$Y_V$ がゲーレンシュタインである（または $\mathbb{Q}$-ゲーレンシュタインである）という条件は、基底集合 $E$ 上の重み関数が存在し、それがマトロイドの余回路（cocircuit）にわたって線形方程式を満たすことへと翻訳される。

主要な貢献と結果

• ライン束の制限（命題 3.1）: 本論文は、マトロイド・シューベルト多様体 $Y_V$ 上のすべてのライン束が $(\mathbb{P}^1)^E$ 上のライン束の制限であることを確立している。この結果は、その後の標準類の分析のための基礎となるものであり、独立した関心事となり得るものとして注記されている。

• ゲーレンシュタイン特性の組合せ論的特徴付け（定理 1.1）: 主要な結果は、マトロイド $M_V$ を用いた、$Y_V$ がゲーレンシュタインまたは $\mathbb{Q}$-ゲーレンシュタインであるための必要十分条件を与える：

  • $Y_V$ が ゲーレンシュタイン であるための必要十分条件は、重み関数 $w: E \to \mathbb{Z}$ が存在し、すべての余回路 $C$ に対して $\sum_{e \in C} w(e) = -2$ が成り立つことである。
  • $Y_V$ が $\mathbb{Q}$-ゲーレンシュタイン であるための必要十分条件は、そのような重み関数が $\mathbb{Q}$ 値として存在することである。

• 反例と区別: 本論文は、これらの性質の階層を示す具体的な例を提供している：

  • $Y_V$ はゲーレンシュタインであるが滑釈ではない $V$ が存在する（例 1.2）。
  • $Y_V$ は $\mathbb{Q}$-ゲーレンシュタインであるがゲーレンシュタインではない $V$ が存在する（例 1.3、非ファノ・マトロイドを含む）。
  • $Y_V$ は $\mathbb{Q}$-ゲーレンシュタインですらない $V$ が存在する（例 1.4、$K_4$ のマトロイドを含む）。

意義
本論文は、マトロイドの組合せ論的構造とその関連するシューベルト多様体の特異性の間の関係を明確にしている。注釈 1.5 で強調されている重要な発見は、マトロイド・シューベルト多様体が古典的なシューベルト多様体とは異なる特異性の挙動を示すことである。古典的なシューベルト多様体は $\mathbb{Q}$-ゲーレンシュタインであることとゲーレンシュタインであることが同値であるが、マトロイド・シューベルト多様体は、ゲーレンシュタインではなく $\mathbb{Q}$-ゲーレンシュタインである場合があり得る。この区別は、マトロイド・シューベルト多様体の独特な幾何学的性質を際立たせており、その標準類の性質を決定するための組合せ論的な道具（余回路上の重み関数）を提供している。