Related papers: Reductive group schemes, the Greenberg functor, an…

We prove the exactness of the reduction map from \'etale $(\phi,\Gamma)$-modules over completed localized group rings of compact open subgroups of unipotent $p$-adic algebraic groups to usual \'etale $(\phi,\Gamma)$-modules over Fontaine's…

Let $G$ be the $F$-points of a connected reductive group over a non-archimedean local field $F$ of residue characteristic $p$ and $R$ be a commutative ring. Let $P=LU$ be a parabolic subgroup of $G$ and $Q$ be a parabolic subgroup of $G$…

Let G be a reductive algebraic group over a field of positive characteristic and denote by C(G) the category of rational G-modules. In this note we investigate the subcategory of C(G) consisting of those modules whose composition factors…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good…

Let $G$ be a simple algebraic group of type $A$ or $D$ defined over $\C$ and $T$ be a maximal torus of $G$. For a dominant coweight $\lambda$ of $G$, the $T$-fixed point subscheme $(\bar{Gr}_G^\lambda)^T$ of the Schubert variety…

Let $G$ be a split reductive group over a finite field $\Fq$. Let $F=\Fq(t)$ and let $\A$ denote the ad\`eles of $F$. We show that every double coset in $G(F)\bsl G(\A)/ K$ has a representative in a maximal split torus of $G$. Here $K$ is…

Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup…

For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate…

For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…

Let $k$ be a field, and suppose that $\Gamma$ is a smooth $k$-group that acts on a connected, reductive $k$-group $\widetilde G$. Let $G$ denote the maximal smooth, connected subgroup of the group of $\Gamma$-fixed points in $\widetilde G$.…

Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one…

For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of G-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg…

Let $G$ be an affine algebraic group with a reductive identity component $G^{0}$ acting regularly on an affine Krull scheme $X = {Spec} (R)$ over an algebraically closed field. Let $T$ be an algebraic subtorus of $G$ and suppose that…

Let $\mathrm G$ be an isotrivial reductive group over a scheme $S$. We construct a smooth projective $S$-scheme containing $\mathrm G$ as a fiberwise-dense open subscheme equipped with left and right actions of $\mathrm G$ which extend the…

In SGA3, Demazure and Grothendieck showed that if $G$ and $H$ are smooth affine group schemes over a scheme $S$ and $G$ is reductive, then the functor of $S$-homomorphism $G \to H$ is representable. In this paper we extend this result to…

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H^1(R, S) --> H^1(R, G) is…

We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.

For a quasi-split connected reductive group $G$ over a local field $F$ we define a compact abelian group $\tilde\pi_1(G)$ and an extension $1 \to \tilde\pi_1(G) \to G(F)_\infty \to G(F) \to 1$ of topological groups equipped with a splitting…

Let $F$ be a non-Archimedean locally compact field, let $G$ be a split connected reductive group over $F$. For a parabolic subgroup $Q\subset G$ and a ring $L$ we consider the $G$-representation on the $L$-module$$(*)\quad\quad\quad\quad…