Related papers: Groups definable in two orthogonal sorts

We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble…

Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for…

In this article we study the behaviour of semistable principal $G$-bundles over a smooth projective variety $X$ under the extension of structure groups in positive characteristic. We extend some results of Ramanan-Ramanathan…

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of…

Double groupoids are a type of higher groupoid structure that can arise when one has two distinct groupoid products on the same set of arrows. A particularly important example of such structures is the irrational torus and, more generally,…

Let p be a prime. Uniform pro-p groups play a central role in the theory of p-adic Lie groups. Indeed, a topological group admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup which is uniform.…

Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$,…

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…

We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…

We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its…

The Lie product and the order relation are viewed as defining structures for Hamiltonian dynamical systems. Their admissible combinations are singled out by the requirement that the group of the Lie automorphisms be contained in the group…

Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering…

The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…

Let $G$ be a real classical group (including the real metaplectic group). We consider a nilpotent adjoint orbit $\check{\mathcal O}$ of $\check G$, the Langlands dual of $G$ (or the metaplectic dual of $G$ when $G$ is a real metaplectic…

In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…