Quiver から定義される各種 algebra

Small category を扱うときには, その元になる基本的な構造として quiver を考えるべきである。

例えば, posetincidence algebra の自然な拡張として, small category に対して定義される algebra [GS83] は, quiver から生成される free small category に対しては quiver の path algebra と呼ばれるものになる。

  • quiver の path algebra

Favero と Huang は [FH25] で, finite acyclic quiver に対し, path algebra をある ideal で割ったものとして, homotopy path algebra という algebra を導入している。 さらに, それに associate した small category を定義し, その 分類空間を調べていて興味深い。 その動機は, Bondal と Ruan による homological mirror symmetry の仕事 [Bon06] のようである。

  • homotopy path algebra

グラフは, 組み合せ論の基本的な研究対象であるが, quiver は, 表現論でよく使われる。 (組み合わせ論で登場するときは, directed graph と呼ばれることが多い気がする。) そして Khovanov と Seidel の [KS02] で行なわれているように, graph から代数的 (幾何学的) 対象を構成するのは, 結構 popular な手法のようである。 これについては Reiten の AMS Notices の記事 [Rei97] が分かりやすい。Huerfano と Khovanov の [HK01] でも preprojective algebra の解説として参照されている。他には Crawley-Boevey の lecture note もある。

Huerfano と Khovanov は, Khovanov と Seidel の [KS02] などで調べられている graph から作られた algebra (彼らは zigzag algebra と呼んでいる) と preprojective algebra にの関係ついても述べている。他にも path algebra から作られるものとしては, Gel\('\)fand と Retakh と Serconek と Wilson [Gel+05] の splitting algebra がある。Noncommutative algebra での因数分解に関係するものらしい。

  • graph の zigzag algebra [HK01]
  • splitting algebra

ある一定の長さ以上の path を無視した truncated path algebra (truncated quiver algebra) というものもある。

  • quiver の truncated path algebra

逆に, 一般の有限次元 associative algebra \(A\) に対し, それが quiver の path algebra のquotient として実現できるかどうかという問題も考えられる。 これについては, 有名な Gabriel の結果 [Gab73] がある。

  • bound quiver
  • ある条件をみたす有限次元代数は bound quiver \((Q,I)\) により \(kQ/I\) と表示できる

Path algebra の dualとして path coalgebra を Chin と Montgomery が [CM97] で定義している。Cibils と Rosso は [CR02] で path coalgebra が graded Hopf algebra の構造を持つための quiver に関する必要十分条件を求めている。

  • quiver の path coalgebra
  • Hopf quiver
  • quiver Hopf algebra

Quiver からは, necklace Lie algebra というものも定義される。

Ginzburg と Schedler の [GS06] は, その quiver からできる necklace Lie algebra の stable homology と necklace Lie algebra の quantization を調べたものである。

最近では, cluster algebra が有名である。Fomin [Fom10] によると, quiver からできるものに制限しても十分意味がある。

Leavitt が [Lea57; Lea62] で invariant basis number property を調べた際に定義した algebra の拡張として Leavitt path algebra という種類の algebra がある。Leavitt の仕事からどのように Leavitt path algebra が登場したか, Gene Abrams の survey [Abr15] にとても詳しく書かれているので, まずはこれを見るとよいと思う。 Gene Abrams は, AMS の Notices の “What is\(\ldots \)” [Abr16] も書いている。 より詳しくは, Springer Lecture Notes の [AAS17] がある。

Abrams の survey によると Leavitt path algebra の起源は2つある。 一つは, Ara と Goodearl と Pardo の [AGP02] であり, そこで Cuntz [Cun77] が導入した \(C^{*}\)-algebra \(\cO _{n}\) と Leavitt algebra との関係が明らかになったようである。 もう一つの起源は, Abrams の仕事 [Abr97] のようである。

Quiver から直接定義される algebra ではないが, Sinha と Walter [SW11; Wal] は, quiver から operad や cooperad を作り, その上の algebra や coalgebra を考えている。

References

[AAS17]

Gene Abrams, Pere Ara, and Mercedes Siles Molina. Leavitt path algebras. Vol. 2191. Lecture Notes in Mathematics. Springer, London, 2017, pp. xiii+287. isbn: 978-1-4471-7343-4; 978-1-4471-7344-1.

[Abr15]

Gene Abrams. “Leavitt path algebras: the first decade”. In: Bull. Math. Sci. 5.1 (2015), pp. 59–120. arXiv: 1410.1835. url: https://doi.org/10.1007/s13373-014-0061-7.

[Abr16]

Gene Abrams. “What is \(\ldots \) a Leavitt path algebra?” In: Notices Amer. Math. Soc. 63.8 (2016), pp. 910–911. url: https://doi.org/10.1090/noti1414.

[Abr97]

Gene Abrams. “Non-induced isomorphisms of matrix rings”. In: Israel J. Math. 99 (1997), pp. 343–347. url: https://doi.org/10.1007/BF02760690.

[AGP02]

P. Ara, K. R. Goodearl, and E. Pardo. “\(K_0\) of purely infinite simple regular rings”. In: \(K\)-Theory 26.1 (2002), pp. 69–100. arXiv: math/0111066. url: https://doi.org/10.1023/A:1016358107918.

[BL02]

Raf Bocklandt and Lieven Le Bruyn. “Necklace Lie algebras and noncommutative symplectic geometry”. In: Math. Z. 240.1 (2002), pp. 141–167. url: http://dx.doi.org/10.1007/s002090100366.

[Bon06]

Alexey Bondal. “Derived categories of toric varieties”. In: Convex and Algebraic geometry, Oberwolfach conference reports, EMS Publishing House. Vol. 3. 2006, pp. 284–286.

[CM97]

William Chin and Susan Montgomery. “Basic coalgebras”. In: Modular interfaces (Riverside, CA, 1995). Vol. 4. AMS/IP Stud. Adv. Math. Amer. Math. Soc., Providence, RI, 1997, pp. 41–47.

[CR02]

Claude Cibils and Marc Rosso. “Hopf quivers”. In: J. Algebra 254.2 (2002), pp. 241–251. arXiv: math/0009106. url: http://dx.doi.org/10.1016/S0021-8693(02)00080-7.

[Cun77]

Joachim Cuntz. “Simple \(C^{*}\)-algebras generated by isometries”. In: Comm. Math. Phys. 57.2 (1977), pp. 173–185. url: http://projecteuclid.org/euclid.cmp/1103901288.

[FH25]

David Favero and Jesse Huang. “Homotopy path algebras”. In: Selecta Math. (N.S.) 31.2 (2025), Paper No. 25. arXiv: 2205.03730. url: https://doi.org/10.1007/s00029-025-01021-0.

[Fom10]

Sergey Fomin. “Total positivity and cluster algebras”. In: Proceedings of the International Congress of Mathematicians. Volume II. New Delhi: Hindustan Book Agency, 2010, pp. 125–145. arXiv: 1005.1086.

[Gab73]

Peter Gabriel. “Indecomposable representations. II”. In: Symposia Mathematica, Vol. XI (Convegno di Algebra Commutativa, INDAM, Rome, 1971). London: Academic Press, 1973, pp. 81–104.

[Gel+05]

Israel Gelfand, Vladimir Retakh, Shirlei Serconek, and Robert Lee Wilson. “On a class of algebras associated to directed graphs”. In: Selecta Math. (N.S.) 11.2 (2005), pp. 281–295. arXiv: math/0506507. url: http://dx.doi.org/10.1007/s00029-005-0005-x.

[Gin01]

Victor Ginzburg. “Non-commutative symplectic geometry, quiver varieties, and operads”. In: Math. Res. Lett. 8.3 (2001), pp. 377–400.

[GS06]

Victor Ginzburg and Travis Schedler. “Moyal quantization and stable homology of necklace Lie algebras”. In: Mosc. Math. J. 6.3 (2006), pp. 431–459, 587. arXiv: math/0605704.

[GS83]

Murray Gerstenhaber and Samuel D. Schack. “Simplicial cohomology is Hochschild cohomology”. In: J. Pure Appl. Algebra 30.2 (1983), pp. 143–156. url: http://dx.doi.org/10.1016/0022-4049(83)90051-8.

[HK01]

Ruth Stella Huerfano and Mikhail Khovanov. “A category for the adjoint representation”. In: J. Algebra 246.2 (2001), pp. 514–542. url: http://dx.doi.org/10.1006/jabr.2001.8962.

[KS02]

Mikhail Khovanov and Paul Seidel. “Quivers, Floer cohomology, and braid group actions”. In: J. Amer. Math. Soc. 15.1 (2002), 203–271 (electronic). arXiv: math/0006056. url: http://dx.doi.org/10.1090/S0894-0347-01-00374-5.

[Lea57]

W. G. Leavitt. “Modules without invariant basis number”. In: Proc. Amer. Math. Soc. 8 (1957), pp. 322–328. url: https://doi.org/10.2307/2033737.

[Lea62]

W. G. Leavitt. “The module type of a ring”. In: Trans. Amer. Math. Soc. 103 (1962), pp. 113–130. url: https://doi.org/10.2307/1993743.

[Rei97]

Idun Reiten. “Dynkin diagrams and the representation theory of algebras”. In: Notices Amer. Math. Soc. 44.5 (1997), pp. 546–556.

[SW11]

Dev Sinha and Benjamin Walter. “Lie coalgebras and rational homotopy theory, I: graph coalgebras”. In: Homology Homotopy Appl. 13 (2011), pp. 263–292. arXiv: math/0610437. url: https://doi.org/10.4310/HHA.2011.v13.n2.a16.

[Wal]

Ben Walter. Lie algebra configuration pairing. arXiv: 1010.4732.