Source author record

Vesselin Drensky

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.CO math.AC math.NT math.OC math.RT

Catalog footprint

Research overview

24works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Central polynomials of minimal degree for matrices

Formanek made the conjecture that the minimal degree of the central polynomials for the $n\times n$ matrix algebra over a field of characteristic 0 is $(n^2+3n-2)/2$ and this is true for $n\leq 3$ . For $n=4$ there are examples of central polynomials of degree $13=(4^2+3\cdot 4-2)/2$ and we do not know whether there are central polynomials of lower degree. In this paper we discuss methods for searching for central polynomials of low degree and prove that the algebra of $4\times 4$ matrices does not have central polynomials in two variables of degree $\leq 12$ . As a byproduct of our computations we obtain that this algebra does not have also polynomial identities in two variables of degree $\leq 12$ .

preprint2026arXiv

On dihedral invariants of the free associative algebra of rank two

Let $K\langle X_d\rangle$ denote the free associative algebra of rank $d \geq 2$ over a field $K$ . By results of Lane (1976) and Kharchenko (1978), the algebra of invariants $K\langle X_d\rangle ^G$ is free for any subgroup $G \leq \GL_d(K)$ and any field $K$ . Koryukin (1984) introduced an additional action of the symmetric group $Sym(n)$ on the homogeneous component of degree $n$ of $K\langle X_d\rangle$ , given by permuting the positions of the variables. This endows $K\langle X_d\rangle$ with the structure of a $(K\langle X_d\rangle,\circ)$ - $S$ -algebra. With respect to this action, Koryukin proved that the invariant algebra $K\langle X_d\rangle ^G$ is finitely generated for every reductive group $G$ . In this paper we study the algebra ${\mathbb C}\langle u,v\rangle^{D_{2n}}$ of invariants under the action of the dihedral group D_{2n} $on the free associative algebra$ {\mathbb C} \langle u,v\rangle $of rank$ 2 $. We compute the Hilbert series of$ {\mathbb C}\langle u,v\rangle^{D_{2n}} $and construct an explicit set of generators for$ {\mathbb C}\langle u,v\rangle^{D_{2n}} $as a free algebra. Furthermore, we describe a finite generating set for the$ S $-algebra$ {\mathbb C}\langle u,v\rangle^{D_{2n}}$.

preprint2023arXiv

Cocharacters of $UT_n(E)$

Let $F$ be a field of characteristic $0$ and let $E$ be the infinite dimensional Grassmann algebra over $F$ . In the first part of this paper we give an algorithm calculating the generating function of the cocharacter sequence of the $n\times n$ upper triangular matrix algebra $UT_n(E)$ with entries in $E$ , lying in a strip of a fixed size. In the second part we compute the double Hilbert series $H(E;\mathrm{T}_k,\mathrm{Y}_l)$ of $E$ , then we define the $(k,l)$ -multiplicity series of any PI-algebra. As an application, we derive from $H(E;\mathrm{T}_k,\mathrm{Y}_l)$ an easy algorithm determining the $(k,l)$ -multiplicity series of $UT_n(E)$ .

preprint2020arXiv

A Diophantine transport problem from 2016 and its possible solution in 1903

Motivated by a recent Diophantine transport problem about how to transport profitably a group of persons or objects, we survey classical facts about solving systems of linear Diophantine equations and inequalities in nonnegative integers. We emphasize on the method of Elliott from 1903 and its further developed by MacMahon in his `` $Ω$ -Calculus'' or Partition Analysis. As an illustration we obtain the solution of the considered transport problem in terms of a formal power series in several variables which is an expansion of a rational function of a special form.

preprint2020arXiv

Graded algebras with prescribed Hilbert series

For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$ . If $a(t)$ is rational/algebraic/transcendental, then the same is $H(R,t)$ . If the growth of the coefficients of $a(t)$ is polynomial, in the same way we construct a graded algebra $R$ preserving the polynomial growth of the coefficients of its Hilbert series $H(R,t)$ . Applying a classical result of Fatou from 1906 we obtain that if a finitely generated graded algebra $R$ has a finite Gelfand-Kirillov dimension, then its Hilbert series is either rational or transcendental. In particular the same dichotomy holds for the Hilbert series of finitely generated algebras $R$ with polynomial identity.

preprint2020arXiv

