Mathematics – Algebraic Geometry
Scientific paper
2009-04-21
Mathematics
Algebraic Geometry
29 pages. Supersedes previous preprint "Effective model of a finite group action", arXiv:math/0601639
Scientific paper
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 prove that if such a model $G$ exists, then there exists another model $G'$ that acts faithfully on $X$. This model is the schematic closure of $G$ inside the fppf sheaf $Aut_R(X)$; the major difficulty is to prove that it is representable by a scheme. For example, this holds if $X$ is locally of finite type, separated, flat and pure and $G$ is finite flat. Pure schemes (a notion recalled in the text) have many nice properties : in particular, we prove that they are the amalgamated sum of their generic fibre and the family of their finite flat closed subschemes. We also provide versions of our results in the setting of formal schemes.
No associations
LandOfFree
Effective models of group schemes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Effective models of group schemes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Effective models of group schemes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-370876