[论文解读] An action-free characterization of weak Hopf-Galois extensions

Lars Kadison|ArXiv.org|Sep 29, 2004

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

一句话总结

本文通过证明Frobenius扩张$A|B$是弱霍普夫-伽罗瓦扩张当且仅当它是深度二且模$A_B$是平衡的，给出了弱霍普夫-伽罗瓦扩张的无作用刻画。该刻画依赖于中心化子$R = C_A(B)$上的双代数胚结构，采用模理论条件而非群或霍普夫代数作用，推广了关于普通及弱霍普夫-伽罗瓦扩张的先前结果。

ABSTRACT

We define comodule algebras and Galois extensions for actions of bialgebroids. Using just module conditions we characterize the Frobenius extensions that are Galois as depth two and right balanced extensions. As a corollary, we obtain characterizations of certain weak and ordinary Hopf-Galois extensions without reference to action in the hypothesis.

研究动机与目标

• 将伽罗瓦扩张的无作用刻画推广至弱霍普夫代数的设定。
• 消除在定义弱霍普夫-伽罗瓦扩张时对群或霍普夫代数作用的依赖。
• 确立Frobenius扩张是弱霍普夫-伽罗瓦扩张的充要条件为：深度二且右平衡。
• 通过双代数胚对偶性，统一并扩展关于普通与弱霍普夫-伽罗瓦扩张的先前结果。
• 利用无限制中心化子$R = C_A(B)$，为弱霍普夫-伽罗瓦扩张提供模理论框架。

提出的方法

• 定义$A|B$为深度二（D2），若$A \bigotimes_B A$作为$B$-$A$与$A$-$B$双模，是有限个$A$的直和的直和项。
• 构造右$R$-双代数胚$T = (A \bigotimes_B A)^B$与左$R$-双代数胚$S = \mathrm{End}_B A_B$，二者互为对偶。
• 利用D2条件，通过取值于$A \bigotimes_R T$的共作用$\delta(a) = \sum_j \gamma_j(a) \otimes u_j$，在$A$上定义右$T$-余模范代数结构。
• 证明$A$是右$T$-余模范代数且余不变量$A^{\mathrm{co}T} = B$当且仅当$A_B$是平衡的。
• 证明伽罗瓦映射$\beta: A \bigotimes_B A \to A \bigotimes_R T$，定义为$\beta(a \bigotimes a') = a a'_{(0)} \bigotimes a'_{(1)}$，是同构当且仅当$A|B$是D2且$A_B$是平衡的。
• 借助Larson-Sweedler-Vecsernyes定理，证明当$R$可分且$A|B$是Frobenius时，$T$成为弱霍普夫代数，从而实现弱霍普夫-伽罗瓦结构。

实验结果

研究问题

• RQ1 在不涉及群或霍普夫代数作用的前提下，Frobenius扩张$A|B$在何种模理论条件下是弱霍普夫-伽罗瓦扩张？
• RQ2 如何仅通过深度二与平衡模条件来刻画扩张的伽罗瓦性质？
• RQ3 中心化子$R = C_A(B)$在构造控制弱霍普夫-伽罗瓦扩张的双代数胚中起何种作用？
• RQ4 能否仅使用模结构，将弱霍普夫-伽罗瓦扩张的刻画从普通霍普夫代数推广至弱设定？
• RQ5 通过$T = (A \bigotimes_B A)^B$在$A$上诱导的对偶性与共作用结构，如何与伽罗瓦性质相关联？

主要发现

• Frobenius扩张$A|B$是弱霍普夫-伽罗瓦扩张当且仅当它是深度二且模$A_B$是平衡的。
• 当$R$可分且$A|B$是Frobenius时，右$R$-双代数胚$T = (A \bigotimes_B A)^B$成为弱霍普夫代数，从而实现弱霍普夫-伽罗瓦结构。
• 伽罗瓦映射$\beta: A \bigotimes_B A \to A \bigotimes_R T$是同构当且仅当$A|B$是D2且$A_B$是平衡的。
• 在$A$上的$T$-共作用中，余不变量满足$A^{\mathrm{co}T} = B$当且仅当$A_B$是平衡的，这与伽罗瓦条件等价。
• 对于不可约扩张（其中$R = k1$），$A|B$是有限霍普夫-伽罗瓦扩张当且仅当它是D2且右平衡，从而恢复并推广了早期结果。
• 当基域的特征为零时，由于Larson-Radford定理，'右平衡'条件可被'可分扩张'替代。