categories - Category Theory list
 help / color / mirror / Atom feed
From: Colin McLarty <colin.mclarty@case.edu>
To: categories@mta.ca
Subject: Proving enough injectives for modules over a Grothendieck topos
Date: Sun, 10 Oct 2010 11:58:29 -0400	[thread overview]
Message-ID: <E1P53Yf-0004VD-Ng@mlist.mta.ca> (raw)

It seems to me there is a nearly elementary proof that the category of
sheaves of modules over any sheaf of rings in a Grothendieck topos has
enough injectives.  I want to check it here because I do not see it
published anywhere.  People normally cite Grothendieck's Tohoku to
prove the result.

To give the outline:  Johnstone TOPOS THEORY (p. 261) proves the
category of Abelian groups in any Grothendieck topos has enough
injectives.  Eisenbud COMMUTATIVE ALGEBRA (p. 621) uses adjunctions
between module categories (over sets) to turn injectives in Abelian
groups into enough injectives in any module category (over sets).
These adjunctions lift to the categories of Modules in ringed toposes
(E,R) over a fixed base topos E -- and so the category of R-Modules in
E has enough injectives.

In more detail, Eisenbud does not put it in terms of adjunctions.  But
in effect he shows the underlying group functor R-Mod-->AbGrp from
R-modules to Abelian groups (over Set) has a right adjoint taking each
Abelian group A to the R-module of additive functions from R to A
(i.e. the R-module of Abelian group morphisms from the underlying
group of R to A).

Of course the underlying group functor is also left exact (indeed has
a left adjoint, change of base from the integers Z to R).  And a right
adjoint to any exact functor preserves injectives.  So take any
R-module M, embed it additively into an injective Abelian group M>-->Q
and map this back to R-modules by the right adjoint.  It is easy to
see that M has a monic to the domain of the morphism and so embeds in
an injective R-module.

Grothendieck in SGA 4 casts this in terms of ringed toposes.  So far
as I can see he does not talk about the right adjoint to the
underlying group functor, and does not connect this to injectives, but
it lifts routinely unless I am missing something.

Every ring R in a topos E is also an additive Abelian group in E.  On
the other hand, for any Abelian group A in E we can form the group
HOM(R,A) where I write HOM to indicate this is an E object and not the
set of arrows.    But HOM(R,A) is also an R-module by the action of R
on arguments: any r \in R times a function f \in HOM(R,A) is the
function that multiplies by r first and then applies f.

So HOM(R,_) is a functor from Abelian groups in E to R-modules in E,
and the same straightforward calculation as we use  in Set shows it is
right adjoint to the underlying group functor.  So it preserves
injectives, and the same step as in Eisenbud shows we can use it to
embed every R-module into an injective R-module.

Is that reasonably clear?  Is it right?

best, Colin


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


             reply	other threads:[~2010-10-10 15:58 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-10-10 15:58 Colin McLarty [this message]
2010-10-11  9:00 ` Prof. Peter Johnstone
     [not found] ` <alpine.LRH.2.00.1010110959110.7861@siskin.dpmms.cam.ac.uk>
2010-10-11 14:19   ` Colin McLarty
2010-11-26  0:52     ` dalizan

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=E1P53Yf-0004VD-Ng@mlist.mta.ca \
    --to=colin.mclarty@case.edu \
    --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).