Related papers: Looking for stabilizers in NSOP$\_1$

We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$.…

Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an…

This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is…

We determine which faithful irreducible representations $V$ of a simple linear algebraic group $G$ are generically free for Lie($G$), i.e., which $V$ have an open subset consisting of vectors whose stabilizer in Lie($G$) is zero. This…

In 1999 V. Ivanov and S. Kerov observed that structure constants of algebras of conjugacy classes of symmetric groups $S_n$ admit a stabilization (in a non-obvious sense) as $n\to \infty$. We extend their construction to a class of pairs of…

The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant…

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…

Let $G$ be a finite permutation group on $\Omega,$ a subgroup $K\leqslant G$ is called a fixer if each element in $K$ fixes some element in $\Omega.$ In this paper, we characterize fixers $K$ with $|K|\geqslant |G_\omega|$ for each…

We study the Hirsch-Plotkin radical of stability groups of (general) subspace series of infinite dimensional vector spaces. We show that in countable dimension and some other cases, the HP-radical of the stability group coincides with the…

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…

We study relativized Lascar groups, which are formed by relativizing Lascar groups to the solution set of a partial type $\Sigma$. We introduce the notion of a Lascar tuple for $\Sigma$ and by considering the space of types over a Lascar…

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

We give formulas for calculating the unramified Brauer group of a homogeneous space $X$ of a semisimple simply connected group $G$ with finite geometric stabilizer $\bar F$ over a wide family of fields of characteristic 0. When $k$ is a…

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…

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…

We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…

We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…