Related papers: Fields definable in the free group

We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.

We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic.

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

We show that any finitely generated group $F$ with infinitely many ends is not a group of fractions of any finitely generated proper subsemigroup $P$, that is $F$ cannot be expressed as a product $P P^{-1}$. In particular this solves a…

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group…

We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all…

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

We present a powerful theorem for proving the irreducibility of tempered unitary representations of the free group.

We give a simplified proof of J. A. Wolf's classification of finite groups that can act freely and isometrically on a round sphere of some dimension. We slightly improve the classification by removing some non-obvious redundancy. The groups…

We prove that a permutation group in which different finite sets have different stabilizers cannot satisfy any group law. For locally compact topological groups with this property we show that almost all finite subsets of the group generate…

We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar arguments used by B\"uchi and Senger and Ciobanu and Garreta…

In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant,…

We define general notions of coordinate geometries over fields and ordered fields, and consider coordinate geometries that are given by finitely many relations that are definable over those fields. We show that the automorphism group of…

A mathematically rigorous Hamiltonian formulation for classical and quantum field theories is given. New results include clarifications of the structure of linear fields, and a plausible formulation for nonlinear fields. Many mathematical…

We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.

In this paper we prove that the profinite completion $\mathcal{\hat G}$ of the Grigorchuk group $\mathcal{G}$ is not finitely presented as a profinite group. We obtain this result by showing that $H^2(\mathcal{\hat G},\field{F}_2)$ is…

We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields.

Free noncommutative fields constitute a natural and interesting example of constrained theories with higher derivatives. The quantization methods involving constraints in the higher derivative formalism can be nicely applied to these…

This report is an account of freely representable groups, which are finite groups admitting linear representations whose only fixed point for a nonidentity element is the zero vector. The standard reference for such groups is Wolf (1967)…