# Schedule for: 17w5146 - New Trends in Arithmetic and Geometry of Algebraic Surfaces

Arriving in Banff, Alberta on Sunday, March 12 and departing Friday March 17, 2017

Sunday, March 12 | |
---|---|

16:00 - 17:30 | Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk - Professional Development Centre) |

17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

20:00 - 22:00 | Informal gathering (Corbett Hall Lounge (CH 2110)) |

Monday, March 13 | |
---|---|

07:00 - 09:15 |
Breakfast ↓ Breakfast is served daily between 7 and 9am in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

09:15 - 09:30 | Introduction and Welcome by BIRS Station Manager (TCPL 201) |

09:30 - 10:30 |
Ingrid Bauer: Geometry and Arithmetic of Primary Burniat Surfaces ↓ We study the geometry and arithmetic of so-called primary Burniat surfaces,
a family of surfaces of general type arising as smooth bidouble covers
of a del Pezzo surface of degree~6 and at the same time as \'etale
quotients of certain hypersurfaces in a product of three elliptic curves.
We give a new explicit description of their moduli space and determine
their possible automorphism groups. We also give an explicit description
of the set of curves of geometric genus~1 on each primary Burniat surface.
We then describe how one can try to obtain a description of the set
of rational points on a given primary Burniat surface~$S$ defined over~$\mathbb{Q}$.
This is a joint work with Michael Stoll. (TCPL 201) |

10:30 - 11:00 | Coffee Break (TCPL Foyer) |

11:00 - 12:00 |
Xavier Roulleau: Construction of two rigid surfaces with K^2=2c2=8, and p_g=2 ↓ In this talk we complete the classification of surfaces of general type with $K^2=2c_2=8$ and $p_g=q=2$ whose Albanese map is a degree $2$ cover and we prove that there are only two families of such surfaces.
The first one was constructed by Penegini, the universal cover of these surfaces is the bi-disk.
The second family, which we construct, consist of two surfaces $X_1, X_2$, which are rigid and complex-conjugated. Their universal cover is not the bidisk : they contain an open subset which is a quotient of the complex 2-ball by a lattice in $PU(2,1)$.
Joint work with C. Rito and F. Polizzi. (TCPL 201) |

12:00 - 13:30 | Lunch (Vistas Dining Room) |

13:00 - 14:00 |
Guided Tour of The Banff Centre ↓ Meet in the Corbett Hall Lounge for a guided tour of The Banff Centre campus. (Corbett Hall Lounge (CH 2110)) |

14:00 - 15:00 |
Anthony Varilly-Alvarado: A conjecture on Brauer groups of K3 surfaces ↓ Brauer groups of K3 surfaces behave in many ways like torsion points of elliptic curves. In 1996, Merel showed that torsion groups of elliptic curves are uniformly bounded across elliptic curves defined over number fields of fixed degree. I will discuss a conjecture pointing towards an analogous statement for K3 surfaces, and survey recent mounting evidence for it. (TCPL 201) |

15:00 - 15:30 | Coffee Break (TCPL Foyer) |

15:30 - 16:30 |
Lenny Taelman: Equivariant Witt groups and zeta functions ↓ Let K be the fraction field of a dvr R. Given a symmetric bilinear space V over K, and a group G acting by isometries on V we give necessary and sufficient criteria for V to contain a unimodular lattice stabilized by G.
We sketch two applications to zeta functions of varieties over finite fields.
In one direction, the theorem gives restrictions on the possible characteristic polynomials of Frobenius on the middle cohomology of a smooth projective variety of even dimension over a finite field. This application generalizes (and gives a more conceptual proof of) a theorem of Elsenhans and Jahnel.
In the other direction, the theorem plays a crucial role in establishing the existence of K3 surfaces over finite fields with given zeta-function. (TCPL 201) |

16:45 - 17:15 |
Kazuhiro Ito: On the construction of K3 surfaces over finite fields with given L-function ↓ We give an unconditional construction of K3 surfaces over finite
fields with given L-function, up to finite extensions of the base fields,
under some mild restrictions on the characteristic. Previously, such results
were obtained by Taelman assuming the validity of good reduction criterion
for K3 surfaces. The main contribution of this talk is to make Taelman's
proof unconditional. (TCPL 201) |

