[论文解读] Infinitesimal Hecke Algebras IV

Iván Marín|arXiv (Cornell University)|Dec 6, 2012

Algebraic structures and combinatorial models参考文献 16被引用 8

一句话总结

该论文将2-反射群的无穷小赫克代数精炼为ℤ/2ℤ-分次李代数，将其与赫克代数中 braid 群的像及酉结构联系起来。对于考克斯eter群，特别是ADE类型，通过旋转子群给出了该李代数偶部的显式生成集，推进了对分次赫克结构的整体理解。

ABSTRACT

We refine the infinitesimal Hecke algebra associated to a 2-reflection group into a $\Z/2\Z$-graded Lie algebra, as a first step towards a global understanding of a natural $\mathbbm{N}$-graded object. We provide an interpretation of this Lie algebra in terms of the image of the braid group into the Hecke algebra, in connection with unitary structures. This connection is particularly strong when $W$ is a Coxeter group, and when in addition we can use generalizations of Drinfeld's rational even associators. Finally, in the Coxeter ADE case, we provide a generating set of the even part of this Lie algebra, which originates from the rotation subgroup of the Coxeter group.

研究动机与目标

• 将2-反射群的无穷小赫克代数精炼为ℤ/2ℤ-分次李代数结构。
• 将该分次李代数与赫克代数中 braid 群的像联系起来，特别是在酉表示的背景下。
• 为ADE考克斯eter群情形下该李代数的偶部提供一个显式生成集，其基础为旋转子群。
• 通过在𝕜(h²)上分析尾部无穷小赫克代数，拓展对分次赫克代数结构的理解。
• 利用特征表、诱导数据和计算机辅助的秩计算，验证例外型（Dₙ, E₆, E₇, E₈）中的李代数结构。

提出的方法

• 将分次无穷小赫克代数 H_gr 定义为 𝕜[[h]]W 的李子代数，由 h·s 生成，其中 s ∈ R，R 为反射的集合。
• 引入“尾部”无穷小赫克代数 H_tail，即 𝕜(h)W 的李 𝕜(h²)-子代数，由 h·s 生成，其自然继承 ℤ/2ℤ-分次。
• 利用赫克代数中 braid 群像与群代数之间的同构，将 H_tail 与 braid 群的 Zariski 闭包联系起来。
• 应用德林菲尔德的有理偶型关联器及其推广，强化考克斯eter情形下李代数与酉结构之间的联系。
• 对于 ADE 类型，利用旋转子群构造李代数的偶部，并通过杨图和钩条件分析各类情形。
• 对于例外型，使用特征表、诱导表和计算机代数计算 ρ(𝒜) 的线性秩，验证 𝔤 = ρ(𝒜) 是否为单李代数或等于 so(V_ρ)，从而确保结构定理成立。

实验结果

研究问题

• RQ1 如何自然地为2-反射群的无穷小赫克代数赋予 ℤ/2ℤ-分次李代数结构？
• RQ2 赫克代数中 braid 群的像与尾部无穷小赫克代数 H_tail 之间的确切联系是什么？
• RQ3 在 ADE 考克斯eter 情形下，李代数偶部的显式生成集是什么？它与旋转子群有何关系？
• RQ4 在何种条件下，与旋转群表示 ρ 关联的李代数 ρ(𝒜) 等于 so(V_ρ) 或为单李代数，从而确保结构定理成立？
• RQ5 如何利用计算方法与表示论方法验证 D₆、E₆、E₇ 和 E₈ 等例外型中李代数的结构？

主要发现

• 尾部无穷小赫克代数 H_tail 同构于 𝕜(h²)·H_gr^{2∞} ⊕ h·𝕜(h²)·(Z(ℋ) ⊕ H_gr^{2∞+1})，捕捉了分次无穷小赫克代数的渐近结构。
• 对于考克斯eter群，赫克代数中 braid 群的像与 H_tail 的酉结构有强关联，尤其在推广德林菲尔德的有理偶型关联器时更为显著。
• 在 A 型中，李代数的偶部由对应于旋转子群的元素生成，其显式结构定理依赖于杨图的钩性与对称性等性质。
• 在 D 型与 E 型中，通过特征表与诱导数据逐案验证结构；对于 E₈，所有剩余表示均满足 rk(𝔥) > dim(ρ)/4，确保李代数为单李代数或等于 so(V_ρ)。
• 对于 E₆ 与 E₈，计算机辅助计算确认关键表示下 dim(ρ(𝒜)) = dim(so(V_ρ))，验证了结构定理。
• 在 D₆ 中，表示 ([1,1],[3,1]) 满足 dim(ρ(𝒜)) = 990 = dim(so(V_ρ))，确认 𝔤 = so(V_ρ)，且在其他例外情形下，对于无重数限制且秩足够高的情形，类似结果成立。