Algebras defined by Lyndon words and Artin-Schelter regularity
HTML articles powered by AMS MathViewer
- by Tatiana Gateva-Ivanova HTML | PDF
- Trans. Amer. Math. Soc. Ser. B 9 (2022), 648-699
Abstract:
Let $X= \{x_1, x_2, \cdots , x_n\}$ be a finite alphabet, and let $K$ be a field. We study classes $\mathfrak {C}(X, W)$ of graded $K$-algebras $A = K\langle X\rangle / I$, generated by $X$ and with a fixed set of obstructions $W$. Initially we do not impose restrictions on $W$ and investigate the case when the algebras in $\mathfrak {C} (X, W)$ have polynomial growth and finite global dimension $d$. Next we consider classes $\mathfrak {C} (X, W)$ of algebras whose sets of obstructions $W$ are antichains of Lyndon words. The central question is “when a class $\mathfrak {C} (X, W)$ contains Artin-Schelter regular algebras?” Each class $\mathfrak {C} (X, W)$ defines a Lyndon pair $(N,W)$, which, if $N$ is finite, determines uniquely the global dimension, $gl\,dimA$, and the Gelfand-Kirillov dimension, $GK dimA$, for every $A \in \mathfrak {C}(X, W)$. We find a combinatorial condition in terms of $(N,W)$, so that the class $\mathfrak {C}(X, W)$ contains the enveloping algebra $U\mathfrak {g}$, of a Lie algebra $\mathfrak {g}$. We introduce monomial Lie algebras defined by Lyndon words, and prove results on Gröbner-Shirshov bases of Lie ideals generated by Lyndon-Lie monomials. Finally we classify all two-generated Artin-Schelter regular algebras of global dimension $6$ and $7$ occurring as enveloping $U = U\mathfrak {g}$ of standard monomial Lie algebras. The classification is made in terms of their Lyndon pairs $(N, W)$, each of which determines also the explicit relations of $U$.References
- David J. Anick, Noncommutative graded algebras and their Hilbert series, J. Algebra 78 (1982), no. 1, 120–140. MR 677714, DOI 10.1016/0021-8693(82)90104-1
- David J. Anick, On monomial algebras of finite global dimension, Trans. Amer. Math. Soc. 291 (1985), no. 1, 291–310. MR 797061, DOI 10.1090/S0002-9947-1985-0797061-3
- David J. Anick, On the homology of associative algebras, Trans. Amer. Math. Soc. 296 (1986), no. 2, 641–659. MR 846601, DOI 10.1090/S0002-9947-1986-0846601-5
- Michael Artin and William F. Schelter, Graded algebras of global dimension $3$, Adv. in Math. 66 (1987), no. 2, 171–216. MR 917738, DOI 10.1016/0001-8708(87)90034-X
- M. Artin, J. Tate, and M. Van den Bergh, Some algebras associated to automorphisms of elliptic curves, The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkhäuser Boston, Boston, MA, 1990, pp. 33–85. MR 1086882
- M. Artin, J. Tate, and M. Van den Bergh, Modules over regular algebras of dimension $3$, Invent. Math. 106 (1991), no. 2, 335–388. MR 1128218, DOI 10.1007/BF01243916
- Pieter Belmans, On non-quadratic 4-dimensional Artin-Schelter regular algebras and 3-folds, Preprint, 2017.
- George M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178–218. MR 506890, DOI 10.1016/0001-8708(78)90010-5
- A. I. Shirshov, Selected works of A. I. Shirshov, Contemporary Mathematicians, Birkhäuser Verlag, Basel, 2009. Translated from the Russian by Murray Bremner and Mikhail V. Kotchetov; Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov. MR 2547481
- L. A. Bokut and Yuqun Chen, Gröbner-Shirshov bases and their calculation, Bull. Math. Sci. 4 (2014), no. 3, 325–395. MR 3277879, DOI 10.1007/s13373-014-0054-6
- Leonid Bokut, Yuqun Chen, Kyriakos Kalorkoti, Pavel Kolesnikov, and Viktor Lopatkin, Gröbner-Shirshov bases, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2020] ©2020. Normal forms, combinatorial and decision problems in algebra. MR 4211773, DOI 10.1142/9287
- Yu. Chen, Yu. Li, and K. Tang, The Gröbner-Shirshov bases of some Lie algebras, Sibirsk. Mat. Zh. 58 (2017), no. 1, 230–237 (Russian, with Russian summary); English transl., Sib. Math. J. 58 (2017), no. 1, 176–182. MR 3686955, DOI 10.1134/s0037446617010220
- Alice Fialowski and Friedrich Wagemann, Cohomology and deformations of the infinite-dimensional filiform Lie algebra $\mathfrak {m}_0$, J. Algebra 318 (2007), no. 2, 1002–1026. MR 2371983, DOI 10.1016/j.jalgebra.2007.09.004
- Gunnar Fløystad and Jon Eivind Vatne, Artin-Schelter regular algebras of dimension five, Algebra, geometry and mathematical physics, Banach Center Publ., vol. 93, Polish Acad. Sci. Inst. Math., Warsaw, 2011, pp. 19–39. MR 2884420, DOI 10.4064/bc93-0-2
- Tatiana Gateva-Ivanova, Global dimension of associative algebras, Applied algebra, algebraic algorithms and error-correcting codes (Rome, 1988) Lecture Notes in Comput. Sci., vol. 357, Springer, Berlin, 1989, pp. 213–229. MR 1008505, DOI 10.1007/3-540-51083-4_{6}1
- Tatiana Gateva-Ivanova, Noetherian properties of skew polynomial rings with binomial relations, Trans. Amer. Math. Soc. 343 (1994), no. 1, 203–219. MR 1173854, DOI 10.1090/S0002-9947-1994-1173854-3
- Tatiana Gateva-Ivanova, Skew polynomial rings with binomial relations, J. Algebra 185 (1996), no. 3, 710–753. MR 1419721, DOI 10.1006/jabr.1996.0348
- Tatiana Gateva-Ivanova, Quadratic algebras, Yang-Baxter equation, and Artin-Schelter regularity, Adv. Math. 230 (2012), no. 4-6, 2152–2175. MR 2927367, DOI 10.1016/j.aim.2012.04.016
- T. Gateva-Ivanova, Associative algebras and Lie algebras defined by Lyndon words Talk at the "CLASSICAL ASPECTS OF RING THEORY AND MODULE THEORY", Bedlewo, Poland, July 14-20, 2013.
- Tatiana Gateva-Ivanova and Gunnar Fløystad, Monomial algebras defined by Lyndon words, J. Algebra 403 (2014), 470–496. MR 3166086, DOI 10.1016/j.jalgebra.2014.01.012
- Tatiana Gateva-Ivanova and Michel Van den Bergh, Semigroups of $I$-type, J. Algebra 206 (1998), no. 1, 97–112. MR 1637256, DOI 10.1006/jabr.1997.7399
- Nathan Jacobson, Lie algebras, Dover Publications, Inc., New York, 1979. Republication of the 1962 original. MR 559927
- Z. Joveski, Lyndon words and their applications in algebra, Senior Thesis, American University in Bulgaria, Blagoevgrad, Bulgaria (No. 315), 2014, (Unpublished bachelor’s thesis in Mathematics, Advisor T. Gateva-Ivanova).
- Pierre Lalonde and Arun Ram, Standard Lyndon bases of Lie algebras and enveloping algebras, Trans. Amer. Math. Soc. 347 (1995), no. 5, 1821–1830. MR 1273505, DOI 10.1090/S0002-9947-1995-1273505-4
- Thierry Levasseur, Some properties of noncommutative regular graded rings, Glasgow Math. J. 34 (1992), no. 3, 277–300. MR 1181768, DOI 10.1017/S0017089500008843
- Jun Li and Xin Wang, Some five-dimensional Artin-Schelter regular algebras obtained by deforming a Lie algebra, J. Algebra Appl. 15 (2016), no. 4, 1650060, 16. MR 3462192, DOI 10.1142/S0219498816500602
- Jun Li, The quadratic algebras in Artin-Schelter regular algebras of dimension five, Comm. Algebra 47 (2019), no. 2, 772–781. MR 3935381, DOI 10.1080/00927872.2018.1498861
- D.-M. Lu, J. H. Palmieri, Q.-S. Wu, and J. J. Zhang, Regular algebras of dimension 4 and their $A_\infty$-Ext-algebras, Duke Math. J. 137 (2007), no. 3, 537–584. MR 2309153, DOI 10.1215/S0012-7094-07-13734-7
- M. Lothaire, Combinatorics on words, Encyclopedia of Mathematics and its Applications, vol. 17, Addison-Wesley Publishing Co., Reading, Mass., 1983. A collective work by Dominique Perrin, Jean Berstel, Christian Choffrut, Robert Cori, Dominique Foata, Jean Eric Pin, Guiseppe Pirillo, Christophe Reutenauer, Marcel-P. Schützenberger, Jacques Sakarovitch and Imre Simon; With a foreword by Roger Lyndon; Edited and with a preface by Perrin. MR 675953
- M. Lothaire, Algebraic combinatorics on words, Encyclopedia of Mathematics and its Applications, vol. 90, Cambridge University Press, Cambridge, 2002. A collective work by Jean Berstel, Dominique Perrin, Patrice Seebold, Julien Cassaigne, Aldo De Luca, Steffano Varricchio, Alain Lascoux, Bernard Leclerc, Jean-Yves Thibon, Veronique Bruyere, Christiane Frougny, Filippo Mignosi, Antonio Restivo, Christophe Reutenauer, Dominique Foata, Guo-Niu Han, Jacques Desarmenien, Volker Diekert, Tero Harju, Juhani Karhumaki and Wojciech Plandowski; With a preface by Berstel and Perrin. MR 1905123, DOI 10.1017/CBO9781107326019
- Alexander Polishchuk and Leonid Positselski, Quadratic algebras, University Lecture Series, vol. 37, American Mathematical Society, Providence, RI, 2005. MR 2177131, DOI 10.1090/ulect/037
- Stewart B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39–60. MR 265437, DOI 10.1090/S0002-9947-1970-0265437-8
- Brad Shelton and Craig Tingey, On Koszul algebras and a new construction of Artin-Schelter regular algebras, J. Algebra 241 (2001), no. 2, 789–798. MR 1843325, DOI 10.1006/jabr.2001.8781
- A. I. Širšov, On free Lie rings, Mat. Sb. N.S. 45(87) (1958), 113–122 (Russian). MR 0099356
- Martha K. Smith, Universal enveloping algebras with subexponential but not polynomially bounded growth, Proc. Amer. Math. Soc. 60 (1976), 22–24 (1977). MR 419534, DOI 10.1090/S0002-9939-1976-0419534-5
- Christophe Reutenauer, Free Lie algebras, London Mathematical Society Monographs. New Series, vol. 7, The Clarendon Press, Oxford University Press, New York, 1993. Oxford Science Publications. MR 1231799
- John Tate and Michel van den Bergh, Homological properties of Sklyanin algebras, Invent. Math. 124 (1996), no. 1-3, 619–647. MR 1369430, DOI 10.1007/s002220050065
- Theo Raedschelders and Michel Van den Bergh, The Manin Hopf algebra of a Koszul Artin-Schelter regular algebra is quasi-hereditary, Adv. Math. 305 (2017), 601–660. MR 3570144, DOI 10.1016/j.aim.2016.09.017
- G.-S. Zhou and D.-M. Lu, Artin-Schelter regular algebras of dimension five with two generators, J. Pure Appl. Algebra 218 (2014), no. 5, 937–961. MR 3149644, DOI 10.1016/j.jpaa.2013.10.011
Additional Information
- Tatiana Gateva-Ivanova
- Affiliation: Max Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, Germany, and American University in Bulgaria, 2700 Blagoevgrad, Bulgaria
- MR Author ID: 190441
- ORCID: 0000-0002-3478-5358
- Email: tatyana@aubg.edu
- Received by editor(s): May 31, 2019
- Received by editor(s) in revised form: May 18, 2021, and May 18, 2021
- Published electronically: June 30, 2022
- Additional Notes: The author was partially supported by the Max Planck Institute for Mathematics (MPIM), Bonn, by the Max Planck Institute for Mathematics in the Sciences, MiS, Leipzig, and by Grant KP-06 N 32/1 of 07.12.2019 of the Bulgarian National Science Fund.
- © Copyright 2022 by the author under Creative Commons Attribution-NonCommercial 3.0 License (CC BY NC 3.0)
- Journal: Trans. Amer. Math. Soc. Ser. B 9 (2022), 648-699
- MSC (2020): Primary 16E65, 16S38, 16S30, 16S15, 16S37, 16P90, 17B30, 17B35, 17B70
- DOI: https://doi.org/10.1090/btran/89
- MathSciNet review: 4446800