Talks

Talk 1: "Review of Taylor-Wiles system."
We will give a review of the method of Taylor-Wiles system in [TW], and [D1].
We also explain how the method of Taylor-Wiles system developed until now.

Talk 2: "Galois representations associated to Hilbert modular forms via congruence after Taylor."
We explain the construction of Galois representations associated to Hilbert modular forms in the case of 2|[F:Q] via congruences after Taylor [T1].

Talk 3: "Global-local compatibility after Carayol.''
We explain the global-local compatibility of Langlands correspondence for Hilbert modular forms in l\neq p after Carayol [Ca1].

Talk 4: Modularity lifting for potentially Barsotti-Tate deformations after Kisin I."
We explain axiomatically Kisin's technique of R^\red=T in [K1].
We study global deformation rings over local ones, and a moduli of finite flat group schemes to get informations about local deformation rings in [K1].
We can use this technique in the non-minimal cases too.

Talk 5: "Base change argument of Skinner-Wiles."
We explain Skinner-Wiles level lowering technique allowing solvable field extensions in Kisin's paper [K1].

Talk 6: "Integral p-adic Hodge theory after Breuil and Kisin."
We prepare the tools of integral $p$-adic Hodge theory used in [K1].
We can consider them as variants of Berger's theory.

Talk 7: "Modularity lifting for potentially Barsotti-Tate deformations after Kisin II.''
The sequel to the previous talk.

Talk 8: "Modularity lifting for crystalline deformations of intermediate weights after Kisin."
We show Kisin's modularity lifting theorem for crystalline deformations of intermediate weights [K3].
We use results of Berger-Li-Zhu [BLZ] and Berger-Breuil [BB1] about mod p reduction of crystalline representations of intermediate weights.

Talk 9: "p-adic local Langlands correspondence and mod p reduction of crystalline representations after Berger, Breuil, and Colmez."
We explain results of Berger-Li-Zhu and Berger-Breuil about mod p reduction of crystalline representations of intermediate weights [BLZ], [BB1].
We use $p$-adic local Langlands ([C1], [C2], [BB2]) in the latter case.

Talk 10: "Modularity lifting of residually reducible case after Skinner-Wiles."
We explain Skinner-Wiles' modularity lifting theorem for residually reducible representations [SW1].

Talk 11: "Potential modularity after Taylor."
We explain Taylor's potential modularity [T2], [T3].
This is a variant of Wiles' $(3,5)$-trick replaced by Hilbert-Blumenthal abelian varieties.

Talk 12: "Taylor-Wiles system for unitary groups after Clozel-Harris-Taylor I."
We explain Clozel-Harris-Taylor's Taylor-Wiles system for unitary groups [CHT], and Taylor's improvement for non-minimal case by using Kisin's arguments [T4].

Talk 13: "Taylor-Wiles system for unitary groups after Clozel-Harris-Taylor II."
The sequel to the previous talk.

Talk 14: "Proof of Sato-Tate conjecture after Taylor et al."
We show Sato-Tate conjecture after Taylor et al. under mild conditions.
We use a variant of $(3,5)$-trick replaced by a family of Calabi-Yau varieties [HSBT].

Talk 15: "First step of the induction of the proof of Serre's conjecture after Tate, Serre, and Schoof."
We show the first step of the proof of Serre's conjecture, that is, p=2 [Ta2], p=3 [Se2], and p=5 [Sc].
We use Odlyzko's discriminant bound, and Fontaine's discriminant bound.

Talk 16: "Proof of Serre's conjecture of level one case after Khare."
We explain Khare-Wintenberger's constuction of compatible systems by using Taylor's potential modularity [T2], [T3] and Bockle's technique of lower bound of the dimension of global deformation rings [Bo].
We show Serre's conjecture of level one case after Khare [Kh1].

Talk 17: "Proof of Serre's conjecture after Khare-Wintenberger."
We prove Serre's conjecture after Khare-Wintenberger [KW2], [KW3].

