[论文解读] Explicit Hopf-Galois description of $SL_{e^{2i\pi/3}}$-induced Frobenius homomorphisms

Ludwik Dąbrowski, Piotr M. Hajac+1 more|arXiv (Cornell University)|Aug 29, 1997

Algebraic structures and combinatorial models参考文献 23被引用 2

一句话总结

本文在 q = e^{2πi/3} 时，为量子群代数 A(SLq(2)) 提供了 A(SL(2,C))-线性分裂的显式构造，证明 A(SLq(2)) 是 A(SL(2,C)) 上的一个忠实平坦的霍普夫-伽罗瓦扩张。计算了上三角量子博雷尔子群的双交叉积结构的上链与余作用，通过显式截面映射建立了可裂扩张，并表明在单位根处该结构具有非平凡性。

ABSTRACT

The exact sequence of ``coordinate-ring'' Hopf algebras A(SL(2,C)) -> A(SL_q(2)) -> A(F) determined by the Frobenius map Fr, and the same way obtained exact sequence of (quantum) Borel subgroups, are studied when q is a cubic root of unity. An A(SL(2,C))-linear splitting of A(SL_q(2)) making A(SL(2,C)) a direct summand of A(SL_q(2)) is constructed and used to prove that A(SL_q(2)) is a faithfully flat A(F)-Galois extension of A(SL(2,C)). A cocycle and coaction determining the bicrossed-product structure of the upper-triangular (Borel) quantum subgroup of A(SL_q(2)) are computed explicitly.

研究动机与目标

• 在 q 为本原三次单位根时，显式构造 A(SLq(2)) 的 A(SL(2,C))-线性分裂，确保 A(SL(2,C)) 是直和项。
• 通过构造的分裂证明 A(SLq(2)) 是 A(SL(2,C)) 上的忠实平坦霍普夫-伽罗瓦扩张。
• 显式计算上三角量子博雷尔子群的双交叉积结构的上链与弱余作用。
• 分析有限量子群 F 的结构及其在弗罗贝尼乌斯同态中的作用，包括积分与共表示。
• 证明在 q = e^{2πi/3} 时，量子平面 A(C²_q) 的 A(F)-余不变子代数同构于 C² 上的多项式代数。

提出的方法

• 通过同态条件构造 A(SL(2,C))-线性分裂映射 s: A(SLq(2)) → A(SL(2,C))，将问题归约为寻找合适的 A(SL(2,C))-模映射。
• 利用典范映射 can = (m ⊗id) ◦(id ⊗∆R) 验证霍普夫-伽罗瓦结构，依赖于映射 ψ: P ⊗C P → P ⊗H 的双射性。
• 为博雷尔量子子群 P+ = A(SLq(2))/⟨c⟩ 定义截面映射 Φ: H → P，其中 H+ = A(F)/⟨˜c⟩，并计算相关上链 σΦ 与作用 h ⊲Φ b 的卷积公式。
• 应用标准可裂扩张理论：给定 Φ，推导上链 σΦ(h⊗l) = Φ(h(1))Φ(l(1))Φ⁻¹(h(2)l(2)) 与半直积作用 h ⊲Φ b = Φ(h(1))bΦ⁻¹(h(2))。
• 利用余作用 ∆R p = p(0) ⊗ p(1) 与斯威德尔记法，计算 A(F) 在 M(3,C) 上的共表示，识别编码余模结构的矩阵 N。
• 通过引理（余不变子在单射余模映射下保持不变）建立同构 A(C²) ≅ A(C²_q)^{coA(F)}，利用类弗罗贝尼乌斯映射 fr。

实验结果

研究问题

• RQ1 当 q 为本原三次单位根时，能否显式构造 A(SLq(2)) 的 A(SL(2,C))-线性分裂？
• RQ2 在此构造下，A(SLq(2)) 是否为 A(SL(2,C)) 上的忠实平坦霍普夫-伽罗瓦扩张？
• RQ3 A(SLq(2)) 的博雷尔量子子群的显式双交叉积结构（上链与余作用）是什么？
• RQ4 在 q = e^{2πi/3} 时，量子平面的积分与余不变子代数如何与 C² 上的经典多项式代数相关联？
• RQ5 有限量子群 A(F) 在 M(3,C) 上的共表示结构是怎样的？其结构如何反映 F 的有限性？

主要发现

• 显式构造了 A(SLq(2)) 的 A(SL(2,C))-线性分裂，证明 A(SL(2,C)) 是 A(SLq(2)) 的直和项。
• 典范映射 can: A(SLq(2)) ⊗ A(SL(2,C)) A(SLq(2)) → A(SLq(2)) ⊗ A(F) 是双射，确认 A(SLq(2)) 是 A(F)-伽罗瓦扩张的忠实平坦扩张。
• 为博雷尔量子子群构造了一族截面映射 Φν: H⁺ → P⁺，并计算了相关上链 σΦ 与作用 h ⊲Φ b，证明 P⁺ 是可裂霍普夫-伽罗瓦扩张。
• 显式计算了上链 σΦ(h⊗l) = Φ(h(1))Φ(l(1))Φ⁻¹(h(2)l(2))，表明双交叉积结构是非平凡的。
• 量子平面代数 A(C²_q) 的 A(F)-余不变子代数同构于经典多项式代数 A(C²)，即 fr(A(C²)) = A(C²_q)^{coA(F)}。
• A(F) 在 M(3,C) 上的共表示矩阵 N 被显式计算，发现其为可约，其中两个奇异不可约分量 N₁ 与 N₂ 源于 F 的有限性。