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
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
projective variety
0 references
toric variety
0 references
finite distributive lattice
0 references
finite bounded poset
0 references
join-irreducible elements
0 references
0 references
0 references