Related papers: Resolutions over Koszul algebras

Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $\Lambda$-module with finite dimension over $\mathbf{k}$. It follows…

Let $\mathfrak{g}$ be a complex simple Lie algebra and $L(\lambda)$ be a highest weight module of $\mathfrak{g}$ with highest weight $\lambda-\rho$, where $\rho$ is half the sum of positive roots. A simple $\mathfrak{g}$-module…

We are concerned with relating derived categories of all modules of two dual Koszul algebras defined by a locally bounded quiver. We first generalize the well known Acyclic Assembly Lemma and formalize an old method of extending a functor…

Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(M,N)$ is non-zero for infinitely many $i$, when $M$ and $N$ are finitely generated $R$-modules of infinite projective dimension. These…

For a commutative ring R with an ideal I, generated by a finite regular sequence, we construct differential graded algebras which provide R-free resolutions of I^s and of R/I^s for s>0 and which generalise the Koszul resolution. We derive…

We construct comparison morphisms between two well-known projective resolutions of a monomial algebra $A$: the bar resolution and Bardzell's resolution; the first one is used to define the cup product and the Lie bracket on the Hochschild…

In this note, we prove the Koszulity of the tensor product algebra defined in the author's previous work for sl(n) and a list of fundamental weights. This is achieved by constructing a graded Morita equivalence between the modules over this…

Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…

One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal…

We prove that the morphisms from a minimal Sullivan algebra $\Lambda V$ to $A_{PL}(|\Lambda V|)$, the algebra of polynomial differential forms on its realization, can be quasi-isomorphic if and only if the cohomology $H(\Lambda V)$ is of…

Let $\Lambda$ be an artin algebra and $\mathfrak{A}$ a two-sided idempotent ideal of $\Lambda$, that is, $\mathfrak{A}$ is the trace of a projective $\Lambda$-module $P$ in $\Lambda$. We consider the categories of finitely generated modules…

As a generalization of the classical killing-contractible-complexes lemma, we present algebraic Morse theory via homological perturbation lemma, in a form more general than existing presentations in the literature. Two-sided Anick…

Let $M_1$ be the moduli space of the KSBA stable surfaces $X$ of geometric genus $p_g(X)=1$ realizing the minimal possible volume $K_X^2=\frac1{143}$. We show that its reduced part $M_{1,\rm red}$ is a $10$-dimensional projective variety…

Let $R$ be a left-symmetric conformal algebra and $Q$ be a $\mathbb{C}[\partial]$-module. We introduce the notion of a unified product for left-symmetric conformal algebras and apply it to construct an object $\mathcal{H}^2_R(Q,R)$ to…

We construct an explicit projective bimodule resolution for the Leavitt path algebra of a row-finite quiver. We prove that the Leavitt path algebra of a row-countable quiver has Hochschild cohomolgical dimension at most one, that is, it is…

A DG algebras $A$ over a field $k$ with $H(A)$ connected and $H_{<0}(A)=0$ has a unique up to isomorphism DG module $K$ with $H(K)\cong k$. It is proved that if $H(A)$ is degreewise finite, then $RHom_A(?,K): D^{df}_{+}(A)^{op} \equiv…

We study the homological algebra of an R = Q/I module M using A-infinity structures on Q-projective resolutions of R and M. We use these higher homotopies to construct an R-projective bar resolution of M, Q-projective resolutions for all…

The paper introduces the notion of a representation $k$-graph $(\Delta,\alpha)$ for a given $k$-graph $\Lambda$. It is shown that any representation $k$-graph for $\Lambda$ yields a module for the Kumjian-Pask algebra $KP(\Lambda)$, and the…

We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild…

We give a complete picture of the interaction between Koszul and Ringel dualities for graded standardly stratified algebras (in the sense of Cline, Parshall and Scott) admitting linear tilting (co)resolutions of standard and proper…