Home Program Registration Contacts Poster

Program

All lectures and talks are in Weierstrass Hörsaal, Room 3038, at Unter den Linden 6.


Summer School's Schedule

Friday 21 Saturday 22 Sunday 23 Monday 24
13:00-14:00: van der Geer 9:30-10.30: Faber 9:30-10:30: Smyth 9:00-10:00: Bost
Coffee Coffee Coffee Coffee
14:30-15:30: Bost 11:00-12:00: Bost 11:00-11:45: Viviani 11:00-12:00: van der Geer
Coffee Lunch Lunch
16:00-17:00: Smyth 14:30-15:30: Smyth 13:45-14:30 Ohashi
Coffee Coffee
16:00-17:00: van der Geer 15:00-16:00 Faber

Conference's Schedule

Monday 24 Tuesday 25 Wednesday 26 Thursday 27 Friday 28
14.00-14.50: Beauville 9:30-10:20: Vakil 9.00-9.50: Weissauer 9:30-10:20: Voisin 9.30-10.20: Salvati Manni
Coffee Coffee Coffee Coffee Coffee
15.30-16.20: Ullmo 11.00-11.50: van Geemen 10.30-11.20: Gritsenko 11.00-11.50: Faber 11.00-11.50: Mukai
Coffee 12.10-13.00: Verra Coffee 12.10-13.00: Schwermer 12.10-13.00: Grushevsky
17.00-17.50: Hulek 16:00-16:50: Bost 12.00-12.50: van der Geer 16:00-16:50: Smyth 15:00-15:50: Coskun
18:00: Welcome Drink
at "Cum Laude", at Universitätsstraße 4
Coffee Afternoon Free Coffee 16.10-17.00: Kühn
17.30-18.20: Sankaran 17.30-18.20: Moonen
20:00: Conference
Dinner at
"Zur letzten Instanz"

Summer School's Outlines

Jean-Benoit Bost Formal, analytic, and algebraic curves in algebraic varieties over number fields
Diverse classical transcendence results may be reformulated as theorems asserting that formal curves in algebraic varieties over number fields (for instance, formal curves defined by integrating algebraic vector fields) are algebraizable when they satisfy suitable arithmetic or analytic conditions. In my lectures, I will discuss this geometric point of view on transcendence theorems and some of their applications to elliptic curves and their moduli spaces.

Carel Faber Cohomology of moduli spaces of curves
The first lecture will be a survey lecture concerning tautological classes on the moduli spaces of smooth or stable pointed curves and the subalgebras of the Chow and cohomology rings generated by them. Both results and open problems will be discussed. In the second lecture, I will first discuss some results concerning the natural action on the moduli spaces of curves with marked points of the symmetric groups permuting the points. Then I will talk about how this action, in combination with other results, can be used (at least in principle) to detect non-algebraic cohomology classes, which typically are related to various kinds of modular forms.

Gerard van der Geer Modular forms and moduli spaces
After introducing elliptic modular forms we will explain their geometrical and cohomological interpretation using moduli spaces of elliptic curves. We then will try to extend this to the case of higher genus by introducing Siegel modular forms and treat their role in the geometry of moduli spaces of curves of higher genus and the moduli of abelian varieties.

Hisanori Ohashi Enriques surfaces covered by a fixed K3 surface
It can happen that more than one Enriques surfaces are covered by a single K3 surface. Such an example was first stated explicitly by S. Kondo. Using lattice theory, period maps and the Torelli theorems for K3 & Enriques, I will present several results around this phenomena.
1. The number of Enriques quotients (modulo isomorphisms) of one K3 surface is always finite.
2. The K3-cover of generic Enriques surfaces have exactly one Enriques quotient, but in general the number can tend to infinity.
3. We can classify explicitly the Enriques quotients of a generic Kummer surface of product type.
4. We can classify explicitly the Enriques quotients of a generic Jacobian Kummer surface. Application to the generators of Aut(X).

David Smyth Birational geometry of the moduli space of curves
LECTURE 1: Explicit presentations of M_{0}, M_{1}, M_{2}, M_{3} and the questions raised (e.g. unirationality, connectedness). Quick definition of DM-compactification. Definition of basic invariants of birational geometry: nef cone, effective cone, chamber decomposition of effective cone, with some quick examples. Explain how the classical problems have become subsumed into the project of computing these for M_{g}.
LECTURE 2: Explanation of how to do intersection theory on M_{g}, i.e. how to compute degrees of natural line-bundles on some easy families. Computations on M_{2}, M_{3}, where we will see that the relevant cones are all "determined by geometry". Description of what's known in general (e.g. discussion of slope conjecture, F-conjecture).
LECTURE 3: Raise the problem of alternate compactifications and MMP for M_{g}. Discuss known results on M_{g}, M_{0,n}, M_{1,n}.

