Source author record

Adam Van Tuyl

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

34works
4topics
4close collaborators

Published work

34 publications

preprint2022arXiv

Virtual resolutions of points in P1×P1\mathbb{P}^1 \times \mathbb{P}^1

We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in P1×P1\mathbb{P}^1 \times \mathbb{P}^1. Specifically, we describe a virtual resolution for a sufficiently general set of points XX in P1×P1\mathbb{P}^1 \times \mathbb{P}^1 that only depends on ∣X∣|X|. We also improve an existence result of Berkesch, Erman, and Smith in the special case of points in P1×P1\mathbb{P}^1 \times \mathbb{P}^1; more precisely, we give an effective bound for their construction that gives a virtual resolution of length two for any set of points in P1×P1\mathbb{P}^1 \times \mathbb{P}^1.

preprint2021arXiv

Splittings of Toric Ideals

Let I⊆R=K[x1,…,xn]I \subseteq R = \mathbb{K}[x_1,\ldots,x_n] be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal II can be "split" into the sum of two smaller toric ideals. For a general toric ideal II, we give a sufficient condition for this splitting in terms of the integer matrix that defines II. When I=IGI = I_G is the toric ideal of a finite simple graph GG, we give additional splittings of IGI_G related to subgraphs of GG. When there exists a splitting I=I1+I2I = I_1+I_2 of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of II in terms of the (multi-)graded Betti numbers of I1I_1 and I2I_2.

preprint2020arXiv

Homological invariants of Cameron--Walker graphs

Let GG be a finite simple connected graph on [n][n] and R=K[x1,…,xn]R = K[x_1, \ldots, x_n] the polynomial ring in nn variables over a field KK. The edge ideal of GG is the ideal I(G)I(G) of RR which is generated by those monomials xixjx_ix_j for which {i,j}\{i, j\} is an edge of GG. In the present paper, the possible tuples (n,depth(R/I(G)),reg(R/I(G)),dim⁡R/I(G),deg h(R/I(G)))(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G))), where deg h(R/I(G)){\rm deg} \ h(R/I(G)) is the degree of the hh-polynomial of R/I(G)R/I(G), arising from Cameron--Walker graphs on [n][n] will be completely determined.

preprint2020arXiv

Regularity and h-polynomials of toric ideals of graphs

For all integers 4≤r≤d4 \leq r \leq d, we show that there exists a finite simple graph G=Gr,dG= G_{r,d} with toric ideal IG⊂RI_G \subset R such that R/IGR/I_G has (Castelnuovo-Mumford) regularity rr and hh-polynomial of degree dd. To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and furthermore, this initial ideal has linear quotients. As a corollary, we can recover a result of Hibi, Higashitani, Kimura, and O'Keefe that compares the depth and dimension of toric ideals of graphs.

preprint2020arXiv

Symbolic powers of codimension two Cohen-Macaulay ideals

Let IXI_X be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme X⊆PnX \subseteq \mathbb{P}^n, and let IX(m)I_X^{(m)} denote its mm-th symbolic power. We are interested in when IX(m)=IXmI_X^{(m)} = I_X^m. We survey what is known about this problem when XX is locally a complete intersection, and in particular, we review the classification of when IX(m)=IXmI_X^{(m)} = I_X^m for all m≥1m \geq 1. We then discuss how one might weaken these hypotheses, but still obtain equality between the symbolic and ordinary powers. Finally, we show that this classification allows one to: (1) simplify known results about symbolic powers of ideals of points in P1×P1\mathbb{P}^1 \times \mathbb{P}^1; (2) verify a conjecture of Guardo, Harbourne, and Van Tuyl, and (3) provide additional evidence to a conjecture of Römer.

preprint2020arXiv

The regularity and hh-polynomial of Cameron-Walker graphs

