Related papers: Affine quotients of supergroups
In this article we consider sheaf quotients of affine superschemes by finite supergroups that act on them freely. More precisely, if a finite supergroup $G$ acts on an affine superscheme $X$ freely, then the quotient $K$-sheaf $\tilde{X/G}$…
We prove that given a super affine closed subgroup $H$ of a super affine group $G$ over a field $k$ of charctersitic $\mathrm{ch} k \ne 2$, the dur $k$-sheaf $G\tilde{\tilde{/}} H$ of right cosets is affine if the affine $k$-group $\bar{H}$…
We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…
To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G \tilde{/} H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $\neq$ 2. Our main theorem…
In this work we show that the homogeneous space of an affine algebraic group $G$ by a one-dimensional unipotent subgroup $H$ is affine if and only if the subgroup is not contained in any reductive subgroup of $G$.
We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth…
For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if…
A closed subgroup H of the affine, algebraic group G is called observable if G/H is a quasi-affine algebraic variety. In this paper we define the notion of an observable subgroup of the affine, algebraic monoid M. We prove that a subgroup H…
We develop a general theory of algebraic group superschemes, which are not necessarily affine. Our key result is a category equivalence between those group superschemes and Harish-Chandra pairs, which generalizes the result known for affine…
We describe the structure of the quotient $\mathfrak{G}/\mathfrak{H}$ of a formal supergroup $\mathfrak{G}$ by its formal sub-supergroup $\mathfrak{H}$. This is a consequence which arises as a continuation of the authors' work (partly with…
It was proved by the first-named author and Zubkov [13] that given an affine algebraic supergroup $\mathbb{G}$ and a closed sub-supergroup $\mathbb{H}$ over an arbitrary field of characteristic $\ne 2$, the faisceau $\mathbb{G} \tilde{/}…
We call an affine algebraic supergroup quasireductive if its underlying algebraic group is reductive. We obtain some results about the structure and representations of reductive supergroups.
We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization…
A subset $X$ of an Abelian group $G$ is called $semiaf\!fine$ if for every $x,y,z\in X$ the set $\{x+y-z,x-y+z\}$ intersects $X$. We prove that a subset $X$ of an Abelian group $G$ is semiaffine if and only if one of the following…
In this note we give an example of affine quotient $G/H$ where $G$ is an affine algebraic group over an algebraically closed field of characteristic 0 and $H$ is a unipotent subgroup not contained in the unipotent radical of $G$. Some…
Let $S$ be an algebraic semigroup (not necessarily linear) defined over a field $F$. We show that there exists a positive integer $n$ such that $x^n$ belongs to a subgroup of $S(F)$ for any $x \in S(F)$. In particular, the semigroup $S(F)$…
In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.
Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group…
This paper introduces the notion of an excellent quotient, which is stronger than a universal geometric quotient. The main result is that for an action of a connected solvable group $G$ on an affine scheme Spec$(R)$ there exists a…
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…