[ Table des matires]

Sur lunicit de lquationdune conique affine

par Andr Warusfel
1.1. Soit un plan sur un corps K. Rappelons quune conique de ce plan est une courbe dfinie par une quation cartsienne de la forme

avec ( a, b, c) = (0 , 0, 0). Nous allons chercher quelle relation peut exister entre et tout polynme du second degr tel que ( x, y) = 0 soit une quation dfinissant la mme conique. Pour simplifier, sera galement appel quation de . Il est clair que, pour toute constante non nulle , est encore une quation de . Il est donc intressant dtudier si la rciproque est vraie. Si cest le cas, nous dirons quil y a unicit de lquation, ou que ne possde essentiellement quune seule quation. REMARQUE . Lexemple des quations y2 et y, qui dfinissent la mme conique mais ne sont pas proportionnelles, justifie que lon sen tienne strictement (comme nous lavons fait plus haut) des polynmes de degr 2 et non seulement infrieur ou gal 2. Toutefois une tude prcise, que nous ne ferons pas ici, montre que le seul cas o cette difficult se prsente est justement celui dune conique dcompose en une droite double. 2.2. Il est clair quil ne peut tre question dunicit si est vide ou rduite un point. Des exemples triviaux le montrent : pour K = R, x2 + 1 et y2 + 1 reprsentent toutes deux le vide, et x2 + y2 et x2 + 2 y2 reprsentent toutes deux le singleton (0 , 0). Il en existe dautres : ainsi, pour K = Q, 2 x2 + 3 y2 + 1 et 2x2 + 3y2 - 1 reprsentent toutes deux le vide [tudier si 3 divise ou non le numrateur rduit de x] ; etc. Dsormais, nous supposerons donc implicitement que possde au moins deux points. 3.3. Examinons dabord le cas du corps K = F2. Chacune des seize parties de F est une conique et peut admettre jusqu quatre quations non proportionnelles entre elles (le plan luimme en a trois, savoir x2 + x, y2 + y et x2 + y2 + x + y). Certaines nont que deux points, comme celle qui a pour quations y2 + x, y + x2 et x2 + y2. Le plan priv de son origine est runion de trois droites ( x = 1, y = 1 et x + y = 1) ; parmi ses quatre quations, xy + x + y + 1, x2 + xy + y + 1 et xy + y2 + x + 1 sont factorisables mais non la dernire, savoir x2 + xy + y2 + 1, qui est irrductible Dsormais, nous supposerons donc implicitement que K nest pas le corps F2 (et possde par

consquent au moins trois lments). 4.4. Pour dmontrer lunicit ventuelle de lquation dune conique, il suffit de le faire pour un repre affine particulier, o lquation de est aussi simple que possible. Supposons en effet que, pour un certain repre, toutes les quations de soient de la forme

avec = 0. Dans un autre repre affine o P ( , ) est une quation de lie par

toute autre quation Q est telle que, si lon pose = Q , Q ( , ) = 0 quivaut ( x,y ) = 0 do

