[논문 리뷰] Study of antiorbital complexes

G. Lusztig|ArXiv.org|2009. 10. 21.

Advanced Algebra and Geometry참고 문헌 7인용 수 4

한 줄 요약

이 논문은 기하적 표현 이론의 맥락에서 반궤도 복합체를 연구하며, $ \tilde{Z}_{-V-} $에 의해 인덱싱된 조합적 자료를 통해 $ G_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 $에서 분류하는 것.
• 궤도 복합체를 교차 호몰로지 층 $ 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 $-궤도 사이의 관계를 규명하는 것, 여기서 $ \bar{\sigma}_\lambda = 0 $이 되며 $ \lambda \in k^* $이다.
• $ 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} $로 궤도 복합체를 구성하며, 이는 이동을 제외하고 잘 정의되어 있다.
• $ (S, \kappa) \mapsto S + N_{S,\kappa} $를 통해 $ u: D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $의 전단사 사상 정의, 여기서 $ N_{S,\kappa} $는 $ v \in V_0 $에 대해 $ N(S^h v) = S^{h+1} \kappa(v) $로 정의된다.
• $ \kappa(v_0) = S^{-1}N(v_0) $를 통해 $ N \mapsto \kappa $의 역전단사 사상 수립, $ v_0 \in V_0 $에서 정의되며 $ 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 $-궤도가 조합적 자료의 관점에서 어떻게 분류되는가?
• 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 $-궤도 사이의 관계는 무엇인가, 여기서 $ \bar{\sigma}_\lambda = 0 $이며 $ \lambda \in k^* $이다?
• 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} $는 잘 정의되어 있으며, 이동을 제외하고는 $ \theta \in \tilde{Z}_{-V-} $에 의해 유일하게 결정된다.
• $ (S, \kappa) \mapsto S + N_{S,\kappa} $로 주어진 자연스러운 전단사 사상 $ u: D \times \mathfrak{N} \to E^{\epsilon,\lambda}_V $가 존재하며, 여기서 $ 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}} $로 이루어져 있다.