Gaps and approximations in the space of growth functions

From MaRDI portal
Publication:6137583

DOI10.1007/S00029-023-00862-XarXiv2211.00949OpenAlexW4385754593MaRDI QIDQ6137583FDOQ6137583

Be'eri Greenfeld

Publication date: 4 September 2023

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: An important problem in combinatorial noncommutative algebra is to characterize the growth functions of finitely generated algebras (equivalently, semigroups, or hereditary languages). The growth function of every finitely generated, infinite-dimensional algebra is increasing and submultiplicative. The question of to what extent these natural necessary conditions are also sufficient -- and in particular, whether they are sufficient at least for sufficiently rapid functions -- was posed and studied by various authors and has attracted a flurry of research. While every increasing and submultiplicative function is realizable as a growth function up to a linear error term, we show that there exist arbitrarily rapid increasing submultiplicative functions which are not equivalent to the growth of any algebra, thus resolving the aforementioned problem and settling a question posed by Zelmanov (and repeated by Alahmadi-Alsulami-Jain-Zelmanov). These can be interpreted as `holes' in the space of growth functions, accumulating to exponential functions in the order topology. We show that there exist monomial algebras and hereditary languages whose growth functions encode the existence of non-prolongable words, and algebras whose growth functions encode the existence of nilpotent ideals (in the graded case). This negatively solves another conjecture of Alahmadi-Alsulami-Jain-Zelmanov in the graded case.


Full work available at URL: https://arxiv.org/abs/2211.00949




Recommendations




Cites Work


Cited In (3)





This page was built for publication: Gaps and approximations in the space of growth functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137583)