Graded Algebras, Algebraic Functions, Planar Trees, and Elliptic Integrals

This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with exponentially bounded nonnegative integer coefficients. Then we summarize some related facts on algebras with polynomial identity. Further we discuss the problem how to find series $a(t)$ which are rational/algebraic/transcendental over ${\mathbb Q}(t)$ . Applying a classical result of Fatou we conclude that if a finitely generated graded algebra has a finite Gelfand-Kirillov dimension, then its Hilbert series is either rational or transcendental. In particular the same dichotomy holds for the Hilbert series of a finitely generated algebra with polynomial identity. We show how to use planar rooted trees to produce algebraic power series. Finally we survey some results on noncommutative invariant theory which show that we can obtain as Hilbert series various algebraic functions and even elliptic integrals.

preprint2020arXiv

Idempotents of $2\times 2$ matrix rings over rings of formal power series

Let $A_1,\ldots,A_s$ be unitary commutative rings which do not have non-trivial idempotents and let $A=A_1\oplus\cdots\oplus A_s$ be their direct sum. We describe all idempotents in the $2\times 2$ matrix ring $M_2(A[[X]])$ over the ring $A[[X]]$ of formal power series with coefficients in $A$ and in arbitrary set of variables $X$ . We apply this result to the matrix ring $M_2({\mathbb Z}_n[[X]])$ over the ring ${\mathbb Z}_n[[X]]$ for an arbitrary positive integer $n$ greater than 1. Our proof is elementary and uses only the Cayley-Hamilton theorem (for $2\times 2$ matrices only) and, in the special case $A={\mathbb Z}_n$ , the Chinese reminder theorem and the Euler-Fermat theorem.

preprint2020arXiv

Invariants of symplectic and orthogonal groups acting on $\text{GL}(n,{\mathbb C})$ -modules

Let $\text{GL}(n) = \text{GL}(n, {\mathbb C})$ denote the complex general linear group and let $G \subset \text{GL}(n)$ be one of the classical complex subgroups $\text{O}(n)$ , $\text{SO}(n)$ , and $\text{Sp}(2k)$ (in the case $n = 2k$ ). We take a polynomial $\text{GL}(n)$ -module $W$ and consider the symmetric algebra $S(W)$ . Extending previous results for $G=\text{SL}(n)$ , we develop a method for determining the Hilbert series $H(S(W)^G, t)$ of the algebra of invariants $S(W)^G$ . Then we give explicit examples for computing $H(S(W)^G, t)$ . As a further application, we extend our method to compute also the Hilbert series of the algebras of invariants $Λ(S^2 V)^G$ and $Λ(Λ^2 V)^G$ , where $V = {\mathbb C}^n$ denotes the standard $GL(n)$ -module.

preprint2020arXiv

Minimal varieties of associative algebras and transcendental series

A variety of associative algebras over a field of characteristic 0 is called minimal if its codimension sequence grows much faster than the codimension sequence of any of its proper subvarieties. By the results of Giambruno and Zaicev it follows that the number $b_n$ of minimal varieties of given exponent $n$ is finite. Using methods of the theory of colored (or weighted) compositions of integers, we show that the limit $β=\lim_{n\to\infty}\sqrt[n]{b_n}$ exists and can be expressed as the positive solution of an equation $a(t)=0$ where $a(t)$ is an explicitly given power series. Similar results are obtained for the number of minimal varieties with a given Gelfand-Kirillov dimension of their relatively free algebras of rank $d$ . It follows from classical results on lacunary power series that the generating function of the sequence $b_n$ , $n=1,2,\ldots$ , is transcendental. With the same approach we construct examples of free graded semigroups $\langle Y\rangle$ with the following property. If $d_n$ is the number of elements of degree $n$ of $\langle Y\rangle$ , then the limit $δ=\lim_{n\to\infty}\sqrt[n]{d_n}$ exists and is transcendental.

preprint2020arXiv

Weak polynomial identities and their applications

Let $R$ be an associative algebra over a field $K$ generated by a vector subspace $V$ . The polynomial $f(x_1,\ldots,x_n)$ of the free associative algebra $K\langle x_1,x_2,\ldots\rangle$ is a weak polynomial identity for the pair $(R,V)$ if it vanishes in $R$ when evaluated on $V$ . We survey results on weak polynomial identities and on their applications to polynomial identities and central polynomials of associative and close to them nonassociative algebras and on the finite basis problem. We also present results on weak polynomial identities of degree three.

