Morningside Center of Mathematics

Chinese Academy of Sciences

巴黎北京东京算术几何讨论班

Home

**Séminaire de Géométrie Arithmétique Paris-Pékin-Tokyo**

**主办单位****:**

Institut des Hautes études Scientifiques

**组织者****:**

Ahmed Abbes (CNRS, IHéS), Fabrice Orgogozo (CNRS, école polytechnique)

斎藤 毅(Takeshi Saito)、志甫 淳(Atsushi Shiho)、 辻 雄(Takeshi Tsuji) (東大数理)

田野(Ye Tian)、田一超(Yichao Tian)、郑维喆(Weizhe Zheng) (晨兴)

**时间****:**原则上每月第二个周三,北京时间下午16:30或17:00开始

**北京会场地点****:****晨兴****110**

__2019____年____11____月____20____日（周三）____17:00—18:00__

**Vasudevan Srinivas (Tata Institute of Fundamental Research)**

**Algebraic versus topological entropy for surfaces over finite fields**

For an automorphism of an algebraic variety, we consider some properties of eigenvalues of the induced linear transformation on l-adic cohomology, motivated by some results from complex dynamics, related to the notion of entropy. This is a report on joint work with Hélène Esnault, and some subsequent work of K. Shuddhodan.

__2019____年____12____月____18____日（周三）____17:00—18:00__

**Arthur-César Le Bras (CNRS & Université Paris 13)**

__2019____年____10____月____16____日（周三）____16:30—17:30__

**Liang Xiao (Peking University)**

**On Slopes of Mordular Forms**

In this talk, I will survey some recent progress towards understanding the slopes of modular forms, with or without level structures. This has direct application to the conjecture of Breuil-Buzzard-Emerton on the slopes of Kisin's crystabelline deformation spaces. In particular, we obtain certain refined version of the spectral halo conjecture, where we may identify explicitly the slopes at the boundary when given a reducible non-split generic residual local Galois representation. This is a joint work in progress with Ruochuan Liu, Nha Truong, and Bin Zhao.

__2019____年____6____月____5____日（周三）____16:30—17:30__

**Shin Hattori (Tokyo City University)**

**Duality of Drinfeld Modules and P-adic Properties of Drinfeld Modular Forms**

Let p be a rational prime, q>1 a p-power and P a non-constant irreducible polynomial in F_q[t]. The notion of Drinfeld modular form is an analogue over F_q(t) of that of elliptic modular form. Numerical computations suggest that Drinfeld modular forms enjoy some P-adic structures comparable to the elliptic analogue, while at present their P-adic properties are less well understood than the p-adic elliptic case. In 1990s, Taguchi established duality theories for Drinfeld modules and also for a certain class of finite flat group schemes called finite v-modules. Using the duality for the latter, we can define a function field analogue of the Hodge-Tate map. In this talk, I will explain how the Taguchi's theory and our Hodge-Tate map yield results on Drinfeld modular forms which are classical to elliptic modular forms e.g. P-adic congruences of Fourier coefficients imply p-adic congruences of weights.

__2019____年____4____月____24____日（周三）____16:30—17:30__

**Joseph Ayoub (University of Zurich)**

**P^1-localisation and a possible definition of arithmetic Kodaira-Spencer classes**

A^1-localisation is a universal construction which produces “cohomology theories" for which the affine line A^1 is contractible. It plays a central role in the theory of motives à la Morel-Voevodsky. In this talk, I'll discuss the analogous construction where the affine line is replaced by the projective line P^1. This is the P^1-localisation which is arguably an unnatural construction since it produces "cohomology theories" for which the projective line P^1 is contractible. Nevertheless, I'll explain a few positive results and some computations around this construction which naturally lead to a definition of Kodaira-Spencer classes of arithmetic nature. (Unfortunately, it is yet unclear if these classes are really interesting and nontrivial.)

__2019____年____1____月____16____日（周三）____17:00—18:00__

