Some Ideals with Large Projective Dimension

For an ideal in a polynomial ring over a field, a monomial support of is the set of monomials that appear as terms in a set of minimal generators of . Craig Huneke asked whether the size of a monomial support is a bound for the projective dimension of the ideal. We construct an example to show that, if the number of variables and the degrees of the generators are unspecified, the projective dimension of grows at least exponentially with the size of a monomial support. The ideal we construct is generated by monomials and binomials.

     

The multiplier ideals of a sum of ideals

We prove that if , are nonzero sheaves of ideals on a complex smooth variety , then for every we have the following relation between the multiplier ideals of , and :

A similar formula holds for the asymptotic multiplier ideals of the sum of two graded systems of ideals.

We use this result to approximate at a given point arbitrary multiplier ideals by multiplier ideals associated to zero dimensional ideals. This is applied to compare the multiplier ideals associated to a scheme in different embeddings.

     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

An Elementary Approach to the Projective Dimension in Proper Homotopy Theory

Abstract

This paper presents some basic properties of the category of trees of abelian groups. In particular an elementary proof of the existence of kernels in the category of “finitely generated” trees is included. Also a characterization of projective dimension in the class of “pro-finitely generated” trees is given in terms of the inverse limit functor.     

Regular CW-Complexes and Poset Resolutions of Monomial Ideals

Abstract

We study the generation of a finite group by its conjugacy classes, while generalizing basic concepts from linear algebra: basis and dimension. Besides the well known Burnside Basis Theorem for finite p-groups, there is no direct extension of these concepts to other families of finite groups. We show that by considering generating sets consisting of conjugacy classes, there is a possibility for such a generalization.     

Monomial ideals, edge ideals of hypergraphs, and their graded Betti numbers

We use the correspondence between hypergraphs and their associated edge ideals to study the minimal graded free resolution of squarefree monomial ideals. The theme of this paper is to understand how the combinatorial structure of a hypergraph ℋ appears within the resolution of its edge ideal ℐ(ℋ). We discuss when recursive formulas to compute the graded Betti numbers of ℐ(ℋ) in terms of its sub-hypergraphs can be obtained; these results generalize our previous work (Hà, H.T., Van Tuyl, A. in J. Algebra 309:405–425, 2007) on the edge ideals of simple graphs. We introduce a class of hypergraphs, which we call properly-connected, that naturally generalizes simple graphs from the point of view that distances between intersecting edges are “well behaved.” For such a hypergraph ℋ (and thus, for any simple graph), we give a lower bound for the regularity of ℐ(ℋ) via combinatorial information describing ℋ and an upper bound for the regularity when ℋ=G is a simple graph. We also introduce triangulated hypergraphs that are properly-connected hypergraphs generalizing chordal graphs. When ℋ is a triangulated hypergraph, we explicitly compute the regularity of ℐ(ℋ) and show that the graded Betti numbers of ℐ(ℋ) are independent of the ground field. As a consequence, many known results about the graded Betti numbers of forests can now be extended to chordal graphs. Dedicated to Anthony V. Geramita on the occasion of his 65th birthday.     

CW-resolutions of monomial ideals that are supported on face posets

Given a monomial ideal I with minimal free resolution ? supported in characteristic p>0 on a CW-complex X with regular 2-skeleton, in general it is not the case that the face poset of X, P(X), also supports ? in the sense of Clark and Tchernev. We construct a (not necessarily regular) CW-complex Y that also supports ? and such that the face poset P(Y) also supports ?.     

Resolutions of monomial ideals of projective dimension 1

We show that a monomial ideal I in a polynomial ring S has projective dimension ≤ 1 if and only if the minimal free resolution of S∕I is supported on a graph that is a tree. This is done by constructing specific graphs which support the resolution of the S∕I. We also provide a new characterization of quasi-trees, which we use to give a new proof to a result by Herzog, Hibi, and Zheng which characterizes monomial ideals of projective dimension 1 in terms of quasi-trees.     

On the Left Perpendicular Category of the Modules of Finite Projective Dimension

In this article, we characterize several properties of commutative noetherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application, we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.     

Bases and Ideal Generators for Projective Monomial Curves

In this article we study bases for projective monomial curves and the relationship between the basis and the set of generators for the defining ideal of the curve. We understand this relationship best for curves in ?³ and for curves defined by an arithmetic progression. We are able to prove that the latter are set theoretic complete intersections.     

Castelnuovo-Mumford regularity and projective dimension of a squarefree monomial ideal

Let S = K[x₁; x₂;...; x_n] be the polynomial ring in n variables over a field K; and let I be a squarefree monomial ideal minimally generated by the monomials u₁; u₂;...; u_m: Let w be the smallest number t with the property that for all integers 1 6 i₁ < i₂ <... < i _t 6 m such that \(lcm({u_{{i_1}}},{u_{{i_2}}},...,{u_{{i_t}}}) = lcm({u_1},{u_2},...,{u_m})\) We give an upper bound for Castelnuovo-Mumford regularity of I by the bigsize of I: As a corollary, the projective dimension of I is bounded by the number w.     

Betti Numbers of Hypergraphs

In this article, we study some algebraic properties of hypergraphs, in particular their Betti numbers. We define some different types of complete hypergraphs, which to the best of our knowledge are not previously considered in the literature. Also, in a natural way, we define a product on hypergraphs, which in a sense is dual to the join operation on simplicial complexes. For such product, we give a general formula for the Betti numbers, which specializes neatly in case of linear resolutions.     

Hypergraphs and a functional equation of Bouwkamp and de Bruijn

Let . Bouwkamp and de Bruijn found that there exists a power series Ψ(u,v) satisfying the equation . We show that this result can be interpreted combinatorially using hypergraphs. We also explain some facts about Φ(u,0) and Ψ(u,0), shown by Bouwkamp and de Bruijn, by using hypertrees, and we use Lagrange inversion to count hypertrees by number of vertices and number of edges of a specified size.     

Polarizations and hook partitions

In this paper, we relate combinatorial conditions for polarizations of powers of the graded maximal ideal with rank conditions on submodules generated by collections of Young tableaux. We apply discrete Morse theory to the hypersimplex resolution introduced by Batzies–Welker to show that the L-complex of Buchsbaum and Eisenbud for powers of the graded maximal ideal is supported on a CW-complex. We then translate the “spanning tree condition” of Almousa–Fløystad–Lohne characterizing polarizations of powers of the graded maximal ideal into a condition about which sets of hook tableaux span a certain Schur module. As an application, we give a complete combinatorial characterization of polarizations of so-called “restricted powers” of the graded maximal ideal.     

On the Arithmetical Rank of the Edge Ideals of Forests

We show that for the edge ideals of a certain class of forests, the arithmetical rank equals the projective dimension.     

Linear resolutions of quadratic monomial ideals

We study the minimal free resolution of a quadratic monomial ideal in the case where the resolution is linear. First, we focus on the squarefree case, namely that of an edge ideal. We provide an explicit minimal free resolution under the assumption that the graph associated with the edge ideal satisfies specific combinatorial conditions. In addition, we construct a regular cellular structure on the resolution. Finally, we extend our results to non-squarefree ideals by means of polarization.     

Cellular Structure on the Minimal Resolution of the Edge Ideal of the Complement of the n-Cycle

We study the minimal free resolution of the edge ideal of the complement of the n-cycle for n ≥ 4 and construct a regular cellular complex which supports this resolution.