弗罗贝尼乌斯代数

表示论和模理论中，弗罗贝尼乌斯代数是一种有限维酉结合代数，具有特殊的双线性形式，赋予了代数以良好的对偶理论。1930年代，理查德·布饶尔和Cecil J. Nesbitt开始研究弗罗贝尼乌斯代数，以费迪南德·格奥尔格·弗罗贝尼乌斯命名。中山正发现了丰富的对偶理论的雏形1939、1941。让·迪厄多内利用利用这一点描述了弗罗贝尼乌斯代数1958。弗罗贝尼乌斯代数被推广到准弗罗贝尼乌斯环，即正则表示右式为内射模的诺特环。近来，由于与拓扑量子场论的联系，人们对弗罗贝尼乌斯代数重新产生了兴趣。

**定义**
定义在域k上的有限维酉结合代数A若有非退化双线性形式σ : A × A → k，满足方程1=σ(a·b, c) = σ(a, b·c)，则称作弗罗贝尼乌斯代数。这一双线性形式被称作代数的弗罗贝尼乌斯形式。
等价地，我们可以给A加上线性泛函λ : A → k，使λ的核不包含A的非零左理想。
若σ是对称双线性形式，或等价地，λ满足1=λ(a·b) = λ(b·a)，则称弗罗贝尼乌斯代数对称。
向量空间中有另一个基本不相关的对称代数概念。

**中山自同态**
对于配备上述σ的弗罗贝尼乌斯代数A，A的自同态ν，使1=σ(a, b) = σ(ν(b), a)是与A、σ相关的中山自同态。

**例子**
# 任何定义在域k上的矩阵代数都是弗罗贝尼乌斯代数。其弗罗贝尼乌斯形式为，其中tr表示迹。
# 任意有限维酉结合代数A都与其自同态环自然同态。在前例的意义上，可在A上定义一个非退化双线性形式，就使得A具有弗罗贝尼乌斯代数的结构。
# 域k上有限群G的群环kG都是对称弗罗贝尼乌斯代数，弗罗贝尼乌斯形式σ(a,b)由a·b中单位元的系数给出。
# 对于域k，四维k代数是弗罗贝尼乌斯代数。这可以从下面的交换局部弗罗贝尼乌斯环的特征得出，因为它是局部环，最大理想由x、y生成，唯一的最小理想由xy生成。
# 对于域k，三维k代数不是弗罗贝尼乌斯代数。由x ↦ y 引导的xA到A的同态不能扩展为A到A的同态，表明此环不是自内射的，因此也不是弗罗贝尼乌斯代数。
#任意有限维霍普夫代数都是弗罗贝尼乌斯代数，据Larson-Sweedler (1969)关于霍普夫模和积分的定理。

**性质**
 弗罗贝尼乌斯代数的直积及张量积都是弗罗贝尼乌斯代数。- 域上的有限维交换局部代数是弗罗贝尼乌斯代数，当且仅当其右正则模是内射的，当且仅当其极小理想唯一。- 交换局部弗罗贝尼乌斯代数正是包含其剩余域并在其上有限维的零维局部葛仑斯坦环。- 弗罗贝尼乌斯代数是准弗罗贝尼乌斯环，特别是，它们是左右阿廷环、是左右自内射环。- 对于域k，当且仅当内射的右A模与A的右正则表达同构时，一个有限维酉结合代数才是弗罗贝尼乌斯代数。- 对于无限域k，若有限维酉结合k代数只有有限多个极小右理想，则它是弗罗贝尼乌斯代数。- 若F是k的有限维扩张，则有限维F代数通过标量的限制，自然就是有限维k代数，且只有当它是弗罗贝尼乌斯F代数时，它才是弗罗贝尼乌斯k代数。即，只要代数是有限维，弗罗贝尼乌斯性就与域无关。- 同样，若F是k的有限维扩张，则k代数A都会自然产生F代数，其中A是弗罗贝尼乌斯k代数，当且仅当是弗罗贝尼乌斯F代数。- 在右正则表达为内射的有限维酉结合代数中，弗罗贝尼乌斯代数A是单模M与其A对偶同维度的代数。其中，单模的A对偶总是单的。- 有限维双弗罗贝尼乌斯代数或严格双弗罗贝尼乌斯代数是k向量空间A，其有两个乘法结构，即酉弗罗贝尼乌斯代数(A, • , 1)和(A,  , )：必须有A到k的乘法同态、，使、非退化，且A到自身的的k同构S对这两种结构都是反自同构，于是当A是k上的有限维霍普夫代数且S是其对径（antipode）。有限群的群代数给出了一个例子。

