Related papers: A note on $\mu$-stabilizers in ACVF

In this document we prove: Let $\mathbb K=(K,+,\cdot,v,\Gamma)$ be an algebraically closed valued field and let $(G,\oplus)$ be a $\mathbb K$-definable group that is either the multiplicative group or contains a finite index subgroup that…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Let $\mathcal{O}$ be a discrete valuation ring with maximal ideal $\mathfrak{p}$ and with finite residue field $\mathbb{F}_{q}$, the field with $q$ elements where $q$ is a power of a prime $p$. For $r \ge 1$, we write $\mathcal{O}_r$ for…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

It is known that a group G definable in the field of p-adic numbers is definably locally isomorphic to the group of Q_p-points of a connected algebraic group H defined over Q_p. We show that if H is commutative then G is…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

We consider semi-continuity of certain dimensions on group schemes.

We introduce the notion of a neutral representation of a finite group, or finite group scheme, $G$; a representation $V$ with the property that if a gerbe $\mathcal{G}$ over a field $k$ that is a form of the classifying stack $\mathcal{B}…

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…

Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…

We develop different formulas of algebraic and/or arithmetic nature allowing an explicit calculation, both over a finite field and over a field of characteristic 0, of the algebraic part of the unramified Brauer group of a homogeneous space…

Let $P$ be a Sylow $p$-subgroup of a finite $p$-solvable group $G$, where $p$ is a prime. Using a normal $p$-series $\mathcal{N}$ of $G$, we introduce the notion of $(\mathcal{N},p)$-stable characters and prove that $G$ and ${\bf N}_G(P)$…

We consider the Noether's problem on the noncommutative real rational functions invariant under the linear action of a finite group. For abelian groups the invariant skew-fields are always rational. We show that for a solvable group the…

In this paper we show, using Deligne-Lusztig theory and Kawanaka's theory of generalised Gelfand-Graev representations, that the decomposition matrix of the special linear and unitary group in non defining characteristic can be made…

We prove that if \mu is a generically stable stable measure in a first order theory with NIP and mu(\phi(x,b)) = 0 for all b, then \mu^{(n)}(\exists y(\phi(x_1,y)\wedge ... \wedge \phi(x_n,y))) = 0. We deduce that if G is an fsg grooup then…

Given a real algebraic group $G$ acting on a linear space $V$, a vector $v\in V$ is called unstable if $0\in \overline{Gv}-Gv$, where the closure is taken with respect to the Zariski topology. A fundamental theorem of Kempf in geometric…

We show that if $M$ is a compact oriented surface of genus 0 and $G$ is a subgroup of $\Symp^\omega_\mu(M)$ which has an infinite normal solvable subgroup, then $G$ is virtually abelian. In particular the centralizer of an infinite order $f…

Fix a positive integer $d$ and let $\Gamma_d$ be the class of finite groups without sections isomorphic to the alternating group $A_d$. The groups in $\Gamma_d$ were studied by Babai, Cameron and P\'{a}lfy in the 1980s and they determined…

The motivation for this paper is to extend the known model theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism.) The model theoretic difficulties…

We characterize some classes of finite soluble groups. In particular, we prove that: a finite group $G$ is supersoluble if and only if $G$ has a normal subgroup $D$ such that $G/D$ is supersoluble and $D$ avoids every chief factor of $G$…