Related papers: $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced

The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional…

Let $k$ be a commutative ring and $S=k[x_0, \ldots, x_n]$ be a polynomial ring over $k$ with a monomial order. For any monomial ideal $J$, there exists an affine $k$-scheme of finite type, called Gr\"obner scheme, which parameterizes all…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

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…

We introduce a family of mathematical objects called $\mathcal{P}$-schemes, where $\mathcal{P}$ is a poset of subgroups of a finite group $G$. A $\mathcal{P}$-scheme is a collection of partitions of the right coset spaces $H\backslash G$,…

Let $R$ be a discrete valuation ring with fraction field $K$ and $X$ a flat $R$-scheme. Given a faithful action of a $K$-group scheme $G_K$ over the generic fibre $X_K$, we study models $G$ of $G_K$ acting on $X$. In various situations, we…

We present a generalized version of classical geometric invariant theory \`a la Mumford where we consider an affine algebraic group $G$ acting on a specific affine algebraic variety $X$. We define the notions of linearly reductive and of…

Let ${\mathcal O}$ be a discrete valuation ring with quotient field ${\cal K}$. The affine Grassmannian ${\cal G}r$ is the set of full-rank ${\mathcal O}$-modules contained in ${\cal K}^n$. Given $\Lambda \in {\cal G}r$, invariant factors…

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F)…

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…

In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$…

Let $V$ be a finite-dimensional complex vector space. Assume that $V$ is a direct sum of subspaces each of which is equipped with a nondegenerate symmetric or skew-symmetric bilinear form. In this paper, we introduce a stratification of the…

Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…

Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal…

Given $\mathfrak{F}$ a coherent sheaf on a Noetherian integral algebraic stack $\mathfrak{P}$, we give two constructions of stacks $\widetilde{\mathfrak{P}}$, equipped with birational morphisms $p:\widetilde{\mathfrak{P}}\to \mathfrak{P}$…

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 $G$ be a connected reductive group defined over a finite field $\mathbb{F}_q$ of characteristic $p$, with Deligne--Lusztig dual $G^\ast$. We show that, over $\overline{\mathbb{Z}}[1/pM]$ where $M$ is the product of all bad primes for…

In this paper we study the derived categories of coherent sheaves on Grassmannians $\operatorname{Gr}(k,n),$ defined over the ring of integers. We prove that the category $D^b(\operatorname{Gr}(k,n))$ has a semi-orthogonal decomposition,…

Let $V$ be an $n$-dimensional left vector space over a division ring $R$ and $n\ge 3$. Denote by ${\mathcal G}_{k}$ the Grassmann space of $k$-dimensional subspaces of $V$ and put ${\mathfrak G}_{k}$ for the set of all pairs $(S,U)\in…

Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$…