Une technique algébro-géométrique qui construit des polynômes auxiliaires ou des expressions déterminantielles s'annulant en de nombreux points rationnels ou entiers d'une variété, puis utilise l'algèbre linéaire et des considérations de degré/hauteur pour obtenir des majorations du nombre de tels points dans des boîtes ou de hauteur bornée.

Principe

Construire des polynômes de faible degré (souvent via l'annulation de déterminants formés par les évaluations de monômes en les points) qui doivent s'annuler identiquement sur une variété si trop de points rationnels de hauteur bornée apparaissent ; comparer degrés et multiplicités avec des contraintes de type Bézout pour imposer des bornes quantitatives sur le dénombrement.

Démonstration

Pour majorer les points entiers de hauteur ≤B sur une courbe plane de degré d, choisir un ensemble de points et former une matrice dont les lignes sont les évaluations d'une base de monômes ; si le déterminant s'annule pour des raisons combinatoires on obtient un polynôme auxiliaire non nul de degré contrôlé s'annulant en de nombreux points, conduisant à des bornes supérieures améliorant le compte trivial.

Mauvaise application

Appliquer la méthode du déterminant sans vérifier des hypothèses de non-dégénérescence (composantes singulières, paramétrisations) ou ignorer les relations degré/hauteur qui invalident les propriétés du polynôme auxiliaire construit ; utiliser l'annulation d'un déterminant comme outil de dénombrement générique sans apport géométrique.

Conséquence

Fournit des majorations explicites du nombre de points rationnels ou entiers sur des courbes et variétés de dimension supérieure de degré fixé, produisant souvent des gains en puissances et alimentant des résultats de finitude ou de rareté en géométrie diophantienne.

Inversion

Si une variété admet une paramétrisation par fonctions rationnelles (p. ex. courbes de genre 0 paramétrables), la construction déterminantale peut échouer à imposer une annulation restrictive et il peut exister une infinité de points rationnels de petite hauteur, ce qui inverse la conclusion de la méthode.

Limite

Plus efficace pour des variétés projectives ou affines sur corps de nombres avec contraintes de degré et de hauteur et lorsque la variété est suffisamment non dégénérée ; ne traite pas automatiquement les composantes paramétrables, les familles infinies provenant de sous-variétés rationnelles de dimension positive, ni des questions hors du cadre degré/hauteur.

Tension sémantique

Se distingue des méthodes analytiques (méthode du cercle) et des approches o-minimales : la méthode du déterminant est algébro-géométrique et locale en degré/hauteur, souvent plus forte pour des ensembles algébriques de faible degré, tandis que les méthodes analytiques ou model-théoriques peuvent mieux convenir aux grands degrés ou familles fonctionnelles.

Synthèse

La méthode du déterminant transforme un excès combinatoire de points rationnels ou entiers en existence d'un polynôme auxiliaire de faible degré via l'annulation d'un déterminant ; en comparant contraintes algébriques de degré/hauteur et multiplicités d'intersection on obtient des bornes concrètes sur le dénombrement de points, sauf en présence de paramétrisations spéciales.