Fix an integer n≥1n \geq 1, and consider the set of all connected finite simple graphs on nn vertices. For each GG in this set, let I(G)I(G) denote the edge ideal of GG in the polynomial ring R=K[x1,…,xn]R = K[x_1,\ldots,x_n]. We initiate a study of the set RD(n)⊆N2\mathcal{RD}(n) \subseteq \mathbb{N}^2 consisting of all the pairs (r,d)(r,d) where r=reg(R/I(G))r = {\rm reg}(R/I(G)), the Castelnuovo-Mumford regularity, and d=deghR/I(G)(t)d = {\rm deg} h_{R/I(G)}(t), the degree of the hh-polynomial, as we vary over all the connected graphs on nn vertices. In particular, we identify sets A(n)A(n) and B(n)B(n) such that A(n)⊆RD(n)⊆B(n)A(n) \subseteq \mathcal{RD}(n) \subseteq B(n). When we restrict to the family of Cameron-Walker graphs on nn vertices, we can completely characterize all the possible (r,d)(r,d).

preprint2016arXiv

Bounds on the regularity of toric ideals of graphs

Let GG be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal IGI_G associated to GG in terms of the sizes and number of induced complete bipartite graphs in GG. When GG is a chordal bipartite graph, we find an upper bound for the regularity of IGI_G in terms of the size of the bipartition of GG. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph K2,nK_{2,n}.

preprint2016arXiv

Refined Inertia of Matrix Patterns

We explore how the combinatorial arrangement of prescribed zeros in a matrix affects the possible eigenvalues that the matrix can obtain. We demonstrate that there are inertially arbitrary patterns having a digraph with no 2-cycle, unlike what happens for nonzero patterns. We develop a class of patterns that are refined inertially arbitrary but not spectrally arbitrary, making use of the property of a properly signed nest. We include a characterization of the inertially arbitrary and refined inertially arbitrary patterns of order three, as well as the patterns of order four with the least number of nonzero entries.

preprint2016arXiv

The Waldschmidt constant for squarefree monomial ideals

Given a squarefree monomial ideal I⊆R=k[x1,…,xn]I \subseteq R =k[x_1,\ldots,x_n], we show that α^(I)\widehatα(I), the Waldschmidt constant of II, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of II. By applying results from fractional graph theory, we can then express α^(I)\widehatα(I) in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of II. Moreover, expressing α^(I)\widehatα(I) as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on α^(I)\widehatα(I), thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of Pn\mathbb{P}^n with few components compared to nn, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid.

preprint2015arXiv

Independence complexes of well-covered circulant graphs

We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) structure. We also provide a table of all well-covered circulant graphs on 16 or less vertices, and for each such graph, determine if it is vertex decomposable, shellable, Cohen-Macaulay, and/or Buchsbaum. A highlight of this search is an example of a graph whose independence complex is shellable but not vertex decomposable.

preprint2013arXiv

Generalized cover ideals and the persistence property

Let II be a square-free monomial ideal in R=k[x1,…,xn]R = k[x_1,\ldots,x_n], and consider the sets of associated primes Ass(Is){\rm Ass}(I^s) for all integers s≥1s \geq 1. Although it is known that the sets of associated primes of powers of II eventually stabilize, there are few results about the power at which this stabilization occurs (known as the index of stability). We introduce a family of square-free monomial ideals that can be associated to a finite simple graph GG that generalizes the cover ideal construction. When GG is a tree, we explicitly determine Ass(Is){\rm Ass}(I^s) for all s≥1s \geq 1. As consequences, not only can we compute the index of stability, we can also show that this family of ideals has the persistence property.

preprint2012arXiv

Asymptotic resurgences for ideals of positive dimensional subschemes of projective space

Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero dimensional subschemes of projective space; the methods and results obtained there have much less to say about higher dimensional subschemes. Here we take the first steps toward extending this work to higher dimensional subschemes. We introduce new asymptotic versions of the resurgence and obtain upper and lower bounds on them for ideals of smooth subschemes, generalizing what is done by Bocci-Harbourne. We apply these bounds to ideals of unions of general lines in PN{\bf P}^N. We also pose a Nagata type conjecture for symbolic powers of ideals of lines in P3{\bf P}^3.

preprint2012arXiv