Fillippo Viviani Torelli theorem for stable curves
The classical Torelli theorem asserts that a smooth projective curve is determined by its Jacobian together with the principal polarization induced by the theta divisor. In modular terms, it asserts that the natural (Torelli) map from the moduli space of smooth projective curves of genus g into the moduli space of principally polarized abelian varieties of dimension g is injective on geometric points. Quite recently, Alexeev has extended the Torelli map, in a geometrically meaningful way, to modular compactifications of the above moduli spaces, namely the moduli space of Deligne-Mumford stable curves and the moduli space of principally polarized stable semi-abelic pairs. In a joint work with L. Caporaso, we study the geometric fibers of the above compactified Torelli map.

Conference's Abstracts

Arnaud Beauville Enriques surfaces and Brauer groups
The Brauer group is an invariant of algebraic varieties, which plays an important role in arithmetic geometry. For an Enriques surface S (quotient of a K3 surface X by an involution), Br(S) has only one non trivial element. Does this element become trivial on X ? I'll show that the surfaces for which this happens form a countable union of hypersurfaces in the moduli space of Enriques surfaces.

Jean-Benoit Bost Integral curves in algebraic varieties over number fields
In this talk, I will discuss some recent joint work with Hugues Randriam, concerning the transcendence of points on some integral curves of algebraic vector fields on algebraic varieties defined over a number field. Our results extend a famous theorem of Nesterenko concerning the transcendence of values of classical modular forms, and are expected to admit consequences concerning Diophantine properties of moduli spaces of Calabi-Yau manifolds.

Izzet Coskun The birational geometry of Kontsevich moduli spaces
I will discuss the birational geometry of Kontsevich moduli spaces of genus-zero stable maps, focusing on cones of ample and effective divisors, stable base locus decompositions and the corresponding birational models.

Carel Faber On M_{3, 17} and M_{24}
I will discuss some recent results concerning the two moduli spaces in the slightly exotic title. The results may be said to be of geometric nature in one case and of arithmetic nature in the other case.

Gerard van der Geer Siegel modular forms of low genera
The Eichler-Shimura theorem expresses elliptic modular forms in terms of cohomology of local systems. This theorem generalizes to higher genera. The cohomology of local systems can be explored by counting points over finite fields. We show how this can be succesfully applied to obtain a lot of information about Siegel modular forms of genus 2 and 3. This is joint work with Jonas Bergstroem and Carel Faber.

Bert van Geemen Calabi-Yau threefolds parametrised by Shimura varieties
We recall the basic properties of the period map for Calabi-Yau threefolds. The associated Picard-Fuchs equations are introduced and some new results on these equations for certain quintic threefolds are given. Next we explicitly describe a one parameter family of CY threefolds, first constructed by Rohde, and we show how to determine its Picard-Fuchs equation. We also discuss some generalisations to higher dimensional families. An important feature is that these familes do not have maximal unipotent monodromy, which might have consequences for Mirror Symmetry.

Valery Gritsenko Reflective modular forms and Kodaira dimension of modular varieties.
In this talk I present two different applications of reflective modular forms. The first one is the series of results obtained together with K. Hulek and G. Sankaran about the general type of moduli spaces of polarised symplectic varieties. The second application gives us new examples of modular varieties of Kodaira dimension minus infinity or zero.

Sam Grushevsky Differentials with real periods and the geometry of the moduli space of curves M_g
We use meromorphic differentials on Riemann surfaces with prescribed singular parts and real periods to define a foliation of M_g. This foliation allows us to give a quick proof of the Diaz' bound on the dimension of complete subvarieties of M_g, and of some vanishing results for the cohomology of M_g. We will also discuss the motivation for this construction, from the Whitham perturbation theory of integral systems, and potential further applications to the study of cohomology and subvarieties of M_g. Joint work with Igor Krichever.

Klaus Hulek Characters of orthogonal groups and the fundamental group of modular varieties
We consider the commutator subgroup of integral orthogonal groups belonging to indefinite quadratic forms and show that the index of this subgroup is 2 for many groups that occur in the construction of moduli spaces in algebraic geometry, in particular the moduli of K3 surfaces. We give applications to modular forms and to computing the fundamental groups of some moduli spaces. This is joint work with V. Gritsenko and G. K. Sankaran.

