axiv:math/0509219v2 [math.ag] 21 Se 2005 POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS FREDERIC BIHAN Abstact. We study olynomial systems whose equations have as common suot a set C of n + 2 oints in Z n called a cicuit. We find a bound on the numbe of eal solutions to such systems which deends on n, the dimension of the affine san of the minimal affinely deendent subset of C, and the ank modulo 2 of C. We ove that this bound is sha by dawing so-called dessins d enfant on the Riemann shee. We also obtain that the maximal numbe of solutions with ositive coodinates to systems suoted on cicuits in Z n is n + 1, which is vey small comaatively to the bound given by the Khovanskii fewnomial theoem. Intoduction and statement of the main esults The suot of a multivaiate olynomial is the set of exonent vectos of the monomials aeaing in the olynomial. A olynomial system of n olynomial equations in n vaiables is suoted on A Z n if A is the common suot of each olynomial in the system. A theoem due to Kouchnieno gives that the numbe of (simle) solutions in the comlex tous (C ) n to a geneic olynomial system suoted on A is the volume v(a) of the convex hull of A, nomalized so that the unit cube [0, 1] n has volume n!. Hee, we conside geneic olynomial systems with eal coefficients, and ae inteested in thei numbes of eal solutions in the eal tous (R ) n. Contay to the comlex case, the numbe of eal solutions deends on the coefficients of the system, and one of the most imotant question is to find a sha ue bound (fo elated esults, see [1, 5, 8, 9] fo examle). A tivial bound is given by v(a), the numbe of comlex solutions. Anothe bound due to Khovanskii deends only on the numbe n of vaiables and the cadinality of the suot A. The above Kuchnienko esult shows immediately that such a bound belongs to the eal wold, that is, cannot exist as a bound on the numbe of comlex solutions. The Khovanskii bound is 2 n 2 ( A 2 ) (n + 1) A, and gives an easy way to constuct suots A fo which the Kuchnienko bound v(a) is not sha. The Khovanskii bound can be stated altenatively without the tem 2 n as a bound on the numbe of ositive solutions, which ae solutions with ositive coodinates. Since we ae inteested only in the solutions in the eal tous, we have the feedom to tanslate the suot A by an integal vecto and also to choose a basis of the lattice Z n. A tanslation by an integal vecto coesonds to multilying each olynomial of the system by a monomial, while a change of basis fo the lattice Z n coesonds to a monomial change of coodinates (with coefficients 1) fo the tous. These oeations do 1
2 FREDERIC BIHAN not change the numbe of ositive, eal and comlex solutions. In aticula, we will always assume that 0 A. The ank modulo 2 of A is the ank of the eduction modulo 2 of the matix obtained by utting in columns the non zeo elements of A. We will denote it by k (Ā). If A Z n and A < n + 1, then v(a) = 0, so that suots with such numbes of elements ae not inteesting. The fist case whee v(a) is diffeent fom 0 aises when A = n + 1, and the convex hull of A is an n-dimensional simlex. This case is easy. The numbe of ositive solutions to such systems is at most 1, so that the numbe of eal solutions is at most 2 n. In fact, the maximal numbe of eal solutions is 2 n k (Ā) ([10], see also Lemma 1.3). The goal of this ae is to obtain simila esults in the fist non tivial case, when the suot is a cicuit. A cicuit is a set C Z n of n + 2 oints which affinely san R n. It contains an unique minimal affinely deendent subset, and we denote by m(c) the dimension of the affine san of this subset. If m(c) = n, that is, if any oe subset of C is affinely indeendent, then C is called a non degeneate cicuit. We have m(c) = 1 fo examle when thee oints of C lie on a same line. In [1], the authos conside cicuits C (and also moe geneal suots called nea cicuits) such that the index of ZC in Z n is odd. This coesonds to cicuits C Z n with k ( C) = n. They obtain the ue bound 2m(C) + 1 on the numbe of eal solutions and also ove that this bound is sha among systems suoted on cicuits C Z n with k ( C) = n. In aticula, this gives the sha bound 2n + 1 which can be attained only with non degeneate cicuits. We genealize the esults in [1] to abitay values of the ank modulo 2. The fist esult gives sha bounds on the numbe of ositive solutions. Obviously, multilying by 2 n such a bound gives a bound on the numbe of eal solutions, which is sha among systems suoted on cicuits C with k ( C) = 0. Theoem A. The numbe of ositive solutions to a geneic eal olynomial system suoted on a cicuit C Z n is at most m(c) + 1. Theefoe, the numbe of eal solutions to a geneic eal olynomial system suoted on a cicuit C Z n is at most 2 n (m(c) + 1). Moeove, the fist bound, and thus the second bound, is sha. Namely, fo any intege m such that 1 m n, thee exist a cicuit C Z n with m(c) = m, and a system suoted on C which has m + 1 ositive solutions. As a consequence, the numbe of ositive solutions to a geneic system suoted on a cicuit in Z n is at most n + 1 while its numbe of eal solutions is at most 2 n (n + 1) and these bounds ae sha and can be attained only with non degeneate cicuits.
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 3 In aticula, as in the case of suots foming a simlex, the Khovansky bound is fa fom being sha among systems suoted on cicuits. Theoem A follows fom Poosition 2.1 and Theoem 3.7. Theoem B. The numbe, N, of eal solutions to a geneic eal olynomial system suoted on a cicuit C Z n satisfies (1) If k ( C) m(c), then (2) if k ( C) m(c), then N 2 n k ( C) (m(c) + k ( C) + 1 ). N 2 n k ( C) (2m(C) + 1). Moeove, both these bounds ae sha. Namely, let n, m, R be integes such that 1 m n and 0 R n. If R m (es. R m), thee exist a cicuit C Z n with m(c) = m, k ( C) = R, and a system suoted on C whose numbe of eal solutions is the bound in (1) (es. the bound in (2)). The bounds in Theoem B look like the bound 2 n k (Ā) when A foms an n-dimensional simlex. Howeve, thee is an essential diffeence in that the sha bounds in Theoem B do not ovide the maximal numbe of eal solutions to systems suoted on a given cicuit. Theoem B follows fom Theoem 2.2 and Theoem 3.8. We conside the eliminant defined in [1] of a system suoted on a cicuit C Z n. Assuming that C = {0, le 1, w 1,...,w n } Z n, this eliminant is a univaiate olynomial of the fom t ν f(x) = x λ 0 (g i (x)) λ i (g i (x)) λ i, i=t+1 whee each olynomial g i has the fom g i (x) = a i + b i x l with a i and b i non zeo eal numbes. Hee, the coefficients a i and b i come fom the coefficients of the system while the othe numbes ae detemined by C. The numbe ν is equal to m(c) if 0 and le 1 belong to the minimal affinely deendent subset of C. If k ( C) 0, then the intege l can be assumed to be odd. We choose to distinguish the case k ( C) 0 fom the case k ( C) = 0 fo which the numbe of eal solutions is given by the numbe of ositive ones. When k ( C) = n, it is oved in [1] that the eal solutions to the system ae in bijection with the eal oots of f via the ojection onto the fist coodinate axis. In geneal, the eal solutions oject onto the eal oots of f which satisfy sign conditions involving oducts of olynomials g i. Moeove, such a eal oot is the image of 2 n k ( C) solutions to the system, at least when l is odd. The ositive solutions oject bijectively onto the ositive oots of f at which all g i ae ositive. We detemine the above sign conditions, and ove the ue bounds in Theoem A and B using essentially Rolle s theoem. Witing the eliminant as f = P Q, we see that the numbe of eal (and ositive) solutions is closely elated to the aangement of the oots of P, Q and f, thei multilicities being detemined by C. We conside the ational function φ = f/q = P/Q 1 : CP 1 CP 1.
4 FREDERIC BIHAN The oots of P, Q and f ae the invese images of 1, and 0, esectively. These oots lie on the gah Γ = φ 1 (RP 1 ) CP 1 and we see Γ as an examle of so-called dessin d enfant. We use then the obsevation made in [2, 6] (see also [7]) that olynomials P, Q and f = P Q with escibed aangement and multilicities of thei eal oots can be constucted dawing so-called eal ational gahs on CP 1. The shaness of the bounds in Theoem A and B is then oved by means of such gahs. The ae is oganized as follows. In Section 1, we define the eliminant f of a system and exlain the elation between its eal oots and the eal (es. ositive) solutions to the system. In Section 2, we ove the ue bounds in Theoem A and B, while in Section 3 we intoduce eal ational gahs and achieve constuctions oving the shaness of these ue bounds. Acknowledgements. I m geatly indebted to Ilia Itenbeg and Fank Sottile fo thei suot duing these last yeas. Thanks to Fank Sottile and Ewan Bugallé fo useful comments on the fist vesion of this ae. Thanks also to Benoit Betand and J. Mauice Rojas fo thei inteest in this wok. 1. Elimination A eal olynomial system suoted on a cicuit C = {w 1, w 0,, w n } Z n is called geneic if it has v(c) solutions in (C ) n. This foces each solution to be a simle solution. We ae inteested in the eal solutions to such a system, by which we mean solutions in the eal tous (R ) n. Tanslating C by an integal vecto and choosing a basis fo the lattice Z n if necessay, we may assume without loss of geneality that w 1 = 0, and w 0 = le 1 fo some ositive intege l. Petubing slightly the system, and using Gaussian elimination, it becomes equivalent to a system of the fom (1.1) S : x w i = g i (x 1 ), i = 1,...,n, whee g i (x 1 ) = a i + b i x l 1 with a i, b i non zeo eal numbes fo i = 1,..., n and g 1,...,g n have distinct oots. Reodeing the vectos w 1,...,w n if necessay, the affine imitive elation on {0, e 1, w 1,...,w n } can be witten as t ν (1.2) λ 0 e 1 + λ i w i = λ i w i, i=t+1 whee 1 ν n, λ 0,...,λ ν ae coime integes, λ 0 0 and λ 1,...,λ ν > 0. Note that hee we could have t = 0 o t = ν so that one of the two sums collases to 0. The intege t ν δ := λ 0 + λ i i=t+1 λ i
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 5 is (u to sign) the coefficient of w 1 = 0 in (1.2) (the tem δw 1 does not aea in (1.2) since it is 0). Multilying (1.2) by l gives an affine elation on C. Set (1.3) m(c) := ν χ(λ 0 = 0) χ(δ = 0) whee χ(y ) is the boolean tuth value of Y : χ(y ) = 1 if Y is tue and χ(y ) = 0 othewise. Then m(c) + 2 is the numbe of non zeo coefficients in the imitive affine elation on C, so that m(c) is the dimension of the affine san of the minimal affinely deendent subset of C. The case m(c) = n aises when C is a non degeneate cicuit, that is, when any oe subset of C is affinely indeendent. Define the eliminant of S to be the following univaiate olynomial t ν (1.4) f(x 1 ) = x λ 0 1 (g i (x 1 )) λ i (g i (x 1 )) λ i. i=t+1 Fom (1.1) and (1.2), it follows immediately that if x = (x 1,..., x n ) is a solution to S then x 1 is a oot of the eliminant f. Wite each vecto w i = l i e 1 + v i with v i Z n 1. We get the elations t ν (1.5) λ i v i = λ i v i and (1.6) λ 0 + t λ i l i = i=t+1 ν i=t+1 The fact that λ 0,...,λ ν ae coime and (1.6) gives immediately that λ 1,...,λ ν ae also coime, so that the elation (1.5) is in fact the imitive affine elation on {0, v 1,...,v n } Z n 1. In aticula, at least one intege among λ 1,...,λ ν should be odd. Poosition 1.1 ([1]). Assume that λ j is odd with j {1,..., ν}. Then x = (x 1,...,x n ) is a eal solution to the system S if and only if x 1 is a eal oot of f and (x 2,...,x n ) is a eal solution to the system λ i l i. y v i = g i (x 1 )/x l i 1, i {1,..., n} \ {j}. Fo simlicity, we will often assume that λ 1 is odd and thus aly Poosition 1.1 with j = 1. Define B := (v 1, v 2,...,v n ), the n 1 by n matix whose columns ae the vectos v 1, v 2,...,v n. Let B M n 1,n (Z/2) be the the eduction modulo 2 of B and k ( B) be the ank of B. Poosition 1.2. The numbe of eal solutions to S is equal to 2 n 1 k ( B) times the numbe of eal oots of f subjected to the sign conditions (g 1 ()/ l 1 ) ǫ 1 (g n ()/ ln ) ǫn > 0 fo any ǫ = (ǫ 1,..., ǫ n ) such that ǫ Ke B.
6 FREDERIC BIHAN It is woth noting that the numbe of sign conditions can be educed to n k ( B) using a basis of Ke B. Befoe giving the oof, we esent the following well-known lemma (see [10]). Lemma 1.3. Suose that 0, u 1,...,u n Z n fom an n-dimensional simlex, and let Ū M n (Z/2) denote the matix whose columns contains in this ode the eductions modulo 2 of u 1,...,u n. Then the numbe of eal solutions in the tous to the system (1.7) x u i = c i,, i = 1,...,n, whee c i is a non zeo eal numbe, is (1) 0 o 2 n k(ū) if the volume of the simlex is even, (2) 1 if this volume is odd. Moeove, we have 2 n k(ū) eal solutions in the fist case if and only if c ǫ 1 1 c ǫn n > 0 fo any (ǫ 1,...,ǫ n ) Z n whose eduction modulo 2 belong to the kenel of Ū. Note that the case 2) is in fact edundant since if the volume of the simlex is odd then the kenel of Ū is educed to 0, hence 2n k(ū) = 1, and the sign conditions ae emty. Poof. Thee exist two matices L, R GL n (Z) and integes a 1,..., a n such that LUR is the diagonal matix D = diag(a 1,...,a n ). Let ũ 1,...,ũ n be the columns vectos, in this ode, of the matix LU. The matix L ovides the multilicative change of coodinates ỹ i = n, i = 1,..., n, of the comlex tous. This change of coodinates ) ji j=1 y(l 1 j tansfoms ou system to the system = c ỹũi i, i = 1,..., n, which has the same numbe of eal (and comlex) solutions. Multilication on the ight by R tansfoms this system to the system (1.8) ỹ i a i = d i with d i := n j=1 c R ji j, i = 1,...,n. a This system is equivalent to the evious one since ỹ i i = n j=1 ) R (ỹũj ji and R GL n (Z). In aticula, the initial system (1.7) and the system (1.8) have the same numbe of eal solutions. This numbe of eal solutions is 0 if d i < 0 fo some even a i, o 2 n k( D) if d i > 0 fo all even a i. The conclusion is now obvious noting that k( D) = k(ū) and that the eductions modulo 2 of the vecto columns (R 1i,...,R n,i ) fo which a i is even geneate the kenel of Ū. Poof of Poosition 1.2 Assume that λ 1 odd. Accoding to Poosition 1.1, we have to count, fo any oot of f, the numbe of eal solutions to (1.9) y v i = g i ()/ l i, i = 2,...,n. Set c i () := g i ()/ l i, i = 1,...,n. Note that 0, v 2,..., v n fom an (n 1)-dimensional simlex fo othewise thee would be an additional affine elation on C (so that the convex hull of C would have dimension < n). Let Ū M n 1(Z/2) denote the matix whose columns contains in this ode the eductions modulo 2 of v 2,...,v n. Accoding to Lemma 1.3, the
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 7 numbe of solutions to (1.9) is eithe 0, o 2 n 1 k(ū). Moeove, it is 2 n 1 k(ū) if and only if c 2 () ǫ2 c n () ǫn > 0 fo any (ǫ 2,...,ǫ n ) whose eduction modulo 2 belongs to the kenel of Ū = ( v 2,..., v n ). It follows fom the elation (1.5) that the eduction modulo 2 of λ := (λ 1,...,λ ν, 0,...,0) belongs to the kenel of B. Moeove, since λ 1 is odd, the kenel of B is the diect sum of (Z/2) λ and the kenel (in {0} (Z/2) n 1 ) of Ū. This also imlies that k(ū) = k( B). To finish, it emains to see that f() = 0 c 1 () λ1 c ν () λν > 0. Remak 1.4. As exlained at the end of the oof, the sign condition c 1 () λ1 c ν () λν > 0 given by the affine elation on {0, v 1,...,v n } is in fact edundant in Poosition 1.2. A ositive solution is a solution with ositive coodinates. Poosition 1.5. The numbe of ositive solutions to S is equal to the numbe of oots of f subjected to the sign conditions > 0, g 1 () > 0,..., g n () > 0. Poof. Assume that λ 1 is odd. Accoding to Poosition 1.1 (x 1,..., x n ) is a ositive solution to S if and only if x 1 is a ositive oot of f and (x 2,...,x n ) is a ositive solution to (1.10) y v i = g i ()/ l i, i = 2,...,n. As it is well-known, the evious system has a ositive solution if and only if g i ()/ l i > 0 fo i = 2,...,n, and in this case it has exactly one ositive solution. To finish, it emains to note that f() = 0, > 0 and g i () > 0 fo i = 2,...,n imlies that g 1 () > 0. 2. Ue bounds Let S be a system as in Section 1 and wite the eliminant (1.4) as whee P(x 1 ) = x λ 0 1 function f = P Q, t (g i(x 1 )) λ i and Q(x 1 ) = ν i=t+1 (g i(x 1 )) λ i. Conside the ational (2.1) φ := f/q = P/Q 1. Recall that m(c) is the dimension of the affine san of the minimal affinely deendent subset of C. Poosition 2.1. The numbe of ositive solutions to S is no moe than m(c) + 1. Poof. Let R + denote the set of ositive oots of f satisfying g 1 () > 0,..., g n () > 0 and let N denote the numbe of elements of R +. The numbe of ositive solutions to S is equal to N by Poosition 1.5. Conside an oen inteval I fomed by two consecutive elements of R +. This inteval contains no oot of P and Q (since each g i has simle eal oots). As a consequence, the function φ is bounded on I. Moeove, φ takes the same value 0 on the endoints of I. Theefoe, by Rolle s theoem, the deivative φ has at least
8 FREDERIC BIHAN one eal oot in I. This gives N 1 distinct ositive oots of φ, which ae diffeent fom the oots of P and Q. The oots of φ ae the oots of P Q PQ. As noticed in ([1], Poof of Poosition 4.3.), the quotient P (x)q(x) P(x)Q (x) (2.2) x λ 0 1 µ (g i(x)), λ i 1 o, if λ 0 = 0, the same quotient but with l 1 in lace of λ 0 1, is a olynomial H which can be witten as H(x) = h(x l ) whee h is eal olynomial of degee m(c) and with non zeo constant tem. Thus the N 1 ositive oots of φ diffeent fom the oots of P and Q should be oots of H. But H has at most m(c) distinct ositive oots, hence N 1 m(c). J. Mauice Rojas infomed us that Poosition 2.1 can be obtained fom [5] (Lemma 2, Section 3). Define the matix A as the matix obtained by utting (in this ode) the vectos w 0,...,w n in columns (2.3) A := (w 0,...,w n ) M n,n+1 (Z) We have by definition k ( C) = k (Ā), whee Ā is the eduction modulo 2 of A. Recall that w 0 = le 1 and w i = l i e 1 + v i fo i = 1,..., n, so that (2.4) A = l l 1... l n 0. v 1... v n The lowe-ight matix (v 1,...,v n ) is the matix B that we aleady defined. Theoem 2.2. Let N be the numbe of eal solutions to S. (1) If k ( C) m(c), then (2) if k ( C) m(c), then 0 N 2 n k ( C) (m(c) + k ( C) + 1 ). N 2 n k ( C) (2m(C) + 1). Poof. Conside fist the case k ( C) = 0. This coesonds to the case C 2Z n. Setting w i = w i /2, a system suoted on C can be ewitten as a system suoted on the cicuit C = {0, w 1, w 0,..., w n } so that the numbe of eal solutions (in the eal tous) to the system suoted on C is equal to 2 n times the numbe of ositive solutions to the system suoted on C. Obviously, we have m( C) = m(c). The bound 2 n (m(c) + 1) fo the numbe of eal solutions to S follows then fom Poosition 2.1. Suose now that k ( C) 0, that is, C is not contained in 2Z n. Then, it is easy to show the existence of oints w i, w j C such that w i w j / 2Z n, and w i belongs to the minimal affinely deendent subset of C. Thus, eodeing the oints of C so that w i becomes w 1
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 9 and w j becomes w 0 if necessay, we can assume that the numbe l is an odd numbe, and the coefficient δ is non zeo. The fact that l is odd gives that Ā and B have isomohic kenels, so that k ( C) = k (Ā) = k ( B) + 1. Define c() := (c 1 (),...,c n ()) with c i () := g i ()/ l i, i = 1,..., n. Let π 1,..., π n k ( C)+1 be vectos in Z n 1 whose eductions modulo 2 fom a basis of Ke B. Then Poosition 1.2 gives that the numbe of eal solutions to S is 2 n k ( C) times the numbe of eal oots of f subjected to the sign conditions (2.5) (c()) π i > 0 fo i = 1,...,n k ( C) + 1. Conside the n k ( C)+1 by n matix Π whose ows ae given by the exonent vectos of the sign conditions (2.5). Taking the Hemite nomal fom of the eduction modulo 2 of Π, we obtain anothe basis of Ke B oducing equivalent sign conditions c s1 () i>s 1,i/ S (c i()) > 0 (2.6) c s2 () i>s 2,i/ S (c i()) > 0... c sn k ( C)+1 () i>s n k ( C)+1,i/ S (c i()) > 0 whee 1 s 1 < s 2 <... < s n k ( C)+1 n, S = {s 1,...,s n k ( C)+1 } and the stas ae exonents taking values 0 o 1. It emains to show that the set R of eal oots of f satisfying the sign conditions (2.6) has at most m(c)+1+k ( C) elements if k ( C) m(c), and at most 2m(C)+1 elements if k ( C) m(c). Fist note that the intege l being odd, each g i has only one eal oot, that we denote by ρ i. Moeove, the olynomial H defined in (2.2) has at most m(c) eal oots since H(x 1 ) = h(x l 1) with h olynomial of degee m(c). Let I denote an oen (bounded) inteval fomed by two consecutive elements of R. We claim that I should contain at least one element among 0, ρ 1,...,ρ ν and the eal oots of H. Indeed, if the function φ = f/q is bounded on I, then I should contain a eal citical oint (with finite citical value) of φ by Rolle s theoem. The citical oints of φ with finite citical values ae contained in the set fomed of 0, the oots ρ 1,...,ρ t of P and the oots of H (see the oof of Poosition 2.1). If φ is not bounded on I, then obviously I should contain a oot of Q, that is, a oot ρ i fo some i = t + 1,...,ν. Thee is at most one inteval I containing 0 and at most m(c) intevals I containing a eal oot of H. Let us concentate now on the intevals I which do no contain 0 but contain a oot ρ i with i = 1,...,ν. The numbe of such intevals is obviously no moe than ν. We claim that this numbe of intevals is also no moe than k ( C) 1. Indeed,
10 FREDERIC BIHAN such an inteval I should contain a ρ i with i {1,..., n} \ S, fo othewise some sign condition in (2.6) would be violated at the endoints of I. The claim follows then as the cadinality of {1,..., n} \ S is k ( C) 1. Theefoe, the numbe of intevals I fomed by two consecutive elements of R is no moe than 1 + m(c) + k ( C) 1 = m(c) + k ( C), and no moe than 1 + m(c) + ν. Obviously, the numbe of elements of R is equal to the numbe of these intevals I added by one. The bound m(c) + k ( C) on the numbe of intevals I gives thus (2.7) N 2 n k ( C) (m(c) + k ( C) + 1 ). Conside now the bound 1 + m(c) + ν on the numbe of intevals I. We see that if this bound is attained, then the olynomial H has m(c) eal oots, and each inteval I contains exactly one element among the eal oots of H, the oots ρ 1,...,ρ ν, and 0. This foces each of these oints to be a citical oint of φ with even multilicity (and unbounded citical values fo the oots of Q). The m(c) eal oots of H ae simle oots of H, hence citical oints with multilicity 2 of φ. The multilicity of 0 with esect to φ is λ 0, while the multilicity of ρ i, i = 1,...,ν, with esect to φ is ±λ i. Consequently, if the numbe of intevals I is 1 + m(c) + ν, then λ 0, λ 1,...,λ ν ae even: a contadiction since these numbes ae coime. Hence, the numbe of intevals I is no moe than m(c) + ν. If λ 0 and δ ae both non zeo, then ν = m(c) so that the numbe of intevals I is no moe than 2m(C). This gives the bound (2.8) N 2 n k ( C) (2m(C) + 1). Recall that we have assumed at the beginning that δ 0. Hence, it emains to see what haens when λ 0 = 0. In this case, we have m(c) = ν 1 and 0 cannot be a citical oint of φ. Aguing as befoe, we obtain then that the numbe of intevals I is no moe than m(c) + ν. Moeove, if this numbe is equal to m(c) + ν, then λ 1,...,λ ν ae even: a contadiction since λ 1,..., λ ν ae coime. Hence, the numbe of intevals I is no moe than m(c) + ν 1 = 2m(C), and we etieve the bound (2.8). 3. Real ational gahs and shaness of bounds 3.1. Real ational gahs. This subsection comes fom [2] (see also [3, 6, 7]). Conside the function (2.1) φ = f/q = P/Q 1 as a ational function CP 1 CP 1. The degee of φ coincides with that of f. Define Γ := φ 1 (RP 1 ). This is a eal gah on CP 1 (invaiant with esect to the comlex conjugation) and which contains RP 1. Each vetex of Γ has even valency, and the multilicity of a citical oint with eal citical value of φ is half its valency. The gah Γ contains the invese images of 1, and 0 which ae the sets of oots of P, Q and f, esectively. Denote by the same lette (es. q and ) the oints of Γ which ae maed to 1 (es. and 0). Oient the eal axis on the taget sace via the aows 1 0 1 (oientation given by the deceasing ode in R) and ull back this oientation by φ. The gah Γ becomes an oiented gah, with the oientation given by aows q.
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 11 Clealy, the aangement of the eal oots of f, P and Q togethe with thei multilicities can be extacted fom the gah Γ. We encode this aangement togethe with the multilicities by what is called a oot scheme. Definition 3.1 ([2]). A oot scheme is a k-ule ((l 1, m 1 ),...,(l k, m k )) ({, q, } N) k. A oot scheme is ealizable by olynomials of degee d if thee exist eal olynomials P and Q such that f = P Q has degee d and if ρ 1 <... < ρ k ae the eal oots of f, P and Q, then l i = (es. q, ) if ρ i is oot of P (es. Q, f) and m i is the multilicity of ρ i. Convesely, suose we ae given a eal gah Γ CP 1 togethe with a eal continuous ma ϕ : Γ RP 1. Denote the invese images of 1, and 0 by lettes, q and, esectively, and oient Γ with the ull back by ϕ of the above oientation of RP 1. This gah is called a eal ational gah [2] if any vetex of Γ has even valence, any connected comonent of CP 1 \ Γ is homeomohic to an oen disk, Then, fo any connected comonent D of CP 1 \ Γ, the ma ϕ D is a coveing of RP 1 whose degee d D is the numbe of lettes (es. q, ) in D. We define the degee of Γ to be half the sum of the degees d D ove all connected comonents of CP 1 \ Γ. Since ϕ is a eal ma, the degee of Γ is also the sum of the degees d D ove all connected comonents D of CP 1 \ Γ contained in one connected comonent of CP 1 \ RP 1. Poosition 3.2 ([2, 6]). A oot scheme is ealizable by olynomials of degee d if and only if it can be extacted fom a eal ational gah of degee d on CP 1. Let us exlain how to ove the if at in Poosition 3.2 (see [2, 3, 6, 7]). Fo each connected comonent D of CP 1 \ Γ, extend ϕ D to a, banched if d D > 1, coveing of one connected comonent of CP 1 \ RP 1, so that two adjacent connected comonents of CP 1 \ Γ oject to diffeents connected comonents of CP 1 \ RP 1. Then, it is ossible to glue continuously these mas in ode to obtain a eal banched coveing ϕ : CP 1 CP 1 of degee d. The ma ϕ becomes a eal ational ma of degee d fo the standad comlex stuctue on the taget sace and its ull-back by ϕ on the souce sace. Thee exist then eal olynomials P and Q such that f = P Q has degee d and ϕ = f/q = P/Q 1, so that the oints (es. q, ) coesond to the oots of P (es. Q, f) and Γ = ϕ 1 (RP 1 ). As in [2], we will abbeviate a sequence S eeated u times in a oot scheme by S u. If u = 0, then S u is the emty sequence. 3.2. Constuctions. We ae going to ove the existence of oot schemes by constucting eal ational gahs Γ on CP 1. Since these gahs ae eal, only half of them will be dawn and the hoizontal line will eesent the eal axis RP 1. Poosition 3.3. Fo any even intege n = 2k > 0, the oot scheme ( [(q, 2), (, 2)] k, (q, 1), (, 1) 2k+1, (, 1) ) is ealizable by olynomials of degee n + 1. Fo any odd intege n = 2k + 1 > 0, the oot scheme ( [(q, 2), (, 2)] k, (q, 2), (, 1)(, 1) 2k+2, (, 1) )
12 FREDERIC BIHAN is ealizable by olynomials of degee n + 1. Poof. Accoding to Poosition 3.2, it suffices to constuct a eal ational gah Γ n+1 of degee n + 1 on CP 1 fom which the desied oot scheme can be extacted. This is done in Figue 1 fo n = 2, 4 and in Figue 2 fo n = 3, 5. These figues ovide the induction ste n n + 2 fo constucting suitable gahs Γ n+1 fo any ositive intege n. q q n=2 q q q n=4 Figue 1. q q n=3 q q q n=5 Figue 2.
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 13 Let n and R be integes such that 0 < R n. If n R is even, define I and J by I J := := [(, 2), (q, 2)] n R 2, (q, 3), (, 1), (, 2), (, 1) n R+1 If n R is odd, define I J := (, 1), (, 1) if R = 1 (, 1) R, (q, 2), [(, 1), (, 4), (, 1), (q, 4)] R 2 1, (, 1), (, 3) if R is even (, 1) R, (, 2), [(, 1), (q, 4), (, 1), (, 4)] R 3 2, (q, 4), (, 1), (, 3) if R is odd := [(, 2), (q, 2)] n R 1 2, (, 2), (q, 3), (, 1), (, 2), (, 1) n R+1 (, 1), (q, 1) if R = 1 (, 1) R, (, 2), [(, 1), (q, 4), (, 1), (, 4)] R 2 1, (, 1), (q, 3) if R is even (, 1) R, (q, 2), [(, 1), (, 4), (, 1), (q, 4)] R 3 2, (, 4), (, 1), (q, 3) if R is odd Note that the definitions of J with n R odd and with n R even ae obtained fom each othe by emuting and q. q n=r q n R = 1 q q n R = 2 q q n R = 3 Figue 3: gah Γ I.
14 FREDERIC BIHAN Poosition 3.4. Fo any integes n and R such that 0 < R n, the oot scheme (I, J) is ealizable by olynomials of degee n + R + 1. Poof. Fist, we contuct gahs Γ I and Γ j, which ae not eal ational gahs, but fom which the sequences I and J can be extacted, esectively. Figue 3 shows Γ I fo n R = 0, 1, 2, 3, and indicates how to constuct Γ I fo any intege value of n R with 0 n R < n. Similaly, Figue 4 shows Γ J fo R = 1, 2, 3, 4 and n R even, and indicates how to constuct Γ J fo any integes n and R such that 0 < R n and n R is even. The gah Γ J fo n R odd is obtained fom the gah Γ J with n R even and the same value of R by emuting and q and evesing all the aows. Fo any integes n and R such that 0 < R n we can glue the coesonding Γ I and Γ J in ode to obtain a eal ational gah of degee n + R + 1 whose oot scheme is (I, J) (see Figue 5 fo n = 4 and R = 3). The esult follows then fom Poosition 3.2. n R even and R= 1 q n R even and R= 2 q n R even and R= 3 q q n R even and R= 4 Figue 4: gah Γ J. q q q Figue 5: gluing of Γ I and Γ J fo n = 4, R = 3.
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 15 3.3. Shaness of bounds. Poosition 3.5. Fo any ositive intege n, thee exist a non degeneate cicuit C Z n and a geneic eal olynomial system suoted on C whose numbe of ositive solutions is equal to n + 1. Poof. We ove only the case n even since the case n odd is simila (the case n = 1 is tivial). So assume that n = 2k > 0 is even. Accoding to Poosition 3.3, thee exist olynomials P and Q such that f = P Q has degee n + 1 and the coesonding oot scheme is ( [(q, 2), (, 2)] k, (q, 1), (, 1) 2k+1, (, 1) ). Comosing on the ight φ = f/q = P/Q 1 with a eal automohism of CP 1 (a eal ational ma of degee 1), we can choose thee values fo the oints is in this oot scheme. Reading the above scheme fom the left to the ight, we choose = 0 fo the last but one, a ositive value fo the last q, and = fo the last. This gives the following aangement of the oots of P, Q and f (whee we natually omit the oot at infinity) so that f = P Q with q 1 < 1 <... < q k < k = 0 < q k+1 < 1 < 2 <... < 2k+1, P(x) = ax 2 (x 1 ) 2 (x k 1 ) 2, Q(x) = b(x q k+1 )(x q 1 ) 2 (x q k ) 2, and f = P Q has n+1 = 2k +1 ositive oots which ae bigge than the oots of P and Q. Note that ab > 0 fo othewise the olynomial f = P Q could not have oots bigge than the oots of P and Q. Dividing f by a and setting g 1 (x) = x 1,...,g k 1 = x k 1, g k (x) = x q 1,...,g n 1 (x) = x q k and g n (x) = b(x q k+1 )/a, we obtain a olynomial f of the fom (1.4) with l = 1, the exonents ae coime, and such that R + has n+1 elements. Let us now give exlicitely a non degeneate cicuit C Z n and then a system (1.1) whose eliminant is f. Take the cicuit C with w 1 = 0, w 0 = e 1, w 1 = e 2,...,w n 1 = e n and w n = 2(e 1 +e 2 +...+e k e k+1... e n ). The imitive affine elation on {e 1, w 1,..., w n } is 2e 1 + 2(w 1 +... + w k 1 ) = 2(w k +... + w n 1 ) + w n and has the desied coefficients. Hence f(x 1 ) is the eliminant of the system x w i = g i (x 1 ), i = 1,...,n, given exlicitely by x 2 = x 1 1,..., x k = x 1 k 1 x k+1 = x 1 q 1,..., x n = x 1 q ( ) k 2 x 1 x k x k+1 x n = b(x1 q k+1 )/a. Accoding to Poosition 1.5, this system has n + 1 ositive solutions. It may be inteesting to note that the evious system has in fact only these n + 1 ositive solutions as solutions in the comlex tous. To see this, one can comute that the volume of the cicuit is n + 1, and use Kouchnienko theoem. Poosition 3.6. Fo any integes n and R such that 0 R n, thee exist a non degeneate cicuit C Z n with k ( C) = R, and a geneic eal olynomial system suoted on C whose numbe of eal solutions is equal to 2 n R (n + R + 1).
16 FREDERIC BIHAN Poof. Note that fo R = 0 this follows fom Poosition 1.5 (see the oof of Theoem 2.2). We will give the oof only when n and R ae even since the othe cases ae simila (the case n = 1 is tivial). So let n and R be even integes such that 0 < R n. Accoding to Poosition 3.4, thee exist olynomials P and Q such that f = P Q has degee n + R + 1 and the coesonding oot scheme is ) ([(,2),(q,2)] n R 2,(q,3),(,1),(,2),(,1) n+1,(q,2),[(,1),(,4), (,1),(q,4)] R 2 1,(,1),(,3). We may choose thee values fo the oots in this oot scheme. Choose = 0 fo the in the sequence (q, 3), (, 1), (, 2), a negative value fo the in the same sequence, and the infinity value fo the last on the ight in the oot scheme. Then, the olynomials P and Q can be witten as so that ( ) P(x) = x 2 2 (g i (x)) 2 n R Q(x) = (g n 2 (x))3 n R 2 +1 n 2 1 i= n 2 +1 (g i (x)) 2 i= n R 2 +1 ((g i (x)) n 4, i=n R 2 +2 ((g i (x)) 4 f = P Q has n + R + 1 (non zeo) eal oots, all but one ae ositive, and g i is ositive at the eal oots of f fo i = 1,..., n R 2 and i = n 2,...,n R 2. Hee the g i have all, but one, the fom, g i (x) = x ρ i with ρ i a finite non zeo oot if i < n and a oot q othewise. The last one is of the fom c(x ρ 2 i) whee c is a ositive eal numbe due to the fact f has a eal oot bigge than the oots of P and Q (see the oof of Poosition 3.5). The olynomials g i mentioned in ( ) coesond to the sequence [(, 2), (q, 2)] n R 2, (q, 3) on the left of the above oot scheme. Now, define v n R 2 +1 = (e 2 +... + e n 1 ) 3e n, v n 2 = 2(e 2 +... + e n ), and v i = 2e i+1, i = 1,..., n R 2 v i = e i+1, i = n R 2 + 1,..., n 2 1 v i = 2e i, i = n 2 + 1,..., n R 2 v i = e i 1, i = n R 2 + 2,...,n The imitive affine elation on {0, v 1,...,v n } is the desied one 2 n R 2 v i + 4 n 2 1 i= n R 2 +1 R n v i = 3v n + 2 2 +1 v 2 i + 4 i= n 2 +1 n i=n R 2 +2 v i,
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 17 and it s easy to see that the ank of the matix B = ( v 1,..., v n ) is R 1. We want to find integes l 1,...,l n veifying the elation (1.6) and such that the sign conditions in Poosition 1.2 ae veified at each oot of f. Hee, these sign conditions ae given by the v i which belong to 2Z n (3.1) g i ()/ l i > 0, i = 1,..., n R 2 and i = n 2,...,n R 2 In view of oety ( ), we want to have l i even fo i = 1,..., n R 2 and i = n 2,..., n R 2 since one oot of f is negative. In fact we can find integes l i which ae all even. Indeed, in ou situation, the elation (1.6) is (3.2) 2 + 2 2 l i + 4 n R n 2 1 i= n R 2 +1 l i = 3l n R n + 2 2 +1 2 i= n 2 +1 l i + 4 n i=n R 2 +2 l i. Relacing the fist 2 on the left by 1, the existence of integes l i veifying the esulting elation is due to the fact that 2, 4, 3 ae coime. Multilying then by 2 the membes of this modified elation gives then the existence of even integes l i veifying (3.2). So, let us choose even integes l i veifying (3.2) so that the sign conditions (3.1) ae satisfied. The oof is almost finished. Conside the system (3.3) x w i = g i (x 1 ), i = 1,..., n, whee w i := l i e 1 + v i. This system is equivalent to a (geneic) system suoted on the cicuit C = {w 1 = 0, w 0 = e 1, w 1,...,w n }. The imitive affine elation on C is 2w 0 + 2 n R 2 w i + 4 n 2 1 i= n R 2 +1 w i = 3w n R n + 2 2 +1 2 i= n 2 +1 w i + 4 n i=n R 2 +2 w i, so that f is the eliminant of (3.3). The ank modulo 2 of C is k ( C) = k ( B)+1 = R. The eliminant f has n+r+1 eal oots and the sign conditions (3.1) ae satisfied at each eal oot of f. Theefoe, accoding to Poosition 1.2, the system (3.3) has 2 n R (n + R + 1) eal solutions. The case R = n in Poosition 3.6 has aleady been obtained in [1] by diffeent methods. Theoem 3.7. Fo any integes n, m such that 1 m n, thee exist a cicuit C Z n with m(c) = m and a geneic eal olynomial system suoted on C whose numbe of ositive solutions is m + 1 Poof. By Poosition 3.5, thee exists a cicuit C = {0, w 0 = le 1, w 1,..., w m } Z m with m(c ) = m and olynomials g 1,...,g m such that the system x w i = g i (x 1 ), i = 1,..., m, has m + 1 ositive solutions. By Poosition 1.5, this means that the eliminant f of this system has m + 1 ositive oots at which g 1,...,g m ae ositive. Define w i := e i, i = m + 1,..., n,
18 FREDERIC BIHAN and choose olynomials g m+1,...,g n (as in (1.1)) which ae ositive at the eal oots of f. Then, the system x w i = g i (x 1 ), i = 1,...,n, is equivalent to a system suoted on the cicuit C = {0, w 0 = le 1, w 1,...,w n } Z n. The eliminant of this system is also f and we have m(c) = m(c ) = m. Poosition 1.5 and ou choice of g m+1,..., g n imlies that this system has also m + 1 ositive solutions. Theoem 3.8. Fo any integes n, m, R such that 0 R n and 1 m n, thee exist a cicuit C Z n with m(c) = m, k ( C) = R, and a geneic eal olynomial system suoted on C whose numbe of eal solutions, N, veifies: (1) if R m, then N = 2 n R (m + R + 1). (2) if R m, then N = 2 n R (2m + 1). Poof. The case R = 0 is an immediate consequence of Theoem 3.7. Suose that 0 < R m. By Poosition 3.6, thee exist a cicuit C = {0, w 0 = le 1, w 1,...,w m } Z m with m(c ) = m, k ( C ) = R, and olynomials g 1,...,g m such that the system (3.4) x w i = g i (x 1 ), i = 1,...,m, has 2 m R (m + R + 1) eal solutions. Hee and in the est of the oof g i is a olynomial as in (1.1). Since k ( C ) 0, we may assume that l is odd. Define w i := 2e i, i = m + 1,...,n, and choose olynomials g m+1,...,g n which ae ositive at the eal oots of the eliminant f of (3.4). Then, the system (3.5) x w i = g i (x 1 ), i = 1,..., n, is equivalent to a system suoted on the cicuit C = {0, w 0 = le 1, w 1,...,w n } Z n. We have m(c) = m(c ) = m, k ( C) = k ( C ) = R and f is also the eliminant of (3.5). Moeove the sign conditions in Poosition 1.2 which coesond to (3.5) ae obtained fom those coesonding to (3.4) by adding g i () > 0 fo i = m + 1,..., n (note that l m+1 =... = l n = 0). But since (3.4) has 2 m R (m + R + 1) eal solutions, and l is odd, it follows fom Poosition 1.2 that the sign conditions coesonding to (3.4) ae satisfied at m + R + 1 eal oots of f. By ou choice of g m+1,...,g n, the sign conditions coesonding to (3.5) ae satisfied at the same m + R + 1 eal oots of f. Hence, again by Poosition 1.2, the system (3.5) has 2 n R (m + R + 1) eal solutions. Finally, suose that R > m. The idea is exactly as befoe. By Poosition 3.6, thee exist a cicuit C = {0, w 0 = le 1, w 1,..., w m } Z m with m(c ) = m, k ( C ) = m and olynomials g 1,...,g m such that the system (3.4) has 2m + 1 eal solutions. Accoding to Poosition 1.2 (see also Remak 1.4), this means that the eliminant f of this system has 2m + 1 eal oots. Define w i := e i, i = m + 1,..., R, w i := 2e i, i = R + 1,..., n and choose olynomials g R+1,..., g n which ae ositive at the oots of the eliminant f. Then, the system (3.5) is equivalent to a system suoted on the cicuit C = {0, w 0 =
POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS 19 le 1, w 1,...,w n } Z n. We have m(c) = m, k ( C) = R and (3.5) has 2 n R (2m + 1) eal solutions. Refeences [1] B. Betand, F. Bihan, and F. Sottile, Polynomial Systems with Few Real Zeoes, AXiv:math.AG/0502051, to aea in Math. Zeitschift. [2] E. Bugallé, Real lane algebaic cuves with asymtotically maximal numbe of even ovals, AXiv:math.AG/0411097, to aea in Duke Mathematical Jounal. [3] E. Bugallé, Coubes algébiques éelles et coubes seudoholomohes éelles dans les sufaces églées, Phd thesis, Univesity of Rennes 1, Fance, (2004), (in english), htt://tel.ccsd.cns.f/documents/achives0/00/00/86/52/. [4] A.G. Kouchnienko, A Newton olyhedon and the numbe of solutions of a system of k equations in k unknowns, Us. Math. Nauk. 30 (1975), 266 267. [5] Tien-Yien Li, J. Mauice Rojas, and Xiaoshen Wang,Counting eal connected comonents of tinomial cuve intesections and m-nomial hyesufaces, Discete Comut. Geom. 30 (2003), no. 3, 379 414. MR 2 002 964 [6] S. Yu Oevkov, Riemann existence theoem and constuction of eal algebaic cuves, Ann. Fac. Sci. Toulouse Math. (6) 12 (2003), no. 4, 517 531. [7] S. Natanzon, B. Shaio, and A. Vainshtein, Toological classification of geneic eal ational functions, J. Knot Theoy Ramifications 11 (2002), no. 7, 1063 1075. [8] F. Sottile, Enumeative eal algebaic geomety, Algoithmic and quantitative eal algebaic geomety (Piscataway, NJ, 2001), 139 179, DIMACS Se. Discete Math. Theoet. Comut. Sci., 60, Ame. Math. Soc., Povidence, RI, 2003. [9] E. Sounova, F. Sottile, Lowe bounds fo eal solutions to sase olynomial systems, AXiv:math.AG/0409504, to aea in Advances in Mathematics. [10] B. Stumfels, On the numbe of eal oots of a sase olynomial system, Hamiltonian and gadient flows, algoithms and contol, 137 143, Fields Inst. Commun., 3, Ame. Math. Soc., Povidence, RI, 1994. Laboatoie de Mathématiques, Univesité de Savoie, 73376 Le Bouget-du-Lac Cedex, Fance E-mail addess: Fedeic.Bihan@univ-savoie.f