Algèbre 3 (théorie des corps et théorie de Galois)

Learning material (2012)

Lecture notes written in French from the Algebra 3 lecture in the 3rd term of the Bachelor programme BASI branch Mathematics (old version) at the University of Luxembourg. The lecture covers field theory ... [more ▼]

Lecture notes written in French from the Algebra 3 lecture in the 3rd term of the Bachelor programme BASI branch Mathematics (old version) at the University of Luxembourg. The lecture covers field theory and Galois theory and includes a treatment of the solvability of equations by radicals and a treatment of classical construction problems with ruler and compass. [less ▲]

On modular forms and the inverse Galois problem

in Transactions of the American Mathematical Society (2011), 363(9), 4569--4584

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 ... [more ▼]

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. [less ▲]

Die Serresche Modularitätsvermutung und Computer-Algebra

in Computeralgebra-Rundbrief (2010), 47

In diesem Artikel für Nichtspezialisten wird die kürzlich von Khare, Wintenberger und Kisin bewiesene Serresche Modularitätsvermutung vorgestellt und ihre Bedeutung in der Computer-Algebra erläutert.

On mod $p$ representations which are defined over $\Bbb F_p$: II

in Glasgow Mathematical Journal (2010), 52(2), 391--400

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,\chi}_{l,k} for all ... [more ▼]

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,\chi}_{l,k} for all primes l, all weights k>1 and all characters \chi 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. [less ▲]

On projective linear groups over finite fields as Galois groups over the rational numbers

in Modular forms on Schiermonnikoog (2008)

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 ... [more ▼]

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. [less ▲]

On the failure of the Gorenstein property for Hecke algebras of prime weight

in Experimental Mathematics (2008), 17(1), 37--52

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 ... [more ▼]

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. The Magma package, instructions for its use, generated tables and the complete data are available as supplemental material. [less ▲]

Multiplicities of Galois representations of weight one

in Algebra Number Theory (2007), 1(1), 67--85

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 ... [more ▼]

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. [less ▲]

Dihedral Galois representations and Katz modular forms

in Documenta Mathematica (2004), 9

We show that any two-dimensional odd dihedral representation \rho over a finite field of characteristic p>0 of the absolute Galois group of the rational numbers can be obtained from a Katz modular form of ... [more ▼]

We show that any two-dimensional odd dihedral representation \rho over a finite field of characteristic p>0 of the absolute Galois group of the rational numbers can be obtained from a Katz modular form of level N, character \epsilon and weight k, where N is the conductor, \epsilon is the prime-to-p part of the determinant and k is the so-called minimal weight of \rho. In particular, k=1 if and only if \rho is unramified at p. Direct arguments are used in the exceptional cases, where general results on weight and level lowering are not available. [less ▲]