**Lei Fu (Tsinghua University)**

**p-adic Gelfand-Kapranov-Zelevinsky systems**

Using Dwork’s trace formula, we express the exponential sum associated to a Laurent polynomial as the trace of a chain map on a twisted de Rham complex for the torus over the *p*-adic field. Treating the coefficients of the polynomial as parameters, we obtain the *p*-adic Gelfand-Kapranov-Zelevinsky (GKZ) system, which is a complex of $D^{\dagger}$-modules with Frobenius structure.

__2018____年____6____月____6____日（周三）____16:30—17:30__

**Nicolas Templier (Cornell University)**

**On the Ramanujan conjecture for automorphic forms over function fields**

Let G be a reductive group over a function field of large enough characteristic. We prove the temperedness at unramified places of automorphic representations of G, subject to a local assumption at one place, stronger than supercuspidality. Such an assumption is necessary, as was first shown by Saito-Kurokawa and Howe-Piatetskii-Shapiro in the 70's. Our method relies on the l-adic geometry of Bun_G, and on trace formulas. Work with Will Sawin.

__2018____年____4____月____11____日（周三）____16:30—17:30__

**Minhyong Kim (University of Oxford)**

**Non-abelian cohomology and Diophantine geometry**

This lecture will review the construction of moduli schemes of torsors for sheaves of pro-unipotent groups and their applications to the resolution of Diophantine problems.

__ 2018____年____1____月____17____日（周三）____17:00—18:00 __

**Ana Caraiani (Imperial College)**

**On the vanishing of cohomology for certain Shimura varieties**

I will prove that the compactly supported cohomology of certain unitary or symplectic Shimura varieties at level Gamma_1(p^\infty) vanishes above the middle degree. The key ingredients come from p-adic Hodge theory and studying the Bruhat decomposition on the Hodge-Tate flag variety. I will describe the steps in the proof using modular curves as a toy model. I will also mention an application to Galois representations for torsion classes in the cohomology of locally symmetric spaces for GL_n. This talk is based on joint work in preparation with D. Gulotta, C.Y. Hsu, C. Johansson, L. Mocz, E. Reineke, and S.C. Shih.

__2017____年____12____月____13____日（周三）____17:00—18:00__

**Javier Fresán (école polytechnique)Exponential motives**

What motives are to algebraic varieties, exponential motives are to pairs (X, f) consisting of an algebraic variety over some field k and a regular function f on X. In characteristic zero, one is naturally led to define the de Rham and rapid decay cohomology of such pairs when dealing with numbers like the special values of the gamma function or the Euler constant gamma which are not expected to be periods in the usual sense. Over finite fields, the étale and rigid cohomology groups of (X, f) play a pivotal role in the study of exponential sums.

Following ideas of Katz, Kontsevich, and Nori, we construct a Tannakian category of exponential motives when k is a subfield of the complex numbers. This allows one to attach to exponential periods a Galois group that conjecturally governs all algebraic relations among them. The category is equipped with a Hodge realisation functor with values in mixed Hodge modules over the affine line and, if k is a number field, with an étale realisation related to exponential sums. This is a joint work with Peter Jossen (ETH).

__2017____年____11____月____8____日（周三）____17:00—18:00__

**万昕****(Morningside Center of Mathematics & AMSS)Iwasawa theory and Bloch-Kato conjecture for modular forms**

Bloch and Kato formulated conjectures relating sizes of p-adic Selmer groups with special values of L-functions. Iwasawa theory is a useful tool for studying these conjectures and BSD conjecture for elliptic curves. For example the Iwasawa main conjecture for modular forms formulated by Kato implies the Tamagawa number formula for modular forms of analytic rank 0.

In this talk I'll first briefly review the above theory. Then we will focus on a different Iwasawa theory approach for this problem. The starting point is a recent joint work with Jetchev and Skinner proving the BSD formula for elliptic curves of analytic rank 1. We will discuss how such results are generalized to modular forms. If time allowed we may also explain the possibility to use it to deduce Bloch-Kato conjectures in both analytic rank 0 and 1 cases. In certain aspects such approach should be more powerful than classical Iwasawa theory, and has some potential to attack cases with bad ramification at p.

