Processing math: 100%
Not signed in (Sign In)

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.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011
    • (edited Jan 11th 2011)

    People around me use a concrete definition of morphisms between pro-objects via the representatives. I will sketch this later this afternoon, but it is well-known and obvious. But if one passes from

    ProC(F,G)=limdcolimcHomC(Fc,Gd)

    to representatives ([sc,d])d, which are threads of germs then one notices that such a representative if written explicitly is in fact involving a choice of a function dcd, hence to describe the maps as threads of germs one seems to need an axiom of choice. So suppose we do not have an axiom of choice. Do we have then two non-equivalent categories of pro-objects ?

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011
    • (edited Jan 11th 2011)

    In fact I do not like the Pro-C or proC kind of notation from pro-object. I mean I see no point in dash here, and ProC or Pro(C) find better.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011

    I wrote some references into pro-object and struggle with writing up the derivation of the elementary definition, using axiom of choice. Sorry, wait a bit until it is a correct version.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011

    Here we are (this is now extended central part of pro-object where I have written the explicit description):

    The objects of pro-C are diagrams F:DC where D is a small cofiltered category. The set of morphisms between F:DC and G:EC is

    pro-C(F,G)=limeEcolimdDC(Fd,Ge)

    The limit and colimit is taken in the category of sets; we know that cofiltered limits there are “threads” and filtered colimits are germs (classes of equivalences). Thus a representative of sproC(F,G) is a thread whose each component is a germ:
    s=(germe(s))eE which can be more concretely written as ([sde,e])e; thus [sde,e]colimdDC(Fd,Ge) where sde,eC(Fde,Ge) is some representative of the class; there is at least one de for each e; if the domain E is infinite, we seem to need an axiom of choice in general to find a function ede which will choose one representative in each class germe(s). Thus s is given by the following data

    • function ede

    • correspondence esde,eC(Fde,Ge)

    such that ([sde,e])e is a thread, i.e. for any γ:ee we have an equality of classes (germs) [G(γ)sde,e]=[sde,e]. This equality holds if there is a d and morphisms δe:dde, δe:dde such that G(γ)sde,eFδe=sde,eFδe. (Usually in fact people consider the dual of D and the dual of C as filtered domains). Now if we chose a different function e˜de instead then, ([sde,e])e=([s˜de,e])e, hence by the definition od classes, for every e there is a dD and morphisms σe:dde, ˜σe:d˜de such that s˜de,eF(˜σe)=sde,eF(σe).

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011

    Now the composition !

    pro-C(F,G)=limeEcolimdDC(Fd,Ge)
    pro-C(G,H)=limbBcolimaEC(Ga,Hb)

    Seek for a map

    limbBcolimaEC(Ga,Hb)×limeEcolimdDC(Fd,Ge)limbBcolimdDC(Fd,Hb)

    It is easy to write it down in terms of germs and threads, but now I look to see it from general nonsense point of view (I mean first principles), before writing it up into the entry.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeJan 11th 2011

    In the absence of AC I would just use an entire relation instead of a function.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2011
    • (edited Jan 11th 2011)

    Thanks, Mike, I will think about your advice!

    Continuing old story … just for the record.

    In terms of threads and germs (just for the record): sproC(F,G), tproC(G,H) is are given by functions ede, bab, and representatives ([sde,e])e, ([tab,b])b where sde,eC(Fde,e) and tab,bC(Gab,Hb). We need another function bdb and ([(ts)db,b)b and this is clearly the composition babdab. Furthermore,

    (ts)dab,b=sdab,abtab,b.

    Now one needs to show that this is well defined and that indeed it defines a thread of germs, more precisely a well defined element

    ([sdab,abtab,b])blimbBcolimdDC(Fd,Hb).

    There are two things to check: first that one indeed has a thread (compatibility relation for all morphisms bb), and then that the definition does not depend on various choices.