Serre's conjecture and its consequences
Abstract: After some generalities about the absolute Galois group of Q, we present the historical context in which Serre made his modularity conjecture. This was recently proved by Wintenberger and the author (, ), with an input of Kisin (). The focus of these notes is on the applications of the conjecture. Some of the applications are based on the methods used in the proof. We stress some applications to base change and descent for classical modular forms. For base change we have no new results, aside from a fragment for odd A5-extensions of Q. Descent for Hilbert modular forms to Q on the other hand is a simple corollary of Serre's conjecture.