Let R be the polynomial ring in r variables over a field k, with maximal ideal M and let V denote a vector subspace of the space of degree-j homogeneous elements of R. We study three related algebras determined by V. The first is the ``ancestor algebra'' whose defining ideal is the largest graded ideal whose intersection with M^j is the ideal (V).
The second is the ``level algebra'', whose defining ideal L(V) is the largest graded ideal of R such that the degree-j component is V; and third is the algebra R/(V).
When r=2, we determine the possible Hilbert functions H for each of these algebras, and as well the dimension of each Hilbert function stratum. We characterize the graded Betti numbers of these algebras in terms of certain partitions depending only on H, and give the codimension of each stratum in terms of invariants of the partitions. When r=2 and k is algebraically closed the Hilbert function strata for each of the three algebras satisfy a frontier property that the closure of a stratum is the union of more special strata. The family G(H) of all graded quotients of R having the given Hilbert function is a natural desingularization of this closure.
There is a natural epimorphism from the symmetric algebra to the Rees algebra of an ideal. When this epimorphism is an isomorphism, we say that the ideal is of linear type. Given two determinantal rings over a field, we consider the diagonal ideal, the kernel of the multiplication map. We prove that the diagonal ideal is of linear type and recover the defining ideal of the Rees algebra in some special cases. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety.
Given two determinantal rings over a field k. We consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety. When the Rees algebra and the Symmetric algebra coincide, we show that the Rees algebra is Cohen-Macaulay.
This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes.
Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal free resolutions of all their ordinary powers as well as many symbolic powers. We use these to study the ordinary and the symbolic Rees algebra of Fermat ideals. Specifically, we show that the symbol…
An artinian graded algebra, $A$, is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property, touching on numerous and diverse areas of algebraic geometry, commutative algebra, and combinatorics. Amazingly, though, much of this work has a "common ancestor" in a theorem originally due to Stanley, although subsequently reproved by others. In this expository paper we describe the different directions in which research has moved starting with this theorem, an…
The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with projective dimension one over hypersurface rings. We describe the defining ideal of such algebras and determine Cohen-Macaulayness and other invariants.
In the article "Non-commutative Grobner bases for commutative algebras", Eisenbud-Peeva-Sturmfels proved a number of results regarding Grobner bases and initial ideals of those ideals in the free associative algebra which contain the commutator ideal. We prove similar results for ideals which contains the anti-commutator ideal (the defining ideal of the exterior algebra). We define one notion of generic initial ideals in the free assoicative algebra, and show that gin's of ideals containing the commutator ideal, or the anti-commutator ideal, are finitely generated.
In this article, we compute the regularity of Rees algebra of binomial edge ideals of closed graphs. We obtain a lower bound for the regularity of Rees algebra of binomial edge ideals. We also study some algebraic properties of the Rees algebra and special fiber ring of binomial edge ideals of closed graphs via algebraic properties of their initial algebra and Sagbi basis theory. We obtain an upper bound for the regularity of the special fiber ring of binomial edge ideals of closed graphs.
The properties of the intersection algebra of two principal monomial ideals in a polynomial ring are investigated in detail. Results are obtained regarding the Hilbert series and the canonical ideal of the intersection algebra using methods from the theory of diophantine linear equations with integer coefficients.
Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra…
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.
When $R$ is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated ideal. In such a case to get the defining ideal of the multi-Rees algebra we only need to saturate the first syzygies of direct sum of this family of ideals. However, this fact is not true, when at least one of these ideals does not contain any nonzero divisor. In this paper we show that the defining ideal of the multi-Rees algebra of a family of ideals of a pol…
In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
We construct a noncoherent initial ideal of an ideal in the exterior algebra of order 6, answering a question of D. Maclagan (2000). We also give a method for constructing noncoherent initial ideals in exterior algebras using certain noncoherent term orders.
We study the finite generation of the intersection algebra of two principal ideals I and J in a unique factorization domain R. We provide an algorithm that produces a list of generators of this algebra over R. In the special case that R is a polynomial ring, this algorithm has been implemented in the commutative algebra software system Macaulay2. A new class of algebras, called fan algebras, is introduced.
We study ideals which are generated by monomials of degree $d$ in the polynomial ring in $n$ variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese type, squarefree Veronese ideals or $t$-spread Veronese ideals. In this paper we focus on $c$-bounded $t$-spread Veronese ideals and on Veronese ideals of bounded support. Their powers as well as their fiber cone is also be considered.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and ideals having the absorption property of an evolution algebra in terms of its associated graph. We also define a couple of order-preserving maps, one from the sets of ideals of an evolution algebra to that of hereditary subsets of the corresponding graph, and the other in the reverse direction. Conveniently restricted to the set of absorption ideals and to th…
In this paper we consider multi-graded extended Rees algebras of zero dimensional ideals which are Cohen-Macaulay (CM) with minimal multiplicity. We show that the minimal multiplicity property can occur only for the ordinary extended Rees algebra and the bigraded extended Rees algebra. For the bigraded extended Rees algebra we find necessary conditions for it to be CM with minimal multiplicity. We also produce bigraded Rees algebras which are Cohen-Macaulay with minimal multiplicity.
We propose a novel approach to distinguish table vs non-table ideals by using different machine learning algorithms. We introduce the reader to table ideals, assuming some knowledge on commutative algebra and describe their main properties. We create a data set containing table and non-table ideals, and we use a feedforward neural network model, a decision tree and a graph neural networks for the classification. Our results indicate that there exists an algorithm to distinguish table ideals from non-table ideals, and we prove it along some novel results on table ideals.
We will describe how we can identify the structure of the Koszul algebra for trivariate monomial ideals from minimal free resolutions. We use recent work of L. Avramov, where he classifies the behavior of Bass numbers of embedding codepth 3 commutative local rings. His classification relies on a corresponding classification of their respective Koszul algebras, which is comprised of 5 categories. Using Avramov's classification of the Koszul algebra, along with their respective Bass series we will learn how to identify the Koszul algebra structure by inspecting the minimal free resolution of the…
Let G be a perfect graph and let J be its ideal of vertex covers. We show that the Rees algebra of J is normal and that this algebra is Gorenstein if G is unmixed. Then we give a description--in terms of cliques--of the symbolic Rees algebra and the Simis cone of the edge ideal of G.
We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and it is standard graded if and only if the graph is bipartite. We also give a general upper bound for the maximal degree of the generators of vertex cover algebras.
