[论文解读] On the geometry of exotic nilpotent cones

Syu Kato|arXiv (Cornell University)|Jul 19, 2006

Advanced Algebra and Geometry参考文献 5被引用 5

一句话总结

本论文研究复辛群 Sp(2n, C) 的奇异幂零锥 N 的几何结构，聚焦于其 G-轨道及其在类型 C 的 Weyl 群的 Springer 型对应关系中的作用。论文建立了无非平凡局部系统的一一对应关系，与类型 A 情况类似，并确定了奇异表示 V = V₁ ⊕ V₂ 在构造中的核心作用，其中 V₁ 和 V₂ 的最高权分别为 ǫ₁ 和 ǫ₁ + ǫ₂。

ABSTRACT

This paper is a sequel to [K]. Let G be a complex symplectic group. In [K], we constructed a certain G-variety N = N1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) 1 Main results Let G = Sp(2n, C) be a complex symplectic group. Let B and T be its Borel subgroup and a maximal torus of B, respectively. We denote by X ∗ (T) the character group of T. Let R be the root system of (G, T) and let R + be its positive part defined by B. Let W: = NG(T) be the Weyl group of (G, T). We denote by W ∨ the set of isomorphism classes of simple W-modules. We embed R and R + into a n-dimensional Euclid space E = ⊕iCǫi as: R + = {ǫi ± ǫj}i<j ∪ {2ǫi} ⊂ {±ǫi ± ǫj} ∪ {±2ǫi} = R ⊂ E. We define V1: = C2n and V2: = (∧2V1)/C. These representations have B-highest weights ǫ1 and ǫ1 + ǫ2, respectively. We put V: = V1 ⊕ V2 and call it the exotic representation of Sp(2n). For a G-module V, we define its weight λ-part (with respect to T) as V [λ]. The positive part V + of V is defined as

研究动机与目标

• 理解 Sp(2n, C) 的奇异幂零锥 N 中 G-轨道的结构。
• 通过奇异表示，将 Springer 对应关系推广至类型 C 的 Weyl 群。
• 证明该对应关系为双射且无非平凡局部系统，与类型 A 情况类似。
• 定义并分析奇异表示 V = V₁ ⊕ V₂，其 B-最高权分别为 ǫ₁ 和 ǫ₁ + ǫ₂。
• 将根系 R 及其正部分 R⁺ 嵌入欧几里得空间 E = ⊕iCǫi，以进行几何与表示论分析。

提出的方法

• 定义复辛群 G = Sp(2n, C)，其 Borel 子群为 B，极大环面为 T，并固定一个根系 R 及其正根部分 R⁺。
• 将根系 R 嵌入 n 维欧几里得空间 E = ⊕iCǫi，其中 R⁺ = {ǫi ± ǫj}i<j ∪ {2ǫi}，R = {±ǫi ± ǫj} ∪ {±2ǫi}。
• 构造奇异表示 V = V₁ ⊕ V₂，其中 V₁ = C²ⁿ，V₂ = (∧²V₁)/C，其 B-最高权分别为 ǫ₁ 和 ǫ₁ + ǫ₂。
• 对关于极大环面 T 的 G-模 V，定义权空间分解 V[λ]。
• 将 V 的正部分 V⁺ 定义为对应于正权的权空间的直和。
• 使用 Weyl 群 W = NG(T) 及其单 W-模集合 W∨，分析轨道结构与对应关系。

实验结果

研究问题

• RQ1 Sp(2n, C) 的奇异幂零锥 N 中的 G-轨道在几何上如何分解？
• RQ2 能否通过奇异表示建立类型 C 的 Weyl 群的 Springer 型对应关系？
• RQ3 类型 C 的对应关系是否表现出与类型 A 情况相同的双射性与无局部系统特性？
• RQ4 奇异表示 V = V₁ ⊕ V₂ 在实现对应关系中起什么作用？
• RQ5 根系 R 嵌入 E = ⊕iCǫi 的方式如何影响轨道与表示结构？

主要发现

• 奇异幂零锥 N 允许 G 作用，其轨道空间与单 W-模集合之间存在一一对应关系，且无非平凡局部系统。
• 通过奇异锥实现的类型 C 的 Springer 对应关系，在其简洁性与双射性方面与类型 A 情况一致。
• 奇异表示 V = V₁ ⊕ V₂，其中 V₁ = C²ⁿ，V₂ = (∧²V₁)/C，实现了最高权分别为 ǫ₁ 和 ǫ₁ + ǫ₂ 的基本表示。
• V 的正部分 V⁺ 定义为根系中正权 λ 对应的权空间 V[λ] 的直和。
• 根系 R⁺ 嵌入 E = ⊕iCǫi 的形式为 {ǫi ± ǫj}i<j ∪ {2ǫi}，构成类型 C 的正根。
• Weyl 群 W = NG(T) 作用于 N 的轨道空间，且轨道与单 W-模之间的对应关系是典范且双射的。