Related papers: Galois groups as quotients of Polish groups

We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…

We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to…

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…

We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types…

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the…

This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively…

Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also…

Countably infinite groups (with a fixed underlying set) constitute a Polish space $G$ with a suitable metric, hence the Baire category theorem holds in $G$. We study isomorphism invariant subsets of $G$, which we call group properties. We…

We consider the Polish group obtained as the rank-completion of an inductive limit of finite special linear groups. This Polish group is topologically simple modulo its center, it is extremely amenable and has no non-trivial strongly…

We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the…

We extend the theory of countably generated Demushkin groups to Demushkin groups of arbitrary rank. We investigate their algebraic properties and invariants, count their isomorphism classes and study their realization as absolute Galois…