arXiv subjects

Jay Schweig

Publications and source records attributed to Jay Schweig.

16 recordsLinked to original sources

arXiv2024

Simplicial complexes with many facets are vertex decomposable

Suppose $\Delta$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $\Delta$ is at least $\binom{n}{c}-2c+1$, then $\Delta$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $\Delta$ is vertex decomposable. We give examples to show that this bound is optimal, and that the conclusion cannot be strengthened to the class of matroids or shifted complexes. We explore an application to Simon's Conjecture and discuss connections to other results from the literature.

math.CO↗

arXiv2020

Computing generalized Frobenius powers of monomial ideals

Generalized Frobenius powers of an ideal were introduced in work of Hernández, Teixeira, and Witt as characteristic-dependent analogs of test ideals. However, little is known about the Frobenius powers and critical exponents of specific ideals, even in the monomial case. We describe an algorithm to compute the critical exponents of monomial ideals and use this algorithm to prove some results about their Frobenius powers and critical exponents. Rather than using test ideals, our algorithm uses techniques from linear optimization.

math.AC↗

arXiv2019

The Type Defect of a Simplicial Complex

Fix a field $k$. When $Δ$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_Δ$, we define and study an invariant called the $\textit{type defect}$ of $Δ$. Except when $Δ$ is of a single simplex, the type defect of $Δ$, $\textrm{td}(Δ)$, is the difference $ \dim_k \textrm{Tor}_c^S(S/ I_Δ,k) - c$, where $c$ is the codimension of $Δ$ and $S = k[x_1, \ldots x_n]$. We show that this invariant admits surprisingly nice properties. For example, it is well-behaved when one glues two complexes together along a face. Furthermore, $Δ$ is Cohen-Macaulay if $\textrm{td}(Δ) \leq 0$. On the other hand, if $Δ$ is a simple graph (viewed as a one-dimensional complex), then $\textrm{td}(Δ') \geq 0$ for every induced subgraph $Δ'$ of $Δ$ if and only if $Δ$ is chordal. Requiring connected induced subgraphs to have type defect zero allows us to define a class of graphs that we call $\textit{treeish}$, and which we generalize to simplicial complexes. We then extend some of our chordality results to higher dimensions, proving sharp lower bounds for most Betti numbers of ideals with linear resolution, and classifying when equalities occur. As an application, we prove sharp lower bounds for Betti numbers of graded ideals (not necessarily monomial) with linear resolution.

math.AC↗

arXiv2018

Asymptotic resurgence via integral closures

Given an ideal in a polynomial ring, we show that the asymptotic resurgence studied by Guardo, Harbourne, and Van Tuyl can be computed using integral closures. As a consequence, the asymptotic resurgence of an ideal is the maximum of finitely many ratios involving Waldschmidt-like constants (which we call skew Waldschmidt constants) defined in terms of Rees valuations. We use this to prove that the asymptotic resurgence coincides with the resurgence if the ideal is normal (that is, all its powers are integrally closed). For a monomial ideal the skew Waldschmidt constants have an interpretation involving the symbolic polyhedron defined by Cooper, Embree, Hà, and Hoefel. Using this intuition we provide several examples of squarefree monomial ideals whose resurgence and asymptotic resurgence are different.

math.AC↗

arXiv2017

The Rees algebra of a two-Borel ideal is Koszul

Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.

math.AC↗

arXiv2017

A broad class of shellable lattices

We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices. We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable. Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups.

math.CO↗

arXiv2016

Free and Non-free Multiplicities on the $A_3$ Arrangement

We give a complete classification of free and non-free multiplicities on the $A_3$ braid arrangement. Namely, we show that all free multiplicities on $A_3$ fall into two families that have been identified by Abe-Terao-Wakefield (2007) and Abe-Nuida-Numata (2009). The main tool is a new homological obstruction to freeness derived via a connection to multivariate spline theory.

math.AC↗

arXiv2016

Balanced Non-Transitive Dice

We study triples of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on such triples with an additional symmetry we call "balance," we prove that such triples of $n$-sided dice exist for all $n \geq 3$. We then examine the sums of the labels of such dice, and use these results to construct an $O(n^2)$ algorithm for verifying whether or not a triple of $n$-sided dice is balanced and non-transitive. Finally, we consider generalizations to larger sets of dice.

math.CO↗

arXiv2013

Bounding the Projective Dimension of a Square-Free Monomial Ideal via Domination in Clutters

We introduce the concept of edgewise domination in clutters, and use it to provide an upper bound for the projective dimension of any squarefree monomial ideal. We then use a simple recursion to recover a formula for the projective dimension of a monomial ideal associated to a chordal clutter, as defined by Woodroofe in \cite{russ}. We also study a family of clutters associated to graphs, and show that these clutters are chordal if and only if the associated graph is. Finally, we compute domination parameters for certain classes of these clutters.

math.AC↗

arXiv2011

Generalizing the Borel property

We introduce the notion of Q-Borel ideals: ideals which are closed under the Borel moves arising from a poset Q. We study decompositions and homological properties of these ideals, and offer evidence that they interpolate between Borel ideals and arbitrary monomial ideals.

math.AC↗

arXiv2011

Projective Dimension, Graph Domination Parameters, and Independence Complex Homology

We construct several pairwise-incomparable bounds on the projective dimensions of edge ideals. Our bounds use combinatorial properties of the associated graphs; in particular we draw heavily from the topic of dominating sets. Through Hochster's Formula, these bounds recover and strengthen existing results on the homological connectivity of graph independence complexes.

math.AC↗

arXiv2011

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

math.AC↗

arXiv2010

Borel generators

We use the notion of Borel generators to give alternative methods for computing standard invariants, such as associated primes, Hilbert series, and Betti numbers, of Borel ideals. Because there are generally few Borel generators relative to ordinary generators, this enables one to do manual computations much more easily. Moreover, this perspective allows us to find new connections to combinatorics involving Catalan numbers and their generalizations. We conclude with a surprising result relating the Betti numbers of certain principal Borel ideals to the number of pointed pseudo-triangulations of particular planar point sets.

math.AC↗

arXiv2010

Toric Ideals of Lattice Path Matroids and Polymatroids

We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.

math.CO↗

arXiv2010

Convex-Ear Decompositions and the Flag h-Vector

We prove a theorem allowing us to find convex-ear decompositions for rank-selected subposets of posets that are unions of Boolean sublattices in a coherent fashion. We then apply this theorem to geometric lattices and face posets of shellable complexes, obtaining new inequalities for their h-vectors. Finally, we use the latter decomposition to prove new inequalities for the flag h-vectors of face posets of Cohen-Macaulay complexes.

math.CO↗

arXiv2006

Several Convex-Ear Decompositions

In this paper we give convex-ear decompositions for the order complexes of several classes of posets, namely supersolvable lattices with non-zero Mobius functions and rank-selected subposets of such lattices, rank-selected geometric lattices, and rank-selected face posets of shellable complexes which do not include the top rank. These decompositions give us many new inequalities for the h-vectors of these complexes. In addition, our decomposition of rank-selected face posets of shellable complexes allows us to prove inequalities for the flag h-vector of face posets of Cohen-Macaulay complexes.

math.CO↗