跳至內容

弗羅貝尼烏斯代數

維基百科,自由的百科全書

表示論理論中,弗羅貝尼烏斯代數是一種有限維結合代數,具有特殊的雙線性形式,賦予了代數以良好的對偶理論。1930年代,理查德·布饒爾和Cecil J. Nesbitt開始研究弗羅貝尼烏斯代數,以費迪南德·格奧爾格·弗羅貝尼烏斯命名。中山正發現了豐富的對偶理論的雛形(Nakayama 1939)、(Nakayama 1941)。讓·迪厄多內利用利用這一點描述了弗羅貝尼烏斯代數(Dieudonné 1958)。弗羅貝尼烏斯代數被推廣到准弗羅貝尼烏斯環,即正則表示右式為內射模諾特環。近來,由於與拓撲量子場論的聯繫,人們對弗羅貝尼烏斯代數重新產生了興趣。

定義

[編輯]

定義在k上的有限維酉結合代數A若有非退化雙線性形式σ : A × Ak,滿足方程σ(a·b, c) = σ(a, b·c),則稱作弗羅貝尼烏斯代數。這一雙線性形式被稱作代數的弗羅貝尼烏斯形式

等價地,我們可以給A加上線性泛函λ : Ak,使λ不包含A的非零左理想

σ是對稱雙線性形式,或等價地,λ滿足λ(a·b) = λ(b·a),則稱弗羅貝尼烏斯代數對稱

向量空間中有另一個基本不相關的對稱代數概念。

中山自同態

[編輯]

對於配備上述σ的弗羅貝尼烏斯代數AA的自同態ν,使σ(a, b) = σ(ν(b), a)是與Aσ相關的中山自同態

例子

[編輯]
  1. 任何定義在域k上的矩陣代數都是弗羅貝尼烏斯代數。其弗羅貝尼烏斯形式為,其中tr表示
  2. 任意有限維酉結合代數A都與其自同態環自然同態。在前例的意義上,可在A上定義一個非退化雙線性形式,就使得A具有弗羅貝尼烏斯代數的結構。
  1. k有限群G群環k[G]都是對稱弗羅貝尼烏斯代數,弗羅貝尼烏斯形式σ(a,b)由a·b中單位元的係數給出。
  2. 對於域k,四維k代數是弗羅貝尼烏斯代數。這可以從下面的交換局部弗羅貝尼烏斯環的特徵得出,因為它是局部環,最大理想由xy生成,唯一的最小理想由xy生成。
  3. 對於域k,三維k代數不是弗羅貝尼烏斯代數。由xy 引導的xAA的同態不能擴展為AA的同態,表明此環不是自內射的,因此也不是弗羅貝尼烏斯代數。
  4. 任意有限維霍普夫代數都是弗羅貝尼烏斯代數,據Larson-Sweedler (1969)關於霍普夫模和積分的定理。

性質

[編輯]
  • 弗羅貝尼烏斯代數的直積及張量積都是弗羅貝尼烏斯代數。
  • 域上的有限維交換局部代數是弗羅貝尼烏斯代數,當且僅當其右正則模是內射的,當且僅當其極小理想唯一。
  • 交換局部弗羅貝尼烏斯代數正是包含其剩餘域並在其上有限維的零維局部葛侖斯坦環
  • 弗羅貝尼烏斯代數是准弗羅貝尼烏斯環,特別是,它們是左右阿廷環、是左右自內射環。
  • 對於域k,當且僅當內射的右AA的右正則表達同構時,一個有限維酉結合代數才是弗羅貝尼烏斯代數。
  • 對於無限域k,若有限維酉結合k代數只有有限多個極小右理想,則它是弗羅貝尼烏斯代數。
  • Fk的有限維擴張,則有限維F代數通過標量的限制,自然就是有限維k代數,且只有當它是弗羅貝尼烏斯F代數時,它才是弗羅貝尼烏斯k代數。即,只要代數是有限維,弗羅貝尼烏斯性就與域無關。
  • 同樣,若Fk的有限維擴張,則k代數A都會自然產生F代數,其中A是弗羅貝尼烏斯k代數,當且僅當是弗羅貝尼烏斯F代數。
  • 在右正則表達為內射的有限維酉結合代數中,弗羅貝尼烏斯代數A單模M與其A對偶同維度的代數。其中,單模的A對偶總是單的。
  • 有限維雙弗羅貝尼烏斯代數嚴格雙弗羅貝尼烏斯代數k向量空間A,其有兩個乘法結構,即酉弗羅貝尼烏斯代數(A, • , 1)和(A, , ):必須有Ak的乘法同態,使非退化,且A到自身的的k同構S對這兩種結構都是反自同構,於是Ak上的有限維霍普夫代數S是其對徑(antipode)。有限群的群代數給出了一個例子。[1][2][3][4]

