Abstract
Let Q be an affine monoid, \(\Bbbk [Q]\) the associated monoid \(\Bbbk \)-algebra, and \(\Bbbk [\overline{Q}]\) its normalization, where we let \(\Bbbk \) be a field. We discuss a difference of the Hilbert series of \(\Bbbk [Q]\) and \(\Bbbk [\overline{Q}]\) in the case where \(\Bbbk [Q]\) is homogeneous (i.e., standard graded). More precisely, we prove that if \(\Bbbk [Q]\) satisfies Serre’s condition \((S_2)\), then the degree of the h-polynomial of \(\Bbbk [Q]\) is always greater than or equal to that of \(\Bbbk [\overline{Q}]\). Moreover, we also show counterexamples of this statement if we drop the assumption \((S_2)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Backgrounds
Let \(\Bbbk \) be a field throughout this paper. For the fundamental materials on commutative algebra, see [3].
Let \(R=\bigoplus _{i \in \mathbb {Z}}R_i\) be a graded \(\Bbbk \)-algebra with \(\dim _\Bbbk R_i< \infty \) for each i. Hilbert series of R is one of the most fundamental invariants in the theory of commutative algebra. For the introduction to the theory of Hilbert series, see, e.g., [3, Section 4]. Although the Hilbert series just provides the numerical information of R as a \(\Bbbk \)-vector space, it reflects several commutative-algebraic properties. For example, a classical observation claims that if R is Cohen–Macaulay, then the Laurent polynomial appearing in the numerator of the Hilbert series of R has nonnegative coefficients ([3, Corollary 4.1.10]). Moreover, the Gorensteinness of R is completely characterized in terms of a kind of symmetry of the Hilbert series if R is a domain ([3, Corollary 4.4.6]). Furthermore, by several recent studies, some connections with certain generalized notions of Gorensteinness (e.g. almost Gorenstein, nearly Gorenstein, level) and the Hilbert series have been discovered. (See, e.g., [6, 7, 10].) Since the Hilbert series of R can be computed from the graded minimal free resolution of R, it also captures other invariants which have been well-discussed in commutative algebra, such as Krull dimension (or codimension), Koszulness, Castelnuovo–Mumford regularity, multiplicity, a-invariant, and so on.
On the other hand, affine monoids and their associated \(\Bbbk \)-algebras have been well studied by many researchers in several contexts. For the introduction to the theory of affine monoids and affine monoid \(\Bbbk \)-algebras, see, e.g., [2] and [3, Section 6.1]. Since geometric information of affine monoids is applicable for the analysis of algebraic properties of the associated \(\Bbbk \)-algebras, affine monoid \(\Bbbk \)-algebras have been regarded as useful objects in commutative algebra. For example, the celebrated theorem by Hochster claims that if an affine monoid Q is normal, i.e., \(\overline{Q}=Q\), then \(\Bbbk [Q]\) is Cohen–Macaulay ([3, Theorem 6.3.5 (a)]). Moreover, Cohen–Macaulayness of the affine monoid \(\Bbbk \)-algebra \(\Bbbk [Q]\) is characterized in terms of geometric information on Q together with the information about reduced homology groups over \(\Bbbk \) of certain simplicial complexes ([15]). Furthermore, Katthän reveals a strong connection with the structure of holes of affine monoids Q (i.e., \(\overline{Q} {\setminus } Q\)) and ring-theoretic properties (e.g., Serre’s condition \((S_2)\), \((R_1)\) and depth). See [9].
By taking these backgrounds into account, in this paper, we study the Hilbert series of \(\Bbbk [Q]\) and \(\Bbbk [\overline{Q}]\). In particular, we focus on the difference of them.
1.2 Main results
To explain the main results of this paper, we introduce the notation used throughout this paper. Given a \(\mathbb {Z}\)-graded \(\Bbbk \)-algebra \(R=\bigoplus _{i \in \mathbb {Z}}R_i\), let \(M=\bigoplus _{i \in \mathbb {Z}}M_i\) be a finitely generated \(\mathbb {Z}\)-graded R-module with \(\dim _\Bbbk M_i<\infty \) for each i. Let \({\text {Hilb}}(M,t)\) denote the Hilbert series of M, i.e.,
We say that R is homogeneous if it is generated by \(R_1\) and \(R_0=\Bbbk \). If R is homogeneous, then we see that \({\text {Hilb}}(M,t)\) is of the following form:
where \(h_M(t)\) is a Laurent polynomial in t with integer coefficients. We call this polynomial \(h_M(t)\) the h-polynomial of M.
When \(R=\Bbbk [Q]\) for some affine monoid Q, we call Q homogeneous if \(\Bbbk [Q]\) is homogeneous. We use the notation \({\text {Hilb}}(Q,t)\) and \(h_Q(t)\) instead of \({\text {Hilb}}(\Bbbk [Q],t)\) and \(h_{\Bbbk [Q]}(t)\), respectively.
The following is the first main theorem of this paper:
Theorem 1.1
Let Q be a homogeneous affine monoid and assume that \(\Bbbk [Q]\) satisfies Serre’s condition \((S_2)\). Then \(\deg (h_Q(t)) \ge \deg (h_{\overline{Q}}(t))\).
Here, \(\deg (f(t))\) denotes the degree of the polynomial f(t). For the definition of Serre’s condition, see Sect. 2.2.
The following second main theorem shows the existence of counterexamples of Theorem 1.1 if we drop the assumption \((S_2)\).
Theorem 1.2
For any positive integer m, there exists a homogeneous affine monoid Q such that \(\deg (h_{\overline{Q}}(t)) - \deg (h_Q(t))=m\).
1.3 Organization of this paper
In Sect. 2, we prepare the materials for the proofs of the main results. In Sect. 3, we give a proof of Theorem 1.1. In Sect. 4, we give a proof of Theorem 1.2.
2 Preliminaries
In this section, we recall several materials used in this paper.
2.1 Affine monoids and hole modules
An affine monoid is a finitely generated submonoid of \(\mathbb {Z}^d\) for some d. Given an affine monoid \(Q \subset \mathbb {Z}_{\ge 0}^d\), we can associate the \(\Bbbk \)-algebra \(\Bbbk [Q] \subset \Bbbk [x_1,\ldots ,x_d]\) defined by
where for \(\alpha =(\alpha _1,\ldots ,\alpha _d) \in \mathbb {Z}_{\ge 0}^d\), we let \(\textbf{x}^\alpha =x_1^{\alpha _1}\cdots x_d^{\alpha _d}\). We call this \(\Bbbk \)-algebra \(\Bbbk [Q]\) the monoid algebra of Q. Affine monoids and monoid algebras have been called as affine semigroups and affine semigroup rings (e.g., in [3]), but it is becoming common to call them as affine monoids and monoid algebras, respectively. Those are the same notions, but we employ the terminology “monoid” in this paper.
We recall some fundamental notions on affine monoids and their monoid \(\Bbbk \)-algebras. Let \(Q \subset \mathbb {Z}^d_{\ge 0}\) be an affine monoid. The minimal generating system of Q is the minimal finite subset \(\{\alpha _1,\ldots ,\alpha _s\}\) of Q such that \(\displaystyle Q=\left\{ \sum _{i=1}^s n_i\alpha _i: n_i \in \mathbb {Z}_{\ge 0}\right\} \). In this case, we use the notation \(Q=\langle \alpha _1,\ldots ,\alpha _s \rangle \).
Let \(Q=\langle \alpha _1,\ldots ,\alpha _s \rangle \) for some \(\alpha _i \in \mathbb {Z}_{\ge 0}^d\).
-
Let \(\mathbb {Z}Q\) denote the free abelian group generated by Q, i.e., \(\displaystyle \mathbb {Z}Q=\left\{ \sum _{i=1}^s z_i \alpha _i: z_i \in \mathbb {Z}\right\} .\)
-
Let \(\mathbb {R}_{\ge 0}Q\) denote the polyhedral cone generated by Q, i.e., \(\displaystyle \mathbb {R}_{\ge 0}Q = \left\{ \sum _{i=1}^s r_i \alpha _i: r_i \in \mathbb {R}_{\ge 0}\right\} .\)
-
Let \(\overline{Q}\) be the normalization of Q, i.e.,
$$\begin{aligned} \overline{Q}=\mathbb {Z}Q \cap \mathbb {R}_{\ge 0}Q. \end{aligned}$$Clearly, we have \(Q \subset \overline{Q}\). We say that Q is normal if \(Q=\overline{Q}\) holds. Note that \(\Bbbk [\overline{Q}]\) coincides with the normalization of \(\Bbbk [Q]\). It is known that \(\Bbbk [Q]\) is Cohen–Macaulay if Q is normal. (See [3, Theorem 6.3.5].)
-
A face F of Q is a subset of Q satisfying the following: \(\alpha ,\beta \in Q\), \(\alpha + \beta \in F \Leftrightarrow \alpha \in F \text { and }\beta \in F.\) The dimension of a face F is defined to be the rank of the free abelian group \(\mathbb {Z}F\).
-
We say that Q is positive if the minimal face of Q is \(\{0\}\).
-
Regarding \(\Bbbk [Q]\), we have \(\dim \Bbbk [Q]=\dim Q\).
-
We say that an affine monoid Q is homogeneous if the minimal generating set of Q lies on the same hyperplane not containing the origin.
Throughout this paper, affine monoids are always assumed to be positive. We recall the following statement, which will play a crucial role in the proof of Theorem 1.1.
Theorem 2.1
([9, Theorem 3.1 and Proposition 5.5]) Let Q be an affine monoid. Then there exists a (not-necessarily disjoint) decomposition:
with \(q_i \in \overline{Q}\) and faces \(F_i\) of Q.
Moreover, in the case \(\ell =1\), i.e., if \(\overline{Q} {\setminus } Q = (q + \mathbb {Z}F) \cap \mathbb {R}_{\ge 0}Q\) for some \(q \in \overline{Q}\) and a face F of Q, then \({\text {depth}}\Bbbk [Q] = \dim F +1\).
We call \(q_i+\mathbb {Z}F_i\) appearing in (1) a j-dimensional family of holes of Q if \(\dim F_i=j\).
Note that Theorem 3.1 and Proposition 5.5 in [9] claim the similar statement for non-necessarily positive affine monoids, but we convert the statement into the case of positive affine monoids.
2.2 Serre’s condition
Let R be a Noetherian ring and let M be a finitely generated R-module. For a nonnegative integer m, we say that M satisfies Serre’s condition \((S_m)\) if
where \({\text {Spec}}R\) denotes the set of all prime ideals of R. Namely, M satisfies \((S_m)\) if and only if \(M_\mathfrak {p}\) is Cohen–Macaulay for any \(\mathfrak {p}\in {\text {Spec}}R\) with \({\text {depth}}M_\mathfrak {p}<m\).
Proposition 2.2
(cf. [4]) Let \(A=\Bbbk [x_1,\ldots ,x_n]\), let I be an ideal of A and let \(R=A/I\). Then R satisfies \((S_m)\) if and only if \(\dim ({\text {Ext}}^i_A(R,A)) \le n-m-i\) holds for any \(i > n-\dim R\).
Regarding \((S_2)\) for monoid algebras \(\Bbbk [Q]\), we know the following:
Theorem 2.3
([9, Theorem 5.2]) Let Q be a positive affine monoid of dimension d. Then \(\Bbbk [Q]\) satisfies \((S_2)\) if and only if every family of holes of Q is of dimension \(d-1\).
2.3 Ehrhart rings of lattice polytopes
A convex polytope \(P \subset \mathbb {R}^N\) is called a lattice polytope if all of its vertices belong to \(\mathbb {Z}^N\). If \(P \not \subset \mathbb {R}_{\ge 0}^N\), then we may translate P by a certain lattice point \(\gamma \in \mathbb {Z}_{\ge 0}^N\) to make \(P+\gamma \subset \mathbb {R}_{\ge 0}^N\). Since most properties of lattice polytopes are preserved by the translation by a lattice point, we may assume that \(P \subset \mathbb {R}_{\ge 0}^N\) without loss of generality.
Given a lattice polytope \(P \subset \mathbb {R}_{\ge 0}^N\), we can associate a homogeneous affine monoid \(Q_P\) as follows:
Hence, we can associate the \(\Bbbk \)-algebra \(\Bbbk [Q_P]\), known as the toric ring of P.
On the other hand, we can also define the \(\Bbbk \)-algebra associated to P as follows:
where \(nP=\{n \alpha : \alpha \in P\}\). This \(\Bbbk \)-algebra \({\text {Ehr}}_\Bbbk (P)\) is called the Ehrhart ring of P. We see by definition that \({\text {Hilb}}({\text {Ehr}}_\Bbbk (P),t)\) coincides with the Ehrhart series of P, which is the generating function \(\sum _{n \ge 0}\vert nP \cap \mathbb {Z}^N\vert t^n\). For the introduction to Ehrhart theory, see [1].
Given a homogeneous affine monoid \(Q \subset \mathbb {Z}_{\ge 0}^d\), a cross section polytope of Q, denoted by \(P_Q \subset \mathbb {R}_{\ge 0}^d\), is the lattice polytope obtained by the intersection of Q and a hyperplane including all the generators of Q.
Example 2.4
The Ehrhart ring of P does not necessarily coincide with the normalization of \(\Bbbk [Q_P]\). In fact, let P be the convex hull of \(\{(0,0,0),(1,1,0),(0,1,1),(1,0,1)\}\). Then we see that
In particular, the normalization \(\Bbbk [\overline{Q_P}]\) is equal to \(\Bbbk [Q_P]\). On the other hand, the following holds:
![](http://media.springernature.com/lw350/springer-static/image/art%3A10.1007%2Fs00233-024-10414-0/MediaObjects/233_2024_10414_Equ44_HTML.png)
where we regard \(\deg X_i=1\) and \(\deg Y=2\).
We say that a lattice polytope \(P \subset \mathbb {R}^d_{\ge 0}\) is spanning if \(\mathbb {Z}Q_P =\mathbb {Z}^{d+1}\). If P is spanning, then we see that \(\Bbbk [\overline{Q_P}]={\text {Ehr}}_\Bbbk (P)\). The notion of spanning polytopes was introduced in [8] and the Ehrhart theory for spanning polytopes was developed there.
We recall a well-known notion for lattice polytopes \(P \subset \mathbb {R}^d\). The codegree of P, denoted by \({\text {codeg}}(P)\), is defined as follows:
where \(P^\circ \) denotes the relative interior of P.
Assume that \(P \subset \mathbb {R}_{\ge 0}^d\) and P is spanning. Then it is known that
and
where \(s=\deg (h_{\overline{Q_P}}(t))\), \(h_s\) is the leading coefficient of \(h_{\overline{Q_P}}(t)\) and \(\ell ={\text {codeg}}(P)\). Those are implicitly explained in [1, Section 4] in terms of lattice polytopes or their Ehrhart series.
2.4 Edge rings
Throughout this paper, all graphs are finite and simple. Let G be a connected graph on the vertex set V(G) with the edge set E(G). Then we can associate a homogeneous affine monoid \(Q_G\) by setting
where \(\textbf{e}_u\) denotes the unit vector of \(\mathbb {R}^{V(G)}\) and \(\textbf{e}_{u,v}=\textbf{e}_u+\textbf{e}_v\). We call the associated \(\Bbbk \)-algebra \(\Bbbk [Q_G]\) the edge ring of G.
Let \(P_G\) be the convex hull of \(\{\textbf{e}_{u,v}: \{u,v\} \in E(G)\}\). This polytope is known as the edge polytope of G.
We know by [12, Proposition 1.3] that
Remark 2.5
For a non-bipartite connected graph G with d vertices, the edge polytope \(P_G\) is always assumed to be spanning in the following sense. Fix a vertex v of G. Let \(P'\) be the image of \(P_G\) by the projection \(\pi :\mathbb {R}^{V(G)} \rightarrow \mathbb {R}^{V(G) {\setminus } \{v\}}\) ignoring the entry corresponding to v. Then \(Q_G\) is isomorphic to \(Q_{P'}\) as affine monoids. Moreover, let S be a \((d-1)\)-simplex in \(P_G\) described in [12, Lemma 1.4]. Then we can check that \(\{(\alpha ,1): \alpha \in \pi (S) \cap \mathbb {Z}^{V(G) {\setminus } \{v\}}\}\) forms a \(\mathbb {Z}\)-basis for \(\mathbb {Z}^{V(G)}\) if we choose a vertex v properly. Therefore, we conclude that \(P'\) is spanning. Since \(Q_G\) is isomorphic to \(Q_{P'}\), we may say “\(P_G\) is spanning”. In particular, \(\Bbbk [\overline{Q_G}]={\text {Ehr}}_\Bbbk (P_G)\) holds. Even if G is not connected, we may apply the same procedure for each connected component \(G_i\) and obtain a \(\mathbb {Z}\)-basis for \(\mathbb {Z}^{V(G_i)}\). By combining these \(\mathbb {Z}\)-bases for \(\mathbb {Z}^{V(G_i)}\) for each i, we obtain a \(\mathbb {Z}\)-basis for \(\mathbb {Z}^{V(G)}\). Namely, \(P_G\) is spanning for any non-bipartite (non-necessarily connected) graph G.
A similar discussion can be applied for bipartite graphs and we can also claim the spanning property for edge polytopes of bipartite graphs, but we omit the detail since we do not use it in this paper.
An exceptional pair in G is a pair \((C,C')\) of two odd cycles C and \(C'\) in G such that C and \(C'\) have no common vertex and there is no bridge between C and \(C'\) (i.e., no edge \(\{v,v'\}\) in G with \(v \in V(C)\) and \(v' \in V(C')\)).
Edge rings have been intensively studied by several people since the following theorem was established:
Theorem 2.6
([12, 13]) Let G be a connected graph. Then \(\overline{Q_G}\) is described as follows:
where \(\textbf{e}_C=\sum _{v \in V(C)}\textbf{e}_v\). In particular, \(Q_G\) is normal if and only if there is no exceptional pair in G.
We prepare the following proposition for the proof later.
Proposition 2.7
For a connected graph with d vertices, we have \(\deg (h_{\overline{Q_G}}(t)) \le d/2\). Moreover, if the equality holds, then \(h_{d/2}=1\), where \(h_{d/2}\) is the leading coefficient of \(h_{\overline{Q_G}}(t)\).
Proof
For the first statement, it is enough to show that \({\text {codeg}}(P_G) \ge d/2\) by (2) and Remark 2.5.
Let \(\ell \) be a positive integer and assume that \(\ell P_G^\circ \cap \mathbb {Z}^d \ne \emptyset \). Let \(\alpha =(\alpha _v)_{v \in V(G)} \in \ell P_G^\circ \cap \mathbb {Z}^d\). Then we can write \(\alpha \) like \(\alpha =\sum _{\{u,v\} \in E(G)}a_{u,v}\textbf{e}_{u,v}\), where \(a_{u,v}>0\) for each \(\{u,v\} \in E(G)\) and \(\sum a_{u,v}=\ell \). Thus, in particular, \(\alpha _u \ge 1\) holds for each \(u \in V(G)\) since \(\alpha \in \mathbb {Z}^d\). Hence,
This means that \({\text {codeg}}(P_G) \ge d/2\).
Moreover, by this discussion, if \({\text {codeg}}(P_G)=d/2\), then \(\alpha \) must be \(\sum _{v \in V(G)}\textbf{e}_u\). This implies that \(h_{d/2}=1\). \(\square \)
3 Proof of Theorem 1.1
This section is devoted to giving a proof of Theorem 1.1.
Proof of Theorem 1.1
Let \(Q \subset \mathbb {Z}_{\ge 0}^d\) be a homogeneous affine monoid of dimension d. Then we know the following short exact sequence of graded \(\Bbbk [Q]\)-modules:
Thus, we have
By the way, Theorem 2.1 describes the structure of \(\Bbbk [\overline{Q}]/\Bbbk [Q]\). Since we assume \((S_2)\) for \(\Bbbk [Q]\), we know that each family of holes is of dimension \(d-1\) (see Theorem 2.3). Let us consider the decomposition of \(\overline{Q} {\setminus } Q\) in (1), where \(q_i \in \overline{Q}\) and \(F_i\) is a face of Q of dimension \(d-1\) for each i. Note that this decomposition is not necessarily disjoint. Hence, we have to apply an “inclusion–exclusion type” formula to get the Hilbert series of \(\Bbbk [\overline{Q}]/\Bbbk [Q]\).
Here, we recall some materials on hyperplanes arrangements. (See, e.g., [14] for the introduction to the theory of hyperplane arrangements.) Let \(H_i=q_i+\mathbb {R}F_i\) be an affine hyperplane, and let \(\mathscr {A}=\{H_1,\ldots ,H_\ell \}\) be a hyperplane arrangement. Let \(\mathscr {L}(\mathscr {A})\) denote the intersection lattice of \(\mathscr {A}\), i.e.,
equipped with a partial order defined by reverse inclusion. We regard \(\bigcap _{i \in \emptyset }H_i\) as \(\mathbb {R}^d\), i.e., \(\mathbb {R}^d \in \mathscr {L}(\mathscr {A})\) is the minimal element. We define a map \(\mu : \mathscr {L}(\mathscr {A}) \rightarrow \mathbb {Z}\) (known as the Möbius function) as follows:
Then we see from (1) that
where \(a_i=\deg \textbf{x}^{q_i}\) and we let \(\overline{X}=X \cap \overline{Q}\). Note that \(\overline{X}\) is a normal homogeneous submonoid of \(\overline{Q}\). Hence, it follows from (4) that
Since \(\overline{X}\) is normal, we know that \(\Bbbk [\overline{X}]\) is Cohen–Macaulay, so \(h_{\overline{X}}(t)\) has positive coefficients. Thus, we can conclude the desired conclusion \(\deg (h_Q(t)) \ge \deg (h_{\overline{Q}}(t))\) once we check that \((-1)^{d- \dim X}\mu (X) \ge 0\). Actually, this is known to be true. See, e.g., [14, Corollary 3.4].
Regarding another relationship between \(h_Q(t)\) and \(h_{\overline{Q}}(t)\), we know the following:
Proposition 3.1
For any homogeneous affine monoid Q of dimension d, \(h_Q(1)=h_{\overline{Q}}(1)\) holds.
Proof
Since the structure of \(\Bbbk [\overline{Q}]/\Bbbk [Q]\) can be captured by the decomposition (1) and each face \(F_i\) is of dimension at most \(d-1\), we see that
where g(t) is some polynomial in t. Then it follows from (4) that
In particular, \(h_{\overline{Q}}(t)-h_Q(t)\) is divisible by \((1-t)\). This means that \(h_{\overline{Q}}(1)=h_Q(1)\). \(\square \)
4 Proof of Theorem 1.2
In this section, we give a proof of Theorem 1.2. For the proof of Theorem 1.2, we use the following example.
Example 4.1
Let G be the graph on \(\{1,\ldots ,10\}\) with the edge set
See Fig. 1.
Let \(Q=Q_G\). By using Macaulay2 (for \(\Bbbk [Q]\)) together with Normaliz (for \(\Bbbk [\overline{Q}]\)), we see the following:
On the other hand, we see that
where we let \(A=\Bbbk [x_1,\ldots ,x_{14}]\) and regard \(\Bbbk [Q]\) as A/I by taking the defining ideal \(I \subset A\) of \(\Bbbk [Q]\) (i.e., the toric ideal of Q). This implies that \(\Bbbk [Q]\) does not satisfy \((S_2)\) (see Proposition 2.2). Note that we can also check non-\((S_2)\)-ness by using the structure of the hole module \(\Bbbk [\overline{Q}]/\Bbbk [Q]\). See Proposition 4.2.
This example shows that Theorem 1.1 does not hold if we drop the assumption \((S_2)\).
Actually, we can generalize this example as follows:
Proposition 4.2
Given a positive integer k, let \(G_k\) be the graph as depicted in Fig. 2:
Let \(Q =Q_{G_k}\). Then
We also have \({\text {depth}}\Bbbk [Q]=k+7\), while \(\dim \Bbbk [Q]=2k+6\). In particular, \(\Bbbk [Q]\) is never Cohen–Macaulay if \(k \ge 2\).
Proof
Note that \(\dim \Bbbk [Q] = \dim \Bbbk [\overline{Q}] = |V(G_k)|=2k+6\). Let \(P=P_{G_k}\) be the edge polytope of \(G_k\).
The first step: We compute \(\deg \big (h_{\overline{Q}}(t)\big )\) by computing the codegree of P. We see that
where \(\textbf{e}_{u,v}=\textbf{e}_u+\textbf{e}_v\). In the left-hand side of this equality, all edges of \(G_k\) appear and each of the coefficients is positive. Moreover, the sum of the coefficients is equal to \(k+3\). This implies that \((k+3)P^\circ \cap \mathbb {Z}^d \ne \emptyset \), i.e., \({\text {codeg}}P \le k+3\), which implies that \(\deg (h_Q(t)) =\dim \Bbbk [\overline{Q}] - {\text {codeg}}P \ge k+3\). On the other hand, Proposition 2.7 implies that \(\deg (h_{\overline{Q}}(t)) \le (2k+6)/2=k+3\). Therefore, \(\deg (h_{\overline{Q}}(t))=k+3\). At the same time, we can also see that \(h_{k+3}=1\), where \(h_{k+3}\) denotes the leading coefficient of \(h_{\overline{Q}}(t)\).
The second step: Next, we compute the family of holes of Q. Let \(G'\) be the (non-connected) graph obtained from \(G_k\) by removing the vertices \(v_1,\ldots ,v_k\) together with the incident 3k edges. Let \(q=\sum _{i=1}^6 \textbf{e}_{u_i}\) and let \(Q'=Q_{G'}\). We claim that
Note that the pair of 3-cycles \((u_1,u_2,u_3)\) and \((u_4,u_5,u_6)\) is a unique exceptional pair in \(G_k\).
“\((\subset )\)” By (3), we have \(\overline{Q} {\setminus } Q \subset Q + \mathbb {Z}_{\ge 0}q\), but we know that
Hence, \(\overline{Q} \setminus Q \subset q+Q\) holds. Moreover, for each \(i=1,\ldots ,k\), we see the following:
This concludes that \(\overline{Q} \setminus Q \subset q+Q'\).
“\((\supset )\)” Since we see from (3) that \(q+Q' \subset \overline{Q}\) holds, it is enough to check \(q+\alpha ' \not \in Q\) for any \(\alpha ' \in Q'\). Let \((\alpha ''_v)_{v \in V(G_k)}=q+\alpha '\) and look at the entries \(\alpha _{u_4}'',\alpha _{u_5}''\) and \(\alpha _{u_6}''\). Then \(\alpha _{u_4}''+\alpha _{u_5}''+\alpha _{u_6}''\) is always odd (and at least 3). On the other hand, \(\alpha _{v_i}''=0\) for each i by definition of \(Q'\). This implies that \(q+\alpha '\) cannot be decomposed into \(\textbf{e}_{u,v}\)’s for some edges \(\{u,v\}\) in \(G_k\), i.e., \(q+\alpha ' \not \in Q\).
Moreover, since \(\{\textbf{e}_{u,v}: \{u,v\} \in G'\}\) is linearly independent and consists of \(k+6\) vectors, we see that \(\Bbbk [Q'] \cong \Bbbk [x_1,\ldots ,x_{k+6}]\). Hence,
The third step: By the second step together with (4), we see the following:
(Note that q corresponds to a monomial of degree 3 in \(\Bbbk [\overline{Q}]\).) Since \(\deg \big (h_{\overline{Q}}(t)\big )=k+3\) and \(h_{k+3}=1\) by the first step, we obtain that
This implies the desired conclusion (5).
The fourth step: Lastly, we discuss the depth of \(\Bbbk [Q]\). One can verify that \(Q'\) is a face of Q of codimension k. (In fact, \(Q'=Q \cap \bigcap _{i=1}^k \{x_{v_i}=0\}\), where each \(x_{v_i}=0\) becomes a supporting hyperplane of Q.) This implies that (6) gives the decomposition (1). Hence, \(\Bbbk [Q]\) does not satisfy \((S_2)\) by Theorem 2.3. Moreover, we can apply the latter statement of Theorem 2.1 and obtain that the depth of \(\Bbbk [Q]\) is equal to \(1+\dim Q' = k+7\). \(\square \)
For the proof of Theorem 1.2, we recall the notion of join for lattice polytopes and apply the same idea to homogeneous affine monoids. Given two lattice polytopes \(P \subset \mathbb {R}^d\) and \(P \subset \mathbb {R}^{d'}\), let \(P \star P'\) be the convex hull of
We call \(P \star P'\) the join of P and \(P'\).
Similarly, given two homogeneous affine monoids \(Q \subset \mathbb {Z}_{\ge 0}^d\) and \(Q' \subset \mathbb {Z}_{\ge 0}^{d'}\), let \(\alpha _1,\ldots ,\alpha _s\) (resp. \(\alpha _1',\ldots ,\alpha _{s'}'\)) be the minimal generating set of Q (resp. \(Q'\)). We define
Then it is straightforward to see that \(Q \star Q'\) is also a homogeneous affine monoid. Let us call \(Q \star Q'\) the join of homogeneous affine monoids Q and \(Q'\).
Proposition 4.3
(cf. [5, Lemma 1.3]) Given two homogeneous affine monoids \(Q \subset \mathbb {Z}_{\ge 0}^d\) and \(Q' \subset \mathbb {Z}_{\ge 0}^{d'}\), we have
and
Proof
Let P (resp. \(P'\)) be the cross section polytope of Q (resp. \(Q'\)). Then that of \(Q \star Q'\) is nothing but \(P \star P'\) since the hyperplane containing the generators of \(Q \star Q'\) is defined by \(b'\sum _{i=1}^da_ix_i+b\sum _{i=1}^{d'}a_i'x_{d+i}=bb'\), where \(\sum _{i=1}^da_ix_i=b\) (resp. \(\sum _{i=1}^{d'}a_i'x_i=b'\)) is the hyperplane containing the generators of Q (resp. \(Q'\)). Hence, the latter equality of the statement is directly obtained from [5, Lemma 1.3].
For the former, similarly to the proof of [5, Lemma 1.3], it suffices to show that
but this directly follows from the description of \(Q \star Q'\) as follows: for each \(k \in \mathbb {Z}_{>0}\),
\(\square \)
Now, we are in the position to give a proof of Theorem 1.2.
Proof of Theorem 1.2
Given a positive integer m, let
where Q is the same homogeneous affine monoid as in Example 4.1. It then follows from Proposition 4.3 that \({\text {Hilb}}(Q^{(m)},t)={\text {Hilb}}(Q,t)^m\) and \({\text {Hilb}}(\overline{Q^{(m)}},t)={\text {Hilb}}(\overline{Q},t)^m\). Hence, \(\deg (h_{\overline{Q^{(m)}}}(t))-\deg (h_{Q^{(m)}}(t))=m\left( \deg (h_{\overline{Q}}(t))-\deg (h_Q(t))\right) =m\), as required.
Remark 4.4
The difference of the degrees of \(h_Q(t)\) and \(h_{\overline{Q}}(t)\) can be arbitrarily large. For the case \(\deg (h_Q(t)) < \deg (h_{\overline{Q}}(t))\), this is just what Theorem 1.2 claims. For the case \(\deg (h_Q(t)) \ge \deg (h_{\overline{Q}}(t))\), we can find such examples, e.g., in [11, Theorem A]. In fact, for any nonnegative integer m, let
Then \(\Bbbk [R_m]\) is nearly Gorenstein with Cohen–Macaulay type 2 (see [11, Lemma A (\(\alpha \))]). Moreover, we also see that the projective dimension of \(\Bbbk [R_m]\) is 2. Thus, by [10, Theorem 4.10], we know that \(\displaystyle {\text {Hilb}}(R_m,t)=\frac{1+2\sum _{i=1}^st^i}{(1-t)^2}\) for some s. In particular, \(h_{R_m}(t)=1+2\sum _{i=1}^s t^i\). On the other hand, since \(\overline{R_m}=\mathbb {Z}_{\ge 0}^2 \cap \{(x,y): x+y \in (2m+3)\mathbb {Z}\}\), we also see that \(\Bbbk [\overline{R_m}] \cong \Bbbk [X,Y]^{(2m+3)}\), where \(\Bbbk [X,Y]^{(n)}\) stands for the n-th Veronese subring of \(\Bbbk [X,Y]\). In particular, \(\displaystyle {\text {Hilb}}(\overline{R_m},t)=\frac{1+(2\,m+2)t}{(1-t)^2}\). Since \(h_{R_m}(1)=h_{\overline{R_m}}(1)=2m+3\) (see Proposition 3.1), we obtain that \(s=m+1\). Therefore, \(\deg (h_{R_m}(t))-\deg (h_{\overline{R_m}}(t))=m\) holds, as desired.
References
Beck, M., Robins, S.: Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics, Springer, New York (2007)
Bruns, W., Gubeladze, J.: Polytopes, Rings, and K-Theory. Springer Monographs in Mathematics, Springer, New York (2009)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings, 2nd edn. Cambridge University Press, Cambridge (1998)
Dao, H.: Determining if a ring satisfies Serre’s condition \(S_{n}\). MathOverflow. https://mathoverflow.net/q/36957
Henk, M., Tagami, M.: Lower bounds on the coefficients of Ehrhart polynomials. Eur. J. Combin. 30(1), 70–83 (2009)
Higashitani, A.: Almost Gorenstein homogeneous rings and their \(h\)-vectors. J. Algebra 456, 190–206 (2016)
Higashitani, A., Yanagawa, K.: Non-level semi-standard graded Cohen-Macaulay domain with \(h\)-vector \((h_0, h_1, h_2)\). J. Pure Appl. Algebra 222(1), 191–201 (2018)
Hofscheier, J., Katthän, L., Nill, B.: Ehrhart theory of spanning lattice polytopes. Int. Math. Res. Not. 2018, 5947–5973 (2018)
Katthän, L.: Non-normal affine monoid algebras. Manuscr. Math. 146, 223–233 (2015)
Miyashita, S.: Levelness versus nearly Gorensteinness of homogeneous domains. J. Pure Appl. Algebra 228(4), 107553 (2024)
Miyashita, S.: Nearly Gorenstein projective monomial curves of small codimension. arXiv:2302.04027
Ohsugi, H., Hibi, T.: Normal polytopes arising from finite graphs. J. Algebra 218, 509–527 (1999)
Simis, A., Vasconcelos, W.V., Villarreal, R.H.: The integral closure of subrings associated to graphs. J. Algebra 199, 281–289 (1998)
Stanley, R.P.: An introduction to hyperplane arrangements. In: Miller, E., Reiner, V., Sturmfels, B. (eds.) Geometric Combinatorics. IAS/Park City Mathematics Series, vol. 13, pp. 389–496. Amer. Math. Soc, Providence (2007)
Trung, N.V., Hoa, L.T.: Affine semigroups and Cohen-Macaulay rings generated by monomials. Trans. Am. Math. Soc. 298, 145–167 (1986)
Acknowledgements
This paper is partially supported by KAKENHI 20K03513 and 21KK0043.
Funding
Open Access funding provided by Osaka University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jan Okniński.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Higashitani, A. Difference of Hilbert series of homogeneous monoid algebras and their normalizations. Semigroup Forum 108, 101–114 (2024). https://doi.org/10.1007/s00233-024-10414-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-024-10414-0