Syzygies of affine toric varieties (Q1972030): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jabr.1999.8102 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1975027039 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5837528 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Koszul cycles and Eliahou-Kervaire type resolutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3971568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal systems of generators for ideals of semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semigroup rings and simplicial complexes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graphes arithmétiques et syzygies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4134172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generators and relations of abelian semigroups and semigroup rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Value-Semigroup of a One-Dimensional Gorenstein Ring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equations of monomial varieties in codimension two / rank
 
Normal rank
Property / cites work
 
Property / cites work: Syzygies of codimension 2 lattice ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dualizing Complexes of Affine Semigroup Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4861423 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Affine Semigroups and Cohen-Macaulay Rings Generated by Monomials / rank
 
Normal rank

Latest revision as of 14:03, 29 May 2024

scientific article
Language Label Description Also known as
English
Syzygies of affine toric varieties
scientific article

    Statements

    Syzygies of affine toric varieties (English)
    0 references
    0 references
    0 references
    13 August 2000
    0 references
    A new method for computing syzygies of affine toric varieties is presented. Let \(S\) be a semigroup in \(\mathbb Z^n\) generating a strictly convex solid cone \(\mathfrak{C}\subset\mathbb R^n\), and let \(\Lambda\) be its generating set. The semigroup algebra \(R=k[S]\) defines an affine toric variety over a field \(k\). Let \(A=k[\Lambda]\) be the free polynomial algebra generated by \(\Lambda\). One has the minimal free resolution \(0\to A^{\beta_p}\to\dots\to A\to R\to 0\) of length \(p=\text{pd}R\). It is known [\textit{E. Briales, P. Pisón, A. Campillo} and \textit{C. Marijuán}, Collect. Math. 49, 239-256 (1998; Zbl 0929.13007)] that for all \(m\in S\) the \(m\)-weight subspace of the \(k\)-vector space of minimal generators of \(\text{Ker}(A^{\beta_i}\to A^{\beta_{i-1}})\) is isomorphic to \(\widetilde{H}_i(\Delta_m)\), where \(\Delta_m\) is the simplicial complex of subsets \(F\subset\Lambda\) such that \(m-\sum_{\lambda\in F}\lambda\in S\). In particular, \(\beta_{i+1}=\sum_{m\in S}\widetilde{H}_i(\Delta_m)\). For computing \(\widetilde{H}_i(\Delta_m)\), the authors introduce a long exact homology sequence \[ \dots\to H_i(\overline{D}_m)\to\widetilde{H}_i(\Delta_m)\to H_i(Q_m)\to\dots, \] where the left and right terms are certain graph homologies associated with a partition \(\Lambda=A\cup E\), and connection maps are effectively computable. A technical notion of an (effectively defined in combinatorial terms) checking set \(C_i\) such that \(H_i(\overline{D}_m)=H_i(Q_m)=\widetilde{H}_i(\Delta_m)=0\), for all \(m\notin C_i\), is also helpful. For a special partition such that \(E\) is the set of generators of the edges of \(\mathfrak{C}\), it is proved that the checking sets are finite and that \(\text{depth}R\geq q\iff H_{|\Lambda|-q}(\overline{D}_m)=0\), for all \(m\in C_{|\Lambda|-q}\). In particular, a new Cohen-Macaulay criterion for \(R\) generalizing that of \textit{S. Goto, N. Suzuki} and \textit{K. Watanabe} [Jap. J. Math., new. Ser. 2, 1-12 (1976; Zbl 0361.20066)] for the simplicial case is obtained. Minimal generators of the defining ideal of \(R\) are computed. Putting special emphasis on small-dimensional cases, the authors apply the developed theory to computing minimal free resolutions for affine and projective monomial curves.
    0 references
    computing syzygies of affine toric varieties
    0 references
    convex solid cone
    0 references
    minimal free resolution
    0 references
    polynomial algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references