範疇論定義

[編輯]

範疇論中,弗羅貝尼烏斯對象是在範疇中對弗羅貝尼烏斯代數的抽象定義。幺半範疇中的弗羅貝尼烏斯對象C的對象A和4個態射組成:

使

  • C中的幺半對象;
  • C中的余幺半對象;

可交換(簡單起見,此處給出的圖是嚴格幺半範疇C),稱作弗羅貝尼烏斯條件[5]

更簡潔地說,C中的弗羅貝尼烏斯代數是所謂弗羅貝尼烏斯幺半函子A:1C,其中1是由一個對象和一個態射組成的範疇。

,稱弗羅貝尼烏斯代數等距特殊

應用

[編輯]

弗羅貝尼烏斯代數最初來自有限群表示論研究,並對數論代數幾何組合數學的研究做出了貢獻。它們還被用來研究霍普夫代數編碼理論有向流形上同調環

拓撲量子場論

[編輯]
弗羅貝尼烏斯代數上的積和余積可解釋為(1+1)維拓撲量子場論,應用於褲面

最近有人發現,它們在拓撲量子場論的代數處理和公理基礎中發揮着重要作用。交換弗羅貝尼烏斯代數唯一確定了(同構意義上)(1+1)維拓撲量子場論。更準確地說,交換弗羅貝尼烏斯代數範疇等價於從(1維流形間的2維配邊的範疇)到上的向量空間的範疇)的對稱強幺半函子範疇。 拓撲量子場論和弗羅貝尼烏斯代數之間的對應如下:

  • 1維流形是圓的不交並:拓撲量子場論將向量空間與圓聯繫起來,將向量空間的張量積與圓的不交並聯繫起來;
  • 拓撲量子場論將流形間的每個配邊與向量空間之間的映射聯繫起來(函子式地);
  • 褲面(1個圓和2個圓之間的配邊)相關聯的映射給出了積射或余積射,取決於邊界成分的分組方式是交換還是余交換;
  • 根據邊界分組方式的不同,與圓盤相關聯的映射給出了余單位(跡)或單位(標量)。

弗羅貝尼烏斯代數及(1+1)維拓撲量子場論的這種關係可用來解釋科瓦諾夫對瓊斯多項式的分類。[6][7]

推廣

[編輯]

弗羅貝尼烏斯擴張

[編輯]

B為與酉結合環A有同樣單位元的子環。這也稱作環擴張A | B,滿足以下條件的環擴張稱作弗羅貝尼烏斯擴張

  • ,有線性映射滿足雙模條件
  • ,使得對都有:

映射E也稱作弗羅貝尼烏斯同態,元素稱作對偶基。(可給出弗羅貝尼烏斯擴張的等價定義:B-B雙模範疇中的弗羅貝尼烏斯代數-共代數對象,剛才的等式變成了余單位E的余單位方程。)

例如,交換環K上的弗羅貝尼烏斯代數A,配備結合非退化雙線性形式(-,-)與射影K基,則稱為弗羅貝尼烏斯擴展A | K,其中E(a) = (a,1)。例子還有:與有限指數子群相聯繫的群代數對、半單霍普夫代數的霍普夫子代數、伽羅瓦擴張和某些有限指數的馮·諾依曼代數子因子。弗羅貝尼烏斯擴張(及扭曲版本)的另一個來源是弗羅貝尼烏斯代數的某些子代數對,當中的子代數通過上代數(overalgebra)的對稱自同構得到穩定。