preprint2016arXiv

Cocharacters of polynomial identities of block triangular matrices

We give an algorithm which calculates the generating function of the cocharacter sequence of the polynomial identities of the algebra of upper block triangular (p+2q) x (p+2q) matrices over a field of characteristic zero with diagonal consisting of p copies of 1 x 1 and q copies of 2 x 2 matrices. We have found the explicit form of the multiplicities and their asymptotic behaviour for small values of p and q.

preprint2016arXiv

GK-dimension of the Lie algebra of generic $2\times 2$ matrices

Recently Machado and Koshlukov have computed the Gelfand-Kirillov dimension of the relatively free algebra $F_m=F_m(\text{var}(sl_2(K)))$ of rank $m$ in the variety of algebras generated by the three-dimensional simple Lie algebra $sl_2(K)$ over an infinite field $K$ of characteristic different from 2. They have shown that $\text{GKdim}(F_m)=3(m-1)$ . The algebra $F_m$ is isomorphic to the Lie algebra generated by $m$ generic $2\times 2$ matrices. Now we give a new proof for $\text{GKdim}(F_m)$ using classical results of Procesi and Razmyslov combined with the observation that the commutator ideal of $F_m$ is a module of the center of the associative algebra generated by $m$ generic traceless $2\times 2$ matrices.

preprint2016arXiv

Invariant theory of relatively free right-symmetric and Novikov algebras

Algebras with the polynomial identity (x,y,z)=(x,z,y), where (x,y,z)=x(yz)-(xy)z is the associator, are called right-symmetric. Novikov algebras are right-symmetric algebras satisfying additionally the polynomial identity x(yz)=y(xz). We consider the d-generated free right-symmetric algebra F(R) and the free Novikov algebra F(N) over a filed K of characteristic 0. The general linear group GL(K,d) with its canonical action on the d-dimensional vector space with basis the generators of F(R) and F(N) acts on F(R) and F(N) as a group of linear automorphisms. For a subgroup G of GL(K,d) we study the algebras of G-invariants in F(R) and F(N). For a large class of groups G we show that these algebras of invariants are never finitely generated. The same result holds for any subvariety of the variety R of right-symmetric algebras which contains the subvariety L of left-nilpotent of class 3 algebras in R.

preprint2015arXiv

The Bulgarian solitaire and the mathematics around it

The Bulgarian solitaire is a mathematical card game played by one person. A pack of n cards is divided into several decks (or "piles"). Each move consists of the removing of one card from each deck and collecting the removed cards to form a new deck. The game ends when the same position occurs twice. It has turned out that when n=k(k+1)/2 is a triangular number, the game reaches the same stable configuration with size of the piles 1,2,...,k. The purpose of the paper is to tell the (quite amusing) story of the game and to discuss mathematical problems related with the Bulgarian solitaire. The paper is dedicated to the memory of Borislav Bojanov (1944-2009), a great mathematician, person, and friend, and one of the main protagonists in the story of the Bulgarian solitaire.

preprint2015arXiv

Weitzenboeck derivations of free metabelian associative algebras

By the classical theorem of Weitzenboeck the algebra of constants (i.e., the kernel) of a nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is finitely generated. As a noncommutative generalization one considers the algebra of constants of a locally nilpotent linear derivation of a d-generated relatively free algebra F(V) in a variety V of unitary associative algebras over K. It is known that the algebra of constants of F(V) is finitely generated if and only if V satisfies a polynomial identity which does not hold for the algebra of 2 x 2 upper triangular matrices. Hence the free metabelian associative algebra F(M) is a crucial object to study. We show that the vector space of the constants in the commutator ideal F'(M) is a finitely generated module of the algebra of constants of the polynomial algebra K[U,V] in 2d variables, where the derivation acts on U and V in the same way as on X. For small d, we calculate the Hilbert series of the constants in F'(M) and find the generators of the related module. This gives also an (infinite) set of generators of the algebra of constants in F(M).

preprint2013arXiv

Weitzenboeck derivations of free metabelian Lie algebras

A nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is called a Weitzenboeck derivation. The classical theorem of Weitzenboeck states that the algebra of constants (which coincides with the algebra of invariants of a single unipotent transformation) is finitely generated. Similarly one may consider the algebra of constants of a locally nilpotent linear derivation of a finitely generated (not necessarily commutative or associative) algebra which is relatively free in a variety of algebras over K. Now the algebra of constants is usually not finitely generated. Except for some trivial cases this holds for the algebra of constants of the free metabelian Lie algebra L/L" with d generators. We show that the vector space of the constants in the commutator ideal L'/L" is a finitely generated module over the algebra of constants in K[X]. For small d, we calculate the Hilbert series of the algebra of constants in L/L" and find the generators of the module of the constants in L'/L". This gives also an (infinite) set of generators of the Lie algebra of constants in L/L".

preprint2012arXiv

Central polynomials for matrices over finite fields

Let $c(x_1,...,x_d)$ be a multihomogeneous central polynomial for the $n\times n$ matrix algebra $M_n(K)$ over an infinite field $K$ of positive characteristic $p$ . We show that there exists a multihomogeneous polynomial $c_0(x_1,...,x_d)$ of the same degree and with coefficients in the prime field $F_p$ which is central for the algebra $M_n(F)$ for any (possibly finite) field $F$ of characteristic $p$ . The proof is elementary and uses standard combinatorial techniques only.

preprint2012arXiv

Computing with rational symmetric functions and applications to invariant theory and PI-algebras

Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form (1 - monomial). We use a classical combinatorial method of Elliott of 1903 further developed in the Partition Analysis of MacMahon in 1916 to compute the generating function of the multiplicities (i.e., the coefficients) of the Schur functions in the expression of f. It is a rational function with denominator of a similar form as f. We apply the method to several problems on symmetric algebras, as well as problems in classical invariant theory, algebras with polynomial identities, and noncommutative invariant theory.

preprint2012arXiv

Inner Automorphisms of Lie Algebras Related with Generic 2 x 2 Matrices

