Intersective Polynomials and Universal Separation of Divosor Profiles

Résumé Technique : Polynômes Intersectifs et Séparation Universelle des Profils de Diviseurs

Énoncé du Problème
L'article traite de la classification de la « séparation universelle des profils de diviseurs » pour des paires de polynômes entiers $F, G \in \mathbb{Z}[x]$. Pour un sous-ensemble $A \subset \mathbb{N}$ et un entier $m$, soit $d_A(m)$ le nombre de membres de $A$ qui divisent $m$. La propriété $P(F, G)$ est définie comme la condition que, pour tout ensemble infini $A \subset \mathbb{N}$, la différence entre les comptes de diviseurs des valeurs polynomiales est non bornée :
$$\limsup_{n \to \infty} \delta_A(F(n), G(n)) = \infty$$
où $\delta_A$ est une fonction de différence étendue gérant les cas où les arguments s'annulent. La question centrale, étendant les travaux antérieurs de Sárkőzy et Ding sur les paires linéaires, est de déterminer exactement quelles paires de polynômes satisfont $P(F, G)$, particulièrement lorsque les polynômes partagent des facteurs communs ou possèdent des degrés arbitraires.

Méthodologie
Les preuves reposent sur une combinaison de théorie analytique des nombres, de théorie algébrique des nombres et d'arguments combinatoires :

1. Valeurs Presque-Premières Uniformes : L'auteur utilise un théorème de saturation classique de Halberstam et Richert. Une contribution technique clé est le Lemme 3.1, qui établit une borne uniforme sur le nombre de facteurs premiers ($\Omega$) pour les polynômes à valeurs entières sur des progressions arithmétiques spécifiques (progressions de racines), indépendamment des coefficients du polynôme.
2. Routage Local Adaptatif : Pour gérer les facteurs communs, l'article emploie un mécanisme de « routage local adaptatif ». Cela implique la construction de progressions arithmétiques où des diviseurs spécifiques sont forcés de diviser un polynôme tout en étant contrôlés (maintenus petits ou ne divisant pas) pour l'autre, routant ainsi les diviseurs à travers des branches linéaires où les valuations peuvent être gérées.
3. Théorie de Galois et Densité de Chebotarev : Pour les polynômes partageant des facteurs, l'analyse se déplace vers le groupe de Galois du corps de décomposition. L'existence de racines modulo des nombres premiers est liée à l'action des éléments de Frobenius. L'article utilise le théorème de densité de Chebotarev pour relier l'existence de racines modulo presque tous les nombres premiers (couverture par les nombres premiers) à l'absence de dérangements dans l'action du groupe de Galois sur les racines.
4. Analyse Locale-Globale : La distinction entre « intersectif » (possède une racine modulo tout entier) et « couverture par les nombres premiers » (possède une racine modulo presque tous les nombres premiers) est résolue par l'analyse de l'ensemble fini de « mauvais » nombres premiers et de leurs profils de racines $p$-adiques, particulièrement pour les polynômes de bas degré.

Contributions Clés et Résultats

1. Classification des Coprimés (Théorème 1.1) :
   Pour des polynômes non nuls et premiers entre eux $F, G \in \mathbb{Z}[x]$, la propriété $P(F, G)$ est vérifiée si et seulement si au moins l'un des polynômes est intersectif (possède une racine modulo tout entier positif). Ce résultat généralise les classifications linéaires antérieures à des degrés arbitraires.

2. Dominance Simultanée (Théorème 1.2) :
   L'article prouve un énoncé simultané plus fort : si $F$ possède un diviseur intersectif non constant $H$ premier avec un ensemble fini d'opposants $G_1, \dots, G_s$, alors $F(n)$ finit par dominer les comptes de diviseurs de tous les $G_j(n)$ simultanément pour tout ensemble infini $A$.

3. Obstruction de Support Commun (Théorème 1.3 & Corollaire 1.4) :
   Lorsque $F$ et $G$ partagent des facteurs, soit $C$ le produit des facteurs irréductibles communs, et $U, V$ les produits des facteurs propres à $F$ et $G$, respectivement.

• Une condition nécessaire pour $P(F, G)$ est que le produit $UV$ possède une racine modulo tous les nombres premiers, sauf un nombre fini (c'est-à-dire que $UV$ est une couverture par les nombres premiers).
• Équivalemment, le groupe de Galois de $UV$ agissant sur ses racines ne doit contenir aucun dérangement (éléments ne fixant aucune racine).

4. Classification Complète de Degré Deux (Corollaire 1.6) :
   Pour les paires de degré au plus deux, l'article résout la « frontière $p$-adique finie » restante. La propriété $P(F, G)$ est vérifiée si et seulement si :

• $UV$ est une couverture par les nombres premiers (condition de Galois), et
• Au moins un de $F$ ou $G$ est intersectif.
  Le critère est montré comme étant invariant par rapport aux contenus et aux multiplicités de facteurs.

5. Trois Facteurs de Support Linéaires (Théorème 1.5) :
   Pour une famille spécifique impliquant trois facteurs de support linéaires ($L, U, V$) avec des multiplicités positives arbitraires, l'article fournit une classification complète. $P(F, G)$ est vérifié si et seulement si $\gcd(|u|, |v|) = 1$ et $\min\{\gcd(|\ell|, |u|), \gcd(|\ell|, |v|)\} = 1$. Cela correspond à la condition que $UV$ et au moins l'un de $F, G$ soient intersectifs.

6. Test d'Intersectivité (Proposition 5.2) :
   L'article fournit un test fini et complet pour l'intersectivité des polynômes de degré au plus trois, détaillant les conditions sur les discriminants et la solvabilité locale pour les facteurs quadratiques et cubiques.

Signification et Revendications
L'article affirme fournir la première classification complète de la séparation universelle des profils de diviseurs pour des paires de polynômes coprimés de degré arbitraire. Il isole le « support du quotient » ($UV$) comme le facteur directeur de l'obstruction par facteur commun, distinguant la condition globale de Galois (couverture par les nombres premiers) de la condition locale $p$-adique (intersectivité).

L'auteur note que si la condition de Galois (absence de dérangements) est nécessaire, elle n'est pas suffisante pour le cas des facteurs communs en raison de la « frontière $p$-adique finie ». L'article parvient à combler ce fossé pour toutes les paires de degré au plus deux et pour des configurations spécifiques de degré supérieur impliquant trois facteurs linéaires. Le travail étend la portée des problèmes de récurrence polynomiale et de ensembles de différences, passant des voisins linéaires aux opposants polynomiaux arbitraires et aux degrés supérieurs.

L'article stipule explicitement qu'il ne fournit pas de critère fini local-Galois complet pour le cas général où $UV$ est une couverture par les nombres premiers mais où ni $U$ ni $V$ ne sont intersectifs (Question 6.2), identifiant cela comme un problème ouvert nécessitant une combinaison d'analyse de couverture de groupes de permutations et d'analyse de branches $p$-adiques.