__2017____年____9____月____27____日（周三）____16:30—17:30__

**加藤和也**** (Kazuya Kato, University of Chicago)Height functions for motives, Hodge analogues, and Nevanlinna analogues**We compare height functions for

(1) points of an algebraic variety over a number field,

(2) motives over a number field,

(3) variations of Hodge structure with log degeneration on a projective smooth curve over the complex number field,

(4) horizontal maps from the complex plane C to a toroidal partial compactification of the period domain.

Usual Nevanlinna theory uses height functions for

(5) holomorphic maps f from C to a compactification of an agebraic variety V and considers how often the values of f lie outside V. Vojta compares (1) and (5). In (4), V is replaced by a period domain. The comparisons of (1)--(4) provide many new questions to study.

__2017____年____6____月____14____日（周三）____16:30—17:30__

**Yongquan Hu****（****Chinese Academy of Sciences, Morningside Center of Mathematics****）****Multiplicity one for the mod p cohomology of Shimura curves**At present, the mod $p$ (and $p$-adic) local Langlands correspondence is only well understood for the group $\mathrm{GL}_2(\mathbb{Q}_p)$. One of the main difficulties is that little is known about supersingular representations besides this case, and we do know that there is no simple one-to-one correspondence between representations of $\mathrm{GL}_2(K)$ with two-dimensional representations of $\mathrm{Gal}(\overline{K}/K)$, at least when $K/\mathbb{\mathbb{Q}}_p$ is (non-trivial) finite unramified.

However, the Buzzard-Diamond-Jarvis conjecture and the mod $p$ local-global compatibility for $\mathrm{GL}_2/\mathbb{Q}$ suggest that this hypothetical correspondence may be realized in the cohomology of Shimura curves with characteristic $p$ coefficients (cut out by some modular residual global representation $\bar{r}$). Moreover, the work of Gee, Breuil and Emerton-Gee-Savitt show that, to get information about the $\mathrm{GL}_2(K)$-action on the cohomology, one could instead study the geometry of certain Galois deformation rings of the $p$-component of $\bar{r}$.

In a work in progress with Haoran Wang, we push forward their analysis of the structure of potentially Barsotti-Tate deformation rings and, as an application, we prove a multiplicity one result of the cohomology at full congruence level when $\bar{r}$ is reducible generic \emph{non-split} at $p$. (The semi-simple case was previously proved by Le-Morra-Schraen and by ourselves.)

__2017____年____10____月____11____日（周三）____16:30—17:30__

**Michael Temkin(****耶路撒冷希伯莱大学****)Logarithmic resolution of singularities**The famous Hironaka's theorem asserts that any integral algebraic variety X of characteristic zero can be modified to a smooth variety X_res by a sequence of blowings up. Later it was shown that one can make this compatible with smooth morphisms Y --> X in the sense that Y_res --> Y is the pullback of X_res --> X.

In a joint project with D. Abramovich and J. Wlodarczyk, we construct a new algorithm which is compatible with all log smooth morphisms (e.g. covers ramified along exceptional divisors). We expect that this algorithm will naturally extend to an algorithm of resolution of morphisms to log smooth ones. In particular, this should lead to functorial semistable reduction theorems.

In my talk I will tell about main ideas of the classical algorithm and will then discuss logarithmic and stack-theoretic modifications we had to make in the new algorithm.

__2017____年____5____月____17____日（周三）____16:30—17:30__

The Equivariant Tamagawa Number Conjecture for modular motives with coefficients in Hecke algebras

__2017____年____4____月____11____日（周二）____16:30—17:30__

**Peter Scholze****（波恩大学）**

**The geometric Satake equivalence in mixed characteristic**

