Le domaine qui applique les techniques de la géométrie algébrique à des problèmes arithmétiques : étude des solutions d'équations polynomiales sur des anneaux et corps d'intérêt arithmétique (corps de nombres, corps finis, corps p‑adiques) et de la structure arithmétique des variétés algébriques.

Principe

Les structures géométriques (schémas, faisceaux, cohomologie, espaces de modules) organisent l'information arithmétique : réduction modulo p, modèles de Néron, cohomologie étale et cristalline, et les hauteurs traduisent les propriétés géométriques en contraintes arithmétiques et réciproquement.

Démonstration

L'étude des points rationnels d'une courbe elliptique sur Q mobilise sa structure de schéma, le théorème de Mordell–Weil qui décrit le groupe abélien de points rationnels comme de type fini, la réduction de la courbe modulo des premiers pour analyser le comportement local, et l'usage des modèles de Néron pour contrôler les points entiers et la mauvaise réduction.

Mauvaise application

Considérer la géométrie arithmétique comme une simple résolution algorithmique d'équations diophantiennes ou appliquer des intuitions géométriques issues de corps algébriquement clos sans tenir compte de phénomènes arithmétiques comme les corps résiduels incomplets, la ramification ou la torsion en cohomologie.

Conséquence

La géométrie arithmétique fournit un langage unificateur et des outils puissants (cohomologie, descente, espaces de modules) pour démontrer des résultats de finitude, formuler et attaquer des conjectures, et établir des ponts vers des théories automorphes et p‑adiques.

Inversion

Se concentrer uniquement sur la géométrie algébrique sur corps algébriquement clos en ignorant les invariants arithmétiques et les principes local‑globaux ôte le contenu arithmétique et les conséquences diophantiennes centrales à la géométrie arithmétique.

Limite

Concerne schémas, variétés et leur arithmétique sur corps de nombres, corps finis et corps locaux ; recoupe mais se distingue de la théorie analytique des nombres et de la théorie des représentations et n'inclut pas les méthodes purement transcendantes ou analytiques sauf lorsque celles‑ci interfacent avec des constructions géométriques.

Tension sémantique

Une tension existe entre l'usage d'abstractions géométrico‑cohomologiques (mettant l'accent sur la structure et la généralité) et la recherche de résultats diophantiens explicites ou de méthodes effectives (qui exigent bornes, hauteurs et contrôles concrets).

Synthèse

La géométrie arithmétique synthétise des méthodes schématiques et cohomologiques avec des questions arithmétiques sur solutions rationnelles et entières, utilisant la structure géométrique pour organiser et attaquer des problèmes numériques tout en reconnaissant les limites imposées par des subtilités arithmétiques.