BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes.
Let A,B be polynomial rings over a field k, and I⊆A,J⊆B proper homogeneous ideals. We analyze the associated primes of powers of I+J⊆A⊗kB given the data on the summands. The associated primes of large enough powers of I+J are determined. We then answer positively a question about the persistence property of I+J in many new cases.
We study the asymptotic behavior of the Castelnuovo-Mumford regularity along chains of graded ideals in increasingly larger polynomial rings that are invariant under the action of symmetric groups. A linear upper bound for the regularity of such ideals is established. We conjecture that their regularity grows eventually precisely linearly. We establish this conjecture in several cases, most notably when the ideals are Artinian or squarefree monomial.
Symmetric ideals in increasingly larger polynomial rings that form an ascending chain are investigated. We focus on the asymptotic behavior of codimensions and projective dimensions of ideals in such a chain. If the ideals are graded it is known that the codimensions grow eventually linearly. Here this result is extended to chains of arbitrary symmetric ideals. Moreover, the slope of the linear function is explicitly determined. We conjecture that the projective dimensions also grow eventually linearly. As part of the evidence we establish two non-trivial lower linear bounds of the projective dimensions for chains of monomial ideals. As an application, this yields Cohen-Macaulayness obstructions.
Let A and B be standard graded polynomial rings over a field k and I and J be non-zero, proper homogeneous ideals contained in A and B, respectively. Denote by P the sum of I and J in R=A⊗kB. Under reasonable conditions on k,I and J, we provide exact formulas and describe the asymptotic behavior of the depth and the regularity of the powers of P in terms of the data of I and J. Thereby, we strengthen previous work of H.T. Hà, N.V. Trung and T.N. Trung. Our main technical result says that, under the aforementioned conditions, for all s≥0 and all n≥1, the simple decomposition IsPn=Is+1Pn−1+IsJn yields a Betti splitting for IsPn. A decomposition of an ideal L as a sum of two subideals is called a Betti splitting if the minimal free resolution of L is completely determined by those of the summands and their intersection.
Fröberg's classical theorem about edge ideals with 2-linear resolution can be regarded as a classification of graphs whose edge ideals have linearity defect zero. Extending his theorem, we classify all graphs whose edge ideals have linearity defect at most 1. Our characterization is independent of the characteristic of the base field: the graphs in question are exactly weakly chordal graphs with induced matching number at most 2. The proof uses the theory of Betti splittings of monomial ideals due to Francisco, Hà, and Van Tuyl and the structure of weakly chordal graphs. Along the way, we compute the linearity defect of edge ideals of cycles and weakly chordal graphs. We are also able to recover and generalize previous results due to Dochtermann-Engström, Kimura, and Woodroofe on the projective dimension and Castelnuovo-Mumford regularity of edge ideals.
The linearity defect, introduced by Herzog and Iyengar, is a numerical measure for the complexity of minimal free resolutions. Employing a characterization of the linearity defect due to Şega, we study the behavior of linearity defect along short exact sequences. We point out two classes of short exact sequences involving Koszul modules, along which linearity defect behaves nicely. We also generalize the notion of Koszul filtrations from the graded case to the local setting. Among the applications, we prove that if R→S is a surjection of noetherian local rings such that S is a Koszul R-module, and N is a finitely generated S-module, then the linearity defect of N as an R-module is the same as its linearity defect as an S-module. In particular, we confirm that specializations of absolutely Koszul algebras are again absolutely Koszul, answering positively a question due to Conca, Iyengar, Nguyen and Römer.
This work concerns the linearity defect of a module M over a noetherian local ring R, introduced by Herzog and Iyengar in 2005, and denoted by ldRM. Roughly speaking, ldRM is the homological degree beyond which the minimal free resolution of M is linear. In the paper, it is proved that for any ideal I in a regular local ring R and for any finitely generated R-module M, each of the sequences (ldR(InM))n and (ldR(M/InM))n is eventually constant. The first statement follows from a more general result about the eventual constancy of the sequence (ldRCn)n where C is a finitely generated graded module over a standard graded algebra over R. The second statement follows from the first together with a result of Avramov on small homomorphisms.
Let R be a standard graded algebra over a field k. We prove an Auslander-Buchsbaum formula for the absolute Castelnuovo-Mumford regularity, extending important cases of previous works of Chardin and Römer. For a bounded complex of finitely generated graded R-modules L, we prove the equality reg L=maxi∈Z{reg Hi(L)−i} given the condition depth Hi(L)≥dimHi+1(L)−1 for all i<supL. As applications, we recover previous bounds on regularity of Tor due to Caviglia, Eisenbud-Huneke-Ulrich, among others. We also obtain strengthened results on regularity bounds for Ext and for the quotient by a linear form of a module.
Let R be a standard graded algebra over an F-finite field of characteristic p>0. Let ϕ:R→R be the Frobenius endomorphism. For each finitely generated graded R-module M, let ϕM be the abelian group M with the R-module structure induced by the Frobenius endomorphism. The R-module ϕM has a natural grading given by degx=j if x∈Mjp+i for some 0≤i≤p−1. In this paper, we prove that R is Koszul if and only if there exists a non-zero finitely generated graded R-module M such that regRϕM<∞. This result supplies another instance for the ability of the Frobenius in detecting homological properties, as exemplified by Kunz's famous regularity criterion. The main technical tool is the notion of Castelnuovo-Mumford regularity over certain homomorphisms between N-graded algebras. The latter notion is a common generalization of the relative and absolute Castelnuovo-Mumford regularity of modules.
We study absolutely Koszul algebras, Koszul algebras with the Backelin-Roos property and their behavior under standard algebraic operations. In particular, we identify some Veronese subrings of polynomial rings that have the Backelin-Roos property and conjecture that the list is indeed complete. Among other things, we prove that every universally Koszul ring defined by monomials has the Backelin-Roos property.
Let k be an algebraically closed field of characteristic 0. Let X be a 2×e matrix of linear forms over a polynomial ring k[x1,…,xn] (where e,n≥1). We prove that the determinantal ring R=k[x1,…,xn]/I2(X) is Koszul if and only if in the Kronecker-Weierstrass normal form of X, the largest length of a nilpotent block is at most twice the smallest length of a scroll block. As an application, we classify rational normal scrolls whose all section rings by natural coordinates are Koszul. This result settles a conjecture due to Conca.
We prove that if E is an exterior algebra over a field, h is a quadratic form, then E/(h) is Koszul if and only if h is a product of two linear forms.
In a paper from 2002, Bruns and Gubeladze conjectured that graded algebra retracts of polytopal algebras over a field k are again polytopal algebras. Motivated by this conjecture, we prove that graded algebra retracts of Stanley-Reisner rings over a field k are again Stanley-Reisner rings. Extending this result further, we give partial evidence for a conjecture saying that monomial quotients of standard graded polynomial rings over k descend along graded algebra retracts.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.