In order to apply V. Lafforgue's ideas to the study of representations of p-adic groups, one needs a version of the geometric Satake equivalence in that setting. For the affine Grassmannian defined using the Witt vectors, this has been proven by Zhu. However, one actually needs a version for the affine Grassmannian defined using Fontaine's ring B_dR, and related results on the Beilinson-Drinfeld Grassmannian over a self-product of Spa Q_p. These objects exist as diamonds, and in particular one can make sense of the fusion product in this situation; this is a priori surprising, as it entails colliding two distinct points of Spec Z. The focus of the talk will be on the geometry of the fusion product, and an analogue of the technically crucial ULA (Universally Locally Acyclic) condition that works in this non-algebraic setting.

__2017____年____1____月____11____日（周三）____17:00____至____18:00__** **

**扶磊（清华大学）**

**Deformation and rigidity of $\ell$-adic sheaves**

Let $X$ be a smooth connected algebraic curve over an algebraically closed field, let $S$ be a finite closed subset in $X$, and let $\mathcal F_0$ be a lisse $\ell$-torsion sheaf on $X-S$. We study the deformation of $\mathcal F_0$. The universal deformation space is a formal scheme. Its generic fiber has a rigid analytic space structure. By studying this rigid analytic space, we prove a conjecture of Katz which says that if a lisse $\overline{\mathbb Q}_\ell$-sheaf $\mathcal F$ is irreducible and physically rigid, then it is cohomologically rigid in the sense that $\chi(X,j_\ast\mathcal End(\mathcal F))=2$, where $j:X-S\to X$ is the open immersion.

__2016____年____12____月____14____日（周三）____17:00____至____18:00__** **

**Luc Illusie (Université Paris-Sud)**

**On vanishing cycles and duality, after A. Beilinson**

It was proved by Gabber in the early 1980's that R\Psi commutes with duality, and that R\Phi preserves perversity up to shift. It had been in the folklore since then that this last result was in fact a consequence of a finer one, namely the compatibility of R\Phi with duality. In this talk I'll give a proof of this, using a method explained to me by A. Beilinson.

__2016____年____11____月____2____日（周三）____17:00____至____18:00 __

**Yves André (CNRS, Institut de Mathématiques de Jussieu) **

**Direct summand conjecture and perfectoid Abhyankar lemma: an overview**

According to Hochster's direct summand conjecture (1973), a regular ring R is a direct summand, as an R-module, of every finite extension ring. We shall outline our recent proof which relies on perfectoid techniques. Similar arguments also establish the existence of big Cohen-Macaulay algebras for complete local domains of mixed characteristics.

__2016____年____10____月____12____日（周三）____16:30____至____17:30 __** **

**U. Jannsen (Universities of Regensburg & Tokyo) **

**Filtered de Rham Witt complexes and wildly ramified higher class field theory over finite fields**

We will consider abelian coverings of smooth projective varieties over finite fields which are wildly ramified along a divisor D with normal crossings, and will describe the corresponding abelianized fundamental group via modified logarithmic de Rham-Witt sheaves.

__2016____年____6____月____8____日（周三）____16:30____至____17:30 __** **

**Xu Shen (AMSS) **

**Local and global geometric structures of perfectoid Shimura varieties.**

In this talk, we will investigate some geometric structural properties of perfectoid Shimura varieties of abelian type. In the global part, we will construct some minimal and toroidal type compactifications for these spaces, and we will describe explicitly the degeneration of Hodge-Tate period map at the boundaries. In the local part, we will show that each Newton stratum of these perfectoid Shimura varieties can be described by the related (generalized) Rapoport-Zink space and Igusa variety. As a consequence of our local and global constructions, we can compute the stalks of the relative cohomology under the Hodge-Tate period map of the intersection complex (on the minimal compactification), in terms of cohomology of Igusa varieties at the boundary with truncated coefficients.

__2016____年____5____月____11____日（周三）____16:30____至____17:30 __** **

**Wies****？****awa Nizio****？**** (CNRS, éNS de Lyon) **

