text:
# An influence functional for ultrasoft QCD

## Abstract

A real-time path integral for ultrasoft QCD is formulated. It exhibits a Feynman’s influence functional. The statistical properties of the theory and the gauge symmetry are explicit. The correspondence is established with the alternative version, where a noise term enters a transport equation.

Ultrasoft QCD is an effective theory for gluons at high temperature $`T(g(T)1)`$ at distance and time scales larger than $`(gT)^1`$, i.e. the scales $`T^1`$ and $`(gT)^1`$ have been integrated out . The two dominant features are the coloured collective excitations of the gluons, and the important energy dissipation towards smaller distance scales.
This last feature forbids an imaginary time formalism. In the real time formalism, an effective action has been found  which exhibits simple and interesting features. Here, the time has to run forwards and backwards along the time axis, $`A^+`$ is the field component that lives on the forward branch, and $`A^{}`$ lives on the backward branch. The appropriate basis for writing this action is

$$A^{(1)}=(A^++A^{})/2,A^{(2)}=A^+A^{},$$
(1)
known as the Keldysh basis . The effective action for ultrasoft QCD reads

$$S(A^{(1)},A^{(2)})=S_0(A^{(1)},A^{(2)})+S_{\mathrm{IF}}(A^{(1)},A^{(2)}),$$
(2)
where $`S_0`$ is the Yang-Mills action in this basis:

$`S_0(A^{(1)},A^{(2)})={\displaystyle _X}{\displaystyle \frac{1}{4}}[F_{\mu \nu }^+F^{+\mu \nu }F_{\mu \nu }^{}F^{\mu \nu }]`$
$`={\displaystyle \frac{1}{2}}{\displaystyle _X}(D^{(1)\mu }A^{(2)\nu }D^{(1)\nu }A^{(2)\mu })^a(F_{\mu \nu }^{(1)a}+gf^{abc}A_\mu ^{(2)b}A_\nu ^{(2)c}/4)`$ (3)
where $`_X=_{\mathrm{}}^+\mathrm{}𝑑td^3x`$ , $`a`$ is a color index, $`D_x^{(1)ab}=\delta ^{ab}_X+gf^{abc}A^{(1)c}`$ is the covariant derivative built with the field $`A^{(1)}`$ in the adjoint representation. Furthermore:

$`S_{\mathrm{IF}}(A^{(1)},A^{(2)})={\displaystyle _X}A^{(2)\mu }(X)j_\mu (X;A^{(1)})`$
$`+i{\displaystyle _{X,Y}}{\displaystyle \frac{1}{2}}A^{(2)\mu }(X)K_{\mu \nu }(X,Y;A^{(1)})A^{(2)\nu }(Y),`$ (4)
where the trace over the colour indices is implicitly understood. $`j^\mu (X;A^{(1)})`$ is the response function, i.e. the response of the plasma to a small external perturbation at the appropriate scale. In this nonlinear theory

$`j^\mu (X;A^{(1)})=\mathrm{\Pi }_{ret}^{\mu \nu }A_\nu ^{(1)}+{\displaystyle \frac{1}{2}}\mathrm{\Gamma }_{ret}^{\mu \nu \rho }A_\nu ^{(1)}A_\rho ^{(1)}+\mathrm{}.`$ (5)
$`j_\mu `$ is expressed in terms of the (retarded) propagator along jagged paths in a background coloured field $`A^{(1)}(X)`$

$`j_\mu ^a(X;A^{(1)})=m_D^2[g_{0\mu }A_0^{(1)a}(X)`$ (6)
$`+i{\displaystyle _{v,v^{}}}{\displaystyle }d^4Yv_\mu G_{ret}^{ab}(X,Y;A^{(1)};𝐯,𝐯^{})_{Y_0}(v^{}A^{(1)b}(Y))]`$
where $`m_D^2=g^2NT^2/3`$, $`_v=𝑑\mathrm{\Omega }_v/4\pi `$, and $`G_{ret}`$ is the retarded Green function defined as the solution to:

