
Research Interests:
My primary work is in Commutative Algebra, and my primary research is focused on Free Resolutions and Hilbert Functions. I have also done work on the many connections
of Commutative Algebra with Algebraic Geometry, Combinatorics, Computational Algebra, Noncommutative Algebra, and Subspace Arrangements, and I remain very interested in these fields as well.
The study of free resolutions and Hilbert functions is a beautiful and core area in Commutative Algebra. It contains a number of challenging conjectures and open problems. The idea to associate a free resolution to a module was introduced by Hilbert in his famous paper Über the Theorie von Algebraischen Formen. Resolutions provide a method for describing the structure of modules.



Projective dimension and CastelnuovoMumford regularity are
numerical invariants which measure the complexity of the structure of homogeneous ideals in a polynomial ring.
Hilbert's Syzygy Theorem shows that projective dimension is smaller than the number of variables.
A doubly exponential upper bound on the regularity
is proved by BayerMumford (1993) and CavigliaSbarra (2005).
The bound is nearly sharp since the MayrMeyer construction leads to examples of families of ideals
attaining doubly exponential regularity.
In contrast, BertramEinLazarsfeld (1991), Mumford (1993), and ChardinUlrich (2002) have proven that there are nice bounds on the regularity of the ideals of smooth (or nearly smooth) projective varieties. As discussed in an influential paper by Bayer and Mumford (1993),
the biggest missing link between the general case and the smooth case is to
obtain a decent bound on the regularity of all reduced equidimensional ideals.
In particular, there has been a lot of interest in producing a bound on the regularity of all prime ideals (the ideals that define irreducible projective varieties). The longstanding Regularity Conjecture, by EisenbudGoto (1984), predicts the following elegant linear bound in terms of the degree: The Regularity Conjecture is proved for curves by GrusonLazarsfeldPeskine (1983), completing classical work of Castelnuovo. It is also proved for smooth surfaces by Lazarsfeld (1987) and Pinkham (1986), and for most smooth 3folds by Ran (1990). It holds if U/L is CohenMacaulay by a result of EisenbudGoto (1984). In the smooth case, Kwak (1998) gave bounds for regularity in dimensions 3 and 4 that are only slightly worse than the optimal ones. Many other special cases and related bounds have been proved as well.
Jason McCullough and I provide
counterexamples to the Regularity Conjecture . Our main theorem is much stronger and shows that the regularity
of nondegenerate homogeneous prime ideals is not bounded by any polynomial function of the degree; this holds over any field k (the case
k= 

Minimal free resolutions over a local complete intersection R have attracted attention ever since the elegant construction of the minimal free resolution of the residue field k by Tate in 1957. The next impressive result was Gulliksen's proof in 1974 that for every finitely generated Rmodule N, the Poincaré series ∑b_{i}(N)t^{i} (where b_{i}(N) are the Betti numbers over R) is rational and its denominator divides (1t^{2})^{c} (where c is the codimension of R). For this purpose, he showed that Ext_{R}(N,k) can be regarded as a finitely generated graded module over a polynomial ring k[χ _{1},...,χ _{c}], graded by deg(χ _{i})=2. This also implies that the even Betti numbers b_{i}(N) are eventually given by a polynomial in i, and the odd Betti numbers are given by another polynomial. In 1989 Avramov proved that the two polynomials have the same leading coefficient and the same degree. In 1997 Avramov, Gasharov and Peeva showed that the truncated Betti sequence {b_{i}(N)}_{i≥ q} is either strictly increasing or constant for q≫ 0 and proved further properties of the Betti numbers. We focus on resolutions of high syzygies, since there are examples, constructed by Eisenbud, of minimal resolutions over complete intersections that have intricate structure, but exhibit stable patterns when sufficiently truncated. The theory of matrix factorizations was introduced by Eisenbud in 1980 to describe the asymptotic structure of minimal free resolutions over a hypersurface. A matrix factorization of a nonzero element f in a regular local ring S is a pair (d,h) of maps of finitely generated Sfree modules d: A_{1}→ A_{0}, h: A_{0}→ A_{1} such that hd = f. Id_{A1} and dh = f. Id_{A0}. This concept has many other applications: for example, in the study of CohenMacaulay modules and Singularity Theory, Cluster Tilting, Hodge Theory, KhovanovRozansky Homology, Moduli of Curves, Quiver and Group Representations, and Singularity Categories. Starting with Kapustin and Li, who followed an idea of Kontsevich, physicists discovered amazing connections with String Theory. Despite all this work on applications, progress on the structure of minimal free resolutions over complete intersections was scant. As mentioned above, in 1980 Eisenbud described the minimal free resolutions of high syzygies over a hypersurface. In 2000, Avramov and Buchweitz analyzed the codimension 2 case. But the general case (of higher codimensions) was elusive. In contrast, nonminimal resolutions have been known for over 45 years from the work of Shamash. The condition of minimality is important. The mere existence of free resolutions suffices for foundational issues such as the definition of Ext and Tor, and there are various methods of producing resolutions uniformly (for example, the Bar resolution). But without minimality, resolutions are not unique, and the very uniformity of constructions like the Bar resolution implies that they give little insight into the structure of the modules resolved.
Eisenbud and I have wondered, for many years, how to describe the eventual patterns in the minimal resolutions of modules over complete intersections of higher codimension (c
≥ 3). With the theory developed in 