**Syntomic complexes and p-adic nearby cycles. **

I will present a proof of a comparison isomorphism, up to some universal constants, between truncated sheaves of p-adic nearby cycles and syntomic cohomology sheaves on semistable schemes over a mixed characteristic local rings. This generalizes the comparison results of Kato, Kurihara, and Tsuji for small Tate twists (where no constants are necessary) as well as the comparison result of Tsuji that holds over the algebraic closure of the field. This is a joint work with Pierre Colmez.

__2016____年____4____月____13____日（周三）____16:30____至____17:30__

**Akio Tamagawa (RIMS, Kyoto University)**

**Semisimplicity of geometric monodromy on etale cohomology.**Let K be a function field over an algebraically closed field of characteritic p \geq 0, X a proper smooth K-scheme, and l a prime distinct from p. Deligne proved that the Q_l-coefficient etale cohomology groups of the geometric fiber of X --> K are always semisimple as G_K-modules. In this talk, we consider a similar problem for the F_l-coefficient etale cohomology groups. Among other things, we show that if p=0 (resp. in general), they are semisimple for all but finitely many l's (resp. for all l's in a set of density 1).

__2016____年____3____月____29____日（周二）____16:30____至____17:30__

**Matthew Morrow(University of Bonn)**

** Motivic cohomology of formal schemes in characteristic p.**

The logarithmic Hodge-Witt sheaves of Illusie, Milne, Kato, et al. of a smooth variety in characteristic p provide a concrete realisation of its p-adic motivic cohomology, thanks to results of Geisser-Levine and Bloch-Kato-Gabber which link them to algebraic K-theory. I will explain an analogous theory for formal schemes, as well as applications to algebraic cycles, such as a weak Lefschetz theorem for formal Chow groups.

__2015____年____12____月____9____日（周三）____17:00____至____18:00__

**Ted Chinburg (University of Pennsylvania & IHéS)**

**Chern classes in Iwasawa theory.**

Many of the main conjectures in Iwasawa theory can be phrased as saying that the first Chern class of an Iwasawa module is generated by a p-adic L-series. In this talk I will describe how higher Chern classes pertain to the higher codimension behavior of Iwasawa modules. I'll then describe a template for conjectures which would link such higher Chern classes to elements in the K-theory of Iwasawa algebras which are constructed from tuples of Katz p-adic L-series. I will finally describe an instance in which a result of this kind, for the second Chern class of an unramified Iwasawa module, can be proved over an imaginary quadratic field. This is joint work with F. Bleher, R. Greenberg, M. Kakde, G. Pappas, R. Sharifi and M. J. Taylor.

__2015____年____11____月____17____日（周二）____17:00____至____18:00__

The Tamagawa number formula over function fields.

__2015____年____10____月____27____日（周二）____17:00____至____18:00__

**朝倉政典**** (Masanori Asakura,****北海道大学****)**

**On the period conjecture of Gross-Deligne for fibrations **

The period conjecture of Gross-Deligne asserts that the periods of algebraic varieties with complex multiplication are products of values of the gamma function at rational numbers. This is proved for CM elliptic curves by Lerch-Chowla-Selberg, and for abelian varieties by Shimura-Deligne-Anderson. However the question in the general case is still open. In this talk, we verify an alternating variant of the period conjecture for the cohomology of fibrations with relative multiplication.The proof relies on the Saito-Terasoma product formula for epsilon factors of integrable regular singular connections and the Riemann-Roch-Hirzebruch theorem. This is a joint work with Javier Fresan.

**2015****年****5****月****20****日（周三）****16:30****至****17:30 **

**张寿武**** (Princeton University) **

**Colmez' conjecture in average**

This is a report on a joint work with Xinyi Yuan on a conjectured formula of Colmez about the Faltings heights of CM abelian varieties. I will sketch a deduction of this formula in average of CM types from our early work on Gross—Zagier formula. When combined with a recent work of Tsimerman, this result implies the Andre—Oort conjecture for the moduli of abelian varieties.

