a note on affine toric varieties

7
Linear Algebra and its Applications 318 (2000) 173–179 www.elsevier.com/locate/laa A note on affine toric varieties Enrique Reyes * , Rafael H. Villarreal 1 , Leticia Zárate Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, Apartado Postal 14-740, 07000 Mexico City, Mexico Received 25 September 1999; accepted 30 April 2000 Submitted by J. Dias da Silva Abstract Let k be an arbitrary field and C a toric set in the affine space A n k given parametrically by monomials. Using linear algebra we give necessary and sufficient conditions for C to be an affine toric variety, and show some applications. © 2000 Elsevier Science Inc. All rights reserved. AMS classification: Primary 14M25; 15A36; Secondary 13F20 1. Introduction Let k be any field and D = (d ij ) a fixed m × n matrix with non-negative integer entries d ij and with non-zero columns. Let k[x 1 ,...,x n ] and k[t 1 ,...,t m ] be two polynomial rings over k, and φ the graded homomorphism of k-algebras, φ : R = k[x 1 ,...,x n ]→ k[t 1 ,...,t m ], induced by φ(x i ) = t d i , where d i = (d 1i ,...,d mi ) is the ith column of D and t d i = t d 1i 1 ··· t d mi m . Then the polynomial rings are graded by assigning deg(t i ) = 1 and deg(x j ) = deg(t d j ) for all i, j . The kernel of φ, denoted by P, is called the toric ideal associated with D. If α = i ) N n , we set x α = Q n i =1 x α i i for the corresponding monomial in R. Note that the map φ is closely related to the homomorphism ψ : Z n Z m , de- termined by the matrix D in the standard bases of Z n and Z m . Indeed, one can easily * Corresponding author. E-mail address: [email protected] (E. Reyes). 1 Partially supported by CONACyT grant 27931E and SNI, Mexico. 0024-3795/00/$ - see front matter ( 2000 Elsevier Science Inc. All rights reserved. PII: S 0 0 2 4 - 3 7 9 5 ( 0 0 ) 0 0 1 6 6 - X

Upload: enrique-reyes

Post on 02-Jul-2016

212 views

Category:

Documents


0 download

TRANSCRIPT

Linear Algebra and its Applications 318 (2000) 173–179www.elsevier.com/locate/laa

A note on affine toric varietiesEnrique Reyes∗, Rafael H. Villarreal1, Leticia Zárate

Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN,Apartado Postal 14-740, 07000 Mexico City, Mexico

Received 25 September 1999; accepted 30 April 2000

Submitted by J. Dias da Silva

Abstract

Let k be an arbitrary field andC a toric set in the affine spaceAnk

given parametricallyby monomials. Using linear algebra we give necessary and sufficient conditions forC to bean affine toric variety, and show some applications. © 2000 Elsevier Science Inc. All rightsreserved.

AMS classification: Primary 14M25; 15A36; Secondary 13F20

1. Introduction

Let k be any field andD = (dij ) a fixedm× n matrix with non-negative integerentriesdij and with non-zero columns. Letk[x1, . . . , xn] andk[t1, . . . , tm] be twopolynomial rings overk, andφ the graded homomorphism ofk-algebras,

φ : R = k[x1, . . . , xn] → k[t1, . . . , tm], induced byφ(xi) = tdi ,

wheredi = (d1i, . . . , dmi) is the ith column ofD and tdi = td1i1 · · · tdmim . Then the

polynomial rings are graded by assigning deg(ti) = 1 and deg(xj ) = deg(tdj ) for alli, j . The kernel ofφ, denoted byP, is called thetoric ideal associated withD. Ifα = (αi) ∈ Nn, we setxα = ∏n

i=1 xαii for the corresponding monomial inR.

Note that the mapφ is closely related to the homomorphismψ : Zn → Zm, de-termined by the matrixD in the standard bases ofZn andZm. Indeed, one can easily

∗ Corresponding author.E-mail address:[email protected] (E. Reyes).

1 Partially supported by CONACyT grant 27931E and SNI, Mexico.

0024-3795/00/$ - see front matter( 2000 Elsevier Science Inc. All rights reserved.PII: S 0 0 2 4 - 3 7 9 5 ( 0 0 ) 0 0 1 6 6 - X

174 E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179

verify that a binomial g = xα − xβ belongs toP = ker(φ) if and only if α − β

belongs toker(ψ); see [2] for a detailed study of the relation betweenφ andψ.The affine spaceof dimensionn over k, denoted byAn

k , is the Cartesian prod-uct kn = k × · · · × k of n-copies ofk. Given a subsetI ⊂ R its zero setor variety,denoted byV (I), is the set ofa ∈ An

k such thatf (a) = 0 for all f ∈ I .The toric setC determined byD is the subset of the affine spaceAn

k given para-

metrically byxi = td1i1 · · · tdmim for all i, that is, one has

C ={(td111 · · · tdm1

m , . . . , td1n1 · · · tdmnm

)∈ An

k

∣∣∣ t1, . . . , tm ∈ k}.

We say thatC is anaffine toric varietyif C is the zero set of the toric idealP associ-ated withD.

Toric ideals and their varieties occur naturally in algebra and geometry [1,9], someof their properties have been linked to polyhedral geometry [8] and graph theory[5,7,10]. Of particular interest for this note is the fact that toric ideals are generatedby binomials [4]; here by a binomial we mean a difference of two monomials.

Our aim is to use linear algebra to characterize when a toric setC is an affine toricvariety in terms of:

(a) the existence of solutions ink of equations of the formzλi = c, wherec ∈ k andλi is an invariant factor of the matrixD;

(b) the vanishing condition “V (P, xi) ⊂ C for all i ”, that in some cases can bechecked recursively.

Some applications will be presented to illustrate the usefulness of our characteriza-tion.

To prove the main result (see Theorem 2.3) we make use of the fact that anyintegral matrix is equivalent to a diagonal matrix which is in Smith normal form [6,Theorem II.9], together with a description of a certain generating set of a system oflinear diophantine equations (see Proposition 2.2).

2. Affine toric varieties

First we fix some notation. LetC be a toric set defined by anm× n matrixD =(dij ). Then there are unimodular integral matricesU = (uij ) andQ = (qij ) of ordersmandn, respectively, such that

L = UDQ = diag(λ1, . . . , λs,0, . . . ,0),

wheres is the rank ofD andλ1, . . . , λs are the invariant factors ofD, that is,λidividesλi+1 andλi > 0 for all i. For the use in the following, setU−1 = (fij ) andQ−1 = (bij ). In the sequelei will denote theith unit vector inZn.

For convenience we state the following version of well-known descriptions forthe solution set of a homogeneous system of linear diophantine equations, see [6,Chapter 2].

E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179 175

Lemma 2.1. If ψ : Zn → Zm is the homomorphism determined by D, thenker(ψ)= Zqs+1 ⊕ · · · ⊕ Zqn, whereqi corresponds to the ith column of Q.

Proof. Let x ∈ Zn and make the change of variablesy = Q−1x. AsL = UDQ itfollows thatDx = 0 if and only ifLy = 0. Sety = (y1, . . . , yn).

First noteqi ∈ ker(ψ) for i > s + 1, becauseLQ−1qi = Lei , whereei is theithunit vector inZn. On the other hand, ifx is in ker(ψ), thenλiyi = 0 for i = 1, . . . , s.Thus,x = Qy = ∑n

i=s+1 yiqi . To complete the proof observe that the columns ofQare a basis forZn. �

Proposition 2.2. Let ψ : Zn → Zm be the linear map determined by D andvj =∑si=1 bij qi,whereqi corresponds to the ith column of Q. Ife1, . . . , en is the standard

basis ofZn, then{vi − ei}ni=1 is a generating set forker(ψ).

Proof. SetQ−1 = (bij ). Noteej = ∑ni=1 bij qi for all j, becauseQQ−1 = I . Hence,

one can write

vj =s∑i=1

bij qi = ej −n∑

i=s+1

bij qi (j = 1,2, . . . , n),

and using Lemma 2.1 we obtainvj − ej ∈ ker(ψ) for j = 1, . . . , n. Setδik = 1 ifi = k andδik = 0 otherwise. From the equality above

n∑j=1

qjk(ej − vj )=n∑j=1

qjk

n∑i=s+1

bij qi

=n∑

i=s+1

qi

n∑j=1

qjkbij

=n∑

i=s+1

qiδik

=qkfor k > s + 1. Hence,qk is in the subgroup ofZn generated by{vi − ei}ni=1 fork > s + 1, as required. �

For the use in the following, note that every vectorv ∈ Zn can be written uniquelyasv = v+ − v−, wherev+ andv− are vectors with non-negative entries and havedisjoint support.

In the sequel we use the notation introduced above. Our main result is:

Theorem 2.3. Let k be a field, C the toric set determined by the matrix D and P itstoric ideal. ThenC = V (P) if and only if the following two conditions are satisfied:

176 E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179

(a) If (ai)∈V (P) andai /= 0∀i, thenaq1i1 · · · aqnin has aλi -root in k fori = 1, . . . , s.

(b) V (P, xi) ⊂ C for i = 1, . . . , n.

Proof. (⇐): One invariably hasC ⊂ V (P). To prove the other contention take apointa = (a1, . . . , an) in V (P), by condition (b) one may assume thatai /= 0 for alli. Thus, using (a) there aret ′1, . . . , t ′s in k such that

(t ′i)λi = a

q1i1 · · · aqnin = aqi (i = 1, . . . , s). (1)

For convenience of notation we extend the definition oft ′i by puttingt ′i = 1 for i =s + 1, . . . ,m andt ′ = (t ′1, . . . , t ′m). Set

tj = (t ′1)u1j · · · (t ′m)umj (j = 1, . . . ,m), (2)

whereU = (uij ). We claim thattdk = td1k1 · · · tdmkm = ak for k = 1, . . . , n. Setting

U−1 = (fij ) and comparing columns in the equalityU−1L = DQ one has

λifi =n∑j=1

qjidj (i = 1,2, . . . , s), (3)

wherefi = (f1i , . . . , fmi) anddj = (d1j , . . . , dmj ) denote theith andjth columnsof U−1 andD, respectively. Next we compare columns in the equalityD = (U−1L)

Q−1 to get

dk =s∑j=1

λjbjkfj (k = 1,2, . . . , n), (4)

whereQ−1 = (bij ). UsingUU−1 = I and Eq. (2) we rapidly conclude that

tfk = t ′k (k = 1, . . . ,m). (5)

From Proposition 2.2 we deriveDvj = Dej = dj for j = 1, . . . , n, where

vj =s∑i=1

bij qi =(

s∑`=1

q1`b j̀ , . . . ,

s∑`=1

qn`b j̀

)(j = 1, . . . , n). (6)

Hence,D(vj )+ = D(ej + (vj )−), that is,x(vj )+ − xej+(vj )− belongs to the toricidealP. Using thata ∈ V (P) yieldsa(vj )+ = aej+(vj )− , and thus

avj = aej = aj (j = 1, . . . , n). (7)

Therefore, putting altogether

tdk(4)= t

∑sj=1 λj bjkfj = (

tf1)λ1b1k · · · (tfs )λsbsk

(5)= (t ′1)λ1b1k · · · (t ′s)λsbsk

E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179 177

(1)= (aq1)b1k · · · (aqs )bsk = aq1b1k+···+qsbsk

(6)= avk

(7)= ak

for k = 1, . . . , n. Thus,a ∈ C, as required.(⇒): It is clear that (b) holds becauseV (P, xi) ⊂ V (P). To prove (a) take(ai)

in V (P) with ai /= 0 for all i. Then by definition ofC there aret1, . . . , tm in k suchthataj = tdj for j = 1, . . . , n. Therefore, by Eq. (3), one has

tλifi = tq1id1 · · · tqnidn = aq1i1 · · · aqnin .

Thus,(tfi )λi = aq1i1 · · · aqnin , as required. �

Corollary 2.4. If k is algebraically closed, thenV (P) ⊂ C ∪ V (x1 · · · xn).

Proof. Leta = (ai) ∈ V (P) such thatai /= 0 for all i. Sincek is algebraically closedcondition (a) above holds. Therefore, one may proceed as in the first part of the proofof Theorem 2.3 to geta ∈ C. �

Corollary 2.5. If k is algebraically closed, thenC = V (P) if and only ifV (P, xi) ⊂C for all i.

Proof. If k is algebraically closed, then (a) is satisfied. Thus,C is a toric variety ifand only ifV (P, xi) ⊂ C for all i. �

Remark 2.6. The last two corollaries are valid if we assume condition (a), insteadof assumingk algebraically closed.

As a more concrete application we now show thatVeronese toric setsare affinetoric varieties.

Proposition 2.7. Let d be a positive integer and

A = {(a1, . . . , am) ∈ Nm

∣∣ a1 + · · · + am = d}.

If k is an algebraically closed field and D the matrix whose columns are the vectorsin A, then the toric setC determined by D is an affine toric variety.

Proof. Let

B = {ta∣∣ a ∈ A} = {f1, . . . , fm, fm+1, . . . , fs },

where

s =(d +m− 1

m− 1

).

178 E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179

One can order thefi so thatfi = tdi for i = 1, . . . ,m and|supp(fi)| > 2 for i > m,where supp(ta) = {ti | ai > 0}.

Fix an integer 16 i 6 s, it suffices to proveV (P, xi) ⊂ C, where P is thetoric ideal associated withD. We use induction onm. Takea ∈ V (P, xi). If i >m and φ(xi) = fi = t

r11 · · · trmm , note that the binomialxdi − x

r11 · · · xrmm belongs

to P, and hencea ∈ V (P, xj ) for some 16 j 6 m. Therefore, one may harm-lessly assume 16 i 6 m and φ(xi) = tdi ; for simplicity of notation we assumei = 1. Observe that for everyfj = t

r11 · · · trmm with r1 > 0 one hasaj = 0; in-

deed sincexdj − xr11 · · · xrmm belongs toP and a ∈ V (P, x1) one hasaj = 0. Let

D′ be the submatrix ofD obtained by removing the first row and all the col-umns with non-zero first entry (from top to bottom), andP ′ the toric ideal ofD′.The vectora′ = (ai | t1 /∈ supp(fi)) is in V (P ′), becauseP ′ ⊂ P . SinceV (P ′) ⊂C′ ∪ V (x2 · · · xs), whereC′ is the toric set associated withD′, by induction onereadily obtaina ∈ C. �

Next we present another consequence that can be used to prove that monomialcurves over arbitrary fields are affine toric varieties.

Corollary 2.8. If the columns of D generateZm as Z-module, thenC = V (P) ifand only ifV (P, xi) ⊂ C for all i.

Proof. SinceZd1 + · · · + Zdn = Zm, one hasλi = 1 for all i, and thus condition(a) holds. Therefore,C is an affine toric variety if and only if (b) holds.�

A toric setC in the affine spaceAnk is called amonomial curveif its corresponding

matrixD has only one row, namely,D = (d1, . . . , dn), andd1, . . . , dn are relativelyprime positive integers.

Proposition 2.9[2]. Let k be an arbitrary field andC a monomial curve. ThenC =V (P).

Proof. As Z = Zd1 + · · · + Zdn, by Corollary 2.8, it suffices to showV (P, xi) ⊂C. Let a ∈ V (P, xi). Since all the binomialsx

dji − x

dij vanish ona, one obtainsa =

0 anda ∈ C. �

Remark 2.10. If k is algebraically closed, from Corollary 2.5, it follows that theconclusion of Proposition 2.9 remains valid even without the assumption gcd(d1, . . . ,

dn) = 1.

Remark 2.11. If C is a toric set over an infinite fieldk andC = V (I) for someI ⊂ R, thenC is equal toV (P), see [3, Chapter 1]. Thus, ifk is infinite andC is avariety, thenC must be an affine toric variety.

E. Reyes et al. / Linear Algebra and its Applications 318 (2000) 173–179 179

In the light of this remark, a natural question is whetherC can be a variety but nota toric variety; to clarify consider:

Example 2.12. Let k = Z3 andD = (2,4). Then

C = {(0,0)} ∪ {(1,1)} = V(x1 − x2, x

22 − x2

).

On the other handP = (x1 − x22) and(1,2) ∈ V (P). Thus,C 6= V (P).

References

[1] S. Eliahou, Idéaux de définition des courbes monomiales, in: S. Greco, R. Strano (Eds.), CompleteIntersections, Lecture Notes in Mathematics, vol. 1092, Springer, Heidelberg, 1984, pp. 229–240.

[2] S. Eliahou, R. Villarreal, On systems of binomials in the ideal of a toric variety, LMPA 96, Labora-toire de Mathématiques Pures et Appliquées, Joseph Liouville, Calais, France, 1999.

[3] W. Fulton, Algebraic Curves: An Introduction to Algebraic Geometry, Benjamin, New York, 1969.[4] J. Herzog, Generators and relations of Abelian semigroups and semigroup rings, Manuscripta Math.

3 (1970) 153–193.[5] T. Hibi, H. Ohsugi, Normal polytopes arising from finite graphs, J. Algebra 207 (1998) 409–426.[6] M. Newman, Integral Matrices, Pure and Applied Mathematics, vol. 45, Academic Press, New York,

1972.[7] A. Simis, W.V. Vasconcelos, R. Villarreal, The integral closure of subrings associated to graphs,

J. Algebra 199 (1998) 281–289.[8] B. Sturmfels, Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8, AMS, Prov-

idence, RI, USA, 1996.[9] B. Sturmfels, Equations defining toric varieties, in: Algebraic Geometry – Santa Cruz 1995, Pro-

ceedings of the Symposium on Pure Mathematics, vol. 62, Part 2, AMS, Providence, RI, USA, 1997,pp. 437–449.

[10] R. Villarreal, On the equations of the edge cone of a graph and some applications, ManuscriptaMath. 97 (1998) 309–317.