Let F_m=F_m(var(sl(2,K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl(2,K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication rule for the inner automorphisms of the completion of F_m with respect to the formal power series topology. Our results are more precise for m=2 when F_2 is isomorphic to the Lie algebra L generated by two generic traceless 2 x 2 matrices. We give a complete description of the group of inner automorphisms of the completion of L. As a consequence we obtain similar results for the automorphisms of the relatively free algebra F_m/F_m^{c+1} in the subvariety of var(sl(2,K)) consisting of all nilpotent algebras of class at most c in var(sl(2,K)).

preprint2011arXiv

Algebraic Properties of Codimension Series of PI-Algebras

For a PI-algebra R over a field of characteristic 0 let T(R) be the T-ideal of the polynomial identities of R and let c(R,t) be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let A, B and R be PI-algebras such that T(R)=T(A)T(B). We show that if c(A,t) and c(B,t) are rational functions, then c(R,t) is also rational. If c(A,t) is rational and c(B,t) is algebraic, then c(R,t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of symmetric groups.

preprint2011arXiv

Cocharacters of polynomial identities of upper triangular matrices

We give an easy algorithm which calculates the generating function of the cocharacter sequence of the T-ideal of the polynomial identities of the algebra of upper triangular matrices over a field of characteristic zero. Applying this algorithm we have found the explicit form of the multiplicities in two cases: (i) for the "largest" partitions; (ii) for matrices of small size and for all partitions.

preprint2011arXiv

Shirshov's theorem and division rings that are left algebraic over a subfield

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a division ring that is left algebraic over a subfield K of bounded degree d then D is at most d^2-dimensional over its center. This generalizes a result of Kaplansky. For the proof we give a new version of the combinatorial theorem of Shirshov that sufficiently long words over a finite alphabet contain either a q-decomposable subword or a high power of a non-trivial subword. We show that if the word does not contain high powers then the factors in the q-decomposition may be chosen to be of almost the same length. We conclude by giving a list of problems for algebras that are left algebraic over a commutative subring.

preprint2010arXiv

Inner and Outer Automorphisms of Free Metabelian Nilpotent Lie algebras

We describe the groups of inner and outer automorphisms of the free metabelian nilpotent Lie algebra of finite rank over a field of characteristic 0. To obtain this result we first describe the groups of inner and continuous outer automorphisms of the completion with respect to the formal power series topology of the free metabelian Lie algebra finite rank.

preprint2005arXiv

The strong Anick conjecture is true

Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra K<x,y,z> over a field K of characteristic 0. In particular, the well-known Anick automorphism is wild. In this article we obtain a stronger result (the Strong Anick Conjecture that implies the Anick Conjecture). Namely, we prove that there exist wild coordinates of K<x,y,z>. In particular, the two nontrivial coordinates in the Anick automorphism are both wild. We establish a similar result for several large classes of automorphisms of K<x,y,z>. We also find a large new class of wild automorphisms of K<x,y,z> which is not covered by the results of Umirbaev. Finally, we study the lifting problem for automorphisms and coordinates of polynomial algebras, free metabelian algebras and free associative algebras and obtain some interesting new results.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Vesselin Drensky

Research overview

Is this your work?

24 publications

Central polynomials of minimal degree for matrices

On dihedral invariants of the free associative algebra of rank two

Cocharacters of $UT_n(E)$

A Diophantine transport problem from 2016 and its possible solution in 1903

Graded algebras with prescribed Hilbert series

Graded Algebras, Algebraic Functions, Planar Trees, and Elliptic Integrals

Idempotents of $2\times 2$ matrix rings over rings of formal power series

Invariants of symplectic and orthogonal groups acting on $\text{GL}(n,{\mathbb C})$ -modules

Minimal varieties of associative algebras and transcendental series

Weak polynomial identities and their applications

Cocharacters of polynomial identities of block triangular matrices

GK-dimension of the Lie algebra of generic $2\times 2$ matrices

Invariant theory of relatively free right-symmetric and Novikov algebras

The Bulgarian solitaire and the mathematics around it

Weitzenboeck derivations of free metabelian associative algebras

Weitzenboeck derivations of free metabelian Lie algebras

Central polynomials for matrices over finite fields

Computing with rational symmetric functions and applications to invariant theory and PI-algebras

Inner Automorphisms of Lie Algebras Related with Generic 2 x 2 Matrices

Algebraic Properties of Codimension Series of PI-Algebras

Cocharacters of polynomial identities of upper triangular matrices

Shirshov's theorem and division rings that are left algebraic over a subfield

Inner and Outer Automorphisms of Free Metabelian Nilpotent Lie algebras

The strong Anick conjecture is true

See the researcher in context

Building this map preview

Vesselin Drensky

Research overview

Is this your work?

24 publications

Central polynomials of minimal degree for matrices

On dihedral invariants of the free associative algebra of rank two

Cocharacters of UTn(E)UT_n(E)UTn​(E)

A Diophantine transport problem from 2016 and its possible solution in 1903

Graded algebras with prescribed Hilbert series

Graded Algebras, Algebraic Functions, Planar Trees, and Elliptic Integrals

Idempotents of 2×22\times 22×2 matrix rings over rings of formal power series

Invariants of symplectic and orthogonal groups acting on GL(n,C)\text{GL}(n,{\mathbb C})GL(n,C)-modules

Minimal varieties of associative algebras and transcendental series

Weak polynomial identities and their applications

Cocharacters of polynomial identities of block triangular matrices

GK-dimension of the Lie algebra of generic 2×22\times 22×2 matrices

Invariant theory of relatively free right-symmetric and Novikov algebras

The Bulgarian solitaire and the mathematics around it

Weitzenboeck derivations of free metabelian associative algebras

Weitzenboeck derivations of free metabelian Lie algebras

Central polynomials for matrices over finite fields

Computing with rational symmetric functions and applications to invariant theory and PI-algebras

Inner Automorphisms of Lie Algebras Related with Generic 2 x 2 Matrices

Algebraic Properties of Codimension Series of PI-Algebras

Cocharacters of polynomial identities of upper triangular matrices

Shirshov's theorem and division rings that are left algebraic over a subfield

Inner and Outer Automorphisms of Free Metabelian Nilpotent Lie algebras

The strong Anick conjecture is true

See the researcher in context

Building this map preview

Cocharacters of $UT_n(E)$

Idempotents of $2\times 2$ matrix rings over rings of formal power series

Invariants of symplectic and orthogonal groups acting on $\text{GL}(n,{\mathbb C})$ -modules

GK-dimension of the Lie algebra of generic $2\times 2$ matrices