$$i(vD_x^{(1)}+\widehat{C})G_{ret}(X,Y;A^{(1)};𝐯,𝐯^{})=\delta ^{(4)}(XY)\delta _{S_2}(𝐯𝐯^{})$$
(7)
$$\widehat{C}G_{ret}(X,Y;A^{(1)};𝐯,𝐯^{})=_{v\mathrm{"}}C(𝐯,𝐯\mathrm{"})G_{ret}(X,Y;A^{(1)};𝐯\mathrm{"},𝐯^{})$$
(8)
with the condition $`G_{ret}(X,Y)=0`$ for $`X_0<Y_0`$ . $`vD_x^{(1)}`$ is the covariant drift operator in the space-time direction $`v^\mu =(1,𝐯)`$ ($`𝐯^2=1`$). The collision operator $`\widehat{C}`$ is local in $`X`$, and changes the $`𝐯`$ direction of the drift. It is symmetric in $`𝐯`$ and $`𝐯^{}`$, and has positive eigenvalues of order $`g^2T\mathrm{ln}1/g`$, except for a zero mode $`_vC(𝐯,𝐯^{})=0`$. Its explicit form can be found in Refs. .

The dissipation comes from $`\widehat{C}`$ and it gives rise to the second term in the action. $`K_{\mu \nu }`$ was found to be the complement to $`j_\mu `$ that is needed to fulfill the KMS constraints, which exist, for each $`n`$, on $`n`$-point amplitudes.

$`K_{\mu \nu }^{ab}(X,Y;A^{(1)})=im_D^2T`$ (9)
$`{\displaystyle _{v,v^{}}}\left[v_\mu G_{ret}^{ab}(X,Y;A^{(1)};𝐯,𝐯^{})v_\nu ^{}+v_\nu G_{ret}^{ba}(Y,X;A^{(1)};𝐯,𝐯^{})v_\mu ^{}\right].`$
Note that $`iG_{ret}(X,Y;A;𝐯,𝐯^{})`$ is real, therefore $`j_\mu (X;A^{(1)})`$ is real, while $`K^{\mu \nu }(X,Y;A^{(1)})`$ is real and positive. For example

$`K^{\mu \nu }(p_0,𝐩;A^{(1)}=0)={\displaystyle \frac{T}{p_0}}\mathrm{\hspace{0.17em}\hspace{0.17em}2}\mathrm{Im}\mathrm{\Pi }_{ret}^{\mu \nu }(p_0,𝐩).`$ (10)
The occurrence of $`K^{\mu \nu }(X,Y;A^{(1)})`$ in the action may be interpreted as the extension to a nonlinear case of the fluctuation-dissipation relation .

As early as 1963, Feynman introduced the influence functional $`\mathrm{exp}iS_{\mathrm{IF}}`$. In a path integral approach, this factor accounts for the influence of the environment upon the system. Feynman examined the case of gaussian influence functionals, i.e. $`S_{\mathrm{IF}}`$ quadratic both in $`A^+`$ and $`A^{}`$, and he showed  that the term linear in $`A^{(2)}`$ should be real, while the term quadratic in $`A^{(2)}`$ should be imaginary. The action (4) exhibits these properties for the $`A^{(2)}`$ dependence, while it is fully non-linear in the non-abelian gauge field $`A^{(1)}`$. From Feynman’s point of view, the modes of the QCD plasma with momenta $`pgT`$ made up the “system”, while the role of the “environment” is played by the modes that have been integrated out, i.e., by the modes with momenta $`pgT`$. This interpretation will be fully developed somewhere else . Recent applications of the influence functional  did not consider gauge theories.

Ultrasoft QCD is in fact a semi-classical theory . Indeed the number of gluons is $`N_g(p_0T)T/p_01`$, i.e. $`N_gN_g+1`$, and the commutation relations’ effect should be negligible. $`A^{(1)}`$ may be identified with a classical field, while $`A^{(2)}`$ describes the thermal fluctuations around it. The physical role of the $`A^{(2)}`$ field is to balance, via its fluctuation, the dissipation associated with the collision term, in such a way that the field $`A^{(1)}`$ remains in thermal equilibrium.

The action (3)–(4) is invariant under the gauge transformations of the $`A^{(1)}`$ field, with $`A^{(2)}`$ transforming covariantly, as well as $`j^\mu `$ and $`K^{\mu \nu }`$,

$$A^{(1)\mu }hA^{(1)\mu }h^{}(i/g)h^\mu h^{},A^{(2)\mu }hA^{(2)\mu }h^{}.$$
(11)
Moreover $`j_\mu `$ and $`K^{\mu \nu }`$ are covariantly conserved:

$`D_\mu ^{(1)}j^\mu `$ $`=`$ $`0,`$
$`D_{x\mu }^{(1)}K^{\mu \nu }`$ $`=`$ $`D_{y\nu }^{(1)}K^{\mu \nu }=\mathrm{\hspace{0.17em}0}.`$ (12)
The generating functional of the $`n`$-point correlation functions of the fields $`A^{(1)},A^{(2)}`$ at temperature $`T`$ is the following path-integral

$$Z(J_1,J_2)=𝒟A^{(1)}𝒟A^{(2)}\mathrm{exp}i[S(A^{(1)},A^{(2)})+J_2A^{(1)}+J_1A^{(2)}](g.f.)$$
(13)
where $`(g.f.)`$ is the gauge-fixing factor. Note that this is written fully in real time: there is no need for an imaginary-time piece in the contour since the thermalisation of the fields $`A^{(1)}`$ proceeds exclusively via their scattering off the thermal fluctuations of the “medium” (the hard modes integrated over, and simulated here by the fields $`A^{(2)}`$) .
The measure in the path integral (13) is invariant under the transformation (11). The normalization of $`Z(J_1,J_2)`$ is $`Z(J_1,J_2=0)=\mathrm{a}\mathrm{constant}`$. Indeed, this condition means that, in addition to $`S(A^{(1)},A^{(2)}=0)=\mathrm{\hspace{0.17em}0}`$, all the correlation functions, involving the field $`A^{(2)}`$ only, vanish, and this property is a characteristic feature of the Keldysh basis .

Moreover, the fields $`A^{(2)}`$ are typically weak, so their mutual interactions can be safely neglected . Indeed, their fluctuations are suppressed by the large imaginary term in the action, which implies $`\overline{A^{(2)}}\sqrt{A^{(2)}A^{(2)}}=\sqrt{K^1}`$, with $`K^1p_0/T1`$. It is therefore appropriate to also neglect the term cubic in $`A^{(2)}`$ in the Yang-Mills action (3). Once this is done, the resulting full action has the simplifying feature to be quadratic in the “fluctuation” field $`A^{(2)}`$ (but non-linear to all orders in the “background field” $`A^{(1)}`$). Specifically :

$`S(A^{(1)},A^{(2)})`$ $`=`$ $`{\displaystyle _X}A^{(2)\mu }(X)\left(D^{(1)\nu }F_{\nu \mu }^{(1)}j_\mu (X;A^{(1)})\right)`$ (14)
$`+i{\displaystyle _{X,Y}}{\displaystyle \frac{1}{2}}A^{(2)\mu }(X)K_{\mu \nu }(X,Y;A^{(1)})A^{(2)\nu }(Y).`$
This action is manifestly invariant under the gauge transformations (11), and it has the additional gauge symmetry $`A_\mu ^{(1)}A_\mu ^{(1)},A_\mu ^{(2)}A_\mu ^{(2)}+D_\mu ^{(1)}\mathrm{\Lambda }(X)`$. One may then fix the gauge and perform the path integral on the $`A^{(2)}`$ field. The choice of a background-gauge fixing term for $`A^{(2)}`$, i.e. $`i(D_\mu ^{(1)}A^{(2)\mu })^2/2\lambda `$, has the advantage that it preserves the gauge symmetry of $`A^{(1)}`$, while it introduces $`\stackrel{~}{K}_{\mu \nu }=K_{\mu \nu }+D_\mu ^{(1)}D_\nu ^{(1)}/\lambda `$. (An alternative gauge choice is the time-axial gauge $`A_0^{(1)}=0=A_0^{(2)}`$). As a result of the path integration on $`A^{(2)}`$, a real gaussian weight appears for the quantity $`D^{(1)\nu }F_{\nu \mu }^{(1)}j_\mu (X;A^{(1)})`$, which represents the fluctuations around the classical equation of motion for the field $`A^{(1)}`$. The generating functional of the correlation functions of the field $`A^{(1)}`$ is now written as a path integral on the field configurations, with a real weight, as in a statistical mechanics approach.

The comparison with the alternative approach to ultrasoft QCD (which is in term of two classical equations) makes use of the identity

$`\mathrm{exp}(A^{(2)}KA^{(2)}/2)=[\mathrm{det}K]^{1/2}{\displaystyle 𝒟\eta \mathrm{exp}(\eta K^1\eta /2i\eta A^{(2)})}`$ (15)
where $`A^{(2)}KA^{(2)}=A_i^{(2)}K_{ij}A_j^{(2)}`$ , $`𝒟\eta =𝒟\eta _i(X)`$, with the gauge choice $`A_0^{(2)}=A_0^{(1)}=0`$ . The action $`S(A^{(1)},A^{(2)},\eta )`$ is now linear in $`A^{(2)}`$, and the result of the path integration on $`A^{(2)}`$ is a functional $`\delta `$–function which enforces an effective equation of motion for the field $`A^{(1)}`$ :

$$D^{(1)\nu }F_{\nu i}^{(1)}j_i(X;A^{(1)})\eta _i(X)=0.$$
(16)
The current $`\eta _i(X)`$ is a random variable with, for fixed $`A^{(1)}`$, a real Gaussian distribution with zero average and 2-point correlation function:

$$\eta _i^a(X)\eta _j^b(Y)|_{A^{(1)}\mathrm{fixed}}=K_{ij}^{ab}(X,Y;A^{(1)}).$$
(17)
In reality, however, $`A^{(1)}`$ is related to $`\eta `$ via the non-linear equation of motion (16), so that the true statistics of the coupled random fields $`A^{(1)}`$ and $`\eta `$ is considerably more involved. Moreover, in the gauge $`A_0^{(2)}=A_0^{(1)}=0`$, the Coulomb law $`D^{(1)\nu }F_{\nu 0}^{(1)}j_0(X;A^{(1)})\eta _0(X)=0`$ is a consequence of Eqs. (16)–(12), with $`\eta _0`$ defined by $`_t\eta _0+D_i\eta _i=0`$, and with vanishing initial conditions at $`t=\mathrm{}`$. Eq. (17) is then generalized to

$$\eta _\mu ^a(X)\eta _\nu ^b(Y)|_{A^{(1)}\mathrm{fixed}}=K_{\mu \nu }^{ab}(X,Y;A^{(1)}),$$
(18)
i.e., for fixed $`A^{(1)}`$, $`K_{\mu \nu }`$ is the 2-point correlation function of the random source $`\eta _\mu `$.

The original formulation of the effective theory by Bödeker  involves a set of coupled equations

$$(D^\nu F_{\nu \mu })_a(X)=m_D^2_vv_\mu W_a(X,𝐯)$$
(19)
$$(vD+\widehat{C})^{ab}W_b(X,𝐯)=𝐯𝐄^a+\xi ^a(X,𝐯)$$
(20)
where $`\xi (X,𝐯)`$ is a gaussian white noise term, with zero average and the 2-point correlation function

$$\xi ^a(X,𝐯)\xi ^b(Y,𝐯^{})=\frac{2T}{m_D^2}C(𝐯,𝐯^{})\delta ^{(4)}(XX^{})\delta ^{ab}.$$
(21)
where $`\mathrm{}`$ means average over the random white noise. Eq. (20) may be solved with the help of the retarded Green function (7). With the initial condition $`W=0`$ at $`t=\mathrm{}`$, the result is

$$m_D^2_vv_\mu W(X,𝐯)=j_\mu (X;A)+j_\mu ^{(\xi )}(X;A),$$
(22)
where $`j_\mu (X;A)j_\mu (X;A^{(1)}=A)`$ defined in Eq. (6) (with $`𝐯.𝐄=^0(v.A)v.DA^0`$), and

$$j_\mu ^{(\xi )}(X;A)=m_D^2d^4Z_{v,v^{}}iv_\mu G_{ret}(X,Z;A;𝐯,𝐯^{})\xi (Z,𝐯^{}).$$
(23)
Thus, Eq. (19) can be rewritten as:

$`D^\nu F_{\nu \mu }(X)=j_\mu (X;A)+j_\mu ^{(\xi )}(X;A),`$ (24)
where the second piece $`j_\mu ^{(\xi )}`$ of the current is proportional to the random source $`\xi `$, and so is itself a random quantity. One notes that, for fixed $`A`$, $`j_\mu ^{(\xi )}`$ has a Gaussian distribution with zero average and 2-point correlation function which follows from Eq. (21):

$`j_\mu ^{(\xi )a}(X;A)j_\nu ^{(\xi )b}(Y;A)|_{A\mathrm{fixed}}=K_{\mu \nu }(X,Y;A),`$ (25)
with the use of the identity

$`\widehat{G}^T2\widehat{C}\widehat{G}=i\widehat{G}^T\left((\widehat{G}^T)^1+(\widehat{G})^1\right)\widehat{G}=i(\widehat{G}+\widehat{G}^T),`$ (26)
where $`\widehat{G}^T`$ is the transpose of $`\widehat{G}`$ in $`X`$ space, colour space, and $`𝐯`$ space , i.e. $`i\widehat{G}^T=(v.D+\widehat{C})^1`$ in the adjoint representation.

Comparing Eqs. (24)–(25) to Eqs. (16)–(18), one concludes that the random current $`j_\mu ^{(\xi )}(X;A)`$ can be identified with the variable $`\eta _\mu (X)`$, and the field $`A(X)`$ with $`A^{(1)}(X)`$.
An attempt to write down a path integral, involving the field $`A(X)`$ only, was made by Arnold  in the case of the static approximation to the $`W`$ field equation (20), and in the $`A_0=0`$ gauge.

An explicit comparison between the two approaches is possible when the Green function $`G_{ret}(X,Y;A)`$ is expanded in powers of $`A`$, an expansion valid for $`Pg^2T\mathrm{ln}1/g`$. The solution to the classical equations (19)(20) is then obtained as an expansion in powers of the noise $`\xi `$, while the expansion of $`S_{\mathrm{IF}}`$ (see Eq. (4) ) in powers of $`A^{(1)}`$ produces effective propagators and 1PI vertices involving $`A^{(1)}`$ and $`A^{(2)}`$. It has been checked that both approaches give the same answer for the $`n`$-point correlation functions of $`A^{(1)}A`$ : (i) at the tree-level for $`n=2,3`$  and $`n=4`$, (ii) at the one-loop level for $`n=2`$, as it is now detailed. In the field theory approach, the result for $`A^{(1)}(X)A^{(1)}(Y)`$ is, in momentum space (disregarding the indices $`\mu ,\nu `$)

$`G_c(P)={\displaystyle \frac{T}{p_0}}\left({\displaystyle \frac{1}{P^2\mathrm{\Pi }_r(P)\mathrm{\Pi }_{r\mathrm{new}}(P)}}[PP]\right)`$ (27)
where $`\mathrm{\Pi }_r`$ is the ultrasoft self-energy (see Eq.(5) ) and $`\mathrm{\Pi }_{r\mathrm{new}}`$ is the contribution to the self-energy arising from one-loop diagrams with loop-momenta $`Kg^2T\mathrm{ln}1/g`$ and with effective vertices and propagators . In the classical form $`A(X)A(Y)`$, the terms quadratic and quartic in the noise $`\xi `$ lead to the two lowest-order terms in an expansion of $`\mathrm{\Pi }_{r\mathrm{new}}`$ of the right hand side of Eq. (27).

To conclude, this effective theory provides a full explicit example of a Feynman influence functional for a nonlinear case , in contrast to other examples where the emphasis is on the “backreaction”. Note finally that a similar influence action can be constructed  for the HTL effective theory, i.e., the theory for the collective dynamics over the scale $`(gT)^1`$.


format: text

text:
# Chtoucas de Drinfeld, Formule des Traces d’Arthur-Selberg etCorrespondance de Langlands

## Introduction

La géométrie algébrique sur un corps $`F`$ consiste à étudier les variétés algébriques sur $`F`$ (c’est-à-dire principalement les objets géométriques définis dans des espaces projectifs par des systèmes d’équations polynomiales à coefficients dans $`F`$) et les morphismes ou plus généralement les correspondances qui les relient.

Si $`\mathrm{}`$ est un nombre premier différent de la caractéristique de $`F`$, Grothendieck a associé à toute variété algébrique $`V`$ sur $`F`$ ses espaces de cohomologie $`\mathrm{}`$-adique $`H_c^\nu (V\overline{F},Q_{\mathrm{}})`$, $`0\nu 2dimV`$, qui sont des représentations du groupe de Galois $`G_F`$ de $`F`$ continues et de dimension finie sur $`Q_{\mathrm{}}`$. Quand le corps $`F`$ est de type fini sur $`Q`$ ou $`F_p=Z/pZ`$, la théorie conjecturale des motifs de Grothendieck et les conjectures de Tate prévoient qu’il devrait être possible de remonter des représentations $`\mathrm{}`$-adiques de $`G_F`$ aux variétés projectives lisses sur $`F`$ et à leurs correspondances si bien que la connaissance de celles-ci serait essentiellement équivalente à celle des représentations $`\mathrm{}`$-adiques irréductibles de $`G_F`$.

Cette perspective pose de façon cruciale la question de dresser la liste de toutes les représentations $`\mathrm{}`$-adiques irréductibles de $`G_F`$. Quand $`F`$ est un “corps global”, c’est-à-dire une extension finie de $`Q`$ ou bien le corps $`F(X)`$ des fonctions rationnelles d’une courbe $`X`$ projective lisse sur un corps fini, Langlands a conjecturé que les représentations irréductibles de dimension $`r`$ de $`G_F`$ sont paramétrées naturellement par les représentations automorphes cuspidales de $`GL_r`$ sur $`F`$.

L’exposé est consacré à la preuve de la correspondance de Langlands dans le cas des corps de fonctions $`F=F(X)`$. Un rôle central y est joué par la formule des traces d’Arthur-Selberg que la théorie des chtoucas de Drinfeld permet d’interpréter géométriquement.

## 1. L’énoncé de la correspondance de Langlands

On considère donc une courbe $`X`$ projective, lisse et géométriquement connexe sur un corps $`F_q`$ à $`q`$ éléments. On note $`F=F(X)`$ le corps des fonctions rationnelles sur $`X`$ et $`|X|`$ l’ensemble des points fermés de $`X`$. Pour $`x|X|`$, on note $`\kappa _x`$ son corps résiduel et $`\mathrm{deg}(x)`$ la dimension de $`\kappa _x`$ sur $`F_q`$.

### 1.1. Représentations galoisiennes $`\mathbf{}`$-adiques

On note $`G_F`$ le groupe de Galois de $`F`$, c’est-à-dire le groupe des automorphismes d’une clôture séparable $`\overline{F}`$ de $`F`$. C’est un groupe profini.

Soit $`\mathrm{}`$ un nombre premier différent de la caractéristique de $`F_q`$.

Une représentation $`\mathrm{}`$-adique $`\sigma `$ de $`G_F`$ est une représentation continue et de dimension finie sur $`\overline{Q}_{\mathrm{}}`$ qui est définie sur une extension finie de $`Q_{\mathrm{}}`$ et provient d’un faisceau $`\mathrm{}`$-adique lisse (ou “système local”) sur un ouvert non vide de $`X`$. On dit que $`\sigma `$ est non ramifiée en un point $`x|X|`$ si $`x`$ est dans le plus grand ouvert où $`\sigma `$ est un système local. Dans ce cas, la fibre $`\sigma _x`$ de $`\sigma `$ en $`x`$ est une représentation du groupe de Galois de $`\kappa _x`$ lequel est engendré par l’automorphisme $`Frob_x`$ d’élévation à la puissance $`q^{\mathrm{deg}(x)}`$ et on peut poser

$$\mathrm{L}_x(\sigma ,T)=det_{\sigma _x}(1TFrob_x^1)^1.$$

Pour tout entier $`r1`$, on note $`\{\sigma \}_r`$ l’ensemble des classes d’isomorphie de représentations $`\mathrm{}`$-adiques irréductibles de dimension $`r`$ de $`G_F`$ dont le déterminant est d’ordre fini.

### 1.2. Groupes adéliques et algèbres de Hecke

Tout point $`x|X|`$ induit sur $`F`$ la valuation

$$\mathrm{deg}_x:F^\times Zf\mathrm{deg}_x(f)=\text{l’ordre d’annulation de }f\text{ en }x\text{.}$$

On note $`F_x`$ le corps complété de $`F`$ en $`x`$ ; il contient comme sous-anneau d’entiers $`O_x=\{f_xF_x\mathrm{deg}_x(f_x)0\}`$ qui est compact.

L’anneau $`A`$ des adèles de $`F`$ est le produit “restreint” $`\underset{x|X|}{}F_x`$ des familles $`f_xF_x`$, $`x|X|`$, telles que $`f_xO_x`$ pour presque tout $`x`$ (c’est-à-dire tout $`x`$ sauf un nombre fini). Il contient comme sous-anneau compact des entiers $`O_A=\underset{x|X|}{}O_x=\underset{N}{\underset{}{\mathrm{lim}}}𝒪_N`$, où $`N`$ décrit l’ensemble des “niveaux” c’est-à-dire des sous-schémas fermés finis $`N=Spec𝒪_NX`$.

L’anneau $`A`$ contient $`F`$ comme sous-groupe additif discret cocompact et le noyau $`A^{\times 0}`$ de l’homomorphisme

$$\mathrm{deg}:A^\times Z(f_x)\underset{x|X|}{}\mathrm{deg}(x)\mathrm{deg}_x(f_x)$$

contient $`F^\times `$ comme sous-groupe discret cocompact.

Pour tout entier $`r1`$, le groupe topologique $`GL_r(F_x)`$ \[resp. $`GL_r(A)=\underset{x|X|}{}GL_r(F_x)`$\] a une mesure de Haar $`\mathrm{d}g_x`$ \[resp. $`\mathrm{d}g_A=\mathrm{d}g_x`$\] qui attribue le volume 1 au sous-groupe ouvert compact maximal $`K_x=GL_r(O_x)`$ \[resp. $`K=GL_r(O_A)=K_x`$\]. L’algèbre de Hecke est l’algèbre de convolution $`_x^r`$ \[resp. $`^r=_x^r`$\] des fonctions localement constantes à support compact sur $`GL_r(F_x)`$ \[resp. $`GL_r(A)`$\]. Elle est réunion filtrante des sous-algèbres $`_{N,x}^r`$ \[resp. $`_N^r=_{N,x}^r`$\] des fonctions bi-invariantes par les sous-groupes ouverts d’indice fini $`K_{N,x}=Ker(K_xGL_r(𝒪_N))`$ \[resp. $`K_N=K_{N,x}=Ker(KGL_r(𝒪_N)`$\]. Chaque $`_{N,x}^r`$ \[resp. $`_N^r`$\] a une unité $`1\mathrm{I}_{N,x}`$ \[resp. $`1\mathrm{I}_N=\mathrm{\hspace{0.17em}1}\mathrm{I}_{N,x}`$\].

On s’intéresse aux représentations “lisses admissibles irréductibles” de $`GL_r(F_x)`$ \[resp. $`GL_r(A)`$\]. Ce sont les modules simples $`\pi _x`$ sur $`_x^r`$ \[resp. $`\pi `$ sur $`^r`$\] qui sont réunions filtrantes des $`\pi _x1\mathrm{I}_{N,x}`$ \[resp. $`\pi 1\mathrm{I}_N`$\] supposés de dimension finie. Chaque $`\pi _x1\mathrm{I}_{N,x}`$ \[resp. $`\pi 1\mathrm{I}_N`$\] est un module sur $`_{N,x}^r`$ \[resp. $`_N^r`$\], et s’il n’est pas nul il est simple et caractérise $`\pi _x`$ \[resp. $`\pi `$\]. L’unité $`1\mathrm{I}_{\mathrm{},x}`$ de l’algèbre de Hecke “sphérique” $`_{\mathrm{},x}^r`$ est la fonction caractéristique de $`K_x=GL_r(O_x)`$; quand $`\pi _x1\mathrm{I}_{\mathrm{},x}0`$, on dit que $`\pi _x`$ est “non ramifiée”. Enfin, les représentations lisses admissibles irréductibles de $`GL_r(A)`$ sont celles de la forme $`\pi =\underset{x|X|}{}\pi _x`$ où les $`\pi _x`$ sont des représentations lisses admissibles irréductibles des $`GL_r(F_x)`$ presque toutes non ramifiées.

Théorème (Satake).L’algèbre sphérique $`_{\mathrm{},x}^r`$ est commutative et isomorphe à l’algèbre des polynômes symétriques en $`Z_1,Z_1^1,\mathrm{},Z_r,Z_r^1`$.

Par conséquent, une représentation lisse admissible non ramifiées irréductible $`\pi _x`$ de $`GL_r(F_x)`$ est caractérisée par $`r`$ scalaires non nuls $`z_1(\pi _x),\mathrm{},z_r(\pi _x)`$ (appelés valeurs propres de Hecke) bien définis à l’ordre près ou par

$$\mathrm{L}(\pi _x,T)=\underset{i=\mathrm{\hspace{0.17em}1}}{\overset{r}{}}(1Tz_i(\pi _x)^1)^1.$$

Et si $`\pi =\pi _x`$ est une représentation lisse admissible irréductible de $`GL_r(A)`$, $`\mathrm{L}_x(\pi ,T)=\mathrm{L}(\pi _x,T)`$ est défini déjà en tout $`x`$$`\pi _x`$ est non ramifiée, donc en presque tout $`x`$.

### 1.3. Représentations automorphes cuspidales et décomposition spectrale de Langlands

Pour tout entier $`r1`$, $`GL_r(F)`$ est un sous-groupe discret de covolume fini (mais non cocompact si $`r2`$) dans $`GL_r(A)^0=Ker(GL_r(A)\stackrel{det}{}A^\times \stackrel{\mathrm{deg}}{}Z)`$. La théorie automorphe consiste à étudier le quotient

$$GL_r(F)\backslash GL_r(A)$$

via l’espace de ses fonctions muni de l’action de $`^r`$ par convolution à droite.

Considérons d’abord l’espace des fonctions $`\phi `$ sur $`GL_r(A)`$ qui sont localement constantes, à support compact, invariantes à gauche par $`GL_r(F)`$ et vérifient $`\phi (ag)=\phi (g)`$, $`g`$, pour un certain $`aA^\times `$ de degré $`0`$ et la condition de “cuspidalité”

$$_{N_P(F)\backslash N_P(A)}\phi (n_Pg)dn_P=0,gGL_r(A),PGL_r,$$

$`P`$ décrit l’ensemble des sous-groupes paraboliques standard de $`GL_r`$, $`N_P`$ désigne le radical unipotent de $`P`$ et $`\mathrm{d}n_P`$ une mesure de Haar sur $`N_P(A)`$.

Il s’écrit comme une somme directe de représentations lisses admissibles irréductibles de $`GL_r(A)`$ appelées les représentations automorphes cuspidales. On note $`\{\pi \}_r`$ leur ensemble. Chaque $`\pi \{\pi \}_r`$ a un caractère central $`\chi _\pi `$ d’ordre fini.

On doit aussi introduire les paires $`(Q,\pi )`$ constituées d’un sous-groupe parabolique standard $`QGL_r`$ associé à une partition $`r=r_1+\mathrm{}+r_k`$, avec pour sous-groupe de Lévi $`M_Q=GL_{r_1}\times \mathrm{}\times GL_{r_k}`$, et d’une représentation irréductible $`\pi `$ de $`M_Q(A)`$ qui est le produit $`\pi _1\mathrm{}\pi _k`$ de représentations automorphes cuspidales $`\pi _1,\mathrm{},\pi _k`$ de $`GL_{r_1}(A),\mathrm{},GL_{r_k}(A)`$.

Deux paires $`(Q,\pi )`$ et $`(Q^{},\pi ^{})`$ sont dites équivalentes s’il existe une permutation $`\sigma `$ échangeant les facteurs de $`M_Q=GL_{r_1}\times \mathrm{}\times GL_{r_k}`$ et de $`M_Q^{}`$ et un caractère $`\lambda `$ de $`M_Q(A)`$ “non ramifié” c’est-à-dire se factorisant à travers l’homomorphisme

$$GL_{r_1}(A)\times \mathrm{}\times GL_{r_k}(A)\stackrel{det}{}(A^\times )^k\stackrel{\mathrm{deg}}{}Z^k$$

tels que $`\pi ^{}\sigma (\lambda \pi )`$. On choisit un représentant $`(Q,\pi )`$ dans chaque classe d’équivalence.

Soit $`aA^\times `$ un adèle inversible de degré non nul. L’espace de Hilbert $`L^2(GL_r(F)\backslash GL_r(A)/a^Z)`$ des fonctions de carré intégrable sur $`GL_r(F)\backslash GL_r(A)/a^Z`$ est muni d’une action de l’algèbre de Hecke $`^r`$ par convolution à droite. Le théorème fondamental de la théorie des fonctions automorphes décrit sa décomposition comme somme de représentations irréductibles :

Théorème de décomposition spectrale de Langlands.On a

$`L^2(GL_r(F)\backslash GL_r(A)/a^Z)`$ $`=`$ $`{\displaystyle \underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}}\pi `$
$``$ $`{\displaystyle \underset{(Q,\pi )}{}}[s\text{omme continue de représentations}`$
irréductibles construites à partir de $`(Q,\pi )`$
$`\text{via la théorie des séries d’Eisenstein}].`$
Nous énonçons ici ce théorème en termes très vagues. En effet, on a seulement besoin de savoir pour la suite que les représentations automorphes cuspidales de $`GL_r`$ apparaissent dans la somme et que tout le reste provient des rangs $`<r`$.

### 1.4. La correspondance de Langlands sur les corps de fonctions

On choisit un isomorphisme algébrique entre $`\overline{Q}_{\mathrm{}}`$ et $`C`$.

Avec Langlands, disons qu’une représentation automorphe cuspidale $`\pi `$ de $`GL_r`$ et une représentation $`\mathrm{}`$-adique $`\sigma `$ de $`G_F`$ irréductible de dimension $`r`$ se correspondent si, en tout $`x|X|`$$`\pi `$ est non ramifiée, $`\sigma `$ est non ramifiée et

$$\mathrm{L}_x(\sigma ,T)=\mathrm{L}_x(\pi ,T).$$

Théorème.Pour tout entier $`r1`$, cette correspondance définit une bijection

$$\{\pi \}_r\{\sigma \}_r\pi \sigma _\pi ,\sigma \pi _\sigma .$$

Le cas $`r=1`$ est la théorie du corps de classes global pour $`F=F(X)`$.

Le cas $`r=2`$ a été démontré par Drinfeld au début des années 70 en inventant les chtoucas et étudiant ceux de rang 2.

Le cas $`r3`$ a été démontré par l’auteur il y a deux ans en étudiant les chtoucas de Drinfeld de rang $`r`$.

On sait que l’isomorphisme de Satake s’étend en une “correspondance de Langlands locale” qui, pour tous les corps $`F_x`$ localisés de $`F=F(X)`$ en les points $`x|X|`$, a été démontrée il y a dix ans par Laumon, Rapoport et Stuhler en étudiant la cohomologie $`\mathrm{}`$-adique des variétés modulaires de “$`𝒟`$-faisceaux elliptiques”. Elle fait se correspondre les représentations $`\mathrm{}`$-adiques de dimension $`r`$ du groupe de Galois $`G_{F_x}`$ de $`F_x`$ et les représentations lisses admissibles irréductibles de $`GL_r(F_x)`$.

La correspondance globale du théorème ci-dessus est compatible avec la correspondance locale au sens que si $`\pi \{\pi \}_r`$ et $`\sigma \{\sigma \}_r`$ se correspondent au sens global, alors en tout point $`x|X|`$ (y compris ceux où il y a ramification), le facteur local $`\pi _x`$ de $`\pi `$ en $`x`$ et la restriction $`\sigma _x`$ de $`\sigma `$ à $`G_{F_x}`$ se correspondent au sens local.

## 2. Formule des traces d’Arthur-Selberg et chtoucas de Drinfeld

On va commencer à expliquer la démonstration de la correspondance de Langlands en rang $`r`$. La première chose importante à dire est qu’elle se fait par récurrence. On suppose $`r2`$ et la correspondance déjà connue en tous les rangs $`r^{}<r`$.

### 2.1. Des représentations galoisiennes vers les représentations automorphes

Pour $`\sigma \{\sigma \}_r`$, l’unicité de $`\pi _\sigma \{\pi \}_r`$ lui correspondant au sens de Langlands résulte du “théorème de multiplicité 1 fort” de Piatetski-Shapiro qui dit qu’une représentation automorphe cuspidale de $`GL_r`$ est caractérisée par la connaissance de ses valeurs propres de Hecke en presque tout $`x|X|`$.

Quant à l’existence de $`\pi _\sigma `$, il est connu depuis les années 80 (avec la “formule du produit” de Laumon) qu’elle résulte de la correspondance de Langlands en les rangs $`r^{}<r`$. Rappelons comment :

La théorie des modèles de Whittaker permet d’associer à $`\sigma `$ une représentation lisse admissible irréductible $`\pi `$ de $`GL_r`$ qui, en tout $`x`$$`\sigma `$ est non ramifiée, est non ramifiée et vérifie $`\mathrm{L}_x(\pi ,T)=\mathrm{L}_x(\sigma ,T)`$, et qui est réalisée dans un espace de fonctions $`\phi `$ sur $`P_1(F)\backslash GL_r(A)`$, où $`P_1GL_r`$ désigne le sous-groupe parabolique standard de type $`r=(r1)+1`$. Le problème est de montrer que toutes ces fonctions $`\phi `$ sont invariantes à gauche par $`GL_r(F)`$ tout entier.

D’après les “théorèmes réciproques” de Hecke, Weil (pour $`GL_2`$) et Piatetski-Shapiro (pour $`GL_r`$, $`r3`$), c’est équivalent à montrer que pour tout $`r^{}<r`$ et toute représentation automorphe cuspidale $`\pi ^{}\{\pi \}_r^{}`$, la fonction L globale

$$\mathrm{L}(\sigma \times \pi ^{},T)$$

est un polynôme qui vérifie une certaine équation fonctionnelle.

Or, d’après l’hypothèse de récurrence, $`\pi ^{}`$ correspond à une représentation galoisienne $`\sigma ^{}\{\sigma \}_r^{}`$ et on peut écrire

$$\mathrm{L}(\sigma \times \pi ^{},T)=\mathrm{L}(\sigma \sigma ^{},T).$$

Comme on est sur un corps de fonctions $`F=F(X)`$, on sait grâce à Grothendieck qu’une telle fonction L galoisienne $`\mathrm{L}(\sigma \sigma ^{},T)`$ est un polynôme et vérifie une équation fonctionnelle induite par la dualité de Poincaré sur la courbe $`X`$. Il faut encore vérifier que la constante dans l’équation fonctionnelle est celle qu’on veut et ceci est la formule du produit de Laumon.

### 2.2. Quotients adéliques et fibrés vectoriels sur la courbe

Les différentes approches géométriques de Drinfeld pour le programme de Langlands sur les corps de fonctions sont fondées sur la remarque suivante d’André Weil :

Lemme.Le quotient double $`GL_r(F)\backslash GL_r(A)/K`$ s’identifie à l’ensemble des classes d’isomorphie de fibrés vectoriels de rang $`r`$ sur la courbe $`X`$.

Plus généralement, si $`K_NK=GL_r(O_A)`$ est le sous-groupe ouvert associé à un niveau $`NX`$, $`GL_r(F)\backslash GL_r(A)/K_N`$ s’identifie à l’ensemble des classes de fibrés $``$ de rang $`r`$ sur $`X`$ munis d’une structure de niveau $`N`$ c’est-à-dire d’un isomorphisme $`_{𝒪_X}𝒪_N=_N\stackrel{}{}𝒪_X^r`$.

Autrement dit, $`GL_r(F)\backslash GL_r(A)/K`$ est l’ensemble des points à valeurs dans $`F_q`$ du champ $`𝒱ec^r`$ des fibrés vectoriels de rang $`r`$ sur $`X`$.

Cette identification a permis à Drinfeld de construire l’application $`\sigma \pi _\sigma `$ en rang $`r=2`$ d’une façon purement géométrique, construction qui, dans le cas non ramifié $`(N=\mathrm{})`$, a été progressivement généralisée en rang $`r`$ arbitraire par Laumon, Kazhdan, Frenkel, Gaitsgory, Vilonen.

On part d’une représentation $`\mathrm{}`$-adique partout non ramifiée $`\sigma \{\sigma \}_r`$ qu’on voit comme un système local sur $`X`$ supposé absolument irréductible. En réinterprétant géométriquement la construction des modèles de Whittaker, on lui associe un certain complexe $`Aut_\sigma ^{}`$ de faisceaux $`\mathrm{}`$-adiques sur le champ $`𝒱ec_{}^{}{}_{}{}^{r}`$ des fibrés $``$ de rang $`r`$ sur $`X`$ munis d’un plongement $`\mathrm{\Omega }_X^1`$ du fibré inversible canonique de $`X`$. Le quotient $`P_1(F)\backslash GL_r(A)/K`$ s’identifie à l’ensemble des points à valeurs dans $`F_q`$ d’un certain ouvert de $`𝒱ec_{}^{}{}_{}{}^{r}`$ et la fonction $`\phi `$ qui associe à tout tel point la somme alternée des traces de l’élément de Frobenius agissant sur la fibre de $`Aut_\sigma ^{}`$ en ce point est celle associée à $`\sigma `$ par la théorie classique des modèles de Whittaker. Le problème est de montrer que $`Aut_\sigma ^{}`$ “se descend” par le morphisme $`𝒱ec_{}^{}{}_{}{}^{r}𝒱ec^r`$ d’oubli des plongements de $`\mathrm{\Omega }_X^1`$ c’est-à-dire qu’il est l’image réciproque d’un certain faisceau pervers $`Aut_\sigma `$ sur $`𝒱ec^r`$. Or il y a un grand ouvert de $`𝒱ec^r`$ au-dessus duquel le quotient de $`𝒱ec_{}^{}{}_{}{}^{r}`$ par $`G_m`$ est un fibré projectif. Comme les espaces projectifs sont simplement connexes, la descente se fait automatiquement si l’on sait que la restriction de $`Aut_\sigma ^{}`$ au-dessus de cet ouvert est un système local ($`G_m`$-équivariant). Frenkel, Gaitsgory et Vilonen ont montré que cette propriété résulte de l’annulation de certains foncteurs cohomologiques dits “de moyennisation” et Gaitsgory a récemment démontré cet énoncé d’annulation par des arguments purement géométriques.

On voit que cette démonstration de l’existence de l’application $`\sigma \pi _\sigma `$ est profondément différente de celle du paragraphe précédent car ici la descente repose sur la simple connexité des espaces projectifs et non plus sur les propriétés des fonctions L déduites de l’existence des applications $`\pi ^{}\sigma _\pi ^{}`$ en rangs $`<r`$.

### 2.3. La formule des traces d’Arthur-Selberg

On veut aborder maintenant la construction de l’application $`\pi \sigma _\pi `$. L’unicité des $`\sigma _\pi `$ correspondant aux $`\pi \{\pi \}_r`$ résulte du théorème de densité de Chebotarev.

Pour l’existence, il faut commencer par avoir une prise sur l’ensemble $`\{\pi \}_r`$. Une telle prise est fournie par la formule des traces d’Arthur-Selberg que nous rappelons :

L’image $`\phi h`$ d’une fonction $`\phi L^2(GL_r(F)\backslash GL_r(A)/a^Z)`$ par convolution par $`h^r`$ est donnée par

$$(\phi h)(g^{})=_{GL_r(F)\backslash GL_r(A)/a^Z}K_{h,G}(g^{},g)\phi (g)dg$$

$$K_{h,G}(g^{},g)=\underset{\genfrac{}{}{0pt}{}{\gamma GL_r(F)}{nZ}}{}h(g^1\gamma a^ng^{}).$$

Pour $`r2`$, le quotient $`GL_r(F)\backslash GL_r(A)/a^Z`$ a certes un volume fini mais il n’est pas compact si bien que l’action de $`h^r`$ n’a pas de trace au sens que l’intégrale

$$\text{}Tr(h)\text{}=_{GL_r(F)\backslash GL_r(A)/a^Z}K_{h,G}(g,g)dg$$

diverge en général. Il résulte du théorème de décomposition spectrale de Langlands que le noyau $`K_{h,G}`$ s’écrit naturellement

$$K_{h,G}=\underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}K_{h,G}^\pi +\underset{(Q,\pi )}{}K_{h,G}^{Q,\pi }$$

et il faut préciser que le problème de divergence provient des $`QG=GL_r`$.

Pour cette raison, on introduit les troncatures d’Arthur :

Pour tout sous-groupe parabolique standard $`PG`$, l’action de $`h`$ sur $`L^2(P(F)\backslash GL_r(A)/a^Z)`$ a un noyau

$$(g^{},g)K_{h,P}(g^{},g)=\underset{\genfrac{}{}{0pt}{}{\gamma P(F)}{nZ}}{}h(g^1\gamma a^ng^{})$$

qui se décompose naturellement en une somme

$$K_{h,P}=\underset{(Q,\pi )}{}K_{h,P}^{Q,\pi }$$

où n’apparaissent que les $`Q`$ tels que $`M_QM_P`$ à permutation près des facteurs.

On considère un polygone de troncature, c’est-à-dire une fonction convexe $`p:[0,r]R_+`$, s’annulant en 0 et $`r`$ et affine sur chaque intervalle $`[r^{}1,r^{}]`$, $`0<r^{}r`$. On pose

$$K_{h,G}^p(g,g)=K_{h,G}(g,g)+\underset{PGL_r=G}{}(1)^{|P|1}\underset{\delta P(F)\backslash G(F)}{}1\mathrm{I}_P^p(\delta g)K_{h,P}(\delta g,\delta g)$$

$`|P|`$ désigne le nombre de facteurs de chaque $`M_P`$ et $`1\mathrm{I}_P^p`$ est une fonction caractéristique (prenant les valeurs 1 ou 0) sur $`P(F)\backslash G(A)`$ qui dépend du polygone de troncature $`p`$. Puis on pose

$$Tr^p(h)=_{G(F)\backslash G(A)/a^Z}K_{h,G}^p(g,g)dg.$$

On définit aussi des $`Tr_{Q,\pi }^p(h)`$ par des sommes alternées et intégrales semblables à partir des $`K_{h,P}^{Q,\pi }(,)`$.

Comme conséquence du théorème de décomposition spectrale de Langlands, on montre :

Théorème (formule des traces d’Arthur-Selberg).Toutes ces intégrales convergent et on a

$$Tr^p(h)=\underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}Tr_\pi (h)+\underset{(Q,\pi )}{}Tr_{Q,\pi }^p(h).$$

