Related papers: Luna's fundamental lemma for diagonalizable groups
Given a smooth partial action $\alpha$ of a Lie groupoid $G$ on a smooth manifold $M,$ we provide necessary and sufficient conditions for $\alpha$ to be globalizable with smooth globalization. As an application, we provide results on the…
In this article I define and study the overconvergent rigid fundamental group of a variety over an equicharacteristic local field. This is a non-abelian $(\varphi,\nabla)$-module over the bounded Robba ring $\mathcal{E}_K^\dagger$, whose…
Let G be a complex semisimple linear algebraic group, and X a wonderful G-variety. We determine the connected automorphism group of X and we calculate Luna's invariants of X under its action.
We generalise Hinich's Theorem of descent of Deligne groupoids to the case where the dgLas involved have no negative cohomology. We apply this result to study the infinitesimal deformations of a morphism $\alpha: {\mathcal F} \to {\mathcal…
For a smooth affine algebraic group $G$ over an algebraically closed field, we consider several two-variables generalizations of the affine Grassmannian $G(\!(t)\!)/G[\![t]\!]$, given by quotients of the double loop group…
We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…
We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…
The goal of this paper is to study the geometry of the connected unit component of the real general linear Lie group $4$ dimensional $G_0$ as a Lorentzian and flat affine manifold. As the group $G_0$ is naturally equipped with a…
Let $f:X\to Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the…
In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group $G$ and definable family of convex subgroups…
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a…
Let G be a reductive linear algebraic group, H a reductive subgroup of G and X an affine G-variety. Let Y denote the set of fixed points of H in X, and N(H) the normalizer of H in G. In this paper we study the natural map from the quotient…
Let G be a subgroup of finite index in SL(n,Z) for N > 4. Suppose G acts continuously on a manifold M, with fundamental group Z^n, preserving a measure that is positive on open sets. Further assume that the induced G action on H^1(M) is…
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…
We show that the natural morphism $\phi:\pi_1(X_{\eta},x_{\eta})\to \pi_1(X,x)_{\eta}$ between the fundamental group scheme of the generic fiber $X_{\eta}$ of a scheme $X$ over a connected Dedekind scheme and the generic fiber of the…
In this short article, given a smooth diagonalizable group scheme G of finite type acting on a smooth quasi-compact quasi-separated scheme X, we prove that (after inverting some elements of representation ring of G) all the information…
Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with…
We outline a general procedure that builds classifying spaces for generalized Thompson groups $\Gamma$. The construction depends on a small number of choices: (1) an inverse semigroup $S$ of partial transformations that ``locally determine"…
We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq…
This paper deals essentially with affine or projective transformations of Lie groups endowed with a flat left invariant affine or projective structure. These groups are called flat affine or flat projective Lie groups. Our main results…