Related papers: Generic differentiability and $P$-minimal groups

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…

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…

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a…

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $\pi$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_\pi(G)$ holds. The…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

There are strong analogies between groups definable in o-minimal structures and real Lie groups. Nevertheless, unlike the real case, not every definable group has maximal definably compact subgroups. We study definable groups G which are…

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

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,…

We introduce a technique for proving lower bounds on the essential dimension of split reductive groups. As an application, we strengthen the best previously known lower bounds for various split simple algebraic groups, most notably for the…

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete…

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$…

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…

We initiate the study of the asymptotic topology of groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers (these are called here as holomorphically convex…

Let $G\subset\hat{G}$ be two complex connected reductive groups. We deals with the hard problem of finding sub-$G$-modules of a given irreducible $\hat{G}$-module. In the case where $G$ is diagonally embedded in $\hat{G}=G\times G$, S.…

Let $K$ be a non-archimedean local field of residual characteristic $p\neq 2$. Let $G$ be a connected reductive group over $K$, let $\theta$ be an involution of $G$ over $K$, and let $H$ be the connected component of $\theta$-fixed subgroup…

Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable locally compact model, which, simplifying, is a…

We establish a surprising correspondence between groups definable in o-minimal structures and linear algebraic groups, in the nilpotent case. It turns out that in the o-minimal context, like for finite groups, nilpotency is equivalent to…