Motivated by the Dixmier-Moeglin equivalence, which belongs to the realm of algebra representations, we look at a differential version of this equivalence for algebraic D-groups, which belong to the realm of finite Morley rank groups in differentially closed fields. We will see how the proof of this equivalence reduces to a standard model-theoretic fact (on binding groups). Time permitting we will present an application to Hopf-Ore extensions. This is joint work with J. Bell and R. Moosa.

# Past Logic Seminar

We consider the differentiability of definable functions in tame expansions

of algebraically closed valued fields.

As the Frobenius inverse shows such a function may be nowhere

differentiable.

We prove differentiability almost everywhere in valued fields of

characteristic 0

that are C-minimal, definably complete and such that, in the valuation

group,

definable functions are strongly eventually linear.

This is joint work with Pablo Cubides-Kovacsics.

I will review the notion of classifying topos of a first-order (geometric) theory and explain the central role enjoyed by theories of presheaf type (i.e. classified by a presheaf topos) in the context of the topos-theoretic investigation of the model theory of geometric theories. After presenting a few main results and characterizations for theories of presheaf type, I will illustrate the generality of the point of view provided by this class of theories by discussing a topos-theoretic framework unifying and generalizing Fraissé’s construction in model theory and topological Galois theory and leading to an approach to the problem of the independence from l of l-adic cohomology.

I will explain the model theoretic notion of ampleness

and present the geometric context of recent constructions.

This concerns recent work with P. Corvaja in which we relate the Hilbert Property for an algebraic variety (a kind of axiom linked with Hilbert Irreducibility, relevant e.g. for the Inverse Galois Problem) with the fundamental group of the variety.

In particular, this leads to new examples (of surfaces) of failure of the Hilbert Property. We also prove the Hilbert Property for a non-rational surface (whereas all previous examples involved rational varieties).

Transseries arise naturally when solving differential equations around essential singularities. Just like most Taylor series are not convergent, most transseries do not converge to real functions, even when using advanced summation techniques.

On the other hand, we can show that all classical transseries induce analytic functions on the surreal line. In fact, this holds for an even larger (proper) class of series which we call "omega-series".

Omega-series can be composed and differentiated, like LE-series, and they form a differential subfield of surreal numbers equipped with the simplest derivation. This raises once again the question whether all surreal numbers can be also interpreted as functions. Unfortunately, it turns out that the simplest derivation is in fact incompatible with this goal.

This is joint work with A. Berarducci.

We discuss how one can define transseries in several variables. The idea is

to combine the construction of the univariate transseries with a blow up procedure. The

latter allows to normalize transseries in an arbitrary number of variables which makes

them manageable as usual transseries.

We give a description of the spectra of $\hat{\mathbb Z}$ and of the

finite adeles using ultraproducts. In describing the prime ideals and the

localizations, ultrapowers of the group $\mathbb Z$ and ultraproducts of

rings of $p$-adic integers are used.

Using some new results in probabilistic recognition of black box groups

(Joint work with Sukru Yalcinkaya), I will discuss some emerging

structures that beg for a model-theoretic analysis.

In 1923, Dulac published a proof of the claim that every real analytic vector field on the plane has only finitely many limit cycles (now known as Dulac's Problem). In the mid-1990s, Ilyashenko completed Dulac's proof; his completion rests on the construction of a quasianalytic class of functions. Unfortunately, this class has very few known closure properties. For various reasons I will explain, we are interested in constructing a larger quasianalytic class that is also a Hardy field. This can be achieved using Ilyashenko's idea of superexact asymptotic expansion. (Joint work with Tobias Kaiser)