Balanced vertex decomposable simplicial complexes and their h-vectors

Given any finite simplicial complex Δ, we show how to construct a new simplicial complex Δ_χ that is balanced and vertex decomposable. Moreover, we show that the h-vector of the simplicial complex Δ_χ is precisely the f-vector, denoted f(Δ), of the original complex Δ. We deduce this result by relating f(Δ) with the graded Betti numbers of the Alexander dual of Δ_χ. Our construction generalizes the "whiskering" construction of Villarreal, and Cook and Nagel. As a corollary of our work, we add a new equivalent statement to a theorem of Björner, Frankl, and Stanley that classifies the f-vectors of simplicial complexes. We also prove a special case of a conjecture of Cook and Nagel, and Constantinescu and Varbaro on the h-vectors of flag complexes.

preprint2012arXiv

Bounding invariants of fat points using a coding theory construction

Let $Z \subseteq \proj{n}$ be a fat points scheme, and let d(Z)d(Z) be the minimum distance of the linear code constructed from ZZ. We show that d(Z)d(Z) imposes constraints (i.e., upper bounds) on some specific shifts in the graded minimal free resolution of IZI_Z, the defining ideal of ZZ. We investigate this relation in the case that the support of ZZ is a complete intersection; when ZZ is reduced and a complete intersection we give lower bounds for d(Z)d(Z) that improve upon known bounds.

preprint2012arXiv

Cohen-Macaulay Circulant Graphs

Let G be the circulant graph C_n(S) with S a subset of {1,2,...,\lfloor n/2 \rfloor}, and let I(G) denote its the edge ideal in the ring R = k[x_1,...,x_n]. We consider the problem of determining when G is Cohen-Macaulay, i.e, R/I(G) is a Cohen-Macaulay ring. Because a Cohen-Macaulay graph G must be well-covered, we focus on known families of well-covered circulant graphs of the form C_n(1,2,...,d). We also characterize which cubic circulant graphs are Cohen-Macaulay. We end with the observation that even though the well-covered property is preserved under lexicographical products of graphs, this is not true of the Cohen-Macaulay property.

preprint2012arXiv

Star configurations on generic hypersurfaces

Let FF be a homogeneous polynomial in S=C[x0,...,xn]S = \mathbb{C}[x_0,...,x_n]. Our goal is to understand a particular polynomial decomposition of FF; geometrically, we wish to determine when the hypersurface defined by FF in Pn\mathbb{P}^n contains a star configuration. To solve this problem, we use techniques from commutative algebra and algebraic geometry to reduce our question to computing the rank of a matrix.

preprint2012arXiv

Symbolic powers versus regular powers of ideals of general points in P^1 x P^1

Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in P3{\bf P}^3 which can also be viewed as points in P1×P1{\bf P}^1\times {\bf P}^1. We also obtain results on the closely related problem, studied by Hochster and by Li-Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.

preprint2010arXiv

A conjecture on critical graphs and connections to the persistence of associated primes

We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the statement is true if we also assume that χ_f(G), the fractional chromatic number of the graph G, satisfies χ(G) -1 < χ_f(G) <= χ(G). We give an algebraic proof of this result.

preprint2010arXiv

Associated primes of monomial ideals and odd holes in graphs

Let GG be a finite simple graph with edge ideal I(G)I(G). Let J(G)J(G) denote the Alexander dual of I(G)I(G). We show that a description of all induced cycles of odd length in GG is encoded in the associated primes of J(G)2J(G)^2. This result forms the basis for a method to detect odd induced cycles of a graph via ideal operations, e.g., intersections, products and colon operations. Moreover, we get a simple algebraic criterion for determining whether a graph is perfect. We also show how to determine the existence of odd holes in a graph from the value of the arithmetic degree of J(G)2J(G)^2.

preprint2010arXiv

Colorings of hypergraphs, perfect graphs, and associated primes of powers of monomial ideals

