[论文解读] Alcove walks, buildings, symmetric functions and representations

James Parkinson, Arun Ram|ArXiv.org|Jul 23, 2008

Advanced Combinatorial Mathematics参考文献 36被引用 7

一句话总结

本文提出了一种构造性、组合性的证明，阐明了李表示中的权重多重性、麦克唐纳球函数的系数、仿射建筑物中的收缩映射，以及环群中双陪集交集之间的等价性。通过利特尔曼路径模型和仿射单形行走，当权重空间非零时，显式构造了类型为 λ 且权重为 µ 的路径，借助显式路径构造和建筑物中的收缩映射，将对称函数、表示理论与几何结构联系起来。

ABSTRACT

For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ} e 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.

研究动机与目标

• 提供表示理论中权重多重性与建筑物和赫克代数中几何/组合条件之间等价性的直接、组合性证明。
• 对于任意极大权共轭 λ 和权重 µ ∈ Πλ，显式构造一条类型为 λ 且权重为 µ 的正折叠单形行走。
• 通过将路径模型与仿射建筑物中的收缩映射联系起来，建立晶体基理论与抽象建筑物理论之间的桥梁。
• 为现有依赖于定理 R（表示理论）作为黑箱的证明提供一种构造性替代方案。
• 证明此类路径的集合为权重多重性提供下界，并在环群设定下，为米尔科维奇–维洛年科循环提供一个具有显式参数的余稠密子集。

提出的方法

• 以利特尔曼路径理论和正折叠单形行走作为核心组合框架。
• 从单位元构造一条最短长度的单形行走 ⃗mλ，其终点为 mλ ∈ W₀tλW₀，即该陪集的最短长度代表元。
• 对于每个 u ∈ W₀^λ（最短长度陪集代表元），构造一条行走 ⃗u，并形成连接 ⃗u·⃗mλ。
• 将 P(⃗λ)µ 定义为以 ⃗u·⃗mλ 为类型、终点位于单形 tμW₀ 的正折叠单形行走的集合。
• 应用晶体基技术证明：当 µ ∈ Πλ 时，此类路径存在，且具有最优维度 ⟨λ + µ, ρ⟩。
• 通过附录将带标签的单形行走与房间和扇形收缩联系起来，建立路径折叠与仿射建筑物中收缩之间的联系。

实验结果

研究问题

• RQ1 能否在不依赖定理 R 的前提下，构造性地证明表示理论中权重多重性与建筑物中几何条件之间的等价性？
• RQ2 当权重空间非零时，如何显式构造一条类型为 λ 且权重为 µ 的路径？
• RQ3 单形行走如何与抽象仿射建筑物中的收缩映射以及环群中的双陪集交集相关联？
• RQ4 路径模型能否为麦克唐纳球函数中系数 cλµ(q⁻¹) 提供下界？
• RQ5 在路径模型的背景下，最优维度 ⟨λ + µ, ρ⟩ 的几何与代数意义是什么？

主要发现

• 本文对于任意 µ ∈ Πλ，构造了一条类型为 ⃗u·⃗mλ 且终点位于 tμW₀ 的正折叠单形行走，证明了 P(⃗λ)µ ≠ ∅。
• 当 µ ∈ Πλ 时，存在一条属于 P(⃗λ)µ 的路径，其维度为最优值 ⟨λ + µ, ρ⟩，其中 ρ = ½∑α∈R⁺ α。
• 集合 P(⃗λ)µ 为具有指定收缩映射的建筑物中点的集合的基数提供了一个下界。
• 该构造在环群设定下，生成了米尔科维奇–维洛年科循环的一个余稠密子集，并具有显式字符串参数。
• 麦克唐纳球函数中的系数 cλµ(q⁻¹) 满足不等式：cλµ(q⁻¹) ≥ q⁻¹/²(ℓ(tλ)−ℓ(mλ)) × ∑_{p∈P(⃗λ)µ} q^{f(p)/2}(1−q⁻¹)^{f(p)}，其中 q > 1。
• 证明了另一种路径模型 P′(⃗λ)µ 能更高效地展开 Pλ(x, q⁻¹)，并为类型 A₂ 且 λ = ω₁ + ω₂ 的情形给出了紧凑公式：Pλ(x, q⁻¹) = xλ + xs₁λ + xs₂λ + xs₁s₂λ + xs₂s₁λ + xw₀λ + (2 + q⁻¹)(1 − q⁻¹)。