Reynolds operator on functors

Abstract: Let

G = m S p e c A

be an affine

R

-monoid scheme. We prove that the category of dual functors (over the category of commutative

R

-algebras) of

G

-modules is equivalent to the category of dual functors of

{m a t h c a l A}^{*}

-modules. We prove that

G

is invariant exact if and only if

A^{*} = R i m e s B^{*}

as

R

-algebras and the first projection

A^{*} o R

is the unit of

A

. If

m a t h b b M

is a dual functor of

G

-modules and

w_{G} := (1, 0) i n R i m e s B^{*} = A^{*}

, we prove that

m a t h b b M^{G} = w_{G} c d o t m a t h b b M

and

m a t h b b F = w_{G} c d o t m a t h b b M o p l u s (1 - w_{G}) c d o t m a t h b b M

; hence, the Reynolds operator can defined on

m a t h c a l M

.

Recommendations

Cites Work

Cited In (6)

This page was built for publication: Reynolds operator on functors