-
Degree of freedom count in linear gauge invariant PDE systems
Authors:
Simon Lyakhovich,
Dmitri Piontkovski
Abstract:
We consider not necessarily Lagrangian partial linear differential equations (PDE) with constant coefficients. Einstein proposed a definition of the"strength" of such a field theory that defines its degree of freedom (DoF). Einsteinian strength is based on the asymptotic number of free Taylor series coefficients of bounded degree in the general solution of the PDE system. The direct count of DoF i…
▽ More
We consider not necessarily Lagrangian partial linear differential equations (PDE) with constant coefficients. Einstein proposed a definition of the"strength" of such a field theory that defines its degree of freedom (DoF). Einsteinian strength is based on the asymptotic number of free Taylor series coefficients of bounded degree in the general solution of the PDE system. The direct count of DoF in this way is a complex and technically demanding process. Proceeding from Einsteinian strength of equations and making use of commutative algebra tools, we deduce another DoF count recipe which is formulated in terms of orders of the field equations, their gauge symmetries and gauge identities. This DoF count recipe covers the case of reducible gauge field theories, and it is easy to use. We begin with interpreting the matrix of the system as a linear map between polynomial modules. First, proceeding from Einsteinian definition, we derive an explicit formula for DoF as the multiplicity of a certain extension module. Second, we prove another explicit formula for DoF in terms of orders of equations and gauge generators. A notable consequence of this formula is that two Hermitian conjugate systems have identical DoF. Every classical field theory defines the BRST complex which has the natural grading known as the ghost number. We equip this complex with another grading, which we call differential order. This grading is 1 for every space time-derivative, while all thefields, ghosts, and antifields are assigned with this degree in a certain way, depending on their ghost number and the orders of equations and gauge generators. We compute the Euler characteristic of the BRST complex with respect to this new grading. This provides homological interpretation of DoF for linear gauge system as minus the residue at infinity of the logarithmic derivative of the Euler characteristics for its BRST complex.
△ Less
Submitted 12 May, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
Acceptability Judgements via Examining the Topology of Attention Maps
Authors:
Daniil Cherniavskii,
Eduard Tulchinskii,
Vladislav Mikhailov,
Irina Proskurina,
Laida Kushnareva,
Ekaterina Artemova,
Serguei Barannikov,
Irina Piontkovskaya,
Dmitri Piontkovski,
Evgeny Burnaev
Abstract:
The role of the attention mechanism in encoding linguistic knowledge has received special interest in NLP. However, the ability of the attention heads to judge the grammatical acceptability of a sentence has been underexplored. This paper approaches the paradigm of acceptability judgments with topological data analysis (TDA), showing that the geometric properties of the attention graph can be effi…
▽ More
The role of the attention mechanism in encoding linguistic knowledge has received special interest in NLP. However, the ability of the attention heads to judge the grammatical acceptability of a sentence has been underexplored. This paper approaches the paradigm of acceptability judgments with topological data analysis (TDA), showing that the geometric properties of the attention graph can be efficiently exploited for two standard practices in linguistics: binary judgments and linguistic minimal pairs. Topological features enhance the BERT-based acceptability classifier scores by $8$%-$24$% on CoLA in three languages (English, Italian, and Swedish). By revealing the topological discrepancy between attention maps of minimal pairs, we achieve the human-level performance on the BLiMP benchmark, outperforming nine statistical and Transformer LM baselines. At the same time, TDA provides the foundation for analyzing the linguistic functions of attention heads and interpreting the correspondence between the graph features and grammatical phenomena.
△ Less
Submitted 23 October, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Bernstein algebras that are algebraic and the Kurosh problem
Authors:
Dmitri Piontkovski,
Fouad Zitan
Abstract:
We study the class of Bernstein algebras that are algebraic, in the sense that each element generates a finite-dimensional subalgebra. Every Bernstein algebra has a maximal algebraic ideal, and the quotient algebra is a zero-multiplication algebra. Several equivalent conditions for a Bernstein algebra to be algebraic are given. In particular, known characterizations of train Bernstein algebras in…
▽ More
We study the class of Bernstein algebras that are algebraic, in the sense that each element generates a finite-dimensional subalgebra. Every Bernstein algebra has a maximal algebraic ideal, and the quotient algebra is a zero-multiplication algebra. Several equivalent conditions for a Bernstein algebra to be algebraic are given. In particular, known characterizations of train Bernstein algebras in terms of nilpotency are generalized to the case of locally train algebras. Along the way, we show that if a Banach Bernstein algebra is algebraic (respectively, locally train), then it is of bounded degree (respectively, train).
Then we investigate the Kurosh problem for Bernstein algebras: whether a finitely generated Bernstein algebra which is algebraic of bounded degree is finite-dimensional. This problem turns out to have a closed link with a question about associative algebras. In particular, when the barideal is nil, the Kurosh problem asks whether a finitely generated Bernstein-train algebra is finite-dimensional. We prove that the answer is positive for some specific cases and for low degrees, and construct counter-examples in the general case.
By results of Yagzhev, the Jacobian conjecture is equivalent to a certain statement about Engel and nilpotence identities of multioperator algebras. We show that the generalized Jacobian conjecture for quadratic mappings holds for Bernstein algebras.
△ Less
Submitted 3 April, 2022;
originally announced April 2022.
-
Artificial Text Detection via Examining the Topology of Attention Maps
Authors:
Laida Kushnareva,
Daniil Cherniavskii,
Vladislav Mikhailov,
Ekaterina Artemova,
Serguei Barannikov,
Alexander Bernstein,
Irina Piontkovskaya,
Dmitri Piontkovski,
Evgeny Burnaev
Abstract:
The impressive capabilities of recent generative models to create texts that are challenging to distinguish from the human-written ones can be misused for generating fake news, product reviews, and even abusive content. Despite the prominent performance of existing methods for artificial text detection, they still lack interpretability and robustness towards unseen models. To this end, we propose…
▽ More
The impressive capabilities of recent generative models to create texts that are challenging to distinguish from the human-written ones can be misused for generating fake news, product reviews, and even abusive content. Despite the prominent performance of existing methods for artificial text detection, they still lack interpretability and robustness towards unseen models. To this end, we propose three novel types of interpretable topological features for this task based on Topological Data Analysis (TDA) which is currently understudied in the field of NLP. We empirically show that the features derived from the BERT model outperform count- and neural-based baselines up to 10\% on three common datasets, and tend to be the most robust towards unseen GPT-style generation models as opposed to existing methods. The probing analysis of the features reveals their sensitivity to the surface and syntactic properties. The results demonstrate that TDA is a promising line with respect to NLP tasks, specifically the ones that incorporate surface and structural information.
△ Less
Submitted 28 April, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Wilf classes of non-symmetric operads
Authors:
Andrey T. Cherkasov,
Dmitri Piontkovski
Abstract:
Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same classification for the operads with a finite Groebner basis.
Generally, there is no algorithm to decide whether two finitely presented operads belong to the same Wilf clas…
▽ More
Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same classification for the operads with a finite Groebner basis.
Generally, there is no algorithm to decide whether two finitely presented operads belong to the same Wilf class. Still, we show that if an operad has a finite Groebner basis, then the monomial basis of the operad forms an unambiguous context-free language. Moreover, we discuss the deterministic grammar which defines the language. The generating series of the operad can be obtained as a result of an algorithmic elimination of variables from the algebraic system of equations defined by the Chomsky--Schutzenberger enumeration theorem. We then focus on the case of binary operads with a single relation. The approach is based on the results by Rowland on pattern avoidance in binary trees. We improve and refine Rowland's calculations and empirically confirm his conjecture. Here we use both the algebraic elimination and the direct calculation of formal power series from algebraic systems of equations. Finally, we discuss the connection of Wilf classes with algorithms for the Quillen homology of operads calculation.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Entropy of monomial algebras and derived categories
Authors:
Li Lu,
Dmitri Piontkovski
Abstract:
Let A be a finitely presented associative monomial algebra. We study the category qgr(A) which is a quotient of the category of graded finitely presented A-modules by the finite-dimensional ones. As this category plays a role of the category of coherent sheaves on the corresponding noncommutative variety, we consider its bounded derived category. We calculate the categorical entropy of the Serre t…
▽ More
Let A be a finitely presented associative monomial algebra. We study the category qgr(A) which is a quotient of the category of graded finitely presented A-modules by the finite-dimensional ones. As this category plays a role of the category of coherent sheaves on the corresponding noncommutative variety, we consider its bounded derived category. We calculate the categorical entropy of the Serre twist functor this derived category and show that it is equal to logarithm of the entropy of the algebra A itself. Moreover, we relate these two kinds of entropy with the topological entropy of the Ufnarovski graph of A and the entropy of the path algebra of the graph. If A is a path algebra of some quiver, the categorical entropy is equal to the logarithm of the spectral radius of the quiver's adjacency matrix.
△ Less
Submitted 27 August, 2023; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Context-free languages and associative algebras with algebraic Hilbert series
Authors:
Roberto La Scala,
Dmitri Piontkovski
Abstract:
In this paper, homological methods together with the theory of formal languages of theoretical computer science are proved to be effective tools to determine the growth and the Hilbert series of an associative algebra. Namely, we construct a class of finitely presented associative algebras related to a family of context-free languages. This allows us to connect the Hilbert series of these algebras…
▽ More
In this paper, homological methods together with the theory of formal languages of theoretical computer science are proved to be effective tools to determine the growth and the Hilbert series of an associative algebra. Namely, we construct a class of finitely presented associative algebras related to a family of context-free languages. This allows us to connect the Hilbert series of these algebras with the generating functions of such languages. In particular, we obtain a class of finitely presented graded algebras with non-rational algebraic Hilbert series.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Noncommutative algebras, context-free grammars and algebraic Hilbert series
Authors:
Roberto La Scala,
Dmitri Piontkovski,
Sharwan K. Tiwari
Abstract:
In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence posses…
▽ More
In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence possess algebraic Hilbert series.
△ Less
Submitted 3 June, 2019; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Homogeneous finitely presented monoids of linear growth
Authors:
Dmitri Piontkovski
Abstract:
If a finitely generated monoid M is defined by a finite number of degree-preserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call "sandwiches") of the form $a<w>b$, where $a,b,w$ are elements of $M$ and $<w>$ denotes the monogenic semigroup generated by $w$. Moreover, the decomposition can be chosen in such a way tha…
▽ More
If a finitely generated monoid M is defined by a finite number of degree-preserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call "sandwiches") of the form $a<w>b$, where $a,b,w$ are elements of $M$ and $<w>$ denotes the monogenic semigroup generated by $w$. Moreover, the decomposition can be chosen in such a way that the sandwiches are either singletons or "free" ones (meaning that all elements $a w^n b$ in each sandwich are pairwise different). So, the minimal number of free sandwiches in such a decomposition is a numerical invariant of a homogeneous (and conjecturally, non-homogeneous) finitely presented monoid of linear growth.
△ Less
Submitted 16 December, 2017;
originally announced December 2017.
-
Algebras of linear growth and the dynamical Mordell-Lang conjecture
Authors:
Dmitri Piontkovski
Abstract:
Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then the rationality of the Hilbert series of the algebra follows from the affirmative answer to Ufnarovski's question. Assuming that the ground field has a positiv…
▽ More
Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then the rationality of the Hilbert series of the algebra follows from the affirmative answer to Ufnarovski's question. Assuming that the ground field has a positive characteristic, we show that the answer to Ufnarovskii's question is positive if and only if the basic field is an algebraic extension of its prime subfield. Moreover, in the "only if" part we show that there exists a finitely presented graded algebra of linear growth with irrational Hilbert series. In addition, over an arbitrary infinite basic field, the set of Hilbert series of the quadratic algebras of linear growth with $5$ generators is infinite.
Our approach is based on a connection with the dynamical Mordell--Lang conjecture. This conjecture describes the intersection of an orbit of an algebraic variety endomorphism with a subvariety. We show that the positive answer to Ufnarovski's question implies some known cases of the dynamical Mordell--Lang conjecture. In particular, the positive answer for a class of algebras is equivalent to the Skolem--Mahler--Lech theorem which says that the set of the zero elements of any linear recurrent sequence over a zero characteristic field is the finite union of several arithmetic progressions. In particular, the counter-examples to this theorem in the finite characteristic case give examples of algebras with irrational Hilbert series.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Growth in varieties of multioperator algebras and Groebner bases in operads
Authors:
Dmitri Piontkovski
Abstract:
We discuss algorithmic approach to growth of the codimension sequences of varieties of multilinear algebras, or, equivalently, the sequences of the component dimensions of algebraic operads. The (exponentional) generating functions of such sequences are called codimension series of varieties, or generating series of operads.
We show that in general there does not exist an algorithm to decide whe…
▽ More
We discuss algorithmic approach to growth of the codimension sequences of varieties of multilinear algebras, or, equivalently, the sequences of the component dimensions of algebraic operads. The (exponentional) generating functions of such sequences are called codimension series of varieties, or generating series of operads.
We show that in general there does not exist an algorithm to decide whether the growth exponent of a codimension sequence of a variety defined by given finite sets of operations and identities is equal to a given rational number. In particular, we solve negatively a recent conjecture by Bremner and Dotsenko by showing that the set generating series of binary quadratic operads with bounded number of generators is infinite. Then we recall algorithms which in many cases calculate the codimension series in the form of a defining algebraic or differential equation. For a more general class of varieties, these algorithms give upper and lower bounds for the codimensions in terms of generating functions and asymptotical bounds for the growth of codimensions. The upper bound (based on an operadic version of the Golod--Shafarevich theorem) is just a formal power series satisfying an algebraic equation defined effectively by the generators and the identities of the variety. The first stage of an algorithm for the lower bound is the construction of a Groebner basis of the operad. If the Groebner basis happens to be finite and satisfies mild restrictions, a recent theorem by the author and Anton Khoroshkin guarantees that the desired generating function is either algebraic or differential algebraic. We describe algorithms producing such equations. In the case of infinite Groebner basis, these algorithms applied to its finite subsets give lower bounds for the generating function of the codimension sequence.
△ Less
Submitted 16 December, 2017; v1 submitted 5 May, 2017;
originally announced May 2017.
-
A remark on Golod--Shafarevich algebras
Authors:
Dmitri Piontkovski
Abstract:
We show that a direct limit of surjections of (weak) Golod--Shafarevich algebras is a weak Golod--Shafarevich algebra as well. This holds both for graded and for filtered algebras provided that the filtrations are induced by the filtration of the first entry of the sequence. It follows that the limit is an algebra of exponential growth. An example shows that the assumptions of this theorem cannot…
▽ More
We show that a direct limit of surjections of (weak) Golod--Shafarevich algebras is a weak Golod--Shafarevich algebra as well. This holds both for graded and for filtered algebras provided that the filtrations are induced by the filtration of the first entry of the sequence. It follows that the limit is an algebra of exponential growth. An example shows that the assumptions of this theorem cannot be directly weakened.
△ Less
Submitted 30 December, 2014;
originally announced December 2014.
-
Noncommutative Grassmannian of codimension two has coherent coordinate ring
Authors:
Dmitri Piontkovski
Abstract:
A noncommutative Grassmannian NGr(m, n) is introduced by Efimov, Luntz, and Orlov in `Deformation theory of objects in homotopy and derived categories III: Abelian categories' as a noncommutative algebra associated to an exceptional collection of n-m+1 coherent sheaves on P^n. It is a graded Calabi--Yau Z-algebra of dimension n-m+1. We show that this algebra is coherent provided that the codimensi…
▽ More
A noncommutative Grassmannian NGr(m, n) is introduced by Efimov, Luntz, and Orlov in `Deformation theory of objects in homotopy and derived categories III: Abelian categories' as a noncommutative algebra associated to an exceptional collection of n-m+1 coherent sheaves on P^n. It is a graded Calabi--Yau Z-algebra of dimension n-m+1. We show that this algebra is coherent provided that the codimension d = n-m of the Grassmannian is two. According to op. cit., this gives a t-structure on the derived category of the coherent sheaves on the noncommutative Grassmannian. The proof is quite different from the recent proofs of the coherence of some graded 3-dimensional Calabi--Yau algebras and is based on properties of a PBW-basis of the algebra.
△ Less
Submitted 18 September, 2022; v1 submitted 25 January, 2014;
originally announced January 2014.
-
On generating series of finitely presented operads
Authors:
Anton Khoroshkin,
Dmitri Piontkovski
Abstract:
Given an operad P with a finite Groebner basis of relations, we study the generating functions for the dimensions of its graded components P(n). Under moderate assumptions on the relations we prove that the exponential generating function for the sequence {dim P(n)} is differential algebraic, and in fact algebraic if P is a symmetrization of a non-symmetric operad. If, in addition, the growth of t…
▽ More
Given an operad P with a finite Groebner basis of relations, we study the generating functions for the dimensions of its graded components P(n). Under moderate assumptions on the relations we prove that the exponential generating function for the sequence {dim P(n)} is differential algebraic, and in fact algebraic if P is a symmetrization of a non-symmetric operad. If, in addition, the growth of the dimensions of P(n) is bounded by an exponent of n (or a polynomial of n, in the non-symmetric case) then, moreover, the ordinary generating function for the above sequence {dim P(n)} is rational. We give a number of examples of calculations and discuss conjectures about the above generating functions for more general classes of operads.
△ Less
Submitted 3 December, 2014; v1 submitted 23 February, 2012;
originally announced February 2012.
-
On Kurosh problem in varieties of algebras
Authors:
Dmitri Piontkovski
Abstract:
We consider a couple of versions of classical Kurosh problem (whether there is an infinite-dimensional algebraic algebra?) for varieties of linear multioperator algebras over a field. We show that, given an arbitrary signature, there is a variety of algebras of this signature such that the free algebra of the variety contains multilinear elements of arbitrary large degree, while the clone of eve…
▽ More
We consider a couple of versions of classical Kurosh problem (whether there is an infinite-dimensional algebraic algebra?) for varieties of linear multioperator algebras over a field. We show that, given an arbitrary signature, there is a variety of algebras of this signature such that the free algebra of the variety contains multilinear elements of arbitrary large degree, while the clone of every such element satisfies some nontrivial identity. If, in addition, the number of binary operations is at least 2, then one can guarantee that each such clone is finitely-dimensional.
Our approach is the following: we translate the problem to the language of operads and then apply usual homological constructions, in order to adopt Golod's solution of the original Kurosh problem.
The paper is expository, so that some proofs are omited. At the same time, the general relations of operads, algebras, and varieties are widely discussed.
△ Less
Submitted 28 May, 2009;
originally announced May 2009.
-
Coherent algebras and noncommutative projective lines
Authors:
Dmitri Piontkovski
Abstract:
A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is graded coherent.
This allows us to define a noncommutative analogue of the projective line $\PP^1$ as a noncommutative scheme based on the coherent noncommutativ…
▽ More
A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is graded coherent.
This allows us to define a noncommutative analogue of the projective line $\PP^1$ as a noncommutative scheme based on the coherent noncommutative spectrum $\cohp A$ of such an algebra $A$, that is, the category of coherent $A$-modules modulo the torsion ones. This category is always abelian Ext-finite hereditary with Serre duality, like the category of coherent sheaves on $\PP^1$. In this way, we obtain a sequence $\PP^1_n $ ($n\ge 2$) of pairwise non-isomorphic noncommutative schemes which generalize the scheme $\PP^1 = \PP^1_2$.
△ Less
Submitted 9 November, 2007; v1 submitted 12 June, 2006;
originally announced June 2006.
-
Koszul algebras associated to graphs
Authors:
Dmitri Piontkovski
Abstract:
Quadratic algebras associated to graphs have been introduced by I. Gelfand, S. Gelfand, and Retakh in connection with decompositions of noncommutative polynomials. Here we show that, for each graph with rare triangular subgraphs, the corresponding quadratic algebra is a Koszul domain with global dimension equal to the number of vertices of the graph.
Quadratic algebras associated to graphs have been introduced by I. Gelfand, S. Gelfand, and Retakh in connection with decompositions of noncommutative polynomials. Here we show that, for each graph with rare triangular subgraphs, the corresponding quadratic algebra is a Koszul domain with global dimension equal to the number of vertices of the graph.
△ Less
Submitted 15 February, 2006;
originally announced February 2006.
-
Cohomology of 3-dimensional color Lie algebras
Authors:
Dmitri Piontkovski,
Sergei Silvestrov
Abstract:
We develop the cohomology theory of color Lie superalgebras due to Scheunert--Zhang in a framework of nonhomogeneous quadratic Koszul algebras. In this approach, the Chevalley--Eilenberg complex of a color Lie algebra becomes a standard Koszul complex for its universal enveloping algebra. As an application, we calculate cohomologies with trivial coefficients of 3-dimensional color Lie superalgeb…
▽ More
We develop the cohomology theory of color Lie superalgebras due to Scheunert--Zhang in a framework of nonhomogeneous quadratic Koszul algebras. In this approach, the Chevalley--Eilenberg complex of a color Lie algebra becomes a standard Koszul complex for its universal enveloping algebra. As an application, we calculate cohomologies with trivial coefficients of 3-dimensional color Lie superalgebras.
△ Less
Submitted 29 November, 2009; v1 submitted 29 August, 2005;
originally announced August 2005.
-
Sets of Hilbert series and their applications
Authors:
Dmitri Piontkovski
Abstract:
There are several remarks on Hilbert series of finitely presented (f. p.) associative algebras over a field and their modules. First, given an integer $D$, the set of Hilbert series of right-sided ideals with generators and relations of degrees at most $D$ in a f. p. algebra is finite. Second, every f. p. module of linear growth over noetherian or coherent algebra has periodic Hilbert function.…
▽ More
There are several remarks on Hilbert series of finitely presented (f. p.) associative algebras over a field and their modules. First, given an integer $D$, the set of Hilbert series of right-sided ideals with generators and relations of degrees at most $D$ in a f. p. algebra is finite. Second, every f. p. module of linear growth over noetherian or coherent algebra has periodic Hilbert function. Third, every ideal in a Koszul family of ideals (defined in math.AG/0412441) in a f. p. algebra has rational Poincare series.
△ Less
Submitted 7 February, 2005;
originally announced February 2005.
-
Algebras associated to pseudo-roots of noncommutative polynomials are Koszul
Authors:
Dmitri Piontkovski
Abstract:
Quadratic algebras associated to pseudo-roots of noncommutative polynomials have been introduced by I. Gelfand, Retakh, and Wilson in connection with studying the decompositions of noncommutative polynomials. Later they (with S. Gelfand and Serconek) shown that the Hilbert series of these algebras and their quadratic duals satisfy the necessary condition for Koszulity. It is proved in this note…
▽ More
Quadratic algebras associated to pseudo-roots of noncommutative polynomials have been introduced by I. Gelfand, Retakh, and Wilson in connection with studying the decompositions of noncommutative polynomials. Later they (with S. Gelfand and Serconek) shown that the Hilbert series of these algebras and their quadratic duals satisfy the necessary condition for Koszulity. It is proved in this note that these algebras are Koszul.
△ Less
Submitted 19 May, 2004;
originally announced May 2004.
-
Linear equations over noncommutative graded rings
Authors:
Dmitri Piontkovski
Abstract:
We call a graded connected algebra $R$ effectively coherent, if for every linear equation over $R$ with homogeneous coefficients of degrees at most $d$, the degrees of generators of its module of solutions are bounded by some function $D(d)$. For commutative polynomial rings, this property has been established by Hermann in 1926. We establish the same property for several classes of noncommutati…
▽ More
We call a graded connected algebra $R$ effectively coherent, if for every linear equation over $R$ with homogeneous coefficients of degrees at most $d$, the degrees of generators of its module of solutions are bounded by some function $D(d)$. For commutative polynomial rings, this property has been established by Hermann in 1926. We establish the same property for several classes of noncommutative algebras, including the most common class of rings in noncommutative projective geometry, that is, strongly Noetherian rings, which includes Noetherian PI algebras and Sklyanin algebras.
We extensively study so--called universally coherent algebras, that is, such that the function $D(d)$ is bounded by 2d for $d >> 0$. For example, finitely presented monomial algebras belong to this class, as well as many algebras with finite Groebner basis of relations.
△ Less
Submitted 14 January, 2005; v1 submitted 22 April, 2004;
originally announced April 2004.
-
Noncommutative Koszul filtrations
Authors:
Dmitri Piontkovski
Abstract:
We study associative graded algebras which have a ``complete flag'' of cyclic modules with linear free resolutions, i.e., algebras over which there is a cyclic Koszul module with every admissible number of relations (from zero up to the number of generators of the algebra). Commutative algebras with the same property has been studied in several papers by A. Conca and others. Here we present a no…
▽ More
We study associative graded algebras which have a ``complete flag'' of cyclic modules with linear free resolutions, i.e., algebras over which there is a cyclic Koszul module with every admissible number of relations (from zero up to the number of generators of the algebra). Commutative algebras with the same property has been studied in several papers by A. Conca and others. Here we present a non-commutative version.
We introduce the concept of Koszul filtration in non-commutative algebras and study its connections with Koszul algebras and algebras with quadratic Groebner bases. Also, here are considered several examples, such as ``Groebner flags'', generic algebras, and algebras with one relation. A generalization of the concept Koszul filtration (generalized Koszul, or rate, filtration) leads to algebras with finite Backelin's rate and to coherent algebras. One of our main results is that every algebra with Koszul filtration (or with finite rate filtration) has rational Hilbert series.
△ Less
Submitted 21 January, 2003;
originally announced January 2003.
