Equivariant class group. I: Finite generation of the Picard and the class groups of an invariant subring.

DOI10.1016/J.JALGEBRA.2016.02.025zbMATH Open1348.13010arXiv1309.2367OpenAlexW1750282735MaRDI QIDQ288490FDOQ288490

Mitsuyasu Hashimoto

Publication date: 26 May 2016

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: The purpose of this paper is to define equivariant class group of a locally Krull scheme (that is, a scheme which is locally a prime spectrum of a Krull domain) with an action of a flat group scheme, study its basic properties, and apply it to prove the finite generation of the class group of an invariant subring. In particular, we prove the following. Let $k$ be a field, $G$ a smooth $k$-group scheme of finite type, and $X$ a quasi-compact quasi-separated locally Krull $G$-scheme. Assume that there is a $k$-scheme $Z$ of finite type and a dominating $k$-morphism $ZightarrowX$. Let $varphi:XightarrowY$ be a $G$-invariant morphism such that $mathcal{O}_{Y}ightarrow(varph{i}_{*}mathcal{O}_X{)}^G$ is an isomorphism. Then $Y$ is locally Krull. If, moreover, $Cl(X)$ is finitely generated, then $Cl(G,X)$ and $Cl(Y)$ are also finitely generated, where $Cl(G,X)$ is the equivariant class group. In fact, $Cl(Y)$ is a subquotient of $Cl(G,X)$. For actions of connected group schemes on affine schemes, there are similar results of Magid and Waterhouse, but our result also holds for disconnected $G$. The proof depends on a similar result on (equivariant) Picard groups.

Full work available at URL: https://arxiv.org/abs/1309.2367

Recommendations

• Equivariant Picard groups and Laurent polynomials
• Reduced class groups grafting relative invariants
• scientific article
• scientific article; zbMATH DE number 1233878
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes

zbMATH Keywords

invariant theoryPicard groupclass groupKrull ring

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Class groups (13C20)

Cites Work

• Title not available (Why is that?)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• The total coordinate ring of a normal projective variety
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné
• Title not available (Why is that?)
• Toroidal Algebraic Groups
• Finite Generation of Class Groups of Rings of Invariants
• Class Groups of Rings of Invariants
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Stacks Project Expository Collection
• Equivariant Total Ring of Fractions and Factoriality of Rings Generated by Semi-Invariants
• On the 14-th Problem of Hilbert
• A Units Theorem Applied to Hopf Algebras and Amitsur Cohomology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equivariant Matlis and the local duality

Cited In (2)

• Title not available (Why is that?)
• Equivariant class group. II. Enriched descent theorem

This page was built for publication: Equivariant class group. I: Finite generation of the Picard and the class groups of an invariant subring.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q288490)