Hall Algebra

Abelian categoryderived category の不変量として, Hall algebra というものがある。Cramer の [Cra10] によると, 最初に考えられたのは, 可換\(p\)群の圏の場合 [Ste01; Hal38] らしい。解説としては, Schiffmann の lecture note [Sch12] があるので, まずはこれを読むのがよいと思う。

Abelian category の場合の定義はそれ程難しくない。Object の同型類で生成 された free module に適当に積を入れただけである。ただし, その積は extension の個数を用いて定義されているので, その環構造が Abelian category の重要な構造を抽出していることになる。Exact category の場合については, 例えば, Hubery の [Hub06] に書いてある。

  • Abelian category の Ringel-Hall algebra
  • exact category の Ringel-Hall algebra

Hall algebra の有用性を示す応用としては, quiverLie 環 (の universal enveloping algebra の quantum deformation) との間の対応がある。 その Ringel による発見 [Rin90] 以来, Hall algebra の研究が盛んになったようである。 その起源やその後の発展については, Xiao らの [XXZ] や Xu と Chen の [XC] の Introduction, そして Bridgeland の [Bri13] の §1.1 が参考になる。 Bridgeland は, symmetric Kac-Moody algebra の quantum deformation 全体を構成している。

Universal enveloping algebra ではなく Lie algebra を直接作る方法もある。 \(2\)-periodic triangulated category を使う。Xiao と Xu と Zhang の [XXZ] や Fu の [Fu12] など。

  • Ringel-Hall Lie algebra

Walker [Wal] は, quiver の表現の成す Abelian category の Hall algebra が, ある braided monoidal category の Hopf algebra object として表わせることを示している。普通のベクトル空間の monoidal structure ではダメであるが, Grothendieck group により twist した monoidal structure を使うといいようである。これは, Baez らによる Hall algebra の groupoidification と関係がある。 この Baez の blog post からたどって, Walker の thesis が download できる。

Kremnizer と Szczesny の [KS09] では, rooted forest や Feynman graph から作られた symmetric monoidal category に対し, Ringel-Hall algebra が定義されている。

Berestein と Greenstein [BG13] は Grothendieck group による grading に関し completion を取った Ringel-Hall algebra に対し exponential を考え, それにより quantum Chevalley group を定義している。

Szczesny [Szc12]は, \(\F _1\) 上の quiver の表現に対する Hall algebra を考えている。

他にも Hall algebra にはいくつかの拡張が知られている。Kapranov の [Kap98] は Abelian category に対して定義されてはいるが, derived equivalence で不変なので, derived category の不変量になっている。Toën の [Toë06] では dg category への拡張が定義されている。

  • derived Hall algebra

その論文によると, quantum group などへの応用については, Deng と Xiao の [DX04] を見るとよいらしい。

曲面の Fukaya category の derived category の場合が Cooper と Samuelson [CS20] により調べられている。

Bergner は [Ber13] で Toën の構成の更なる拡張を考えている。

Quantum group の表現Grothendieck ring の quantum deformation との関係については, Hernandez と Leclerc の [HL15] がある。

Joyce が [Joy07] で導入した motivic Hall algebra というものもある。Bridgeland の解説 [Bri12] がある。

  • motivic Hall algebra

Motivic Hall algebra と呼ばれるものも色々あって, Kontsevich と Soibelman が [KS] で定義しているものや, Lowrey の [Low] などがある。

