Le domaine de la géométrie et de la géométrie algébrique qui compte les figures géométriques satisfaisant des conditions d'incidence ou d'intersection spécifiées, produisant typiquement des nombres finis (avec multiplicités) de solutions paramétrées par des espaces de modules et des données d'intersection.

Principe

Les comptes proviennent de la théorie de l'intersection : sous des hypothèses de position générale, le nombre de solutions coïncide avec un nombre d'intersection sur un espace de modules approprié ; multiplicités et dégénérescences sont traitées par des arguments raffinés d'intersection et de déformation.

Démonstration

Exemple classique : le nombre de droites dans l'espace projectif P^3 rencontrant quatre droites générales données est deux ; la démonstration moderne utilise les grassmanniennes et le calcul de Schubert pour calculer les nombres d'intersection représentant les conditions d'incidence.

Mauvaise application

Compter des configurations géométriques naïves sans tenir compte des multiplicités, de la position spéciale ou du module (par ex. intersections dégénérées ou familles) conduit à des réponses énumératives erronées ; ignorer la dépendance au corps de base peut aussi induire en erreur.

Conséquence

Des comptes énumératifs précis produisent des invariants tels que les nombres de Gromov–Witten, informent la cohomologie quantique et fournissent des prédictions énumératives explicites qui relient géométrie, topologie et physique pour des problèmes de comptage de courbes et de théorie d'intersection.

Inversion

La géométrie qualitative étudie l'existence, la structure et le comportement par déformation sans s'engager sur des cardinalités explicites ; elle privilégie les propriétés et familles plutôt que les comptes discrets.

Limite

Valide lorsque les configurations sont suffisamment générales ou dénombrables via des espaces de modules compactifiés ; sont exclus les contraintes mal posées donnant des familles infinies, les subtilités arithmétiques sur des corps non clos ou les comptes qui ne peuvent être régularisés sans structure supplémentaire.

Tension sémantique

Tension avec le comptage combinatoire : la géométrie énumérative incorpore des subtilités algébriques et de théorie de la déformation (multiplicités, classes virtuelles) qui n'ont pas d'analogue dans le comptage combinatoire naïf, produisant des nombres de nature géométrique plutôt que purement combinatoire.

Synthèse

La géométrie énumérative transforme des problèmes d'existence géométrique en invariants numériques précis : en passant par des espaces de modules et la théorie de l'intersection et en tenant compte des multiplicités et dégénérescences, elle produit des comptes robustes capturant des contraintes géométriques dans des cadres classiques et modernes.