**范畴论定义**
范畴论中，弗罗贝尼乌斯对象是在范畴中对弗罗贝尼乌斯代数的抽象定义。幺半范畴中的弗罗贝尼乌斯对象由C的对象A和4个态射组成：

使- 是C中的幺半对象；- 是C中的余幺半对象；- 图
Image:Frobenius obj coh 1.png
、
Image:Frobenius obj coh 2.png
可交换（简单起见，此处给出的图是严格幺半范畴C），称作弗罗贝尼乌斯条件。
更简洁地说，C中的弗罗贝尼乌斯代数是所谓弗罗贝尼乌斯幺半函子A：1 → C，其中1是由一个对象和一个态射组成的范畴。
若，称弗罗贝尼乌斯代数等距或特殊。

**应用**
弗罗贝尼乌斯代数最初来自有限群表示论研究，并对数论、代数几何和组合数学的研究做出了贡献。它们还被用来研究霍普夫代数、编码理论和紧有向流形的上同调环。

**拓扑量子场论**
弗罗贝尼乌斯代数上的积和余积可解释为(1+1)维拓扑量子场论，应用于裤面。
最近有人发现，它们在拓扑量子场论的代数处理和公理基础中发挥着重要作用。交换弗罗贝尼乌斯代数唯一确定了（同构意义上）(1+1)维拓扑量子场论。更准确地说，交换弗罗贝尼乌斯代数范畴等价于从（1维流形间的2维配边的范畴）到（上的向量空间的范畴）的对称强幺半函子范畴。
拓扑量子场论和弗罗贝尼乌斯代数之间的对应如下：- 1维流形是圆的不交并：拓扑量子场论将向量空间与圆联系起来，将向量空间的张量积与圆的不交并联系起来；- 拓扑量子场论将流形间的每个配边与向量空间之间的映射联系起来（函子式地）；- 与裤面（1个圆和2个圆之间的配边）相关联的映射给出了积射或余积射，取决于边界成分的分组方式是交换还是余交换；- 根据边界分组方式的不同，与圆盘相关联的映射给出了余单位（迹）或单位（标量）。
弗罗贝尼乌斯代数及(1+1)维拓扑量子场论的这种关系可用来解释科瓦诺夫对琼斯多项式的分类。

**推广**

**弗罗贝尼乌斯扩张**
令B为与酉结合环A有同样单位元的子环。这也称作环扩张A | B，满足以下条件的环扩张称作弗罗贝尼乌斯扩张：- ，有线性映射满足双模条件。
*，使得对都有：

映射E也称作弗罗贝尼乌斯同态，元素称作对偶基。（可给出弗罗贝尼乌斯扩张的等价定义：B-B双模范畴中的弗罗贝尼乌斯代数-共代数对象，刚才的等式变成了余单位E的余单位方程。）
例如，交换环K上的弗罗贝尼乌斯代数A，配备结合非退化双线性形式(-,-)与射影K基，则称为弗罗贝尼乌斯扩展A | K，其中E(a) = (a,1)。例子还有：与有限指数子群相联系的群代数对、半单霍普夫代数的霍普夫子代数、伽罗瓦扩张和某些有限指数的冯·诺依曼代数子因子。弗罗贝尼乌斯扩张（及扭曲版本）的另一个来源是弗罗贝尼乌斯代数的某些子代数对，当中的子代数通过上代数（overalgebra）的对称自同构得到稳定。
群环例子的细节是以下群论基本概念的应用。令G为群，H为当中有限指数n的子群；设为左陪集表示，于是G是陪集的不交并。在任意交换基环k上定义群代数，于是B是A的子代数。通过使，定义弗罗贝尼乌斯同态：这就从基群元素线性扩展到了A的所有元素，从而得到B-B双模射影

