BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Adam Van Tuyl

Adam Van Tuyl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.COmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

preprint2022arXiv

Virtual resolutions of points in $\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 $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of points in $\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 $\mathbb{P}^1 \times \mathbb{P}^1$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Splittings of Toric Ideals

Let $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 $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Homological invariants of Cameron--Walker graphs

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regularity and h-polynomials of toric ideals of graphs

For all integers $4 \leq r \leq d$, we show that there exists a finite simple graph $G= G_{r,d}$ with toric ideal $I_G \subset R$ such that $R/I_G$ has (Castelnuovo-Mumford) regularity $r$ and $h$-polynomial of degree $d$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Symbolic powers of codimension two Cohen-Macaulay ideals

Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when $I_X^{(m)} = I_X^m$ for all $m \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 $\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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The regularity and $h$-polynomial of Cameron-Walker graphs

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

0 citations0 reviewsNo code linkedOpen access