Intercity Number Theory Seminar


Intercity Number Theory Seminar

22 January, Groningen. Bernoulliborg, room 105
Teresa Crespo Barcelona, Hopf Galois separable extensions
Hopf Galois theory generalizes classical Galois theory by replacing the action of the automorphism group by the action of a Hopf algebra. In the case of finite separable field extensions, Greither and Pareigis (1987) proved that the Hopf Galois property may be stated in terms of groups. In my talk I will survey Hopf Galois theory for finite separable field extensions and present some recent results on Hopf Galois structures obtained in collaboration with Anna Rio and Montserrat Vela.
Ane Anema Groningen, Faltings method, Galois extensions of exponent four and abelian surfaces over Q
In 1983 Faltings introduced a method to decide if the Galois representation on the l-adic Tate module of two abelian varieties over a number field are isomorphic. In this talk we will recall an effective version of this method by Grenié (2007) and discuss Galois extensions of exponent four in order to apply the method to abelian surfaces over Q.
Max Kronberg Groningen, Construction of Torsion Points on Jacobians of Curves using Hensel's Lemma
Given positive integers N and g, one can ask whether there exists a smooth curve of genus g defined over the rational numbers such that the jacobian has a rational N-torsion point. For g=1 this question was answered by Mazur in 1977. In the case g>1 not much is known. In this talk, we present a method based on Hensel's Lemma for the construction of curves with a rational p-torsion point on their jacobians.
Zbigniew Hajto Kraków, Polynomial automorphisms and Picard-Vessiot theory
In 1973 L.A. Campbell published his landmark paper "A condition for a polynomial map to be invertible" characterizing polynomial automorphisms of affine spaces in terms of Galois extensions of function fields. I will present a differential version of the theorem of Campbell and some recent computational results on polynomial automorphisms obtained in collaboration with Elżbieta Adamus and Pawel Bogdan.

Intercity Number Theory Seminar

5 February, Leiden. Snellius building, room 312
Martin Bright Leiden, Failures of weak approximation in families
Given a family of varieties over a number field, we investigate the variation of the Brauer-Manin obstruction within the family. We give sufficient conditions on a family of varieties over Pn for 100% of the family to have a Brauer-Manin obstruction to weak approximation. (Joint work with Tim Browning and Dan Loughran)

Daniel Loughran Hannover, Fibrations with few rational points
In this talk, we study the problem of counting the number of varieties in fibrations over projective spaces which contain a rational point. We obtain geometric conditions that force very few of the varieties in the family to contain a rational point, in a precise quantitative sense. This generalises the special case of conic bundles, treated by Serre. This is joint work with Arne Smeets.
Elisa Leiden, Twists of the Klein quartic: classification and modular interpretation
The Klein quartic is, up to isomorphism, the genus 3 curve with biggest automorphism group. We will compute all its twists over number fields, which provides a complete classification of twists of non-hyperelliptic genus 3 curves defined over number fields, already started by the speaker in her thesis. The Klein quartic is isomorphic to the modular curve X(7), which endows the twists with a modular interpretation. We use this interpretation to provide counterexamples to the Hasse principle.
Rodolphe Richard Leiden, Witt vectors and p-adic differential equations

Intercity Geometry

19 February, UvA Amsterdam. See the website.

Intercity Number Theory Seminar

4 March, UvA Amsterdam. The first three talks are in room F3.20 of the KdVI (entrance Nikhef), Science Park 107.
Lenny Taelman's inaugural lecture will take place in the Oude Lutherse kerk (Singel 411, corner with Spui)
Ronald van Luijk Leiden, Concurrent lines on del Pezzo surfaces of degree one
Let k be a field and k an algebraic closure. A del Pezzo surface over k is a surface over k that is isomorphic over k to either P1 × P1 (degree 8), or P2 blown up at r <9 points in general position (degree 9-r). Famous examples are smooth cubic surfaces in P3 (with r=6 and degree 3), which over k contain 27 lines; at most three of these can be concurrent, that is, go through the same point. Analogously, we get 240 lines for r=8 and degree 1. Based on the graph on these lines, with edges between those that intersect, we get an upper bound of 16 for the number of concurrent lines. We show that this upper bound is only attained in characteristic 2, which makes the case r=8 different from all other cases. In most characteristics, including characteristic 0, the upper bound is 10. This is joint work with Rosa Winter.

