We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel.
We extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, we prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in $\mathbb{A}^4$ is at most $3$, answering a question of Stamate in this particular case. Moreover, we prove that, if $\mathcal C$ is a nearly Gorenstein affine monomial curve which is not Gorenstein and $n_1, \dots, n_ν$ are the minimal generators of the associated numerical semigroup, the elements of $\{n_1, \dots, \widehat{n_i}, \dots, n_ν\}$ are relatively coprime for every $i$.
We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal C \subseteq \mathbb{A}^4$ is at most $3$, and make some considerations on the general case.
We study the minimal free resolution of the tangent cone of Gorenstein monomial curves in affine 4-space. We give the explicit minimal free resolution of the tangent cone of non-complete intersection Gorenstein monomial curve whose tangent cone has five minimal generators and show that the possible Betti sequences are $(1,5,6,2)$ and $(1,5,5,1)$. Also, we compute the Hilbert function of the tangent cone of these families as a result.
Let $k$ be an arbitrary field. In this note, we show that if a sequence of relatively prime positive integers ${\bf a}=(a_1,a_2,a_3,a_4)$ defines a Gorenstein non complete intersection monomial curve ${\mathcal C}({\bf a})$ in ${\mathbb A}_k^4$, then there exist two vectors ${\bf u}$ and ${\bf v}$ such that ${\mathcal C}({\bf a}+t{\bf u})$ and ${\mathcal C}({\bf a}+t{\bf v})$ are also Gorenstein non complete intersection affine monomial curves for almost all $t\geq 0$.
The aim of the article is to study the Betti numbers of the tangent cone of Gorenstein monomial curves in affine 4-space. If $C_S$ is a non-complete intersection Gorenstein monomial curve whose tangent cone is Cohen-Macaulay, we show that the possible Betti sequences are (1,5,5,1), (1,5,6,2) and (1,6,8,3).
Let $C$ be a Gorenstein non complete intersection monomial curve in the 4-dimensional affine space. In this paper we study the minimal number of generators of the tangent cone of $C$. Special attention will be paid to the case where $C$ has Cohen-Macaulay tangent cone at the origin.
In this paper, we consider monomial curves in ${\mathbb A}_k^3$ parameterized by $t \rightarrow (t^{2q +1}, t^{2q +1 + m}, t^{2q +1 +2 m})$ where $gcd( 2q+1,m)=1$. The symbolic blowup algebras of these monomial curves is Gorenstein (\cite{goto-nis-shim}, \cite{goto-nis-shim-2}). We give a simple proof for the the Gorenstein property for the symbolic blowup algebras of these curves.
We introduce a general technique for decomposing monomial algebras which we use to study the Lefschetz properties. We apply our technique to various classes of algebras, including monomial almost complete intersections and Gorenstein algebras. In particular, we prove that Gorenstein codimension three algebras arising from numerical semigroups have the strong Lefschetz property. We also study the reverse of the splitting operation -- a gluing operation -- which gives a way to construct monomial algebras with the Lefschetz properties.
In this article, applying the quasi-Gorenstein analogous of the Ulrich's deformation of certain Gorenstein rings we show that some homological conjectures, including the Monomial Conjecture, Big Cohen-Macaulay Algebra Conjecture as well as the Small Cohen-Macaulay Conjecture reduce to the excellent unique factorization domains. Some other reductions of the Monomial Conjecture are also proved. We, moreover, show that certain almost complete intersections adhere the Monomial Conjecture.
We characterize when the monomial maximal ideal of a simplicial affine semigroup ring has a monomial minimal reduction. When this is the case, we study the Cohen-Macaulay and Gorenstein properties of the associated graded ring and provide several bounds for the reduction number with respect to the monomial minimal reduction.
Koszulness of Gorenstein quadratic algebras of small socle degree is studied. In this note, we construct non-Koszul Gorenstein quadratic toric ring such that its socle degree is more than 3 by using stable set polytopes.
A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r…
Let $R$ be a standard graded Gorenstein algebra over a field presented by quadrics. Conca, Rossi, and Valla have shown that such a ring is Koszul if $\mathrm{reg}\, R \leq 2$ or if $\mathrm{reg}\, = 3$ and $c= \mathrm{codim}\, R \leq 4$, and they ask whether this is true for $\mathrm{reg}\, R = 3$ in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring $R$ that guarantee the Nagata idealization $\tilde{R} = R \ltimes ω_R(-a-1)$ is a non-Koszul quadratic Gorenstein ring. We use this to negatively answer the question of Conca-Rossi-Valla, constructing non-Kos…
Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenstein algebra, with regularity $3$ has smaller codimension. We also construct an infinite family of graded, quadratic, Artinian, Gorenstein algebras $A_m$, indexed by an integer $m \ge 2$, with the foll…
We study the deformation theory of quotients of polynomial rings by quadratic monomial ideals. More precisely we compute the first cotangent cohomology module of such rings. We also give a criterion for vanishing of second cotangent cohomology module.
In this article, by using the technique of gluing semigroups, we give infinitely many families of 1-dimensional local rings with non-decreasing Hilbert functions. More significantly, these are local rings whose associated graded rings are not necessarily Cohen-Macaulay. In this sense, we give an effective technique to construct large families of 1-dimensional Gorenstein local rings associated to monomial curves, which support Rossi's conjecture saying that every Gorenstein local ring has non-decreasing Hilbert function.
In [MMR], Michałek--Miró-Roig give a beautiful geometric characterization of Artinian quotients by ideals generated by quadratic or cubic monomials, such that the multiplication map by a general linear form fails to be injective in the first nontrivial degree. Their work was motivated by conjectures of Ilardi and Mezzetti-Miró-Roig-Ottaviani, connecting the failure to Laplace equations and classical results of Togliatti on osculating planes. We study quotients by quadratic monomial ideals, explaining failure of the Weak Lefschetz Property for some cases not covered by [MMR].
We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly logarithmically in the number of variables.
Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of homogeneous semigroup rings from the decomposition we have confirmed the Eisenbud-Goto conjecture in a range of new cases not tractable by standard methods. Here we first illustrate this technique and its implementation in our Macaulay2 package MonomialAlgebras by computing the decomposition and the regularity step by step for an explicit example. We then focus on ri…
Castelnuovo-Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove, improve and generalize many of the known bounds on regularity of quadratic square-free monomial ideals.
Given a numerical semigroup ring $R=k[\![S]\!]$, an ideal $E$ of $S$ and an odd element $b \in S$, the numerical duplication $S \! \Join^b \! E$ is a numerical semigroup, whose associated ring $k[\![S \! \Join^b \! E]\!]$ shares many properties with the Nagata's idealization and the amalgamated duplication of $R$ along the monomial ideal $I=(t^e \mid e\in E)$. In this paper we study the associated graded ring of the numerical duplication characterizing when it is Cohen-Macaulay, Gorenstein or complete intersection. We also study when it is a homogeneous numerical semigroup, a property that is …
We study some properties of a family of rings $R(I)_{a,b}$ that are obtained as quotients of the Rees algebra associated with a ring $R$ and an ideal $I$. In particular, we give a complete description of the spectrum of every member of the family and describe the localizations at a prime ideal. Consequently, we are able to characterize the Cohen-Macaulay and Gorenstein properties, generalizing known results stated in the local case. Moreover, we study when $R(I)_{a,b}$ is an integral domain, reduced, quasi-Gorenstein, or satisfies Serre's conditions.
We introduce the concept of quasi-linearity and prove it is necessary for a monomial ideal to have a linear resolution and identify all the quasi-linear quadratic monomial ideals. We define a strongly linear monomial for a monomial ideal $I$ and prove that if $\mathbf{u}$ is a strongly linear monomial over $I$ then $I$ has a linear resolution (resp: is quasi-linear) if and only if $I+\mathbf{u}\mathfrak{p}$ has a linear resolution (resp: is quasi-linear). Here $\mathfrak{p}$ is any monomial prime ideal.
Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two determinantal ideals. Using this fact, we describe the minimal free resolution of the coordinate ring in the following three cases: when m_0 is 1 modulo n (determinantal), when m_0 is n modulo n (almo…
Determining whether an arbitrary subring $R$ of $k[x_1^{\pm 1},\dots, x_n^{\pm 1}]$ is a normal domain is, in general, a nontrivial problem, even in the special case of a monomial generated domain. In this paper, we provide a complete characterization of the normality and normalizations of quadratic-monomial generated domains. For a quadratic-monomial generated domain $R$, we develop a combinatorial structure that assigns, to each quadratic monomial of the ring, an edge in a mixed signed, directed graph $G$, i.e., a graph with signed edges and directed edges. We classify the normality and the …
We use combinatorics tools to reobtain the classification of monomial quadratic Cremona transformations in any number of variables given in \cite{SV2} and to classify and count square free cubic Cremona maps with at most six variables, up to isomorphism.
We consider the directed union S of an infinite sequence {(R_n, m_n)} of successive local quadratic transforms of a regular local ring (R, m). If dim R = 2, Abhyankar proves that S is a valuation ring. If dim R > 2, Shannon gives necessary and sufficient conditions for S to be a rank 1 valuation domain and Granja gives necessary and sufficient conditions that S be a rank 2 rational rank 2 valuation domain. Granja observes that these are the only cases where S is a valuation domain. If the sequence is along a rank 1 valuation ring V with valuation v, Granja, Martinez, and Rodriguez show that if…
We introduce a new way to associate a simplicial complex called the \emph{survival complex} to a commutative semigroup with zero. Restricting our attention to the semigroup of monomials arising from an Artinian monomial ring, we determine that any such complex has an isolated point. Indeed, we show that there is exactly one isolated point essentially only in the case where the monomial ideal is generated purely by powers of the variables. This allows us to recover Beintema's result that an Artinian monomial ring is Gorenstein if and only if it is a complete intersection. A key ingredient of th…
Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for some of the factors. The existence of negative exponents occurs if the dimension of R is at least 3 because of the existence of finitely supported *-simple ideals that are not special. We consider properties of special *-simple complete ideals such as their Rees valuations and point basis. Let (R, m) be a d-dimensional equicharacterstic regular local ring with …
The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.
A graph-theoretic method, simpler than existing ones, is used to characterize the minimal set of monomial generators for the integral closure of any algebra of polynomials generated by quadratic monomials. The toric ideal of relations between these generators is generated by a set of binomials, defined graphically. The spectra of the original algebra and of its integral closure turn out to be canonically homeomorphic.
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that …