Related papers: Castelnuovo-Mumford regularity for complexes and w…

Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We…

Let $A=\{a_0,\ldots,a_{n-1}\}$ be a finite set of $n\geq 4$ non-negative relatively prime integers such that $0=a_0<a_1<\cdots<a_{n-1}=d$. The $s$-fold sumset of $A$ is the set $sA$ of integers that contains all the sums of $s$ elements in…

Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of positive characteristic $p$. In recent work, the authors have studied a graded analogue of the category of rational $G$-modules. These gradings are…

Let R be a standard graded ring over a commutative Noetherian ring with unity and I a graded ideal of R. Let M be a finitely generated graded R-module. We prove that there exist integers e and \rho_M(I) such that for all large n, reg(I^nM)=…

We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gr\"obner basis of $I$ with respect to the degree…

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $\text{reg}…

It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A…

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…

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…

The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…

Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes…

Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed \'etale…

This thesis is a study of various ways of measuring the size and complexity of finitely generated modules over a Noetherian local ring. The classical example is the multiplicity or degree. Here we investigate several variants of the degree…

We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a…

We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the…

A foundational principle in the study of modules over standard graded polynomial rings is that geometric positivity conditions imply vanishing of Betti numbers. The main goal of this paper is to determine the extent to which this principle…

Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, also in…

We define and study the derived categories of the first kind for curved DG and A-infinity algebras complete over a pro-Artinian local ring with the curvature elements divisible by the maximal ideal of the local ring. We develop the Koszul…

Let G be a graph obtained by taking r>=2 paths and identifying all first vertices and identifying all the last vertices. We compute the Castelnuovo--Mumford regularity of the quotient S/I(X), where S is the polynomial ring on the edges of G…

Let $\mathfrak{q}$ denote an ideal in a Noetherian local ring $(A,\mathfrak{m})$. Let $\underline{a}=a_1,\ldots,a_d \subset \mathfrak{q}$ denote a system of parameters in a finitely generated $A$-module $M$. This note investigate an…