（正交归一性条件由此得出。）对偶基由给出，因为

另一个对偶基方程可通过观察得出，即G也是右陪集的不交并。
另外，根据Kreimer & Takeuchi (1989)的定理，霍普夫-伽罗瓦扩张也是弗罗贝尼乌斯扩张。简单例子是有限群G通过自同构作用于具有不变子代数的代数A：

根据DeMeyer准则，A是B上的G伽罗瓦，若A中有元素满足：

因此

那幺A是B的弗罗贝尼乌斯扩张，定义为

其满足

（此外，可分代数扩张的例子：是可分性元，满足。也是深度二子环（A中的B）的例子，因为

其中

1950到60年代，Kasch & Pareigis、Nakayama & Tzuzuku等人开发了完备的弗罗贝尼乌斯扩张的诱导表示理论。例如，对每个B模M，诱导模（若M是左模）与余诱导模作为A模自然同构。Kasch (1960)的自同态环定理指出，若A | B是弗罗贝尼乌斯扩张，则也是弗罗贝尼乌斯扩张，其中映射由a ↦ λa(x)和给出。Mueller、Morita、Onodera等人又研究了自同态环定理和逆反。

**弗罗贝尼乌斯伴随**
如上段暗示的，弗罗贝尼乌斯扩张有等价的范畴化表述。
即，给定环扩张，从左S模范畴到左R模范畴的诱导函子有左右伴随，分别称作余限制与限制。。
当且仅当左右伴随自然同构时，该环扩张才称作“弗罗贝尼乌斯扩张”。
这就导致了对普通范畴论的明显抽象：伴随若也有，则称作弗罗贝尼乌斯伴随。
若函子F是弗罗贝尼乌斯伴随的一部分，即有同构的左右伴随，则是弗罗贝尼乌斯函子。

**另见**
 双代数- 弗罗贝尼乌斯范畴- 矩阵范数#弗罗贝尼乌斯范数- 弗罗贝尼乌斯内积- 霍普夫代数- 准弗罗贝尼乌斯李代数- 匕首紧范畴

**参考文献**
 ref=-  year=1999-  dead-url=no - Citation | last1=Nakayama | first1=Tadasi | author1-link=Tadashi Nakayama (mathematician) | title=On Frobeniusean algebras. I | doi=10.2307/1968946 | mr=0000016  
journal=Annals of Mathematics |series=Second Series | volume=40 | pages=611–633 | issue=3 | publisher=Annals of Mathematics | jstor=1968946| bibcode=1939AnMat..40..611N - Citation | last1=Nakayama | first1=Tadasi | author1-link=Tadashi Nakayama (mathematician) | title=On Frobeniusean algebras. II | doi=10.2307/1968984 | mr=0004237  
journal=Annals of Mathematics |series=Second Series | volume=42 | pages=1–21 | issue=1 | publisher=Annals of Mathematics | jstor=1968984| hdl=10338.dmlcz/140501 | hdl-access=free - Citation | last1=Nesbitt | first1=C. | author1-link=Cecil J. Nesbitt | title=On the regular representations of algebras | doi=10.2307/1968639 | pmid=16588158 | mr=1503429  
journal=Annals of Mathematics |series=Second Series | issn=0003-486X | volume=39 | issue=3 | pages=634–658 | jstor=1968639 | pmc=1076908 -  doi-access=free 

**外部链接**
dead-url=no