Searcharxiv⌕ Search

arXiv subjects

Manoj Kummini

Publications and source records attributed to Manoj Kummini.

32 records · Page 2Linked to original sources
arXiv2013

Betti tables of $p$-Borel-fixed ideals

In this note we provide a counter-example to a conjecture of K. Pardue [Thesis, Brandeis University, 1994.], which asserts that if a monomial ideal is $p$-Borel-fixed, then its $\naturals$-graded Betti table, after passing to any field does not depend on the field. More precisely, we show that, for any monomial ideal $I$ in a polynomial ring $S$ over the ring $\ints$ of integers and for any prime number $p$, there is a $p$-Borel-fixed monomial $S$-ideal $J$ such that a region of the multigraded Betti table of $J(S \otimes_\ints \ell)$ is in one-to-one correspondence with the multigraded Betti table of $I(S \otimes_\ints \ell)$ for all fields $\ell$ of arbitrary characteristic. There is no analogous statement for Borel-fixed ideals in characteristic zero. Additionally, the construction also shows that there are $p$-Borel-fixed ideals with non-cellular minimal resolutions.

math.AC↗
arXiv2012

Bounds for the Multiplicity of Gorenstein algebras

We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-Söderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of rational multiples of symmetrized pure tables. Our bound agrees with the one in the quasi-pure case obtained by Srinivasan [J. Algebra, vol.~208, no.~2, (1998)].

math.AC↗
arXiv2012

Poset Embeddings of Hilbert Functions

For a standard graded algebra $R$, we consider embeddings of the the poset of Hilbert functions of quotients of $R$ into the poset of ideals of $R$, as a way of classification of Hilbert functions. There are examples of rings for which such embeddings do not exist. We describe how the embedding can be lifted to certain ring extensions, which is then used in the case of polarization and distraction. A version of a theorem of Clements--Lindström is proved. We exhibit a condition on the embedding that ensures that the classification of Hilbert functions is obtained with images of lexicographic segment ideals.

math.AC↗
arXiv2012

Three flavors of extremal Betti tables

We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring.

math.AC↗
arXiv2011

Shapes of free resolutions over a local ring

We classify the possible shapes of minimal free resolutions over a regular local ring. This illustrates the existence of free resolutions whose Betti numbers behave in surprisingly pathological ways. We also give an asymptotic characterization of the possible shapes of minimal free resolutions over hypersurface rings. Our key new technique uses asymptotic arguments to study formal Q-Betti sequences.

math.AC↗
arXiv2011

Poset structures in Boij-Söderberg theory

Boij-Söderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan structure induced by a partial order on its extremal rays. We provide a new interpretation of these partial orders in terms of the existence of nonzero homomorphisms, for both the general and the equivariant constructions. These results provide new insights into the families of sheaves and modules at the heart of Boij-Söderberg theory: supernatural sheaves and Cohen-Macaulay modules with pure resolutions. In addition, our results strongly suggest the naturality of these partial orders, and they provide tools for extending Boij-Söderberg theory to other graded rings and projective varieties.

math.AC↗
arXiv2010

Étale cohomological dimension, a conjecture of Lyubeznik and bounds for arithmetic rank

We produce a criterion for open sets in projective $n$-space over a separably closed field to have étale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which étale cohomological dimension is smaller than what a conjecture of G.~Lyubeznik predicts; the discrepancy is of arithmetic nature. For a monomial ideal, we relate extremal graded Betti numbers and étale cohomological dimension of the complement of the corresponding subspace arrangement. Moreover, we derive upper bounds for its arithmetic rank in terms of invariants distilled from the lcm-lattice.

math.AC↗
arXiv2010

Dependence of Betti Numbers on Characteristic

We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence of consecutive cancellations.

math.AC↗
arXiv2009

Regularity, Depth and Arithmetic Rank of Bipartite Edge Ideals

We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.

math.AC↗
arXiv2008

$d$-Regular graphs of acyclic chromatic index at least $d+2$

An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycles. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks (and earlier by Fiamcik) that $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of the graph. Alon et.al also raised the question whether the complete graphs of even order are the only regular graphs which require $Δ+2$ colors to be acyclically edge colored. In this paper, using a simple counting argument we observe not only that this is not true, but infact all d-regular graphs with $2n$ vertices and $d > n$, requires at least $d+2$ colors. We also show that $a'(K_{n,n}) \ge n+2$, when $n$ is odd using a more non-trivial argument(Here $K_{n,n}$ denotes the complete bipartite graph with $n$ vertices on each side). This lower bound for $K_{n,n}$ can be shown to be tight for some families of complete bipartite graphs and for small values of $n$. We also infer that for every $d,n$ such that $d \ge 5$, $n \ge 2d + 3$ and $dn$ even, there exist $d$-regular graphs which require at least $d+2$-colors to be acyclically edge colored.

math.CO↗
arXiv2007

Alexander Duality and Serre's Property $(S_i)$ for Square-free Monomial Ideals

In this note, we study Serre's property $(S_i)$, and its relation to Alexander duality for monomial ideals in a polynomial ring over a field. We describe ideals that define the non-Cohen-Macaulay- and the non-$(S_i)$-loci of finitely generated modules over regular rings, and show that minimal prime ideals in these loci are homogeneous, in the graded case. We show that a square-free monomial ideal has property $(S_i)$ if and only if its Alexander dual has a linear resolution up to homological degree $i-1$. We prove that for square-free monomial ideals, having property $(S_2)$ is equivalent to being locally connected in codimension 1.

math.AC↗
arXiv2007

Multiplicity Bounds for Quadratic Monomial Ideals

We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic monomial ideals. We attach a directed graph to a bipartite graph with perfect matching, and describe operations on the directed graph that would reduce the problem to a Cohen-Macaulay bipartite graph. We determine when equality holds in the conjectured bound for edge ideals of bipartite graphs, and verify that when equality holds, the resolution is pure. We characterize bipartite graphs that have Cohen-Macaulay edge ideals and quasi-pure resolutions.

math.AC↗
arXiv2007

Some Ideals with Large Projective Dimension

For an ideal $I$ in a polynomial ring over a field, a monomial support of $I$ is the set of monomials that appear as terms in a set of minimal generators of $I$. 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 $I$ grows at least exponentially with the size of a monomial support. The ideal we construct is generated by monomials and binomials.

math.AC↗