Our method is different than a recently announced proof of a weaker form of the average formula by Andreatta, Howard, Goren, and Madapusi Pera: we use neither high dimensional Shimura varieties nor Borcherds' liftings.** **

**2015****年****4****月****8****日（周三）****16:30****至****17:30**

**Seidai Yasuda (Osaka University)**** **

**Integrality of p-adic multiple zeta values and application to finite multiple zeta values**** **

I will give a proof of an integrality of p-adic multiple zeta values. I would also like to explain how it can be applied to give an upper bound of the dimension of finite multiple zeta values.

**2015****年****1****月****21****日（周三）****17:00****至****18:10 **

**17:00****至****17:10, Luc Illusie (Université Paris-Sud) **

**Remembering the SGA's **

**17:10****至****18:10, Ofer Gabber (CNRS & IHéS) **

**Spreading-out of rigid-analytic families and observations on p-adic Hodge theory **

(Joint work with Brian Conrad.) Let $K$ be a complete rank 1 valued field with ring of integers $O_K$, A an adic noetherian ring and $f : A → O_K$ an adic morphism. If $g : X → Y$ is a proper flat morphism between rigid analytic spaces over $K$ then locally on $Y$ a flat formal model of g spreads out to a proper flat morphism between formal schemes topologically of finite type over $A$. As an application one can prove that for proper smooth $g$ and $K$ of characteristic 0, the Hodge to de Rham spectral sequence for g degenerates and the $R^q g* Ω^p_{X/Y}$ are locally free.

本次活动是格罗滕迪克实验室成立庆典的一部分。

**2014****年****12****月****17****日（周三）****17:00****至****18:00 **

**Konstantin Ardakov(University of Oxford) **

**Equivariant $\mathcal{D}$ modules on rigid analytic spaces **

Locally analytic representations of*p*-adic Lie groups are of interest in several branches of arithmetic algebraic geometry, notably the *p*-adic local Langlands program. I will discuss some work in progress towards a Beilinson-Bernstein style localisation theorem for admissible locally analytic representations of semisimple compact *p*-adic Lie groups using equivariant formal models of rigid analytic flag varieties.

**2014****年****11****月****12****日（周三）****17:00****至****18:00 **

**刘若川**** (****北京国际数学研究中心****) **

**Relative (φ, Γ)-modules **

In this talk, we will introduce the theory of (φ, Γ)-modules for general adic spaces. This is joint work with Kedlaya.

**2014****年****10****月****14****日（周二）****16:30****至****17:30**

**Fabrizio Andreatta (Università Statale di Milano)**

**A p-adic criterion for good reduction of curves **

Given a curve over a dvr of mixed characteristic 0-p with smooth generic fiber and with semistable reduction, I will present a criterion for good reduction in terms of the (unipotent) p-adic étale fundamental group of its generic fiber.

**2014****年****6****月****17****日（周二）****16:30****至****17:30**

**Ng？ B？o Chau (The University of Chicago, VIASM)**

**Vinberg's monoid and automorphic L-functions**

We will explain a generalisation of the construction of the local factors of Godement-Jacquet's *L*-functions, based on Vinberg's monoid.

**2014****年****5****月****21****日****16:30****至****17:30**

**孙晟昊（****清华大学数学科学中心****）**

**Parity of Betti numbers in étale cohomology**

By Hodge symmetry, the Betti numbers of a complex projective smooth variety in odd degrees are even. When the base field has characteristic *p*, Deligne proved the hard Lefschetz theorem in étale cohomology, and the parity result follows from this. Suh has generalized this to proper smooth varieties in characteristic *p*, using crystalline cohomology.

The purity of intersection cohomology group of proper varieties suggests that the same parity property should hold for these groups in characteristic *p*. We proved this by investigating the symmetry in the categorical level. In particular, we reproved Suh's result, using merely étale cohomology. Some related results will be discussed. This is joint work with Weizhe Zheng.

