Search arXivSearch

arXiv · 2112.06851

The Taylor-Wiles method for coherent cohomology, II

Abstract

We show that the Taylor-Wiles method can be applied to the cohomology of a Shimura variety $S$ of PEL type attached to a unitary similitude group $G$, with coefficients in the coherent sheaf attached to an automorphic vector bundle $\CF$ , when $S$ has a smooth model over a $p$-adic integer ring. This generalizes the main results of the article \cite{H13}, which treated the case when $S$ is compact. As in the previous article, the starting point is a theorem of Lan and Suh that proves the vanishing of torsion in the cohomology under certain conditions on the parameters of the bundle $\CF$ and the prime $p$. Most of the additional difficulty in the non-compact case is related to showing that the contributions of boundary cohomology are all of Eisenstein type. We also need to show that the coverings giving rise to the diamond operators can be extended to étale coverings of appropriate toroidal compactifications. The result is applied to show that, when the Taylor-Wiles method applies, the congruence ideal attached to a coherent cohomological realization of an automorphic Galois representation is independent of the signatures of the hermitian form to which $G$ is attached. We also show that the Gorenstein hypothesis used to construct $p$-adic $L$-functions in \cite{EHLS} is valid under rather general hypotheses.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stanislav Atanasov, Michael Harris. 2025-02-20. The Taylor-Wiles method for coherent cohomology, II. https://arxiv.org/abs/2112.06851

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT