On the Local Cohomology of Reflexive Modules of Rank One over Normal Semigroup Rings, , March 24, 2005

1 Introduction

The motivation for this paper stems from my earlier and ongoing work on equivariant sheaves over toric varieties (see [Per04a] , [Per03] and [Per04b] ). The main theme of this theory is the interplay between the combinatorics of toric geometry and non-combinatorial aspects from linear algebra. In a sense, this theory extends the combinatorial theory of toric varieties to a semi-combinatorial theory over toric varieties. It turns out that an important building block which we should understand are the reflexive sheaves of rank one. This paper has been written in order to clarify at least a few aspects of these sheaves.

In the case of affine toric varieties, these sheaves correspond to reflexive modules of rank one over a normal semigroup rings

k [σ M]

, where

k

is an algebraically closed field and

σ_{M}

a normal subsemigroup of some lattice

M \sim = Z^{d}

. The main results of this work are related to the following problems:

(i) the computation of local cohomology modules of reflexive modules of rank one over $k [σ M]$ with respect to monomial ideals,
(ii) the classification of maximal Cohen-Macaulay (MCM) modules of rank one over $k [σ M]$ .

Recall that a normal semigroup is of the form

σ_{M} = {m \in M | 〈 m, n (ρ) 〉 \geq 0 for all ρ \in σ (1)},

where the

n (ρ)

are linear forms in

N = M \overset{ˇ}{}

, the module dual to

M

, and the brackets

〈, 〉 : M \times N \to Z

denote the canonical pairing. The

n (ρ)

over

R_{\geq 0}

span a strictly convex polyhedral cone

σ

in the vector space

N_{R} = N \otimes_{Z} R

(see also section 2 ).

Denote

T = Hom (M, k^{*})

the algebraic torus acting on the affine toric variety

U_{σ}

. The

T

-invariant divisor class group is isomorphic to the free group

Z^{σ (1)}

. By a well-known correspondence, there is a one-to-one correspondence between

T

-invariant divisors

D \in Z^{σ (1)}

and

M

-graded reflexive module of rank one over

k [σ M]

, denoted

R^{D}

. Forgetting the grading on

R^{D}

in a natural way induces a one-to-one correspondence between isomorphism classes of reflexive modules of rank one and rational equivalence classes of Weil-divisors. Let

D = \sum_{ρ \in σ (1)} n_{ρ} D_{ρ}

, then, as an

M

-graded module,

R^{D}

can explicitly be represented as the

k

-linear span of a

σ_{M}

-lattice submodule

M^{D}

M

, which is determined by inequalities

M^{D} = {m \in M | 〈 m, n (ρ) 〉 \geq - n_{ρ} for all ρ \in σ (1)} .

Local cohomology.

Using this representation of

R^{D}

, the main technical result of this paper will be a characterization in terms of simplicial cohomology of the local cohomology of

R^{D}

with respect to a monomial ideal. For any ring

S

, an ideal

B

S

and any

S

-module

F

, there is the functor

Γ_{B} F : = lim \to n Hom (S / B^{n}, F) .

The local cohomology modules

H_{B}^{i} F

are defined as the right derived functors of

Γ_{B}

and have the following characterization:

H_{B}^{i} F = lim \to n {Ext}^{i} (S / B^{n}, F) .

In general, an explicit description of the modules

H_{B}^{i} F

is very difficult. However, in our case

B

is an ideal in

k [σ M]

generated by monomials, and the modules

H_{B}^{i} R^{D}

are in a natural way

M

-graded and admit an explicit combinatorial description. For this, we construct an

M

-graded resolution of

R^{D}

(Proposition 5.1 ):

D^{\cdot} : 0 \to R^{D} \to A_{0} ⟶ A_{1} ⟶ \dots ⟶ A_{| σ (1) |} ⟶ 0,

where the

A_{i}

are

Γ_{B}

-acyclic

k [σ M]

-modules. Applying

Γ_{B}

D^{\cdot}

then yields an isomorphism

H_{B}^{i} R^{D} \sim = H^{i} (Γ_{B} D^{\cdot})

. To analyze this cohomology a bit deeper, we consider the support and cosupport of

B

. The support of

B

is defined to be set of faces

τ

σ

such that the corresponding orbit

orb (σ)

is contained in the variety

V (B)

. To introduce the cosupport, we denote

Σ

the simplex spanned by

σ (1)

, i.e. the set underlying

Σ

coincides with

σ (1)

, but we choose an order on this set, such that

Σ

becomes an oriented combinatorial simplex. Then the cosupport

Ξ_{B}

B

is the set of those

Π \subset Σ

such that the minimal face

τ

σ

where

τ (1)

contains

Π

, is not contained in the support of

B

Then

Ξ_{B}

in a natural way can be considered as a simplicial subcomplex of

Σ

. Now, for any

m \in M

, let

Σ_{m} : = {ρ \in Σ | 〈 m, n (ρ) 〉 < 0}

. Then we have for the

m

-th graded component of the complex

Γ_{B} D^{\cdot}

(Corollary 5.3 ):

{(H_{B}^{i} R^{D})}_{m} = {(H^{i} (Γ_{B} D^{\cdot}))}_{m} = {\tilde{H}}^{i - 2} (Ξ_{B} \cap Σ_{m}; k);

i.e. we identify the graded components

{(H_{B}^{i} R^{D})}_{m}

with the

(i - 2)

-th reduced cohomology of the simplicial complex

Ξ_{B} \cap Σ_{m}

. Note that this kind of identification is not new but has been applied in the literature several times to study the local cohomology of (not necessarily normal) semigroup rings (see, for instance, [GW78] , [TH86] , [Mus00] ). In fact, the constructions in this work are a quite straightforward adaption of the methods of Trung and Hoa [TH86] . The new aspect here is that we apply this technique to the study of more general

k [σ M]

-modules. We remark that local cohomology of general

M

-graded modules has been studied before (see [HM04] , [HM03] ), but here, as will be explained below, we will arrive at a more explicit combinatorial picture for the case of the modules

R^{D}

Maximal Cohen-Macaulay modules of rank one.

By a classical theorem of Hochster, the rings

k [σ M]

are Cohen-Macaulay and it is a natural problem to classify (maximal) Cohen-Macaulay modules over

k [σ M]

. Although there exists a huge amount of literature concerning the classification of MCM modules in various contexts, to my knowledge, there has not yet been done much work for the case of rings

k [σ M]

. The only references I am aware of and which are explicitly devoted to this topic, are [BG03] and [BG02] . One of the main results of [BG03] (Corollary 5.2) — from the perspective of this paper, at least — is that over a normal semigroup ring there exist only finitely many isomorphism classes of MCM modules of rank one.

However, despite of this finiteness result, it seems that a complete classification is very difficult, if not impossible, to achieve. The relevant combinatorics behind such a classification is given by the hyperplane arrangement defined by the real hyperplanes

H_{ρ} = {m \in M \otimes_{Z} R | 〈 m, n (ρ) 〉 = - n_{ρ}}

M \otimes_{Z} R

. To this hyperplane arrangement one can associate its combinatorial type which is represented by the so-called matroid of flats; this structure essentially captures the information on intersections of the hyperplanes

H_{ρ}

. It is a well-known fact that

R^{D}

is MCM if and only if

H_{m}^{i} R^{D} = 0

for all

0 \leq i < d

, where

m

is the maximal

M

-graded ideal in

k [σ M]

. So, by the results above,

R^{D}

is MCM if and only if for every subset

Π \subset Σ

such that

{\tilde{H}}^{i - 2} (Π \cap Ξ_{m}, k) \neq 0

for some

i < d

