Source author record

Natalia Iyudu

Natalia Iyudu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RA math.GR math.QA math.RT math-ph math.MP math.AG math.CO math.KT math.OA math.AC math.DS

Catalog footprint

What is connected

13works

12topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Golod-Shafarevich-Vinberg type theorems and finiteness conditions for potential algebras

We obtain a lower estimate for the Hilbert series of Jacobi algebras and their completions by providing analogue of the Golog-Shafarevich-Vinberg theorem for potential case. We especially treat non-homogeneous situation. This estimate allows to answer number of questions arising in the work of Wemyss-Donovan-Brown on noncommutative singularities and deformation theory. In particular, we prove that the only case when a potential algebra or its completion could be finite dimensional or of linear growth, is the case of two variables and potential having terms of degree three.

preprint2020arXiv

Classification of contraction algebras and pre-Lie algebras associated to braces and trusses

We develop tools for classification of contraction algebras and apply these to solve the problem on classification up to isomorphism of 8 and 9 dimensional algebras corresponding to 3-fold flops. We prove that there is only one up to isomorphism contraction algebra of dimension 8, and two algebras of dimension 9. The formulae for the dimension of algebra, depending on the type of the potential are obtained. In the second part of the paper we show that associated graded structure to brace and truss with appropriate descending ideal filtration is pre-Lie.

preprint2020arXiv

Homologies of monomial operads and algebras

We consider the bar complex of a monomial non-unital associative algebra $A=k \langle X \rangle / (w_1,...,w_t)$. It splits as a direct sum of complexes $B_w$, defined for any fixed monomial $w=x_1...x_n \in A$. We give a simple argument, showing that the homology of this subcomplex is at most one-dimensional, and describe the place where the nontrivial homology appears. It has a very simple expression in terms of the length of the generalized Dyck path associated to a given monomial in $w \in A$. The operadic analogue of the question about dichotomy in homology is considered. It is shown that dichotomy holds in case when monomial tree-relations form an order. Examples are given showing that in general dichotomy and homological purity does not hold. For quadratic operads, the combinatorial tool for calculating homology in terms of relation graphs is developed. Example of using these methods to compute homology in truncated binary operads is given.

preprint2019arXiv

Pre-Calabi-Yau algebras and double Poisson brackets

We give an explicit formula showing how the double Poisson algebra introduced in \cite{VdB} appears as a particular part of a pre-Calabi-Yau structure, i.e. cyclically invariant, with respect to the natural inner form, solution of the Maurer-Cartan equation on $A\oplus A^*$. Specific part of this solution is described, which is in one-to-one correspondence with the double Poisson algebra structures. The result holds for any associative algebra $A$ and emphasizes the special role of the fourth component of a pre-Calabi-Yau structure in this respect. As a consequence we have that appropriate pre-Calabi-Yau structures induce a Poisson brackets on representation spaces $({\rm Rep}_n A)^{Gl_n}$ for any associative algebra $A$.

preprint2017arXiv

Golod-Shafarevich type theorems and potential algebras

Potential algebras feature in the minimal model program and noncommutative resolution of singularities, and the important cases are when they are finite dimensional, or of linear growth. We develop techniques, involving Gröbner basis theory and generalized Golod-Shafarevich type theorems for potential algebras, to determine finiteness conditions in terms of the potential. We consider two-generated potential algebras. Using Gröbner bases techniques and arguing in terms of associated truncated algebra we prove that they cannot have dimension smaller than $8$. This answers a question of Wemyss \cite{Wemyss}, related to the geometric argument of Toda \cite{T}. We derive from the improved version of the Golod-Shafarevich theorem, that if the potential has only terms of degree 5 or higher, then the potential algebra is infinite dimensional. We prove, that potential algebra for any homogeneous potential of degree $n\geq 3$ is infinite dimensional. The proof includes a complete classification of all potentials of degree 3. Then we introduce a certain version of Koszul complex, and prove that in the class ${\cal P}_n$ of potential algebras with homogeneous potential of degree $n+1\geq 4$, the minimal Hilbert series is $H_n=\frac{1}{1-2t+2t^n-t^{n+1}}$, so they are all infinite dimensional. Moreover, growth could be polynomial (but non-linear) for the potential of degree 4, and is always exponential for potential of degree starting from 5. For one particular type of potential we prove a conjecture by Wemyss, which relates the difference of dimensions of potential algebra and its abelianization with Gopakumar-Vafa invariants.

preprint2017arXiv

Quadratic automaton algebras and intermediate growth

We present an example of a quadratic algebra given by three generators and three relations, which is automaton (the set of normal words forms a regular language) and such that its ideal of relations does not possess a finite Gröbner basis with respect to any choice of generators and any choice of a well-ordering of monomials compatible with multiplication. This answers a question of Ufnarovski. Another result is a simple example (4 generators and 7 relations) of a quadratic algebra of intermediate growth.

preprint2016arXiv

Two problems from the Polishchuk and Positselski book on Quadratic algebras

In the book 'Quadratic algebras' by Polishchuk and Positselski [23] algebras with a small number of generators (n=2,3) are considered. For some number r of relations possible Hilbert series are listed, and those appearing as series of Koszul algebras are specified. The first case, where it was not possible to do, namely the case of three generators n=3 and six relations r=6 is formulated as an open problem. We give here a complete answer to this question, namely for quadratic algebras with dim A_1=dim A_2=3, we list all possible Hilbert series, and find out which of them can come from Koszul algebras, and which can not. As a consequence of this classification, we found an algebra, which serves as a counterexample to another problem from the same book [23] (Chapter 7, Sec. 1, Conjecture 2), saying that Koszul algebra of finite global homological dimension d has dim A_1 >= d. Namely, the 3-generated algebra A given by relations xx+yx=xz=zy=0 is Koszul and its Koszul dual algebra A^! has Hilbert series of degree 4: H_{A^!}(t)= 1+3t+3t^2+2t^3+t^4, hence A has global homological dimension 4.

