Reynolds operator on functors

DOI10.1016/J.JPAA.2010.11.006MaRDI QIDQ534020zbMATH OpenOpenAlexFDO

Authors A. Álvarez, Carlos Sancho, Pedro Sancho

Publication date 10 May 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

affine \(R\)-monoid schemedual functor of \(G\)-modulesReynolds operator

Mathematics Subject Classification ID

Group schemes (14L15) Geometric invariant theory (14L24)

Abstract: Let $G=mSpecA$ 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 ${mathcalA}^{\ast }$-modules. We prove that $G$ is invariant exact if and only if $A^{\ast }=Rimes{B}^{\ast }$ as $R$-algebras and the first projection $A^{\ast }oR$ is the unit of $A$. If $mathbbM$ is a dual functor of $G$-modules and $w_G:=(1,0)inRimes{B}^{\ast }=A^{\ast }$, we prove that $mathbb{M}^G=w_{G}cdotmathbbM$ and $mathbbF=w_{G}cdotmathbbMoplus(1-w_G)cdotmathbbM$; hence, the Reynolds operator can defined on $mathcalM$.

Review text

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}\).

Recommendations

• A variant of the Reynolds operator
• Homological algebra in the category \(\text{Mod}_{(R\#U(g))}\)
• Algebra schemes and their representations
• A multiplicative analogue of the Reynolds operator and construction of invariants
• On the imprimitivity theorem for algebraic groups

Cites work

• A variant of the Reynolds operator
• Algebra schemes and their representations
• Characterization of Quasi-Coherent Modules that are Module Schemes
• Generalizations of Cayley's \Omega-process
• scientific article; zbMATH DE number 1839421 (Why is no real title available?)
• Theory of invariants and geometry of quotient varieties.

Cited in

(6)

• Reynolds algebras and their free objects from bracketed words and rooted trees
• A variant of the Reynolds operator
• The cohomology of relative cocycle weighted Reynolds operators and NS-pre-Lie algebras
• Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases
• On the subalgebra of invariant elements: finiteness and immersions
• A multiplicative analogue of the Reynolds operator and construction of invariants

This page was built for publication: Reynolds operator on functors

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