On voit donc que dans $`Tr^p(h)`$ apparaissent toutes les traces $`Tr_\pi (h)`$ plus d’autres termes (qui peuvent être explicités). Ceux-ci sont très compliqués, ils dépendent du polygone de troncature $`p`$ et ils ne sont pas invariants par conjugaison de $`h`$ mais le plus important est qu’ils proviennent des rangs $`<r`$.

Un autre point important est que les troncatures d’Arthur trouvent un sens géométrique dans l’équivalence de Weil :

Proposition.Si le polygone de troncature $`p:[0,r]R_+`$ est “assez convexe” $`(`$c’est-à-dire si les différences de pentes $`[p(r^{})p(r^{}1)][p(r^{}+1)p(r^{})]`$, $`0<r^{}<r`$, sont assez grandes$`)`$ en fonction de $`h`$, alors pour tout $`gG(F)\backslash G(A)`$ auquel est associé un fibré $``$ de rang $`r`$ sur $`X`$, on a

$$K_{h,G}^p(g,g)=\{\begin{array}{cc}K_{h,G}(g,g)& \text{si le polygone canonique de Harder-Narasimhan}\\ & \text{de }\text{ est }p,\\ 0& \text{sinon}.\end{array}$$

### 2.4. Les chtoucas de Drinfeld

Pour être exploitée, la formule des traces d’Arthur-Selberg a besoin d’être combinée avec autre chose. Les chtoucas de Drinfeld vont permettre de lui donner une interprétation géométrique et de là une interprétation cohomologique via le théorème des points fixes de Grothendieck-Lefschetz.

Le problème est de construire des représentations $`\mathrm{}`$-adiques $`\sigma _\pi `$ de $`G_F`$. En géométrie algébrique, on peut construire des représentations galoisiennes en définissant des variétés sur $`F`$ (ou sur $`X`$ ou, comme il va se produire, sur $`X\times X`$) et en prenant leur cohomologie $`\mathrm{}`$-adique (ou celle de leur fibre générique). Dans notre situation, il faut bien sûr que ces variétés aient un rapport étroit avec les représentations automorphes et donc avec le quotient $`GL_r(F)\backslash GL_r(A)`$.

Revenant à l’équivalence de Weil, on remarque que se donner un fibré sur $`X`$ équivaut à se donner un fibré $``$ sur $`\overline{X}=X_{F_q}\overline{F}_q`$ muni d’un isomorphisme avec son transformé $`{}_{}{}^{\tau }=(Id_XFrob)^{}`$ par l’endomorphisme de Frobenius. Drinfeld a découvert qu’en autorisant cet isomorphisme $`^\tau `$ à avoir un pôle et un zéro, on définit un problème de modules dont le classifiant répond à la question posée :

Définition (Drinfeld). – (i) Un chtouca de rang $`r`$ à valeurs dans un schéma $`S`$ $`(`$sur le corps de base $`F_q)`$ consiste en

$``$ un fibré $``$ localement libre de rang $`r`$ sur $`X\times S`$,

$``$ une modification de $``$ c’est-à-dire un diagramme

$$\stackrel{j}{⸦-\to }^{}\stackrel{t}{\leftarrow -⸧}^{\prime \prime }$$

$`^{},^{\prime \prime }`$ sont des fibrés sur $`X\times S`$ et où $`j,t`$ sont des plongements dont les conoyaux sont supportés par les graphes de deux morphismes $`\mathrm{},0:SX`$ et sont inversibles comme faisceaux cohérents sur $`𝒪_S`$,

$``$ un isomorphisme $`(Id_X\times Frob_S)^{}=^\tau \stackrel{}{}^{\prime \prime }`$.

(ii) Une structure de niveau $`NX`$ sur un tel chtouca $`(`$dont le pôle $`\mathrm{}`$ et le zéro $`0`$ évitent $`N)`$ est un isomorphisme $`_{𝒪_{X\times S}}𝒪_{N\times S}=_N\stackrel{}{}𝒪_{N\times S}^r`$ compatible avec l’isomorphisme $`{}_{}{}^{\tau }_{N}^{}\stackrel{}{}_N`$.

Quand $`S`$ varie, les groupoïdes de chtoucas de rang $`r`$ \[resp. et avec structures de niveau $`N`$\] constituent un champ $`Cht^r`$ \[resp. $`Cht_N^r`$\] dont on montre qu’il est algébrique au sens de Deligne-Mumford et localement de type fini. Voici les principales propriétés de ces champs modulaires :

$``$ D’associer à tout chtouca son pôle et son zéro définit un morphisme

$$(\mathrm{},0):Cht^rX\times X\text{[resp.}Cht_N^r(XN)\times (XN)]$$

qui est lisse de dimension relative $`2r2`$.

$``$ Chaque $`Cht_N^r`$ est représentable fini étale galoisien de groupe $`GL_r(𝒪_N)`$ au-dessus de $`Cht^r\times _{X\times X}(XN)\times (XN)`$.

$``$ Chaque $`Cht_N^r`$ est muni d’une action du groupe $`F^\times \backslash A^\times `$ et d’une action par correspondances finies étales de la sous-algèbre de Hecke $`_N^r`$.

On s’intéresse aux espaces de cohomologie $`\mathrm{}`$-adique à supports compacts $`H_c^\nu (Cht_N^r/a^Z)`$, $`0\nu 2(2r2)`$, des $`Cht_N^r/a^Z`$ au-dessus du point générique $`SpecF^2`$ de $`X\times X`$. Ils sont munis d’une double action du groupe de Galois $`G_{F^2}`$ et des algèbres $`_N^r`$. Notre but va être de les calculer au moins partiellement et de montrer qu’ils réalisent l’application $`\pi \sigma _\pi `$.

Chaque $`Cht_N^r/a^Z`$ n’a qu’un nombre fini de composantes connexes (ce qui correspond au fait que le volume de $`GL_r(F)\backslash GL_r(A)/a^Z`$ est fini) mais il n’est pas de type fini (de même que $`GL_r(F)\backslash GL_r(A)/a^Z`$ n’est pas compact), ses espaces de cohomologie $`\mathrm{}`$-adique sont de dimension infinie (de même que la décomposition spectrale de $`L^2(GL_r(F)\backslash GL_r(A)/a^Z`$) fait apparaître des sommes continues) et les correspondances de Hecke composées avec les éléments de Frobenius ont une infinité de points fixes (de même que les intégrales “$`Tr(h)`$” divergent).

