[論文レビュー] Study of antiorbital complexes

G. Lusztig|ArXiv.org|Oct 21, 2009

Advanced Algebra and Geometry参考文献 7被引用数 4

ひとこと要約

本稿は幾何的表現論の文脈において反軌道的複体を研究し、$ \tilde{Z}_{-V-} $ によってインデックス付けられた組合せ的データを用いて $ G_V $-軌道を $ E^\rho_V $ に分類することに焦点を当てる。$ D \times \mathfrak{N} $ と $ E^\rho_V $ の $ \lambda $-固有空間の間の双対写像を確立し、交差コホモロジー層として軌道的複体を構成し、それらが（シフトを除き）一意に $ \tilde{Z}_{-V-} $ の唯一の $ \theta \in \tilde{Z}_{-V-} $ によって定まることを示し、ノルム軌道および対称群の表現への応用を含む。

ABSTRACT

Let E be a finite dimensional vector space over an algebraic closure of a finite field with a given linear action of a connected linear algebraic group K and let E' be the dual space. A complex of l-adic sheaves on E is said to be orbital if it is a simple perverse sheaf whose support is a single K-orbit. A complex of l-adic sheaves on E is said to be biorbital if it is orbital and if its Deligne Fourier transform is orbital on E'. In this paper we study examples of biorbital complexes arising in the case where E is an eigenspace of a semisimple automorphism of a reductive Lie algebra.

研究の動機と目的

• 組合せ的データを $ \tilde{Z}_{-V-} $ によってインデックス化することにより、$ G_V $-軌道を $ E^\rho_V $ に分類すること。
• 軌道的複体を交差コホモロジー層 $ IC(\overline{E^{\epsilon}_{V,\theta}}, \bar{\mathbb{Q}}_l)_{E^{\epsilon}_V} $ として定義・特徴づけること。
• $ D \times \mathfrak{N} $ と $ \lambda $-固有空間 $ E^{\epsilon,\lambda}_V $ の間の双対写像を確立すること。ここで $ D $ は $ S^m = \lambda $ を満たす $ S \in E^\rho_V $ の集合である。
• $ E^{\epsilon,0}_V $ 内のノルム軌道と、$ \bar{\sigma} \in \tilde{Z}_{-V-} $ によってインデックス付けられた $ G_V $-軌道との関係を特定すること。ただし $ \lambda \in k^* $ に対して $ \bar{\sigma}_\lambda = 0 $ である。
• $ D \times S_0 $ と、$ T $-不変フラッグおよび $ T $-作用が商 $ E^{\epsilon,\lambda}_{V^j/V^{j-1}} $ に作用する $ (T,f) $ の集合 $ S $ の間の同型を構成すること。

提案手法

• $ \tilde{Z}_{-V-} $ の集合を用いて $ G_V $-軌道を $ E^\rho_V $ にインデックス化し、各軌道 $ E^{\epsilon}_{V,\theta} $ が $ \theta \in \tilde{Z}_{-V-} $ に対応することを用いる。
• 軌道的複体を交差コホモロジー層 $ IC(\overline{E^{\epsilon}_{V,\theta}}, \bar{\mathbb{Q}}_l)_{E^{\epsilon}_V} $ として構成し、シフトを除いてはwell-definedである。
• $ D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $ への双対写像 $ u $ を定義し、$ (S, \kappa) \mapsto S + N_{S,\kappa} $ により与える。ここで $ N_{S,\kappa} $ は $ v \in V_0 $ に対して $ N(S^h v) = S^{h+1} \kappa(v) $ により定義される。
• 逆の双対写像 $ N \mapsto \kappa $ を $ v_0 \in V_0 $ に対して $ \kappa(v_0) = S^{-1}N(v_0) $ により確立し、$ N \in \dot{S} $ を保証する。
• $ S_0 $ を、$ V_0 $ の1次元商を持つフラッグ $ f_0 $ と、$ \kappa $ がそのフラッグを保存するような $ (\kappa, f_0) $ の集合として定義する。
• $ D \times S_0 \to S $ への同型 $ u' $ を $ (S, (\kappa, f_0)) \mapsto (T, f) $ により構成する。ここで $ T = S + N_{S,\kappa} $ であり、$ f $ は $ T $ を保存するフラッグである。

実験結果

リサーチクエスチョン

• RQ1 $ G_V $-軌道は、組合せ的データの観点からどのように分類されるか？
• RQ2 軌道的複体 $ IC(\overline{E^{\epsilon}_{V,\theta}}, \bar{\mathbb{Q}}_l)_{E^{\epsilon}_V} $ の構造は何か？ そして、シフトを除いてどのように特定されるか？
• RQ3 双対写像 $ u: D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $ は、$ S $ の作用とノルム作用素 $ \kappa $ からどのように導かれるか？
• RQ4 $ E^{\epsilon,0}_V $ 内のノルム軌道と、$ \bar{\sigma} \in \tilde{Z}_{-V-} $ によってインデックス付けられた $ G_V $-軌道との関係は何か？ ただし $ \lambda \in k^* $ に対して $ \bar{\sigma}_\lambda = 0 $ である。
• RQ5 $ u': D \times S_0 \to S $ の同型はどのように構成され、$ V $ 上の $ T $-不変フラッグの幾何学的性質に何を示唆するか？

主な発見

• $ G_V $-軌道は自然に $ \tilde{Z}_{-V-} $ によってインデックス付けされ、各軌道 $ E^{\epsilon}_{V,\theta} $ は $ \theta \in \tilde{Z}_{-V-} $ に対応する。
• 軌道的複体 $ IC(\overline{E^{\epsilon}_{V,\theta}}, \bar{\mathbb{Q}}_l)_{E^{\epsilon}_V} $ はwell-definedであり、シフトを除いては $ \theta \in \tilde{Z}_{-V-} $ によって一意に定まる。
• $ D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $ への自然な双対写像 $ u $ が存在し、$ (S, \kappa) \mapsto S + N_{S,\kappa} $ により与えられる。ここで $ N_{S,\kappa} $ は $ v \in V_0 $ に対して $ N(S^h v) = S^{h+1} \kappa(v) $ により定義される。
• この双対写像の逆は $ N \mapsto \kappa $ であり、$ v_0 \in V_0 $ に対して $ \kappa(v_0) = S^{-1}N(v_0) $ により与えられ、$ N \in \dot{S} $ を保証する。
• $ T $-不変フラッグおよび $ T $-作用が商 $ E^{\epsilon,\lambda}_{V^j/V^{j-1}} $ に作用する $ (T,f) $ の集合 $ S $ は、$ u' $ を通じて $ D \times S_0 $ に同型である。
• $ E^{\epsilon,0}_V $ 内のノルム軌道は、ちょうど $ \bar{\sigma}_\lambda = 0 $（$ \lambda \in k^* $）かつ $ \bar{\sigma}_0 = \sigma \in P_{-V-} $ を満たす $ G_V $-軌道 $ E^{\epsilon}_{V,\bar{\sigma}} $ に一致する。