[论文解读] Toric surfaces with equivariant Kazhdan-Lusztig atlases

Balázs Elek|arXiv (Cornell University)|Oct 14, 2016

Geometric and Algebraic Topology参考文献 2被引用 3

一句话总结

本文通过分析其矩量多面体并构造其退化为卡克-莫迪旗流形中 Richardson 簇的并，对 admits 等变 Kazhdan-Lusztig 榕树的光滑 toric 曲面进行分类。它识别出最多 19 或 20 个单连通的断裂 toric 曲面，以及最多 7,543 个一般卡克-莫迪情形下具有此类榕树的曲面，建立了一个通过多面体与群作用的组合与几何约束对高维分类的框架。

ABSTRACT

A Kazhdan-Lusztig atlas, introduced by He, Knutson and Lu, on a stratified variety (V,Y) is a way of modeling the stratification Y of V locally on the stratification of Kazhdan-Lusztig varieties X^w_o \cap X_v by their intersection with opposite Schubert varieties X_u. We are interested in classifying smooth toric surfaces with Kazhdan-Lusztig atlases. This involves finding a degeneration of V to a union of Richardson varieties in the flag variety H/B_H of some Kac-Moody group H. We determine which toric surfaces have a chance at having a Kazhdan-Lusztig atlas by looking at their moment polytopes, then describe a way to find a suitable group H. More precisely, we find that (up to equivalence) there are 19 or 20 broken toric surfaces admitting simply-laced atlases, and that there are at most 7543 broken toric surfaces where H is any Kac-Moody group.

研究动机与目标

• 对 admit 等变 Kazhdan-Lusztig 榕树的光滑 toric 曲面进行分类，将 Bruhat 榕树框架扩展至 toric 几何。
• 确定哪些 toric 曲面可等变退化为卡克-莫迪旗流形中 Richardson 簇的并。
• 表征此类曲面的矩量多面体，并将其与卡克-莫迪 Weyl 群的组合数据相关联。
• 开发一种通过消失 Plücker 坐标将 toric 曲面显式嵌入旗流形的方法。
• 为通过 toric 曲面模型对具有类似榕树结构的高维流形进行分类提供基础。

提出的方法

• 本文使用 toric 曲面的矩量多面体作为主要不变量，对可能的 Kazhdan-Lusztig 榕树结构进行分类。
• 它应用了“比萨”（pizzas）的概念——即对应于卡克-莫迪旗流形中二维 Richardson 簇的 Richardson 四边形的组合构型。
• 对于每个候选多面体，检查是否存在一个相容的卡克-莫迪群 $ H $，使得其层对应于交集 $ X^{w(f)}_o \cap X_{w(V)} $，以确保榕树公理成立。
• 通过在 $ H/B_H $ 中识别消失的 Plücker 坐标，构造显式的等变退化，利用环面作用和从 $ \mathfrak{r}^*_H $ 到 $ \mathfrak{r}^*_M $ 的投影映射。
• 它采用一种多面体边的标记系统，对应于 Weyl 群中简单根的左乘，以实现对环面嵌入的追踪。
• 验证了存在一个 $ T_M $-等变退化 $ M \rightsquigarrow \bigcup_f X^{w(f)} \cap X_{w(V)} $，确保与反 canonical 线丛和分层结构相容。

实验结果

研究问题

• RQ1 哪些光滑 toric 曲面 admit 等变 Kazhdan-Lusztig 榕树，其矩量多面体对底层卡克-莫迪群 $ H $ 施加了何种约束？
• RQ2 如何系统地确定给定 toric 曲面是否可等变退化为卡克-莫迪旗流形中 Richardson 簇的并？
• RQ3 具有单连通 Kazhdan-Lusztig 榕树的 toric 曲面的完整列表是什么？它们与 $ A_2 $、$ A_1 \times A_1 $ 和 $ B_2 $ 根系的组合结构有何关联？
• RQ4 所有此类榕树是否均可通过 Plücker 坐标消失条件构造？这些条件如何约束环面嵌入到 $ H/B_H $ 中？
• RQ5 当 $ H $ 允许为任意卡克-莫迪群时，最多有多少个 toric 曲面 admit Kazhdan-Lusztig 榕树？

主要发现

• 当 $ H $ 为任意卡克-莫迪群时，最多有 7,543 个断裂 toric 曲面 admit Kazhdan-Lusztig 榕树。
• 在等价意义下，有 19 或 20 个断裂 toric 曲面 admit 单连通 Kazhdan-Lusztig 榕树。
• 该分类基于矩量多面体的组合结构及其分解为 Richardson 四边形。
• 本文通过在 $ H/B_H $ 中识别消失的 Plücker 坐标，构造了等变退化的显式例子，并提供了一个非平凡情形的代表性矩阵。
• 该方法通过分析 moment 映射的像以及 $ T_M \subset T_H $ 在旗流形上的作用，成功识别出所有可能的榕树结构。
• 结果确认 $ \mathbb{C}\mathbb{P}^2 $ 和 $ \mathbb{C}\mathbb{P}^1 \times \mathbb{C}\mathbb{P}^1 $ 是唯一具有等变 Bruhat 榕树的光滑 toric 曲面，作为一般分类的一个特例。