Archive 2020
ValidationCC+examen
EnseignantMarc Hindry
Horaires hebdomadaires 4 h CM , 6 h TD
Années M1 mathématiques (MFA)

Syllabus

La géométrie algébrique est l'étude des « objets » géométriques définis par des équations polynomiales. Un premier chapitre du cours reprend donc l'étude de l'anneau des polynômes en plusieurs variables et expose en particulier la correspondance entre algèbre (idéaux radicaux) et géométrie (parties fermées pour la topologie de Zariski) lorsque le corps de base est algébriquement clos. Le cours se poursuit avec l'introduction de l'espace projectif. À ce stade de l'élaboration du programme, les deux derniers chapitres sont des propositions. La première exposerait la théorie des courbes planes et notamment le théorème de Bézout sur le nombre de points d'intersection de deux courbes. La seconde introduirait des rudiments de géométrie algébrique réelle, où un phénomène nouveau apparaît.

Sommaire

  • Polynômes en plusieurs variables
    • rappels sur l'anneau des polynômes
    • résultant, discriminant
    • théorème des zéros de Hilbert
    • correspondance entre idéaux radicaux de $K[T_1,\dots,T_n]$ et fermés de $K^{n}$ ($K$, corps algébriquement clos)
    • théorème de normalisation de Noether
    • dimension
  • Espace projectif
    • polynômes homogènes
    • idéaux homogènes
    • correspondance entre idéaux radicaux homogènes de $K[T_0,\ldots,T_n]$ et fermés de $\mathbf{P}^{n}(K)$
  • Courbes planes
    • théorème de Bézout
  • Géométrie réelle
    • ensembles semi-algébriques de $\mathbf{R}^n$
    • théorème de Tarski (ce pourrait être l'occasion de faire le lien avec les cours de logique dans lesquels ce résultat est présenté comme « élimination des quantificateurs »)
    • Positivstellensatz

Bibliographie

  • Artin, M. (2017). Algebra. Pearson.
  • Atiyah, M.F. & Mc Donald, I.G. (1969). Commutative algebra, Addison-Wesley.
  • Bochnak, S., Coste, M. , Roy, M.F. (2010). Real algebraic geometry. Springer.
  • Reid, M. (2010). Undergraduate algebraic geometry. London Mathematical Society.