Related papers: Comodules for some simple $\mathcal O$-forms of $\…
We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…
For a group $G$, N-series $\cal G$ of $G$ and commutative ring $R$ let $I^n_{R,\cal G}(G)$, $n\ge 0$, denote the filtration of the group algebra $R(G)$ induced by $\cal G$, and $I_R(G)$ its augmentation ideal. For subgroups $H$ of $G$, left…
Let G be a real or complex linear algebraic reductive group. Let H and F be reductive subgroups. We study the natural H action on G/F. The main theorem of this note shows that generic H orbits are closed. This theorem is then applied to…
In this paper, we study the action of special $n\times n $ linear (resp. symplectic) matrices which are homotopic to identity on the right invertible $n\times m$ matrices. We also prove that the commutator subgroup of $\rm{O}_{2n}(R[X])$ is…
Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X , Y$ be irreducible smooth complex projective varieties and $f: X \rightarrow Y$ an algebraic…
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…
The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group \Gamma, with quotient group isomorphic to \Gamma/N. It is shown how to enumerate such…
An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…
In this paper we introduce an abelian category $\mathscr{X}(\bf G)$ to study the complex representations of a reductive algebraic groups $\bf G$ with Frobenius map. We classify all the simple objects in $\mathscr{X}(\bf G)$ and show that…
We consider the moduli space of stable principal G-bundles over a compact Riemann surface C of genus >1, with G a reductive algebraic group. We explicitly construct a map F from the generic fibre of the Hitchin map to a generalized Prym…
Let $G$, $G_1$ and $G_2$ be quasi-finite and flat group schemes over a complete discrete valuation ring $R$, $\varphi_1:G\to G_1$ any morphism of $R$-group schemes and $\varphi_2:G\to G_2$ a model map. We construct the pushout $P$ of $G_1$…
For an algebraic stack $\sX$ flat and of finite presentation over a scheme $S$, we introduce various notions of {\em relative connected components} and {\em relative irreducible components}. The main distinction between these notions is…
Let G be a reductive algebraic group and let H be a reductive subgroup of G. We describe all pairs (G,H) such that for any affine G-variety X with a dense G-orbit isomorphic to G/H the number of G-orbits in X is finite. The maximal number…
Let $X$ be a smooth affine algebraic variety over the field of complex numbers which is contractible. Then every algebraic $G$-torsor on $X$ is algebraically trivial if $G$ is a semi-simple algebraic group. We also show that if $X$ is a…
We introduce the notion of locally trivial quantum principal bundles. The base space and total space are compact quantum spaces (unital $C^{\star}$-algebras), the structure group is a compact matrix quantum group. We prove that a quantum…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…
As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of…
Let F be the function field of a curve over a complete discretely valued field K. Let G be a semisimple simply connected linear algebraic group over F of type An. We give a description of the obstruction to local global principle for…
Let $k$ be a commutative ring. We study the behaviour of coverings of $k$-categories through fibre products and find a criterion for a covering to be Galois or universal.
For a finite group $G$, we construct a simplified model for the $G$-symmetric monoidal $G$-$\infty$-category of rational $G$-spectra. Using this model, we classify $\mathcal{I}$-normed algebras in rational $G$-spectra for a given indexing…