In the last few decades, much progress has been made in birational algebraic geometry. The general viewpoint is that complex projective manifolds should be classified according to the behavior of their canonical class. As a result of the minimal model program (MMP), every complex projective manifold can be built up from 3 classes of (possibly singular) projective varieties, namely, varieties $X$ for which $K_X$ satisfies $K_X<0$, $K_X\equiv 0$ or $K_X>0$. Projective manifolds $X$ whose anti-canonical class $-K_X$ is ample are called Fano manifolds.

Techniques from the MMP have been successfully applied to the study of global properties of holomorphic foliations. This led, for instance, to Brunella's birational classification of foliations on surfaces, in which the canonical class of the foliation plays a key role. In recent years, much progress has been made in higher dimensions. In particular, there is a well developed theory of Fano foliations, i.e., holomorphic foliations $F$ on complex projective varieties with ample anti-canonical class $-K_F$.

This mini-course is devoted to reviewing some aspects of the theory of Fano Foliations, with a special emphasis on Fano foliations of large index. We start by proving a fundamental algebraicity property of Fano foliations, as an application of Bost's criterion of algebraicity for formal schemes. We then introduce and explore the concept of log leaves. These tools are then put together to address the problem of classifying Fano foliations of large index[-]

The Grothendieck-Knudsen moduli space of stable rational curves n markings is arguably one of the simplest moduli spaces: it is a smooth projective variety that can be described explicitly as a blow-up of projective space, with strata corresponding to nodal curves similar to the torus invariant strata of a toric variety. Conjecturally, its Mori cone of curves is generated by strata, but this is known only for n up to 7. In contrast, the cones of effective divisors are not f initely generated, in all characteristics, when n is at least 10. After a general introduction to these topics, I will discuss what we call elliptic pairs and LangTrotter polygons, relating the question of finite generation of effective cones of blow-ups of certain toric surfaces to the arithmetic of elliptic curves. These lectures are based on joint work with Antonio Laface, Jenia Tevelev and Luca Ugaglia.[-]

The Grothendieck-Knudsen moduli space of stable rational curves n markings is arguably one of the simplest moduli spaces: it is a smooth projective variety that can be described explicitly as a blow-up of projective space, with strata corresponding to nodal curves similar to the torus invariant strata of a toric variety. Conjecturally, its Mori cone of curves is generated by strata, but this is known only for n up to 7. In contrast, the cones of effective divisors are not f initely generated, in all characteristics, when n is at least 10. After a general introduction to these topics, I will discuss what we call elliptic pairs and LangTrotter polygons, relating the question of finite generation of effective cones of blow-ups of certain toric surfaces to the arithmetic of elliptic curves. These lectures are based on joint work with Antonio Laface, Jenia Tevelev and Luca Ugaglia.[-]

The Grothendieck-Knudsen moduli space of stable rational curves n markings is arguably one of the simplest moduli spaces: it is a smooth projective variety that can be described explicitly as a blow-up of projective space, with strata corresponding to nodal curves similar to the torus invariant strata of a toric variety. Conjecturally, its Mori cone of curves is generated by strata, but this is known only for n up to 7. In contrast, the cones of effective divisors are not f initely generated, in all characteristics, when n is at least 10. After a general introduction to these topics, I will discuss what we call elliptic pairs and LangTrotter polygons, relating the question of finite generation of effective cones of blow-ups of certain toric surfaces to the arithmetic of elliptic curves. These lectures are based on joint work with Antonio Laface, Jenia Tevelev and Luca Ugaglia.[-]

As exemplified by o-minimality, imposing strong restrictions on the complexity of definable subsets of the affine line can lead to a rich tame geometry in all dimensions. There has been multiple attempts to replicate that phenomenon in non-archimedean geometry (C, P, V, b minimality) but they tend to either only apply to specific valued fields or require geometric input. In this talk I will present another such notion, h-minimality, which covers all known well behaved characteristic zero valued fields and has strong analytic and geometric consequences. By analogy with o-minimality, this notion requires that definable sets of the affine line are controlled by a finite number of points. Contrary to o-minimality though, one has to take special care of how this finite set is defined, leading to a whole family of notions of h-minimality. This notion has been developed in the past years by a number of authors and I will try to paint a general picture of their work and, in particular, how it compares to the archimedean picture.[-]

We will present some of the original definitions, results, and proof techniques about Pfaffian functions on the reals by Khovanskii.
A simple example of a Pfaffian function is an analytic function $f$ in one variable $x$ satisfying a differential equation $f^\prime = P(x,f)$ where $P$ is a polynomial in two variables. Khovanskii gives a notion of complexity of Pfaffian functions which in the example is just the degree of $P$. Using this complexity, he proves analogues of Bézout's theorem for Pfaffian curves (say, zero loci of Pfaffian functions in two variables), with explicit upper bounds in terms of the ocurring complexities.
We explain a recent application by J. Pila and others to a low-dimensional case of Wilkie's conjecture on rational points of bounded height on restricted Pfaffian curves. The result says that the number of rational points of height bounded by $T$, on a transcendental restricted Pfaffian curve, grows at most as a power of log$(T)$ as $T$ grows. This improves the typical upper bound $T^\epsilon$ in Pila-Wilkie's results in general o-minimal structures, the improvement being due to extra geometric Bézout-like control.
In the non-archimedean setting, I will explain analogues of some of these results and techniques, most of which are (emerging) work in progress with L. Lipshitz, F. Martin and A. Smeets. Some ideas in this case come from work by Denef and Lipshitz on variants of Artin approximation in the context of power series solution.[-]

In the local classification of differential equations of one complex variable, torsors under a certain sheaf of algebraic groups (the Stokes sheaf) play a central role. On the other hand, Deligne defined in positive characteristic a notion of skeletons for l-adic local systems on a smooth variety, constructed an algebraic variety parametrizing skeletons and raised the question wether every skeleton comes from an actual l-adic local system. We will explain how to use a variant of Deligne's skeleton conjecture in characteristic 0 to prove the existence of an algebraic variety parametrizing Stokes torsors. We will show how the geometry of this moduli can be used to prove new finiteness results on differential equations.[-]