Talk 18: "Breuil-Mezard conjecture and modularity lifting for potentially semistable deformations after Kisin."
We explain Breuil-Mezard conjecture, and Kisin's approach of modularity lifting theorem for potentially semistable deformations via Breuil-M\'ezard conjecture [K6].

References
[Se1]
Serre, J.-P.
"Sur les representations modulaires de degre 2 de Gal(\bar{Q}/Q)."
Duke. Math. J. 54(1) (1987), 179--230.

[Ta1]
Tate, J.
"Algebraic cycles and poles of zeta functions."
Arithmetic Algebraic Geometry, Proc. of Purdue Univ. Conf. 1963, New York, (1965) 93--110.

[FM]
Fontaine, J.-M., Mazur, B.
"Geometric Galois representations."
Elliptic Curves, Modular Forms, and Fermat's last Theorem (Hong Kong 1993), Internat. Press, Cambridge, MA, 1995, 190--227.

-----
[Se1]: Serre's conjecture.
[Ta1]: Sato-Tate conjecture.
[FM]: Fontaine-Mazur conjecture.
-----

[W1]
Wiles, A.
"Modular elliptic curves and Fermat's last theorem."
Ann. of Math. (2) 141(3) (1995), 443--551.

[TW]
Taylor, R., Wiles, A.
"Ring-theoretic properties of certain Hecke algebras."
Ann. of Math. (2) 141(3) (1995), 553--572.

[DDT]
Darmon, H., Diamond, F., Taylor, R.
"Fermat's last theorem."
Elliptic Curves, Modular Forms, and Fermat's last Theorem (Hong Kong 1993), Internat. Press, Cambridge, MA, 1995, 1--154.

[S1]
Saito, T.,
"Fermat conjecture I."
Iwanami publisher, 2000.

[S2]
Saito, T.,
"Fermat conjecture II."
Iwanami publisher, 2008.

[D1]
Diamond, F.
"The Taylor-Wiles construction and multiplicity one."
Invent. Math. 128 (1997) no. 2, 379--391.

[D2]
Diamond, F.
"On deformation rings and Hecke rings."
Ann. of Math. 144 (1996), 137--166.

[CDT]
Conrad, B., Diamond, F., Taylor, R.
"Modularity of certain potentially Barsotti-Tate Galois representations."
J. Amer. Math. Soc. 12(2) (1999), 521--567.

[BCDT]
Breuil, C., Conrad, B., Diamond, F., Taylor, R.
"On the modularity of elliptic curves over \Q: wild 3-adic exercises."
J. Amer. Math. Soc. 14(4) (2001), 843--939.

[F]
Fujiwara, K.
"Deformation rings and Hecke algebras for totally real fields."
preprint.

-----
[W1]: Fermat's last theorem.
[TW]: Taylor-Wiles system.
[DDT]: Survey of the proof of Fermat's last theorem.
[D1]: Axiomization and improvement of Taylor-Wiles system.
The freeness of Hecke modules became the output from the input.
[D2]: Shimura-Taniyama conjecture for elliptic curves,
which are semistable at 3 and 5.
[CDT]: Shimura-Taniyama conjecture for elliptic curves,
whose conductor is not divisible by 27.
[BCDT]: Shimura-Taniyama conjecture in full generality.
[F]: R=T in totally real case.
-----

[W2]
Wiles, A.
"On ordinary \lambda-adic representations associated to modular forms."
Invent. Math. 94 (1988), 529--573.

[T1]
Taylor, R.
"On Galois representations associated to Hilbert modular forms."
Invent. Math. 98(2) (1989), 265--280.

[H]
Hida, H. "On p-adic Hecke algebras for GL over totally real fields."
Ann. of Math. (2) 128(2) (1988), 295--384.

-----
[W2]: Construction of Galois representations associated to Hilbert modular forms in the 2|[F:Q] and nearly ordinary case (including parallel weight 1) by using Hida theory.
[T1]: Construction of Galois representations associated to Hilbert modular forms in the 2|[F:Q] by the congruences.
[H]: GL Hida theory for totally real case.
-----