Pour surmonter cette difficulté, on considère à nouveau un polygone de troncature $`p:[0,r]R_+`$ et on demande aux chtoucas que leur polygone canonique de Harder-Narasimhan (qui se définit facilement car un chtouca est un fibré muni d’une structure supplémentaire) soit $`p`$. Cela définit des ouverts $`Cht_N^{r,\overline{p}p}`$ dans les $`Cht_N^r`$ dont les quotients par $`a^Z`$ sont de type fini (de même que les intégrales $`Tr^p(h)`$ convergent).

Une fonction $`h_N^r`$ contient en facteur la fonction caractéristique $`1\mathrm{I}_y`$ de $`GL_r(O_y)`$ dans $`GL_r(F_y)`$ en presque tout $`y|X|`$. On considère un point fermé $`x`$ de $`(XN)\times (XN)`$ dont les deux projections $`\mathrm{},0|X|`$ sont distinctes et vérifient cette propriété, et un multiple $`s=\mathrm{deg}(\mathrm{})s^{}=\mathrm{deg}(0)u^{}`$ de $`\mathrm{deg}(x)`$. Le composé $`h\times Frob^s`$ a dans la fibre de $`Cht_N^{r,\overline{p}p}/a^Z`$ au-dessus de n’importe quel point de $`(X\times X)(\overline{F}_q)`$ supporté par $`x`$ un nombre fini de points fixes noté

