Frobenius algebra と関連した概念

Frobenius algebra は, 純粋に代数的に定義される概念であるが, 様々ところで顔を出す。 代表的なところでは topological field theory である。 Freed, Hopkins, Teleman の [FHT10] では, compact Lie 群の twisted equivariant \(K\)-theory として現れる 。

• 体 \(k\) 上の Frobenius algebra と\(1\)次元多様体の cobordism category から \(k\) 上のベクトル空間の圏への monoidal functor は, 一対一に対応する。

Frobenius algebra の定義は, 様々な同値な定義に言い換えることができる。 それを調べたのは, Nakayama [Nak39; Nak41] らしい。 より一般的な monoidal category での Frobenius monoid の場合, Street の [Str04] で6つの定義が挙げられているので, これを見るのが良いと思う。

• Frobenius algebra の様々な定義
• Frobenius extension
• Frobenius system [Kho06]

Street の論文にもあるように, Frobenius algebra の定義は, monoidal category で考えるのが自然である。

可換環の inclusion \(i : A \hookrightarrow R\) から誘導される restriction functor \[ \mathrm {Res} : \lMod {R} \rarrow {} \lMod {A} \] は left adjoint と right adjoint を持つ。それらが一致するとき, \(i\) は Frobenius extension と呼ばれる。Frobenius extension に, 更にある構造が加わったのが Frobenius system である。これらについては, Kadison の [Kad99] などの文献がある。Frobenius system は, Khovanov の link homology の定義 [Kho06] でも用いられている。 Brown, Gordon, Stroppel は [BGS08] で, Cherednik algebra や Hecke algebra や各種 “quantized algebra” が center の上の free Frobenius extension であることを示している。

ホモロジー代数的には, quasi-Frobenius ring という概念の方が便利かもしれない。Projective module と injective module が一致するような環のことである。 代数的トポロジストが書いたものとしては, 例えば, Hovey と Lockridge の [HL] で graded projective module の成す圏が triangulated category の構造を持つための必要条件として登場する。他にも IF ring (injective-flat ring) という概念も現れる。

• quasi-Frobenius ring
• IF ring

より一般に, injective object と projective object が一致している Frobenius category を考えた方が自然のように思う。

• Frobenius category

体上の Frobenius algebra の重要な例は, 有限群の group algebra である。 Hovey の model category の本 [Hov99] では, Curtis と Reiner の本 [CR88] の section 62 が参照されている。より一般に, 体上の有限次元 Hopf algebra も Frobenius algebra になる。 Larson と Sweedler [LS69] により, integral から bilinear form を定義することにより示された。

• 体上の有限次元 Hopf algebra は Frobenius algebra [LS69; Mon93]
• Frobenius algebra 上の module の category には, 単射を cofibration, 全射を fibration, stable equivalence を weak equivalence とする cofibrantly generated model structure が存在する。[Hov99]
• Frobenius algebra 上の module の stable category は triangulated category になる。

Khovanov は, [Kho16] で体上の有限次元 Hopf algebra 上の comodule algebra 上の module の圏から得られる triangulated category を考えている。 Comodule algebra として, degree \(1\)の生成元を一つだけ持つ exterior algebra を考えると, dg algebra 上の module の圏が得られる。これ以外に様々な triangulated category が, 有限次元 Hopf algebra から構成されるが, このような homological algebra の一般化を, Khovanov は Hopfological algebra と呼んでいる。

• Hopfological algebra

例としては, 向き付け可能な多様体のコホモロジーもある。 Poincaré duality により Frobenius algebra になっていて, また Poincaré duality は Atiyah [Ati61] により, Thom complex を用いた stable homotopy category での duality に翻訳できることが知られている。この Atiyah duality を包括する Frobenius monoid の一般化を考えているのが, Rezk の [Rez] である。

その Frobenius monoid は, 上記のように Street の [Str04] に書かれているが, Lauda と Pfeiffer の [LP07] に詳しい。 また, Lauda は, [Lau06; Lau] などで Frobenius monoid と \(2\)-category での adjunction との関係を調べている。

X. Chen [Che12] は, string topology に現れる多様体の free loop space のホモロジーの Chas-Sullivan product を考えるために, 元の多様体の chain complex 上の構造として differential graded open Frobenius-like algebra というものを考えた。Cattaneo と Mnëv は, perturbative Chern-Simons theory を考える [CM10] 上で differential graded Frobenius algebra や differential graded Frobenius-Lie algebra を考えている。

• differential graded Frobenius algebra
• differential graded Frobenius Lie algebra
• differential graded open Frobenius-like algebra

Frobenius algebra の dual として co-Frobenius coalgebra を考えているのが, Iovanov の [Iov06] である。

Global quotient orbifold の orbifold cohomology を考えるときには, 群の作用を持つ Frobenius algebra, \(G\)-Frobenius algebra の概念が必要になる。これについては, Kaufmann による解説 [Kau03] がある。更に, global quotient orbifold の inertia groupoid からできるものについて考えたのが [Kau04] である。

• \(G\)-Frobenius algebra

Calabi-Yau algebra の条件を満たすものとして Calabi-Yau Frobenius algebra というものを, Eu と Schedler が [ES09] で考えている。

• Calabi-Yau Frobenius algebra

References

[Ati61]

M. F. Atiyah. “Thom complexes”. In: Proc. London Math. Soc. (3) 11 (1961), pp. 291–310. url: https://doi.org/10.1112/plms/s3-11.1.291.

