Showing 1–8 of 8 results for author: Medvedovsky, A

Euler-Kronecker constants of modular forms: beyond Dirichlet $L$-series

Authors: Steven Charlton, Anna Medvedovsky, Pieter Moree

Abstract: The Euler-Kronecker constants related to congruences of Fourier coefficients of modular forms that have been computed so far, involve logarithmic derivatives of Dirichlet $L$-series as most complicated functions (to the best of our knowledge). However, generically the more complicated Artin $L$-series will make their appearance. Here we work out some simple examples involving an Artin $L$-series r… ▽ More The Euler-Kronecker constants related to congruences of Fourier coefficients of modular forms that have been computed so far, involve logarithmic derivatives of Dirichlet $L$-series as most complicated functions (to the best of our knowledge). However, generically the more complicated Artin $L$-series will make their appearance. Here we work out some simple examples involving an Artin $L$-series related to an ${\mathfrak S}_3$, respectively~${\mathfrak S}_4$ extension. These examples are related to a mod-2 congruence for $X_0(11)$, respectively a mod-59 congruence for $ΔE_4$ conjectured by Serre and Swinnerton-Dyer and proved by Haberland. The latter example solves a problem posed by Ciolan, Languasco and the third author in 2023. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Comments: 42 pages

Report number: MPIM-Bonn-2024

On the parity of coefficients of eta powers

Authors: Steven Charlton, Lukas Mauth, Anna Medvedovsky

Abstract: We consider a special subsequence of the Fourier coefficients of powers of the Dedekind $η$-function, analogous to the sequence $δ_\ell := 24^{-1} \pmod{\ell}$ on which exceptional congruences of the partition function are supported. Therefrom we define a notion of density $D(r)$ for a normalized eta-power $η^r$ measuring the proportion of primes $\ell$ for which the order at infinity of… ▽ More We consider a special subsequence of the Fourier coefficients of powers of the Dedekind $η$-function, analogous to the sequence $δ_\ell := 24^{-1} \pmod{\ell}$ on which exceptional congruences of the partition function are supported. Therefrom we define a notion of density $D(r)$ for a normalized eta-power $η^r$ measuring the proportion of primes $\ell$ for which the order at infinity of $U_\ell (η^r)$ modulo 2 is maximal. We relate $D(r)$ to a notion of density measuring nonzero prime Fourier coefficients introduced by Bellaïche, and use this to completely classify the vanishing of and establish upper bounds for $D(r)$. Furthermore, for several infinite families of $η$ powers corresponding to dihedral/CM mod-2 modular forms in the sense of Nicholas-Serre and Bellaïche, we explicitly compute the densities $D$. We rely on Galois-theoretic techniques developed by Bellaïche in level 1 and extend these to level 9. En passant we take the opportunity to communicate proofs of two of Bellaïche's unpublished results on densities of mod-$2$ modular forms. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 40 pages, 3 figures, 1 appendix

Report number: MPIM-Bonn-2024 MSC Class: Primary: 11F33; Secondary: 11F03; 11F20; 11F80; 11P83; 11R45

Mod-$2$ Hecke algebras of level $3$ and $5$

Authors: Shaunak V. Deo, Anna Medvedovsky

Abstract: We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the st… ▽ More We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the structure of this big Hecke algebra. We also describe a natural grading on mod-$p$ Hecke algebras. △ Less

Submitted 2 May, 2024; v1 submitted 31 July, 2022; originally announced August 2022.

Comments: Final version: 40 Pages, made some minor changes following referee's suggestions. Comments are Welcome!

Report number: MPIM-Bonn-2023 MSC Class: 11F25; 11F33; 11F80 (primary); 20C08

Deep congruences + the Brauer-Nesbitt theorem

Authors: Samuele Anni, Alexandru Ghitza, Anna Medvedovsky

Abstract: We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo divided-power ideals. Our approach is combinatorial: we introduce a $p$-equivalence relation on partitions, and use it to prove that certain linear combination… ▽ More We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo divided-power ideals. Our approach is combinatorial: we introduce a $p$-equivalence relation on partitions, and use it to prove that certain linear combinations of power-sum functions are $p$-integral. We also include a second proof, short and algebraic, suggested by an anonymous referee. As a corollary we obtain a refinement of the Brauer-Nesbitt theorem for a single linear operator, motivated by the study of Hecke modules of mod-$p$ modular forms. △ Less

Submitted 5 December, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Report number: MPIM-Bonn-2018 MSC Class: 05E05 (Primary) 05E40; 05E10; 11F33; 11P83; 11T99; 20C99 (Secondary)

Big images of two-dimensional pseudorepresentations

Authors: Andrea Conti, Jaclyn Lang, Anna Medvedovsky