**2014****年****4****月****16****日****16:30****至****17:30**

**Olivier Wittenberg (éNS, CNRS)**

**On the cycle class map for zero-cycles over local fields**

The Chow group of zero-cycles of a smooth and projective variety defined over a field *k* is an invariant of an arithmetic and geometric nature which is well understood only when *k* is a finite field (by higher-dimensional class field theory). In this talk, we will discuss the case of local and strictly local fields. We prove in particular the injectivity of the cycle class map to integral *l*-adic cohomology for a large class of surfaces with positive geometric genus over *p*-adic fields. The same statement holds for semistable K3 surfaces over C((*t*)), but does not hold in general for surfaces over C((*t*)) or over the maximal unramified extension of a *p*-adic field. This is a joint work with Hélène Esnault.

**2014****年****1****月****22****日****17:00****至****18:00**

**柏原 正樹（****Masaki Kashiwara**** 京都大学数理研）**

**Riemann-Hilbert correspondence for irregular holonomic D-modules**

The classical Riemann-Hilbert correspondence establishes an equivalence between the derived category of regular holonomic *D*-modules and the derived category of constructible sheaves. Recently, I, with Andrea D'Agnolo, proved a Riemann-Hilbert correspondence for holonomic *D*-modules which are not necessarily regular (arXiv:1311.2374). In this correspondence, we have to replace the derived category of constructible sheaves with a full subcategory of ind-sheaves on the product of the base space and the real projective line. The construction is therefore based on the theory of ind-sheaves by Kashiwara-Schapira, and also it is influenced by Tamarkin's work. Among the main ingredients of our proof is the description of the structure of flat meromorphic connections due to Takuro Mochizuki and Kiran Kedlaya.

**2013****年****12****月****18****日****17:00****至****18:00**

**加藤 和也（****Kazuya Kato**** ****The University of Chicago****）**

**Heights of motives**

