Transcendence of Hecke operators in the big Hecke algebra (Q2510815): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1987558322 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5488002 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Motives for Hilbert modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Néron Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Irreducibility of automorphic Galois representations of \(\mathrm{GL}(n)\), \(n\) at most \(5\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Values of abelian \(L\)-functions at negative integers over totally real fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Galois representations modulo p and cohomology of Hilbert modular varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On p-adic Hecke algebras for \(GL_ 2\) over totally real fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4027536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(p\)-adic \(L\)-functions of \(GL(2) \times{} GL(2)\) over totally real fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Control theorems of $p$-nearly ordinary cohomology groups for $\text {SL} (n)$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the search of genuine $p$-adic modular $L$-functions for $GL(n)$. With a correction to: On $p$-adic $L$-functions of $GL(2)\times{}GL(2)$ over totally real fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4490714 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4821148 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anticyclotomic main conjectures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5479417 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hecke fields of analytic families of modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3101968 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5167396 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anti-cyclotomic Katz $p$-adic $L$-functions and congruence modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isogeny classes of abelian varieties over finite fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4386353 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Répartition asymptotique des valeurs propres de l’opérateur de Hecke 𝑇_𝑝 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4875376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Galois representations associated to Hilbert modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4858027 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3943047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On ordinary \(\lambda\)-adic representations associated to modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Iwasawa conjecture for totally real fields / rank
 
Normal rank

Latest revision as of 19:43, 8 July 2024

scientific article
Language Label Description Also known as
English
Transcendence of Hecke operators in the big Hecke algebra
scientific article

    Statements

    Transcendence of Hecke operators in the big Hecke algebra (English)
    0 references
    0 references
    4 August 2014
    0 references
    The paper under review proves an important transcendence theorem for Fourier coefficients of slope zero families of Hilbert modular forms, also known as \textit{Hida families} after the fundamental work of the author on this subject. To state the main results of this paper, let \(F\) be a totally real number field, \(p\) a prime number and \(\mathfrak N\) a prime ideal of the ring of integers of \(F\), prime to \(p\). Let \(\mathbf{h}\) be the ordinary big \(p\)-adic Hida-Hecke algebra acting on Hilbert modular forms over \(F\) of tame level \(\mathfrak N\) and \(\mathrm{Spec}(\mathbb I)\) and irreducible component of \(\mathrm{Spec}(\mathbf{h})\). For an arithmetic prime \(P\in\mathrm{Spec}(\mathbb I)\), write \(\mathbf{f}_P\) for the normalized eigenform corresponding to \(P\), and let \(a(\mathfrak{l},\mathbf{f}_P)\) be the eigenvalue of the Hecke operator at the prime ideal \(\mathfrak{l}\) of \(F\). The asssignement \(P\mapsto a(\mathfrak l,\mathbf{f}_P)\) gives rise to a \(p\)-adic analytic function on \(\mathrm{Spf}(\mathbb I)\), denoted \(a(\mathfrak l)\). We say that \(\mathbb I\) is a \textit{CM-family} if there are arithmetic points \(P\in \mathrm{Spec}(\mathbb I)\) corresponding to classical theta-series of the norm form of a CM-quadratic extension of \(F\). Finally, denote \(K:=\mathbb Q(\mu_{p^\infty})\). The main result of the paper asserts that \(\mathbb I\) is a non-CM-component if and only if there is a set of primes \(\Xi\) of \(F\) with Dirichlet density equal to 1 and such that, for any infinite set of arithmetic points \(\mathcal A\) in \(\mathrm{Spec}(\mathbb I)\) of a fixed weight \(k\geq 2\), and each \(\mathfrak l\in\Xi\), we have \[ \limsup_{P\in\mathcal A}[K(a(\mathfrak l,\mathbf{f}_P)):K]=\infty. \] If \(\mathbb I\) is a CM-component, then \([K(a(\mathfrak l,\mathbf{f}_P)):K]\) is bounded independently of \(P\) and \(\mathfrak l\). The author discusses the following corollary of the above result, for which we assume for simplicity that \(F\) is at most tamely ramified over \(\mathbb Q\) (the complete result is proved in the paper). Let \(\mathcal T=\mathrm{Res}_{{\mathfrak o}/{\mathbb Z}}(\mathbb G_m)\), where \(\mathfrak o\) is the ring of integers of a finite extension \(L\) of \(F\) inside \(\mathbb C_p\), and fix a character \(\nu\in X^*(\mathcal T)\) with \(\nu\neq 1\). Let \(Q\) be the fraction field of \(\mathbb Z_p[\![T]\!]\) and fix an algebraic closure \(\bar Q\) of \(Q\). Define the integral domain \(R_\nu\) as the sub-algebra of \(\Lambda=\mathbb Z_p[\![T]\!]\) generated over \(\mathbb Z_{(p)}\) by \((1+T)^{\log_p(\nu(\alpha)/\log_p(1+p)}\) for all \(\alpha\in \mathfrak o_{(p)}^\times\), \(\alpha\neq 0\), where \(\log_p\) is Iwasawa's branch of the \(p\)-adic logarithm. As a corollary of the main result, the author proves that if \(\mathbb I\) is a non CM-component, then for a density 1 subset \(\Xi\) of primes of \(F\), the subring \(Q(R_\nu)[a(\mathfrak l)]\) of \(\bar Q\) for all \(\mathfrak l\) in \(\Xi\) has transcendence degree 1 over \(R_\nu\). The author finally discusses a conjectural characteristic \(p\) version of the last corollary and its important application to the vanishing of Iwasawa \(\mu\)-invariant of the Deligne-Ribet \(p\)-adic \(L\)-function.
    0 references
    Hecke operators
    0 references
    Hecke algebra
    0 references
    transcendence
    0 references
    diamond operator
    0 references
    cyclotomic \(\mu\)-invariant
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references