-
Dice periodic groups
Authors:
Victor Petrogradsky
Abstract:
We construct a family of finitely generated infinite periodic groups. The basic example is a 2-group, called the tetrahedron group. We generalize the construction by suggesting a family of infinite finitely generated dice groups. We provide weak conditions under which dice groups are periodic, where orders of elements are products involving finitely many given primes.
We construct a family of finitely generated infinite periodic groups. The basic example is a 2-group, called the tetrahedron group. We generalize the construction by suggesting a family of infinite finitely generated dice groups. We provide weak conditions under which dice groups are periodic, where orders of elements are products involving finitely many given primes.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Fibonacci Lie algebra revisited
Authors:
Victor Petrogradsky
Abstract:
We describe old and prove new results on properties of the Fibonacci Lie algebra in a self-contained exposition. First, we study the growth of this algebra in more details. So, we show that the polynomial behaviour of the growth function in not uniform. We establish bounds on the growth of its universal enveloping algebra. We find bounds on nilpotency indices for elements of the Fibonacci restrict…
▽ More
We describe old and prove new results on properties of the Fibonacci Lie algebra in a self-contained exposition. First, we study the growth of this algebra in more details. So, we show that the polynomial behaviour of the growth function in not uniform. We establish bounds on the growth of its universal enveloping algebra. We find bounds on nilpotency indices for elements of the Fibonacci restricted Lie algebra. We prove that the Fibonacci Lie algebra is not PI. Our approach is also based on geometric ideas. The Fibonacci Lie algebra is $\mathbb Z^2$-graded and its homogeneous components belong to a strip. We illustrate the results by computing the initial components and show positions of the homogeneous components in the strip. We also discuss properties and conjectures on related associative algebras and (restricted) Poisson algebras. Second, we prove infiniteness results on homology and Euler characteristic of arbitrary finitely generated graded Lie algebras of subexponential growth. In case of the Fibonacci Lie algebra, we find bounds on the homology groups and the Euler characteristic, and determine respective positions on plane. The computation of the initial part of the Euler characteristic of the Fibonacci Lie algebra shows that its behaviour is really chaotic. Finally, we formulate results and conjectures on homology groups and infinite presentation.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
The Fibonacci Lie algebra is not finitely presented
Authors:
Dessislava H. Kochloukova,
Victor Petrogradsky
Abstract:
We prove that the Fibonacci Lie algebra and the related just infinite self-similar Lie algebra are not finitely presented.
We prove that the Fibonacci Lie algebra and the related just infinite self-similar Lie algebra are not finitely presented.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Schreier's type formulae and two scales for growth of Lie algebras and groups
Authors:
Victor Petrogradsky
Abstract:
Let $G$ be a free group of rank $n$ and $H\subset G$ its subgroup of finite index. Then $H$ is also a free group and the rank $m$ of $H$ is determined by Schreier's formula $m-1=(n-1)\cdot|G:H|.$
Any subalgebra of a free Lie algebra is also free. But a straightforward analogue of Schreier's formula for free Lie algebras does not exist, because any subalgebra of finite codimension has an infinite…
▽ More
Let $G$ be a free group of rank $n$ and $H\subset G$ its subgroup of finite index. Then $H$ is also a free group and the rank $m$ of $H$ is determined by Schreier's formula $m-1=(n-1)\cdot|G:H|.$
Any subalgebra of a free Lie algebra is also free. But a straightforward analogue of Schreier's formula for free Lie algebras does not exist, because any subalgebra of finite codimension has an infinite number of generators.
But the appropriate Schreier's formula for free Lie algebras exists in terms of formal power series. There exists also a version in terms of exponential generating functions. This is a survey on how these formulas are applied to study 1) growth of finitely generated Lie algebras and groups and 2) the codimension growth of varieties of Lie algebras. First, these formulae allow to specify explicit formulas for generating functions of respective types for free solvable (or more generally, polynilpotent) Lie algebras. Second, these explicit formulas for generating functions are used to derive asymptotic for these two types of the growth. These results can be viewed as analogues of the Witt formula for free Lie algebras and groups. In case of Lie algebras, we obtain two scales for respective types of growth. We also shortly mention the situation on growth for other types of linear algebras.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Scale for codimension growth of Poisson PI-algebras
Authors:
Victor Petrogradsky
Abstract:
A.Regev proved that the codimension growth of an associative PI-algebra is at most exponential. The author established a scale for the codimension growth of Lie PI-algebras, which includes a series of functions between exponential and factorial functions. We prove that the same scale stratifies the ordinary codimension growth of Poisson PI-algebras satisfying Lie identical relations. As a byproduc…
▽ More
A.Regev proved that the codimension growth of an associative PI-algebra is at most exponential. The author established a scale for the codimension growth of Lie PI-algebras, which includes a series of functions between exponential and factorial functions. We prove that the same scale stratifies the ordinary codimension growth of Poisson PI-algebras satisfying Lie identical relations. As a byproduct, we obtain a new bound on the codimension growth of Lie PI-algebras in terms of complexity functions. We also study very fast codimension growth of some Poisson algebras without Lie identities. We essentially use techniques of exponential generating functions and growth of respective fast growing entire functions.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Identities in group rings, enveloping algebras and Poisson algebras
Authors:
Victor Petrogradsky
Abstract:
This is a short survey of works on identical relations in group rings, enveloping algebras, Poisson symmetric algebras and other related algebraic structures. First, the classical work of Passman specified group rings that satisfy nontrivial identical relations. This result was an origin and motivation of close research projects. Second, Latyshev and Bahturin determined Lie algebras such that thei…
▽ More
This is a short survey of works on identical relations in group rings, enveloping algebras, Poisson symmetric algebras and other related algebraic structures. First, the classical work of Passman specified group rings that satisfy nontrivial identical relations. This result was an origin and motivation of close research projects. Second, Latyshev and Bahturin determined Lie algebras such that their universal enveloping algebra satisfies a non-trivial identical relation. Next, Passman and Petrogradsky solved a similar problem in case of restricted enveloping algebras. Third, Farkas started to study identical relations in Poisson algebras. On the other hand, Shestakov proved that the symmetric algebra $S(L)$ of an arbitrary Lie algebra $L$ satisfies the identity $\{x,\{y,z\}\}\equiv 0$ if, and only if, $L$ is abelian. We survey further results on existence of identical relations in (truncated) Poisson symmetric algebras of Lie algebras. In particular, we report on recent results on (strong) Lie nilpotency and (strong) solvability of (truncated) Poisson symmetric algebras and related nilpotency classes. Also, we discuss constructions and methods to achieve these results.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Nil restricted Lie algebras of oscillating intermediate growth
Authors:
Victor Petrogradsky
Abstract:
The Grigorchuk and Gupta-Sidki groups are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2, Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic. It is known that the famous construction of Golod yields finitely generated associative nil-algebras of…
▽ More
The Grigorchuk and Gupta-Sidki groups are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2, Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic. It is known that the famous construction of Golod yields finitely generated associative nil-algebras of exponential growth. Recent extensions of that approach allowed to construct finitely generated associative nil-algebras of polynomial and intermediate growth. Another motivation of the paper is a construction of groups of oscillating growth by Kassabov and Pak.
For any prime $p$ we construct a family of 3-generated restricted Lie algebras of intermediate oscillating growth. We call them Phoenix algebras because, for infinitely many periods of time, the algebra is "almost dying" by having a quasi-linear growth, namely the lower Gelfand-Kirillov dimension is one, more precisely, the growth is of type $n \big(\ln^{(q)} \!n\big )^κ$. On the other hand, for infinitely many $n$ the growth has a rather fast intermediate behaviour of type $\exp( n/ (\ln n)^λ)$, for such periods the algebra is "resuscitating". Moreover, the growth function is oscillating between these two types of behaviour. These restricted Lie algebras have a nil $p$-mapping.
△ Less
Submitted 24 April, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Clover nil restricted Lie algebras of quasi-linear growth
Authors:
Victor Petrogradsky
Abstract:
The Grigorchuk and Gupta-Sidki groups play fundamental role in modern group theory. They are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2, Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic. Also, the author constructed a family of 2-generated…
▽ More
The Grigorchuk and Gupta-Sidki groups play fundamental role in modern group theory. They are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2, Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic. Also, the author constructed a family of 2-generated restricted Lie algebras of slow polynomial growth with a nil $p$-mapping.
Now, we construct a family of so called clover 3-generated restricted Lie algebras $T(Ξ)$, where a field of positive characteristic is arbitrary and $Ξ$ an infinite tuple of positive integers. We prove that $1\le \mathrm{GKdim}T(Ξ)\le3$, moreover, the set of Gelfand-Kirillov dimensions of clover Lie algebras with constant tuples is dense on $[1,3]$. We construct a subfamily of non-isomorphic nil restricted Lie algebras $T(Ξ_{q,κ})$, where $q\in\mathbb N$, $κ\in\mathbb R^+$, with extremely slow quasi-linear growth of type: $γ_{T(Ξ_{q,κ})}(m)=m\big(\ln^{(q)}\!m\big)^{κ+o(1)}$, as $m\to\infty$.
The present research is motivated by a construction by Kassabov and Pak of groups of oscillating growth. As an analogue, we construct nil restricted Lie algebras of intermediate oscillating growth in another paper. We call them "Phoenix algebras" because, for infinitely many periods of time, the algebra is "almost dying" by having a "quasi-linear" growth as above, for infinitely many $n$ the growth function behaves like $\exp(n/(\ln n)^λ)$, for such periods the algebra is "resuscitating". The present construction of 3-generated nil restricted Lie algebras of quasi-linear growth is an important part of that result, responsible for the lower quasi-linear growth in that construction.
△ Less
Submitted 31 October, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
On Jordan doubles of slow growth of Lie superalgebras
Authors:
Victor Petrogradsky,
Ivan Shestakov
Abstract:
To an arbitrary Lie superalgebra $L$ we associate its Jordan double ${\mathcal Jor}(L)$, which is a Jordan superalgebra. This notion was introduced by the second author before. Now we study further applications of this construction. First, we show that the Gelfand-Kirillov dimension of a Jordan superalgebra can be an arbitrary number $\{0\}\cup [1,+\infty]$. Thus, unlike associative and Jordan alg…
▽ More
To an arbitrary Lie superalgebra $L$ we associate its Jordan double ${\mathcal Jor}(L)$, which is a Jordan superalgebra. This notion was introduced by the second author before. Now we study further applications of this construction. First, we show that the Gelfand-Kirillov dimension of a Jordan superalgebra can be an arbitrary number $\{0\}\cup [1,+\infty]$. Thus, unlike associative and Jordan algebras, one hasn't an analogue of Bergman's gap $(1,2)$ for the Gelfand-Kirillov dimension of Jordan superalgebras. Second, using the Lie superalgebra $\mathbf R$ constructed before, we construct a Jordan superalgebra $\mathbf J={\mathcal Jor}({\mathbf R})$ that is nil finely $\mathbb Z^3$-graded, in contrast with non-existence of such examples (roughly speaking, analogues of the Grigorchuk and Gupta-Sidki groups) of Lie algebras in characteristic zero and Jordan algebras in characteristic not 2. Also, $\mathbf J$ is just infinite but not hereditary just infinite. A similar Jordan superalgebra of slow polynomial growth was constructed before. The virtue of the present example is that it is of linear growth, of finite width 4, namely, its $\mathbb N$-gradation by degree in the generators has components of dimensions $\{0,2,3,4\}$, and the sequence of these dimensions is non-periodic. Third, we review constructions of Poisson and Jordan superalgebras starting with another example of a Lie superalgebra. We discuss the notion of self-similarity for Lie, associative, Poisson, and Jordan superalgebras. We also discuss the notion of a wreath product in case of Jordan superalgebras.
△ Less
Submitted 13 March, 2019; v1 submitted 26 June, 2018;
originally announced June 2018.
-
Fractal nil graded Lie, associative, Poisson, and Jordan superalgebras
Authors:
Victor Petrogradsky,
Ivan Shestakov
Abstract:
We construct a just infinite fractal 3-generated Lie superalgebra $\mathbf Q$ over arbitrary field, which gives rise to an associative hull $\mathbf A$, a Poisson superalgebra $\mathbf P$, and two Jordan superalgebras $\mathbf J$, $\mathbf K$. One has a natural filtration for $\mathbf A$ which associated graded algebra has a structure of a Poisson superalgebra and…
▽ More
We construct a just infinite fractal 3-generated Lie superalgebra $\mathbf Q$ over arbitrary field, which gives rise to an associative hull $\mathbf A$, a Poisson superalgebra $\mathbf P$, and two Jordan superalgebras $\mathbf J$, $\mathbf K$. One has a natural filtration for $\mathbf A$ which associated graded algebra has a structure of a Poisson superalgebra and $\mathrm{gr} \mathbf A\cong\mathbf P$, also $\mathbf P$ admits an algebraic quantization. The Lie superalgebra $\mathbf Q$ is finely $\mathbb Z^3$-graded by multidegree in the generators, $\mathbf A$, $\mathbf P$ are $\mathbb Z^3$-graded, while $\mathbf J$, $\mathbf K$ are $\mathbb{Z}^4$-graded. These five superalgebras have clear monomial bases and slow polynomial growth. We describe multihomogeneous coordinates of bases of $\mathbf Q$, $\mathbf A$, $\mathbf P$ in space as bounded by "almost cubic paraboloids". A similar hypersurface in $\mathbb R^4$ bounds monomials of $\mathbf J$, $\mathbf K$. Constructions of the paper can be applied to Lie superalgebras studied before and get Poisson and Jordan superalgebras as well. The algebras ${\mathbf Q}$, ${\mathbf A}$, and the algebras without unit $\mathbf P^o$, $\mathbf J^o$, $\mathbf K^o$ are direct sums of two locally nilpotent subalgebras and there are continuum such decompositions. Also, $\mathbf Q=\mathbf Q_{\bar 0}\oplus \mathbf Q_{\bar 1}$ is a nil graded Lie superalgebra. In case $\mathrm{char}\, K=2$, $\mathbf Q$ has a structure of a restricted Lie algebra with a nil $p$-mapping. The Jordan superalgebra $\mathbf K$ is just infinite nil finely $\mathbb Z^4$-graded, while such examples (say, analogues of the Grigorchuk group) of Lie and Jordan algebras in characteristic zero do not exist. We call $\mathbf Q$, $\mathbf A$, $\mathbf P$, $\mathbf J$, $\mathbf K$ fractal because they contain infinitely many copies of themselves.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Fractal just infinite nil Lie superalgebra of finite width
Authors:
Otto Augusto de Morais Costa,
Victor Petrogradsky
Abstract:
The Grigorchuk and Gupta-Sidki groups play fundamental role in modern group theory. Their natural analogues are self-similar nil Lie $p$-algebras. In characteristic zero, similar examples of Lie algebras do not exist (Martinez and Zelmanov). The second author recently constructed a 3-generated self-similar nil finely graded Lie superalgebra, which showed that an extension of Martinez-Zelmanov's re…
▽ More
The Grigorchuk and Gupta-Sidki groups play fundamental role in modern group theory. Their natural analogues are self-similar nil Lie $p$-algebras. In characteristic zero, similar examples of Lie algebras do not exist (Martinez and Zelmanov). The second author recently constructed a 3-generated self-similar nil finely graded Lie superalgebra, which showed that an extension of Martinez-Zelmanov's result for Lie superalgebras of characteristic zero is not valid.
Now, we suggest a more handy example. We construct a 2-generated self-similar Lie superalgebra $\mathbf{R}$ over arbitrary field. It has a clear monomial basis, unlike many examples studied before, we find a clear monomial basis of its associative hull $\mathbf{A}$, the latter has a quadratic growth. The algebras $\mathbf{R}$ and $\mathbf{A}$ are $\mathbb{Z}^2$-graded by multidegree in generators, positions of their $\mathbb{Z}^2$-components are bounded by pairs of logarithmic curves on plane. The $\mathbb{Z}^2$-components of $\mathbf{R}$ are at most one-dimensional, thus, the $\mathbb{Z}^2$-grading of $\mathbf{R}$ is fine. As an analogue of periodicity, we establish that homogeneous elements of the grading $\mathbf{R}=\mathbf{R}_{\bar 0}\oplus\mathbf{R}_{\bar 1}$ are $\mathrm{ad}$-nilpotent. In case of $\mathbb{N}$-graded algebras, a close analogue to being simple is being just-infinite. We prove that $\mathbf{R}$ is just infinite, but not hereditary just infinite. Our example is close to a smallest possible example, because $\mathbf{R}$ has a linear growth with a growth function $γ_\mathbf{R}(m)\approx 3m$, $m\to\infty$. Moreover, its degree $\mathbb{N}$-gradation is of width 4 ($\mathrm{char} K\ne 2$). In case $\mathrm{char}\, K=2$, we obtain a Lie algebra of width 2 that is not thin. Our example also shows that an extension of the result of Martinez and Zelmanov for Lie superalgebras of characteristic zero is not valid.
△ Less
Submitted 12 February, 2018; v1 submitted 20 July, 2017;
originally announced July 2017.
-
Lie structure of truncated symmetric Poisson algebras
Authors:
Ilana Zuila Monteiro Alves,
Victor Petrogradsky
Abstract:
The paper naturally continues series of works on identical relations of group rings, enveloping algebras, and other related algebraic structures. Let $L$ be a Lie algebra over a field of characteristic $p>0$. Consider its symmetric algebra $S(L)=\oplus_{n=0}^\infty U_n/U_{n-1}$, which is isomorphic to a polynomial ring. It also has a structure of a Poisson algebra, where the Lie product is traditi…
▽ More
The paper naturally continues series of works on identical relations of group rings, enveloping algebras, and other related algebraic structures. Let $L$ be a Lie algebra over a field of characteristic $p>0$. Consider its symmetric algebra $S(L)=\oplus_{n=0}^\infty U_n/U_{n-1}$, which is isomorphic to a polynomial ring. It also has a structure of a Poisson algebra, where the Lie product is traditionally denoted by $\{\ ,\ \}$. This bracket naturally induces the structure of a Poisson algebra on the ring $\mathbf{s}(L)=S(L)/(x^p\,|\, x\in L)$, which we call a truncated symmetric Poisson algebra. We study Lie identical relations of $\mathbf{s}(L)$. Namely, we determine necessary and sufficient conditions for $L$ under which $\mathbf{s}(L)$ is Lie nilpotent, strongly Lie nilpotent, solvable and strongly solvable, where we assume that $p>2$ to specify the solvability. We compute the strong Lie nilpotency class of $\mathbf{s}(L)$. Also, we prove that the Lie nilpotency class coincides with the strong Lie nilpotency class in case $p>3$.
Shestakov proved that the symmetric algebra $S(L)$ of an arbitrary Lie algebra $L$ satisfies the identity $\{x,\{y,z\}\}\equiv 0$ if, and only if, $L$ is abelian. We extend this result for the (strong) Lie nilpotency and the (strong) solvability of $S(L)$. We show that the solvability of $\mathbf{s}(L)$ and $S(L)$ in case $\mathrm{char} K=2$ is different to other characteristics, namely, we construct examples of such algebras which are solvable but not strongly solvable.
We use delta-sets for Lie algebras and the theory of identical relations of Poisson algebras. Also, we study filtrations in Poisson algebras and prove results on products of terms of the lower central series for Poisson algebras.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