The height of a rational number *a*/*b* (*a*, *b* integers which are coprime) is defined as max(|*a*|, |*b*|). A rational number with small (resp. big) height is a simple (resp. complicated) number. Though the notion height is so naive, height has played fundamental roles in number theory. There are important variants of this notion. In 1983, when Faltings proved Mordell conjecture, Faltings first proved Tate conjecture for abelian varieties by defining heights of abelian varieties, and then he deduced Mordell conjecture from the latter conjecture. I explain that his height of an abelian variety is generalized to the height of a motive. This generalization of height is related to open problems in number theory. If we can prove finiteness of the number of motives of bounded heights, we can prove important conjectures in number theory such as general Tate conjecture and Mordell-Weil type conjectures in many cases.

**2013****年****11****月****13****日****17:00****至****18:00**

**田一超（****Yichao Tian**** 中国科学院晨兴数学中心）**

**Goren-Oort stratification and Tate cycles on Hilbert modular varieties**

Let *B* be a quaternionic algebra over a totally real field *F*, and *p* be a prime at least 3 unramified in *F*. We consider a Shimura variety *X* associated to *B*^{*} of level prime to *p*. A generalization of Deligne-Carayol's “modèle étrange” allows us to define an integral model for *X*. We will then define a Goren-Oort stratification on the characteristic *p* fiber of *X*, and show that each closed Goren-Oort stratum is an iterated P^{1}-fibration over another quaternionic Shimura variety in characteristic *p*. Now suppose that [*F*:Q] is even and that *p* is inert in *F*. An iteration of this construction gives rise to many algebraic cycles of middle codimension on the characteristic *p* fiber of Hilbert modular varieties of prime-to-*p* level. We show that the cohomological classes of these cycles generate a large subspace of the Tate cycles, which, in some special cases, coincides with the prediction of the Tate conjecture for the Hilbert modular variety over finite fields. This is a joint work with Liang Xiao.

**2013****年****10****月****16****日****16:30****至****17:30**

**Peter Scholze (Universit****？****t Bonn)**

**Shimura varieties with infinite level, and torsion in the cohomology of locally symmetric spaces**

We will discuss the *p*-adic geometry of Shimura varieties with infinite level at *p*: They are perfectoid spaces, and there is a new period map defined at infinite level. As an application, we will discuss some results on torsion in the cohomology of locally symmetric spaces, and in particular the existence of Galois representations in this setup.

**2013****年****6****月****12****日****16:30****至****17:30**

**袁新意（****Xinyi Yuan**** ****University of California, Berkeley****）**

**Hodge index theorem for adelic line bundles**

The Hodge index theorem of Faltings and Hriljac asserts that the Neron–Tate height pairing on a projective curve over a number field is equal to certain intersection pairing in the setting of Arakelov geometry. In the talk, I will present an extension of the result to adelic line bundles on higher dimensional varieties over finitely generated fields. Then we will talk about its relation to the non-archimedean Calabi–Yau theorem and the its application to algebraic dynamics. This is a joint work with Shou-Wu Zhang.

**2013****年****4****月****24****日****16:30****至****17:30**

**今井 直毅****（****Naoki Imai**** 東大数理）**

**Good reduction of ramified affinoids in the Lubin-Tate perfectoid space**

Recently, Weinstein finds some affinoids in the Lubin-Tate perfectoid space and computes their reduction in equal characteristic case. The cohomology of the reduction realizes the local Langlands correspondence for some representations of GL* _{h}*, which are unramified in some sense. In this talk, we introduce other affinoids in the Lubin-Tate perfectoid space in equal characteristic case, whose reduction realizes "ramified" representations of conductor exponent

**2013****年****4****月****10****日****16:30****至****17:30**

**Deepam Patel (Universiteit van Amsterdam)**

**Motivic structure on higher homotopy of non-nilpotent spaces**

In his fundamental paper on the projective line minus three points, Deligne constructed certain extensions of mixed Tate motives arising from the fundamental group of the projective line minus three points. Since then, motivic structures on homotopy groups have been studied by many authors. In this talk, we will construct a motivic structure on the (nilpotent completion of) *n*-th homotopy group of P* ^{n}* minus

**2013****年****1****月****16****日****17:00****至****18:00**

**大久保 俊（****Shun Ohkubo**** 東大数理）**

**On differential modules associated to de Rham representations in the imperfect residue field case**

Let *K* be a CDVF of mixed characteristic (0,*p*) and *G* the absolute Galois group of *K*. When the residue field of *K* is perfect, Laurent Berger constructed a *p*-adic differential equation N_{dR}(*V*) for any de Rham representation *V* of *G*. In this talk, we will generalize his construction when the residue field of *K* is not perfect. We also explain some ramification properties of our N_{dR}, which are due to Adriano Marmora in the perfect residue field case.

**2012****年****12****月****12****日****17:00****至****18:00**

**Fran？ois Charles (CNRS & Université de Rennes 1)**

**The Tate conjecture for K3 surfaces and holomorphic symplectic varieties over finite fields**

We prove the Tate conjecture for divisors on reductions of holomorphic symplectic varieties over finite fields – with some restrictions on the characteristic of the base field. We will be concerned mostly with the supersingular case. As a special case, we prove the Tate conjecture, also known as Artin's conjecture in our case, for K3 surfaces over finite fields of characteristic at least 5 and for codimension 2 cycles on cubic fourfolds.

**2012****年****11****月****14****日****17:00****至****18:00**

**Pierre Berthelot (Université de Rennes 1)**

**De Rham-Witt complexes with coefficients and rigid cohomology**

For a smooth scheme over a perfect field of characteristic *p*, we will explain a generalization of the classical comparison theorem between crystalline cohomology and de Rham-Witt cohomology to the case of cohomologies with coefficients in a *p*-torsion free crystal. This provides in particular a description of the rigid cohomology of a proper singular scheme in terms of a de Rham-Witt complex built from a closed immersion into a smooth scheme.