arXiv subjects
Publications and source records attributed to Efim Zelmanov.
We define analogs of superconformal algebras over an arbitrary commutative associative superalgebra. In the finitely generated case the universal central extensions of these algebras are finitely presented. In particular, we show that all known superconformal algebras are finitely presented.
We prove that a simple unital Jordan superalgebra of arbitrary dimension belongs to the list of known simple unital superalgebras or lies in a certain proper subvariety.
The paper surveys the history and state-of-the-art of the study of Jordan homomorphisms.
We characterize the complexity functions of subshifts up to asymptotic equivalence. The complexity function of every aperiodic function is non-decreasing, submultiplicative and grows at least linearly. We prove that conversely, every function satisfying these conditions is asymptotically equivalent to the complexity function of a recurrent subshift, equivalently, a recurrent infinite word. Our construction is explicit, algorithmic in nature and is philosophically based on constructing certain 'Cantor sets of integers', whose 'gaps' correspond to blocks of zeros. We also prove that every non-decreasing submultiplicative function is asymptotically equivalent, up a linear error term, to the complexity function of a minimal subshift.
We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures. We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are arbitrarily close to linear, but whose discrete derivatives are not bounded from above by $p_w(n)/n$. Moreover, we construct words of polynomially bounded complexity whose discrete derivatives exceed $p_w(n)/n^\varepsilon$ infinitely often, for every given $\varepsilon>0$. These provide negative answers in a strong sense to an open question of Cassaigne from 1997, showing that his theorem on words of linear complexity is best possible. Next, we characterize, up to a linear multiplicative error, the complexity functions of strictly ergodic subshifts, showing that every non-decreasing, submultiplicative function arises in this setting. This gives the first `industrial' construction of strictly ergodic subshifts of prescribed subexponential complexity. We then investigate quantitative recurrence in uniformly recurrent words and, as an application, address a question of Bavula from 2006 related to holonomic inequalities on the spectrum of possible filter dimensions of simple associative algebras: we construct simple algebras of prescribed filter dimension in $[1,\infty)$ and essentially settling the problem entirely in the graded case. Throughout, we construct uniformly recurrent words of linear complexity and with arbitrary polynomial recurrence growth.
Let $A$ and $B$ be associative algebras over a field $F$ with {\rm char}$(F)\ne 2$. Our first main result states that if $A$ is unital and equal to its commutator ideal, then every Jordan epimorphism $φ:A\to B$ is the sum of a homomorphism and an antihomomorphism. Our second main result concerns (not necessarily surjective) Jordan homomorphisms from $H(A,*)$ to $B$, where $*$ is an involution on $A$ and $H(A,*)=\{a\in A\,|\, a^*=a\}$. We show that there exists a ${\rm T}$-ideal $G$ having the following two properties: (1) the Jordan homomorphism $φ:H(G(A),*)\to B$ can be extended to an (associative) homomorphism, subject to the condition that the subalgebra generated by $φ(H(A,*))$ has trivial annihilator, and (2) every element of the ${\rm T}$-ideal of identities of the algebra of $2\times 2$ matrices is nilpotent modulo $G$. A similar statement is true for Jordan homomorphisms from $A$ to $B$. A counter-example shows that the assumption on trivial annihilator cannot be removed.
According to V. Kac and J. van de Leur, the superconformal algebras are the simple $\Z$-graded Lie superalgebras of growth one which contains the Witt algebra. We describe an explicit classification of all cuspidal modules over the known supercuspidal algebras of rank $\geq 1$, and their central extensions. Our approach reveals some unnoticed phenomena. Indeed the central charge of cuspidal modules is trivial, except for one specific central extension of the contact algebra $\K(4)$. As shown in the paper, this fact also impacts the representation theory of $\K(3)$, $\CK(6)$ and $\K^{(2)}(4)$. Besides these four cases, the classification relies on general methods based on highest weight theory.
The purpose of this paper is a partial progress towards classification of simple infinite dimensional Jordan superalgebras. First, we prove that the only simple infinite dimensional Jordan superalgebras with finite dimensional even parts are the superalgebras of superforms. Then we consider the superalgebras whose even parts are infinite dimensional algebras of ``Clifford type'', that is, direct sums of algebras of bilinear forms. The results of \cite{RZ} show that the number of summonds in these sums is 1 or 2. We prove that the second case is impossible and that the simple infinite dimensional Jordan superalgebras of the first type are the superalgebras of superforms.
An associative ring $A$ gives rise to the Lie ring $A^{(-)}=(A,[a,b ]=ab-ba)$. The subject of isomorphisms of Lie rings $A^{(-)}$ and $[A,A]$ has attracted considerable attention in the literature. We prove that if the identity element of $A$ decomposes into a sum of at least three full orthogonal idempotents, then any isomorphism from the Lie ring $[A,A]$ to the Lie ring $[B,B]$ is standard. For non-unital rings, the description is more intricate. Under a certain assumption on idempotents, we extend a Lie isomorphism from $[A,A]$ to $[B,B]$ to a homomorphism of associative rings $\widehat{A\oplus A^{op}}\to B,$ where $A^{op}=(A,a\cdot b= b\cdot a),$ and $\widehat{A\oplus A^{op}}\to A\oplus A^{op}$ is the universal annihilator extension of the ring $A\oplus A^{op}.$ The results obtained are then applied to the description of automorphisms and derivations of Lie algebras of infinite matrices.
We study the relationship between cyclic homology of Jordan superalgebras and second cohomologies of their Tits-Kantor-Koecher Lie superalgebras. In particular, we focus on Jordan superalgebras that are Kantor doubles of bracket algebras. The obtained results are applied to computation of second cohomologies and universal central extensions of Hamiltonian and contact type Lie superalgebras over arbitrary rings of coefficients.
We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.
We construct finitely generated nil algebras with prescribed growth rate. In particular, any increasing submultiplicative function is realized as the growth function of a nil algebra up to a polynomial error term and an arbitrarily slow distortion. We then move on to examples of nil algebras and domains with strongly oscillating growth functions and construct primitive algebras for which the Gelfand-Kirillov dimension is strictly sub-additive with respect to tensor products, thus answering a question raised by Krempa-Okninski and Krause-Lenagan.
This paper is devoted to a classification of topological Lie bialgebra structures on the Lie algebra $\mathfrak{g}[\![x]\!]$, where $ \mathfrak{g} $ is a finite-dimensional simple Lie algebra over an algebraically closed field $ F $ of characteristic $ 0 $. We introduce the notion of a topological Manin pair $(L, \mathfrak{g}[\![x]\!])$ and present their classification by relating them to trace extensions of \( F[\![x]\!] \). Then we recall the classification of topological doubles of Lie bialgebra structures on $\mathfrak{g}[\![x]\!]$ and view the latter as a special case of the classification of Manin pairs. The classification of topological doubles states that up to some notion of equivalence there are only three non-trivial doubles. It is proven that topological Lie bialgebra structures on $\mathfrak{g}[\![x]\!]$ are in bijection with certain Lagrangian Lie subalgebras of the corresponding doubles. We then attach algebro-geometric data to such Lagrangian subalgebras and, in this way, obtain a classification of all topological Lie bialgebra structures with non-trivial doubles. When $F = \mathbb{C}$ the classification becomes explicit. Furthermore, this result enables us to classify formal solutions of the classical Yang-Baxter equation.
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.
Let $\hat{F}$ be a free pro-$p$ non-abelian group, and let $Δ$ be a commutative Noetherian complete local ring with a maximal ideal $I$ such that $\textrm{char}(Δ/I)=p>0$. In [Zu], Zubkov showed that when $p\neq2$, the pro-$p$ congruence subgroup $$GL_{2}^{1}(Δ)=\ker(GL_{2}(Δ)\overset{Δ\toΔ/I}{\longrightarrow}GL_{2}(Δ/I))$$ admits a pro-$p$ identity, i.e., there exists an element $1\neq w\in\hat{F}$ that vanishes under any continuous homomorphism $\hat{F}\to GL_{2}^{1}(Δ)$. In this paper we investigate the case $p=2$. The main result is that when $\textrm{char}(Δ)=2$, the pro-$2$ group $GL_{2}^{1}(Δ)$ admits a pro-$2$ identity. This result was obtained by the use of trace identities that originate in PI-theory.
We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$.
In this paper we discuss finite presentability of the universal central extensions of Lie algebras ${\mathfrak{sl}_n(R)}$, where $n\geq 3$ and $R$ is a unital associative $k$-algebra. We show that a universal central extension is finitely presented if and only if the algebra $R$ is finitely presented.
We determine the possible functions that can occur, up to asymptotic equivalence, as growth functions of semigroups, hereditary languages, and algebras.