Frobenian for Selberg sums (Q1906484)

L'objet de cet article est de démontrer un analogue de la formule de Selberg en cohomologie analytique rigide. Cette question a déjà été étudiée par \textit{F. Baldassarri} [\(p\)-adic interpolation of Evans sums and deformation of the Selberg integrals: an application of Dwork's theory, Special differential equations, Proc. Taniguchi Workshop 7-35 (1991)] comme un exemple d'application de la théorie de Dwork à une configuration non régulière. D'autre part, \textit{G. Anderson} [C. R. Acad. Sci., Paris, Sér. I 311, 469-472 (1990; Zbl 0724.11063)] a démontré les conjectures d'Evans pour les sommes de caractères associées à la formule de Selberg. Nous utilisons ici la géométrie particulière des intégrales de Selberg dans un contexte rigide: nous introduisons un module différentiel entrelaçant les modules de Selberg de dimension \(n\) et \(n-1\). Cette approche a l'avantage de nous fournir (Proposition 3.1) des flèches bijectives et compatibles avec les actions de Frobenius reliant, d'une part, le module d'entrelacement et le module de Selberg de dimension \(n\), et d'autre part, le module d'entrelacement et le module de Selberg de dimension \(n-1\) lorsque les exposants \((a,b,c)\) satisfont des conditions de généricité naturelles (i.e. celles qui correspondent aux singularités du membre de droite de la formule de Selberg). Nous en déduisons dans un premier temps le résultat suivant pour des exposants génériques en ce sens (Théorème 3.2), prouvé dans [Baldassarri, loc. cit.] à l'aide d'un théorème de comparaison entre cohomologie rigide et cohomologie algébrique, pour \((a,b,c)\) vérifiant certaines conditions de généricité: \[ \text{(i)} \forall k,0\leq k\leq n-1, H^k_{DR} \bigl({\mathcal H}^\dag (S_n), \nabla_{S_n}^{a,b,c} \bigr)=0 \quad\text{(ii)} \dim_{\mathbb{C}_p} H^n_{DR} \bigl({\mathcal H}^\dag (S_n), \nabla_{S_n}^{a,b,c} \bigr)=1 \tag{1} \] et cet espace est engendré par la classe \([dG_0 \wedge \dots \wedge dG_{n-1}]_{a,b,c}\). Le résultat principal que nous démontrons alors (cf. [Baldassarri (loc. cit.), formules (31) et (32)]), est la formule de Selberg cohomologique (Théorème 3.3) exprimant, à l'aide de la fonction \(\gamma_p\) de Dwork la valeur propre des applications de Frobenius: \[ H^n_{DR} \bigl({\mathcal H}^\dag(S_n),\;\nabla_{S_n}^{a',b',c'} \bigr)\to H^n_{DR} \bigl( {\mathcal H}^\dag (S_n),\;\nabla_{S_n}^{a,b,c} \bigr) \] relativement à leur base ci-dessus (1), pour \((a,b,c)\) et \((a',b',c')\) dans \((\mathbb{Z}_p \cap \mathbb{Q})^3\) vérifiant \((pa'-a,\;pb'-b,\;pc'-c)\in \mathbb{Z}^3\) supposés génériques au sens ci-dessus. La première partie traduit la méthode d'Anderson en termes de cohomologie rigide, ce qui soulève des questions d'excision qui sont traitées dans la deuxième partie. Enfin, dans la troisième partie, nous utilisons ces résultats pour prouver par récurrence les deux théorèmes annoncés ci-dessus. Nous retrouvons alors (3.4) comme conséquence du théorème 3.3 une preuve des conjectures d'Evans.