Related papers: Hom schemes for algebraic groups
Let $G$ be a simple algebraic group. A closed subgroup $H$ of $G$ is called spherical provided it has a dense orbit on the flag variety $G/B$ of $G$. Reductive spherical subgroups of simple Lie groups were classified by Kr\"amer in 1979. In…
We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…
It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…
We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in…
Let $G$ be a reductive group scheme of type $A$ acting on a spherical scheme $X$. We prove that there exists a number $C$ such that the multiplicity $\dim Hom(\rho,\mathbb{C}[X(F)])$ is bounded by $C$, for any finite field $F$ and any…
To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…
Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the…
Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the…
Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…
We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…
Let $A(G)$ and $B(H)$ be the Fourier and Fourier-Stieltjes algebras of locally compact groups $G$ and $H$, respectively. Ilie and Spronk have shown that continuous piecewise affine maps $\alpha: Y \subseteq H\rightarrow G$ induce completely…
Let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. Assuming that $G$ has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine…
There is a q-deformation of the reflection representation of the affine symmetric group, which arises in the quantum geometric Satake equivalence, and in the study of the complex reflection groups $G(m,m,n)$. Demazure operators (often…
In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first…
We prove that if $\rho: A(H) \to B(G)$ is a homomorphism between the Fourier algebra of a locally compact group $H$ and the Fourier-Stieltjes algebra of a locally compact group $G$ induced by a mixed piecewise affine map $\alpha : G \to H$,…
We prove that for a homologically smooth and proper DG algebra over a field of characteristic 0, the Hodge-to-de Rham spectral sequence degenerates. This has been conjectured by M. Kontsevich and Y. Soibelman arXiv:math/0606241 and proved…
Let $\mc G$ be a reductive group over an algebraically closed field of characteristic $p>0$. We study homogeneous $\mc G$-spaces that are induced from the $G\times G$-space $G$, $G$ a suitable reductive group, along a parabolic subgroup of…
We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…
We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…
Let $W$ be a Coxeter group whose proper parabolic subgroups are finite. According to Theorem~1.12 of [1], if the module of a finite $W$-digraph $\Gamma$ is isomorphic to the module of a $W$-graph over $Q$, then $\Gamma$ is acyclic. We…