Related papers: Koszul modules and Green's conjecture

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…

We introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application, we prove that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. We…

For any two degrees coprime to the rank, we construct a family of ring isomorphisms parameterized by GSp(2g) between the cohomology of the moduli spaces of stable Higgs bundles which preserve the perverse filtrations. As consequences, we…

By associating to a curve C of genus g=2k and a pencil of degree d=k+1 the so-called trace curve (resp. the reduced trace curve) we define a rational map from the Hurwitz space of admissible covers of genus g=2k and degree d=k+1 to a moduli…

We prove a Generic Vanishing Theorem for coherent sheaves on an abelian variety over an algebraically closed field $k$. When $k=\CC$ this implies a conjecture of Green and Lazarsfeld.

We show that the Koszul homology algebra of a quotient by the edge ideal of a forest is generated by the lowest linear strand. This provides a large class of Koszul algebras whose Koszul homology algebras satisfy this property. We obtain…

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…

Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in equal characteristic zero with a differential graded algebra structure, we introduce a…

Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg.…

Given a standard graded polynomial ring $R=k[x_1,...,x_n]$ over a field $k$ of characteristic zero and a graded $k$-subalgebra $A=k[f_1,...,f_m]\subset R$, one relates the module $\Omega_{A/k}$ of K\"ahler $k$-differentials of $A$ to the…

Let V be an n-dimensional vector space. We give a direct construction of an exact sequence that gives a GL(V)-equivariant "resolution" of each symmetric power S^t V in terms of direct sums of tensor products of the form \wedge^{i_1} V…

We introduce a generalization of the notion of a Koszul algebra, which includes graded algebras with relations in different degrees, and we establish some of the basic properties of these algebras. This class is closed under twists, twisted…

We develop a Koszul-theoretic framework for comparing classical Alexander-type invariants with infinitesimal invariants arising from finite-type commutative differential graded algebra models. The central mechanism is Koszul linearization,…

Let G be a topological group such that its homology H(G) with coefficients in a principal ideal domain R is an exterior algebra, generated in odd degrees. We show that the singular cochain functor carries the duality between G-spaces and…

We prove some general results on syzygies of smooth projective varieties with numerically trivial canonical line bundle. This allows to confirm several cases of Mukai's syzygies conjecture for finite quotients of abelian varieties in any…

We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a…

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…

Koszul property was generalized to homogeneous algebras of degree N>2 in [5], and related to N-complexes in [7]. We show that if the N-homogeneous algebra A is generalized Koszul, AS-Gorenstein and of finite global dimension, then one can…

The Koszul dual of locally finite non-positive dg algebra is locally finite positive dg algebra. However, the Koszul dual of locally finite positive dg algebra is not necessary locally finite. We characterize locally finite positive dg…