From: Richard Garner <richard.garner@mq.edu.au>
To: Categories mailing list <categories@mta.ca>
Subject: when is Lex[A,V] abelian?
Date: Sat, 25 Feb 2012 05:09:04 +0000 [thread overview]
Message-ID: <E1S1G9L-0004xV-Ni@mlist.mta.ca> (raw)
Hi Ignacio,
If C has finite limits (in fact kernels would do) as well as finite
colimits, then Lex[C^op, V] abelian actually implies C abelian.
Indeed, the restricted Yoneda embedding C -> Lex[C^op, V] then
preserves limits and finite colimits, and is fully faithful; whence C
may be identified with a full subcategory of L closed under finite
limits and finite colimits. But any such subcategory of an abelian
category is itself abelian.
This then means that Lex[C^op, V] abelian => C abelian => Lex[C^op, V]
Grothendieck abelian. When V = Ab, this is sufficient to ensure that
Lex[C^op, V] is lex-reflective in [C^op, V]. Off the top of my head, I
don't know if the same is true when V = k-Mod; I feel like it might be
necessary to assume that, for every f.p. flat k-module M, the functor
M * (-) : C -> C preserves monomorphisms. Maybe that's automatic; I
don't know enough algebra to say for sure.
If C doesn't have kernels, then the situation is more interesting. I
believe it should still be possible to give elementary conditions on C
which are equivalent to L's being abelian. The point is that kernels
do exist in L and so one can work out what it means for L to satisfy
the kernel-cokernel exactness conditions for maps between
representables in terms of structure in C. This will give some
necessary conditions on C for L to be abelian. With any luck they will
also be sufficient, though it might be necessary to consider a wider
class of maps in L than merely those between representables.
A relevant article, I think, is
C. Centazzo, R.J. Wood
An extension of the regular completion
J. Pure Appl. Algebra, 175 (2002), pp. 93–108
That deals with the non-additive context but the same ideas should
apply. I am also wondering if Mike Shulman's work on unary sites is
relevant; see his CT2011 slides.
Richard
On 22 February 2012 11:31, Ignacio Lopez Franco <ill20@cam.ac.uk> wrote:
> Dear all,
> may be some of the readers of this list will know the answer to the
> following question.
>
> Let V be the category k-Mod for commutative ring k.
> For a finitely cocomplete V-category C, when is L = Lex[C^{op},V] abelian?
>
> I know some cases:
> 1. When C is abelian so is L.
> 2. When C is a free completion under finite colimits of a small
> category, L is abelian (because it's equivalent to a presheaf
> V-category).
> 3. L is reflective in the abelian [C^{op},V]. When the reflection is
> left exact L is abelian. However I don't any conditions that
> guaranty that the reflection is left exact.
>
> I would like to know some other conditions that ensure that L is
> abelian, and perhaps an example where L is not abelian.
>
> Thanks
> Ignacio
>
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next reply other threads:[~2012-02-25 5:09 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-25 5:09 Richard Garner [this message]
-- strict thread matches above, loose matches on Subject: below --
2012-02-22 11:31 Ignacio Lopez Franco
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=E1S1G9L-0004xV-Ni@mlist.mta.ca \
--to=richard.garner@mq.edu.au \
--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).