Ulf Kühn Scattering constants and Neron-Tate heights
Neron-Tate heights of degree zero divisors on algebraic curves are closely related to scattering constants coming from particular hyperbolic uniformisations of that curves. We explain this relation and illustrate it in an example.

Ben Moonen Chern classes of automorphic bundles
In my talk I shall discuss tautological classes on compactified Shimura varieties. The picture we have is that for the Shimura variety associated to a pair (G,X) the tautological ring should be isomorphic to the cohomology ring of the compact dual of X, which is a completely explicit ring. We give a simple geometric explanation for this. In cohomology this works. However, on more refined levels (Deligne cohomology, Chow rings) we know this only in special cases and there is a fundamental obstacle that remains. I shall describe where the difficulty lies and will discuss what is known about it.

Shigeru Mukai Non-abelian Brill-Noether loci of curves and application to the unirationality of moduli of K3 surfaces
Two types of K3 surfaces appears in the moduli space of 2- bundles on curves as certain Brill-Noether loci. I would like to explain how they were found and discuss their application to the uniratonality problem.

Riccardo Salvati Manni Two-point functions for three-loop superstring scattering amplitudes
In this talk I will report about some joint results obtained with Sam Grushevsky. I will consider the two-point function for the three-loop chiral superstring measure ansatz proposed by Cacciatori, Dalla Piazza, van Geemen and Grushevsky vanishes. The proof uses specifically the theory of the Gamma_{00} linear system on Jacobians introduced by van Geemen and van der Geer. I also discuss the possible approaches to proving the vanishing of the two-point function for the proposed ansatz in higher genera.

Gregory K. Sankaran Moduli problems for holomorphic symplectic manifolds
I shall describe part of some joint work with Gritsenko and Hulek in which we show how the moduli spaces of polarised holomorphic symplectic manifolds are related to locally symmetric varieties. In particular I shall examine the failure of the global Torelli theorem in this case and suggest possible alternatives.

Joachim Schwermer Geometric cycles, arithmetic groups and related automorphic forms

David Smyth Moduli spaces of curves with A_{k}-singularities
I will describe work-in-progress relating to the construction of compactified moduli spaces of curves with A_{k}-singularities (y^2=x^{k+1}). These spaces are expected to arise in Hassett's log minimal model program for the moduli space for curves. This is joint work with Jarod Alper and Fred van der Wyck.

Emmanuel Ullmo Generalised Tate, Mumford-Tate and Shafarevich conjectures
The aim of this talk is to formulate some natural generalisations of the conjectures of Tate and Shafarevich proved by Faltings and to show that these generalisations are both equivalent to the Mumford-Tate conjecture.

Ravi Vakil The ring of invariants of n points on the projective line
The GIT quotient of a small number of points on the projective line has long been known to have beautiful geometry. For example, the case of six points is intimately connected to the outer automorphism of S_6. We extend this picture to an arbitrary number of points, completely describing the equations of the moduli space. (In some sense there is only one equation.) The case of eight points is particularly entertaining. This is joint work with Ben Howard, John Millson, and Andrew Snowden.

Alessandro Verra Some geometry of the moduli of roots of line bundles in low genus
The talk deals with the moduli spaces of spin curves, and with the moduli spaces R(g,n) of roots of the trivial line bundle, in the case of curves of low genus g. After a brief survey, the case n = 3 is considered and a geometric description of R(4,3) is given, together with a proof of its rationality. For spin curves some work in progress is presented, about the values of the Kodaira dimension and rational parametrizations of the moduli of odd spin curves of genus g < 10.

Claire Voisin Infinitesimal invariants for cycles modulo algebraic equivalence and 1-cycles on Jacobians
We define infinitesimal invariants for families of cycles modulo algebraic equivalence, in an arbitrarily high level of the Bloch-Beilinson filtration. We apply this invariant to the study of the Beauville decomposition of the cycle of a general curve in its Jacobian. The goal is to prove that the Colombo-Van Geemen upper-bound for the last non vanishing component is optimal. We achieved this for the second component, (the case next to Ceresa), showing that it is non zero starting from genus 5. The general computation is still ``work in progress''.

Rainer Weissauer The supersymmetric square of the theta divisor in dimension 4