Abstract: Bellaïche has recently applied Pink-Lie theory to prove that, under mild conditions, the image of a continuous 2-dimensional pseudorepresentation $ρ$ of a profinite group on a local pro-$p$ domain $A$ contains a nontrivial congruence subgroup of ${\rm SL}_2(B)$ for a certain subring $B$ of $A$. We enlarge Bellaïche's ring and give this new $B$ a conceptual interpretation in terms of conjugate self… ▽ More Bellaïche has recently applied Pink-Lie theory to prove that, under mild conditions, the image of a continuous 2-dimensional pseudorepresentation $ρ$ of a profinite group on a local pro-$p$ domain $A$ contains a nontrivial congruence subgroup of ${\rm SL}_2(B)$ for a certain subring $B$ of $A$. We enlarge Bellaïche's ring and give this new $B$ a conceptual interpretation in terms of conjugate self-twists of $ρ$, symmetries that naturally constrain its image. As a corollary, this new $B$ is optimal among congruence subgroups contained in the image. We also interpret the new $B$ vis-a-vis the adjoint trace ring of $ρ$, which we show is a more natural ring for these questions in general. Finally, we use our purely algebraic result to recover and extend a variety of arithmetic big-image results for ${\rm GL}_2$ Galois representations arising from elliptic, Hilbert, and Bianchi modular forms and $p$-adic Hida or Coleman families of elliptic and Hilbert modular forms. △ Less

Submitted 14 December, 2021; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: 71 pages. Improved optimality results. Most revisions are in the current sections 1, 3, 4, 5, 11, which have been reorganized. Main results are unchanged. To appear in Math. Ann. Comments very welcome!

Report number: MPIM-Bonn-2021 MSC Class: 11F11; 11F80; 11F85

Newforms mod p in squarefree level, with applications to Monsky's Hecke-stable filtration

Authors: Shaunak V. Deo, Anna Medvedovsky, Alexandru Ghitza

Abstract: We propose an algebraic definition of the space of l-new mod-p modular forms for Gamma0(Nl) in the case that l is prime to N, which naturally generalizes to a notion of newforms modulo p in squarefree level. We use this notion of newforms to interpret the Hecke algebras on the graded pieces of the space of mod-2 level-3 modular forms described by Paul Monsky. Along the way, we describe a renormali… ▽ More We propose an algebraic definition of the space of l-new mod-p modular forms for Gamma0(Nl) in the case that l is prime to N, which naturally generalizes to a notion of newforms modulo p in squarefree level. We use this notion of newforms to interpret the Hecke algebras on the graded pieces of the space of mod-2 level-3 modular forms described by Paul Monsky. Along the way, we describe a renormalized version of the Atkin-Lehner involution: no longer an involution, it is an automorphism of the algebra of modular forms, even in characteristic p. △ Less

Submitted 27 November, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 28 pages, appendix by Alexandru Ghitza

Report number: MPIM-Bonn-2017 MSC Class: 11F33 (Primary) 11F30; 11F11; 11F25; 11F23 (Secondary)

Mod-2 dihedral Galois representations of prime conductor

Authors: Kiran S. Kedlaya, Anna Medvedovsky

Abstract: For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then partially explain the results in terms of class field theory and modular mod-2 Galois representations. As a byproduct, we obtain some nonexistence results on elli… ▽ More For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then partially explain the results in terms of class field theory and modular mod-2 Galois representations. As a byproduct, we obtain some nonexistence results on elliptic curves and modular forms with certain mod-2 reductions, extending prior results of Setzer, Hadano, and Kida. △ Less

Submitted 24 September, 2018; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 16 pages; v2: final submitted version

Report number: MPIM-Bonn-2017

Journal ref: Open Book Series 2 (2019) 325-342

Nilpotence order growth of recursion operators in characteristic p

Authors: Anna Medvedovsky

Abstract: We prove that the killing rate of certain degree-lowering "recursion operators" on a polynomial algebra over a finite field grows slower than linearly in the degree of the polynomial attacked. We also explain the motivating application: obtaining a lower bound for the Krull dimension of a local component of a big mod-p Hecke algebra in the genus-zero case. We sketch the application for p=2 and p=3… ▽ More We prove that the killing rate of certain degree-lowering "recursion operators" on a polynomial algebra over a finite field grows slower than linearly in the degree of the polynomial attacked. We also explain the motivating application: obtaining a lower bound for the Krull dimension of a local component of a big mod-p Hecke algebra in the genus-zero case. We sketch the application for p=2 and p=3 in level one. The case p=2 was first established in by Nicolas and Serre in 2012 using different methods. △ Less

Submitted 31 July, 2017; originally announced July 2017.

Report number: MPIM-Bonn-2016

Journal ref: Alg. Number Th. 12 (2018) 693-722