17:30 - 18:00 |
Yuya Matsumoto: Degeneration of K3 surfaces and automorphisms ↓ We prove that a K3 surface with an automorphism acting on the global
2-forms by a primitive $m$-th root of unity does not degenerate if $m
\neq 1,2,3,4,6$ (assuming the existence of the so-called Kulikov
models).
To prove this we study the rationality of the actions of automorphisms
on the graded quotients of the weight filtration of the $l$-adic
cohomology groups. (TCPL 201) |

18:00 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

Tuesday, March 14 | |
---|---|

07:00 - 09:30 | Breakfast (Vistas Dining Room) |

09:30 - 10:30 |
Klaus Hulek: Degenerations of Hilbert schemes of 0-cycles on surfaces ↓ In this talk I will report on a GIT construction for degenerations of Hilbert schemes of points on surfaces. The motivation comes from studying degenerations of irreducible holomorphic symplectic manifolds (IHMS), where a prime examples is given by degree $n$ Hilbert schemes of $K3$ surfaces. Previously, Nagai gave a very concrete construction for degree $2$ Hilbert schemes by using ad hoc modifications of the relative Hilbert scheme. In contrast to that, Li and Wu have developed a very general theory of degenerations of Hilbert schemes (not only of $0$-cycles) using expanded degenerations. Being very general, this approach makes it hard to describe the degenerations and their geometry explicitly. Here we develop a third approach: we use GIT methods to construct degenerations of Hilbert schemes of points on surfaces (in arbitrary degree). This allows us to describe the geometry of the singular fibres very explicitly. We can further prove that this is leads to dlt-degenration and by work of Halle and Nicaise this shows that the dual complex of the degenerate fibre coincides with the Kontsevich-Soibelman skeleton. This is joint work with M. Gulbrandsen, L. Halle and (partly) Z. Zhang. (TCPL 201) |

10:30 - 11:00 | Coffee Break (TCPL Foyer) |

11:00 - 12:00 |
Alessandra Sarti: On the moduli space of cubic threefolds and of some hyperkähler manifolds ↓ In a famous paper Allcock, Carlson and Toledo describe
the moduli space of smooth cubic threefolds as a 10-dimensional
ball quotient. We show how the 10-dimensional ball quotient
is also the moduli space of hyperkähler fourfolds
deformation equivalent to the Hilbert scheme of two
points on a K3 surface with non-symplectic automorphism
of order three (not coming from the K3 surface).
With the help of the ball quotient we completely describe
the hyperkähler manifolds and we identify them
with the Fano variety of lines of cubic fourfolds that are triple
covers of a smooth cubic threefold.
As a consequence we give a relation between the hyperkähler manifolds
and the moduli space of genus five principally polarized
abelian varieties. (TCPL 201) |

12:00 - 13:30 | Lunch (Vistas Dining Room) |

14:00 - 15:00 |
Ronen Mukamel: Totally geodesic surfaces in moduli space ↓ We will describe the several unexpected examples of totally geodesic surfaces in the moduli space of curves endowed with its Teichmuller metric. Our examples arise from the study of dihedral curves and plane cubics, and they reveal surprising connections between Teichmuller theory and algebraic geometry. This work is joint with Eskin, McMullen and Wright. (TCPL 201) |

15:00 - 15:30 | Coffee Break (TCPL Foyer) |

15:00 - 15:10 |
Group Photo ↓ Meet in foyer of TCPL to participate in the BIRS group photo. The photograph will be taken outdoors, so dress appropriately for the weather. Please don't be late, or you might not be in the official group photo! (TCPL Foyer) |

15:30 - 16:30 |
Curtis McMullen: Algebraic integers and surfaces dynamics ↓ The leading eigenvalue of an automorphism of a complex surface, acting on cohomology, associates an algebraic
integer to each such dynamical system. In this talk we will discuss the reverse process: the synthesis of a dynamical system,
starting with an algebraic integer. In particular we will explicitly describe dynamical systems of minimal entropy
on K3 surfaces, rational surfaces and complex tori. (TCPL 201) |

