There are some interactions between model theory and Artin-Schreier extensions of fields. In this talk, I will discuss wildly ramified covers of curves in positive characteristic p.
The presence of an automorphism of order p leads to significant constraints on arithmetic invariants of the Jacobian. I will also discuss results about deformations of wildly ramified covers of curves in positive characteristic.

Hilbert's Tenth Problem and Mazur's conjectures in large subrings of number fields
Kirsten Eisentraeger (Pennsylvania State University)

Location

MSRI: Simons Auditorium

Video

Abstract

Hilbert's Tenth Problem in its original form was to find an algorithm to decide, given a multivariate polynomial equation with integer coefficients, whether it has a solution over the integers. In 1970 Matiyasevich, building on work by Davis, Putnam and Robinson, proved that no such algorithm exists, i.e. Hilbert's Tenth Problem is undecidable. In this talk we will consider generalizations of Hilbert's Tenth Problem and Mazur's conjectures for large subrings of number fields. We will show that Hilbert's Tenth Problem is undecidable for large complementary subrings of number fields and that the analogues of Mazur's conjectures do not hold in these rings

A universal first-order formula for the ring of integers inside a number field
Jennifer Park (Massachusetts Institute of Technology)

Location

MSRI: Simons Auditorium

Video

Abstract

Hilbert's tenth problem over the rational numbers Q (or, any number field K) asks the following: given a polynomial in several variables with coefficients in Q (resp. K), is there a general algorithm that decides whether this polynomial has a solution in Q (resp. K)? Unlike the classical Hilbert's tenth problem over Z, this problem is still unresolved. To reduce this problem to the classical problem, we need a definition of Z in Q (resp. ring of integers in K) using only an existential quantifier. This problem is still open. I will present a definition of the ring of integers in a number field, which uses only one universal quantifier, which is, in a sense, the simplest logical description that we can hope for. This is a generalization of Koenigsmann's work, which defines Z in Q using one universal quantifier.

Lehmer conjecture predicts a lower bound for the height of a non zero algebraic integer wich is not a root of unity in terms of its degree. In this talk, we explain how the relative Lehmer problem is related to the Zilber-Pink conjecture. The idea comes from the rst article of Bombieri, Masser and Zannier on the subject : they used the lower bounds for the height given by the Lehmer problem to proove that the bounded height subset of Gn m that they were interested in, was nite. Indeed, Lehmer type bounds are used to proove that such a subset has bounded degree and by Northcott property they conlcuded niteness. We'll explain how this argument works in the context of abelian varieties.

The counting theorem of Pila and Wilkie (2006) has led to a lively interaction between o-minimality and diophantine geometry in recent years. Part of this interaction has focussed further on the problem of bounding the density of rational and algebraic points lying on transcendental sets, seeking to sharpen the Pila-Wilkie bound in certain cases. We shall survey some results in this area, focussing on a conjecture of Wilkie which concerns the real exponential field. Time permitting, we shall also look at some more recent results (by, amongst others, Besson, Boxall, Jones, Masser, and myself) which concern a variety of classical functions, including the Riemann zeta function, Weierstrass zeta functions and Euler's gamma function

SL_n(Z_p) and SL_n(F_p[[t]]) are non-isomorphic, but, conjecturally, have isomorphic group algebra. I will talk about partial results related to this conjecture, and other connections between the representation theories of groups of the form G(O), where G is a fixed simple algebraic group, and O ranges over the collection of rings of integers of all local fields.

The Canonical Base Property (CBP for short) was introduced by Pillay, inspired by results in Complex geometry. It implies the dichotomy "modular/fields" for rank 1 types, and is satisfied by the two main examples of fields with operators. After giving the definition, I will discuss how one can prove it, some of its consequences, notably a descent result. I will also mention some applications to algebraic questions.

I consider the following question: what aspects of the geometry of a variety prohibit the existence of an "interesting" dynamical system on that variety? There are various geometric conditions on a variety which forbid the existence of algebraically or arithmetically interesting dynamical systems. I will discuss various conditions of this kind, and the consequences for conjectures regarding unlikely intersections in algebraic dynamics. Time permitting, I will discuss recent work with Paul Reschke on the non-existence of polarized endomorphisms for varieties with non-surjective Albanese map, and consider what kind of endomorphisms these varieties can carry.

In this talk we discuss intersections of varieties over the closure of Fp and small multiplicative groups, in the spirit of certain conjectures put forward by Poonen in xed characteristic. Our approach is based on transference to number elds using a quantitative Nullstellensatz and estimates on additive relations in multiplicative groups of low rank. We also establish stronger results `on average' for most p which may be seen as a renement of the well-known Erdos-Murty theorem related to the Artin conjecture. 1