English

Multiplicity one bound for cohomological automorphic representations with a fixed level

Number Theory 2022-03-15 v3

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\pi_1=\otimes\pi_{1,v} and π2=π2,v\pi_2=\otimes\pi_{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}(\pi_1,\pi_2) be the minimum of the absolute norm of vv \nmid \infty such that π1,v≄π2,v\pi_{1,v} \not \simeq \pi_{2,v} and that π1,v\pi_{1,v} and π2,v\pi_{2,v} are unramified. We prove that there exists a constant CNC_N such that for every pair π1\pi_1 and π2\pi_2, N(π1,π2)CN.\mathcal{N}(\pi_1,\pi_2) \leq C_N. This improves known bounds N(π1,π2)=O(QA)      (some A depending only on n), \mathcal{N}(\pi_1,\pi_2)=O(Q^A) \;\;\; (\text{some } A \text{ depending only on } n), where QQ is the maximum of the analytic conductors of π1\pi_1 and π2\pi_2. This result applies to newforms on Γ1(N)\Gamma_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(k11)=λf2(p)/p(k21),\lambda_{f_1}(p)/\sqrt{p}^{(k_1-1)} = \lambda_{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)\lambda_{f_i}(p) denotes the pp-th Hecke eigenvalue of fif_i.

Keywords

Cite

@article{arxiv.2103.12533,
  title  = {Multiplicity one bound for cohomological automorphic representations with a fixed level},
  author = {Dohoon Choi},
  journal= {arXiv preprint arXiv:2103.12533},
  year   = {2022}
}

Comments

A new paper preparing with other collaborators will include the results of this paper

R2 v1 2026-06-24T00:28:21.766Z