16:45 - 17:15 |
Simon Brandhorst: On the dynamical spectrum of projective K3 surfaces ↓ The entropy of an automorphism of a surface is the logarithm of a Salem
number, that is,
an algebraic integer $\lambda>1$ which is conjugate to $1/\lambda$ and
all whose other conjugates lie on the unit circle. In this talk I report
on work in progress on the question when some multiple $n \log \lambda$,
$n \in \mathbb{N}$, arises from an automorphism of a projective K3
surface. (TCPL 201) |

17:30 - 18:00 |
Genki Ouchi: Automorphisms of positive entropy on some hyperKahler manifolds via derived automorphisms of K3 surfaces ↓ In this talk, I would like to give examples of projective hyperKahler manifolds of Picard number two with automorphisms of positive topological entropy. These are constructed as moduli spaces of stable sheaves on K3 surfaces. Moreover, I would like to discuss relations between automorphisms on moduli spaces and derived automorphisms of K3 surfaces and compare their topological/categorical entropy. (TCPL 201) |

18:00 - 19:30 | Dinner (Vistas Dining Room) |

Wednesday, March 15 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 10:00 |
Noam D. Elkies: Upper bounds on the number of lines on a surface ↓ We prove that for q>1 a smooth surface of degree q+1
over any field has at most (q+1)(q^3+1) lines, and thus that
when q is a prime power the "Hermitian" (a.k.a. diagonal) surface
of that degree over a field of q^2 elements has the maximal number
of lines for its degree. This was previously known only for q=3
(Rams-Schuett 2015) and of course q=2. This is one of several cases
where we obtain a sharp bound; other examples are the 126 tritangents
of the Fermat sextic in characteristic 5 (and likewise for other
"Hermitian" curves in odd characteristic), and the 891 planes on
the diagonal cubic fourfold in characteristic 2. (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 |
Lassina Dembélé: On the existence of abelian surfaces with everywhere good reduction ↓ A famous result of Fontaine (and Abrashkin) states that there is no abelian variety over the rationals with everywhere good reduction. Fontaine's proof of this result relies on the non-existence of certain finite flat group schemes. His technique has been refined by several people (including Schoof, Brumer and Calegari) to prove non-existence of semi-stable abelian varieties over various fields. On the other hand, a result of More-Bailly states that in every genus $g$, there is a curve of genus $g$ with everywhere good reduction over $\bar{\Z}$. So, as the base field varies, we must hope to find more abelian varieties with trivial conductor.
In this talk, I will present a method for finding abelian surfaces with everywhere good reduction. (TCPL 201) |

11:30 - 12:00 |
John Voight: Rigorous computation of the endomorphism algebra of a Jacobian ↓ We describe methods to efficiently and rigorously compute
the endomorphism algebra of the Jacobian of a curve. We discuss
improvements to complex analytic methods and a method that entirely
avoids numerical computation using Puiseux series. This is joint work
with Edgar Costa, Nicolas Mascot, and Jeroen Sijsling. (TCPL 201) |

12:00 - 13:30 | Lunch (Vistas Dining Room) |

13:30 - 17:30 | Free Afternoon (Banff National Park) |

17:30 - 19:30 | Dinner (Vistas Dining Room) |

Thursday, March 16 | |
---|---|

07:00 - 09:30 | Breakfast (Vistas Dining Room) |

09:30 - 10:30 |
Francois Charles: Arithmetic ampleness and an arithmetic Bertini theorem ↓ We will discuss some properties of ample line bundles in arithmetic geometry, and give analogues of well-known geometric results. We will apply these results to an arithmetic analogue of the Bertini irreducibility theorem. (TCPL 201) |

10:30 - 11:00 | Coffee Break (TCPL Foyer) |

11:00 - 12:00 |
Asher Auel: Decomposition of the diagonal and phantom categories on surfaces ↓ I will report on joint work with Marcello Bernardara, where we show how the existence of phantom subcategories of the derived category of an algebraic surface can be viewed as a stronger measure of rationality than the existence of a decomposition of the diagonal. (TCPL 201) |

12:00 - 13:30 | Lunch (Vistas Dining Room) |

14:00 - 15:00 |
Ursula Whitcher: Zeta functions of alternate mirror Calabi-Yau pencils ↓ We prove that if two Calabi-Yau invertible pencils in projective space have the same dual weights, then they share a common polynomial factor in their zeta functions related to a hypergeometric Picard-Fuchs differential equation. The polynomial factor is defined over the rational numbers and has degree equal to the order of the Picard-Fuchs equation. This talk describes joint work with Charles Doran, Tyler Kelly, Adriana Salerno, Steven Sperber, and John Voight. (TCPL 201) |

15:00 - 15:30 | Coffee Break (TCPL Foyer) |

15:30 - 16:30 |
Edgar Costa: Toric point counting and applications ↓ We will explore new techniques for computing zeta functions of toric K3 surfaces, and some of its applications, e.g., progress towards explicit modularity, the variation of Néron--Severi ranks.
Joint work with David Harvey and Kiran Kedlaya. (TCPL 201) |

16:45 - 17:15 |
Andreas-Stephan Elsenhans: Point counting on K3 surfaces and applications ↓ Point counting is a computation approach to cohomology of varieties. In this talk I will present my
experiences with this method and a few interesting examples found.
Most notable are K3 surfaces with real or complex multiplication. (TCPL 201) |

17:30 - 18:00 |
Joerg Jahnel: On the distribution of the Picard ranks of the reductions of a K3 surface ↓ I will report on our results, joint with Edgar Costa and Andreas-Stephan Elsenhans, on the distribution of the geometric Picard ranks of K3 surfaces under reduction modulo various primes. In the situation that rank Pic $S_{\bar{k}}$ is even, we introduce a quadratic character, called the jump character, such that
rank Pic $S_{\bar{\mathbb{F}_{\mathfrak{p}}}\to$ ~ rank Pic $S_{\bar{k}}$
for all good primes, at which the character evaluates to (-1).
As an application, we obtain a sufficient criterion for the existence of infinitely many rational curves on a K3 surface
of even geometric Picard rank. Our investigations also provide, as a by-product, a canonical choice of sign for the discriminant of an even-dimensional complete intersection. (TCPL 201) |

18:00 - 19:30 | Dinner (Vistas Dining Room) |

Friday, March 17 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 10:00 |
Toshiyuki Katsura: Classification of Enriques surfaces with finite automorphism groups in characteristic 2. ↓ In characteristic 0, S. Kondo classified Enriques surfaces with finite automorphism groups
into seven types. In this talk, we consider Enriques surfaces with finite automorphism groups
in characteristic 2, and give the complete classification of them. We have 4 types for singular
Enriques surfaces, 5 types for supersingular Enriques surfaces and 8 types
for classical Enriques surfaces. We also determine the structure of automorphism groups.
This is a joint work with S. Kondo and G. Martin. (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 |
Fabrizio Catanese: Group representations and canonical surfaces of very high degree ↓ Given a surface $S$ of general type, we denote by d the degree of the canonical image. d is bounded by the canonical volume $K^2$,
and by the BMY inequality we have $d \leq 9 \chi$.
In practice, what is the maximum $d$ for $p_g=4,5,6$? Up to now, the best lower bound is quite low (in joint work with Ingrid Bauer we achieved
ball quotients with $p_g=4, K^2 = 45$, but the record $d$ for $p_g=4$ is still 28).
For $p_g=6$, where one expects to have surfaces whose canonical map is an embedding,
there are interesting ties with methods and questions of homological algebra (Walter's bundle Pfaffians),
which led to the question whether 18 would be the upper bound (I answered by getting degree 24).
I recently constructed several connected components of the moduli space, of surfaces $S$ of general type with $p_g = 5,6$ whose canonical map has image $\Sigma$ of very high degree,
$d=48$ for $p_g =5, d=56$ for $p_g =6$.
The surfaces we consider are SIP 's , surfaces isogenous to a product of curves $(C_1 \times C_2)/G$.
Representation theory then enters the picture in several ways, the easiest one being: when does a submodule of the group algebra $\mathbb{CC}[G]$
yield a projective embedding of $G$? (TCPL 201) |

11:30 - 12:00 |
Checkout by Noon ↓ 5-day workshop participants are welcome to use BIRS facilities (BIRS Coffee Lounge, TCPL and Reading Room) until 3 pm on Friday, although participants are still required to checkout of the guest rooms by 12 noon. (Front Desk - Professional Development Centre) |

12:00 - 13:30 | Lunch from 11:30 to 13:30 (Vistas Dining Room) |