[論文レビュー] Staggered sheaves on partial flag varieties

Pramod N. Achar, Daniel S. Sage|ArXiv.org|Dec 10, 2007

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

ひとこと要約

本稿は、部分旗多様体上のB-不変な連接層の導来圏に、s-構造の貼り合わせ定理を用いてアーティン的ステガードt-構造の存在を確立する。ステガード余次元の計算を通じて、隣接する軌道のステガード余次元が少なくとも2ずつ異なることが示され、その結果、単純ステガード層からなる-equivariant K理論の基底が得られる。この基底は、ステガード余次元の差が2以上であるときの軌道上での不変中間拡張による不変ベクトル束の単純ステガード層から生じる。

ABSTRACT

Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.

研究の動機と目的

• 部分旗多様体上のB-不変連接層の導来圏に、整合的なステガードt-構造を構成すること。
• 軌道上のs-構造の貼り合わせ定理を用いて、s-構造を定義することで、アーティン的ステガードt-構造の存在を証明すること。
• 軌道閉包のステガード余次元を計算し、厳密に単調かつ共単調なperversityの条件を検証すること。
• 隣接する軌道のステガード余次元が少なくとも2ずつ異なることを示し、ステガード層のカテゴリが有限長であることを保証すること。
• K^B(G/P)の-equivariant K理論に、単純ステガード層からなる基底を確立すること。

提案手法

• 軌道上のs-構造が、i_C^* I_C|_C ∈ Coh^G(C)_{≤ -1} を満たす場合に、貼り合わせ定理を用いて部分旗多様体上のs-構造を構成する。
• 軌道閉包のステガード余次元を、codim cl(C) + n として定義する。ここでnは、i_C^! ω_X が Coh^G(C)_{≤ n} ∩ Coh^G(C)_{≥ n} に属する対象のずれである唯一の整数である。
• ステガード余次元が隣接する軌道間で少なくとも2ずつ異なるという条件を満たすことで、[1, Theorem 9.9]の基準に従い、厳密に単調かつ共単調なperversityの存在を保証する。
• ブルハット順序と根系の計算（θ(w)と2ρを含む）を用いて、軌道間でのステガード余次元を比較する。
• perversityが厳密に単調かつ共単調である場合、軌道上での不変ベクトル束の中間拡張が単純ステガード層を生成することを活用する。
• w^{-1}α ∈ Φ^+ に対して ⟨w^{-1}α, 2ρ⟩ > 0 であることを用いて、X_v ⊂ X̄_w のとき常に scod X_v - scod X_w ≥ 2 であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 部分旗多様体上のB-不変連接層の導来圏は、アーティン的ステガードt-構造をもつか？
• RQ2 軌道閉包にどのような条件下で、ステガード余次元が、整合的なt-構造に必要な差の条件を満たすか？
• RQ3 部分旗多様体上のステガード層のカテゴリが有限長であり、単純対象の基底をもつかを示せるか？
• RQ4 K^B(G/P)の-equivariant K理論に、単純ステガード層から生じる標準的基底が存在するか？
• RQ5 根系のデータとワイル群の作用は、ステガード余次元の計算にどのように影響するか？

主な発見

• 導来圏 D^B(G/P) は、貼り合わせ定理を用いて部分旗多様体上で整合的なs-構造を構成することで、アーティン的ステガードt-構造をもつことが確立された。
• 部分旗多様体における軌道閉包のステガード余次元は、閉包順序で X_v ⊂ X̄_w であるとき、常に scod X_v - scod X_w ≥ 2 を満たす。
• 隣接する軌道間のステガード余次元の差が少なくとも2であるため、厳密に単調かつ共単調なperversityの条件が満たされる。
• G/P 上のステガード層のカテゴリは有限長であり、すべての単純対象は、B-軌道上での不変ベクトル束の中間拡張として得られる。
• K^B(G/P) の-equivariant K理論は、単純ステガード層の類からなる基底をもつ。
• 証明は、根系の計算に依拠しており、α ∈ Π(w) に対して ⟨α, θ(w)⟩ ≤ 0 が成り立ち、w^{-1}α ∈ Φ^+ のとき ⟨w^{-1}α, 2ρ⟩ > 0 であることを示している。