Reynolds operator on functors (Q534020): Difference between revisions

Let \(R\) be a commutative ring with unit and let \(\mathcal{R}\) be the functor of rings defined by \(\mathcal{R}(S) := S\) for every commutative \(R\)-algebra \(S\). Given an \(R\)-module \(M\), we can define a functor of \(\mathcal{R}\)-modules \(\mathcal{M}\) over the category of commutative \(R\)-algebras by setting \(\mathcal{M}(S):= M \otimes_R S\). A functor of sets \(\mathbb{M}\) is called a functor of \(\mathcal{R}\)-modules if there exist functors of sets \(\mathbb{M} \times \mathbb{M} \to \mathbb{M}\) and \(\mathcal{R} \times \mathbb{M} \to \mathbb{M}\) which makes \(\mathbb{M}(S)\) an \(S\)-module for every commutative \(R\)-algebra \(S\). Given a functor \(\mathbb{M}\) of \(\mathcal{R}\)-modules, we have the \textit{dual functor} \(\mathbb{M}^* := \mathbb{H}\)om\(_{\mathcal{R}}({\mathbb{M}},\mathcal{R})\). This paper is mainly concerned with the case that \(G=\) Spec \(A\) is an affine \(R\)-monoid scheme. The main result states that a category of dual functors of \(G\)-modules is equivalent to the category of dual functors of \(\mathcal{A}^*\)-modules. The authors also define a notion of invariant exactness for \(G\) (roughly, \(G\) is invariant exact if taking invariants is an exact functor), they give necessary and sufficient conditions for \(G\) to be invariant exact, and they prove that if \(G\) is invariant exact and \(\mathbb{M}\) is a dual functor of \(G\)-modules, then the Reynolds operator can be defined on \(\mathbb{M}\).