5.5. Montrons que lorsque la conique est dcompose [cestdire contient une droite, et est en fait runion de deux droites, scantes, strictement parallles ou confondues en une droite double ], il y a unicit de lquation. 5.1.a. Supposons en effet que la droite dquation y = 0 soit incluse dans . Une quation de cette conique, aprs changement ventuel de repre affine, est alors selon le cas xy, y ( y + k) [avec k = 0] ou y2 : le polynme ax2 + dx + f devant en effet sannuler pour au moins trois valeurs, on a donc a = d = f = 0 et lquation y ( bx + cy + e) qui conduit aux trois formes annonces selon que lon a b = 0, b = 0 = ce ou b = e = 0 = c. 5.2.b. Pour xy, il est clair que les polynmes ax2 + dx + f et cy2 + ey + f sont identiquement nuls, do a = d = f = c = e = 0 et lquation bxy avec b = 0 (pour viter que le plan ne soit confondu avec ). 5.3.c. Pour y ( y + k), il est clair que les polynmes ax2 + dx + f et a x2 + ( d - kb) x + ck2 - ek + f sont identiquement nuls, do a = d = f = - b k = ck2 - ek = 0 et lquation cy ( y + k) avec c = 0 (pour viter que le plan ne soit confondu avec ). 5.4.d. Pour y2 , il est clair que le polynme ax2 + dx + f est identiquement nul, do a = d = f = 0 et lquation y ( b x + cy + e) avec ( b,c ) = (0 , 0). Si b = 0, on obtient un point [(-( c + e) b, 1)] tranger ; on en dduit b = 0 = c, puis e = 0 puisque tout point dordonne - ec doit appartenir . En rsulte lquation cy2, qui termine ltude du cas des coniques dcomposes (sur un corps autre que F2) qui possdent donc essentiellement une seule quation. 6.6. En sens oppos, nous allons montrer que, dans les corps F3 et F4, lunicit essentielle de lquation dune conique non dcompose nest nullement assure. 6.1.a. Soit en effet dans F3, la conique forme des deux points (0 , 0) et (1 , 0) : elle possde

essentiellement trois quations, savoir x2 - y2 - x, x2 + xy - x + y et x2 - xy - x - y, ainsi que leurs opposs. 6.2.b. Soit en effet dans F4 = F2[ X] ( X2 + X + 1), engendr sur F2 par la classe de X note et telle que 2 = + 1 la conique forme des quatre points (0 , 0), (1 , 1), ( ,2) et ( 2,) ; elle possde essentiellement deux quations, savoir x2 + y et y2 + x, ainsi que leurs produits par et 2. Les deux corps tudis cidessus sont les seuls corps ayant respectivement 3 et 4 lments. Dsormais, nous supposerons donc implicitement que K nest aucun des corps F2, F3 et F4 et possde par consquent cinq lments [si K = F5] ou au moins sept lments (puisquil nexiste pas de corps de cardinal 6). 7.7. Par une translation affine, portons lorigine en un point de qui devient ainsi dfinie par une quation de la forme

o labscisse et lordonne sont respectivement notes z et y. 7.1.a. Si D = E = 0, la conique est dcompose ou rduite un point selon que le polynme A z2 + B zy + C y2 est factorisable ou irrductible. Dans le premier cas, nous savons quil y a unicit ; le second a t exclu de notre tude. 7.2.b. Supposons donc par exemple D = 0 et posons x = E y + Dz. Lquation devient, aprs multiplication par D2 :

o u = BD - 2 AE et v = AE 2 + CD 2 - BDE. Si v = 0, se dcompose et nous sommes encore ramens lunicit. Nous supposerons donc maintenant v = 0. 7.3.c. Soit ( x, y) un point de la conique autre que lorigine : poser t = yx conduit aussitt la reprsentation paramtrique de prive du point (0 , 0)

dans laquelle t prend toutes les valeurs de K qui nannulent pas le dnominateur. Il en existe donc au moins quatre si K nest pas F5, ou si K = F5 mais si v t 2 + ut + A nest pas simplement scind. Si ( x, y) = a x2 + bxy + cy2 + dx + ey est une quation de , pour toutes ces valeurs de t on a

7.4.d. Supposons que nous disposions de quatre valeurs distinctes de t . Elles annulent un polynme de degr 3 au plus, qui est donc nul ; en rsultent lgalit ev = 0, puis e = 0, c = dvD 2, b =

duD 2 et enfin a = dAD2, do lquation

qui prouve (une fois de plus) lunicit essentielle de lquation de . 8.8. Lunicit est donc vraie pour toute conique dcompose ayant au moins deux points pour un corps autre que F2 et, plus gnralement, pour toute conique ayant au moins deux points pour un corps autre que F2, F3, F4 ou F5. Examinons maintenant ce dernier cas. Nous avons vu quil y avait unicit si le dnominateur v t 2 + ut + A navait pas deux zros distincts. Supposons donc quil existe r = s tels que v t 2 + u t + A = v ( t - r )(t - s), do A = v rs et u = - v ( r + s). Posons p = D2 v = 0 et

