To our sincere regret, we had to cancel the conference in Darmstadt on short notice, because of the further spreading of corona virus infections, and the resulting circumstances. More information

Monday | Tuesday | Wednesday | Thursday | Friday |
---|---|---|---|---|

9:00 Registration | 9:30 Habegger | 9:00 Pilloni | 9:30 Pappas | 9:00 Esnault |

10:00 Rapoport | 11:00 Huber | 10:30 Kerz | 11:00 Tamme | 10:30 Lin |

11:30 N. N. | 11:45 Nicaise | 13:30 Scholze | ||

15:15 Caraiani | 15:00 Gee | Excursion | 15:00 Ziegler | 15:00 Fargues |

16:45 Hellmann | 16:30 Schmidt | Excursion | 16:30 N. N. | |

18:30 Get together | 19:30 Conference dinner |

The duration of the talks is 60 minutes.

Unfortunately, Ruochuan Liu, Michael Temkin, Wei Zhang and Xinwen Zhu had to cancel their participation.

I will review some properties of the moduli stacks of $(\varphi, \Gamma)$-modules which I recently constructed with Matthew Emerton.

By Faltings's Theorem, the Mordell Conjecture, a smooth projective curve of genus at least 2 that is defined over the field of rational numbers has at most finitely many rational points. Vojta later gave a new proof which resulted in upper bounds on the number of rational points thanks to work of Bombieri, de Diego, Rémond, and others. I will speak about joint work with Ziyang Gao and Vesselin Dimitrov on a new bound for the number of rational points. The bound depends only on the genus of the curve and the rank of the Mordell-Weil group of the curve's Jacobian.

Automorphy lifting theorems aim to show that a $p$-adic global Galois representation that is unramified almost everywhere and de Rham at places dividing $p$ is associated to an automorphic representation, provided its reduction modulo $p$ is. In the past years there has been a lot of progress in the case of polarizable representations that are crystalline at $p$. In the semi-stable case much less is known (beyond the 2-dimensional case). I will explain how one can use results about $p$-adic automorphic forms in combination with the Taylor-Wiles method to deduce the semi-stable case from the crystalline case.

(work in progress with Johan Commelin and Philipp Habegger) Exponential periods arise from the period isomorphism for irregular connections established by Hien and Roucairol. The underlying motivic theory was recently developed and studied by Fresan and Jossen. We give an equivalent characterisation as $\int_Ge^{-f}\omega$ with $G\subset \mathbf{C}^n$ semi-algebraic and satisfying additional properties, algebraic $f$ and $\omega$. This can be used to show that the absolute values of real and imaginary part of all effective exponential periods are volumes of sets definable in a certain o-minimal structure. These results are in analogy to a similar statement for classical periods and volumes of semi-algebraic sets. We take this to indicate that there is a deeper connection between the theory of periods and o-minimiality.

I will explain an ongoing project with John Christian Ottem to establish several new classes of stably irrational complete intersections. Our results are based on degeneration techniques and a birational version of the nearby cycles functor that was developed in collaboration with Evgeny Shinder.

I will discuss certain constructions for l-adic local systems over curves and for their deformations that are inspired by the symplectic theory of character varieties of surface groups and the Chern-Simons theory for 3-manifolds.

Cherednik's theorem states that a Shimura curve attached to a quaternion algebra over a totally real field $F$ which is split at exactly one archimedean place and is ramified at some $p$-adic place admits $p$-adic uniformization by the Drinfeld $p$-adic upper half plane. This theorem is now almost 50 years old but is still not understood, one of the main difficulties being that outside the case $F=\mathbb Q$ the Shimura curve does not represent a moduli problem of abelian varieties. I will show that when the multiplicative group of the quaternion algebra is replaced by the group of unitary similitudes of a binary hermitian space, things become drastically better. This is joint work with S. Kudla and Th. Zink, and improves on results of P. Scholze (yes, this can be done!).

[Joint work with K. Hübner] For a scheme $X$ of characteristic p>0, the p-part of its étale fundamental $\pi_1^{et}(X)$ is not well-behaved, i.e., it is not $A^1$-homotopy invariant. Therefore the tame fundamental group has been studied in positive and mixed characteristics. It would be helpful to have a tame Grothendieck topology whose associated fundamental group is the tame fundamental group. Such a topology would provide a tame cohomology theory and, in addition, higher tame homotopy groups. The latter seems to be even more desirable because the higher étale homotopy groups of affine varieties vanish in positive characteristic (Achinger, 2017). In this talk we give a definition of a tame site that hopefully will prove useful. Morever, we explain the relation to the tame site of adic spaces as introduced by K. Hübner in 2018.

The classical excision theorem of Bass, Milnor, and Murthy associates to a Milnor square of rings an exact sequence of algebraic K-groups starting with $K_1$. In this talk I will will explain that this sequence extends naturally to a long exact sequence which involves a new ring spectrum naturally associated with the original Milnor square. In fact, this result holds more generally for any so called localizing invariant as for example topological Hochschild homology and it easily implies and improves excision results of Suslin-Wodzicki, Cortinas, and Geisser-Hesselholt. I will also explain a method that allows us to determine the above new ring spectrum explicitly in several examples. This is joint work with Markus Land.

The fundamental lemma is an identity of integrals playing an important role in the Langlands program. This identity was reformulated into a statement about the cohomology of moduli spaces of Higgs bundles, called the geometric stabilization theorem, and proved in this form by Ngô. I will give an introduction to these results and explain a new proof of the geometric stabilization theorem, which is joint work with Michael Groechenig and Dimitri Wyss, using the technique of $p$-adic integration.