Singularities of toric varieties associated with finite distributive lattices (Q1915159)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Singularities of toric varieties associated with finite distributive lattices
scientific article

    Statements

    Singularities of toric varieties associated with finite distributive lattices (English)
    0 references
    0 references
    17 September 1997
    0 references
    For a finite lattice \(D\), consider the polynomial ring \(k[X_\alpha\mid \alpha\in D]\) over a field \(k\) in variables indexed by \(D\) with the usual grading \(\deg X_\alpha=1\) for all \(\alpha\in D\). With respect to the homogeneous binomial ideal \(I(D):= (X_\alpha X_\beta- X_{\alpha\wedge\beta} X_{\alpha\vee\beta}\mid \alpha,\beta\in D)\) consider the graded residue \(k\)-algebra \(k[D]:= k[X_\alpha\mid \alpha\in D]/I(D)\). The associated projective variety \(V(D):= \text{Proj} (k[D])\) is known to be a (normal) toric variety if and only if the lattice \(D\) is distributive, by \textit{T. Hibi} [in: Commutative algebra and combinatorics, US-Jap. joint Semin., Kyoto/Jap. 1985, Adv. Stud. Pure Math. 11, 93-109 (1987; Zbl 0654.13015)] in view of Birkhoff's structure theorem and excluded sublattice theorem for finite distributive lattices, found, for instance, in \textit{G. Grätzer}'s book [``General lattice theory'' (1978; Zbl 0385.06015)] and in \textit{R. P. Stanley}'s book [``Enumerative combinatorics'', Vol. I (1986; Zbl 0608.05001)]. According to Birkhoff's structure theorem, a finite distributive lattice \(D\) is in categorical one-to-one correspondence with a finite bounded poset \(\widehat{P}\) (of join-irreducible elements in \(D\)). The author describes the toric geometry of the toric projective variety \(V(D)\) directly in terms of the poset \(\widehat{P}\).
    0 references
    0 references
    projective variety
    0 references
    toric variety
    0 references
    finite distributive lattice
    0 references
    finite bounded poset
    0 references
    join-irreducible elements
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references