preprint2015arXiv

Complete Characterization of K-Theory for C*-algebras Associated to Locally Finite Unoriented Graphs

In this paper we give a complete description of K-theory groups for Cuntz-Krieger C*-algebras associated to general locally-finite (topologically connected) graphs via Bass-Hashimoto operator. Our result generalizes the one obtained by the second author for the case of graphs with not necessarily finite first Betti numbers. On the basis of purely graph-theoretical method introduced by G. Cornelissen, O. Lorscheid, M. Marcolli and developed further by N.Iyudu, we prove that for the algebra O_E associated to an infinite graph E of the above form holds K_0(O_E)=Z^{β(E)} \oplus Z^{γ(E)} and K_1(O_E) = Z^{γ(E)}, where β(E)=\dim H_1(E) and γ(E) stands for the cardinality of the valency set of E, defined in the paper.

preprint2015arXiv

Optimal 5-step nilpotent quadratic algebras

By the Golod--Shafarevich Theorem, an associative algebra R given by n generators and d<n^2/3 homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer n, there is an algebra R given by n generators and n^2/3 homogeneous quadratic relations such that R is 5-step nilpotent.

preprint2014arXiv

The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations

For an arbitrary associative unital ring $R$, let $J_1$ and $J_2$ be the following noncommutative birational partly defined involutions on the set $M_3(R)$ of $3\times 3$ matrices over $R$: $J_1(M)=M^{-1}$ (the usual matrix inverse) and $J_2(M)_{jk}=(M_{kj})^{-1}\,$ (the transpose of the Hadamard inverse). We prove the following surprising conjecture by Kontsevich saying that $(J_2\circ J_1)^3$ is the identity map modulo the ${\rm Diag}_{L} \times \rm{Diag}_R$ action $(D_1,D_2)(M)=D_1^{-1}MD_2$ of pairs of invertible diagonal matrices. That is, we show that for each $M$ in the domain where $(J_2\circ J_1)^3$ is defined, there are invertible diagonal $3\times 3$ matrices $D_1=D_1(M)$ and $D_2=D_2(M)$ such that $(J_2\circ J_1)^3(M)=D_1^{-1}MD_2.$

preprint2013arXiv

K-theory of locally finite graph $C^*$-algebras

We calculate the K-theory of the Cuntz-Krieger algebra ${\cal O}_E$ associated with an infinite, locally finite graph, via the Bass-Hashimoto operator. The formulae we get express the Grothendieck group and the Whitehead group in purely graph theoretic terms. We consider the category of finite (black-and-white, bi-directed) subgraphs with certain graph homomorphisms and construct a continuous functor to abelian groups. In this category $K_0$ is an inductive limit of $K$-groups of finite graphs, which were calculated in \cite{MM}. In the case of an infinite graph with the finite Betti number we obtain the formula for the Grothendieck group $K_0({\cal O}_E)= {\mathbb Z}^{β(E)+γ(E)},\,$ where $β(E)$ is the first Betti number and $γ(E)$ is the valency number of the graph $E$. We note, that in the infinite case the torsion part of $K_0$, which is present in the case of a finite graph, vanishes. The Whitehead group depends only on the first Betti number: $K_1({\cal O}_E)= {\mathbb Z}^{β(E)}$. These allow us to provide a counterexample to the fact, which holds for finite graphs, that $K_1({\cal O}_E)$ is the torsion free part of $K_0({\cal O}_E)$.

preprint2011arXiv

Finite dimensional semigroup quadratic algebras with minimal number of relations

A quadratic semigroup algebra is an algebra over a field given by the generators $x_1,...,x_n$ and a finite set of quadratic relations each of which either has the shape $x_jx_k=0$ or the shape $x_jx_k=x_lx_m$. We prove that a quadratic semigroup algebra given by $n$ generators and $d\leq \frac{n^2+n}{4}$ relations is always infinite dimensional. This strengthens the Golod--Shafarevich estimate for the above class of algebras. Our main result however is that for every $n$, there is a finite dimensional quadratic semigroup algebra with $n$ generators and $δ_n$ relations, where $δ_n$ is the first integer greater than $\frac{n^2+n}{4}$. This shows that the above Golod-Shafarevich type estimate for semigroup algebras is sharp.

preprint2010arXiv

The Golod-Shafarevich inequality for Hilbert series of quadratic algebras and the Anick conjecture

We study the question on whether the famous Golod-Shafarevich estimate, which gives a lower bound for the Hilbert series of a (noncommutative) algebra, is attained. This question was considered by Anick in his 1983 paper 'Generic algebras and CW-complexes', Princeton Univ. Press., where he proved that the estimate is attained for the number of quadratic relations $d \leq \frac{n^2}{4}$ and $d \geq \frac{n^2}{2}$, and conjectured that this is the case for any number of quadratic relations. The particular point where the number of relations is equal to $ \frac{n(n-1)}{2}$ was addressed by Vershik. He conjectured that a generic algebra with this number of relations is finite dimensional. We prove that over any infinite field, the Anick conjecture holds for $d \geq \frac{4(n^2+n)}{9}$ and arbitrary number of generators $n$, and confirm the Vershik conjecture over any field of characteristic 0. We give also a series of related asymptotic results.