[论文解读] 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 $-特征空间之间的双射，并将轨道复形构造为交点上同调层，表明它们（在同调移位意义下）由唯一的 $ \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 $ 上的轨道进行分类。
• 在 $ 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}_\lambda = 0 $（对所有 $ \lambda \in k^* $）的 $ \tilde{Z}_{-V-} $ 中的 $ \bar{\sigma} \in \tilde{Z}_{-V-} $ 索引的 $ G_V $-轨道联系起来。
• 构造 $ D \times S_0 $ 与集合 $ S $ 之间的同构，其中 $ S $ 是满足 $ T $-不变旗且 $ T $-作用在 $ E^{\epsilon,\lambda}_{V^j/V^{j-1}} $ 的商上的 $ (T,f) $ 的集合。

提出的方法

• 使用集合 $ \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} $，其在同调移位意义下是良定义的。
• 通过 $ (S, \kappa) \mapsto S + N_{S,\kappa} $ 定义双射 $ u: D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $，其中 $ N_{S,\kappa} $ 由 $ N(S^h v) = S^{h+1} \kappa(v) $（对 $ v \in V_0 $）定义。
• 通过 $ \kappa(v_0) = S^{-1}N(v_0) $（对 $ v_0 \in V_0 $）建立逆双射 $ N \mapsto \kappa $，确保 $ N \in \dot{S} $。
• 将 $ S_0 $ 定义为满足 $ f_0 $ 是 $ V_0 $ 的旗且所有商为一维，且 $ \kappa $ 保持该旗的 $ (\kappa, f_0) $ 的集合。
• 通过 $ (S, (\kappa, f_0)) \mapsto (T, f) $ 构造同构 $ u': D \times S_0 \to S $，其中 $ T = S + N_{S,\kappa} $，且 $ f $ 是被 $ T $ 保持的旗。

实验结果

研究问题

• RQ1 如何通过组合数据对 $ G_V $ 在 $ E^\rho_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}_\lambda = 0 $（对所有 $ \lambda \in k^* $）的 $ \tilde{Z}_{-V-} $ 中 $ \bar{\sigma} \in \tilde{Z}_{-V-} $ 索引的 $ G_V $-轨道之间存在何种关系？
• RQ5 同构 $ u': D \times S_0 \to S $ 如何构造，它对 $ V $ 上 $ T $-不变旗的几何结构意味着什么？

主要发现

• $ G_V $ 在 $ E^\rho_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} $ 是良定义的，且在同调移位意义下由 $ \theta \in \tilde{Z}_{-V-} $ 唯一确定。
• 存在一个自然的双射 $ u: D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $，由 $ (S, \kappa) \mapsto S + N_{S,\kappa} $ 给出，其中 $ N_{S,\kappa} $ 由 $ N(S^h v) = S^{h+1} \kappa(v) $（对 $ v \in V_0 $）定义。
• 该双射的逆为 $ N \mapsto \kappa $，其中 $ \kappa(v_0) = S^{-1}N(v_0) $（对 $ v_0 \in V_0 $），确保 $ N \in \dot{S} $。
• 集合 $ S $（即满足 $ T $-不变旗且 $ T $-作用在 $ E^{\epsilon,\lambda}_{V^j/V^{j-1}} $ 的商上的 $ (T,f) $ 的集合）通过 $ u' $ 同构于 $ D \times S_0 $。
• $ E^{\epsilon,0}_V $ 中的幂零轨道恰好是 $ G_V $-轨道 $ E^{\epsilon}_{V,\bar{\sigma}} $，其中 $ \bar{\sigma}_\lambda = 0 $（对所有 $ \lambda \in k^* $）且 $ \bar{\sigma}_0 = \sigma \in P_{-V-} $。