群環例子的細節是以下群論基本概念的應用。令G為群,H為當中有限指數n的子群;設為左陪集表示,於是G是陪集的不交並。在任意交換基環k上定義群代數,於是BA的子代數。通過使,定義弗羅貝尼烏斯同態:這就從基群元素線性擴展到了A的所有元素,從而得到B-B雙模射影

(正交歸一性條件由此得出。)對偶基由給出,因為

另一個對偶基方程可通過觀察得出,即G也是右陪集的不交並。

另外,根據Kreimer & Takeuchi (1989)的定理,霍普夫-伽羅瓦擴張也是弗羅貝尼烏斯擴張。簡單例子是有限群G通過自同構作用於具有不變子代數的代數A

根據DeMeyer準則,AB上的G伽羅瓦,若A中有元素滿足:

因此

那麼AB的弗羅貝尼烏斯擴張,定義為

其滿足

(此外,可分代數擴張的例子:是可分性元,滿足。也是深度二子環(A中的B)的例子,因為

其中

1950到60年代,Kasch & Pareigis、Nakayama & Tzuzuku等人開發了完備的弗羅貝尼烏斯擴張的誘導表示理論。例如,對每個BM,誘導模(若M是左模)與余誘導模作為A模自然同構。Kasch (1960)的自同態環定理指出,若A | B是弗羅貝尼烏斯擴張,則也是弗羅貝尼烏斯擴張,其中映射由aλa(x)和給出。Mueller、Morita、Onodera等人又研究了自同態環定理和逆反。

弗羅貝尼烏斯伴隨

[編輯]

如上段暗示的,弗羅貝尼烏斯擴張有等價的範疇化表述。 即,給定環擴張,從左S模範疇到左R模範疇的誘導函子有左右伴隨,分別稱作余限制與限制。。 當且僅當左右伴隨自然同構時,該環擴張才稱作「弗羅貝尼烏斯擴張」。

這就導致了對普通範疇論的明顯抽象:伴隨若也有,則稱作弗羅貝尼烏斯伴隨。 若函子F是弗羅貝尼烏斯伴隨的一部分,即有同構的左右伴隨,則是弗羅貝尼烏斯函子。

另見

[編輯]

參考文獻

[編輯]
  1. ^ Haim, Mariana. Group-like algebras and Hadamard matrices. J. Algebra. 2007, 308 (1): 215–235. CiteSeerX 10.1.1.241.966可免費查閱. MR 2290919. S2CID 17741240. arXiv:math/0602224可免費查閱. doi:10.1016/j.jalgebra.2006.06.005. 
  2. ^ Koppinen, M. On algebras with two multiplications, including Hopf algebras and Bose-Mesner algebras (PDF). J. Algebra. 1996, 182 (1): 256–273 [2023-11-23]. MR 1388866. doi:10.1006/jabr.1996.0170. (原始內容存檔 (PDF)於2022-09-12). 
  3. ^ Wang, Zhihua; Li, Libin. Double Frobenius algebras. Front. Math. China. 2018, 13 (2): 399–415. MR 3778372. S2CID 125866864. doi:10.1007/s11464-018-0682-3. 
  4. ^ Doi, Yukio; Takeuchi, Mitsuhiro. Bi-Frobenius algebras. New trends in Hopf algebra theory (La Falda, 1999). Contemp. Math. 267. American Mathematical Society. 2000: 67–97. ISBN 0-8218-2126-1. MR 1800707. 
  5. ^ Pavlovic, Dusko, Monoidal computer I: Basic computability by string diagrams, Information and Computation, 2013, 226: 94–116, S2CID 17127693, arXiv:1208.5205可免費查閱, doi:10.1016/j.ic.2013.03.007 
  6. ^ Bar-Natan, Dror, Khovanov's homology for tangles and cobordisms, Geom. Topol., 2005, 9 (3): 1443–1499, Bibcode:2004math.....10495B, S2CID 1247623, arXiv:math/0410495可免費查閱, doi:10.2140/gt.2005.9.1443 
  7. ^ Paul Turner, Five Lectures on Khovanov Homology, 2006, Bibcode:2006math......6464T, arXiv:math/0606464可免費查閱 

外部連結

[編輯]