[论文解读] The 6-vertex model and deformations of the Weyl character formula

Ben Brubaker, Andrew Schultz|arXiv (Cornell University)|Feb 11, 2014

Algebraic structures and combinatorial models参考文献 11被引用 6

一句话总结

本论文通过统计力学中六顶点模型的变体，为B、C、D和BC型经典李群引入了威爾（Weyl）特征公式的新型变形。通过在自由费米子点使用依赖于谱参数的玻尔兹曼权重，并应用杨-巴克斯特定理，作者推导出广义的生成函数，这些函数推广了时田（Tokuyama）的公式，作为特殊情形恢复了奥卡达（Okada）的威爾分母变形，并将其与表示理论及惠塔克（Whittaker）函数联系起来。

ABSTRACT

We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada.

研究动机与目标

• 将时田对A型的威爾特征公式变形推广至经典型B、C、D和BC，使用统计力学方法。
• 构建反映群嵌入到GL(n)中的边界条件及谱参数依赖的玻尔兹曼权重的晶格模型。
• 建立这些模型的配分函数与经典群的最高权特征之间的联系。
• 当最高权μ = 0时，恢复奥卡达的威爾分母变形作为特例。
• 证明所得生成函数与表示理论中的已知公式一致，例如B、C、D型球面惠塔克函数的卡斯曼-沙利卡（Casselman-Shalika）公式。

提出的方法

• 作者为每种李群类型（B、C、D、BC）定义了矩形晶格模型，通过水平边界边的特定标识来反映群结构。
• 为边分配依赖于谱参数的玻尔兹曼权重，使用行特定的参数以模拟六顶点模型的自由费米子点。
• 应用杨-巴克斯方程以保证可积性，确保配分函数在局部变换下不变，从而实现精确计算。
• 通过求和所有允许的冰配置来计算配分函数，权重基于箭头配置和谱参数分配。
• 每种配置的权重以威爾群作用表示，其中符号函数φ(w)满足模2同余于长度函数ℓ(w)。
• 通过引入包含i^{|μ|}和ρ处配分函数的归一化因子，将配分函数与威爾特征联系起来，最终导出特征公式。

实验结果

研究问题

• RQ1 能否在自由费米子点使用依赖于谱参数的玻尔兹曼权重的六顶点模型，推导出B、C、D和BC型威爾特征公式的新型变形？
• RQ2 六顶点模型的边界条件与晶格结构如何反映经典李群的根系与威爾群？
• RQ3 这些新变形在μ = 0时是否能恢复已知结果，如奥卡达的威爾分母变形？
• RQ4 是否存在B、C、D型球面惠塔克函数的卡斯曼-沙利卡公式的统计力学解释？
• RQ5 杨-巴克斯方程能否系统地推广至A型和C型以外的特征公式推导？

主要发现

• 在自由费米子点使用依赖于谱参数的权重时，六顶点模型的配分函数计算出B、C、D和BC型威爾特征的变形。
• 所得生成函数满足恒等式𝒪(𝒵(ℳ^λ)) = i^{|μ|}𝒢(ℳ^ρ)χ_μ(x)，其中χ_μ为最高权μ对应的表示的最高权特征。
• 对于BC型，模型包含一条中心行，其特殊权重来自上下箭头，导致x_j出现半整数次幂及额外的i因子。
• 每种配置的权重被证明为i^{|μ|}乘以符号因子(−1)^φ(w)再乘以x的单项式，其中φ(w) ≡ ℓ(w) mod 2。
• 当μ = 0时，公式退化为威爾分母的变形，作为特例恢复奥卡达的结果。
• 该方法推广了时田（A型）和哈梅尔-金（C型）的早期工作，提供了一个基于可积晶格模型的统一框架。