[Ca1]
Carayol, H.
"Sur les representations l-adiques associees aux formes modulaires de Hilbert."
Ann. Sci. Ecole Norm. Sup. (4) 19(3) (1986), 409--468.

[S3]
Saito, T.
"Modular forms and and p-adic Hodge theory."
Invent. Math. 129(3) (1997), 607--620.

[S4]
Saito, T.
"Hilbert modular forms and and p-adic Hodge theory."
preprint.

-----
[Ca1]: Global-local compatibility for l\neq p for totally real case.
[S3]: Global-local compatibility for l= p for Q.
[S4]: Global-local compatibility for l= p for totally real case.
-----

[SW1]
Skinner, C., Wiles, A.
"Residually reducible representations and modular forms."
Inst. Hautes Etudes Sci. Publ. Math., 89 (2000), 5--126.

[SW2]
Skinner, C., Wiles, A.
"Nearly ordinary deformations of irreducible residual representations."
Ann. Fac. Sci. AToulouse Math. (6) 10(1) (2001), 185--215.

[SW3]
Skinner, C., Wiles, A.
"Base change and a problem of Serre."
Duke Math. J. 107(1) (2001), 15--25.

-----
[SW1]: Modularity lifting in the residulally reducible case.
Taylor-Wiles arguments in the Hida theoretic situations.
[SW2]: Modularity lifting for the nearly ordinary deformations in the residually irreducible case by the method of [SW1].
Minor remark: we do not need to assume that \bar{\rho}|_{Gal(\bar{F}/F(\zeta_p))} is irreducible.
[SW3]: Level lowering technique allowing solvable field extensions.
-----

[K1]
Kisin, M.,
"Moduli of finite flat group schemes and modularity."
to appear in Ann. of Math.

[PR]
Pappas, G., Rapoport, M.
"Local models in the ramified case. I. The EL-case."
J. Algebraic Geom. 12 (2003), 107--145.

[G]
Gee, T.,
"A modularity lifting theorem for weight two Hilbert modular forms."
Math. Res. Lett. 13 (2006), no. 5, 805--811.

[I]
Imai, N.,
"On the connected components of moduli spaces of finite flat models."
preprint.

[B1]
Breuil, C.,
Algebraic Geometry 2000, Azumino, Adv. Studies in Pure Math. 36 (2002), 51--80.

[K2]
Kisin, M.,
"Crystalline representations and F-crystals."
Algebraic geometry and number theory, Progr. Math. 253, Volume in honor of Drinfeld's 50th birthday, Birkhauser, Boston (2006), 459--496.

[K3]
Kisin, M.,
"Modularity for some geometric Galois representations."
preprint.

[BLZ]
Berger, L., Li, H., Zhu, H. J.
"Construction of some families of 2-dimensional crystalline representations."
Math. Ann. 329(2) (2004), 365--377.

[BB1]
Berger, L., Breuil, C.,
"Sur la reduction des representations cristallines de dimension 2 en poid moyens."
preprint.

[K4]
Kisin, M.,
"Potentially semi-stable deformation rings."
preprint.

[K5]
Kisin, M.,
preprint.

[K6] Kisin, M.,
"The Fontaine-Mazur conjecture for GL."
preprint.

[K7]
Kisin, M.,
"Modularity of potentially Barsotti-Tate Galois representations."
preprint.

