Local-global compatibility and the action of monodromy on nearby cycles

TL;DR

This paper advances the understanding of the local-global compatibility in the Langlands program for even-dimensional general linear groups over CM fields, establishing a precise correspondence at all primes and proving the Ramanujan-Petersson conjecture.

Contribution

It extends the local-global compatibility to include the action of monodromy on nearby cycles, generalizing previous results and confirming the Ramanujan-Petersson conjecture for certain automorphic representations.

Findings

Established local-global compatibility at all primes for specified automorphic representations.

Generalized the weight-spectral sequence to analyze monodromy action on nearby cycles.

Proved the Ramanujan-Petersson conjecture for the considered class of automorphic representations.

Abstract

We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $\Pi$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $\Pi_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an $l$-adic Galois representation $R_{l}(\Pi)$ and proved the local-global compatibility up to semisimplification at primes $v$ not dividing $l$. We extend this compatibility by showing that the Frobenius semisimplification of the restriction of $R_{l}(\Pi)$ to the decomposition group at $v$ corresponds to the image of $\Pi_{v}$ via the local Langlands correspondence. We follow the strategy of Taylor-Yoshida, where it was assumed that $\Pi$ is square-integrable at a finite place. To make the argument work, we study the action of the monodromy operator $N$ on the complex of nearby cycles on a scheme which is locally etale over a product of semistable schemes and derive a generalization of the weight-spectral sequence in this case. We also prove the Ramanujan-Petersson conjecture for $\Pi$ as above.