There is a natural one-to-one correspondence between squarefree monomial ideals and finite simple hypergraphs via the cover ideal construction. Let H be a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial ring R. We give an explicit description of all associated primes of R/J^s, for any power J^s of J, in terms of the coloring properties of hypergraphs arising from H. We also give an algebraic method for determining the chromatic number of H, proving that it is equivalent to a monomial ideal membership problem involving powers of J. Our work yields two new purely algebraic characterizations of perfect graphs, independent of the Strong Perfect Graph Theorem; the first characterization is in terms of the sets Ass(R/J^s), while the second characterization is in terms of the saturated chain condition for associated primes.

preprint2010arXiv

Potentially Nilpotent Patterns and the Nilpotent-Jacobian Method

A nonzero pattern is a matrix with entries in {0,*}. A pattern is potentially nilpotent if there is some nilpotent real matrix with nonzero entries in precisely the entries indicated by the pattern. We develop ways to construct some potentially nilpotent patterns, including some balanced tree patterns. We explore the index of some of the nilpotent matrices constructed,and observe that some of the balanced trees are spectrally arbitrary using the Nilpotent-Jacobian method. Inspired by an argument in [R. Pereira, Nilpotent matrices and spectrally arbitrary sign patterns. Electron. J. Linear Algebra, 16 (2007), 232--236], we also uncover a feature of the Nilpotent-Jacobian method. In particular, we show that if N is the nilpotent matrix employed in this method to show that a pattern is a spectrally arbitary pattern, then N must have full index.

preprint2010arXiv

Separators of fat points in P^n

In this paper we extend the definition of a separator of a point P in P^n to a fat point P of multiplicity m. The key idea in our definition is to compare the fat point schemes Z = m_1P_1 + ... + m_iP_i + .... + m_sP_s in P^n and Z' = m_1P_1 + ... + (m_i-1)P_i + .... + m_sP_s. We associate to P_i a tuple of positive integers of length v = deg Z - deg Z'. We call this tuple the degree of the minimal separators of P_i of multiplicity m_i, and we denote it by deg_Z(P_i) = (d_1,...,d_v). We show that if one knows deg_Z(P_i) and the Hilbert function of Z, one will also know the Hilbert function of Z'. We also show that the entries of deg_Z(P_i) are related to the shifts in the last syzygy module of I_Z. Both results generalize well known results about reduced sets of points and their separators.

preprint2009arXiv

Simplicial complexes and Macaulay's inverse systems

Let ΔΔ be a simplicial complex on V={x1,...,xn}V = \{x_1,...,x_n\}, with Stanley-Reisner ideal IΔ⊆R=k[x1,...,xn]I_Δ\subseteq R = k[x_1,...,x_n]. The goal of this paper is to investigate the class of artinian algebras A=A(Δ,a1,...,an)=R/(IΔ,x1a1,...,xnan)A=A(Δ,a_1,...,a_n)= R/(I_Δ,x_1^{a_1},...,x_n^{a_n}), where each ai≥2a_i \geq 2. By utilizing the technique of Macaulay's inverse systems, we can explicitly describe the socle of AA in terms of ΔΔ. As a consequence, we determine the simplicial complexes, that we will call {\em levelable}, for which there exists a tuple (a1,...,an)(a_1,...,a_n) such that A(Δ,a1,...,an)A(Δ,a_1,...,a_n) is a level algebra.

preprint2005arXiv

Multigraded regularity: coarsenings and resolutions

Let S = k[x_1,...,x_n] be a Z^r-graded ring with deg (x_i) = a_i \in Z^r for each i and suppose that M is a finitely generated Z^r-graded S-module. In this paper we describe how to find finite subsets of Z^r containing the multidegrees of the minimal multigraded syzygies of M. To find such a set, we first coarsen the grading of M so that we can view M as a Z-graded S-module. We use a generalized notion of Castelnuovo-Mumford regularity, which was introduced by D. Maclagan and G. Smith, to associate to M a number which we call the regularity number of M. The minimal degrees of the multigraded minimal syzygies are bounded in terms of this invariant.

Research graph

See the researcher in context

Open full explorer

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.