-----
[K1]: Furthur improvement of R=T for potentially Barsotti-Tate representations studying global deformation rings over local ones.
We study a moduli of finite flat group schemes to get informations of local deformation rings.
We can also use this technique in non-minimal case.
[PR]: Used in [K1] to get informations of a moduli of finite flat group schemes.
[G]: Connectedness of the moduli of finite flat models considered in [K1] in the case where the residue field is not $\mathbb{F}_p$ and the residual representation is trivial.
[I]: Connectedness of the moduli of finite flat models considered in [K1] in the case where the residue field is not $\mathbb{F}_p$ and the residual representation is not trivial.
[B1]: Used in [K1] to study a moduli of finite flat group schemes in terms of linear algebra.
[K2]: Generalization of [B1], which is a variant of Berger's theory too.
[K3]: Modularity lifting for crystalline representations of intermediate weights by the method of [K1].
[BLZ]: Explicite construction of a family of Wach modules.
The determination of the mod p reduction of crystalline representations of intermediate weights is used in [K3], and [KW1].
[BB1]: By using p-adic local Langlands ([C1], [C2], and [BB2]), we determineof the mod p reduction of crystalline representations of intermediate weights, which are not treated in [BLZ].
This is used in [K3].
[K4]: Construction of potentially semistable deformation rings.
[K5]: p=2 version of [K1]. Used in [KW2] and [KW3].
[K6]: Proof many cases of Breuil-Mezard conjecture by using p-adic local Langlands ([C1], [C2], and [BB2]), and deduce a modular lifting theorem in a high generality from this.
[K7]: Survey of [K1], [T2], [T3], and [KW1].
-----

[T2]
Taylor, R.
"Remarks on a conjecture of Fontaine and Mazur."
J. Inst. Math. Jussieu, 1(1) (2002), 125--143.

[T3]
Taylor, R.
"On the meromorphic continuation of degree two L-functions."
Documenta Math. Extra Volume: John Coates' Sixtieth Birthday (2006), 729--779.

[BR]
Blasius, D., Rogawski, J.
"Motives for Hilbert modular forms."
Invent. Math. 114 (1993), 55--87.

[HT]
Harris, M., Taylor, R.
"The geometry and cohomology of some simple Shimura varieties."
Annals of Math. Studies 151, PUP 2001.

[CHT]
Clozel, L., Harris, M., Taylor, R.
"Automorphy for some l-adic lifts of automorphic mod l Galois representations."

[T4]
Taylor, R.
"Automorphy for some l-adic lifts of automorphic mod l Galois representations II."
preprint.

[HSBT]
Harris, M., Shepherd-Barron, N., Taylor, R.
"A family of Calabi-Yau varieties and potential automorphy."
preprint.

-----
[T2]: Potential modularity in the ordinary case.
Variant of (3,5)-trick replaced by Hilbert-Blumenthal abelian variety.
[T3]: Potential modularity in the crystalline of lower weights case.
[BR]: Motive of Hilbert modular forms. Used in [T2] and [T3].
[HT]: local Langlands for GL_n by the "vanishing cycle side" in the sense of Carayol's program.
[CHT]: Taylor-Wiles system for unitary groups.
[T4]: By using Kisin's modified Taylor-Wiles arguments [K1], improvements are made so that we do not need level raising arguments and the generalization of Ihara's lemma.
[HSBT]: Proof of Sato-Tate conjecture under mild conditions. Variant of $(3,5)$-trick replaced by a family of Calabi-Yau varieties.
-----

[KW1]
Khare, C., Wintenberger, J.-P.
"On Serre's conjecture for 2-dimensional mod p representations of Gal(\bar{Q}/\Q)."
preprint.

[Kh1]
Khare, C.
"Serre's modularity conjecture: the level one case."
Duke Math. J. 134 (2006), 534--567.

[KW2]
Khare, C., Wintenberger, J.-P.
"Serre's modularity conjecture (I)."
preprint.

[KW3]
Khare, C., Wintenberger, J.-P.
"Serre's modularity conjecture (II)."
preprint.

[Kh2]
Khare, C.
"Serre's modularity conjecture: a survey of the level one case."
to appear in Proceedings of the LMS Durham conference L-functions and Galois representations (2005), eds. D. Burns, K.Buzzard, J. Nekovar.

[Kh3]
Khare, C.
"Remarks on mod p forms of weight one."
Internat. Math. Res. Notices (1997), 127--133.

[Ca2]
Carayol, H.
"Sur les representations galoisiennes modulo l attachees aux formes modulaires."
Duke Math. J. 59(1989), no. 3, 785--801.

