2025-11-16T17:16:12.740249

Alcove walk models for parabolic MirkoviÄ-Vilonen intersections and branching to Levi subgroups

Haines

This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic MirkoviÄ-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.

academic

Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups

基本信息

论文ID: 2405.17174
标题: Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups
作者: Thomas J. Haines
分类: math.RT (表示论), math.AG (代数几何), math.CO (组合数学)
发表时间: 2024年5月 (arXiv预印本，2024年12月31日修订版)
论文链接: https://arxiv.org/abs/2405.17174

摘要

本文建立了分裂约化群仿射Grassmannian中Schubert胞腔与部分半无限轨道交集（称为抛物Mirković-Vilonen交集）的alcove walk模型。更精确地说，文章描述了这些交集的显式胞腔铺装，由特定的正折叠alcove walks所索引。证明了最大可能维数不可约分量的参数化，用最大可能维数的alcove walks来表示。然后推导出不可约最高权表示到Levi子群分支的新组合描述，特别是给出了计算这类表示特征的新算法。

研究背景与动机

问题背景

Mirković-Vilonen交集的重要性: 经典的Mirković-Vilonen交集在几何Satake等价中扮演核心角色，是连接代数群表示论与仿射Grassmannian几何的重要桥梁。
抛物推广的需求: 虽然经典情况（P = B，Borel子群）已有较好理解，但对于一般抛物子群P的情况，缺乏显式的组合描述。
计算挑战: 现有方法在计算分支重数和表示特征时缺乏有效的组合算法，特别是对于Levi子群的分支情况。

研究动机

几何与组合的统一: 希望用alcove walks这一纯组合对象来描述复杂的几何交集。
算法需求: 为表示论中的分支重数计算提供新的算法工具。
理论完善: 将Gaussent-Littelmann的gallery方法推广到更一般的抛物情况。

核心贡献

显式胞腔铺装: 给出了抛物Mirković-Vilonen交集的显式胞腔铺装，由正折叠alcove walks索引。
维数刻画: 证明了最大维数不可约分量与最大维数alcove walks之间的双射。
分支公式: 建立了分支重数 $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda]$ 与特定alcove walks计数的关系。
新算法: 提供了计算最高权表示特征和分支重数的新组合算法。
张量积推广: 将结果推广到张量积重数的计算。

方法详解

任务定义

研究抛物Mirković-Vilonen交集： $K_P t^\lambda K/K \cap K t^\mu K/K$ 其中：

$K = L^+G$ 是loop群的正部分
$K_P = L^+M LN$ 是抛物子群对应的子群
$\mu \in X_*(T)^+$ , $\lambda \in X_*(T)^{+M}$ 是dominant权

核心技术：Alcove Walks

Alcove Walk定义

Definition 4.2: 给定基alcove $b$ 和字 $s_\bullet = s_1s_2\cdots s_r\tau \in W$ ，alcove序列 $a_0, a_1, \ldots, a_r$ 是 $b$ -正折叠alcove walk，如果满足：

$a_i \in \{a_{i-1}, w_{i-1}s_i w_{i-1}^{-1} a_{i-1}\}$
若 $a_{i-1} = a_i$ ，则crossing $a_{i-1} \xrightarrow{s_i} w_{i-1}s_i w_{i-1}^{-1} a_{i-1}$ 在 $b$ -负方向

标记系统

每个步骤 $a_{i-1} \xrightarrow{s_i} a_i$ 被标记为：

$c^+_{s_i}$ : $b$ -正方向crossing
$c^-_{s_i}$ : $b$ -负方向crossing
$f^+_{s_i}$ : 正折叠

存在双射： $M^{a_{IP}}_\mu(\lambda) \xrightarrow{\sim} \text{Irred}_{\langle\rho,\mu+\lambda\rangle}(K_P t^\lambda K/K \cap K t^\mu K/K)$
分支重数等于最大维数alcove walks的个数： $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = \#M^{a_{IP}}_\mu(\lambda)$

技术创新点

收缩映射技术: 利用Bruhat-Tits建筑中的收缩映射 $\rho_{I_P, \mathcal{A}}$ 将几何问题转化为组合问题。
右 $W_0$ -极小元: 引入 $(t_{-w(\mu)})_0$ 作为coset $t_{-w(\mu)}W_0$ 中的右 $W_0$ -极小元，简化了alcove walk的类型分析。
维数界: 证明了维数上界 $\langle\rho, \mu+\lambda\rangle$ ，并刻画了达到最大维数的条件。

实验设置

Type $A_2$ 实例

考虑 $G = GL_3$ ， $P = B$ （Borel子群）， $\mu = (3,1,0)$ ，权轨道：

$\lambda_1 = (1,1,2)$
$\lambda_2 = (2,1,1)$
$\lambda_3 = (1,2,1)$

计算结果

对每个 $\lambda_i$ ，找到所有最大维数的 $a_U$ -正折叠alcove walks：

$-\lambda_1$ 的情况:

Type $s_{012}\tau$ : 维数为 $(A^1_k)^0 \times (A^1_k - A^0_k)^2$
Type $s_{1012}\tau$ : 维数为 $(A^1_k)^1 \times (A^1_k - A^0_k)^1$

类似地计算 $\lambda_2, \lambda_3$ 的情况，每个都有2个最大维数alcove walks，与已知的重数 $\dim V^{GL_3}_\mu(\lambda_i) = 2$ 一致。

实验结果

主要结果

维数公式验证: 所有计算的alcove walk维数都满足上界 $\langle\rho, \mu+\lambda\rangle$ 。
重数计算: Type $A_2$ 实例中，每个权 $\lambda_i$ 对应的alcove walks个数恰好等于权重数2。
PRV类比: 证明了分支到Levi子群的PRV类比（Proposition 5.18）：若 $\lambda \in W\mu \cap X_*(T)^{+M}$ ，则 $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = 1$ 。