Related papers: Imaginaries, invariant types and pseudo p-adically…
Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to…
For certain problems involving vector fields, it is possible to find an associated imaginary field that, in conjunction with the first, forms a complex field for which the equation can be solved. This result is generalized to arbitrary…
A general action is proposed for the fields of $q$-dimensional differential form over the compact Riemannian manifold of arbitrary dimensions. Mathematical tools come from the well-known de Rham-Kodaira decomposing theorem on the harmonic…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide…
We show that certain field theory models, although non-integrable according to the usual definition of integrability, share some of the features of integrable theories for certain configurations. Here we discuss our attempt to define a…
We study finite $p$-subgroups of birational automorphism groups. By virtue of boundedness theorem of Fano varieties, we prove that there exists a constant $R(n)$ such that a rationally connected variety of dimension $n$ over an…
In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…
I show that under certain conditions it is possible to define consistent irrelevant deformations of interacting conformal field theories. The deformations are finite or have a unique running scale ("quasi-finite"). They are made of an…
We define totally-isotropic polynomials of alternating matrix spaces over finite fields, by analogy with independence polynomials of graphs. Our main result shows that totally-isotropic polynomials of graphical alternating matrix spaces…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
In this paper, we present a complete classification of all imaginary $n$-quadratic fields of class number 1.
Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The…
This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…
We construct an Euler system attached to general-type cohomological cuspidal automorphic representations of $\mathrm{GSp}(4)$ twisted by a Groessencharacter of an imaginary quadratic field. We then use this to bound strict Selmer groups…
We investigate degree bounds for fields of rational invariants of representations of finite groups. We prove many cases of a bound for $\mathbb{Z}/p\mathbb{Z}$ conjectured by Blum-Smith, Garcia, Hidalgo, and Rodriguez. For arbitrary groups,…
For a classical group over a non-archimedean local field of odd residual characteristic p, we construct all cuspidal representations over an arbitrary algebraically closed field of characteristic different from p, as representations induced…
The aim of this work is to reduce the complexity of the available algorithms for computing the generator sets of a semigroup ideal by using the Hermite normal form. In order to achieve it we introduce the concept of decomposable semigroup.…
We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many prominent examples of countable structures…
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…