Glenn Stevens (Boston Univ.)
pAdic Zeta Functions and the Main Conjecture of Iwasawa Theory
8 Lectures, on Wednesday, 16:30, in Room 2AB40.
First Lecture: Monday April 11
Abstract: In recent decades, padic analysis  a synthesis of arithmetic and analysis  has emerged as a fascinating and independent offspring of the union of complex analysis and arithmetic. Our course will illustrate the power of these tools by focusing on a key example  the Main Conjecture of Iwasawa Theory  which expresses deep and unexpected connections between special values of the Riemann Zeta function and the arithmetic of cyclotomic number fields. The importance of these ideas is attested to by the many generalizations of the Main Conjecture that have emerged over time and which continue to play a prominent role in the theory of elliptic curves, and automorphic representation theory.
Iwasawa himself gave the first proof of his Main Conjecture in cases where a conjecture of Vandiver is known to be true. The general case of Iwasawa's conjecture was first proved by Mazur and Wiles in 1984. More recently, Karl Rubin showed how to use new ideas of Kolyvagin and Thaine to give a more elementary proof based on the theory of Euler systems. In our course we will explain the proof following the methods of Iwasawa and Rubin, while developing general methods from Iwasawa theory and the theory of Euler systems.
Lorenzo Ramero (Lille)
On Huber's theory of adic spaces
Thu 18/01/2018, 15:0016:30 room 2BC30
Thu 25/01/2018, 14:3016:00 room 2AB45
Fri 26/01/2018, 11:0012:30 room 2AB45
Abstract: I will present some modest generalization and some variants of Huber's theory of adic spaces. I will try to recall the relevant definitions and preliminaries
from topological algebra, but some previous exposure to rigid analytic varieties would be useful.
Tadashi Ochiai.
Iwasawa Theory
Lecture time: 11:3013:00
Mon 22/01/2018, 1BC50
Tue 23/01/2018, 2BC30
Wed 24/01/2018, 2BC30
Abstract:
First Lecture (Mon)
Title: Cyclotomic Iwasawa Main conjecture for ideal class group
Abstract: We start by some motivation for the Iwasawa theory of class group. Then we explain some results on the algebraic side and analytic side of the theory. For the algebraic side, we recall some basic results on class group including Iwasawa class number formula. For the analytic side, we recall what is the padic Lfunction of KubotaLeopoldt. We finish by explaining Iwasawa Main Conjecture.
Second Lecture (Tue)
Title: Cyclotomic Iwasawa Main conjecture for elliptic curves
Abstract: We discuss how Iwasawa theory for ideal class group of yesterday is generalized to elliptic curves. New point is that the theory is quite different depending on the elliptic curve is ordinary or supersingular at the fixed prime. We mainly concentrate on the ordinary case and recall the Iwasawa Main conjecture in that case.
Third Lecture (seminar talk) (Wed)
Title: Iwasawa Main conjecture for Coleman families
Abstract: We can consider Iwasawa theory for a family of modular forms. In ordinary case, we have established a generalization of Kato's result from Iwasawa Main Conjecture for a single modular to Iwasawa theory for a Hida family. We discuss Iwasawa theory for nonordinary family (Coleman family) as a further generalization.
J. M. Fontaine (ParisSud).
Almost $C_p$representations and vector bundles
Lecture time: 14:3016:00
Location
room 2BC30 
room 2AB45 

Fri, Oct. 13 
Thu, Oct. 19 
Fri, Oct. 20 
Thu, Oct. 26 
Fri, Oct. 27 
Thu, Nov. 2 
Fri, Nov. 3 
Thu, Nov. 9 

Abstract: Let $K$ be a finite extension of $\mathbb Q_p$ and $G_K$ the absolute Galois group. Then $G_K$ acts on the fundamental curve $X$ of $p$adic Hodge theory and we may consider the abelian category $\mathcal{M}(G_K)$ of coherent $\mathcal{O}_X$modules equipped with a continuous and semilinear action of $G_K$.
An $\text{ almost $C_p$representation of $G_K$}$ is a $p$adic Banach space $V$ equipped with a linear and continuous action of $G_K$ such that there exists $d\in\mathbb N$, two $G_K$stable finite dimensional sub$\mathbb Q_p$vector spaces $U$ of $V$, $U'$ of $C_p^d$, and a $G_K$equivariant isomorphism
$$V/U\longrightarrow C_p^d/U'\ .$$
These representations form an abelian category $\mathcal{C}(G_K)$.
The main purpose of this series of lectures is to construct an equivalence of triangulated categories
$$D^b(\mathcal{M}(G_K))\longrightarrow D^b(\mathcal{C}(G_K))$$
and to describe possible generalisations.
Main topics:
 Construction and main properties of the curve X, generalisations,
 Classification of coherent $\mathcal{O}_X$modules,
 The category $\mathcal{M}(G_K)$,
 Almost $C_p$representations,
 Effective coherent $\mathcal{O}_X[G_K]$modules and effective almost $C_p$representations,
 The main theorem.
 The étale, the proétale and the $v$ sites of an adic space $S$.
 Possible generalisations.
 The case where $S$ is the adic space associated to $C_p$. BanachColmez spaces.
L. Illusie.
Revisiting the de RhamWitt complex
(Doctoral course.)
Lecture time: 14:3016:00
Location
room 2BC30 
room 2BC30 
room 2BC30 


Fri, Nov. 10 

Thu, Nov. 16 
Fri, Nov. 17 

Thu, Nov. 23 
Fri, Nov. 24 
Wed, Nov. 29 


Abstract: The de RhamWitt complex was constructed by Spencer Bloch in the mid 1970's as a tool to analyze the crystalline cohomology of proper smooth schemes over a perfect field of characteristic $p >0$, with its action of Frobenius, and describe its relations with other types of cohomology, like Hodge cohomology or Serre's Witt vector cohomology. Since then many developments have occurred.
After recalling the history of the subject, I will explain the main construction and in the case of a polynomial algebra give its simple description by the socalled complex of integral forms. I will then describe the local structure of the de RhamWitt complex for smooth schemes over a perfect field and its application to the calculation of crystalline cohomology. In the proper smooth case, I will discuss the slope spectral sequence and the main finiteness properties of the cohomology of the de RhamWitt complex in terms of coherent complexes over the Raynaud ring. I will mention a few complements (logarithmic HodgeWitt sheaves, HyodoKato log de RhamWitt complex, LangerZink relative variants), and make a tentative list of open problems.
Page maintained by A. Bertapelle, M. Longo