Related papers: One dimensional commutative groups definable in al…

We give a full classification of 6-dimensional nilpotent Lie algebras over an arbitrary field, including fields that are not algebraically closed and fields of characteristic~2. To achieve the classification we use the action of the…

This paper concerns partial groups, objective partial groups, and (finite) localities, with special attention given to the quotient of a locality by a partial normal subgroup.

Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they…

We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up…

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…

We develop local NIP group theory in the context of pseudofinite groups. In particular, given a sufficiently saturated pseudofinite structure $G$ expanding a group, and left invariant NIP formula $\delta(x;\bar{y})$, we prove various…

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

A finite group G is admissible over a field M if there is a division algebra whose center is M with a maximal subfield G-Galois over M. We consider nine possible notions of being admissible over M with respect to a subfield K of M, where…

We provide a family of group measure space II_1 factors for which all finite index subfactors can be explicitly listed. In particular, the set of all indices of irreducible subfactors can be computed. Concrete examples show that this index…

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

We study in detail the one-variable local theory of functions holomorphic over a finite-dimensional commutative associative unital $\mathbb{C}$-algebra $\mathcal{A}$, showing that it shares a multitude of features with the classical…

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…

We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…

The parameter coclass has been used successfully in the study of nilpotent algebraic objects of different kinds. In this paper a definition of coclass for nilpotent semigroups is introduced and semigroups of coclass 0, 1, and 2 are…

We introduce almost cohomology groups for Lie rings definable in finite-dimensional theory. In particular, we define the 0th and 1st almost cohomology groups of a Lie ring module. Moreover, we prove that the 1st almost cohomology group of a…

We give an explicit construction of the antiequivalence of the category of finite flat commutative group schemes of period 2 defined over the valuation ring of a 2-adic field with algebraically closed residue field. This result extends the…

We describe the additive subgroups of fields which are closed with respect to taking inverses. In particular, in characteristic different from two any such subgroup is either a subfield or the kernel of the trace map of a quadratic…

We characterise the strictly closed left invariant C*-subalgebras of the C*-algebra C_b(G) of bounded continuous functions on a locally compact group G. On the dual side, we characterise the strictly closed invariant C*-subalgebras of the…

We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.

In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…