Related papers: Effective models of group schemes

In this paper, we study K-theory of spectral schemes by using locally free sheaves. Let us regard the K-theory as a functor K on affine spectral schemes. Then, we prove that the group completion $\Omega B^{\mathcal{G}}(B^{\mathcal{G}}GL)$…

Let K be a compact Lie group and G its complexification. For a not necessarily reduced Stein K-space X we show that there is a complex space Z endowed with a holomorphic action of the universal complexification G of K that contains X as an…

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

Let $k$ be a number field and $X$ a smooth integral affine variety equipped with a morphism $f : X \to A^1_k$ to the affine line. Assume that all fibres of $f$ are split, for instance that they are geometrically integral. Assume that the…

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

This paper gives a rather concrete description of the category Rep(G) for certain flat commutative affine group schemes G over a discrete valuation ring such that the general fiber of G is the multiplicative group.

Let R be a discrete valuation ring with residue field of characteristic p>0. Let K be its fraction field. We prove that any finite and flat R-group scheme, isomorphic to \mu_{p^2,K} on the generic fiber, is the kernel in a short exact…

Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with…

Let $X:=\mathbb{A}^{n}_{R}$ be the $n$-dimensional affine space over a discrete valuation ring $R$ with fraction field $K$. We prove that any pointed torsor $Y$ over $\mathbb{A}^{n}_{K}$ under the action of an affine finite type group…

Let $\mathcal{G}=\mathrm{Spec}(A)$ be a finite and flat group scheme over the ring of algebraic integers $R$ of a number field $K$ and suppose that the generic fiber of $\mathcal{G}$ is the constant group scheme over $K$ for a finite group…

Let R be an affine PI-algebra over an algebraically closed field k and let G be an affine algebraic k-group that acts rationally by algebra automorphisms on R. For R prime and G a torus, we show that R has only finitely many G-prime ideals…

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…

Let $G$ be a flat finite-type group scheme over a scheme $S$, and $X$ a noetherian $S$-scheme on which $G$-acts. We define and study $G$-prime and $G$-primary $G$-ideals on $X$ and study their basic properties. In particular, we prove the…

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative…

Assume $\mathbf{G}$ is a connected reductive algebraic group defined over an algebraic closure $\mathbb{K} = \overline{\mathbb{F}}_p$ of the finite field of prime order $p>0$. Furthermore, assume that $F : \mathbf{G} \to \mathbf{G}$ is a…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an…

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…

Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of…

Let $K$ be a number field, and let $\mathcal{X}$ be a proper regular flat scheme over $\mathcal{O}_{K}$ with a generic fiber $X$ geometrically connected over $K$. We prove that there is an exact sequence up to finite groups $0\rightarrow…