{"title":"Modular supercuspidal lifts of weight 2","authors":"Iván Blanco-Chacón , Luis Dieulefait","doi":"10.1016/j.jnt.2025.12.015","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><mi>F</mi><mo>/</mo><mi>Q</mi></math></span> be a totally real number field and <span><math><mi>N</mi></math></span> an ideal of its ring of integers of norm <em>N</em>. Let <span><math><mi>p</mi><mo>></mo><mi>max</mi><mo></mo><mo>{</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>,</mo><mn>6</mn><mo>}</mo></math></span> be a prime totally split in <em>F</em> such that <span><math><mi>p</mi><mo>∤</mo><mi>N</mi></math></span>. For every even <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, define the <span><math><mo>[</mo><mi>F</mi><mo>:</mo><mi>Q</mi><mo>]</mo></math></span>-dimensional parallel weight <span><math><mtext>k</mtext><mo>=</mo><mo>(</mo><mi>k</mi><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><mi>k</mi><mo>)</mo></math></span>. Let <span><math><mi>f</mi><mo>∈</mo><msub><mrow><mi>S</mi></mrow><mrow><mtext>k</mtext></mrow></msub><mo>(</mo><msub><mrow><mi>Γ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>N</mi><mo>)</mo><mo>)</mo></math></span> be any non CM Hilbert cuspidal Hecke eigenform. Assume that the residual representation <span><math><msub><mrow><mover><mrow><mi>ρ</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>f</mi><mo>,</mo><mi>P</mi></mrow></msub></math></span> has large image for some prime <span><math><mi>P</mi></math></span> over <em>p</em> in the field of definition of <em>f</em>. Under these conditions, we prove that there exists a lift of <span><math><msub><mrow><mover><mrow><mi>ρ</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>f</mi><mo>,</mo><mi>P</mi></mrow></msub></math></span> associated to a Hilbert modular cuspform <span><math><mi>g</mi><mo>∈</mo><msub><mrow><mi>S</mi></mrow><mrow><mtext>2</mtext></mrow></msub><mo>(</mo><mi>N</mi><msup><mrow><mi>p</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>,</mo><mi>ϵ</mi><mo>)</mo></math></span> which is supercuspidal at each prime of <em>F</em> over <em>p</em>. We also give a proof of the corresponding statement for classical Hecke cuspforms. Such statement was already proved by Khare <span><span>[23]</span></span> with classical techniques. Finally, using our main result we give a corrigenda for <span><span>[12]</span></span>, correctly inserting the micro good dihedral prime in the level.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"285 ","pages":"Pages 54-73"},"PeriodicalIF":0.7000,"publicationDate":"2026-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Number Theory","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022314X26000351","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/2/6 0:00:00","PubModel":"Epub","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a totally real number field and an ideal of its ring of integers of norm N. Let be a prime totally split in F such that . For every even , define the -dimensional parallel weight . Let be any non CM Hilbert cuspidal Hecke eigenform. Assume that the residual representation has large image for some prime over p in the field of definition of f. Under these conditions, we prove that there exists a lift of associated to a Hilbert modular cuspform which is supercuspidal at each prime of F over p. We also give a proof of the corresponding statement for classical Hecke cuspforms. Such statement was already proved by Khare [23] with classical techniques. Finally, using our main result we give a corrigenda for [12], correctly inserting the micro good dihedral prime in the level.
期刊介绍:
The Journal of Number Theory (JNT) features selected research articles that represent the broad spectrum of interest in contemporary number theory and allied areas. A valuable resource for mathematicians, the journal provides an international forum for the publication of original research in this field.
The Journal of Number Theory is encouraging submissions of quality, long articles where most or all of the technical details are included. The journal now considers and welcomes also papers in Computational Number Theory.
Starting in May 2019, JNT will have a new format with 3 sections:
JNT Prime targets (possibly very long with complete proofs) high impact papers. Articles published in this section will be granted 1 year promotional open access.
JNT General Section is for shorter papers. We particularly encourage submission from junior researchers. Every attempt will be made to expedite the review process for such submissions.
Computational JNT . This section aims to provide a forum to disseminate contributions which make significant use of computer calculations to derive novel number theoretic results. There will be an online repository where supplementary codes and data can be stored.