[BGS08]

K. A. Brown, I. G. Gordon, and C. H. Stroppel. “Cherednik, Hecke and quantum algebras as free Frobenius and Calabi-Yau extensions”. In: J. Algebra 319.3 (2008), pp. 1007–1034. arXiv: math/0607170. url: http://dx.doi.org/10.1016/j.jalgebra.2007.10.026.

[Che12]

Xiaojun Chen. “An algebraic chain model of string topology”. In: Trans. Amer. Math. Soc. 364.5 (2012), pp. 2749–2781. arXiv: 0708.1197. url: http://dx.doi.org/10.1090/S0002-9947-2011-05518-2.

[CM10]

Alberto S. Cattaneo and Pavel Mnëv. “Remarks on Chern-Simons invariants”. In: Comm. Math. Phys. 293.3 (2010), pp. 803–836. arXiv: 0811.2045. url: http://dx.doi.org/10.1007/s00220-009-0959-1.

[CR88]

Charles W. Curtis and Irving Reiner. Representation theory of finite groups and associative algebras. Wiley Classics Library. Reprint of the 1962 original, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1988, pp. xiv+689. isbn: 0-471-60845-9.

[ES09]

Ching-Hwa Eu and Travis Schedler. “Calabi-Yau Frobenius algebras”. In: J. Algebra 321.3 (2009), pp. 774–815. arXiv: 0710.3391. url: http://dx.doi.org/10.1016/j.jalgebra.2008.11.003.

[FHT10]

Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman. “Consistent orientation of moduli spaces”. In: The many facets of geometry. Oxford: Oxford Univ. Press, 2010, pp. 395–419. arXiv: 0711.1909. url: http://dx.doi.org/10.1093/acprof:oso/9780199534920.003.0019.

[HL]

Mark Hovey and Keir H. Lockridge. Triangulations of projective modules. arXiv: 0704.3633.

[Hov99]

Mark Hovey. Model categories. Vol. 63. Mathematical Surveys and Monographs. Providence, RI: American Mathematical Society, 1999, p. xii 209. isbn: 0-8218-1359-5.

[Iov06]

Miodrag Cristian Iovanov. “Co-Frobenius coalgebras”. In: J. Algebra 303.1 (2006), pp. 146–153. arXiv: math / 0604251. url: https://doi.org/10.1016/j.jalgebra.2006.04.028.

[Kad99]

Lars Kadison. New examples of Frobenius extensions. Vol. 14. University Lecture Series. American Mathematical Society, Providence, RI, 1999, pp. x+84. isbn: 0-8218-1962-3. url: https://doi.org/10.1090/ulect/014.

[Kau03]

Ralph M. Kaufmann. “Orbifolding Frobenius algebras”. In: Internat. J. Math. 14.6 (2003), pp. 573–617. arXiv: math/0107163. url: http://dx.doi.org/10.1142/S0129167X03001831.

[Kau04]

Ralph M. Kaufmann. “The algebra of discrete torsion”. In: J. Algebra 282.1 (2004), pp. 232–259. arXiv: math / 0208081. url: http://dx.doi.org/10.1016/j.jalgebra.2004.07.042.

[Kho06]

Mikhail Khovanov. “Link homology and Frobenius extensions”. In: Fund. Math. 190 (2006), pp. 179–190. arXiv: math/0411447. url: http://dx.doi.org/10.4064/fm190-0-6.

[Kho16]

Mikhail Khovanov. “Hopfological algebra and categorification at a root of unity: the first steps”. In: J. Knot Theory Ramifications 25.3 (2016), pp. 1640006, 26. arXiv: math / 0509083. url: https://doi.org/10.1142/S021821651640006X.

[Lau]

Aaron D. Lauda. Frobenius algebras and planar open string topological field theories. arXiv: math/0508349.

[Lau06]

Aaron D. Lauda. “Frobenius algebras and ambidextrous adjunctions”. In: Theory Appl. Categ. 16 (2006), No. 4, 84–122. arXiv: math/ 0502550.

[LP07]

Aaron D. Lauda and Hendryk Pfeiffer. “State sum construction of two-dimensional open-closed topological quantum field theories”. In: J. Knot Theory Ramifications 16.9 (2007), pp. 1121–1163. arXiv: math / 0602047. url: http://dx.doi.org/10.1142/S0218216507005725.

[LS69]

Richard Gustavus Larson and Moss Eisenberg Sweedler. “An associative orthogonal bilinear form for Hopf algebras”. In: Amer. J. Math. 91 (1969), pp. 75–94. url: https://doi.org/10.2307/2373270.

[Mon93]

Susan Montgomery. Hopf algebras and their actions on rings. Vol. 82. CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1993, pp. xiv+238. isbn: 0-8218-0738-2.

[Nak39]

Tadasi Nakayama. “On Frobeniusean algebras. I”. In: Ann. of Math. (2) 40 (1939), pp. 611–633.

[Nak41]

Tadasi Nakayama. “On Frobeniusean algebras. II”. In: Ann. of Math. (2) 42 (1941), pp. 1–21.

[Rez]

Charles Rezk. Frobenius Pairs and Atiyah Duality. arXiv: 1303.3567.

[Str04]

Ross Street. “Frobenius monads and pseudomonoids”. In: J. Math. Phys. 45.10 (2004), pp. 3930–3948. url: http://dx.doi.org/10.1063/1.1788852.