Xiao と Xu [XX15] は, algebra の Drinfel\('\)d dual という概念を導入して, Toën のものと Kontsevich-Soibelman のものを比較している。

Kontsevich と Soibelman [KS11] は, string theory に現れる algebra を数学的に定義しようと, cohomological Hall algebra というものを導入した。 String theory だけでなく, 数学の様々な分野に関係あるようである。 Kontsevich と Soibelman は, 同時に categorical Hall algebra や \(K\)-theoretic Hall algebra も定義している。

  • cohomological Hall algebra
  • categorical Hall algebra
  • \(K\)-theoretic Hall algebra

Cohomological Hall algebra の一般化として, oriented cohomology を用いたものがある。Yang と Zhao の [YZ18] である。 その section 6 で具体的な spectrum について, 対応する Hall algebra のことが書いてあり興味深い。 特に, Morava \(K\)-theory の場合が詳しく書かれている。

Additive category ではない圏への拡張としては, Dyckerhoff と Kapranov の [DK; DK19] がある。Proto-exact category という exact category の一般化を導入し, それに対する Hall algebra を定義している。 Dyckerhoff の [Dyc18] も見ると良い。

この Dyckerhoff と Kapranov の方法で定義された Hall algebra としては, Eppolito, Jun, Szczesny の [EJS20] がある。基点付き matroid と strong map の圏の Hall algebra が Schmitt の matroid-minor Hopf algebra [Sch94] の dual であることを示している。

References

[Ber13]

Julia E. Bergner. “Derived Hall algebras for stable homotopy theories”. In: Cah. Topol. Géom. Différ. Catég. 54.1 (2013), pp. 28–55. arXiv: 0910.1861.

[BG13]

Arkady Berenstein and Jacob Greenstein. “Quantum Chevalley groups”. In: Noncommutative birational geometry, representations and combinatorics. Vol. 592. Contemp. Math. Amer. Math. Soc., Providence, RI, 2013, pp. 71–102. arXiv: 1205 . 7020. url: https://doi.org/10.1090/conm/592/11776.

[Bri12]

Tom Bridgeland. “An introduction to motivic Hall algebras”. In: Adv. Math. 229.1 (2012), pp. 102–138. arXiv: 1002 . 4372. url: http://dx.doi.org/10.1016/j.aim.2011.09.003.

[Bri13]

Tom Bridgeland. “Quantum groups via Hall algebras of complexes”. In: Ann. of Math. (2) 177.2 (2013), pp. 739–759. arXiv: 1111.0745. url: http://dx.doi.org/10.4007/annals.2013.177.2.9.

[Cra10]

Tim Cramer. “Double Hall algebras and derived equivalences”. In: Adv. Math. 224.3 (2010), pp. 1097–1120. arXiv: 0809.3470. url: https://doi.org/10.1016/j.aim.2009.12.021.

[CS20]

Benjamin Cooper and Peter Samuelson. “The Hall algebras of surfaces I”. In: J. Inst. Math. Jussieu 19.3 (2020), pp. 971–1028. arXiv: 1708. 00889. url: https://doi.org/10.1017/s1474748018000324.

[DK]

Tobias Dyckerhoff and Mikhail Kapranov. Higher Segal spaces I. arXiv: 1212.3563.

[DK19]

Tobias Dyckerhoff and Mikhail Kapranov. Higher Segal spaces. Vol. 2244. Lecture Notes in Mathematics. Springer, Cham, 2019, pp. xv+218. isbn: 978-3-030-27122-0; 978-3-030-27124-4. url: https://doi.org/10.1007/978-3-030-27124-4.

[DX04]

Bangming Deng and Jie Xiao. “On Ringel-Hall algebras”. In: Representations of finite dimensional algebras and related topics in Lie theory and geometry. Vol. 40. Fields Inst. Commun. Providence, RI: Amer. Math. Soc., 2004, pp. 319–348.

[Dyc18]

Tobias Dyckerhoff. “Higher categorical aspects of Hall algebras”. In: Building bridges between algebra and topology. Adv. Courses Math. CRM Barcelona. Birkhäuser/Springer, Cham, 2018, pp. 1–61. arXiv: 1505.06940.

[EJS20]

Chris Eppolito, Jaiung Jun, and Matt Szczesny. “Proto-exact categories of matroids, Hall algebras, and K-theory”. In: Math. Z. 296.1-2 (2020), pp. 147–167. arXiv: 1805 . 02281. url: https://doi.org/10.1007/s00209-019-02429-z.

[Fu12]

Changjian Fu. “On root categories of finite-dimensional algebras”. In: J. Algebra 370 (2012), pp. 233–265. arXiv: 1103.3335. url: https://doi.org/10.1016/j.jalgebra.2012.07.037.

[Hal38]

P. Hall. “A partition formula connected with Abelian groups”. In: Comment. Math. Helv. 11.1 (1938), pp. 126–129. url: http://dx.doi.org/10.1007/BF01199694.

[HL15]

David Hernandez and Bernard Leclerc. “Quantum Grothendieck rings and derived Hall algebras”. In: J. Reine Angew. Math. 701 (2015), pp. 77–126. arXiv: 1109.0862. url: https://doi.org/10.1515/crelle-2013-0020.

[Hub06]

Andrew Hubery. “From triangulated categories to Lie algebras: a theorem of Peng and Xiao”. In: Trends in representation theory of algebras and related topics. Vol. 406. Contemp. Math. Providence, RI: Amer. Math. Soc., 2006, pp. 51–66. arXiv: math/0502403. url: http://dx.doi.org/10.1090/conm/406/07653.

[Joy07]

Dominic Joyce. “Configurations in abelian categories. II. Ringel-Hall algebras”. In: Adv. Math. 210.2 (2007), pp. 635–706. arXiv: math/ 0503029. url: http://dx.doi.org/10.1016/j.aim.2006.07.006.

[Kap98]

M. Kapranov. “Heisenberg doubles and derived categories”. In: J. Algebra 202.2 (1998), pp. 712–744. arXiv: q-alg/9701009. url: http://dx.doi.org/10.1006/jabr.1997.7323.

[KS]

Maxim Kontsevich and Yan Soibelman. Stability structures, motivic Donaldson-Thomas invariants and cluster transformations. arXiv: 0811.2435.

[KS09]

Kobi Kremnizer and Matt Szczesny. “Feynman graphs, rooted trees, and Ringel-Hall algebras”. In: Comm. Math. Phys. 289.2 (2009), pp. 561–577. arXiv: 0806.1179. url: https://doi.org/10.1007/s00220-008-0694-z.

[KS11]

Maxim Kontsevich and Yan Soibelman. “Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants”. In: Commun. Number Theory Phys. 5.2 (2011), pp. 231–352. arXiv: 1006.2706. url: https://doi.org/10.4310/CNTP.2011.v5.n2.a1.

[Low]

Parker E. Lowrey. The moduli stack and motivic Hall algebra for the bounded derived category. arXiv: 1110.5117.

[Rin90]

Claus Michael Ringel. “Hall algebras and quantum groups”. In: Invent. Math. 101.3 (1990), pp. 583–591. url: http://dx.doi.org/10.1007/BF01231516.

[Sch12]

Olivier Schiffmann. “Lectures on Hall algebras”. In: Geometric methods in representation theory. II. Vol. 24. Sémin. Congr. Soc. Math. France, Paris, 2012, pp. 1–141. arXiv: math/0611617.

[Sch94]

William R. Schmitt. “Incidence Hopf algebras”. In: J. Pure Appl. Algebra 96.3 (1994), pp. 299–330. url: http://dx.doi.org/10.1016/0022-4049(94)90105-8.

[Ste01]

Ernst Steinitz. “Zur Theorie der Abel’schen Gruppen”. In: Jahresbericht der Deutschen Mathematiker Vereinigung 9 (1901), pp. 80–85.

[Szc12]

Matt Szczesny. “Representations of quivers over \(\F _1\) and Hall algebras”. In: Int. Math. Res. Not. IMRN 10 (2012), pp. 2377–2404. arXiv: 1006.0912.

[Toë06]

Bertrand Toën. “Derived Hall algebras”. In: Duke Math. J. 135.3 (2006), pp. 587–615. arXiv: math/0501343. url: http://dx.doi.org/10.1215/S0012-7094-06-13536-6.

[Wal]

Christopher D. Walker. Hall Algebras as Hopf Objects. arXiv: 1011. 5446.

[XC]

Fan Xu and Xueqing Chen. Hall algebras for odd periodic triangulated categories. arXiv: 1001.4353.

[XX15]

Jie Xiao and Fan Xu. “Remarks on Hall algebras of triangulated categories”. In: Kyoto J. Math. 55.2 (2015), pp. 477–499. arXiv: 1208. 2312. url: https://doi.org/10.1215/21562261-2871803.

[XXZ]

Jie Xiao, Fan Xu, and Guanglian Zhang. Derived Categories and Lie Algebras. arXiv: math/0604564.

[YZ18]

Yaping Yang and Gufang Zhao. “The cohomological Hall algebra of a preprojective algebra”. In: Proc. Lond. Math. Soc. (3) 116.5 (2018), pp. 1029–1074. arXiv: 1407.7994. url: https://doi.org/10.1112/plms.12111.