Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 21st 2014
    • (edited May 21st 2014)

    we didn’t have any entry defining coherent cohomology, did we?

    (I notice that we are lacking also an entry coherent object. That really needs to be created.)

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 22nd 2014
    • (edited May 22nd 2014)

    Maybe it would be better that the related entry triangulated categories of sheaves be titled in singular instead. There is nothing fundamentally plural about the concept (like one has cohesive topos).

    Now this point is TRICKY: the concept of coherent sheaf in Grothendieck EGA is far more subtle than the concept of coherent object. The two definitions agree for the sheaves above noetherian schemes where the simplified definition a la Hartshorne holds. You see, the thing is also about the passage to the local ! Coherent object is about a global property while the sheaf version is also about behaviour under restrictions to small open subsets.

    Therefore please do not defined coherent sheaves as coherent objects in some category of sheaves unless we work with very specific setups where this is true.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2014

    Okay, thanks, I added a “Noetherian” qualifier. Somebody should expand on that, anyway.

    Also I have added now a pointer to

    and cited the equivalence to coherent sheaves over Noetherian schemes.

    • CommentRowNumber4.
    • CommentAuthoradeelkh
    • CommentTimeMay 30th 2014
    • (edited May 30th 2014)

    That survey is very nice, but I think SGA 6 is a better reference for these fundamental facts, since it contains proofs and has a more thorough discussion of the situation. The coherent version of the statement is Exp. II, Corollaire 2.2.2.1 (and is mentioned on triangulated categories of sheaves) while the quasi-coherent version is Proposition 3.7, b) of the same Exposé (with more general assumptions).

    At some point, I would like to rewrite the page triangulated categories of sheaves. I think it should be split into different pages on the various variants (quasi-coherent, coherent, perfect complexes). I don’t have energy for that at the moment, though.

    Regarding the noetherian hypothesis for the coherent statement, that’s not surprising since even the structure sheaf is not coherent without this assumption.

    What is a coherent object?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2014
    • (edited May 30th 2014)

    Okay, thanks, I have now added all these pointers here.

    • CommentRowNumber6.
    • CommentAuthorZhen Lin
    • CommentTimeMay 31st 2014

    Following Johnstone, a coherent object in a topos is an object XX with these properties:

    • XX is compact, i.e. the top element of Sub(X)Sub (X) is compact.
    • For all morphisms UXU \to X, if UU is compact, then so is (the domain of) the kernel pair.

    This is more-or-less a direct translation of the usual definition of coherent sheaf on a locally ringed space.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2014

    You are kindly invited to add something to coherent object.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeJun 2nd 2014

    Coherent objects in abelian categories are defined e,g. in Popescu’s book.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2014
    • (edited Jun 3rd 2014)

    Just to clarify: I am not asking for the definition, but am suggesting that somebody writes an entry about it.

    You know how the joke goes:

    A: Excuse me, do you happen to know the directions from here to the train station?

    B: Sorry, no, I don’t.

    A: Okay, so pay attention, it’s like this: from here you first go straight this way, then take the second to left,then…

    :-)

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 2nd 2014

    That joke was recently retold in a Saturday Night Live sketch, about 2 minutes in.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeJun 2nd 2014

    Urs, if one recalls something, that is if one invested some time in past some time into it. Sometimes a day, sometimes a month or more. That makes you noticing some traps or inconsistencies. Experience which took lots of past time is in a way precious even if it faded away to be operable. If one is working on some subject CURRENTLY that one is ready to invest time and can effectively navigate in it, and probably has a reason to spend time on it, though one may lack some particular insight or experience. A side observer is NOT currently working on it, nor would be easy for him to change to that topic and operatively write anything about it; he can help only by offering some insight which is a remnant of past spent time.

    • CommentRowNumber12.
    • CommentAuthoradeelkh
    • CommentTimeJun 2nd 2014

    I put something at coherent object, but I am not very familiar with topos theory, so please feel free to add more. In particular, it would be nice if someone wrote down explicitly the link with the usual definition of coherent sheaf.

    • CommentRowNumber13.
    • CommentAuthorZhen Lin
    • CommentTimeJun 2nd 2014

    Err, there should be a huge warning that “compact” here does not mean finitely presented…

    • CommentRowNumber14.
    • CommentAuthoradeelkh
    • CommentTimeJun 3rd 2014

    Yeah, I have no idea what compact is supposed to mean here though.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2014
    • (edited Jun 3rd 2014)

    Thanks, Adeel, for starting something! That’s the way to go..

    I have briefly added pointers to related material in the DAG series here at “coherent object” and here at “coherent infinity-topos”. Also created a stub for Deligne-Lurie completeness theorem.

    But the relation to coherent sheaves still needs more discussion.

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeJun 3rd 2014
    • (edited Jun 3rd 2014)

    Now I recall that I put the definition of coherent object in AB5-category context within the entry finite type on April 21 (when I had the access to

    • Nicolae Popescu, Abelian categories with applications to rings and modules, London Math. Soc. Monographs 3, Academic Press 1973. xii+467 pp. MR0340375,

    which I do not have these days). I will copy it into coherent object. I still think that finite type is an algebraic condition and that rational homotopy theory FTOC is not that suitable there.

    An object XX in an AB5-category CC is of finite type if one of the following equivalent conditions hold:

    (i) any complete directed set {X i} iI\{X_i\}_{i\in I} of subobjects of XX is stationary

    (ii) for any complete directed set {Y i} iI\{Y_i\}_{i\in I} of subobjects of an object YY the natural morphism colim iC(X,Y i)C(X,Y)colim_i C(X,Y_i) \to C(X,Y) is an isomorphism.

    An object XX is finitely presented if it is of finite type and if for any epimorphism p:YXp:Y\to X where YY is of finite type, it follows that kerpker\,p is also of finite type. An object XX in an AB5 category is coherent if it is of finite type and for any morphism f:YXf: Y\to X of finite type kerfker\,f is of finite type.

    For an exact sequence 0XXX00\to X'\to X\to X''\to 0 in an AB5 category the following hold:

    (a) if XX' and XX'' are finitely presented, then XX is finitely presented;

    (b) if XX is finitely presented and XX' of finite type, then XX'' is finitely presented;

    (c) if XX is coherent and XX' of finite type then XX'' is also coherent.

    For a module MM over a ring RR this is equivalent to MM being finitely generated RR-module. It is finitely presented if it is finitely presented in the usual sense of existence of short exact sequence of the form R IR JM0R^I\to R^J\to M\to 0 where II and JJ are finite.

    • CommentRowNumber17.
    • CommentAuthorZhen Lin
    • CommentTimeJun 3rd 2014

    I fixed the definition of coherent object in an ordinary topos.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)