est maintenant dfinie par XY + p2 = 0, puisque

Soit ( X, Y ) = aX2 + bXY + cY 2 + dX + eY + f une quation de . Pour tout X = 0, on dispose de lgalit

Vrifie pour tout X non nul dans F5, on peut lidentifier lgalit a( X4 - 1) = 0 ce qui conduit finalement lquation

Considre comme une quation en Y , on vrifie aussitt quelle admet bien Y = - p2 X comme racine. Pour quelle nadmette aucune autre racine, il faut et il suffit que c = 0 ou, en cas contraire, que la somme des racines soit - 2p2X . Or ce dernier cas est exclu, puisquil conduit lgalit bX2 = 2cp2 = 0, contredite par lexamen des cas X = 1 et X = 2. Finalement c = 0 et ( X,Y ) = b( XY + p2) = b( X,Y ), ce qui prouve lunicit pour toute conique ayant au moins deux points pour K = F5. 9.9. Un thorme bien connu dit que cinq points dterminent une conique : les calculs prcdents induisent une formulation prcise de cette proprit. Soient et C deux coniques ayant au moins cinq points en commun, et et des quations de ces courbes dans un mme repre dont lorigine est lun des points de C. Si nest pas dcompose, nous avons vu quelle admet une reprsentation paramtrique de la forme

Chacun des quatre points dintersection autres que (0 , 0) correspond une valeur du paramtre t ; pour ces quatre valeurs, nous obtenons un couple ( x,y ) annulant , donc un polynme du troisime degr de la forme

Nous avons vu que cela impliquait = D2v et, par consquent, lgalit de et de C.

10.10. Pour des corps de cardinal q, les calculs cidessus montrent quune conique non dcompose ayant au moins deux points en a au plus q + 1 et au moins q - 1. Par ailleurs une conique dcompose possde videmment q, 2q - 1 ou 2q points selon le cas. Il en rsulte que, sur F2, aucune conique na cinq points. Sur F3, seul un couple de parallles a six points et, par suite, deux coniques ayant cinq points communs sont ncessairement confondues. Sur F 4 , il existe des coniques nayant que quatre points (ex : xy - 1). Si deux coniques distinctes ont cinq points en commun et si lune delles nest pas dcompose, elle est incluse dans lautre qui est donc dcompose en la runion dau plus deux droites ; sur ces cinq points, il y en a ncessairement trois aligns ce qui contredit le fait que la premire nest pas dcompose. Nous savons donc que, pour des corps de cardinaux strictement infrieurs 5, il ne peut exister de coniques distinctes ayant cinq points en commun. Etudions maintenant le cas de deux coniques distinctes et C pour un corps ayant au moins cinq lments : si elles sont sont toutes deux dcomposes et sans droite commune, leur intersection est videmment limite quatre points au plus, comme dans le cas o lune delles ntait pas dcompose. 11.11 Nous disposons donc finalement des thormes suivants : dans un plan dfini sur un corps K diffrent de F 2 , une conique ayant au moins deux points ne peut admettre deux quations non proportionnelles que si elle nest pas dcompose et si K = F3 ou K = F4. Pour que deux coniques distinctes aient au moins cinq points en commun il faut quelles aient une droite en commun et que le corps ait au moins cinq lments. 12.12. Exercices (proposs par Y. HELLEGOUARCH ) 12.1.a. Une conique projective , de caractristique diffrente de 2, qui possde 2 points en admet exactement # K + 1 si les points linfini sont imaginaires et # K - 1 sils sont rels. Vrifier cette proprit dans le texte. 12.2.b. Vrifier que les exceptions du thorme dfinissent des coniques distinctes dans deux extensions quadratiques de K. 12.3.c. Montrer que les coniques dquations

dfinissent le mme sousensemble de cardinal six dans (Z6Z) 2. [ Table des matires] [<]