We prove an explicit formula for the arithmetic intersection number of diagonal cycles on GSpin Rapoport–Zink spaces in the minuscule case. This is a local problem arising from the arithmetic Gan–Gross–Prasad conjecture for orthogonal Shimura varieties. Our formula can be viewed as an orthogonal counterpart of the arithmetic–geometric side of the arithmetic fundamental lemma proved by Rapoport–Terstiege–Zhang in the minuscule case.

We give a Rankin–Selberg integral representation for the Spin (degree eight) $L$-function on $\operatorname{PGSp}_{6}$ that applies to the cuspidal automorphic representations associated to Siegel modular forms. If $\unicode[STIX]{x1D70B}$ corresponds to a level-one Siegel modular form $f$ of even weight, and if $f$ has a nonvanishing maximal Fourier coefficient (defined below), then we deduce the functional equation and finiteness of poles of the completed Spin $L$-function $\unicode[STIX]{x1D6EC}(\unicode[STIX]{x1D70B},\text{Spin},s)$ of $\unicode[STIX]{x1D70B}$.

The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in the relative trace formula approach to the arithmetic Gan–Gross–Prasad conjecture. We prove this conjecture in the minuscule case.

Let $G$ be a connected, reductive algebraic group over a number field $F$ and let $E$ be an algebraic representation of ${G}_{\infty } $. In this paper we describe the Eisenstein cohomology ${ H}_{\mathrm{Eis} }^{q} (G, E)$ of $G$ below a certain degree ${q}_{ \mathsf{res} } $ in terms of Franke’s filtration of the space of automorphic forms. This entails a description of the map ${H}^{q} ({\mathfrak{m}}_{G} , K, \Pi \otimes E)\rightarrow { H}_{\mathrm{Eis} }^{q} (G, E)$, $q\lt {q}_{ \mathsf{res} } $, for all automorphic representations $\Pi $ of $G( \mathbb{A} )$ appearing in the residual spectrum. Moreover, we show that below an easily computable degree ${q}_{ \mathsf{max} } $, the space of Eisenstein cohomology ${ H}_{\mathrm{Eis} }^{q} (G, E)$ is isomorphic to the cohomology of the space of square-integrable, residual automorphic forms. We discuss some more consequences of our result and apply it, in order to derive a result on the residual Eisenstein cohomology of inner forms of ${\mathrm{GL} }_{n} $ and the split classical groups of type ${B}_{n} $, ${C}_{n} $, ${D}_{n} $.

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ngô Bao Châu’s proof of the Langlands–Shelstad fundamental lemma. Ngô’s approach is based on a study of the elliptic part of the Hichin fibration. The total space of this fibration is the algebraic stack of Hitchin bundles and its base space is the affine space of ‘characteristic polynomials’. Over the elliptic set, the Hitchin fibration is proper and the number of points of its fibers over a finite field can be expressed in terms of orbital integrals. In this paper, we study the Hitchin fibration over an open set larger than the elliptic set, namely the ‘generically regular semi-simple set’. The fibers are in general neither of finite type nor separated. By analogy with Arthur’s truncation, we introduce the substack of ξ-stable Hitchin bundles. We show that it is a Deligne–Mumford stack, smooth over the base field and proper over the base space of ‘characteristic polynomials’. Moreover, the number of points of the ξ-stable fibers over a finite field can be expressed as a sum of weighted orbital integrals, which appear in the Arthur–Selberg traceformula.

Let G be the simple algebraic group Sp(2,2), to be defined over ℚ. It is a non-quasi-split, ℚ-rank-two inner form of the split symplectic group Sp8 of rank four. The cohomology of the space of automorphic forms on G has a natural subspace, which is spanned by classes represented by residues and derivatives of cuspidal Eisenstein series. It is called Eisenstein cohomology. In this paper we give a detailed description of the Eisenstein cohomology HqEis(G,E) of G in the case of regular coefficients E. It is spanned only by holomorphic Eisenstein series. For non-regular coefficients E we really have to detect the poles of our Eisenstein series. Since G is not quasi-split, we are out of the scope of the so-called ‘Langlands–Shahidi method’ (cf. F. Shahidi, On certain L-functions, Amer. J. Math. 103 (1981), 297–355; F. Shahidi, On the Ramanujan conjecture and finiteness of poles for certain L-functions, Ann. of Math. (2) 127 (1988), 547–584). We apply recent results of Grbac in order to find the double poles of Eisenstein series attached to the minimal parabolic P0 of G. Having collected this information, we determine the square-integrable Eisenstein cohomology supported by P0 with respect to arbitrary coefficients and prove a vanishing result. This will exemplify a general theorem we prove in this paper on the distribution of maximally residual Eisenstein cohomology classes.

We generalize a theorem of Tate and show that the second cohomology of the Weil group of a global or local field with coefficients in $\mathbb{C}^*$ (or, more generally, with coefficients in the complex points of an algebraic torus over $\mathbb{C}$) vanish, where the cohomology groups are defined using measurable cochains in the sense of Moore. We recover a theorem of Labesse stating that the admissible homomorphisms of a Weil group to the Langlands dual group of a reductive group can be lifted to an extension of the Langlands dual group by a torus.