Related papers: Betti cones over fibre products

This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups…

Let $A$ be a semigroup whose only invertible element is 0. For an $A$-homogeneous ideal we discuss the notions of simple $i$-syzygies and simple minimal free resolutions of $R/I$. When $I$ is a lattice ideal, the simple 0-syzygies of $R/I$…

Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander…

Let $(R,m, \kappa)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In…

Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$…

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…

Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the…

Given a commutative algebra $\mathcal O$, a proper ideal $\mathcal I$, and a resolution of $\mathcal O/ \mathcal I$ by projective $\mathcal O $-modules, we construct an explicit Koszul-Tate resolution. We call it the arborescent Koszul-Tate…

We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{\beta^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given…

Let $S$ be a polynomial ring in $n$ variables over a field $K$ of characteristic $0$. A numerical characterization of all possible extremal Betti numbers of any graded submodule of a finitely generated graded free $S$-module is given.

We show that for maximal Cohen-Macaulay modules over a homogeneous coordinate rings of smooth Calabi-Yau varieties $X$ computation of Betti numbers can be reduced to computations of dimensions of certain $\operatorname{Hom}$ groups in the…

The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and S\"oderberg have led to the characterization of…

Fix a finite field $\mathbb{F}$. Let $\mathrm{VI}$ be a skeleton of the category of finite dimensional $\mathbb{F}$-vector spaces and injective $\mathbb{F}$-linear maps. We study $\mathrm{VI}^m$-modules over a noetherian commutative ring in…

We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…

Auslander and Reiten called a finite dimensional algebra $A$ over a field Cohen-Macaulay if there is an $A$-bimodule $W$ which gives an equivalence between the category of finitely generated $A$-modules of finite projective dimension and…

Let $A$ be a connected commutative $\C$-algebra with derivation $D$, $G$ a finite linear automorphism group of $A$ which preserves $D$, and $R=A^G$ the fixed point subalgebra of $A$ under the action of $G$. We show that if $A$ is generated…

In a paper in 1962, Golod proved that the Betti sequence of the residue field of a local ring attains an upper bound given by Serre if and only if the homology algebra of the Koszul complex of the ring has trivial multiplications and…

Let $R$ be a polynomial ring over a field. We describe the extremal rays and the facets of the cone of local cohomology tables of finitely generated graded $R$-modules of dimension at most two. Moreover, we show that any point inside the…