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

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

Z i g h t a r r o w X

. Let

v a r p h i : X i g h t a r r o w Y

be a

G

-invariant morphism such that

m a t h c a l O_{Y} i g h t a r r o w (v a r p h i_{*} m a t h c a l O_{X})^{G}

is an isomorphism. Then

Y

is locally Krull. If, moreover,

C l (X)

is finitely generated, then

C l (G, X)

and

C l (Y)

are also finitely generated, where

C l (G, X)

is the equivariant class group. In fact,

C l (Y)

is a subquotient of

C l (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.

Recommendations

Cites work

Cited in

(3)

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)