Multiplicity one bound for cohomological automorphic representations with a fixed level

preprint2022arXivOpen access

Abstract

Let FF be a totally real field, and AF\mathbb{A}_F be the adele ring of FF. Let us fix NN to be a positive integer. Let π1=⊗π1,vπ_1=\otimesπ_{1,v} and π2=⊗π2,vπ_2=\otimesπ_{2,v} be distinct cohomological cuspidal automorphic representations of GLn(AF)\mathrm{GL}_n(\mathbb{A}_{F}) with levels less than or equal to NN. Let N(π1,π2)\mathcal{N}(π_1,π_2) be the minimum of the absolute norm of v∤∞v \nmid \infty such that π1,v≄π2,vπ_{1,v} \not \simeq π_{2,v} and that π1,vπ_{1,v} and π2,vπ_{2,v} are unramified. We prove that there exists a constant CNC_N such that for every pair π1π_1 and π2π_2, N(π1,π2)≤CN.\mathcal{N}(π_1,π_2) \leq C_N. This improves known bounds N(π1,π2)=O(QA)      (some A depending only on n), \mathcal{N}(π_1,π_2)=O(Q^A) \;\;\; (\text{some } A \text{ depending only on } n), where QQ is the maximum of the analytic conductors of π1π_1 and π2π_2. This result applies to newforms on Γ1(N)Γ_1(N). In particular, assume that f1f_1 and f2f_2 are Hecke eigenforms of weight k1k_1 and k2k_2 on SL2(Z)\mathrm{SL}_2(\mathbb{Z}), respectively. We prove that if for all p∈{2,7}p \in \{2,7\}, λf1(p)/p(k1−1)=λf2(p)/p(k2−1),λ_{f_1}(p)/\sqrt{p}^{(k_1-1)} = λ_{f_2}(p)/\sqrt{p}^{(k_2-1)}, then f1=cf2f_1=cf_2 for some constant cc. Here, for each prime pp, λfi(p)λ_{f_i}(p) denotes the pp-th Hecke eigenvalue of fif_i.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.