, the system of linear inequalities

\begin{matrix} 〈 m, n (ρ) 〉 & < - n_{ρ} for ρ \in Π \end{matrix}

\begin{matrix} 〈 m, n (ρ) 〉 & \geq - n_{ρ} for ρ \in Σ \ Π \end{matrix}

\begin{matrix}  \end{matrix}

has no solution in

M

. So, we can phrase the problem of classifying MCM modules of rank one over

k [σ M]

as follows. Given the matroid of flats of a hyperplane arrangement

\cup_{ρ \in Δ (1)} H_{ρ}

, then, how many possibilities are there to realize (up to translation) combinatorially equivalent hyperplane arrangements such that a certain subset of the open cells of

M_{R} \ \cup_{ρ \in Δ (1)} H_{ρ}

(and part of their boundaries, respectively) does not intersect the lattice

M

? A definitive general solution by now seems to be out of reach.

Overview of the paper.

In section 2 , we introduce some general facts and notation from toric geometry, which will be used throughout the paper. In section 3 we introduce the simplex over the set of rays of the fan

σ

and recall some elementary and basic facts on simplicial chain complexes. In section 4 we construct a class of

k [σ M]

-modules which are acyclic with respect to local cohomology functors of monomial ideals. We use these modules to construct acyclic resolutions for the modules

R^{D}

in section 5 . In that section we also characterize the graded components of local cohomology modules in terms of reduced cohomology of certain cell complexes. Section 6 presents some easy observations and examples concerning the chambers of

M_{R} \ \cup_{ρ \in Δ (1)} H_{ρ}

and the vanishing and nonvanishing of local cohomology in certain degrees. Section 7 is a short insertion to give the clear statement about the conditions on

R^{D}

to be MCM. In section 8 we collect some more facts about the depth of the modules

R^{D}

2 Toric preliminaries

General notions.

We introduce some notation from the theory of toric varieties. For general overview on toric varieties we refer to [Oda88] , [Ful93] . We will always assume that

k

is an algebraically closed field.

U_{σ}

will denote an affine toric variety over

k

defined by a strongly convex rational polyhedral cone

σ

contained in the real vector space

N_{R} \sim = N \otimes_{Z} R

over a lattice

N \sim = Z^{d}

. We always assume that

dim σ = {rk}_{Z} N

. Let

M

be the lattice dual to

N

and let

〈, 〉 : M \times N \to Z

be the canonical pairing. This pairing extends in a natural way to the scalar extensions

M_{R} : = M \otimes_{Z} R

and

N_{R}

. Elements of

M

are denoted by

m

