
TL;DR
This paper provides criteria for identifying when Hibi rings and ladder determinantal rings are almost Gorenstein, based on their structural properties, extending understanding of their algebraic and combinatorial characteristics.
Contribution
It introduces new criteria linking the almost Gorenstein property of these rings to their defining poset or ladder shape, advancing classification methods.
Findings
Criteria for Hibi rings to be level, non-Gorenstein, and almost Gorenstein.
Criteria for Hibi rings to be non-level and almost Gorenstein.
Criteria for ladder determinantal rings to be non-Gorenstein and almost Gorenstein.
Abstract
In this paper, we state criteria of a Hibi ring to be level, non-Gorenstein and almost Gorenstein and to be non-level and almost Gorenstein in terms of the structure of the partially ordered set defining the Hibi ring. We also state a criterion of a ladder determinantal ring defined by 2-minors to be non-Gorenstein and almost Gorenstein in terms of the shape of the ladder.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Algebraic structures and combinatorial models · Algebraic Geometry and Number Theory
Almost Gorenstein Hibi rings
Mitsuhiro MIYAZAKI111The author is supported partially by JSPS KAKENHI Grant Number 15K04818.
(Dept. Math., Kyoto University of Education,
Fushimi-ku, Kyoto, 612-8522, Japan)
Abstract
In this paper, we state criteria of a Hibi ring to be level, non-Gorenstein and almost Gorenstein and to be non-level and almost Gorenstein in terms of the structure of the partially ordered set defining the Hibi ring. We also state a criterion of a ladder determinantal ring defined by 2-minors to be non-Gorenstein and almost Gorenstein in terms of the shape of the ladder.
Keywords: almost Gorenstein, Hibi ring, level ring, ladder determinantal ring
MSC:13H10, 13F50, 13A02
1 Introduction
Cohen-Macaulay and Gorenstein properties are traditional and very important notions in commutative ring theory. First, Cohen-Macaulay property of a Noetherian ring is defined as a ring which satisfies unmixedness theorem and/or other equivalent conditions. After that, Bass [Bas] defined Gorenstein property for Noetherian rings. A Noetherian local ring is by definition Gorenstein if its self injective dimension is finite and a general Noetherian ring is Gorenstein if the localized ring by any prime ideal of it is a Gorenstein local ring.
Since then, researchers have accumulated the theories concerning Cohen-Macaulay and Gorenstein rings and had feeling that in some theories, assuming only Cohen-Macaulay property is to weak to deduce interesting results while Gorenstein property is to strong so that only trivial results can be deduced. Therefore, there are efforts to find and formulate a nice class of rings to fill the gap between Cohen-Macaulay and Gorenstein properties.
The notion of almost Gorenstein property is an outcome of these efforts. First Barucci and Fröberg [BF] defined almost Gorenstein property for 1-dimensional analytically unramified local rings. After that, Goto, Matsuoka and Phuong [GMP] generalized the notion of almost Gorenstein property to arbitrary 1-dimensional local rings. Further, Goto, Takahashi and Taniguchi [GTT] generalized the notion of almost Gorenstein property to arbitrary local rings and graded rings.
In this paper, we study almost Gorenstein property of Hibi rings and completely characterize non-Gorenstein almost Gorenstein graded Hibi rings in terms of the structure of partially ordered sets. Let be a field, a finite distributive lattice, the set of join-irreducible elements of and the Hibi ring over on . Then is non-Gorenstein and almost Gorenstein if and only if, after deleting elements with , is one of the following forms.
- (1)
Disjoint union of an element and a chain with length at least 1. 2. (2)
A partially ordered set obtained by adding one of the following covering relations to disjoint union of 2 chains with the same length of at least 2.
- (i)
The bottom element of each chain is covered by the top element of the other chain. 2. (ii)
The bottom element of the second chain is covered by the top element of the first chain and there are integers , …, such that the -th element of the first chain from the bottom is covered by the -th element of the second chain from the bottom for each , …, ( may be 0 in this case).
[TABLE]
We also state a criterion of non-Gorenstein almost Gorenstein property of ladder determinantal rings defined by 2-minors, since (ladder) determinantal rings defined by 2-minors have structures of Hibi rings. See Theorem 5.1.
This paper is organized as follows. After establishing basic materials used in the main argument of this paper in Section 2, we state a criterion of a Hibi ring to be level, non-Gorenstein and almost Gorenstein graded ring in Section 3. Further, we state a criterion of a Hibi ring to be non-level and almost Gorenstein graded ring in Section 4. We show that (1) above corresponds to the level case and (2) to the non-level case. Finally in Section 5, we state a criterion of a ladder determinantal ring defined by 2-minors to be non-Gorenstein and almost Gorenstein.
2 Preliminaries
In this section, we collect some known facts and state basic facts in order to prepare the main argument of this paper.
In this paper, all rings and algebras are assumed to be commutative with an identity element. We denote by the set of non-negative integers, by the set of integers. Let be a field, a Cohen-Macaulay standard graded -algebra, i.e., , and . We set , , where is the -invariant of . We denote the irrelevant maximal ideal of by , the graded canonical module of by .
For a graded finitely generated -module , we denote the Hilbert series by . We set , , the -vector of , i.e.,
[TABLE]
It is known that . We also denote the number of elements in a minimal system of generators of by and the multiplicity of with respect to by . It is known that . Further the following fact is known.
Lemma 2.1
Let be a Cohen-Macaulay non-negatively graded -module with . Then there is a polynomial such that
[TABLE]
Further if we set , then
[TABLE]
for any . Moreover, if , then the equality holds for any .
Now we recall the definition of an almost Gorenstein ring in our case.
Definition 2.2** ([GTT])**
is an almost Gorenstein graded ring if there exist an exact sequence
[TABLE]
of graded -modules such that or . (We always assume a homomorphism between graded -modules is of degree 0.)
In [GTT], notions of almost Gorenstein local rings and almost Gorenstein graded rings are defined. In this paper, we treat only almost Gorenstein graded rings and just call them almost Gorenstein rings.
Note that if
[TABLE]
is an exact sequence, then is a generator of . Set and take a minimal homogeneous generating system , , …, of . Then , …, is a minimal homogeneous generating system of . In particular, we see the following fact.
Lemma 2.3
In the above situation,
[TABLE]
where is the Kronecker’s delta.
Note that if , then is a Cohen-Macaulay -module of dimension [GTT, Lemma 3.1]. We also recall the following fact.
Fact 2.4** ([Hig, Proposition 2.4])**
If , then
[TABLE]
By Lemmas 2.1 and 2.3 and Fact 2.4, we see the following
Corollary 2.5
Suppose that and . Then
[TABLE]
for ,
[TABLE]
for and
[TABLE]
if .
Next we recall some basic facts about Hibi rings. First we fix notation and terminology on partially ordered set (poset for short).
Let be a finite poset. A chain in is a totally ordered subset of . The length of a chain is by definition , where is the cardinality of . The rank of , denoted , is the maximum length of chains in . If every maximal chain (with respect to the inclusion relation) has length , we say that is pure. A subset of such that , and imply is called a poset ideal of . For , with we define . We denote as if there is no danger of confusion. , and for , with are defined similarly. If , , and , we say that covers and denote or . For , we define or . For a poset , let be a new element which is not contained in . We define the poset whose base set is and if and only if , and in or and .
Let be a finite distributive lattice with unique minimal element , the set of join-irreducible elements of , i.e., or . Note that we treat as a join-irreducible element. It is known that is isomorphic to the set of non-empty poset ideals of ordered by inclusion.
Let be a family of indeterminates indexed by .
Definition 2.6** ([Hib])**
.
is called the Hibi ring over on nowadays. Hibi [Hib, §2 b)] showed that is a normal affine semigroup ring and thus is Cohen-Macaulay by the result of Hochster [Hoc]. Further, by setting and for , is a standard graded -algebra. From now on, we set .
Here we recall the characterization of Gorenstein property of by Hibi.
Fact 2.7** ([Hib, §3 d)])**
* is Gorenstein if and only if is pure.*
Set and and and . Further, we set for . Note that . It is easily verified that
[TABLE]
[Hib, §3 b)] and therefore, by the description of the canonical module of a normal affine semigroup ring by Stanley [Sta, p. 82], we see that
[TABLE]
[Hib, §3 b)]. We define the order on by , where we set . Then for , is a generator of if and only if is a minimal element of .
Since for any and , and , is an element of , we see that
[TABLE]
In particular, . In order to use notation of [Miy], we define auxiliary notation by . We also see by [Hib, §2 a)] that .
We recall the notion of a sequence with condition N defined in [Miy].
Definition 2.8
Let , , , , …, , be a (possibly empty) sequence of elements in . We say the sequence , , , , …, , satisfies condition N if
- (1)
. 2. (2)
. 3. (3)
For any , with , .
Remark 2.9
A sequence with condition N may be an empty sequence, i.e., may be [math].
For a sequence with condition N, we make the following
Definition 2.10
Let , , , , …, , be a sequence with condition N. We set
[TABLE]
where we set an empty sum to be 0.
Remark 2.11
For an empty sequence, we set .
It is fairly easy to see that there are only finitely many sequences with condition N [Miy, Lemma 3.4] and we state the following
Definition 2.12
We set , , …, , is a sequence with condition N.
By [Miy, Corollary 3.5 and Theorem 3.12], we see the following
Fact 2.13
.
3 A criterion of a Hibi ring to be level, non-Gorenstein and almost Gorenstein
In this section and the next, we state criteria of a Hibi ring to be non-Gorenstein and almost Gorenstein. Recall that we have set , the set of join-irreducible elements of , , and . Also recall that , , is the -vector of .
In this section, we treat the level case.
Theorem 3.1
* is level, non-Gorenstein and almost Gorenstein if and only if there exists with the following conditions.*
- (1)
* is a chain of length .* 2. (2)
.
- Proof
We first prove the “only if” part. Since is not Gorenstein, it is not regular. Therefore . Take an exact sequence
[TABLE]
such that (since is not Gorenstein, ).
Since is level, we see that for . Therefore, we see by Lemma 2.3 that for . If , then we see by Corollary 2.5 that . This contradicts to . Therefore, we see that .
Take a maximal chain
[TABLE]
of length in . Since , we see that
[TABLE]
Set . We show that satisfies (1) and (2). (1) is clear. Further, since is not pure by Fact 2.7. Thus, satisfies (2).
Next we prove the “if” part. By (1) and (2), we see that is not pure and
[TABLE]
**Therefore, is not Gorenstein, level and almost Gorenstein by Fact 2.7 and [GTT, Proposition 10.1 and Theorem 10.4]. (Note that in [GTT, §10], they assumed that the base field is an infinite field. However, [GTT, Lemma 10.1 and Theorem 10.4] also hold true in our situation. First, if , then has a 2-linear resolution as a module over a polynomial ring over with variables. Therefore, is level. Thus, [GTT, Lemma 10.1] also valid in our situation. As for [GTT, Lemma 10.3], which is used in the proof of [GTT, Theorem 10.4] is clearly valid in our situation, since is a domain and is an ideal of . Further, we can use [GTT, Theorem 10.4] in our case by the argument of base field extension, since is a domain for any extension field of . Level property of may also be deduced from [Miy, Theorem 3.9] and almost Gorenstein property of is also proved directly by the same argument as in the proof of Theorem 4.1.) **
Remark 3.2
If satisfies the conditions in Theorem 3.1, then is a polynomial ring over the ring considered in [GTT, Example 10.5].
4 A criterion of a Hibi ring to be non-level and almost Gorenstein
In this section, we state a criterion of a Hibi ring to be non-level and almost Gorenstein.
Theorem 4.1
* is not level and almost Gorenstein if and only if there are non-negative integers , and with , , …, , , …, , , …, , , …, with the following conditions.*
- (1)
, …, , , …, , , …, , , …, . 2. (2)
,
,
,
* and*
. 3. (3)
Other covering relations in are one of the followings.
- (i)
* or* 2. (ii)
there are integers , …, with such that
[TABLE]
(* may be [math] in this case, i.e., there is no covering relation other than stated in (2).)*
In order to prove this theorem, we first show the following fact.
Lemma 4.2
Let be a minimal element of . Then there exists a sequence , , …, , of elements in with the following conditions, where we set .
- (1)
, , …, , satisfies condition N. 2. (2)
* for .* 3. (3)
For any with , for any and for any .
- Proof
By [Miy, Lemma 3.3], we see that there is a sequence , , …, , of elements in with condition N such that for .
If there exist with and such that
[TABLE]
then we can replace with . Similarly, if there exist with and such that
[TABLE]
then we can replace with .
**It is clear that after finite steps of replacements, we get a sequence which satisfies (1), (2) and (3). **
We also note the following fact, whose proof is straightforward.
Lemma 4.3
Let be an element of and , , …, , a sequence of elements in which satisfies (1) and (2) of Lemma 4.2. Then
[TABLE]
Now we state
Proof of Theorem 4.1 We first prove the “only if” part. Take an exact sequence
[TABLE]
such that (since is not Gorenstein, ). Since is not level, we see by [Miy, Theorem 3.9] that . Therefore, by Fact 2.13 and Lemma 2.3, we see that
[TABLE]
Thus, we see by Fact 2.4 and Lemma 2.1 that . Further, since
[TABLE]
by Corollary 2.5, we see by Fact 2.13 that
[TABLE]
Let be a minimal element of with . Take a sequence , , …, , of elements in which satisfies (1), (2) and (3) of Lemma 4.2. Further take and such that for , where we set and and for , where we set . Then , …, , , …, , , …, , , …, , …, , …, , , …, , , …, are distinct elements of , since the sequence , , …, , satisfies (1), (2) and (3) of Lemma 4.2. Since
[TABLE]
by Lemma 4.3, we see that , and . In particular, , , …, , , , …, and , and .
Set
[TABLE]
[TABLE]
Set also
[TABLE]
Then (1) and (2) are satisfied. Further, since , and , we see that and , i.e., , , by the definition of covering relation.
Next we show that
[TABLE]
for any . Assume the contrary. Then by [Miy, Lemma 4.1], we see that . Therefore, we see by Corollary 2.5 that . It follows that
[TABLE]
by Fact 2.13, contradicts to the fact that .
Since , , and , we see that . In particular, . Further, we see that and . Moreover, since , we see that .
Consider the possible covering relations in other than listed in (2). By the definition of covering relation, if . Therefore, we consider what kind of covering relations of the form possible to exist.
If and , then
[TABLE]
contradicting to the fact that .
Next assume that there are and such that , and . Then, by the definition of covering relation, we see that . Let be a minimal element of such that . Take a sequence , , …, , of elements in which satisfies (1), (2) and (3) of Lemma 4.2. Then by the same argument as above, we see that , and . Therefore, we see and since . Since and , we see that
[TABLE]
In particular, there is exactly one minimal element of with . Therefore,
[TABLE]
On the other hand, if we define , by
[TABLE]
then and are minimal elements of by [Miy, Lemma 3.2] and since . Further . Thus, we see that
[TABLE]
This contradicts to Corollary 2.5. Therefore, we see that there is no covering relation with and .
Summing up, possible covering relations of the form are
- •
and
- •
with .
If , then there is no other covering relations of the form by the definition of covering relation. Therefore, we see (3) of Theorem 4.1 is satisfied by , …, , , …, , , …, , , …, . This proves the “only if” part of Theorem 4.1.
Next we prove the “if” part of Theorem 4.1. We first assume that there are , …, , , …, , , …, , , …, which satisfy (1), (2) and (3)(ii). First note that for any , with ,
[TABLE]
if and only if . In particular, for any
For , set by
[TABLE]
Then by [Miy, Lemma 3.2], we see that is a minimal element of , since and . Further, for .
Let be an arbitrary minimal element of . Then by [Miy, Lemma 3.3], we see that there is a sequence , , …, , with condition N such that
[TABLE]
for , where we set . Take , , …, , as short as possible. If , then . Thus, for any , since . Therefore, . Suppose . Then since we took , , …, , as short as possible. Thus,
[TABLE]
and therefore,
[TABLE]
Thus, and . We see that and by the same way. Therefore since for any by the definition of condition N. Further, we see that , where . Thus, we see that there are exactly minimal elements , …, of .
Let be the -homomorphism such that . Since
[TABLE]
as a -vector space and
[TABLE]
we see that
[TABLE]
for any . Further, we see that , since is generated by , …, . Set
[TABLE]
Then is a -subalgebra of . Further, is isomorphic to a polynomial ring over with variables, since is isomorphic to the Hibi ring over on a chain of length . Moreover, we see that is a rank 1 free module over generated by for . Since multiplicity is defined by the Hilbert series, we see that . Therefore, we see that is almost Gorenstein.
Next, we assume that there are , …, , , …, , , …, , , …, which satisfy (1), (2) and (3)(i). For , set by
[TABLE]
and for , set by
[TABLE]
Then we see by the same argument as above, that there are exactly minimal elements , …, , , …, of and
[TABLE]
where is the -homomorphism such that .
Remark 4.4
in [Hig, Example 5.7] is the poset which satisfies (1), (2) and (3)(i) with and in [Hig, Theorem 5.3] is the poset which satisfies (1), (2) and (3)(ii) with .
5 Almost Gorenstein property of ladder determinantal rings defined by 2-minors
In this section, we state a criterion of a ladder determinantal ring defined by 2-minors to be a non-Gorenstein almost Gorenstein ring. Note that a (ladder) determinantal ring defined by 2-minors is a Hibi ring.
We use the notation of [Con, §1]. Let and be integers with and an matrix of indeterminates. Let be a poset which is a disjoint union of two chains and . Then by the correspondence
[TABLE]
we see the set of poset ideals (including the empty set) of ordered by inclusion is isomorphic to ordered by of [Con, p. 121]. Let be a poset whose base set is and adding a covering relation . Then a poset ideal of is a poset ideal of , i.e., . Further, it is easily verified that by the above correspondence, corresponds to
[TABLE]
i.e., corresponds to a ladder with inside upper corner in the terminology of [Con, p. 122].
By repeating this argument, one sees that any ladder satisfying (a) and (b) of [Con, p. 121] can be obtained by adding several covering relations of form or to . Therefore, by the results of previous sections, we see the following fact.
Theorem 5.1
Let , be integers with , an matrix of indeterminates, a ladder of which satisfies (a) and (b) of [Con, p. 121]. Assume that all the indeterminates of are involved in some 2-minors of . Then is non-Gorenstein and almost Gorenstein if and only if one of the following conditions is satisfied.
- (1)
, and . 2. (2)
, inside lower corner of is and inside upper corner is just or lie on the line of equation . (We allow one sided ladder, i.e., there may be no inside upper corner.) 3. (3)
, inside upper corner of is and inside lower corner is just or lie on the line of equation . (We allow one sided ladder, i.e., there may be no inside lower corner.)
Remark 5.2
Suppose . Taniguchi [Tan] showed that is non-Gorenstein and almost Gorenstein if and only if , and .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[BF] Barucci, Valentina, and Ralf Fröberg. ”One-dimensional almost Gorenstein rings.” Journal of Algebra 188.2 (1997): 418-442.
- 2[Bas] Bass, Hyman. ”On the ubiquity of Gorenstein rings.” Mathematische Zeitschrift 82.1 (1963): 8-28.
- 3[Con] Conca, Aldo. ”Ladder determinantal rings.” Journal of Pure and Applied Algebra 98.2 (1995): 119-134.
- 4[GMP] Goto, Shiro, Naoyuki Matsuoka, and Tran Thi Phuong. ”Almost Gorenstein rings.” Journal of Algebra 379 (2013): 355-381.
- 5[GTT] Goto, Shiro, Ryo Takahashi, and Naoki Taniguchi. ”Almost Gorenstein rings-towards a theory of higher dimension.” Journal of Pure and Applied Algebra 219.7 (2015): 2666-2712.
- 6[Hib] Hibi, Takayuki. ”Distributive lattices, affine semigroup rings and algebras with straightening laws.” Commutative algebra and combinatorics 11 (1987): 93-109.
- 7[Hig] Higashitani, Akihiro. ”Almost Gorenstein homogeneous rings and their h-vectors.” Journal of Algebra 456 (2016): 190-206.
- 8[Hoc] Hochster, Melvin. ”Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes.” Annals of Mathematics (1972): 318-337.