Christophe Debry KU Leuven and UvA, Special values in positive characteristic
The setting of this talk is the one of global function fields and their special values. We introduce, associated to a Drinfeld module, a convergent Euler product analogous to the special values of interest in the class number formula and the BSD conjecture. We then state a conjectural formula relating this special value to the so-called class module and regulator of the Drinfeld module. After mentioning the many cases in which the formula is known to be true, we put this into a broader context of special values of zeta functions and Hecke characters.
Ben Moonen Nijmegen, Can every K3 be dominated by a product of curves?
The question in the title is a well-known open problem (that I won't solve in the talk). I will consider it in the more general setting of surfaces with pg = 1. I will explain: (a) An 'easy' method that leads to interesting examples, (b) the consequences of having a positive answer, (c) why for general K3's we cannot hope to have a construction as simple as the one given in (a).
Lenny Taelman UvA, Onmogelijke verbanden

Intercity Geometry

11 March, Utrecht. See the website.

Intercity Number Theory / Beeger Seminar

24 March, Leiden. This is a Thursday! Snellius building, room 312.
Rob Tijdeman Leiden, Finding well approximating lattices for a finite set of points.
The following question was asked by Andras Hajdu in view of applications in computer science: Given a finite set A of points in in Rn which do not fit in a hyperplane, how to find o, d1, ..., dnRn such that the distance of a-o to the lattice d1Z+ ... + dnZ is relatively small for every a A? Using the LLL-algorithm his brother Lajos and I developed a method which works pretty well. We also derived some theoretical results, in particular in the one-dimensional case.

Florian Luca Johannesburg, Diversity in parametric families of number fields
Let f(x,t)∈ Q[x,t] be a polynomial with deg fx=D ≥ 2. For each positive integer n let xn be a root of f(x,n). Dvornicich and Zannier proved that
log [Q[x1,...,xN]:Q] ≫ N
log N
In particular, putting
Ff (N) = {Q[xn] : 1 ≤ n ≤ N}
it follows that
#Ff (N) N
log N
In this talk, we shall first explain the Dvornicich--Zannier argument, then we show how the last conclusion above can be improved to
#Ff (N) N
(log N)1-c
where c:=c(D)>0 is a positive constant depending on D, but not on f. The main ingredient of the proof of the improvement consists on counting special divisors of values of polynomials with integer coefficients. (Coauthor: Yuri Bilu.)
Jan-Hendrik Evertse Leiden, Results and open problems related to Schmidt's Subspace Theorem
Schmidt's Subspace Theorem is a central theorem from Diophantine approximation with many applications. Among others, it implies Roth's Theorem on the approximation of algebraic numbers by rationals. We discuss the state of the art of Schmidt's Subspace Theorem, discuss some refinements, and pose some open problems.
James Maynard Oxford, Polynomials representing primes
It is a famous conjecture that any one variable polynomial satisfying some simple conditions should take infinitely many prime values. Unfortunately, this isn't known in any case except for linear polynomials - the sparsity of values of higher degree polynomials causes substantial difficulties. If we look at polynomials in multiple variables, then there are a few polynomials known to represent infinitely many primes whilst still taking on `few' values; Friedlander-Iwaniec showed X2+Y4 is prime infinitely often, and Heath-Brown showed the same for X3+2Y3. We will describe recent work which gives a family of multivariate sparse polynomials all of which take infinitely many prime values.

Intercity Geometry

1 April, Leiden. See the website.

The Big Picture, workshop on the occasion of Jan Stienstra's retirement

8 April, Utrecht. Unfortunately, the workshop will be moved to a later date, to be specified.
See the website.

10th Belgian-Dutch Algebraic Geometry Day

22 April, Leuven. Kasteel van Arenberg, KU Leuven wetenschapscampus, Heverlee (there will be signs and there is parking next to the castle)
Sho Tanimoto Copenhagen, Towards a refinement of Manin's conjecture
Manin's conjecture predicts the generic distribution of rational points on Fano varieties, and it has the explicit asymptotic formula in terms of geometric invariants of the underlying variety. However the original version which predicts asymptotic formulae after removing proper closed sets is wrong due to covering families of subvarieties violating compatibility of Manin's conjecture, and a possible refinement, suggested by Peyre, removes thin sets instead of closed sets. One natural question is how to choose the exceptional thin set. In this talk, I would like to address this issue using birational geometry, e.g., the minimal model program and the boundedness of log Fano varieties. This is joint work with Brian Lehmann and Yuri Tschinkel.
John Christian Ottem Oslo, Effective cones of cycles on blow-ups of projective space.
While the cones of curves and effective divisors are important tools in algebraic geometry, the cones of subvarieties of intermediate codimension remain much more mysterious, mostly due to the lack of examples. In this talk, I will outline the two explicit computations of such cones; on blow-ups of projective space and on certain hyperkahler fourfolds. In the first case, we determine bounds on the number of points for which these cones are generated by the classes of linear cycles, and for which these cones are finitely generated. Surprisingly, we discover that in some cases, the higher codimension cones behave better than the cones of divisors. In the case of hyperkahler fourfolds, we show the cone of nef 2-cycles can be strictly larger than the cone of pseudoeffective 2-cycles, showing that the usual intuition from divisors do not generalize to higher codimension.
Bruno Chiarellotto Padova, Monodromy action and special fiber for semistable schemes over a DVR
We plan to discuss some results on the action of the monodromy on the (unipotent) de Rham fundamental group of the generic fiber of some type of semistable schemes over a DVR in mixed characteristic. The action will be interpreted in terms of structure of the graph of the special fiber. This is joint work with Ch. Lazda.

Intercity Number Theory Seminar

19 May, Eindhoven. PhD defense Emil Horobet. Thursday! The talks will be in MF 15; the defense in Aud 4.
Bernd Sturmfels UC Berkeley, Nearest Points on Toric Varieties
We determine the Euclidean distance degree of a projective toric variety. This extends the formula of Matsui and Takeuchi for the degree of the A-discriminant in terms of Euler obstructions. Our primary goal is the development of reliable algorithmic tools for computing the points on a real toric variety that are closest to a given data point. This is joint work with Martin Helmer.
Bernard Mourrain Inria, Sparse decomposition from moments.
In 1795, G. de Prony proposed a method to decompose a function as a sum of exponentials from values at regularly spaced points. We show how this problem is naturaly connected to polynomials and Hankel matrices. We describe a multivariate extension of the method based of a generalization of Kronecker theorem for Hankels operators of finite rank, its relation with sparse decomposition and give some applications to tensor decomposition.
Monique Laurent CWI and Tilburg University, Completely positive semidefinite matrices: some properties and applications
We consider the completely positive semidefinite cone CS+, which consists of all symmetric matrices admitting a Gram representation by positive semidefinite matrices (of any size). This cone permits to model some optimization problems in quantum information as conic optimization over affine sections of CS+ and its dual cone relates to tracial nonnegative quadratic polynomials. We will discuss hierarchies of inner and outer approximations for CS+, and show classes of matrices in CS+ having exponentially large CS+-rank (aka the smallest dimension of the psd matrices in a Gram representation).
Emil Horobet TU Eindhoven, PhD defense

DIAMANT Symposium

27 May, Veenendaal. This is part of a two-day event, May 26 and 27

Intercity Number Theory Seminar

10 June, Leuven. Departement wiskunde, lokaal 01.07, Celestijnenlaan 200B, 3001 Heverlee, België
Jennifer Balakrishnan Oxford, Coleman integration for hyperelliptic curves
In the 1980s, Coleman formulated a p-adic theory of line integration and used it to re-interpret the method of Chabauty to find rational points on higher genus curves. I will give an overview of Coleman integration and explain how Kedlaya's algorithm for computing zeta functions of hyperelliptic curves (using p-adic cohomology) provides the essential input for an algorithm for computing Coleman integrals. I will also give some examples of single and double Coleman integrals on hyperelliptic curves which play a role in the study of rational points.
Jan Tuitman Leuven, Coleman integration for general curves
Over the past years I have developed an extension of Kedlaya's algorithm for computing zeta functions of hyperelliptic curves over finite fields to general curves. More recently, in joint work with Jennifer Balakrishnan, we have modified this algorithm to compute (both single and iterated) Coleman integrals on general curves over the rationals as well. I will give an overview of this work and show some examples computed with our Magma implementation.
Giulia Battiston Heidelberg, A theory of Galois descent for finite inseparable extensions
The well known Galois descent allows to descend algebraic objects along a field extension L/K when the latter is Galois, in particular separable. Using the theory of the automorphism group scheme and of descent along torsors, I will present a generalization of the classical Galois descent to the case where L/K is a possibly inseparable field extension, and give some examples of applications.
Margaret Bilu ENS Paris, Motivic Euler products
The Grothendieck group of varieties over a field k is the quotient of the free abelian group of isomorphism classes of varieties over k by the so-called cut-and-paste relations. It moreover has a ring structure coming from the product of varieties over k. Many problems in number theory have a natural, more geometric counterpart involving elements of this ring. I will focus on Manin's conjecture and on its motivic analogue: the latter predicts the behaviour of moduli spaces of curves of given degree on some algebraic varieties, and may be formulated in terms of the generating series of their classes in the Grothendieck ring, the motivic height zeta function. This will lead me to explain how some power series with coefficients in the Grothendieck ring can be endowed with an Euler product decomposition and to give an overview of the techniques used to solve Manin's problem for equivariant compactifications of vector groups.

“Hecke meets Galois” - a minisymposium

13 June, Utrecht. PhD defense Valentijn Karemaker, academiegebouw
Maarten Solleveld Radboud U., Instances of the local Langlands correspondence, based on class field theory
Elena Mantovan Caltech, Differential operators and families of automorphic forms on unitary groups of arbitrary signature
Jeroen Sijsling U. Ulm, Reconstructing plane quartics from their invariants
Valentijn Karemaker U. Utrecht, PhD defense: Hecke algebras, Galois representations, and abelian varieties

Intercity Number Theory Seminar

26 August, Leiden. Havinga zaal, Gorlaeus building. (Enter through the main entrance of the Gorlaeus building. Walk up the stairs, cross the long corridor and pass through the doors at the end of the corridor. Directly after passing those doors, turn to the right and you will find the Havingazaal 50 meters down the hall on the right hand side.)

This is the last day of the workshop Mathematical Structures for Cryptography.

Nadia Heninger University of Pennsylvania, Cryptographic applications of capacity theory
Florian Hess Carl von Ossietzky Universität Oldenburg, Asymptotically fast arithmetic in Jacobians of curves of large genus
Andreas Enge INRIA Bordeaux-Sud-Ouest, Short addition sequences for theta functions
Chaoping Xing Nanyang Technological University, Singapore, Codex and applications to local decoding of Reed-Muller codes

PhD defense Maarten Derickx

21 September, Leiden. room C102 Sterrewacht, Sterrenwachtlaan 11, 2311 GP, Leiden
Maarten Derickx Leiden, PhD defence (Academiegebouw, Rapenburg 73)
Pierre Parent Université de Bordeaux, Rational points of modular curves: an arakelovian point of view
General methods from diophantine geometry have been very successful in proving finiteness results for points of algebraic curves with values in number fields. Those results however are in general not effective, for deep reasons, and this prevents from proving triviality (and not only finiteness) of relevant sets of rational points. In this talk I will explain how the situation can be much better in the case of modular curves, by using specific arakelovian methods.
Marusia Rebolledo Université Blaise Pascal Clermont-Ferrand 2, Survey of Yuan-Zhang proof of averaged Colmez conjecture.
In 1993, Colmez proposed a conjectural formula for the Faltings height of a CM abelian variety in terms of logarithmic derivatives of Artin L functions. In 2015, Yuan and Zhang and independently Andreatta, Goren, Howard and Madapusi-Pera proved an average version of this formula. In this talk I will give a survey of this result and Yuan-Zhang proof.
Maarten Derickx Universiteit Leiden, Torsion points on elliptic curves over number fields of degree > 6
If E is an elliptic curve over Q then the torsion subgroup of E(Q) is either isomorphic to Z/NZ for N < 13 and N not equal to 11, or isomorphic to Z/2Z x Z/2NZ for N < 5 as famously proven by Mazur. Actually Merel generalized this to number fields of bounded degree: For every integer d, the set Φ(d) of isomorphism classes of groups that one encounters as torsion subgroup of an elliptic curve over a number field of degree d is finite. A first step in determining Φ(d) is determining S(d), the set of primes that can divide the order of a group in Φ(d). Before I wrote my thesis the sets S(1), S(2), S(3) and S(4) were already known, and jointly with Stoll, Stein and Kamienny I determined S(5) and S(6). In this talk I will sketch a strategy I think that, when successfully implemented on a computer, should allow the determination of S(7) and maybe even more S(d) with d>6. I will also explain what one needs to prove if one hopes to use this strategy theoretically, in order to bound the largest element in S(d) by some polynomial in d.

Intercity Number Theory Seminar

7 October, Leiden. Snellius Building, room B03
Gabriel Zalamansky Universiteit Leiden, The complexity of a flat Groupoid
We introduce the notion of complexity of a flat groupoid scheme, as a measure of its defect to be an equivalence relation. We will then prove a descent theorem for quotients of groupoids of complexity less or equal than 1, allowing descent along certain ramified coverings and generalizing descent along torsors in this setting.
Jinbi Jin Universiteit Leiden - MPIM Bonn, Computability of the étale Euler-Poincaré characteristic with finite coefficients
The classical point-counting algorithms by Schoof and Pila for curves compute the number #X(Fq) of Fq-points on a fixed smooth projective curve X in time polynomial in log q. A motivating question for this talk is whether such efficient algorithms exist for more general varieties X. Via the Lefschetz trace formula, it suffices to be able to efficiently compute the so-called étale cohomology groups for suitable coefficients; the methods of Schoof and Pila can also be reinterpreted to be using this observation.

Computability of the étale cohomology groups is known already, first in 2015 by Poonen, Testa, and van Luijk in characteristic 0, and later that year by Madore and Orgogozo in general. However, their algorithms aren't known to be primitive recursive (loosely speaking, primitive recursive algorithms are those that only use finite loops of precomputed length), as at some point in their computation, they enumerate along an infinite set. In this talk, I will describe the results obtained in my upcoming thesis (under the supervision of Bas Edixhoven and Lenny Taelman), which are partial results towards a primitive recursive algorithm computing étale cohomology, using a different approach.

Erik Visse Univeriteit Leiden, Explicit bounds for the transcendental Brauer group of Kummer surfaces over a number field
Kummer surfaces are K3 surfaces that arise from abelian surfaces. For any K3 surface over a finitely generated field, Skorobogatov and Zarhin have proved that the Brauer group is finite. Their proof is not explicit, but it uses abelian varieties in a way that the proof can be made explicit for Kummer surfaces by studying bounds for the degrees of certain isogenies. For Kummer surfaces over a number field, we find an explicit bound on the number of elements of the transcendental Brauer group, solely in terms of the degree of the number field and the Faltings height of the associated abelian surface, which we assume to be principally polarized. Furthermore, we give an algorithm that (in theory) calculates the algebraic Brauer group that for Kummer surfaces with minimal Picard rank is also practical. This is joint work with Victoria Cantoral-Farfán, Yunqing Tang and Sho Tanimoto.
Richard Griffon Universiteit Leiden, Analogue of the Brauer-Siegel for the Legendre elliptic curves over function fields
The classical Brauer-Siegel theorem gives upper and lower bounds on the product of the regulator and the class-number of a number field in terms of its discriminant. These bounds can be seen as a measure of the "arithmetic complexity" of number fields.

Now, consider an elliptic curve E defined over a global field K : assuming that its Tate-Shafarevich group is finite, one can form the product of the order of this group by the Néron-Tate regulator of E. Heuristically, this product measures the complexity of computing the Mordell-Weil group of E over K. This prompts the question of bounding this quantity in terms of simpler invariants of E, e.g. its height. In other words, one would like to prove an analogue of the Brauer-Siegel theorem for elliptic curves.

In some explicit examples, it's possible to prove that a perfect analogue actually holds. In this talk, I'll start by describing in more details this problem and its motivations (mostly concentrating on the case where K is a function field of characteristic p) and I will describe my results about the family of Legendre elliptic curves.

Intercity Number Theory Seminar

11 November, UvA and VU Amsterdam. At the VU: before lunch in room WN-F619 and after lunch in room WN-M639 (both in the W&N building).
Martin Orr Imperial College London, Finiteness theorem for K3 surfaces with complex multiplication
I will discuss the following theorem, which is joint work with Alexei Skorobogatov: For any integer n, there are finitely many Qbar-isomorphism classes of K3 surfaces with complex multiplication which can be defined over number fields of degree n. This is derived from Tsimerman's Galois bound for CM abelian varieties by Shimura variety constructions.
James Lewis University of Alberta, A Going-up Theorem in K-Theory and a Question of Bruno Kahn
Over an afternoon at the Confederation Lounge in Edmonton, Bruno Kahn suggested that there should be a connection between the Griffiths group of a smooth projective threefold and the group of K1 indecomposables of a smooth surface related to such a threefold. Although unclear at that time, we now present, via well-known conjectures, some concrete evidence in support of this.
Chun Yin Hui VU Amsterdam, Invariant dimensions, semisimplicity, and maximality of geometric monodromy action
Let X be a smooth separated geometrically connected variety over Fq, f:YX a smooth projective morphism, and w an integer. We compare the invariant dimensions of sufficiently many l-adic and mod l representations of the geometric étale fundamental group π1:=π1ét(XFq) arising from the higher direct image sheaves Rw f*Ql and Rw f* Fl respectively. These dimension data are used to prove mod l semisimplicity and l-adic maximality of π1-action when l is sufficiently large. This is a joint work with Anna Cadoret and Akio Tamagawa.

Wadim Zudilin University of Newcastle and RU Nijmegen, Short random walks and Mahler measures
An n-step uniform random walk is a walk that starts at the origin and consists of n steps of length 1 each taken into a uniformly random direction. It is particularly interesting for n=2,3,4,5 because of its beautiful links to modular and hypergeometric functions. The Mahler measure of an n-variable polynomial is its geometric mean over the n-dimensional torus. There are many cases when n-variate Mahler measures are known or conjectured to be linked to hypergeometric functions and noncritical L-values, for small n as well. In the talk I will outline the links above and indicate some new interconnections between the short random walks and Mahler measures. These novel results are from joint work in progress with Armin Straub.

DIAMANT Symposium

25 November, TBA. This is the second day of a two-day event (24/25 November)

11th Belgian-Dutch Algebraic Geometry day

9 December, UvA Amsterdam. Oudemanhuispoort, room D1.09, see this link.