[论文解读] A convexity theorem for affine buildings

Petra Hitzelberger|arXiv (Cornell University)|Jan 3, 2007

Advanced Operator Algebra Research被引用 1

一句话总结

本文建立了类似于对称空间中Kostant定理的厚仿射建筑物凸性定理，证明了在固定单体中，Weyl群轨道的原像在截影 $\rho$ 下的像为凸包。该结果依赖于Coxeter复形的性质以及最高权表示的特征标公式，适用于具有仿射BN-对的群。

ABSTRACT

We prove an analogue of Kostants convexity theorem for thick affine buildings and give an application for groups with affine BN-pair. Recall that there are two natural retractions of the affine building onto a fixed apartment A: The retraction r centered at an alcove in A and the retraction $ ho$ centered at a chamber in the spherical building at infinity. We prove that for each special vertex x in A the set $ ho(r^{-1}(W.x))$ is a certain convex hull of W.x. The proof can be reduced to a statement about Coxeter complexes and heavily relies on a character formula for highest weight representations of algebraic groups.

研究动机与目标

• 将Kostant的凸性定理从对称空间推广至厚仿射建筑物的设定。
• 分析仿射建筑物中截影的行为，特别是映射到固定单体 $A$ 的 $\rho$ 和 $r$。
• 建立对于任意特殊顶点 $x$ 在单体 $A$ 中，$\rho(r^{-1}(W.x))$ 为凸包。
• 将结果应用于具有仿射BN-对的群，将几何结构与表示论数据联系起来。
• 将问题约化为关于Coxeter复形的陈述，并利用代数群的特征标公式。

提出的方法

• 利用两种自然的截影：以单体 $A$ 中一个单形为中心的 $r$，以及以无穷远处球面建筑物中一个单体为中心的 $\rho$。
• 聚焦于固定单体 $A$ 中的特殊顶点 $x$，以分析像 $\rho(r^{-1}(W.x))$。
• 将几何问题约化为关于Coxeter复形的组合性陈述，利用其对称性与结构。
• 应用代数群最高权表示的特征标公式，推导出凸性结果。
• 利用Weyl群作用 $W.x$ 定义轨道，其在 $r$ 下的原像被分析。
• 通过证明 $\rho$ 下的像是几何实现中 $W.x$ 的凸包，建立凸性。

实验结果

研究问题

• RQ1 在仿射建筑物中，复合截影 $\rho \circ r^{-1}$ 下，Weyl群轨道原像的像是什么？
• RQ2 当限制于固定单体中Weyl群轨道的原像时，截影 $\rho$ 的行为如何？
• RQ3 能否在厚仿射建筑物的设定中建立类似于Kostant的凸性定理？
• RQ4 最高权表示的特征标公式在这一几何背景下证明凸性时起什么作用？
• RQ5 截影 $r$ 和 $\rho$ 如何在仿射建筑物的结构中相互作用，以产生凸像？

主要发现

• 像 $\rho(r^{-1}(W.x))$ 恰好是建筑物几何实现中Weyl群轨道 $W.x$ 的凸包。
• 证明约化为关于Coxeter复形的陈述，Coxeter复形是仿射建筑物的局部模型。
• 该凸性结果对固定单体 $A$ 中的任意特殊顶点 $x$ 成立。
• 最高权表示的特征标公式在确立关键几何性质中至关重要。
• 该结果为仿射BN-对群背景下表示论数据提供了几何解释。
• 该构造在仿射建筑物中给出了一个新的凸性定理，推广了对称空间中的经典结果。