$$Lef_x(h\times Frob^s,Cht_N^{r,\overline{p}p}/a^Z).$$

En utilisant une description adélique des points fixes (rendue possible par la proximité des chtoucas avec le quotient $`GL_r(F)\backslash GL_r(A)`$) et le calcul des intégrales orbitales des fonctions sphériques $`h_{\mathrm{}}^s^{}`$ et $`h_0^u^{}`$ sur $`GL_r(F_{\mathrm{}})`$ et $`GL_r(F_0)`$ dont les transformés de Satake sont les polynômes symétriques $`q^{s\frac{(r1)}{2}}(Z_1^s^{}+\mathrm{}+Z_r^s^{})`$ et $`q^{s\frac{(r1)}{2}}(Z_1^u^{}+\mathrm{}+Z_r^u^{})`$, on relie ce nombre à la trace tronquée $`Tr^p(h^{})`$ de la fonction $`h^{}`$ déduite de $`h`$ en remplaçant les facteurs $`1\mathrm{I}_{\mathrm{}}`$ et $`1\mathrm{I}_0`$ par $`h_{\mathrm{}}^s^{}`$ et $`h_0^u^{}`$. Par combinaison avec la formule des traces d’Arthur-Selberg, on obtient :

Théorème (comptage des points fixes).Dans la situation ci-dessus et si $`p`$ est assez convexe et $`\mathrm{deg}(\mathrm{})`$, $`\mathrm{deg}(0)`$, $`s`$ sont assez grands en fonction de $`h`$, on a

$`{\displaystyle \frac{1}{r!}}{\displaystyle \underset{k=\mathrm{\hspace{0.17em}1}}{\overset{r!}{}}}Lef_{(Frob_X^k\times Id_X)(x)}(h\times Frob^s,Cht_N^{r,\overline{p}p}/a^Z)`$
$`=`$ $`q^{(r1)s}{\displaystyle \underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}}Tr_\pi (h)(z_1(\pi _{\mathrm{}})^s^{}+\mathrm{}+z_r(\pi _{\mathrm{}})^s^{})`$
$`(z_1(\pi _0)^u^{}+\mathrm{}+z_r(\pi _0)^u^{})`$
$`+`$ autres termes où apparaissent les valeurs propres de Hecke en $`\mathrm{}`$ et $`0`$ des
$`\text{représentations automorphes cuspidales des }GL_{r_1}\times \mathrm{}\times GL_{r_k},`$
$`r_1+\mathrm{}+r_k=r.`$
Si dans cette formule il n’y avait que le terme principal et si on disposait sur $`Cht_N^{r,\overline{p}p}/a^Z`$ d’un théorème des points fixes de Grothendieck-Lefschetz interprétant ces nombres comme la trace sur la cohomologie d’une action des $`h\times Frob_x^{s/\mathrm{deg}(x)}`$ (en notant $`Frob_xG_{F^2}`$ un élément de Frobenius en $`x`$), on aurait une représentation de $`_N^r\times G_{F^2}`$ qui se décomposerait nécessairement en

$$\underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}(\pi 1\mathrm{I}_N)[\sigma _\pi \stackrel{ˇ}{\sigma }_\pi ](1r)$$

et on aurait construit l’application cherchée $`\pi \sigma _\pi `$.

Mais le terme principal n’est pas seul, il y a aussi des termes complémentaires qui dépendent de $`p`$ et font apparaître les représentations automorphes cuspidales en rangs $`<r`$, et surtout il n’y a même pas d’action de $`_N^r`$ car les correspondances de Hecke de $`Cht_N^r/a^Z`$ ne stabilisent pas les ouverts $`Cht_N^{r,\overline{p}p}/a^Z`$ (ce qui correspond au fait que les traces tronquées $`Tr^p(h)`$ ne sont pas invariantes par conjugaison).

## 3. Donner un sens cohomologique au comptage des points fixes

On vient de dire que les ouverts $`Cht_N^{r,\overline{p}p}/a^Z`$ ne sont pas stabilisés par les correspondances de Hecke si bien qu’en dehors du cas $`h=1\mathrm{I}_N`$ (c’est-à-dire de la seule action de $`G_{F^2}`$) les nombres $`Lef_x(h\times Frob^s,Cht_N^{r,\overline{p}p}/a^Z)`$ n’ont pas a priori de sens cohomologique. On va voir qu’en fait il est possible de leur en donner un plus élaboré.

### 3.1. Compactifications

On compactifie les ouverts tronqués $`Cht_N^{r,\overline{p}p}/a^Z`$ pour retrouver des correspondances de Hecke qui agissent sur la cohomologie. On commence par le cas sans niveau :

Pour tout polygone de troncature $`p`$ assez convexe en fonction du genre de la courbe $`X`$, on construit un champ $`\overline{Cht^{r,\overline{p}p}}`$ algébrique au sens d’Artin, dont les groupes d’automorphismes sont finis (mais ramifiés), qui est muni d’une action de $`F^\times \backslash A^\times `$ et d’un morphisme lisse sur $`X\times X`$, qui contient $`Cht^{r,\overline{p}p}`$ comme ouvert, dont le bord est un diviseur à croisements normaux relatif et enfin dont le quotient par $`a^Z`$ est propre (en particulier de type fini et séparé) sur $`X\times X`$. Les strates de bord $`Cht_{\underset{¯}{r}}^{r,\overline{p}p}`$ sont naturellement indexées par les partitions $`\underset{¯}{r}=(r=r_1+\mathrm{}+r_k)`$ de l’entier $`r`$. Si on distingue le degré $`d`$ des chtoucas avec donc $`Cht^r=\underset{dZ}{}Cht^{r,d}`$, $`\overline{Cht^{r,\overline{p}p}}=\underset{dZ}{}\overline{Cht^{r,d,\overline{p}p}}`$ et $`Cht_{\underset{¯}{r}}^{r,\overline{p}p}=\underset{dZ}{}Cht_{\underset{¯}{r}}^{r,d,\overline{p}p}`$, chaque $`Cht_{\underset{¯}{r}}^{r,d,\overline{p}p}`$ est essentiellement de la forme

$$Cht^{r_1,d_1,\overline{p}p_1}\times _XCht^{r_2,d_2,\overline{p}p_2}\times _{X,Frob}\mathrm{}\times _{X,Frob}Cht^{r_k,d_k,\overline{p}p_k}$$

$`d_1,\mathrm{},d_k`$ et $`p_1,\mathrm{},p_k`$ sont des degrés et polygones de troncatures qui se déduisent de $`d`$ et $`p`$. La strate $`Cht_{\underset{¯}{r}}^{r,\overline{p}p}`$ est munie d’un morphisme vers $`X\times X^{k1}\times X`$ où le premier facteur $`X`$ est le pôle, le dernier facteur $`X`$ est le zéro et les $`k1`$ facteurs $`X`$ supplémentaires sont appelés les dégénérateurs.

Toute fonction $`h_{\mathrm{}}^r`$ induit une correspondance sur $`Cht^r/a^Z`$. On peut considérer sa trace dans $`(Cht^{r,\overline{p}p}/a^Z)^2`$ puis la normalisation de celle-ci sur $`(\overline{Cht^{r,\overline{p}p}}/`$ $`a^Z)^2`$. Comme $`\overline{Cht^{r,\overline{p}p}}/a^Z`$ est propre et lisse sur $`X\times X`$, elle agit sur sa cohomologie.

Considérons maintenant un niveau $`NX`$. La normalisation $`\overline{Cht_N^{r,\overline{p}p}}/a^Z`$ de $`\overline{Cht^{r,\overline{p}p}}/a^Z\times _{X\times X}(XN)\times (XN)`$ dans $`Cht_N^{r,\overline{p}p}/a^Z`$ contient $`Cht_N^{r,\overline{p}p}/a^Z`$ comme ouvert et elle est propre sur $`(XN)\times (XN)`$ mais elle n’est pas lisse et l’auteur ignore comment résoudre ses singularités. Toutefois, en demandant que non seulement le pôle et le zéro mais aussi les dégénérateurs évitent $`N`$, on définit un ouvert $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ de $`\overline{Cht_N^{r,\overline{p}p}}/a^Z`$ qui contient strictement $`Cht_N^{r,\overline{p}p}/a^Z`$, est lisse sur $`X\times X`$ et dont le bord est un diviseur à croisements normaux relatif. Les correspondances de Hecke $`h_N^r`$ agissent sur sa cohomologie d’après le théorème suivant :

Théorème de stabilité globale.Les correspondances de Hecke étendues par normalisation sur $`(\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z)^2`$ stabilisent $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ au sens que leurs deux projections sur celui-ci sont propres.

Ce résultat correspond sans doute au phénomène suivant dans la formule des traces d’Arthur-Selberg : Le défaut d’invariance par conjugaison des traces tronquées $`Tr^p(h)`$ se mesure par les dérivées logarithmiques des opérateurs d’entrelacement de Langlands. Or ces opérateurs sont des produits eulériens et leurs dérivées logarithmiques sont des sommes sur tous les points $`x|X|`$ lesquels correspondent exactement aux valeurs possibles des dégénérateurs. Il n’y a pas d’entrelacement donc pas d’instabilité d’un point de $`|X|`$ à un autre et en demandant au pôle, au zéro et aux dégénérateurs d’éviter certains points de $`|X|`$, on garde la propriété de stabilité globale que vérifie automatiquement la compactification toute entière $`\overline{Cht_N^{r,\overline{p}p}}/a^Z`$.

### 3.2. Cohomologie négligeable et cohomologie essentielle

En résumé, on a maintenant toutes les structures et informations qu’on pourrait souhaiter mais elles sont dispersées entre les différents objets $`Cht_N^r/a^Z`$, $`Cht_N^{r,\overline{p}p}/a^Z`$ et $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ :

Sur $`Cht_N^r/a^Z`$, on a une action de l’algèbre de Hecke $`_N^r`$ mais la cohomologie est de dimension infinie et les ensembles de points fixes sont infinis.

L’ouvert $`Cht_N^{r,\overline{p}p}/a^Z`$ est de type fini et on y a une formule de comptage des points fixes qui s’exprime en termes automorphes mais on a perdu l’action des correspondances de Hecke.

Enfin, sur $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ et sa cohomologie il y a à nouveau une action de chaque $`h_N^r`$ mais on ne donne pas de comptage des points fixes et surtout il n’y a pas d’action de l’algèbre $`_N^r`$ car la normalisation des correspondances de Hecke ne commute pas avec la multiplication.