[Di1]
Dieulefait, L.
"Existence of families of Galois representations and new cases of the Fontaine-Mazur conjecture."
J. Reine Angew. Math. 577 (2004), 147--151.

[Di2]
Dieulefait, L.
"The level 1 case of Serre's conjecture revisited."
preprint.

[Bo]
Bockle, G.
"A local-global principle for deformations of Galois representations."
J. Reine Angew. Math., 509 (1999) 199--236.

[Sa]
Savitt, D.
"On a conjecture of Conrad, Diamond, and Taylor."
Duke. Math. J. 128 (2005), 141--197.

[Sc]
Schoof, R.
"Abelian varieties over Q with bad reduction in one prime only."
Compositio Math. 141 (2005), 847--868.

[Ta2]
Tate, J.
"The non-existence of certain Galois extensions of Q unramified outside 2."
Arithmetic Geometry (Tempe, AZ, 1993), Contemp. Math., 174, Amer. Math. Soc., (1994) 153--156.

[Se2]
Serre, J.-P.
"Oeuvres Vol. III."
p.710. (1972--1984) Springer-Verlag, Berlin, 1986.

-----
[KW1]: Constuction of compatible system of minimally ramified lifts by using Taylor's potential modularity ([T2] and [T3]) and Bockle's technique.
Starting point of [Kh1], [KW2], and [KW3].
[Kh1]: Proof of Serre's conjecture for level one case.
Construct more general compatible systems than [KW1].
[KW2]: Proof of Serre's conjecture Part 1.
[KW3]: Proof of Serre's conjecture Part 2.
[Kh2]: Survey of [Kh1].
[Kh3]: Serre's conjecture implies Artin's conjecture for two dimensional odd representations.
[Ca2]: Carayol's lemma used in [KW1], and [KW2].
[Di1]: Existence of compatible system.
[Di2]: Another proof of Serre's conjecture of level one case, not using the distribution of Fermat primes.
[Bo]: The technique of the lower bound of the dimension of global deformation rings by using local deformation rings used in [KW1], and [Kh1].
[Sa]: Non-vanishing of certain local deformation rings and some calculations of strongly divisible modules are used in [Kh1], [KW2], and [KW3].
[Sc]: Non-existence of certain abelian varieties by using Fontaine's technique and Odlyzko's bound.
Used in [KW1] to show Serre's conjecture for p=5.
[Ta2]: Proof of Serre's conjecture for p=2. Minkowski's bound is used.
[Se2]: Proof of Serre's conjecture for p=3. Odlyzko's bound is used.
-----

[BM]
Breuil, C., Mezard, A.
"Multiplicites modulaires et representations de GL(Zp) et de Gal(\bar{Qp}/Qp) en l=p."
Duke Math. J. 115(2) (2002), 205--310.

[B2]
Breuil, C.
"Sur quelques representations modulaires e p-adiques de GL(Qp) II."
J. Inst. Mat. Jussieu 2 (2003), 1--36

[C1]
Colmez, P.
"Serie principale unitaire pour GL(Qp) et representations triangulines de dimension 2."
preprint.

[C2]
Colmez, P.
"Une correspondance de Langlands locale p-adique pour les representations semi-stable de dimension 2."
preprint.

[BB2]
Berger, L., Breuil, C.
"Sur quelques representations potentiellement cristallines de GL(Qp)."
preprint.

-----
[BM]: Breuil-Mezard conjecture, which says Hilbert-Samuel multiplicity of universal deformation rings is explicitly described by the terms of automorphic side.
[B2]: Conjecture about mod p reduction of crystalline representations of intermediate weights, which is partially proved in [BLZ] and [BB1].
This conjecture comes from the insight of mod p reduction'' of p-adic local Langlands.
Used in [BB1], and [K6].
Construction of a bijection between trianguline irreducible two dimensional representations of Gal(\bar{Qp}/Qp) between unitary principal series'' of GL(Qp).