m^{'}

, etc. if written additively, and by

χ (m)

χ (m^{'})

, etc. if written multiplicatively, i.e.

χ (m + m^{'}) = χ (m) χ (m^{'})

. The lattice

M

is identified with the group of characters of the torus

T = Hom (M, k^{*}) \sim = (k^{*})^{d}

acting on

U_{σ}

. For any cone

σ

we will use the following notation:

∙ faces of $σ$ are denoted by small Greek letters such as $ρ$ , $τ$ , etc., the natural order among faces is denoted by $ρ ≺ τ$ ;
∙ for any set $F$ of faces of $σ$ , we call the set $star (F) : = {η | τ ≺ η for some τ \in F}$ the star of $F$ ; if $star (F) = F$ , then $F$ is called star closed;
∙ $σ (1) : = {ρ ≺ σ | dim ρ = 1}$ , the faces of dimension 1, called rays; below we will often find it more convenient to denote this set $Σ$ (by abuse of notation);
∙ $n (ρ)$ denotes the primitive lattice element spanning the ray $ρ$ ;
∙ $D_{ρ}$ denotes the the irreducible $T$ -invariant Weil divisor on $U_{σ}$ associated to $ρ \in σ (1)$ ;
∙ $\overset{ˇ}{σ} : = {m \in M_{R} | 〈 m, n (ρ) 〉 \geq 0 for all ρ \in σ (1)}$ is the cone dual to $σ$ ;
∙ $σ^{⊥} = {m \in M_{R} | 〈 m, n 〉 = 0 for all n \in σ}$ ;
∙ $σ_{M} : = \overset{ˇ}{σ} \cap M$ is the subsemigroup of $M$ associated to $σ$ ;
∙ $σ_{M}^{⊥} : = σ^{⊥} \cap M$ is the unique maximal subgroup of $M$ contained in $σ_{M}$ ;
∙ the semigroup ring $k [σ M] \sim = \oplus_{m \in σ_{M}} k \cdot χ (m)$ is identified with the coordinate ring of $U_{σ}$ , and the group ring $k [M]$ is identified with the coordinate ring of $T$ ;
∙ let $τ ≺ σ$ , then $orb (τ)$ denotes the orbit associated to $τ$ in $U_{σ}$ ;
∙ let $τ ≺ σ$ , then $N_{τ}$ is $N$ intersected with the subvector space of $N$ spanned by $τ$ over $R$ , $M_{τ}$ is the dual module of $N_{τ}$ , where there is a canonical identification $M_{τ} = M / τ_{M}^{⊥}$ ; moreover, we there is the canonical splitting $M = τ_{M}^{⊥} \times M_{τ}$ ;
∙ $T_{τ}$ denotes the stabilizer subgroup of $T$ over $T_{τ}$ ; $T^{τ} : = T / T_{τ}$ , note that $T^{τ} \sim = orb (τ)$ .

Recall that dualizing

σ

via

τ \mapsto τ^{⊥} \cap \overset{ˇ}{σ}

induces an order-reversing one-to-one correspondence between faces of

σ

and faces of

\overset{ˇ}{σ}

Reflexive modules of rank one.

There exists a short exact sequence of

Z

-modules:

0 ⟶ M ⟶ Z^{σ (1)} ⟶ A_{d - 1} (U_{σ}) ⟶ 0,

where

A_{d - 1} (U_{σ})

is the

(d - 1)

-st Chow group of

U_{σ}

, i.e. the group of rational equivalence classes of Weil divisors on

U_{σ}

, and

Z^{σ (1)}

the group which is freely generated over the

T

-invariant irreducible Weil divisors of

U_{σ}

. It was observed by Reid [Rei80] that there is a one-to-one correspondence of classes

α \in A_{n - 1} (U_{σ})

and isomorphism classes of reflexive sheaves

O (D)

of rank one over

U_{σ}

, where

D

is some representative for

α

. Every reflexive module of rank one over

k [σ M]

is isomorphic to

Γ (U_{σ}, O (D))

for some Weil divisor

D

, and in fact, there is a one-to-one correspondence between rational equivalence classes of Weil divisors and reflexive

k [σ M]

-modules of rank one. The above short exact sequence implies that every class

α

can be represented by a

T

-invariant Weil divisor

D = D_{\underset{̲}{n}}

, where

\underset{̲}{n} = (n_{ρ}) \in Z^{σ (1)}

and

D = \sum_{ρ \in σ (1)} n_{ρ} D_{ρ}

. By

T

-invariance, to

D

there corresponds a reflexive

k [σ M]

-module of rank one, denoted

R^{D}

, which has a natural

M

-graded structure together with a natural

M

-graded embedding

R^{D} ↪ k [M]

. Namely, denote

M_{ρ}^{D} : = {m \in M | 〈 m, n (ρ) 〉 \geq - n_{ρ}}

, which corresponds to the shifted half space

ρ_{M} + m

, where

m \in M

such that

〈 m, n (ρ) 〉 = - n_{ρ}

. We define

M^{D} : = \cap_{ρ \in σ (1)} M_{ρ}^{D}

, then

R^{D} : = k [M^{D}]

is a well-defined

M

-graded reflexive

k [σ M]

-submodule of

k [M]

Monomial ideals.

Let

I \subset σ_{M}

be a semigroup ideal, then

B : = \oplus_{m \in I} k \cdot χ (m)

is an ideal in

k [σ M]

On the other hand, for every

M

-graded ideal

B

the set

I = {m | B_{m} \neq 0}

forms a semigroup ideal in

σ_{M}

. We call the class of ideals coming from semigroup ideals the monomial ideals.

Definition 2.1: Let

B

be a monomial ideal, then its support is defined as

supp (B) : = {τ ≺ σ | I \cap τ^{⊥} \cap \overset{ˇ}{σ} = \emptyset} .

Note that

supp (B)

is star-closed and the variety

V (B)

coincides with

\cup_{τ \in supp (B)} orb (τ)

\subset U_{σ}

. Moreover, in the particular case where

B

is the unique maximal homogeneous ideal of

k [σ M]

, we have

supp (B) = {σ}

and

V (B) = orb (σ)

3 The simplex spanned by $σ$

We denote

Σ

the simplex spanned by

σ

, i.e. the set underlying

Σ

coincides with

σ (1)

, but we choose a total ordering on the elements of

Σ

, i.e.

Σ = {ρ_{1} < ρ_{2} < \dots < ρ_{n}}

. Any subset

Π \subset σ (1)

corresponds to a face of

Σ

with orientation induced by the ordering of

Σ

. In what follows we will find it convenient to identify

σ (1)

and

Σ

as sets and to write

Σ

instead of

σ (1)

For any

Π \subseteq Σ

with

| Π | = r

, we consider the augmented cochain complex:

Φ_{Π} : 0 ⟶ Z ⟶ Φ_{- 1} \oplus_{ρ \in Π} Z \cdot ρ ⟶ Φ_{0} \oplus_{Γ \subset Π | Γ | = 2} Z \cdot Γ ⟶ Φ_{1} \dots ⟶ Φ_{r - 1} Z \cdot Π ⟶ 0,

which is an exact sequence of

Z

-modules, as

Π

is contractible. To avoid to mention the case

Π = \emptyset

repeatedly as a special case in exactness arguments, we adopt the convention that for

Π = \emptyset

the corresponding augmented cochain complex is

0 \to Z \to Z \to Φ_{- 1} 0

For any two subsets

Π \subset ϒ \subset Σ

, the canonical projections

\oplus_{Γ \subset ϒ | Γ | = i} Z \cdot Γ ↠ \oplus_{Γ \subset Π | Γ | = i} Z \cdot Γ

for every

i = 1, . . ., | ϒ |

, induce a surjective chain map

Φ_{ϒ} ↠ Φ_{Π}

Definition 3.1: Let

Π \subset Σ

, then we denote

τ_{Π} : = min {τ ≺ σ | Π \subset τ (1)},

i.e.

τ_{Π}

is the minimal face of

σ

such that

Π \subset τ (1)

. If

Π = \emptyset

, then

τ_{Π}

is the zero cone.

Definition 3.2: Let

F

be any set of faces of

σ

, then we set

Ξ_{F} : = {Π \subset Σ | τ_{Π} / \in star (F)},

which we consider as a simplical subcomplex of

Σ

. If

F = {τ}

for some

τ ≺ σ

, then we write

Ξ_{τ}

instead of

Ξ_{{τ}}

, and we denote

Ξ_{σ}

simply by

Ξ

. If

B \subset k [σ M]

is a monomial ideal and

F = supp (B)

, then we also write

Ξ_{B}

instead of

Ξ_{supp (B)}

Ξ_{B}

is called the cosupport of

B

Σ

Clearly, for every

ϒ \subset Π \subset Σ

Π \in Ξ_{F}

implies

ϒ \in Ξ_{F}

, and

Ξ_{F}

is a simplicial subcomplex of

Σ

Now let

Π \subset Σ

be any subset which we consider as subsimplex and let

F

any set of faces of

σ

, then we set

Π \cap Ξ_{F} : = {ϒ | ϒ \subset Π and ϒ \in Ξ_{F}}

, which is a subcomplex of both

Π

and

Ξ_{F}

. Therefore there exists a subcomplex

Φ_{Π, Ξ_{F}}

Φ_{Π}

which is build of the terms

Φ_{Π, Ξ_{F}}^{i} : = \oplus_{Γ \subset Π \cap Ξ_{F} | Π | = i} Z \cdot Γ,

The relative reduced cohomology

{\tilde{H}}^{\cdot} (Π, Π \cap Ξ_{F}; Z)

then is the homology of the quotient complex

Φ_{Π} / Φ_{Π, Ξ_{F}}

. Note that because

Π

is contractible, there are isomorphisms

{\tilde{H}}^{i} (Π, Π \cap Ξ_{F}; Z) \sim = {\tilde{H}}^{i - 1} (Π \cap Ξ_{F}; Z)

for every

i \in Z

. Likewise, for our chosen field

k

, we obtain the relative reduced cohomology with coefficients in

k

as the homology of

Φ_{Π} \otimes_{Z} k / (Φ_{Π, Ξ_{F}} \otimes_{Z} k)

and

{\tilde{H}}^{i} (Π, Π \cap Ξ_{F}; k) \sim = {\tilde{H}}^{i - 1} (Π \cap Ξ_{F}; k)

for every

i \in Z

4 $Γ_{B}$ -Acyclic Modules

Definition 4.1: Let

Π \subset Σ

be a nonempty subset, then we set

H_{Π}^{D} : = M \ ⋃_{ρ \in Π} M_{ρ}^{D}

and define

k [H_{Π}^{D}] : = coker (\oplus_{ρ \in Π} k [M_{ρ}^{D}] ⟶ k [M]) .

In the special case where

Π = {ρ}

, we write

H_{ρ}^{D}

and

k [H_{ρ}^{D}]

, respectively.

Clearly, we have

H_{Π}^{D} = \cap_{ρ \in Π} H_{ρ}^{D}

and

k [H_{Π}^{D}] = \oplus_{m \in H_{Π}^{D}} k \cdot χ (m)

k [σ M]

-module.

Let

ρ \in Σ

and any

m \in H_{ρ}^{D}

, then for any subset

M^{'} \subset ρ_{M}^{⊥}

the set

m + M^{'}

is contained in

H_{ρ}^{D}

. This is in particular true when

M^{'}

is a subgroup of

ρ_{M}^{⊥}

. Thus the following lemma is immediate:

Lemma 4.2: Let

M^{'} \subset M

be any subgroup and

Π \subset Σ

. Then for any

m \in H_{Π}^{D}

the set

m + M^{'}

is contained in

H_{Π}^{D}

if and only if

M^{'} \subset \cap_{ρ \in Π} ρ_{M}^{⊥}

Proposition 4.3: Let

B \subset k [σ M]

be a monomial ideal,

D \in Z^{σ (1)}

and

Π \subseteq Σ

, then:

(i) $Γ_{B} k [H_{Π}^{D}] = {\begin{matrix} k [H_{Π}^{D}] & if Π ⊄ Ξ_{B} \\ 0 & else . \end{matrix}$
(ii) The module $k [H_{Π}^{D}]$ is $Γ_{B}$ -acyclic.

Proof. Let first $Π \subset Ξ_{B}$ , such that $τ_{Π} / \in supp (B)$ . So there exists an integral element $m$ in the relative interior of $τ_{Π}^{⊥} \cap σ$ such that the monomial $χ (m)$ is contained in $B$ .
As the group $M^{'} : = \cap_{ρ \in Π} σ_{M}^{⊥}$ contains $τ_{Π}^{⊥} \cap σ_{M}$ (note that $τ_{Π}^{⊥} \cap σ_{M} = M^{'} \cap σ_{M}$ ) and thus $m \in M^{'}$ , we have $m + M^{'} = M^{'}$ . This implies that any power of $χ (m)$ is a nonzero divisor of the module $k [H_{Π}^{D}]$ , and moreover, multiplication by $χ (m)$ even represents an automorphism of the module $k [H_{Π}^{D}]$ . So, any power of $χ (m)$ also acts as an automorphism on the local cohomology modules $H_{B}^{i} k [H_{Π}^{D}]$ for every $i \geq 0$ . But because the (ring theoretic) support of $k [H_{Π}^{D}]$ is contained in the support of $B$ , for every element $x \in H_{B}^{i} k [H_{Π}^{D}]$ there exists some $n > 0$ such that $χ (m)^{n} x = 0$ , hence $H_{B}^{i} k [H_{Π}^{D}] = 0$ for every $i \geq 0$ . So for $Π \subset Ξ_{B}$ , ( i ) and ( ii ) are true.
Now consider the case $Π ⊄ Ξ_{B}$ , i.e $τ_{Π} \in supp (B)$ . In that case, $B$ contains no monomial whose degree is contained in $τ_{Π}^{⊥} \cap σ_{M}$ , and thus not in $M^{'}$ , so for every $x \in k [H_{Π}^{D}]$ , there exists some $n > 0$ such that $B^{n} x = 0$ . So, the support of $k [H_{Π}^{D}]$ is contained in the support of $B$ , and thus $Γ_{B} k [H_{Π}^{D}] = k [H_{Π}^{D}]$ and $H_{B}^{i} k [H_{Π}^{D}] = 0$ for every $i > 0$ .

5 A $Γ_{B}$ -Acyclic Resolution

Let

m \in M

and define

Σ_{m} : = {ρ \in Σ | m \in H_{ρ}^{D}}

. Then we can consider the exact sequence

Φ_{Σ_{m}}

, respectively

Φ_{Σ_{m}} \otimes_{Z} k

. For every

- 1 \leq i \leq | Σ_{m} |

, we can identify the vector space at the

i

-th position of the complex

Φ_{Σ_{m}} \otimes_{Z} k

as follows:

\oplus_{Π \subset Σ_{m} | Π | = i} k \cdot Π \sim = {(\oplus_{Π \subset Σ_{m} | Π | = i} k [H_{Π}^{D}])}_{m}

With this identification for every

m \in M

, we obtain an exact sequence of vector spaces:

D^{\cdot} : 0 \to R^{D} \to k [M] \to Φ_{0} \oplus_{ρ \in Σ} k [H_{ρ}^{D}] \to Φ_{1} \oplus_{Π \subset Σ | Σ | = 2} k [H_{Π}^{D}] \to Φ_{2} \dots \to Φ_{n - 1} k [H_{Σ}^{D}] \to 0,

where the maps

Φ_{i}

are given by the direct sum of the cochain maps of the complexes

Φ_{Σ_{m}}

for every

m \in M

Proposition 5.1: For any monomial ideal

B \subset k [σ M]

, the complex

D^{\cdot}

is a

Γ_{B}

-acyclic resolution of

R^{D}

Proof. The exactness of $D^{\cdot}$ already follows from its exactness as complex of $k$ -vector spaces. The $Γ_{B}$ -acyclicity of the $k [H_{Π}^{D}]$ has already been considered in the previous section, so it remains only to show that $D^{\cdot}$ indeed is a complex of $k [σ M]$ -modules. For this, by $k$ -linearity it suffices to show that $Φ_{i} \circ χ (m) = χ (m) \circ Φ_{i}$ for any $- 1 \leq i \leq | Σ |$ and $m \in σ_{M}$ , where $χ (m)$ is considered as $k$ -linear homomorphism. Consider any $m^{'} \in M$ , then we have inclusions $Σ_{m^{'} + m} \subset Σ_{m^{'}} \subset Σ$ , and we observe that multiplication with $χ (m)$ just results in the chain map $Φ_{Σ_{m^{'}}} \otimes_{Z} k ↠ Φ_{Σ_{m + m^{'}}} \otimes_{Z} k$ , which yields the desired result.

We define

D_{Ξ_{B}}^{\cdot}

as the subcomplex of

D^{\cdot}

which is build of the terms

D_{Ξ_{B}}^{i} : = \oplus_{Γ \subset Π \cap Ξ_{B} | Π | = i} k [H_{Γ}^{D}] .

It is straightforward to see that degree-wise, for every

m \in M

, this complex coincides with the complex

Φ_{Σ_{m}, Ξ_{B}} \otimes_{Z} k

Proposition 5.2:

H_{B}^{i} R^{D} = H^{i} (D^{\cdot} / D_{Ξ_{B}}^{\cdot})

for every

i \geq 0

Proof. Because $D^{\cdot}$ is acyclic, we have that $H_{B}^{i} R^{D} = H^{i} (Γ_{B} (D^{\cdot}))$ . By proposition 4.3 , ( ii ), $Γ_{B} (k [H_{Π}^{D}]) = 0$ if $Π \subset Ξ_{B}$ and $Γ_{B} k [H_{Π}^{D}] = k [H_{Π}^{D}]$ if $Π ⊄ Ξ_{B}$ , so the claim follows.

Corollary 5.3: For every

m \in M

and every

i \geq 0

{(H_{B}^{i} R^{D})}_{m} = {\tilde{H}}^{i - 2} (Ξ_{B} \cap Σ_{m}; k) .

Proof. Degreewise, for every $m \in M$ , the complex $D^{\cdot} / D_{Ξ_{B}}^{\cdot}$ is the augmented complex of relative cohomology with coefficients in $k$ of the pair $(Σ_{m}, Ξ_{B} \cap Σ_{m})$ , shifted by 1.
So, in every degree, we have an identification of the cohomology groups ${(H^{i} R^{D})}_{m} = {\tilde{H}}^{i - 1} (Σ_{m}, Ξ_{B} \cap Σ_{m}; k)$ . Evaluating the long exact cohomology sequence, using that ${\tilde{H}}^{i} (Σ_{m}; k) = 0$ for all $i \in Z$ , we obtain that ${\tilde{H}}^{i - 1} (Σ_{m}, Ξ_{B} \cap Σ_{m}; k) \sim = {\tilde{H}}^{i - 2} (Ξ_{B} \cap Σ_{m}; k)$ for every $i \in Z$ .

6 The Chambers in $M_{R}$ Determined by $R^{D}$

In this section we assume the divisor

D = \sum_{ρ \in Σ} n_{ρ} D_{ρ}

to be fixed, except where explicitly stated otherwise. For understanding the local cohomology modules

H_{B}^{i} R^{D}

, it is important to know whether for some

Π \subset Σ

a system of inequalities

\begin{matrix} 〈 m, n (ρ) 〉 & < - n_{ρ}, for ρ \in Π \end{matrix}

\begin{matrix} 〈 m, n (ρ) 〉 & \geq - n_{ρ}, for ρ \in Σ \ Π \end{matrix}

\begin{matrix}  \end{matrix}

has integral solutions or not. For every

ρ \in Σ

, the linear equation

〈 m, n (ρ) 〉 = - n (ρ)

defines a hyperplane

H_{ρ}

M

, and the set of hyperplanes

H_{ρ}

ρ \in Σ

forms a hyperplane arrangement in

M_{R}

. The set of inequalities above determines a chamber

C_{Π}^{s s}

in the complement of this hyperplane arrangement, i.e., if nonempty, the closure of the set of points

m

fulfilling these inequalities form a polyhedron bounded by the hyperplanes

H_{ρ}

To be more precise, we define

C_{Π}^{s}

to be the set of points fulfilling the strict inequalities

\begin{matrix} 〈 m, n (ρ) 〉 & < - n_{ρ}, for ρ \in Π \end{matrix}

\begin{matrix} 〈 m, n (ρ) 〉 & > - n_{ρ}, for ρ \in Σ \ Π \end{matrix}

\begin{matrix}  \end{matrix}

and

C_{Π}

analogously, but allowing equality in both types of equations. Note that 'ss' above stands for semi-strict inequalities. Moreover, note that we have for simpler notation omitted any reference to the divisor

D

. The complement

M_{R} \ \cup_{ρ \in Σ} H_{ρ}

then equals the set

\cup_{Π \subset Σ} C_{Π}^{s}

. We have the following:

Lemma 6.1: The chambers

C_{Π}^{s s}

and

C_{Π}^{s}

are in one-to-one correspondence.

Proof. We show that if some point $m$ is contained in $C_{Π}^{s}$ , then there exists a point $m^{'}$ which is contained in $C_{Π}^{s s}$ , and vice versa. Let first $m \in C_{Π}^{s}$ for some $Π \subset Σ$ , then it is clearly contained in $C_{Π}^{s s}$ . Now let $m \in C_{Π}^{s s}$ for some $Π \subset Σ$ . Let $Γ \subset Σ \ Π$ given by precisely those $ρ$ such that $〈 m, n (ρ) 〉 = 0$ . Now, as the strict inequalities form an open condition, we can choose an $ε$ -neighbourhood $U_{ε} (m)$ in $M_{R}$ such that for all points $x \in U_{ε} (m)$ the same strict inequalities hold as for $m$ . Now, the inequalities $〈 m, n (ρ) 〉 \geq 0$ for $ρ \in Γ$ determine a convex, unbounded, polyhedron in $M_{R}$ which is not contained in a proper subspace of $M_{R}$ , and $m$ is located in its boundary. Thus $U_{ε} (m)$ must intersect the interior of this polyhedron, and we can choose some $m^{'}$ from the intersection of $U_{ε}$ and the interior of the polyhedron. Then it follows that $m^{'} \in C_{Π}^{s}$ .

To better understand the chambers type

C_{Π}^{s s}

, we have also to consider the chambers of type

C_{Π}

, which are closed polyhedra in

M_{R}

. Denote

σ_{Π}

the convex polyhedral cone generated over

R_{\geq 0}

by the lattice vectors

- n (ρ)

for

ρ \in Π

and by

n (ρ)

for

ρ \in Σ \ Π

Then every

C_{Π}

can be written as Minkowski sum

P_{Π} + {\overset{ˇ}{σ}}_{Π}

, where

P_{Π}

is a compact polyhedron and

{\overset{ˇ}{σ}}_{Π}

is the dual cone of

σ_{Π}

. Our first observation is that the polyhedra

C_{Π}

do not have lineality spaces (see also [Zie95] , §1.5):

Lemma 6.2: The cones

σ_{Π}

have dimension

d

N_{R}

Proof. Assume the vectors $- n (ρ)$ for $ρ \in Π$ and $n (ρ)$ for $ρ \in Σ \ Π$ span a proper subvector space of $N_{R}$ , then also the vectors $n (ρ)$ , for $ρ \in Σ$ , span a proper subvector space, but this is not possible, since $dim σ = d$ .

So, the cone

{\overset{ˇ}{σ}}_{Π}

can be identified with the recession cone (sometimes also called the characteristic cone) of the polyhedron

C_{Π}

. In general,

{\overset{ˇ}{σ}}_{Π}

is not

d

-dimensional.

{\overset{ˇ}{σ}}_{Π}

being

d

-dimensional is equivalent to that

σ_{Π}

does not contain a nonzero subvector space of

N_{R}

. A general criterion for

σ_{Π}

not containing a nonzero subvector space is obtained by checking the intersection of the two cones

σ_{Π}^{1}

and

σ_{Π}^{2}

, where

σ_{1}

is spanned over

R_{\geq 0}

n (ρ)

ρ \in Π

and

σ_{2}

is spanned over

R_{\geq 0}

n (ρ)

ρ \in Σ \ Π

Lemma 6.3:

σ_{Π}

contains a nonzero subvector space if and only if

σ_{Π}^{1} \cap σ_{Π}^{2} \neq {0}

Proof. Assume first that $σ_{Π}$ contains a nonzero subvector space $V$ and let $n \in V$ . Then we can write $n = \sum_{ρ \in Π} α_{ρ} (- n (ρ)) + \sum_{ρ \in Σ \ Π} β_{ρ} n (ρ)$ , where $α_{ρ}, β_{ρ} \geq 0$ . Because also $- n \in V$ , we have $- n = \sum_{ρ \in Π} γ_{ρ} (- n (ρ)) + \sum_{ρ \in Σ \ Π} δ_{ρ} n (ρ)$ , for $γ_{ρ}, δ_{ρ} \geq 0$ .
Summing up, we obtain $n - n = 0 = \sum_{ρ \in Π} (α_{ρ} + γ_{ρ}) (- n (ρ)) + \sum_{ρ \in Σ \ Π} (β_{ρ} + δ_{ρ}) n (ρ)$ where not all of the $α_{ρ}$ , $γ_{ρ}$ and not all of the $β_{ρ}$ , $δ_{ρ}$ are zero, and thus the nonzero element $\sum_{ρ \in Π} (α_{ρ} + γ_{ρ}) n (ρ) = \sum_{ρ \in Σ \ Π} (β_{ρ} + δ_{ρ}) n (ρ)$ is contained in $σ_{Π}^{1}$ and $σ_{Π}^{2}$ . In the other direction, let $0 \neq n \in σ_{Π}^{1} \cap σ_{Π}^{2}$ , i.e. $n = \sum_{ρ \in Π} α_{ρ} n (ρ) = \sum_{ρ \in Σ \ Π} β_{ρ} n (ρ)$ , where $α_{ρ}, β_{ρ} \geq 0$ not all zero. Then $n \in σ_{Π}$ and $- n = \sum_{ρ \in Π} α_{ρ} (- n (ρ)) \in σ_{Π}$ and thus $σ_{Π}$ contains the subvector space spanned by $n$ .

It would be nice if one could determine the dimension of the recession cone solely by the combinatorics involved with the

Π

s, but in general this seems not to be possible, as example 6.9 below will show. However, at least in the two extremal cases there are some tools available. For the case of vanishing recession cones, the corresponding chambers

C_{Π}^{s}

are bounded, and these bounded chambers can at least be counted by means of the matroid of flats associated to the hyperplane arrangement

\cup_{ρ \in Σ} H_{ρ}

. For this, we refer to the book [BLS + 93] , chapter 4, in particular Corollary 4.6.8. The theory developed there also yields a formula for counting all chambers

C_{Π}^{s}

. The other extremal case is that of the recession cone

{\overset{ˇ}{σ}}_{Π}

having dimension

d

. For these we can make use of the connection to local cohomology as developed in the previous sections.

Proposition 6.4: Let

{\overset{ˇ}{σ}}_{Π}

d

-dimensional. Then either

Π = Σ

Π \cap Ξ

is contractible.

Proof. First note that $Π = Σ$ , then $σ_{Π}$ is just the negative cone of $σ$ , so we may assume that $Π \neq Σ$ . Let ${\overset{ˇ}{σ}}_{Π}$ be $d$ -dimensional and assume that $D = 0$ , i.e. $R^{D} = k [σ M]$ .
Then the corresponding hyperplane arrangement $\cup_{ρ \in Σ} H_{ρ}$ is a central arrangement and the interior of ${\overset{ˇ}{σ}}_{Π}$ coincides with the chamber $C_{Π}^{s}$ in the complement of this arrangement, which therefore is nonempty. Moreover, $C_{Π}^{s}$ has nonempty intersection with $M$ . Choosing some $m \in M \cap C_{Π}^{s}$ , we can compute the local cohomology $H_{m}^{i} k [σ M]$ in degree $m$ , where $m$ is the maximal homogeneous ideal of $k [σ M]$ . A well-known result states that the ring $k [σ M]$ is Cohen-Macaulay, and thus all these local cohomology modules for $0 \leq i < d$ vanish. This in particular implies by Corollary 5.3 that the reduced cohomology groups ${\tilde{H}}^{i - 2} (Π \cap Ξ, k)$ vanish for $0 \leq i < d$ . So, because $Π \neq Σ$ , this implies that $Π \cap Ξ$ is a contractible topological space.

The case $d = 3$ .

We show that in the case

d = 3

, there are possible only two types of recession cones

σ_{Π}

, namely either

σ_{Π}

is strictly convex, or

σ_{Π} = N_{R}

. For

d = 3

, the cell complex

Ξ

is a topological 1-dimensional sphere which can explicitly be realized as follows. Choose a hyperplane

H

N_{R}

such that

σ \cap H = : P

is a bounded polyhedron. Then the vertices of

P

are given by

H \cap ρ

and the facets of

P

coincide with the facets of

σ

intersected with

H

. The set

Ξ

then is geometrically realized as the union of all

1

and

2

-dimensional faces of

σ

intersected with

H

, i.e.,

Ξ

has an explicit realization as the boundary of a convex polytope in the plane

H

. Moreover,

Π \neq Σ

can be identified with a union of closed intervals in

Ξ

. It is straightforward to see that the two cones

σ_{Π}^{1}

and

σ_{Π}^{2}

intersect nontrivially if and only if the sets

P_{1}

P_{2}

intersect, where

P_{1}

and

P_{2}

are convex hulls of the points

ρ \cap H

ρ \in Π

and of the points

ρ \cap H

ρ \in Σ \ Π

, respectively. We have the following

Proposition 6.5: The cones

σ_{Π}^{1}

and

σ_{Π}^{2}

intersect nontrivially if and only if

Π

consists of more than one interval. In that case

σ_{Π} = N_{R}

Proof. First note that, because $Ξ$ is a circle, $Π$ consists of as many intervals as $Σ \ Π$ .
It follows from elementary geometric considerations that in the case $Π$ consists of one interval, the polytopes $P_{1}$ and $P_{2}$ can not intersect, and in the case where $Π$ consists of more than one interval, one can choose vertices $p_{1}, p_{2} \in P_{1}$ and $q_{1}, q_{2} \in P_{2}$ such that the lines $l_{1} = p_{1} + r (p_{2} - p_{1}), r \in R$ , $l_{2} = q_{1} + s (q_{2} - q_{1}), s \in R$ , intersect in some point $a$ different from $p_{1}, p_{2}, q_{1}, q_{2}$ . By arguments used before, this implies that $σ_{Π}$ contains the subvector space spanned by $a$ , and because $a$ lies in the relative interior of the cone spanned by $q_{1}, q_{2}$ , $σ_{Π}$ also contains the 2-dimensional vector space spanned by $q_{1}, q_{2}$ over $R$ . Moreover, the points $p_{1}$ , $p_{2}$ are contained respectively on both, the positive and the negative side of this vector space, so $σ_{Π} = N_{R}$ .

Now we can prove:

Theorem 6.6: In the case

d = 3

, for

Π \subset Σ

, there are the following possibilities:

(i) ${\tilde{H}}^{0} (Π \cap Ξ, k) = 0$ and $C_{Π}$ has $d$ -dimensional recession cone $σ_{Π}$ ,
(ii) ${\tilde{H}}^{0} (Π \cap Ξ, k) \neq 0$ and $C_{Π}^{s s}$ is either bounded or empty.

Proof. We only observe that for $Π \neq Σ$ , ${\tilde{H}}^{0} (Π \cap ξ, k) = 0$ is equivalent to that $Π$ is contractible and apply propositions 6.4 and 6.5 .

We give the easiest example for the case

d = 3

Example 6.7: Let

σ

be spanned over

R_{\geq 0}

by the primitive vectors

n_{1} = (1, 0, 0)

n_{2} = (0, 1, 0)

n_{3} = (- 1, 1, 1)

n_{4} = (0, 0, 1)

and we consider the divisor

D = - k D_{2}

for some

k > 0

. For simplicity, we write here and in the examples below

n_{i}

instead of

n (ρ_{i})

and

D_{i}

instead of

D_{ρ_{i}}

. The hyperplane arrangement determined by

D

realizes precisely 15 nonempty chambers out of 16 possible choices

Π \subset Σ

, with a unique bounded chamber for

Π = {ρ_{1}, ρ_{3}}

. We have

dim {\tilde{H}}^{0} (Π \cap Ξ, k) = 1

, and so the local cohomology module

H_{p_{σ}}^{2} R^{D}

does not vanish if

C_{Π}^{s s} \cap M \neq \emptyset

. This is the case for every

k > 1

. For

k = 1

, the

C_{Π}^{s s} \cap M = \emptyset

, and thus

R^{D}

is a Cohen-Macaulay module. We obtain another Cohen-Macaulay module by analogous considerations for

D = - D_{1}

, where this time the unique bound chamber is realized for

Π = {ρ_{2}, ρ_{3}}

. Altogether, in this example there are three isomorphism classes of maximal Cohen-Macaulay modules, represented by

k [σ M]

itself,

R^{- D_{1}}

, and

R^{- D_{2}}

We conclude that in the case

d = 3

, for computing local cohomology of the modules

R^{D}

it suffices to check the disconnected subsets

Π \subset Σ

. In general, this may not be so simple, as we will see in the following examples. The first example shows that even for topologically nontrivial

Π

, in general, the chamber

C_{Π}^{s s}

must not be bounded.

Example 6.8: Let

σ

be spanned over

R_{\geq 0}

by the primitive vectors

n_{1} = (1, 0, 0, 0)

n_{2} = (0, 1, 0, 0)

n_{3} = (- 1, 1, 1, 0)

n_{4} = (0, 0, 1, 0)

n_{5} = (0, 0, 0, 1)

. This is the cone from the previous example extended by one ray in four-dimensional direction. We choose

D = - k D_{2}

for some

k > 0

, and it is straightforward to see that, because

n_{5}

is orthogonal to the other

n_{i}

, the number of chambers is double the number of chambers of the previous example. Moreover, it is easy to see that this time there are no bounded chambers, but still, for

Π : = {ρ_{1}, ρ_{4}}

, we have that

Π \cap Ξ

consists of two points, and hence

dim {\tilde{H}}^{0} (Π \cap Ξ, k) = 1

The next example shows that the contractibility of

Π

does not imply that the recession cone

σ_{Π}

is strictly convex. Moreover, the example shows that the strict convexity of

σ_{Π}

can not depend on the combinatorics of

Π

in a simple way, but also depends on the concrete embedding of the cone

σ

N_{R}

Example 6.9: Consider the four-dimensional cone

σ

spanned by

n_{1} = (0, 0, 0, 1)

n_{2} = (1, 0, 0, 1)

n_{3} = (0, 1, 0, 1)

n_{4} = (0, 0, 1, 1)

n_{5} = (1, 1, 0, 1)

n_{6} = (1, 0, 1, 1)

n_{7} = (0, 1, 1, 1)

n_{8} = (1, 1, 1, 1)

, i.e.

σ

is spanned over the three-dimensional unit cube shifted to the hyperplane

x_{4} = 1

. Set

Π : = {ρ_{1}, ρ_{3}, ρ_{4}, ρ_{6}}

. Then

Π \cap Ξ

is contractible and we have

{\tilde{H}}^{i} (Π \cap Ξ, k) = 0

for all

i

. But, we have

n_{3} + n_{6} = n_{2} + n_{7}

, so the cones

σ_{Π}^{1}

and

σ_{Π}^{2}

intersect, and the recession cone

{\overset{ˇ}{σ}}_{Π}

is of dimension smaller than

4

Now consider the cone

σ^{'}

which is spanned by the same

n_{1}, . . ., n_{8}

σ

, except that

n_{4}

and

n_{6}

are replaced by

n_{4}^{'} = (0, - 1, 1, 1)

and

n_{6}^{'} = (1, - 1, 1, 1)

σ^{'}

is combinatorially equivalent to

σ

, but by straightforward computation one finds that

(σ^{'})^{1}

and

(σ^{'})^{2}

do not intersect, and thus

{\overset{ˇ}{σ}}_{Π}

is a

d

-dimensional recession cone of

C_{Π}

and thus

C_{Π}^{s s}

is nonempty for every module

R^{D}

over

k [σ_{M}^{'}]

7 Maximal Cohen-Macaulay Modules of Rank One

By the results of section 5 , the problem of classifying maximal Cohen-Macaulay modules (MCMs) of rank one now has essentially become a problem of integer programming.

To see this more clearly, let us reformulate the results for this case. For

R^{D}

being an MCM is equivalent to that all local cohomology modules

H_{m}^{i} R^{D}

vanish for

i < d

, where

m

is the maximal homogeneous ideal of

k [σ M]

. This in particular is equivalent to the vanishing of the cohomology groups

{\tilde{H}}^{i - 2} (Σ_{m} \cap Ξ, k)

for every

i < d

and every

m \in M

Now, as we have seen in example 6.7 , not every

Π

such that

C_{Π}^{s s}

is nonempty in

M_{R}

equals

Σ_{m}

for some

m \in M

, i.e. not every

C_{Π}^{s s}

has nonempty intersection with

M

although it is realized in the complement of the arrangement

\cup_{ρ \in Σ} H_{ρ}

. So let us state the MCM-condition for

R^{D}

as a theorem:

Theorem 7.1:

R^{D}

is an MCM if and only if for every

Π \subset Σ

one of the following two conditions holds:

(i) ${\tilde{H}}^{i - 2} (Π \cap Ξ, k) = 0$ for all $i < d$ ,
(ii) ${\tilde{H}}^{i - 2} (Π \cap Ξ, k) \neq 0$ for some $i < d$ and the chamber $C_{Π}^{s s}$ is either empty or has empty intersection with $M$ .

We also state another, equivalent formulation:

Theorem 7.2:

R^{D}

is an MCM if and only if for every

Π \subset Σ

one of the following two conditions holds:

(i) ${\tilde{H}}^{i - 2} (Π \cap Ξ, k) = 0$ for all $i < d$ ,
(ii) ${\tilde{H}}^{i - 2} (Π \cap Ξ, k) \neq 0$ for some $i < d$ and the system of inequalities

$\begin{matrix} 〈 m, n (ρ) 〉 & < - n_{ρ} for ρ \in Π \end{matrix}$

$\begin{matrix} 〈 m, n (ρ) 〉 & \geq - n_{ρ} for ρ \in Σ \ Π \end{matrix}$

$\begin{matrix} \end{matrix}$

has no integral solution.

One can relate the classification problem for MCMs of rank one to the problem of understanding hyperplane arrangements in

M_{R}

induced by the hyperplanes

H_{ρ}

, which are shifts of hyperplanes

ρ^{⊥}

corresponding to some cone

σ \in N_{R}

(such that, in particular, the hyperplanes

H_{ρ}

are rational). If one fixes the combinatorial type of the hyperplane arrangement

\cup_{ρ \in Σ} H_{ρ}

, say, its matroid of flats, then, in how many ways can this hyperplane arrangement be realized by shifting hyperplanes

H_{ρ}

, while keeping the combinatorial type, such that the cells

C_{Π}^{s s}

with some nonvanishing cohomology group do not intersect

M

8 Singularity Sets

In order to actually proof that some module

R^{D}

is an MCM, one effectively has to check the inequalities of theorem 7.2 for nearly all possible sets

Π \subset Σ

which in general is a quite expensive task. In practice, however, it might be a better strategy to check that some given

R^{D}

is not an MCM. In the rest of this paper we will collect some general results which can be helpful for this purpose.

We introduce the notion of singularity sets; for the general theory of singularity sets and their relation to local cohomology we refer to the book [ST71] . For a variety

X

over some algebraically closed field

k

and some coherent sheaf

ℱ

, the singularity sets of

ℱ

are defined for integers

i \geq 0

S_{i} (ℱ) : = {x \in X | {depth}_{O_{X, x}} ℱ_{x} \leq i},

i.e. the set of points

x

X

such that the depth of the stalk

ℱ_{x}

does not exceed

i

The sets

S_{i} (ℱ)

are closed subsets of

X

and every coherent sheaf defines a filtration of

X

by closed subsets

\emptyset \subset S_{0} (ℱ) \subset \dots \subset S_{i} (ℱ) \subset \dots = X

. This filtration of course becomes stationary for

i \geq dim X

with

S_{dim X} (ℱ) = X

. We are only interested in the situation where

X = U_{σ}

is an affine toric variety and

ℱ = O (D)

, i.e. the sheafification of the module

R^{D}

over

U_{σ}

. Because

D

T

-invariant, the depth of

O (D)_{x}

remains constant over every orbit

orb (τ) \subset U_{σ}

. For

τ ≺ σ

, he restriction

Γ (U_{σ}, O (D)) \to Γ (U_{τ}, O (D))

corresponds to the localization

R^{D} \to R_{χ (m_{τ})}^{D}

, where

m_{τ}

is a lattice element from the relative interior of the cone

τ^{⊥} \cap \overset{ˇ}{σ}

; in particular,

k [τ_{M}] = k [σ M]_{χ (m_{τ})}

Denote

τ_{M_{τ}} : = τ_{M} \cap M_{τ}

, then the semigroup

τ_{M}

splits into a cartesian product

τ_{M} = τ_{M}^{⊥} \times τ_{M_{τ}}

. Correspondingly, the affine toric variety

U_{τ}

splits into the cartesian product

T^{τ} \times U_{τ}^{'}

, where

U_{τ}^{'} = spec k [τ_{M_{τ}}]

is an affine toric variety of dimension

d - codim τ

. The corresponding projection

p : U_{τ} ↠ U_{τ}^{'}

is a flat morphism. The following is a well-known fact on equivariant sheaves or

M

-graded modules, respectively, which we present without proof.

Proposition 8.1: Every

T

-equivariant coherent sheaf

ℰ

over

U_{τ}

is isomorphic to

p^{*} ℰ^{'}

for some

T^{σ}

-equivariant sheaf

ℰ^{'}

over

U_{τ}^{'}

. Equivalently, every finitely generated

M

-graded

k [τ_{M}]

-module

E

is isomorphic to

E^{'} \otimes_{k [τ_{M}^{'}]} k [τ_{M}]

for some

M_{τ}

-graded

k [τ_{M}^{'}]

-module

E^{'}

In particular,

O (D) \sim = p^{*} O (D^{'})

, where

D^{'} = \sum_{ρ \in τ (1)} n_{ρ} D_{ρ}

is a

T^{σ}

-invariant divisor on

U_{τ}^{'}

and

O (D^{'})

is the sheafification of the

M

-graded

k [τ_{M_{τ}}]

-module

R^{D^{'}}

. We obtain:

Lemma 8.2: For every

x \in U_{τ}

, we have

{depth}_{O_{U_{τ}, x}} O (D)_{x} = {depth}_{O_{U_{τ}^{'}, p (x)}} O (D^{'})_{p (x)} + codim τ

Proof. As the morphism $p$ is flat and thus local, we can apply [Mat89] , Thm. 23.3 and obtain ${depth}_{k [τ_{M}]_{x}} R_{x}^{D} = {depth}_{k [τ_{M}]_{x}} R_{p (x)}^{D^{'}} \otimes_{k [τ_{M_{τ}}]_{p (x)}} k [τ_{M}]_{x} = {depth}_{k [τ_{M_{τ}}]_{p (x)}} R_{p (x)}^{D^{'}} + {depth}_{k [τ_{M}]_{x}} {(k [τ_{M}] / p_{τ})}_{x}$ for every point $x \in U_{τ}$ , where here $p_{τ}$ denotes the maximal homogeneous ideal of $k [τ_{M}]$ .

With help of this lemma, we set:

Definition 8.3: Let

i \geq 0

, then we set

S_{i} : = {τ ≺ σ | {depth}_{k [σ M]_{x}} R_{x}^{D} \leq i - codim τ for some point x \in orb (τ)} .

In this definition, we have omitted any explicit reference to

D

for clearer notation.

Note that

S_{i}

is star-closed, and by the discussion above,

S_{i} (O (D))

is equal to

\cup_{τ \in S_{i}} orb (τ)

for all

i \geq 0

. Now observe:

Lemma 8.4:

R^{D}

is MCM if and only if

S_{i} = \emptyset

for

0 \leq i < d

Denote

Ξ^{τ} : = {Π ≺ τ (1) | τ_{Π} / \in star (τ)}

, where we consider

Ξ^{τ}

as a subcomplex of the simplex of

τ

. The following lemma is immediate:

Lemma 8.5: Let

τ ≺ σ

and

Π \subset τ (1)

, then

Π \cap Ξ^{τ} = Π \cap Ξ_{τ}

For any subset

Π \subset τ (1)

, the splitting

M \sim = τ_{M}^{⊥} \times M_{τ}

is compatible with linear inequalities

〈 m, n (ρ) 〉 < - n_{ρ}

, for

ρ \in Π

, respectively

〈 m, n (ρ) 〉 \geq - n_{ρ}

for

ρ \in τ (1) \ Π

, in the sense that some

m \in M

fulfills these inequalities if and only if every

m^{'}

with

m^{'} - m \in τ_{M}^{⊥}

fulfills these inequalities. The following is the main result of this section:

Theorem 8.6:

τ \in S_{k}

if and only if

{\tilde{H}}^{i - 2} (Π \cap Ξ_{τ}, k) \neq 0

for some

i \leq k - codim τ

and some subset

Π \subset τ (1)

and there exists an integral solution to the system of inequalities

\begin{matrix} 〈 m, n (ρ) 〉 & < - n_{ρ} for ρ \in Π \end{matrix}

\begin{matrix} 〈 m, n (ρ) 〉 & \geq - n_{ρ} for ρ \in τ (1) \ Π \end{matrix}

\begin{matrix}  \end{matrix}

M

or equivalently, in

M_{τ}

Proof. We have $τ \in S_{k}$ if and only if $H_{p_{τ}}^{i} R^{D^{'}} \neq 0$ for some $i \leq k - codim τ$ , where $p_{τ}$ is the maximal homogeneous ideal of $k [τ_{M_{τ}}]$ . This in turn is equivalent to that there exists some $m \in M_{τ}$ and some $i \leq k - codim τ$ such that ${\tilde{H}}^{i} (Σ_{m}^{τ} \cap Ξ^{τ}, k) \neq 0$ , where $Σ_{m}^{τ} = {ρ \in τ (1) | 〈 m, n (ρ) 〉 < - n_{ρ}}$ . Moreover, by lemma 8.5 , $Σ_{m}^{τ} \cap Ξ^{τ} = Σ_{m}^{τ} \cap Ξ_{τ}$ .

The theorem can help to reduce the number of inequalities one has to check in order to determine the sets

S_{i}

. However, in the case

d = 3

, this is not of much help.

Proposition 8.7 ([ST71] , Corollary 1.21): Let

X

be an irreducible variety of dimension

d

and let

ℱ

be a coherent sheaf on

X

, then

ℱ

is reflexive if and only if

dim S_{i} (ℱ) \leq i - 2

for all

i < d

For

d = 3

this implies that

S_{2}

is either

{σ}

or empty. References

W. Bruns and J. Gubeladze. Semigroup algebras and discrete geometry. In Séminaires et Congrès, volume 6, pages 43–127. Soc. Math. France, Paris, 2002.
W. Bruns and J. Gubeladze. Divisorial Linear Algebra of Normal Semigroup Rings. Algebras and Representation Theory, 6:139–168, 2003.
A. Björner, M. Las Vergnas, B. Sturmfels, N. White, and G. Ziegler. Oriented matroids, volume 46 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993.
W. Fulton. Introduction to Toric Varieties. Princeton University Press, 1993.
S. Goto and K. Watanabe. On graded rings. II: $Z^{n}$ -graded rings. Tokyo J. Math., 1:237–261, 1978.
D. Helm and E. Miller. Bass numbers of semigroup-graded local cohomology. Pacific J. of Math., 209(1):41–66, 2003.
D. Helm and E. Miller. Algorithms for graded injective resolutions and local cohomology over semigroup rings. 2004. To appear.
H. Matsumura. Commutative Ring Theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1989.
M. Mustata. Local Cohomology at Monomial Ideals. J. Symb. Comput., 29(4–5):709–720, 2000.
T. Oda. Convex Bodies and Algebraic Geometry, volume 15 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, 1988.
M. Perling. Resolutions and Moduli for Equivariant Sheaves over Toric Varieties. PhD thesis, Universität Kaiserslautern, 2003.
M. Perling. Graded Rings and Equivariant Sheaves on Toric Varieties. Mathematische Nachrichten, 263–264:181–197, 2004.
M. Perling. Resolutions for Equivariant Sheaves over Toric Varieties. ICTP preprint no. IC/2004/59, 2004. math.AG/0503501.
M. Reid. Canonical 3-folds. In A. Beauville, editor, Géométrie Algébrique, Angers 1979, pages 273–310. Sijthoff & Noordhoff, Alphen aan den Rijn, The Netherlands, 1980.
Y.-T. Siu and G. Trautmann. Gap-Sheaves and Extension of Coherent Analytic Subsheaves. Number 172 in Lecture Notes in Mathematics. Springer-Verlag, 1971.
N. V. Trung and L. T. Hoa. Affine semigroups and Cohen-Macaulay rings generated by monomials. Trans. AMS, 298(1):145–167, 1986.
G. Ziegler. Lectures on Polytopes, volume 152 of Graduate Texts in Mathematics. Springer, 1995.

On the Local Cohomology of Reflexive Modules of Rank One over Normal Semigroup Rings

Markus Perling * * Institut für Mathematik, Universität Paderborn, 33098 Paderborn, Germany, perling@math.upb.de

March 24, 2005