L’idée est de définir dans toute représentation $`\mathrm{}`$-adique de $`G_{F^2}`$ (après semi-simplification) une partie “négligeable” et une partie “essentielle”, de façon que les $`Cht_N^r/a^Z`$, $`Cht_N^{r,\overline{p}p}/a^Z`$ et $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ aient même cohomologie essentielle (ce qui permettra de rassembler sur celle-ci les informations dispersées dont on dispose) et que les traces des actions sur la cohomologie essentielle soient données par les termes principaux dans la formule de comptage des points fixes, ceux associés aux représentations automorphes cuspidales $`\pi \{\pi \}_r`$ de $`GL_r`$.

Or on s’attend à ce que les $`\pi \{\pi \}_r`$ correspondent à des représentations $`\mathrm{}`$-adiques de $`G_F`$ irréductibles de dimension $`r`$. Quant aux termes complémentaires dans la formule de comptage, ils sont associés aux représentations automorphes cuspidales en rangs $`<r`$ lesquelles correspondent, d’après l’hypothèse de récurrence, aux représentations $`\mathrm{}`$-adiques de $`G_F`$ irréductibles de dimension $`<r`$. Cela dicte la définition suivante (où $`q^{},q^{\prime \prime }:G_{F^2}G_F`$ sont les deux homomorphismes induits par $`X\times XX`$) :

Définition.Une représentation $`\mathrm{}`$-adique irréductible de $`G_{F^2}`$ est dite “$`r`$-négligeable” si elle est facteur direct d’une représentation de la forme

$$q_{}^{}{}_{}{}^{}\sigma ^{}q_{}^{\prime \prime }{}_{}{}^{}\sigma ^{\prime \prime }$$

avec $`\sigma ^{},\sigma ^{\prime \prime }`$ deux représentations de $`G_F`$ irréductibles de rangs $`<r`$.

Elle est dite “essentielle” sinon.

### 3.3. Séparation et identification de la cohomologie essentielle

Dans un premier temps, on oublie complètement les correspondances de Hecke et on ne considère que l’action de $`G_{F^2}`$ sur les différents espaces de cohomologie $`\mathrm{}`$-adique à supports compacts. On montre :

Proposition.Pour tout niveau $`NX`$, la cohomologie de $`Cht_N^r/a^Z`$ et des $`Cht_N^{r,\overline{p}p}/a^Z`$ et $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ $`(`$et la cohomologie d’intersection des $`\overline{Cht_N^{r,\overline{p}p}}/a^Z`$ si $`N\mathrm{})`$ ont la même partie essentielle $`H_N^{ess}`$. Elle est concentrée en degré médian $`\nu =2r2`$ et pure de poids $`2r2`$. Si $`x`$ est un point fermé de $`(XN)\times (XN)`$ dont les deux projections $`\mathrm{},0|X|`$ sont distinctes et $`s=\mathrm{deg}(\mathrm{})s^{}=\mathrm{deg}(0)u^{}`$ est un multiple de $`\mathrm{deg}(x)`$, on a

$`Tr_{H_N^{ess}}(Frob_x^{s/\mathrm{deg}(x)})`$ $`=`$ $`q^{(r1)s}{\displaystyle \underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}}dim(\pi 1\mathrm{I}_N)(z_1(\pi _{\mathrm{}})^s^{}+\mathrm{}+z_r(\pi _{\mathrm{}})^s^{})`$
$`(z_1(\pi _0)^u^{}+\mathrm{}+z_r(\pi _0)^u^{}).`$
Quand $`N=\mathrm{}`$, la cohomologie du bord $`\overline{Cht^{r,\overline{p}p}}/a^ZCht^{r,\overline{p}p}/a^Z`$ est $`r`$-négligeable car il est réunion de strates $`Cht_{\underset{¯}{r}}^{r,\overline{p}p}/a^Z`$ indexées par les partitions $`\underset{¯}{r}=(r=r_1+\mathrm{}+r_k)`$, $`k2`$, qui se dévissent en termes de $`Cht^{r_1},\mathrm{},Cht^{r_k}`$. Pour $`N\mathrm{}`$, un argument plus sophistiqué utilisant ce dévissage montre aussi que les différences entre $`Cht_N^{r,\overline{p}p}/a^Z`$, $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ et $`\overline{Cht_N^{r,\overline{p}p}}/a^Z`$ sont $`r`$-négligeables.

La formule de comptage des points fixes du paragraphe 2.4 (avec $`h=1\mathrm{I}_N`$) et le théorème des points fixes de Grothendieck-Lefschetz donnent les traces des éléments $`Frob_x^{s/\mathrm{deg}(x)}`$ agissant sur la cohomologie des $`Cht_N^{r,\overline{p}p}/a^Z`$. La séparation de la partie essentielle se fait en “testant” ces espaces de cohomologie contre des représentations irréductibles $`r`$-négligeables arbitraires et en regardant les pôles des fonctions L de paires obtenues. Cela utilise la correspondance de Langlands déjà connue en rangs $`<r`$ par hypothèse de récurrence et les propriétés classiques des fonctions L de paires tant du côté automorphe que galoisien (en particulier l’interprétation cohomologique de Grothendieck et le théorème de pureté de Deligne).

Enfin, $`Cht_N^r/a^Z`$ et les $`Cht_N^{r,\overline{p}p}/a^Z`$ ont la même cohomologie essentielle car la formule obtenue pour les traces des $`Frob_x^{s/\mathrm{deg}(x)}`$ ne dépend pas de $`p`$.

### 3.4. Action et traces des correspondances de Hecke

Dans un second temps, on revient aux correspondances de Hecke $`h_N^r`$.

On met d’abord une action naturelle de l’algèbre $`_N^r`$ sur la cohomologie essentielle $`H_N^{ess}`$ en prouvant que $`H=H_c^{2r2}(Cht_N^r/a^Z)=\underset{p}{\underset{}{\mathrm{lim}}}H_c^{2r2}(Cht_N^{r,\overline{p}p}/a^Z)`$ admet une filtration finie $`0=H_0\mathrm{}H_i\mathrm{}H_k=H`$ respectée par la double action de $`G_{F^2}`$ et de $`_N^r`$ dont les gradués impairs $`H_{2i+1}/H_{2i}`$ sont entièrement $`r`$-négligeables et les gradués pairs $`H_{2i+2}/H_{2i+1}`$ sont entièrement essentiels.

Pour terminer, il reste à montrer que pour $`h_N^r`$, $`x`$ et $`s=\mathrm{deg}(\mathrm{})s^{}=\mathrm{deg}(0)u^{}`$ comme dans l’énoncé de la formule de comptage, on a

$`Tr_{H_N^{ess}}(h\times Frob_x^{s/\mathrm{deg}(x)})`$ $`=`$ $`q^{(r1)s}{\displaystyle \underset{\genfrac{}{}{0pt}{}{\pi \{\pi \}_r}{\chi _\pi (a)=\mathrm{\hspace{0.17em}1}}}{}}Tr_\pi (h)(z_1(\pi _{\mathrm{}})^s^{}+\mathrm{}+z_r(\pi _{\mathrm{}})^s^{})`$
$`(z_1(\pi _0)^u^{}+\mathrm{}+z_r(\pi _0)^u^{}).`$
Pour cela, on a besoin d’une formule de Grothendieck-Lefschetz qui relie les nombres de points fixes $`Lef_x(h\times Frob^s,Cht_N^{r,\overline{p}p}/a^Z)`$ à l’action de $`h\times Frob^s`$ sur la cohomologie de $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$ (et ce sera suffisant car on n’a plus alors qu’à combiner une telle formule avec la formule de comptage et à identifier ce qui est “essentiel” des deux côtés par les arguments de fonctions L de paires).

On prouve en fait que pour toute $`h_N^r`$ fixée, il existe des correspondances cohomologiques $`\mathrm{cl}(h)_{\underset{¯}{r}}`$ agissant sur la cohomologie des strates $`\overline{Cht_{N,\underset{¯}{r}}^{r,\overline{p}p}}^{}/a^Z`$ du bord $`\overline{Cht_N^{r,\overline{p}p}}^{}/a^ZCht_N^{r,\overline{p}p}/a^Z`$ telles que pour tout $`x`$ et tout $`s`$ comme plus haut on ait (en notant $`H_c^{}()=\underset{\nu }{}(1)^\nu H_c^\nu ()^{\mathrm{ss}}`$) :

$`Lef_x(h\times Frob_s,Cht_N^{r,\overline{p}p}/a^Z)=Tr_{H_c^{}(\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z)}(h\times Frob_x^{s/\mathrm{deg}(x)})`$
$`+`$ $`{\displaystyle \underset{\genfrac{}{}{0pt}{}{\underset{¯}{r}=(r=r_1+\mathrm{}+r_k)}{k\mathrm{\hspace{0.17em}2}}}{}}(1)^{k1}Tr_{H_c^{}(\overline{Cht_{N,\underset{¯}{r}}^{r,\overline{p}p}}^{}/a^Z)}(\mathrm{cl}(h)_{\underset{¯}{r}}\times Frob_x^{s/\mathrm{deg}(x)}).`$
La preuve de cette formule (qui justifie a posteriori le fait étrange qu’il y ait une formule de comptage des points fixes dans l’ouvert non stable $`Cht_N^{r,\overline{p}p}/a^Z`$) repose sur la propriété géométrique suivante des correspondances de Hecke (qui paraît donc liée à l’existence même de la formule des traces d’Arthur-Selberg) :

Théorème de “stabilité locale”.Dans $`\text{X}=\overline{Cht_N^{r,\overline{p}p}}^{}/a^Z`$, les correspondances de Hecke $`h`$ stabilisent l’ouvert $`\text{X}_{\mathrm{}}=Cht_N^{r,\overline{p}p}/a^Z`$ “localement au voisinage de leurs points fixes”.

Cela signifie que si $`\mathrm{\Gamma }\stackrel{(p_\mathrm{\Gamma }^{},p_\mathrm{\Gamma }^{\prime \prime })}{⸦–-\to }\text{X}\times \text{X}`$ est le cycle qui supporte $`h`$, il existe un ouvert $`U\text{X}\times \text{X}`$ contenant les points fixes de toutes les correspondances $`\mathrm{\Gamma }\times Frob^n`$, $`nN`$, tel que

$$p_{}^{}{}_{\mathrm{\Gamma }}{}^{1}(\text{X}_{\mathrm{}})Up_{}^{\prime \prime }{}_{\mathrm{\Gamma }}{}^{1}(\text{X}_{\mathrm{}})U.$$

## 4. Applications du théorème

La correspondance de Langlands entre représentations $`\mathrm{}`$-adiques irréductibles du groupe de Galois $`G_F`$ de $`F`$ et représentations automorphes cuspidales des groupes $`GL_r`$ sur $`F`$ a des conséquences immédiates et importantes dans les deux sens. Voici les principales :

### 4.1. Conséquences sur les faisceaux $`\mathbf{}`$-adiques

On a d’abord des conséquences très fortes dans le cas des courbes :

Théorème.Soient $`X^{}`$ un ouvert de la courbe $`X`$ et $`\sigma `$ un faisceau $`\mathrm{}`$-adique lisse sur $`X^{}`$, qui est irréductible de rang $`r`$ et dont le déterminant est un caractère d’ordre fini. Alors :

(i) Il existe un corps de nombres $`E\overline{Q}`$ tel qu’en tout point fermé $`x|X^{}|`$, le polynôme $`\mathrm{L}_x(\sigma ,T)^1=det_\sigma (1TFrob_x^1)`$ soit à coefficients dans $`E`$.

(ii) En tout $`x|X^{}|`$, les racines du polynôme $`det_\sigma (1TFrob_x^1)`$ sont des nombres algébriques dont toutes les images complexes sont de module $`1`$. Ce sont des unités $`\lambda `$-adiques en toutes les places $`\lambda `$ non archimédiennes et premières à $`q`$ de $`E`$.

(iii) Pour toute place $`\lambda `$ de $`E`$ au-dessus d’un nombre premier $`\mathrm{}^{}`$ ne divisant pas $`q`$, il existe sur $`X^{}`$ un faisceau $`\mathrm{}^{}`$-adique $`\sigma _\lambda `$ lisse et irréductible de rang $`r`$ tel que

$$det_\sigma (1TFrob_x^1)=det_{\sigma _\lambda }(1TFrob_x^1),x|X^{}|.$$

On voit qu’en dimension 1 sur $`F_q`$, un faisceau $`\mathrm{}`$-adique irréductible dont le déterminant est d’ordre fini est “pur de poids 0” et “il ne dépend pas du choix de $`\mathrm{}`$”. La première de ces deux propriétés s’étend automatiquement en dimension arbitraire :

Corollaire.Soient X une variété normale de type fini sur $`F_q`$ et $`\sigma `$ un faisceau $`\mathrm{}`$-adique lisse sur X qui est irréductible et dont le déterminant est d’ordre fini.

Alors en tout point fermé $`x`$ de X, les valeurs propres de Frobenius de $`\sigma `$ sont des nombres algébriques dont toutes les images complexes sont de modules $`1`$.

Et ce sont des unités $`\lambda `$-adiques pour toute place $`\lambda `$ première à $`q`$.

### 4.2. Conséquences sur les représentations automorphes

