Skip to main content Accessibility help
×
Home

MM. Borel, Tits, Zil′ber et le Général Nonsense

  • Bruno Poizat (a1)

Extract

Le rêve secret de tout logicien, c’est de prouver un résultat mathématique significatif avec des moyens de fortune; ce rêve se réalise parfois de manière quelque peu biaisée, le théorème obtenu n’étant qu’une version trop simplifiée, ou bien trop adaptée aux besoins de la logique, pour convaincre un mathématicien normal. C’est pour cela que j’annonce d’emblée la couleur, et que je précise les règles du jeu: la version du théorème de Borel-Tits que je vais montrer, concernant les groupes algébriques simples sur un corps de base algébriquement clos, sera considérée comme pratiquement évidente par un géomètre; mais c’est, à mon avis, la seule qui ait un intérêt pour un théoricien des modèles.

Quand on entreprend ainsi de redémontrer une version simple d’un résultat par ailleurs bien connu, le seul intérêt est dans la méthode: ce que je veux, ici, c’est présenter une preuve qui n’utilise aucune information, ou presque, sur la structure algébrique de ces groupes; il est même souhaitable d’oublier qu’il s’agit de groupes linéaires! Elle repose sur des résultats généraux concernant les groupes de rang de Morley fini, dus à divers auteurs, dont le principal, Boris Iosifovič Zil′ber, a déjà fait une tentative similaire [Zil′ber 1984]; je poursuis ici cette tentative, mais en me limitant à des arguments encore moins spécifiques au contexte de la géométrie.

Si je fais ainsi, ce n’est pas pour donner l’impression que l’unique ambition de la théorie des modèles est de montrer des résultats triviaux par des méthodes triviales.

Copyright

References

Hide All
[Borel-Tits 1973] Borel, Armand and Tits, Jacques, Homomorphismes abstraits de groupes algébriques simples, Annals of Mathematics, ser. 2, vol. 97, pp. 499571.
[Borovik-Poizat 198?] Borovik, A. V. and Poizat, Bruno, Mauvais groupes(in Russian), Sibirskiĭ Matematičeskii Žurnal (soumis); English translation, Siberian Mathematical Journal (to appear).
[Cherlin 1979] Cherlin, Gregory, Groups of small Morley rank, Annals of Mathematical Logic, vol. 17, pp. 128.
[van den Dries 1982] van den Dries, Lou, Definable groups in characteristic 0 are algebraic groups, Abstracts of Papers Presented to the American Mathematical Society, vol. 3, p. 412.
[Hrushovski 1986] Hrushovski, Ehud, Contributions to stable model theory, Ph.D. thesis, University of California, Berkeley, California.
[Humphreys 1975] Humphreys, James E., Linear algebraic groups, Springer-Verlag, Berlin.
[Lascar 1985] Lascar, Daniel, Les groupes ω-stables de rang fini, Transactions of the American Mathematical Society, vol. 292, pp. 451462.
[Nesin 198?] Nesin, Ali, Ph.D. thesis, Yale University, New Haven, Connecticut.
[Poizat 1983] Poizat, Bruno, Une théorie de Galois imaginaire, this Journal, vol. 48, pp. 11511170.
[Poizat 1985] Poizat, Bruno, Poizat, Bruno, Théorie des modèles, Nur al-Mantiq wal-Ma’rifah, Villeurbanne.
[Poizat 1987] Poizat, Bruno, Poizat, Bruno, Groupes stables, Nur al-Mantiq wal-Ma’rifah, Villeurbanne.
[Poizat 1988] Poizat, Bruno, Poizat, Bruno, Missionary mathematics, this Journal, vol. 53, pp. 132145.
[Rosenlicht 1956] Rosenlicht, Maxwell, Some basic theorems on algebraic groups, American Journal of Mathematics, vol. 78, pp. 401443.
[Serre 1961] Serre, Jean-Pierre, Groupes pro-algébriques, Institut des Hautes Études Scientifiques, Publications Mathématiques, no. 7.
[Springer 1981] Springer, T. A., Linear algebraic groups, Birkhäuser, Basel.
[Weil 1955] Weil, André, On algebraic groups of transformations, American Journal of Mathematics, vol. 77, pp. 355391.
[Zil′ber 1977] Zil′ber, B. I., Groupes et anneaux de théorie catégorique (in Russian), Fundamenta Mathematicae, vol. 95, pp. 173188.
[Zil′ber 1984] Zil′ber, B. I., Some model theory of simple algebraic groups over algebraically closed fields, Colloquium Mathematicum, vol. 48, pp. 173180.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed