Source author record

Jason McCullough

Jason McCullough appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AC math.CO math.AG math.RA

Catalog footprint

What is connected

8works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Depth and Singular Varieties of Exterior Edge Ideals

Edge ideals of finite simple graphs are well-studied over polynomial rings. In this paper, we initiate the study of edge ideals over exterior algebras, specifically focusing on the depth and singular varieties of such ideals. We prove an upper bound on the depth of the edge ideal associated to a general graph and a more refined bound for bipartite graphs, and we show that both are tight. We also compute the depth of several large families of graphs including cycles, complete multipartite graphs, spider graphs, and Ferrers graphs. Finally, we focus on the effect whiskering a graph has on the depth of the associated edge ideal.

preprint2020arXiv

Quadratic Gorenstein algebras with many surprising properties

Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenstein algebra, with regularity $3$ has smaller codimension. We also construct an infinite family of graded, quadratic, Artinian, Gorenstein algebras $A_m$, indexed by an integer $m \ge 2$, with the following properties: (1) there are minimal first syzygies of the defining ideal in degree $m+2$, (2) for $m \ge 3$, $A_m$ is not Koszul, (3) for $m \ge 7$, the Hilbert function of $A_m$ is not unimodal, and thus (4) for $m \ge 7$, $A_m$ does not satisfy the weak or strong Lefschetz properties. In particular, the subadditivity property fails for quadratic Gorenstein ideals. Finally, we show that the idealization of a construction of Roos yields non-Koszul quadratic Gorenstein algebras such that the residue field $k$ has a linear resolution for precisely $α$ steps for any integer $α\ge 2$. Thus there is no finite test for the Koszul property even for quadratic Gorenstein algebras.

preprint2014arXiv

A multiplicity bound for graded rings and a criterion for the Cohen-Macaulay property

Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two invariants of $R/J$ and the degree of $F$. We show that ideals achieving this upper bound have high depth, and provide a purely numerical criterion for the Cohen-Macaulay property. Applications to quasi-Gorenstein rings and almost complete intersections are given.

preprint2013arXiv

Hypergraphs and the Regularity of Square-free Monomial Ideals

We define a new combinatorial object, which we call a labeled hypergraph, uniquely associated to any square-free monomial ideal. We prove several upper bounds on the regularity of a square-free monomial ideal in terms of simple combinatorial properties of its labeled hypergraph. We also give specific formulas for the regularity of square-free monomial ideals with certain labeled hypergraphs. Furthermore, we prove results in the case of one-dimensional labeled hypergraphs.

preprint2013arXiv

Multiple Structures with Arbitrarily Large Projective Dimension on Linear Subspaces

Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $¶^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's $(S_1)$ property holds. Specifically, we prove that for any positive integers $h, e \ge 2$ with $(h,e) \neq (2,2)$ and $p \ge 5$ there is a homogeneous ideal $I$ in a polynomial ring over $K$ such that (1) the height of $I$ is $h$, (2) the Hilbert-Samuel multiplicity of $R/I$ is $e$, (3) the projective dimension of $R/I$ is at least $p$ and (4) the ideal $I$ is primary to a linear prime $(x_1,..., x_h)$. This result is in stark contrast to Manolache's characterization of Cohen-Macaulay multiple structures in codimension 2 and multiplicity at most 4 and also to Engheta's characterization of unmixed ideals of height 2 and multiplicity 2.

preprint2011arXiv

A Polynomial Bound on the Regularity of an Ideal in Terms of Half of the Syzygies

Let K be a field and let S = K[x_1, ..., x_n] be a polynomial ring. Consider a homogenous ideal I in S. Let t_i denote reg(Tor_i (S/I, K)), the maximal degree of an ith syzygy of S/I. We prove bounds on the numbers t_i for i > n/2 purely in terms of the previous t_i. As a result, we give bounds on the regularity of S/I in terms of as few as half of the numbers t_i. We also prove related bounds for arbitrary modules. These bounds are often much smaller than the known doubly exponential bound on regularity purely in terms of t_1.

preprint2011arXiv

Ideals with Larger Projective Dimension and Regularity

We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d) - 1).

preprint2010arXiv

A Family of Ideals with Few Generators in Low Degree and Large Projective Dimension

Stillman posed a question as to whether the projective dimension of a homogeneous ideal I in a polynomial ring over a field can be bounded by some formula depending only on the number and degrees of the minimal generators of I. More recently, motivated by work on local cohomology modules in characteristic p, Zhang asked more specifically if the projective dimension of I is bounded by the sum of the degrees of the generators. We define a family of homogeneous ideals in a polynomial ring over a field of arbitrary characteristic whose projective dimension grows exponentially if the number and degrees of the generators are allowed to grow linearly. We therefore answer Zhang's question in the negative and provide a lower bound to any answer to Stillman's question. We also describe some explicit counterexamples to Zhang's question including an ideal generated by 7 quadrics with projective dimension 15.