Related papers: Imaginaries in equicharacteristic zero henselian f…

We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is…

We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…

We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $\Sigma$ of henselian…

This paper characterizes the quasilocal fields from the class of Henselian valued fields with totally indivisible value groups, which possess finite separable extensions of nontrivial defect. We show that, for any prime number $q$, a…

I describe how integrable quantum field theories in 2 spacetime dimensions are characterized by infinite dimensional quantum group symmetries, namely the q-deformations of affine Lie algebras, and their Yangian limit. These symmetries can…

We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We…

We study the action of the inertia operator on the motivic Hall algebra, and prove that it is diagonalizable. This leads to a filtration of the Hall algebra, whose associated graded algebra is commutative. In particular, the degree 1…

We propose axioms for 0-dimensional ideal approximation theory and note that extriangulated categories satisfy these axioms.

Given an abelian variety over a field with a discrete valuation, Grothendieck defined a certain open normal subgroup of the absolute inertia group. This subgroup encodes information on the extensions over which the abelian variety acquires…

This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections,…

We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier…

We begin a study of possibilities of describing hadrons in terms of monolocal fields which transform as proper Lorentz group representations decomposable into an infinite direct sum of finite-dimensional irreducible representations. The…

Lenstra introduced the notion of the Euclidean ideal class, a generalization of the Euclidean domain that captures cyclic class groups. In this article, we establish the existence of Euclidean ideal classes in abelian quartic fields. As a…

We introduce and study some families of groups whose irreducible characters take values on quadratic extensions of the rationals. We focus mostly on a generalization of inverse semi-rational groups, which we call uniformly semi-rational…

Coquasitriangular universal ${\cal R}$ matrices on quantum Lorentz and quantum Poincar\'e groups are classified. The results extend (under certain assumptions) to inhomogeneous quantum groups of [10]. Enveloping algebras on those objects…

In some previous work, we defined an invariant of genus zero nonabelian Hodge spaces taking the form of a diagram. Here, enriching the diagram by fission data to obtain a refined invariant, the enriched tree, including a partition of the…

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…

We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.

In [21] it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries this is indeed the…

We consider random fields admitting a spectral representation with infinitely divisible integrator and prove some of their properties.