Pour les représentations automorphes cuspidales des groupes linéaires sur $`F=F(X)`$, on a d’abord des conséquences sur les valeurs propres de Hecke et les fonctions $`\mathrm{L}`$ de paires :

Théorème. – (i) (Conjecture de Ramanujan-Petersson) Pour toute $`\pi \{\pi \}_r`$, les facteurs locaux $`\pi _x`$ de $`\pi `$ en les $`x|X|`$ sont tempérés.

En particulier, en les $`x`$$`\pi _x`$ est non ramifié, ses valeurs propres de Hecke vérifient

$$|z_i(\pi _x)|=1,1ir.$$

(ii) (Hypothèse de Riemann généralisée) Pour toute paire $`\pi \{\pi \}_r`$, $`\pi ^{}\{\pi \}_r^{}`$, tous les zéros de la fonction $`\mathrm{L}`$ globale

$$\mathrm{L}(\pi \times \pi ^{},T)$$

sont sur le cercle

$$|T|=q^{1/2}.$$

La partie (ii) du théorème est la traduction en termes automorphes du théorème de pureté de Deligne.

D’autre part, on a les cas particuliers suivants de la fonctorialité de Langlands (où, pour toute extension finie $`F^{}`$ de $`F`$, $`A_F^{}`$ désigne son anneau des adèles et $`X_F^{}`$ la courbe projective lisse associée qui est un revêtement fini de $`X=X_F`$) :

Théorème. – (i) (Existence du produit tensoriel automorphe) Soient $`\pi `$ et $`\pi ^{}`$ deux représentations automorphes cuspidales de $`GL_r(A_F)`$ et $`GL_r^{}(A_F)`$. Alors il existe une partition $`rr^{}=r_1+\mathrm{}+r_k`$ et des représentations automorphes cuspidales $`\pi ^1,\mathrm{},\pi ^k`$ de $`GL_{r_1}(A_F),\mathrm{},GL_{r_k}(A_F)`$ qui, en tout $`x|X_F|`$$`\pi `$ et $`\pi ^{}`$ sont non ramifiées, sont elles-mêmes non ramifiées et vérifient

$$\{z_j(\pi _x)z_j^{}(\pi _x^{})1jr,1j^{}r^{}\}=\underset{1ik}{}\{z_1(\pi _x^i),\mathrm{},z_{r_i}(\pi _x^i)\}$$

(ii) (Changement de base) Soient $`F^{}`$ une extension finie de $`F`$ et $`\pi `$ une représentation automorphe cuspidale de $`GL_r(A_F)`$. Alors il existe une partition $`r=r_1+\mathrm{}+r_k`$ et des représentations automorphes cuspidales $`\pi _{}^{}{}_{}{}^{1},\mathrm{},\pi _{}^{}{}_{}{}^{k}`$ de $`GL_{r_1}(A_F^{}),\mathrm{},GL_{r_k}`$ $`(A_F^{})`$, non ramifiées en tout point $`x^{}|X_F^{}|`$ de degré $`\frac{\mathrm{deg}(x^{})}{\mathrm{deg}(x)}`$ au-dessus d’un point $`x|X_F|`$$`\pi `$ est non ramifiée et qui vérifient

$$\{z_1(\pi _x)^{\frac{\mathrm{deg}(x^{})}{\mathrm{deg}(x)}},\mathrm{},z_r(\pi _x)^{\frac{\mathrm{deg}(x^{})}{\mathrm{deg}(x)}}\}=\underset{1ik}{}\{z_1(\pi _{}^{}{}_{x}{}^{i}),\mathrm{},z_{r_i}(\pi _{}^{}{}_{x}{}^{i})\}.$$

(iii) (Induction automorphe) Soient $`F^{}`$ une extension de $`F`$ de degré $`d`$ et $`\pi ^{}`$ une représentation automorphe cuspidale de $`GL_r(A_F^{})`$. Alors il existe une partition $`rd=r_1+\mathrm{}+r_k`$ et des représentations automorphes cuspidales $`\pi ^1,\mathrm{},\pi ^k`$ de $`GL_{r_1}(A_F),\mathrm{},GL_{r_k}(A_F)`$, non ramifiées en tout point $`x|X_F|`$ au-dessus duquel les points $`x^{}|X_F^{}|`$ sont non ramifiées sur $`x`$ et pour $`\pi ^{}`$ et qui vérifient

$$\underset{1ik}{}\mathrm{L}_x(\pi ^i,T)=\underset{x^{}x}{}\mathrm{L}_x^{}(\pi ^{},T).$$


text:
# On maximal tori in the contactomorphism groups of regular contact manifolds

## 1. Introduction and the main result

Let $`(B,\omega )`$ be an integral symplectic manifold. Assume also that $`B`$ is compact and simply connected. Since the class $`[\omega ]H^2(B,)`$ is integral, there exists a principal circle bundle $`S^1P\stackrel{\pi }{}B`$ with Euler class $`[\omega ]`$. Moreover there exists a connection 1-form $`\alpha `$ on $`P`$ with $`d\alpha =\pi ^{}\omega `$ \[BW\]. Consequently $`\alpha `$ is a contact form and $`\xi :=\mathrm{ker}\alpha `$ is a contact distribution. In this note we exploit a relationship between the group $`𝐷𝑖𝑓𝑓(P,\xi )`$ of diffeomorphisms of $`P`$ preserving the contact distribution and the group of symplectomorphisms $`𝐷𝑖𝑓𝑓(B,\omega )`$ in order to translate statements about maximal tori in $`𝐷𝑖𝑓𝑓(B,\omega )`$ into statements about maximal tori in $`(𝐷𝑖𝑓𝑓(P,\xi )`$. By a theorem of Banyaga the group $`𝐷𝑖𝑓𝑓(P,\alpha )`$ of strict contactomorphism is a central extension (possibly nontrivial) of $`𝐷𝑖𝑓𝑓(B,\omega )`$ by $`S^1`$. However the group $`𝐷𝑖𝑓𝑓(P,\xi )`$ is much bigger than $`𝐷𝑖𝑓𝑓(P,\alpha )`$.

###### Remark 1.

When one talks about “maximal tori” in $`𝐷𝑖𝑓𝑓(P,\xi )`$ or in $`𝐷𝑖𝑓𝑓(B,\omega )`$, one can mean two different things:

A torus $`T`$ in a group $`G`$ is maximal if for any torus $`T^{}G`$ with $`TT^{}`$ we have $`T=T^{}`$.

A torus $`T𝐷𝑖𝑓𝑓(B,\omega )`$ satisfies $`dimT\frac{1}{2}dimB`$ so a torus $`T𝐷𝑖𝑓𝑓(B,\omega )`$ of dimension $`\frac{1}{2}dimB`$ is maximal.

Similarly, a torus $`T𝐷𝑖𝑓𝑓(P,\xi )`$ satisfies $`dimT\frac{1}{2}(dimP+1)`$ so a torus $`T𝐷𝑖𝑓𝑓(P,\xi )`$ of dimension $`\frac{1}{2}(dimP+1)`$ is maximal.

Since there exist compact simply connected symplectic four-manifolds $`(B,\omega )`$ that admit no symplectic circle actions \[HK\] (1) and (2a) are quite different. We will see that (1) and (2b) are different as well, so we will use (1) as our definition of a maximal torus.

The main result of the note is the following observation:

###### Theorem 1.

Let $`(B,\omega )`$ be a compact simply connected integral symplectic manifold, $`S^1P\stackrel{\pi }{}B`$ the principal circle bundle with Euler class $`[\omega ]`$, $`\alpha \mathrm{\Omega }^1(P)`$ a connection 1-form with $`d\alpha =\pi ^{}\omega `$ and $`\xi =\mathrm{ker}\alpha `$ the corresponding contact structure on $`P`$. If $`T𝐷𝑖𝑓𝑓(B,\omega )`$ is a maximal torus then its preimage $`T^{}`$ under the surjection $`\tau :𝐷𝑖𝑓𝑓(P,\alpha )𝐷𝑖𝑓𝑓(B,\omega )`$ is a maximal torus in $`𝐷𝑖𝑓𝑓(P,\xi )`$.

###### Remark 2.

The fact that the map $`\tau :𝐷𝑖𝑓𝑓(P,\alpha )𝐷𝑖𝑓𝑓(B,\omega )`$ in Theorem 1 above exists and is a surjective homomorphism is a theorem of Banyaga \[B, Theorem 1\].

Our proof of Theorem 1 is a combination of two Lemmas below. Note that there is a distinct $`S^1`$ in $`𝐷𝑖𝑓𝑓(P,\alpha )𝐷𝑖𝑓𝑓(P,\xi )𝐷𝑖𝑓𝑓(P)`$. It is the circle action that makes $`P`$ a principal $`S^1`$ bundle over $`B`$. We will refer to this subgroup as the $`S^1`$ in $`𝐷𝑖𝑓𝑓(P)`$.

###### Lemma 2.

The preimage of a torus $`T𝐷𝑖𝑓𝑓(B,\omega )`$ in $`𝐷𝑖𝑓𝑓(P,\alpha )`$ under $`\tau `$ is indeed a torus. In fact the action of $`T`$ on $`B`$ lifts to an action of $`T`$ on $`P`$ preserving $`\alpha `$ and commuting with the action of the $`S^1`$.

###### Lemma 3.

If $`H𝐷𝑖𝑓𝑓(P,\xi )`$ is a torus containing the $`S^1`$ then $`H𝐷𝑖𝑓𝑓(P,\alpha )`$.

Lemma 2 is almost certainly not new and must exist somewhere in the literature on pre-quantization of group actions. Unfortunately I have been unable to find a good reference for the result. It is also possible that one can deduce it from \[B, Theorem 1\], but I am not whether the group $`\tau ^1(T)`$ inherits from $`𝐷𝑖𝑓𝑓(P,\alpha )`$ the structure of a Lie group making $`\tau :\tau ^1(T)T`$ a surjective Lie group homomorphism (Banyaga is not very explicit about the topologies and smooth structures of the groups involved in \[B, Theorem 1\]). It is easy to prove that if a Lie group $`G`$ is a central extension of a torus $`T`$ by $`S^1`$ as a Lie group and not just as an abstract group, then $`G`$ is $`S^1\times T`$. On the other hand, Lemma 3 has a very easy proof.

###### Proof of Lemma 3.

Let $`R`$ denote the vector field generating the $`S^1`$ action on $`P`$. Then $`\alpha (R)=1`$ and $`L_R\alpha =0`$ since $`\alpha `$ is a connection. Since $`H`$ contains the $`S^1`$, for any vector $`X`$ in the Lie algebra $`𝔥`$ of $`H`$ the vector field $`X_P`$ induced by $`X`$ on $`P`$ commutes with $`R`$. Also, since $`H𝐷𝑖𝑓𝑓(P,\xi =\mathrm{ker}\alpha )`$, $`L_{X_P}\alpha =f\alpha `$ for some function $`fC^{\mathrm{}}(P)`$ that may depend on $`X`$. We want to show that $`f0`$. Now

$$0=L_{X_P}1=L_{X_P}(\iota (R)\alpha )=\iota (L_{X_P}R)\alpha +\iota (R)\left(L_{X_P}\alpha \right)=0+\iota (R)f\alpha =f.$$

Lemma 2 is a consequence of the following slightly more general proposition. We drop the assumption that $`B`$ is simply connected and replace it with the assumption that the action of $`T`$ is Hamiltonian. One may also drop the assumption that $`B`$ is compact, but we won’t do it. I am grateful to Anton Alekseev for telling me how to prove the proposition.

###### Proposition 4.

Let $`(B,\omega )`$ be a compact integral symplectic manifold. Let $`S^1P\stackrel{\pi }{}B`$ be the principal $`S^1`$ bundle with first Chern (Euler) class $`c_1(P)=[\omega ]`$. Let $`\alpha `$ be the connection 1-form on $`P`$ with $`d\alpha =\pi ^{}\omega `$. Suppose there is a Hamiltonian action of a torus $`T`$ on $`B`$ with an associated moment map $`\mathrm{\Phi }:B𝔱^{}`$.

Then there is an action of $`T`$ on $`P`$ preserving $`\alpha `$ and making $`\pi `$ equivariant.

###### Proof.

It is well known how to lift the action of the Lie algebra $`𝔱`$ of $`T`$ on $`B`$ to an action on $`P`$ preserving $`\alpha `$ (see, for example \[S\]): Given $`X𝔱`$ the induced vector field $`X_P`$ on $`P`$ is defined by

(1.1)
$$X_P:=X_B^h(\pi ^{}\mathrm{\Phi }^X)R,$$

where $`X_B`$ is the vector field induced by $`X`$ on $`B`$, $`X_B^h`$ denotes its horizontal lift to $`P`$, $`\mathrm{\Phi }^X=\mathrm{\Phi },X`$ is the $`X`$-component of the moment map $`\mathrm{\Phi }`$, and $`R`$ is the vector field generating the action of $`S^1=/`$. Thus we have an action of the universal cover $`\stackrel{~}{T}`$ of $`T`$ on $`P`$. The point of the proposition is that for a suitable normalization of the moment map $`\mathrm{\Phi }`$, the action of $`\stackrel{~}{T}`$ descends to an action of $`T`$. Note that the proposition is false if the group in question is not a torus: there is no way to lift the standard action of $`SO(3)`$ on $`S^2`$ to an action on $`S^3`$.

