Related papers: Linearity of compact $R$-analytic groups
We prove that if $R$ is a commutative Noetherian local pro-$p$domain of characteristic 0 then every finitely generated$R$-standard group is $R$-linear.
We prove that every word is strongly concise in the class of compact $R$-analytic groups.
According to Lazard, every p-adic Lie group contains an open pro-p subgroup which is saturable. This can be regarded as the starting point of p-adic Lie theory, as one can naturally associate to every saturable pro-p group G a Lie lattice…
We give three necessary and sufficient conditions for a pro-p group to be p-adic analytic. We show that a noetherian pro-p group having finite chain length has a finite rank and conversely. We further deduce that a noetherian pro-p group…
We prove that given an analytic action of a compact $p$-adic Lie group on a Banach space over a field of positive characteristic, one can detect either the simultaneous vanishing or the simultaneous finite-dimensionality of all of the…
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.…
We prove the following result, conjectured by Alan Weinstein: every smooth proper Lie groupoid near a fixed point is locally linearizable, i.e. it is locally isomorphic to the associated groupoid of a linear action of a compact Lie group.…
A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine…
Let $K$ be a field, and let $\Aut \,K^2$ be the group of polynomial automorphisms of $K^2$. We investigate which subgroups are linear or not. In characteristic zero, there are small nonlinear subgroups and some big linear subgroups. When…
Pro-$p$ groups of finite powerful class are studied. We prove that these are $p$-adic analytic, and further describe their structure when their powerful class is small. It is also shown that there are only finitely many finite $p$-groups of…
Let k be an algebraically closed field of positive characteristic p. We consider which finite groups G have the property that every faithful action of G on a connected smooth projective curve over k lifts to characteristic zero. Oort…
We establish analytic linearization of s-proper analytic groupoids around invariant submanifolds. We apply this result to show that any such groupoid admits a holomorphic extension.
We prove that an algebraic group over a field $k$is affine precisely when its Picard group is torsion, and show that in this case the Picard group is finite when $k$ is perfect, and the product of a finite group of order prime to $p$ and a…
A Carnot group is polarizable if it carries a homogeneous norm whose powers are fundamental solutions for the $p$-sub-Laplacian operators for all $1<p \le \infty$. Such groups also support a system of horizontal polar coordinates. We prove…
We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.
Lazard showed in his seminal work "Groupes analytiques $p$-adiques" that for rational coefficients continuous group cohomology of $p$-adic Lie-groups is isomorphic to Lie-algebra cohomology. We refine this result in two directions: firstly…
Let $K$ be a $p$-adic field. We continue to develop the theory of rigid analytic $p$-divisible groups over $K$. For example, we explain how to find back the category of Banach-Colmez spaces from rigid analytic $p$-divisible groups "in…
We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and…
We show that a compact length space is polyhedral if a small spherical neighborhood of any point is conic.
We define an analog in characteristic $p>0$ of the proalgebraic completion of the topological fundamental group of a complex manifold.