Related papers: Strongly robust toric ideals in codimension 2
We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal. We also show that strong persistence is equivalent to a condition on power of ideals…
We investigate Gauss maps of (not necessarily normal) projective toric varieties over an algebraically closed field of arbitrary characteristic. The main results are as follows: (1) The structure of the Gauss map of a toric variety is…
We introduce the notion of strongly independent matrices and show the existence of strongly independent matrices in $GL(n,\mathbb{Z})$ over $\mathbb{Z}^n\setminus\{0\}$ when $2n+1$ is a prime number. As an application of strong…
We develop a theory of bicrystalline ideals, synthesizing Gr\"obner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and…
In this paper we define an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. This family is likely to play a key role in classifying…
We give a necessary and sufficient criterion for an operator in a nest algebra to belong to a proper two-sided ideal of that algebra. Using this result, we describe the strong radical of a nest algebra, and give a general description of the…
The \texttt{StronglyStableIdeals} package for \textit{Macaulay2} provides a method to compute all saturated strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. A description of the main method and auxiliary…
Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all graphs whose binomial edge ideals, as well as their initial ideals, have regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is extremal…
We give a structure theorem for Cohen Macaulay monomial ideals of codimension 2, and describe all possible relation matrices of such ideals. In case that the ideal has a linear resolution, the relation matrices can be identified with the…
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal…
All compact K\"ahler, or even $\partial\bar\partial$-manifolds, are rationally formal. Not all of them are strongly formal. Yet some of them are: For complete smooth complex toric varieties and homogeneous compact K\"ahler manifolds we show…
Let I be either the ideal of maximal minors or the ideal of 2-minors of a row graded or column graded matrix of linear forms L. In two previous papers we showed that I is a Cartwright-Sturmfels ideal, that is, the multigraded generic…
We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the…
We consider the problem of determining whether a monomial ideal is dominant. This property is critical for determining for which monomial ideals the Taylor resolution is minimal. We first analyze dominant ideals with a fixed least common…
This paper continues the investigation of quasilength, of content of local cohomology with respect to generators of the support ideal, and of robust algebras begun in joint work of Hochster and Huneke. We settle several questions raised by…
The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2].…
A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a…
Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B…
The strong global dimension of a ring is the supremum of the length of perfect complexes that are indecomposable in the derived category. In this note we characterize the noetherian commutative rings that have finite strong global…
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to…