Our normalization is as follows. Since $`B`$ is compact and the action of $`T`$ is Hamiltonian, the set of $`T`$-fixed points $`B^T`$ is non-empty. Pick a point $`b_0B^T`$ and normalize $`\mathrm{\Phi }`$ by requiring that $`\mathrm{\Phi }(b_0)=0`$. We claim for any vector $`X`$ in the integral lattice $`_T:=\mathrm{ker}\{\mathrm{exp}:𝔱T\}`$ the flow $`\{\mathrm{exp}tX_P\}`$ defined by (1.1) is periodic of period 1. Indeed, since the vector fields $`X_B^h`$ and $`(\pi ^{}\mathrm{\Phi }^X)R`$ commute,

$$\mathrm{exp}tX_P=(\mathrm{exp}tX_B^h)\mathrm{exp}(t(\pi ^{}\mathrm{\Phi }^X)R).$$

For a point $`pP`$,

$$\mathrm{exp}(t(\pi ^{}\mathrm{\Phi }^X)R)(p)=e^{2\pi it\mathrm{\Phi }^X(b)},$$

where $`b=\pi (p)`$ and where we identified $`/`$ with $`U(1)`$ by $`\theta mode^{2\pi i\theta }`$.

The curve $`\gamma (t)=(\mathrm{exp}tX_B)(b)`$ is a loop in $`B`$ since $`X_T`$. Hence $`(\mathrm{exp}tX_B^h)(p)=H(\gamma )p`$ where $`H(\gamma )`$ denotes the holonomy of $`\gamma `$. On the other hand,

$$H(\gamma )=e^{2\pi i_D\omega }$$

for any disk $`DB`$ with boundary $`\gamma `$. (Note that if $`D^{}`$ is another disk with boundary $`\gamma `$, then $`_D\omega _D^{}\omega =_{S^2}\omega `$, since $`[\omega ]`$ is integral, and consequently $`e^{2\pi i_D\omega }`$ is well-defined.)

The curve $`\gamma `$ always bounds a disk: since $`B`$ is connected, there is a path $`\tau :[0,1]B`$ with $`\tau (0)=b_0`$ and $`\tau (1)=b`$. The disk

$$D_\tau =\{(\mathrm{exp}tX_B)\tau (s)0t1,\mathrm{\hspace{0.17em}\hspace{0.17em}0}s1\}$$

is a desired disk. Moreover,

$$_{D_\tau }\omega =_{\tau ([0,1])}(\iota (X_B)\omega )=_0^1𝑑\mathrm{\Phi }^X(\tau (s))𝑑s=\mathrm{\Phi }^X(\tau (1))\mathrm{\Phi }^X(\tau (0))=\mathrm{\Phi }^X(b).$$

Thus $`(\mathrm{exp}X_B^h)p=H(\gamma )p=e^{2\pi i\mathrm{\Phi }^X(b)}p`$, and therefore

$$(\mathrm{exp}X_P)(p)=\mathrm{exp}X_B^he^{2\pi i\mathrm{\Phi }^X(b)}p=e^{2\pi i\mathrm{\Phi }^X(b)}e^{2\pi i\mathrm{\Phi }^X(b)}p=p.$$

## 2. Examples

###### Example 1.

Hausmann and Knutson \[HK\] constructed a symplectic form $`\omega `$ on $`B=P\mathrm{\#}3\overline{P^2}`$ which admits no Hamiltonian (hence symplectic) circle actions. The form $`\omega `$ may be taken to be integral. The manifold $`(B,\omega )`$ is a pentagon space. Consider the corresponding contact manifold $`(P,\xi =\mathrm{ker}\alpha )`$, where as above $`\pi :PB`$ is the principal $`S^1`$ bundle with $`c_1(P)=[\omega ]`$ and $`\alpha `$ is a connection 1-form with $`d\alpha =\pi ^{}\omega `$. By Theorem 1 the $`S^1`$ in the contactomorphism group $`𝐷𝑖𝑓𝑓(P,\xi )`$ is a maximal torus. Note that $`dimP=5`$, so the maximal possible dimension of a maximal torus in $`𝐷𝑖𝑓𝑓(P,\xi )`$ is 3.

###### Example 2.

Hausmann and Tolman \[HT\] constructed a number of polygon spaces $`(B,\omega )`$ with the property that the symplectomorphism group $`𝐷𝑖𝑓𝑓(B,\omega )`$ contains maximal tori of different dimensions. For example the group of symplectomorphisms of the heptagon space $`𝑃𝑜𝑙(1,1,2,2,3,3,3)`$ (we use the notation of \[HT\]) contains maximal tori of dimensions 2, 3 and 4. Hence the contactomorphism group $`𝐷𝑖𝑓𝑓(P,\xi )`$ of the corresponding principal circle bundle $`P𝑃𝑜𝑙(1,1,2,2,3,3,3)`$ contains maximal tori of dimension $`2+1`$, $`3+1`$ and $`4+1`$.

## Acknowledgments

The work on this note was supported by the Swiss NSF at the University of Geneva in May 2002. I am grateful to the University for its hospitality. I thank J.-C. Hausmann and A. Alekseev for their help.


text:
# Performance of the CDF Miniplug Calorimeters

## 1 INTRODUCTION

During Run I, which started in 1992 and lasted until the end of 1995, the CDF experiment collected a large data sample which has been extensively studied. Considerable knowledge on diffractive physics phenomena was gained using those data (see, for example, Ref. ).

The Run II physics program at the Tevatron Collider started in November 2001. Protons and antiprotons are colliding at an energy of $`\sqrt{s}=1.96`$ TeV, with a typical instantaneous luminosity of $`2÷310^{31}`$cm-2sec-1. Both the CDF and the DØ experiments underwent major upgrade projects to improve their detector capabilities. Among these, the Forward Detectors upgrade project at CDF will enhance the sensitivity for hard diffraction and very forward physics during Run II.

The signature of a typical diffractive event in $`p\overline{p}`$ collisions is a leading proton or anti-proton and/or a region at large pseudorapidity with no particles, also known as gap region. In order to detect such events, forward regions in pseudorapidity are extremely important. The diffractive physics topics to be addressed in Run II include studies of soft and hard diffraction, searches for centauros and disoriented chiral condensates, and forward jet production.

The Forward Detectors include the Roman Pot Spectrometer fiber tracker detectors to detect leading antiprotons, a set of Beam Shower Counters (BSCs) installed around the beam-pipe at three (four) locations along the $`p`$($`\overline{p}`$) direction to tag rapidity gaps at 5.5 $`<|\eta |<`$ 7.5, and two forward MiniPlug (MP) calorimeters covering the pseudorapidity region 3.6 $`<|\eta |<`$ 5.1. All the above detectors have been installed, are now fully integrated with the rest of the CDF detector, and are presently collecting data.

In the following sections, the MP detectors  and their performance will be presented. The other Forward Detectors are discussed elsewhere  together with the main goals of the physics program.

## 2 DETECTORS

The program of hard diffraction and very forward physics for Run II benefits from two forward MP calorimeters designed to measure the energy and lateral position of both electromagnetic and hadronic showers. The MPs can detect both charged and neutral particles. They extend the pseudorapidity region covered by the Plug calorimeters, which is 1.1 $`<|\eta |<`$ 3.5.

The MP and Plug calorimeters can measure the width of the rapidity gap(s) produced in diffractive processes and will allow extending Run I studies of the diffractive structure function to much lower values of the fractions $`\xi `$, where $`\xi `$ is the momentum of the proton carried by the pomeron. The low $`\xi `$ values can be measured from the size of the rapidity gap region using information from both BSCs and MPs.

The MPs consist of alternating layers of lead plates and liquid scintillator read out by Wave-Length Shifting (WLS) fibers (Fig. 1). The WLS fibers are perpendicular to the lead plates and parallel to the proton/anti-proton beams, in a geometry where towers are formed by combining the desired numbers of fibers and are read out by Multi-Channel PhotoMultipliers (MCPMTs). The 16-channel R5900 MCPMTs have been produced by Hamamatsu with a quartz window which significantly improves the radiation hardness. The MP has a “towerless” geometry and has no dead regions due to the lack of internal mechanical boundaries. Each MP is housed in a cylindrical steel barrel $`26^{\prime \prime }`$ in diameter and has a $`5^{\prime \prime }`$–hole concentric with the cylinder axis to accommodate the beam-pipe (Fig. 2). The active depth of each MP is 32 radiation lengths and 1.3 interaction lengths. The “short” hadronic depth does not allow a large lateral spread of the showers, thereby facilitating the determination of the shower position and particle counting.

The design is based on a hexagon geometry. Uniformly distributed over each plate, holes are conceptually grouped in hexagons and each hexagon has six holes. A WLS fiber is inserted in each hole. The six fibers of one hexagon are grouped together and are viewed by one MCPMT channel. The MCPMT outputs are added in groups of three to form 84 calorimeter towers in order to reduce the costs of the readout electronics. The tower geometry is organized in four concentric circles around the beam-pipe (Fig. 3).

The entire MCPMT can also be read out through the last dynode output, indicated as TrigTower in Figure 3, to provide triggering information. Each MP has a total of 18 trigger towers, arranged in three rings, the inner, the middle and the outer ring. This allows triggering on different pseudorapidity ($`\eta `$) regions, either for events with a gap region or for events with large energy clusters. An additional clear fiber carries the light from a calibration LED to each MCPMT pixel. The LED allows a first relative gain calibration to equalize the MCPMT gains. It also allows periodical monitoring of the MCPMT response.

Cosmic ray muons were used to test one 60-wedge of the East MP. In this test, the cosmic ray trigger fired on a 2-fold coincidence of scintillation counter paddles located on top and at the bottom of the MP vessel, placed with the towers pointing upward. The outputs from Towers #5, 6, 7 and 8 and from Trigger Towers #0, 6 and 12 (Fig. 3) were read out. An energy isolation cut selected only those muons which went through the entire length of the central Trigger Tower (#6) and vetoed on the signals from the neighboring Trigger Towers (#0 and 12). The single photoelectron response for Tower #7 was measured using a randomly gated signal from a 60Co source (Fig. 4). The single tower response to a Minimum Ionizing Particle was found to be approximately 120 photoelectrons, exceeding the design specification.

The MPs have been installed along the beam-pipe within the hole of the muon toroids at a distance of 5.8 m from the center of the CDF detector (Fig. 5). Since June 2002, the MP detectors are fully instrumented and collecting data.

## 3 CALIBRATION AND RESULTS

The first data from Run II have been used to calibrate and commission the MPs. Although a precise energy calibration of the MP is not crucial to the understanding of diffractive processes, an attempt was made to estimate the energy scale of jets and particles. To this end, a Monte Carlo simulation was used to calibrate the pseudorapidity dependence of the particles’ energies and thereby the tower-by-tower relative response. For each tower, the ADC count distribution of the data can be fitted well with a falling exponential curve, as shown in Figure 6 (top).

Due to pile-up effects at larger rapidity regions, a luminosity dependence of the ADC count distribution slope can be observed (Fig. 6, bottom). A linear fit seems to describe well the data with the slope decreasing with increasing values of the instantaneuos luminosity. As expected, lower slope values are measured for the inner rings, where the particles’ energies are larger. The distribution of the residuals is well represented by a Gaussian with a r.m.s. of approximately 7% of the distribution mean for all MP rings. In order to estimate the energy calibration, the ADC distributions are compared with a Monte Carlo simulation for a sample of minimum bias events. The slopes are first equalized separately in each ring and are then adjusted to the slopes predicted from Monte Carlo for different pseudorapidity regions.

The particle multiplicity is measured by counting the number of “peaks” (signal above detector noise) or seed towers. Figure 7 shows the particle multiplicity in the West MP in a minimum bias event sample, which is in agreement with Monte Carlo expectations. Typically, one peak corresponds to one particle. When more particles are confined to the same $`\eta \varphi `$ region, the energy measured is proportionally larger. In order to correctly calibrate the tower energy scale, the lateral spread of the shower was measured. About 25% of the energy of the shower is deposited in the seed tower. The remainder is deposited in the surrounding towers.

Particles with large energies in the MP only correspond to small transverse energies ($`EE_T\theta _{MP}`$, where $`\theta _{MP}30÷50`$ mrad). Figure 8 shows an event display with two jets in the MP (the term “jet” is used here to indicate a cluster of towers, which is most likely due to one particle interacting in the MP). This event was selected from a minimum bias data sample.

## 4 PROSPECTS

The program for diffractive physics during Run II at the Tevatron includes studies of soft and hard diffraction and of double pomeron exchange. The Forward Detectors are an essential component of this program at the CDF experiment. The MP calorimeters are needed to measure the flow of the event energy in the very forward rapidity region.

The detectors have been installed, the study of their performance and some of the results obtained have been discussed here. The MPs are presently collecting good quality data for further exploring difractive physics.

In conclusion, after many years of preparation, Run II is finally becoming a reality.

## ACKNOWLEDGMENTS

My warm thanks to the organizers for a wonderful workshop with a special taste. Also to the contradaioli of Civetta and Leocorno for great hospitality.