Related papers: Imaginaries, invariant types and pseudo p-adically…

This paper studies unbounded PAC fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a…

We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…

We prove a descent result for affine/projective varieties defined over an algebraically closed field. The idea is to work with the reduced Groebner basis of the ideal where the variety vanishes and study it's behaviour under group action…

We construct, for every prime p, a function field K of characteristic p and an ordinary abelian variety A over K, with no isotrivial factors, that admits an etale self-isogeny of p-power degree. As a consequence, we deduce that there exist…

Degree bounds for algebra generators of invariant rings are a topic of longstanding interest in invariant theory. We study the analogous question for field generators for the field of rational invariants of a representation of a finite…

New method for construction of gauge-invariant deformed theory from an initial gauge theory proposed in our previous papers [1], [2] for closed/open gauge algebras is extended to the case of reducible gauge algebras. The deformation…

In this article we discuss how abstraction boundaries can help tame complexity in mathematical research, with the help of an interactive theorem prover. While many of the ideas we present here have been used implicitly by mathematicians for…

We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…

We explore field theories of a single p-form with equations of motions of order strictly equal to two and gauge invariance. We give a general method for the classification of such theories which are extensions to the p-forms of the Galileon…

We study differential forms invariant under a finite reflection group over a field of arbitrary characteristic. In particular, we prove an analogue of Saito's freeness criterion for invariant differential 1-forms. We also discuss how…

We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…

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…

In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple…

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general…

We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…

In this survey on local additive invariants of real and complex definable singular germs we systematically present classical or more recent invariants of different nature as emerging from a tame degeneracy principle. For this goal, we…

The irreducible antifield formalism for $p$-form gauge theories with gauge invariant interaction terms is exposed. The ghosts of ghosts do not appear. The acyclicity of the Koszul-Tate operator is ensured without introducing antifields at…

Adopting the approach of [7] we study rational function carrying invariant line fields on the Julia set. In particular, we show that under certain weak conditions all possible measurable invariant line fields of a rational function on its…