From: Johannes Huebschmann <huebschm@math.univ-lille1.fr>
To: categories@mta.ca
Subject: Group cohomology via monads or triple cohomology
Date: Mon, 3 Nov 2008 08:44:50 +0100 (CET) [thread overview]
Message-ID: <E1Kwzqq-0003XZ-EY@mailserv.mta.ca> (raw)
Dear All
Let $R$ be a commutative ring,
$G$ a group,
$\mathrm{Mod}_R$ the category of $R$-modules,
$\mathrm{Mod}_{RG}$ that of right $RG$-modules,
let
\[
\mathcal G\colon \mathrm{Mod}_{R}\longrightarrow \mathrm{Mod}_{RG}
\]
be the familiar functor which assigns to the $R$-module $V$
the right $RG$-module $\mathrm{Map}(G, V)$, with right $G$-structure
being given by left translation in $G$, and let
\[
\square \colon \mathrm{Mod}_{RG}\longrightarrow \mathrm{Mod}_{R}
\]
be the forgetful functor.
The unit of the resulting adjunction is well known to be given by
the assignment to the right $RG$-module $V$ of
\[
\eta_V\colon V \longrightarrow \mathrm{Map}(G, \square V),
\ v \longmapsto \eta_v:G \to \square V,\ \eta_v(x) =vx, \ v \in V, x \in
G.
\]
Given the $RG$-module $V$,
the standard construction associated with $V$ and the resulting monad
$(T,\eta,\mu)$ yields an injective resolution of $V$ in the category
of right
$RG$-modules. All this is entirely standard and classical.
Consider instead the functor
\[
\mathrm{Mod}_{RG}\longrightarrow \mathrm{Mod}_{RG}
\]
which assigns to the right $RG$-module $V$
the right $RG$-module $\mathrm{Map}(G, V)$,
with right $G$-structure being given by
diagonal action
relative to left translation in $G$
and replace $\eta$ with $\omega$ given by
the assignment to the right $RG$-module $V$ of
\[
\omega_V\colon V \longrightarrow \mathrm{Map}(G, V),
\ v \longmapsto \omega_v:G \to V,\ \omega_v(x) =v, \ v \in V, x
\in G.
\]
These data, together with the appropriate natural transformation
replacing the composition $\mu$,
yield an alternate description of the monad $(T,\eta,\mu)$.
This has certainly been discussed in detail in the literature.
I am looking for a precise reference.
Many thanks in advance
Johannes
HUEBSCHMANN Johannes
Professeur de Mathematiques
USTL, UFR de Mathematiques
UMR 8524 Laboratoire Paul Painleve
F-59 655 Villeneuve d'Ascq Cedex France
http://math.univ-lille1.fr/~huebschm
TEL. (33) 3 20 43 41 97
(33) 3 20 43 42 33 (secretariat)
(33) 3 20 43 48 50 (secretariat)
Fax (33) 3 20 43 43 02
e-mail Johannes.Huebschmann@math.univ-lille1.fr
reply other threads:[~2008-11-03 7:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1Kwzqq-0003XZ-EY@mailserv.mta.ca \
--to=huebschm@math.univ-lille1.fr \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).