Related papers: On definable $f$-generic groups and minimal flows …

Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$, and let $W_{2}(\mathbb{F}_{q})$ be the ring of Witt vectors of length two over $\mathbb{F}_{q}$. We prove that for any reductive group scheme $\mathbb{G}$ over $\mathbb{Z}$ such…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$. We say that $H$ is s-semipermutable in $G$ if $HG_p = G_pH$ for any Sylow $p$-subgroup $G_p$ of $G$ with $(p, |H|) = 1$. We investigate the influence of s-semipermutable…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

For $G$ a connected, reductive group over an algebraically closed field $k$ of large characteristic, we use the canonical Springer isomorphism between the nilpotent variety of $\mathfrak{g}:=\mathrm{Lie}(G)$ and the unipotent variety of $G$…

A topological group G is h-complete if every continuous homomorphic image of G is (Raikov-)complete; we say that G is hereditarily h-complete if every closed subgroup of G is h-complete. In this paper, we establish open-map properties of…

We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…

A group $G$ given by a presentation $G = < \mathcal A \| \mathcal R >$ is called weakly finitely presented if every finitely generated subgroup of $G$, generated by (images of) some words in $\mathcal A^{\pm 1}$, is naturally isomorphic to…

We give a short proof of the fact that if all characteristic p simple modules of the finite group G have dimension less than p, then G has a normal Sylow p-subgroup.

We show that pseudo-Anosov mapping classes are generic in every Cayley graph of the mapping class group of a finite-type hyperbolic surface. Our method also yields an analogous result for rank-one CAT(0) groups and hierarchically hyperbolic…

Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has…

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we…

We prove that for every countable discrete group $G$, there is a $G$-flow on $\omega^*$ that has every $G$-flow of weight $\leq\! \aleph_1$ as a quotient. It follows that, under the Continuum Hypothesis, there is a universal $G$-flow of…

We prove a decomposition of definable groups in o-minimal structures generalizing the Jordan-Chevalley decomposition of linear algebraic groups. It follows that any definable linear group G is a semidirect product of its maximal normal…

Let K be a p-adic field and F the function field of a curve over K. Let G be a connected linear algebraic group over F of classical type. Suppose the prime p is a good prime for G. Then we prove that projective homogeneous spaces under G…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…