Un programme et un ensemble d'analogies et de correspondances précises qui relient des objets arithmétiques (primes, corps de nombres, groupes de Galois, groupes de classes) à des objets topologiques (nœuds, variétés de dimension trois, groupes fondamentaux, homologie), utilisés pour transférer intuitions et constructions entre les domaines.

Principe

Des correspondances structurelles associent des invariants algébriques à des invariants topologiques — par exemple primes ↔ nœuds, complétions/places ↔ voisinages tubulaires, groupes de Galois ↔ groupes fondamentaux, théorie du corps de classes ↔ abélianisation — de sorte que des schémas formels similaires guident les constructions des deux côtés.

Démonstration

Exemple : l'analogie selon laquelle un idéal premier isolé dans un corps de nombres se comporte comme un nœud dans une 3‑variété — sa décomposition dans des extensions de corps correspond au développement (branching) d'un revêtement ; la théorie du corps de classes abélienne correspond à l'abélianisation du groupe fondamental étale (ou profini), reflétant H_1 d'une variété.

Mauvaise application

Prendre l'analogie pour une équivalence de catégories ou appliquer des théorèmes topologiques mot pour mot à des contextes arithmétiques sans vérifier les hypothèses algébriques requises (par exemple finitude ou hypothèses géométriques), conduisant à des affirmations arithmétiques erronées.

Conséquence

Employée avec prudence, l'analogie oriente la définition de nouveaux invariants (nombres d'enlacement arithmétiques, analogues du polynôme d'Alexander), suggère des conjectures et importe des techniques (dualités cohomologiques, suites spectrales) qui ont produit des aperçus arithmétiques concrets.

Inversion

Du côté topologique, on peut utiliser des phénomènes arithmétiques pour suggérer de nouvelles constructions ou invariants topologiques ; la correspondance n'est pas unidirectionnelle mais une source de fertilisation croisée.

Limite

L'analogie est heuristique et partielle : il ne s'agit pas d'un théorème affirmant une équivalence de catégories. Elle s'applique généralement aux analogies entre corps de nombres et 3‑variétés, entre voisinages locaux/places et voisinages tubulaires, mais exclut les phénomènes reposant sur la continuation analytique des fonctions L ou sur les places archimédiennes sans réinterprétation soigneuse.

Tension sémantique

Il existe une tension avec la géométrie arithmétique : alors que la topologie arithmétique met l'accent sur des analogies topologiques de faible dimension, la géométrie arithmétique (schémas, motifs, cohomologie étale) propose un cadre technique différent et souvent plus rigide ; les deux approches se recoupent mais n'ont pas les mêmes méthodes ni les mêmes affirmations.

Synthèse

La topologie arithmétique est la pratique systématique d'identification et d'exploitation de parallèles structurels entre l'arithmétique et la topologie de basse dimension — faisant correspondre primes et nœuds, groupes de Galois/groupes fondamentaux et théorie des revêtements — et utilisant l'intuition topologique pour proposer des constructions arithmétiques, et réciproquement, en respectant les limites de l'analogie.