{"title":"Arithmetic Satake compactifications and algebraic Drinfeld modular forms","authors":"Urs Hartl, Chia-Fu Yu","doi":"10.1112/jlms.70082","DOIUrl":null,"url":null,"abstract":"<p>In this article, we construct the arithmetic Satake compactification of the Drinfeld moduli schemes of arbitrary rank over the ring of integers of any global function field away from the level structure, and show that the universal family extends uniquely to a generalized Drinfeld module over the compactification. Using these and functorial properties, we define algebraic Drinfeld modular forms over more general bases and the action of the (prime-to-residue characteristic and level) Hecke algebra. The construction also furnishes many algebraic Drinfeld modular forms obtained from the coefficients of the universal family that are also Hecke eigenforms. Among them, we obtain generalized Hasse invariants that are already defined on the arithmetic Satake compactification and not only its special fiber. We use these generalized Hasse invariants to study the geometry of the special fiber. We conjecture that our Satake compactification is Cohen–Macaulay. If this is the case, we establish the Jacquet–Langlands correspondence (mod <span></span><math>\n <semantics>\n <mi>v</mi>\n <annotation>$v$</annotation>\n </semantics></math>) between Hecke eigensystems of rank <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math> Drinfeld modular forms and those of algebraic modular forms (in the sense of Gross) attached to a compact inner form of <span></span><math>\n <semantics>\n <msub>\n <mi>GL</mi>\n <mi>r</mi>\n </msub>\n <annotation>$\\mathop {\\rm GL}\\nolimits _r$</annotation>\n </semantics></math>.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"111 4","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2025-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70082","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.70082","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In this article, we construct the arithmetic Satake compactification of the Drinfeld moduli schemes of arbitrary rank over the ring of integers of any global function field away from the level structure, and show that the universal family extends uniquely to a generalized Drinfeld module over the compactification. Using these and functorial properties, we define algebraic Drinfeld modular forms over more general bases and the action of the (prime-to-residue characteristic and level) Hecke algebra. The construction also furnishes many algebraic Drinfeld modular forms obtained from the coefficients of the universal family that are also Hecke eigenforms. Among them, we obtain generalized Hasse invariants that are already defined on the arithmetic Satake compactification and not only its special fiber. We use these generalized Hasse invariants to study the geometry of the special fiber. We conjecture that our Satake compactification is Cohen–Macaulay. If this is the case, we establish the Jacquet–Langlands correspondence (mod ) between Hecke eigensystems of rank Drinfeld modular forms and those of algebraic modular forms (in the sense of Gross) attached to a compact inner form of .
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.