[Paper Review] On the Local Cohomology of Reflexive Modules of Rank One over Normal Semigroup Rings

Markus Perling|ArXiv.org|Mar 24, 2005

Commutative Algebra and Its Applications9 references3 citations

TL;DR

This paper provides a combinatorial description of the local cohomology of reflexive rank-one modules over normal semigroup rings using simplicial cohomology of associated complexes. It establishes that the classification of maximal Cohen-Macaulay modules of rank one reduces to solving systems of linear inequalities with integral solutions, offering a constructive criterion via homological algebra and toric geometry.

ABSTRACT

In this work we describe the local cohomology of reflexive modules of rank one over normal semigroup rings with respect to monomial ideals. Using our description we show that the problem of classifying maximal Cohen-Macaulay modules of rank one can be rephrased in terms of finding integral solutions to certain sets of linear inequalities.

Motivation & Objective

• To describe the local cohomology of reflexive rank-one modules over normal semigroup rings with respect to monomial ideals.
• To reframe the classification of maximal Cohen-Macaulay (MCM) modules of rank one as a problem of finding integral solutions to systems of linear inequalities.
• To establish a connection between the homological properties of reflexive modules and the combinatorics of toric varieties via simplicial cohomology.
• To provide an explicit, M-graded combinatorial description of local cohomology modules using resolution techniques and support/cosupport analysis.
• To generalize existing methods for local cohomology in semigroup rings to the case of reflexive modules of rank one, extending results from [TH86] to a broader class of modules.

Proposed method

• Construct an M-graded resolution of the reflexive module $ R^D $, denoted $ extbf{D}^{ullet} $, using $ ext{Hom} $-functors and $ au $-compatible decompositions.
• Apply the local cohomology functor $ ilde{ au} $ to the resolution $ extbf{D}^{ullet} $, yielding isomorphisms $ H^i_B R^D o H^i( ilde{ au} extbf{D}^{ullet} ) $.
• Characterize the $ m $-th graded component of $ H^i_B R^D $ as the reduced cohomology $ \tilde{H}^{i-2}( ilde{ au}_B \cap \Sigma_m; k ) $, where $ \Sigma_m $ is the set of $ \rho \in \sigma(1) $ with $ \langle m, n(\rho) \rangle < 0 $.
• Define the cosupport $ \Xi_B $ as the set of subsets $ \Pi \subset \sigma(1) $ such that the minimal face $ \tau $ with $ \Pi \subset \tau(1) $ is not in the support of $ B $, forming a simplicial subcomplex.
• Use the decomposition $ M \cong \tau_M^\perp \times M_\tau $ to reduce inequalities involving $ m \in M $ to equivalent systems in $ M_\tau $, preserving integrality.
• Apply the criterion from [ST71] on reflexivity of sheaves to link vanishing of $ S_i $ to the MCM condition, reducing the problem to checking non-vanishing of cohomology on subcomplexes.

Experimental results

Research questions

• RQ1 How can the local cohomology of reflexive rank-one modules over normal semigroup rings be described in terms of simplicial cohomology?
• RQ2 What is the relationship between the vanishing of local cohomology and the existence of integral solutions to systems of linear inequalities?
• RQ3 In what way does the MCM property of a reflexive module of rank one correspond to topological properties of associated simplicial complexes?
• RQ4 How does the support and cosupport of a monomial ideal interact with the grading and cohomological structure of $ R^D $?
• RQ5 Can the classification of MCM modules of rank one be reduced to a combinatorial problem over the lattice $ M $?

Key findings

• The $ m $-th graded component of the local cohomology $ H^i_B R^D $ is isomorphic to the reduced cohomology $ \tilde{H}^{i-2}( \Xi_B \cap \Sigma_m; k ) $, providing a precise combinatorial description.
• The module $ R^D $ is maximal Cohen-Macaulay if and only if $ S_i = \emptyset $ for all $ i < d $, where $ S_i $ is the set of faces $ \tau \prec \sigma $ with $ \dim \operatorname{Supp}(H^i_{\mathfrak{p}_\tau} R^{D'}) \geq i - \operatorname{codim} \tau $.
• The condition $ \tilde{H}^{i-2}(\Pi \cap \Xi_\tau; k) \neq 0 $ for some $ i \leq k - \operatorname{codim} \tau $ and some $ \Pi \subset \tau(1) $ is equivalent to $ \tau \in S_k $, linking homology to the MCM condition.
• For $ d = 3 $, the set $ S_2 $ is either empty or $ \{\sigma\} $, reflecting the topological constraints on reflexive sheaves in low dimension.
• The existence of an integral solution to the system $ \langle m, n(\rho) \rangle < -n_\rho $ for $ \rho \in \Pi $, and $ \geq -n_\rho $ for $ \rho \in \tau(1) \setminus \Pi $, is necessary and sufficient for $ \tau \in S_k $.
• The classification of MCM modules of rank one reduces to solving a system of linear inequalities over the integer lattice $ M $, with the solution space determining the MCM property.