arXiv subjects
Publications and source records attributed to Gabor Wiese.
For many finite groups, the Inverse Galois Problem can be approached through modular/automorphic Galois representations. This is a report explaining the basic strategy, ideas and methods behind some recent results. It focusses mostly on the 2-dimensional case and underlines in particular the importance of understanding coefficient fields.
We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In particular we settle a conjecture of Jarden on abelian varieties.
A two-dimensional Galois representation into the Hecke algebra of Katz modular forms of weight one over a finite field of characteristic p is constructed and is shown to be unramified at p in most cases.
This article covers three topics. (1) It establishes links between the density of certain subsets of the set of primes and related subsets of the set of natural numbers. (2) It extends previous results on a conjecture of Bruinier and Kohnen in three ways: the CM-case is included; under the assumption of the same error term as in previous work one obtains the result in terms of natural density instead of Dedekind-Dirichlet density; the latter type of density can already be achieved by an error term like in the prime number theorem. (3) It also provides a complete proof of Sato-Tate equidistribution for CM modular forms with an error term similar to that in the prime number theorem.
It is shown that Maeda's conjecture on eigenforms of level 1 implies that for every positive even d and every p in a density-one set of primes, the simple group PSL_2(F_{p^d}) occurs as the Galois group of a number field ramifying only at p.
Let f be a cusp form of weight k+1/2 and at most quadratic nebentype character whose Fourier coefficients a(n) are all real. We study an equidistribution conjecture of Bruinier and Kohnen for the signs of a(n). We prove this conjecture for certain subfamilies of coefficients that are accessible via the Shimura lift by using the Sato-Tate equidistribution theorem for integral weight modular forms. Firstly, an unconditional proof is given for the family {a(tp^2)}_p where t is a squarefree number and p runs through the primes. In this case, the result is in terms of natural density. To prove it for the family {a(tn^2)}_n where t is a squarefree number and n runs through all natural numbers, we assume the existence of a suitable error term for the convergence of the Sato-Tate distribution, which is weaker than one conjectured by Akiyama and Tanigawa. In this case, the results are in terms of Dedekind-Dirichlet density.
This article is the first part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. In this first part, we determine the smallest field over which the projectivisation of a given symplectic group representation satisfying some natural conditions can be defined. The answer only depends on inner twists. We apply this to the residual representations of a compatible system of symplectic Galois representations satisfying some mild hypothesis and obtain precise information on their projective images for almost all members of the system, under the assumption of huge residual images, by which we mean that a symplectic group of full dimension over the prime field is contained up to conjugation. Finally, we obtain an application to the inverse Galois problem.
This article is the third and last part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. This part proves the following new result for the inverse Galois problem for symplectic groups. For any even positive integer n and any positive integer d, PSp_n(F_{l^d}) or PGSp_n(F_{l^d}) occurs as a Galois group over the rational numbers for a positive density set of primes l. The result is obtained by showing the existence of a regular, algebraic, self-dual, cuspidal automorphic representation of GL_n(A_Q) with local types chosen so as to obtain a compatible system of Galois representations to which the results from Part II of this series apply.
We study modular Galois representations mod $p^m$. We show that there are three progressively weaker notions of modularity for a Galois representation mod $p^m$: we have named these `strongly', `weakly', and `dc-weakly' modular. Here, `dc' stands for `divided congruence' in the sense of Katz and Hida. These notions of modularity are relative to a fixed level $M$. Using results of Hida we display a `stripping-of-powers of $p$ away from the level' type of result: A mod $p^m$ strongly modular representation of some level $Np^r$ is always dc-weakly modular of level $N$ (here, $N$ is a natural number not divisible by $p$). We also study eigenforms mod $p^m$ corresponding to the above three notions. Assuming residual irreducibility, we utilize a theorem of Carayol to show that one can attach a Galois representation mod $p^m$ to any `dc-weak' eigenform, and hence to any eigenform mod $p^m$ in any of the three senses. We show that the three notions of modularity coincide when $m=1$ (as well as in other, particular cases), but not in general.
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.
The article motivates, presents and describes large computer calculations concerning the asymptotic behaviour of arithmetic properties of coefficient fields of modular forms. The observations suggest certain patterns, which deserve further study.
The behaviour of Hecke polynomials modulo p has been the subject of some study. In this note we show that, if p is a prime, the set of integers N such that the Hecke polynomials T^{N,χ}_{l,k} for all primes l, all weights k>1 and all characters χtaking values in {+1,-1} splits completely modulo p has density 0, unconditionally for p=2 and under the Cohen-Lenstra heuristics for odd p. The method of proof is based on the construction of suitable dihedral modular forms.
In this article new cases of the Inverse Galois Problem are established. The main result is that for a fixed integer n, there is a positive density set of primes p such that PSL_2(F_{p^n}) occurs as the Galois group of some finite extension of the rational numbers. These groups are obtained as projective images of residual modular Galois representations. Moreover, families of modular forms are constructed such that the images of all their residual Galois representations are as large as a priori possible. Both results essentially use Khare's and Wintenberger's notion of good-dihedral primes. Particular care is taken in order to exclude nontrivial inner twists.
Let f be a non-CM newform of weight k > 1. Let L be a subfield of the coefficient field of f. We completely settle the question of the density of the set of primes p such that the p-th coefficient of f generates the field L. This density is determined by the inner twists of f. As a particular case, we obtain that in the absence of non-trivial inner twists, the density is 1 for L equal to the whole coefficient field. We also present some new data on reducibility of Hecke polynomials, which suggest questions for further investigation.
The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the standard algorithms for the computation of holomorphic modular forms. Precise and explicit connections are established to the cohomology of Hecke triangle surfaces and group cohomology. In all the note a general commutative ring is used as coefficient ring in view of applications to the computation of modular forms over rings different from the complex numbers. This is a "stack-free" version of Chapter 2 of my thesis.
Ideas and techniques from Khare's and Wintenberger's article on the proof of Serre's conjecture for odd conductors are used to establish that for a fixed prime l infinitely many of the groups PSL_2(F_{l^r}) (for r running) occur as Galois groups over the rationals such that the corresponding number fields are unramified outside a set consisting of l, the infinite place and only one other prime.
In this article we report on extensive calculations concerning the Gorenstein defect for Hecke algebras of spaces of modular forms of prime weight p at maximal ideals of residue characteristic p such that the attached mod p Galois representation is unramified at p and the Frobenius at p acts by scalars. The results lead us to the ask the question whether the Gorenstein defect and the multplicity of the attached Galois representation are always equal to 2. We review the literature on the failure of the Gorenstein property and multiplicity one, discuss in some detail a very important practical improvement of the modular symbols algorithm over finite fields and include precise statements on the relationship between the Gorenstein defect and the multiplicity of Galois representations. Appendix A: Manual of Magma package HeckeAlgebra, Appendix B: Tables of Hecke algebras.
In this article we consider mod p modular Galois representations which are unramified at p such that the Frobenius element at p acts through a scalar matrix. The principal result states that the multiplicity of any such representation is bigger than 1.