[論文レビュー] On minimal Lefschetz decompositions for Grassmannians

Anton Fonarev|arXiv (Cornell University)|Aug 10, 2011

Algebraic structures and combinatorial models参考文献 10被引用数 10

ひとこと要約

本稿では、グラスマンニアン上の連接層の導来圏に対して2つのレフシェッツ分解を構成し、最初の分解の完全性を証明し、第二の分解についてはその完全性を予想する。$n$ と $k$ が互いに素であるとき、最初の分解は最小であり、第二の分解と一致する。一般には第二の分解が最小であると予想されており、両方の分解は、等変ベクトルバンドルのレフシェッツ基底を備えている。

ABSTRACT

We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector bundles. We prove fullness of the first decomposition and conjecture it for the second one. In the case when $n$ and $k$ are coprime these decompositions coincide and are minimal. In general, we conjecture minimality of the second decomposition.

研究の動機と目的

• グラスマンニアン $\mathrm{Gr}(k,V)$ 上の連接層の導来圏に対する最小のレフシェッツ分解を構成すること。
• 以前は半直交的であるとしか知られていなかった特定のレフシェッツ分解の完全性を証明すること。
• 第二のレフシェッツ分解が最小であると予想すること、特に非互いに素な場合に注目すること。
• 両方の分解に対して、等変ベクトルバンドルのレフシェッツ基底を提供すること。
• レフシェッツ分解の最小性が、アフィンコンの特異点の最小的カテゴリカル解消と関係することを、クズネツォフの予想に従って示すこと。

提案手法

• 双対標準的バンドル $\Sigma^\lambda{\mathcal{U}}^*$ のシュール関手の完全例外的集合を用いて、レフシェッツ分解を構成する。
• テンソル積による層の分解の仕方を追跡するために、再帰的に '展開' $\mathrm{Exp}^{(k)}(\lambda)$ の概念を適用する。
• 成分が互いに直交することを保証するために、半直交性条件を用いる。
• 長く正確なコーゴルツ型分解の完全列を用いた再帰的フィルトレーションの議論により、すべての $\Sigma^\lambda{\mathcal{U}}^*$ が提案されたブロックが生成する三角圏に属することを示す。
• すべての既約表現 $\Sigma^\lambda{\mathcal{U}}^*$ が、$\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ および $t < l(\mu)$ の条件下で $\left<\Sigma^\mu{\mathcal{U}}^*(-t)\right>$ が生成する圏に属することを示すことにより、完全性を証明する。
• 特定のケース $\mathrm{Gr}(3,6)$ に対して、欠落していたシュール関手 $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 及びそのテンソル積が、提案されたブロックが生成する圏に属することを確認することで、予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 導来圏 $\mathcal{D}^b(\mathrm{Gr}(k,V))$ に、等変ベクトルバンドルのレフシェッツ基底を備えた最小のレフシェッツ分解が存在するか？
• RQ2 本稿で構成された最初のレフシェッツ分解は完全性を有するか？また、$n$ と $k$ が互いに素である場合、最小であるか？
• RQ3 第二の、おそらくより小さいレフシェッツ分解を構成でき、非互いに素な場合に最小であると予想されるか？
• RQ4 展開集合 $\mathrm{Exp}^{(k)}(\lambda)$ は、ラインバンドルによるテンソル積の下でのシュール関手のフィルトレーションをどのように制御するか？
• RQ5 $\mathrm{Gr}(3,6)$ の導来圏は、提案されたレフシェッツブロックに完全に分解されるか？本稿ではその検証がなされている。

主な発見

• 最初のレフシェッツ分解は完全性が証明されており、その最初のブロックは $\lambda \in \mathsf{Y}^{\mathrm{u}}_{n,k}$ の $\Sigma^\lambda{\mathcal{U}}^*$ によって生成され、これは反対角線より下にないヤング図形の集合である。
• $n$ と $k$ が互いに素であるとき、最初の分解は最小であり、第二の分解と一致する。これは、この場合における最小性を示唆する。
• 第二のレフシェッツ分解は、一般に完全かつ最小であると予想されている。特に $n$ と $k$ が互いに素でない場合に注目されている。
• $\mathrm{Gr}(3,6)$ では、予想が検証された：導来圏は、提案されたブロックに完全に分解され、以前に欠落していた $\Sigma^{(3,3,1)}{\mathcal{U}}^*$ 及びそのテンソル積も含む。
• 展開プロセス $\mathrm{Exp}^{(k)}(\lambda)$ により、すべての $\Sigma^\lambda{\mathcal{U}}^*$ が $\mu \in \mathsf{Y}^{\mathrm{l}}_{n,k}$ および $t < l(\mu)$ の条件下で $\Sigma^\mu{\mathcal{U}}^*(-t)$ が生成する三角圈权に属することが保証される。
• 証明は、$\Sigma^{(3,2,1)}{\mathcal{U}}^*$ の長く正確な完全列分解に依拠しており、そのテンソル積が提案されたブロックが生成する圏に属することを示す。