Related papers: A-infinity structures related to bi-Koszul algebra…

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…

We prove a general result on presentations of finitely-generated algebras and apply it to obtain nice presentations for some noncommutative algebras arising in the matrix bispectral problem. By "nice presentation" we mean a presentation…

We generalize to the homotopy case a result of K. Mackenzie and P. Xu on relation between Lie bialgebroids and Poisson geometry. For a homotopy Poisson structure on a supermanifold $M$, we show that $(TM, T^*M)$ has a canonical structure of…

The Yoneda algebra of a Koszul algebra or a D-Koszul algebra is Koszul. K_2 algebras are a natural generalization of Koszul algebras, and one would hope that the Yoneda algebra of a K_2 algebra would be another K_2 algebra. We show that…

The notion of a derived A-infinity algebra arose in the work of Sagave as a natural generalisation of the classical A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We develop some of the…

Let A be a path A-infinity-algebra over a positively graded quiver Q. It is proved that the derived category of A is triangulated equivalent to the derived category of kQ, which is viewed as a dg algebra with trivial differential. The main…

A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…

Let $R$ be a positively graded algebra over a field. We say that $R$ is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical…

It is shown that over an arbitrary countable field, there exists a finitely generated algebra that is nil, infinite dimensional, and has Gelfand-Kirillov dimension at most three.

Pre-Koszul and Koszul algebras were defined by Priddy. There exist some relations between these algebras and the skew PBW extensions defined. We have established conditions to guarantee that skew PBW extensions over fields it turns out…

We show that the graded maximal ideal of a graded $K$-algebra $R$ has linear quotients for a suitable choice and order of its generators if the defining ideal of $R$ has a quadratic Gr\"obner basis with respect to the reverse lexicographic…

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

We study a properly convex real projective manifold with (possibly empty) compact, strictly convex boundary, and which consists of a compact part plus finitely many convex ends. We extend a theorem of Koszul which asserts that for a compact…

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…

We study the cohomology H*(A) = Ext_A(k,k) of a locally finite, connected, cocommutative Hopf algebra A over k = F_p. Specifically, we are interested in those algebras A for which H*(A) is generated as an algebra by H^1(A) and H^2(A). We…

Let $G$ be a finitely generated right $A$-module for a finite-dimensional algebra $A$ over a filed $\Bbbk$, and $\mathcal{I}$ the additive closure of $G$. We will define a $\mathcal{I}$-relative Koszul coresolution…

We study a categorified generalization of Koszul duality that treats duality phenomena among monoidal categories. We establish Koszul duality results for stable monoidal infinity-categories associated with Artin algebras and related…

Let $A = \{0 = a_0 < a_1 < \cdots < a_{\ell + 1} = b\}$ be a finite set of non-negative integers. We prove that the sumset $NA$ has a certain easily-described structure, provided that $N \geqslant b-\ell$, as recently conjectured by Shakan…

We call a finite-dimensional K-algebra A geometrically irreducible if for all d all connected components of the affine scheme of d-dimensional A-modules are irreducible. We prove that a geometrically irreducible algebra with exactly two…

We prove that if $E$ is an exterior algebra over a field, $h$ is a quadratic form, then $E/(h)$ is Koszul if and only if $h$ is a product of two linear forms.