Related papers: A note on the effective listing of complete types
We study the model theory of the $2$-sorted structure $(\mathbb{F}, \mathbb{C};\chi)$, where $\mathbb{F}$ is an algebraic closure of a finite field of characteristic $p$, $\mathbb{C}$ is the field of complex numbers and $\chi: \mathbb{F}…
Effective field theories exploit a separation of scales in physical systems in order to perform systematically improvable, model-independent calculations. They are ideally suited to describe universal aspects of a wide range of physical…
A system of linear dependent types for the lambda calculus with full higher-order recursion, called dlPCF, is introduced and proved sound and relatively complete. Completeness holds in a strong sense: dlPCF is not only able to precisely…
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the $\infty$-category of correspondences of an $\infty$-category with finite limits…
We establish a martingale-type characterisations for the continuum Gaussian free field (GFF) and for fractional Gaussian free fields (FGFs), using their connection to the stochastic heat equation and to fractional stochastic heat equations.…
We present various results on disconnected reductive groups, in particular about the characteristic 0 representation theory of such groups over finite fields.
It is generally taken for granted that two-dimensional critical phenomena can be fully classified by the well known two-dimensional (rational) conformal quantum field theories (CQFTs). In particular it is believed that in models with a…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
It turns out that one can read off facts about schemes up to universal homeomorphism from their Galois categories. Here we propose a first modest slate of entries in a dictionary between the geometric features of a perfectly reduced scheme…
The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
Although the analogue of the theorem of Neukirch-Uchida for $p$-adic local fields fails to hold as it is, Mochizuki proved a certain analogue of this theorem for the absolute Galois groups with ramification filtrations of $p$-adic local…
We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a…
We study real hyperfields, focusing in particular on those that are finite with cyclic positive cones. All real hyperfields have characteristic zero, although they can still be classified using the C-characteristic, an invariant that…
This work sketches the author classification of complete discrete valuation fields K of characteristic 0 with residue field of characteristic p into two classes depending on the behaviour of the torsion part of a differential module. For…
We introduce full diffeomorphism-invariant Colombeau algebras with added $\varepsilone$-dependence in the basic space. This unites the full and special settings of the theory into one single framework. Using locality conditions we find the…
In this paper we prove a new characterization of the distinguished unipotent orbits of a connected reductive group over an algebraically closed field of characteristic 0. For classical groups we prove the characterization by a combinatorial…
In this paper we prove global class field theory using a purely geometric result. We first write in detail Deligne's proof to the unramified case of class field theory, including defining the required objects for the proof. Then we…