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.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 28th 2012

    Is the set of natural transformations between two simplicial (abelian) groups a simplicial group or a chain complex?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    It comes to you manifestly as a simplicial abelian group. But since, by the Dold-Kan correspondence, simplicial abelian groups are equivalent to chain complexes, you can equivalently regard it as a chain complex.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 29th 2012

    But for simplicial nonabelian groups, the simplical set of maps is not in general even a simplicial group, for the same reason that the set of group homomorphisms between nonabelian groups is not a group — nonabelian groups not being a commutative theory. Apologies if this is irrelevant; I wasn’t sure how to interpret your parenthetical “(abelian)”.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Hi Mike, your link was broken. I have now made commutative theory redirect to commutative algebraic theory.

    • CommentRowNumber5.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012

    @Mike: You interpreted the parenthetical (abelian) just right. I thought that it should work in the abelian but not in the non abelian situation, but wasn’t sure.

    @Urs: Can you tell explicit how to get the faces and degeneracies in this complex from those of the domain and codomain?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Mirco, it’s the usual internal hom of simplicial sets (see closed monoidal structure on presheaves):

    for X,YX, Y \in sSet (possibly X,YsAbsSetX, Y \in sAb \to sSet), their internal hom [X,Y][X,Y] or Y XY^X (“function complex”) is the simplicial set

    [X,Y]:[n]Hom sSet(Δ[n]×X,Y). [X, Y] : [n] \mapsto Hom_{sSet}(\Delta[n] \times X, Y) \,.

    The face and degeneray maps on this are the evident ones induced from the cosimplicial simplicial set of simplicial simplices: Δ[]:ΔsSet\Delta[-] : \Delta \to sSet.

    If YY has abelian group structure, then this inherits a simplicial abelian group structure by pointwise group operations (just as functions with values in an abelian group form an abelian group).

    • CommentRowNumber7.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    And this is the same as hom sAb(X,Y)hom_{sAb}(X,Y)? For simplicial abelian groups XX and YY? (I mean the same as the set of simplicial morphisms from XX to YY)

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    What I wrote down is the very definition of the simplicial set of homomorphisms of simplicial sets (if that’s what you mean by “simplicial morphisms”). Which is canonically a simplicial abelian group if YY is. I thought that’s what you are asking about.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Oh, sorry, you mean if that’s also group homomorphisms. So above I wrote Hom sSetHom_{sSet}, but you can just as well replace that with Hom sAbHom_{sAb}

    • CommentRowNumber10.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    I mean the set of natural transformations (a.k.a. simplicial morphisms) from one abelian simplicial group into another. Does it have a simplicial structure? If not does it at least have the structure of a chain complex?

    (’Simplicial morphisms’ because they are morphisms between simplicial sets (simplicial ab. groups here). Like linear morphisms are the morphisms between linear sets ect. :-) )

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012

    Okay, looking back I see that I didn’t give a good reply, since I kept talking about just homs of the underlying simplicial sets.

    But the free/forgetful adjunction

    ([]Forget):Set[]Ab (\mathbb{Z}[-] \dashv Forget) : Set \stackrel{\mathbb{Z}[-]}{\to} Ab

    immediately lifts this to what, I think, you are after:

    Proposition The category sAbsAb of simplicial abelian groups is canonically a closed monoidal category where for A,BsAbA,B \in sAb their intenal hom [A,B][A,B] is the simplicial abelian group given by

    [A,B]:[n]Hom sAb(A(Δ[n]),B). [A,B] : [n] \mapsto Hom_{sAb}( A \otimes \mathbb{Z}(\Delta[n]), B) \,.

    I’ll add this to the nLab entry simplicial abelian group now.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012

    Okay, I made a short note here.

    This deserves to be expanded and better organized. But I really need to be looking into something else now.

    If you need a textbook account, try for instance chapter 4 here.

    • CommentRowNumber13.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Thank you. Maybe we can talk later on.

    As far as I understand those things, the internal hom (That is what Urs points to here) is in general not the same thing as the ’external’ hom. And in my situation the set of simplicial morphism from one abelian group into another (Just the plain set of natural transformations) is just the external hom. Hence the answer is only applicable to my situation when there is a theorem stating that we have an isomorphism between the internal and the external hom. Only then I can transfer the simplicial structure from the internal hom to what I’m thinking about.

    Or am I on the wrong road?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012

    What is the external hom for you here? Taken at face value, the external hom would be the set of morphisms Hom sAb(A,B)Hom_{sAb}(A,B). This can’t be what you mean, since you are looking for simplicial structure on the hom. The internal hom is given by that external hom in degree 0 and adds the simplicial structure that you are looking for.

    • CommentRowNumber15.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    That Hom sAb(A,B)Hom_{sAb}(A,B) is what I mean. (I wasn’t aware that the capital H indicates this. I thought the convention was the other way around. Sry)

    Actually I was asking if there is a simplicial structure on Hom sAb(A,B)Hom_{sAb}(A,B) and if not, if there is at least the structure of a chain complex on it. (For the internal hom the situation is clear.)

    So guessing from you replay there is not a simplicial structure on it.

    But at least Hom sAB(A,B)Hom_{sAB}(A,B) is a graded vector space (isn’t it?), so the question remains whether or not there is a differential on it…

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    If you want a simplicial structure on the collection of morphisms, and want it to be a simplicial abelian group or equivalently a chain complex, then what you want is precisely the internal hom [,][-,-] that I gave you in #11.

    • CommentRowNumber17.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012

    Ok, but I have the external Hom in my particular situation and I want to figure out whether or not there is a natural differential on it.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    No. Somehow this discussion is going in circles. If you want the differential, you need that internal hom. Why not just take that?

    What is the situation that you are looking at?

    • CommentRowNumber19.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Ok so there is no natural differential on the external Hom. Then indeed I have to change to the internal hom. The point why I hesitate is just because I’m not an Homotopy expert and the definition of the internal hom looks plain scary to me at first look.

    Working just with the natural transformations between simplicial abelian groups is very easy, because you only have “linear” maps between the dimension groups, satisfying the commutation with faces and degeneracies. But when changing to the internal hom, I can’t see what the elements explicit are.

    Maybe there is an Exercise or something where I can work this out in a test case?

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    But when changing to the internal hom, I can’t see what the elements explicit are.

    I gave you the explicit formula in #11. That expresses the internal hom in terms of the external hom.

    If you can’t parse that formula, let me know which bits are the problem.

    • CommentRowNumber21.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    It should be pointed out that the construction of internal abelian group homs is not particularly special to simplicial sets. If you have any cartesian closed category with equalizers CC, you can form the internal hom of abelian group objects, which will be another abelian group object.

    You can figure out what it looks like just by generalizing from the SetSet-case. If AA, BB are abelian groups, then the internal hom Hom(A,B)Hom(A, B) will be a subset of the full set of functions f:UAUBf: U A \to U B (UAU A being the underlying set), satisfying f(a+a)=f(a)+f(a)f(a + a') = f(a) + f(a'). So we just need to write down an equalizer that expresses this equation.

    Let T=UFT = U F be the monad for FUF \dashv U. The equalizer we want internalizes the commutativity of the diagram

    TUA Tf TUB ξ A ξ B A f B\array{ T U A & \stackrel{T f}{\to} & T U B \\ \mathllap{\xi_A} \downarrow & & \downarrow \mathrlap{\xi_B} \\ A & \underset{f}{\to} & B }

    where the ξ\xi’s are the TT-algebra structure maps. And so we write down

    UB UA TUB TUA UB ξ A ξ B TUA UB TUA\array{ U B^{U A} & \to & T U B^{T U A} \\ & \mathllap{U B^{\xi_A}} \searrow & \downarrow \mathrlap{\xi_B^{T U A}} \\ & & U B^{T U A} }

    where the horizontal arrow comes about via the strength on TT (or the fact that TT is CC-enriched). The equalizer of this diagram is the internal hom.

    The same construction works perfectly well for any commutative algebraic theory TT, or any monoidal monad TT on CC.

    • CommentRowNumber22.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012

    ok. Thanks. I’ll think about it and let you know if there are further problems in the construction of my int hom….

    • CommentRowNumber23.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 29th 2012

    Mirco, it sounds to me that we may have a confusion in language. I think the phrase “a set X has a simplicial structure” has questionable meaning. One can talk about a simplicial set whose 0-simplices are X, and that’s what we have here, since the natural “underlying set” functor from simplicial sets (which produces the “underlying ordinary category” from any simplicially enriched category, such as sAb) just takes the set of 0-simplices. But a simplicial set is a sequence of sets with operations between them, not a single set with operations on it, so I think it’s better to ask whether a set “can be extended to a simplicial set” rather than whether it “has a simplicial structure”.

    • CommentRowNumber24.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012

    Ok. When I say A simplicial set, I mean that sequence of sets, so in my terms a simplicial set is a set of sets together with the structure maps, its elements are the dimension parts. But ok, to be absolutely precise a simplicial set is not a set but the image of a functor hence a category. So it was sloppy to call it that way.

    But what I explicitly NOT mean by a set with simplicial structure is just the degree zero part! So please note that whenever I said ’set with a simplicial structure’ I mean ’simplicial set’ i.e. a sequence of sets with structure maps.

    • CommentRowNumber25.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    So when I ask whether or not the external Hom has a simplicial structure I mean the following:

    Hom sAB(A,B)Hom_{sAB}(A,B) is the set of abelian simplicial morphism. That means it is a sequence of sets\

    Hom sAB(A,B) kHom AB(A k,B k)Hom_{sAB}(A,B)_k \subset Hom_{AB}(A_k,B_k).

    (Because every simplicial morphism f:ABf: A \rightarrow B is determined by its dimension kk parts f k:A kB kf_k : A_k \rightarrow B_k.)

    And now the question is if we can put a simplicial structure on that sequence. This just means whether or not there are appropriate face and degeneracy maps between the Hom sAB(A,B) kHom_{sAB}(A,B)_k ?? I.e are there maps

    d j:Hom sAB(A,B) kHom sAB(A,B) k1d_j : Hom_{sAB}(A,B)_k \rightarrow Hom_{sAB}(A,B)_{k-1}

    s j:Hom sAB(A,B) kHom sAB(A,B) k+1s_j : Hom_{sAB}(A,B)_k \rightarrow Hom_{sAB}(A,B)_{k+1}

    satisfying the coherency equations. Hopefully now it is clear!

    And if this is in general not true,then is there a differential D:Hom sAB(A,B)Hom sAB(A,B)D: Hom_{sAB}(A,B) \rightarrow Hom_{sAB}(A,B)? That means is there a sequence of maps D k:Hom sAB(A,B) k+1Hom sAB(A,B) kD_k: Hom_{sAB}(A,B)_{k+1} \rightarrow Hom_{sAB}(A,B)_k linear with D k1D k=0D_{k-1}D_k=0 ?

    • CommentRowNumber26.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 29th 2012

    Ah, I didn’t see what the confusion was before. A transformation of simplicial abelian groups can be interpreted as a tuple f k k\langle f_k \rangle_k of abelian group homomorphisms A kB kA_k \to B_k, it is true, but the only way I see how to get a set of morphisms A kB kA_k \to B_k from the set Hom sAB(A,B)Hom_{sAB}(A, B) is to take those A kB kA_k \to B_k which are the k thk^{th} component of some simplicial homomorphism f:ABf: A \to B, in other words by taking the image of the k thk^{th} projection map. And this gives you nothing interesting. For example, there aren’t meaningful well-defined face maps

    π k(Hom sAB(A,B))π k1(Hom sAB(A,B)).\pi_k(Hom_{sAB}(A, B)) \to \pi_{k-1}(Hom_{sAB}(A, B)).

    (Or at least I invite you to try to think of some, and see that they won’t work.)

    I think you should probably work with the internal hom, as Urs and Mike suggested. If it helps, the exponential Y XY^X between two simplicial sets (that has ordinary simplicial maps XYX \to Y as its points or 0-cells) should be thought of as a function space, and paths = 1-cells in that function space, IY XI \to Y^X, are equivalent to homotopies I×XYI \times X \to Y, are equivalent to functions to the path space XY IX \to Y^I. This is the meaning of the formula Urs gave you, that nn-cells in Y XY^X are tantamount to maps Δ n×XY\Delta_n \times X \to Y of simplicial sets.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    That means it is a sequence of sets\

    No. It means that it is a subset of the product of all the sets Hom Ab(A k,B k)Hom_{Ab}(A_k,B_k).

    Notice: product, not sequence = coproduct.

    [edit: I see I overlapped with Todd’s latest comment.]

    • CommentRowNumber28.
    • CommentAuthorMirco Richter
    • CommentTimeFeb 29th 2012
    • (edited Feb 29th 2012)

    Ah yes… That was a real mistake in the way I thought about simplicial morphism. So I move on to the construction of the internal hom.

    ….

    Later …

    • CommentRowNumber29.
    • CommentAuthorMirco Richter
    • CommentTimeMar 5th 2012
    • (edited Mar 5th 2012)

    So on the set level ((Δ[n])) m (n+m+1n)(\mathbb{Z}(\Delta[n]))_m \simeq \mathbb{Z}^{\binom{n+m+1}{n}}. Now are there fancy explicit terms for the faces ans degeneracies known?

    Like d j: p q;ad j(a 1,,a p)=somethingd_j: \mathbb{Z}^p \rightarrow \mathbb{Z}^q; a \mapsto d_j(a_1,\ldots,a_{p}) = something

    for p=(n+m+1n)p= \binom{n+m+1}{n} and q=(n+mn)q= {\binom{n+m}{n}}. Doing this as an exercise for a particular (and arbitrary by myself) chosen order on the elements of Δ[n] m\Delta[n]_m and hence on the coordinates of p\mathbb{Z}^p gave me rather involved results when nn gets bigger. So I guess it is hard if possible to give closed forms for the faces and degeneracies for arbitrary nn.

    But nevertheless, maybe there is, so I better ask ! (At least I don’t need them necessarily but thinking about this helps me getting familiar with these things)

    • CommentRowNumber30.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 6th 2012

    Mirco, I sense that your questions can be answered, but before going any further, can I ask you where you are headed with all of this? What is it that you wish to accomplish? :-)

    Please feel free to start a new thread if you don’t think this one would be appropriate.

    • CommentRowNumber31.
    • CommentAuthorMirco Richter
    • CommentTimeMar 6th 2012
    • (edited Mar 6th 2012)

    @Todd: This is just my afford to understand the inner hom for abelian simplicial groups in detail. Since it is based on the products with the (Δ[n])\mathbb{Z}(\Delta[n]) my thought is, that understanding the latter explicit is a good way to start. Whether or not this is reasonable, I don’t know. (If the explicit faces and degeneracies become too involved then likely it is not.)

    From another point of view I think it would be desirable to have those basic constructions explicit (if possible). In my believe this will help to develop a better access to these kind of mathematics from other branches of science where it maybe helps making progress. Personally I found that it is really hard to get into the higher category and simplicial stuff, mostly because it lacks explicit constructions and introductory examples by now.

    So your answer implies that there really are explicit formulars?

    • CommentRowNumber32.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 6th 2012
    • (edited Mar 6th 2012)

    In my view, the constructions discussed in this and related threads are explicit. As I understand it, you want to write down formulas for the set of nn-cells of the internal hom, and face and degeneracy maps. I’m claiming it’s already been done, but you have to know how to interpret the results.

    I might get to saying more on this later, but not now – I have other things I need to do.

    But I hope that at some point you become convinced that category theory is in large degree a way of making mathematics simpler, easier to digest, etc., instead of making life harder, more inaccessible, more obfuscatory, etc. (I hope you won’t mind my saying that knowing the cardinality of hom sets, while nice, is not particularly useful for the present problem; what is more useful is being able to name the elements in an effective way and say what certain operations do to them in terms of how they are named.)

    You should know that category theorists, more often than not, delight in being explicit, and to a large degree react against a lot of mathematics as it was once practiced, with large doses of axiom of choice (where unnecessary) and mere existence statements. Another way of saying it is that category theorists delight in making their mathematics constructive, so that it is easier to transport it to wide contexts.

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeMar 6th 2012
    • (edited Mar 6th 2012)

    Re #29:

    So I guess it is hard if possible to give closed forms for the faces and degeneracies for arbitrary n.

    As Todd says, it’s indeed very simple.

    Let’s try to figure out where you are, so that we can pick you up there. You just need these two steps:

    1. give an explicit description of the morphisms of simplicial sets Δ[k]Δ[l]\Delta[k] \to \Delta[l];

    2. understand for a given function of sets f:STf : S \to T what the corresponding morphism of free abelian groups (S)(T)\mathbb{Z}(S) \to \mathbb{Z}(T) is.

    You should let us know which of these two steps is clear to you, and which not. Is the first step clear, for instance?

    if not, try, as a warmup, to describe all the possible morphisms Δ[1]Δ[2]\Delta[1] \to \Delta[2]. First do it pictorially, if that helps, then try to find a formal language for it that suits you.

    • CommentRowNumber34.
    • CommentAuthorMirco Richter
    • CommentTimeMar 7th 2012

    As I understand it, you want to write down formulas for the set of n-cells of the internal hom, and face and degeneracy maps

    No! Obviously we can’t write the faces and degeneracies of hom(A,B)hom(A,B) explicit because they depend on AA and BB. But when hom(A,B) n=Hom sAb(A(Δ[n]),B)hom(A,B)_n = Hom_{sAb}(A \otimes \mathbb{Z}(\Delta[n]),B), then there is one more thing we can do to make this as explicit as possible:

    We can try to unravel (Δ[n])\mathbb{Z}(\Delta[n]) because (1) it is necessary in the definition of hom(A,B)hom(A,B) and (2) it remains the same once and for all. Hence (in future applications, when AA and BB are not abstract but concrete given from a context) everyone who wants to compute ’his’ hom(A,B)hom(A,B) first has to compute (Δ[n])\mathbb{Z}(\Delta[n]). From this point of view it is just a matter of efficiency to do this just once and add this as additional information to the definition of the inner hom in case of simpl. abelian groups. Then this additional information reflects the fact, that we look not just on the general simplicial inner hom, but on a simplicial inner hom with additional structure. (Abelian group structure in this case.)

    • CommentRowNumber35.
    • CommentAuthorMirco Richter
    • CommentTimeMar 7th 2012
    • (edited Mar 7th 2012)

    @Urs:

    1.) For the morphisms f:Δ[n]Δ[m]f: \Delta[n] \rightarrow \Delta[m] I just know the usual definition that is determined from the general construction of the Yoneda embedding i.e. f(g)=fgf(g) = f \circ g. In addition as far as I know the functor [n]Δ[n][n] \rightarrow \Delta[n] is a cosimplicial set, so the morphisms should be compositions of codegeneracies and cofaces. What they look like I don’t know yet.

    2.) if #(S)=σ#(S)=\sigma and #(T)=θ#(T)=\theta are of finite cardinality and f:STf : S \rightarrow T is a set map, then (S) s=1 σ\mathbb{Z}(S) \simeq \oplus_{s=1}^{\sigma}\mathbb{Z} and f\mathbb{Z}f is a function ’on the coordinates’ that is f(x s 1,,x s σ)=( f(s i)=t 1x f(s i),, f(s i)=t θx f(s σ))\mathbb{Z}f(x_{s_1},\ldots,x_{s_{\sigma}}) = (\sum_{f(s_i)=t_1}x_{f(s_i)},\ldots,\sum_{f(s_i)=t_\theta}x_{f(s_\sigma)}).

    Now using the latter and p:=#(Δ[n] k)=(k+n+1n)p:= #(\Delta[n]_k) = \binom{k+n+1}{n} as well as q:=#(Δ[n] k1)=(k+nn)q:= #(\Delta[n]_{k-1}) = \binom{k+n}{n} with S={f:[k][n]}S = \{f: [k] \rightarrow [n] \} we have an explicit definition of the faces d j:(Δ[n] k)(Δ[n] k1)d_j : \mathbb{Z}(\Delta[n]_k) \rightarrow \mathbb{Z}(\Delta[n]_{k-1}) given by

    (AA) d j: p q;(x f 1,,x f p)( d (j i)=f 1x d j(f i),, d (j i)=f qx d j(f i))d_j: \mathbb{Z}^p \rightarrow \mathbb{Z}^q; (x_{f_1},\ldots,x_{f_p}) \mapsto (\sum_{d_(j_i)=f'_1}x_{d_j(f_i)},\ldots,\sum_{d_(j_i)=f'_q}x_{d_j(f_i)}) and analog for the degeneracies inside a particular Δ[n]\Delta[n]. This is true for any order we have defined on the elements of Δ[n] k\Delta[n]_k i.e. whatever fΔ[n] kf \in \Delta[n]_k we call f 1f_1 and so on.

    That is exactly where I’m :-) … So the question in #29 was IF we can go further:

    Is there an order on the ff’s such that we could write the faces and degeneracies even without explicit reference to the degeneracies and faces and the elements fΔ[n] kf \in \Delta[n]_k ?

    IF this is possible then for example in (Δ[n]) k\mathbb{Z}(\Delta[n])_k the face d_j would look like: d j:(Δ[n] k)(Δ[n] k1);(x 1,,x p)=( ?=1x i,, ?=qx i)d_j: \mathbb{Z}(\Delta[n]_k) \rightarrow \mathbb{Z}(\Delta[n]_{k-1}); (x_{1},\ldots,x_{p}) = (\sum_{?=1}x_{i},\ldots,\sum_{?=q}x_{i}) where the questionmark indicates that I have no idea how to do it. (In addition this depends on both kk and nn). In Δ[1]\Delta[1] and of course Δ[0]\Delta[0] this is quite easy. But in Δ[2]\Delta[2] things getting more complicated…

    But as I said, this is just an additional thought and if nothing like this is known the (AA) is good enough ..

    • CommentRowNumber36.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 7th 2012

    No! Obviously we can’t write the faces and degeneracies of hom(A,B)hom(A,B) explicit because they depend on AA and BB.

    I meant write faces and degeneracies of hom(A,B)\hom(A, B) in terms of the faces and degeneracies on AA and BB. Obviously.

    • CommentRowNumber37.
    • CommentAuthorMirco Richter
    • CommentTimeMar 7th 2012

    Ok … I answered the question late at night.

    • CommentRowNumber38.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 7th 2012

    Ok … I answered the question late at night.

    In the interest of having a productive scientific discussion, I would just like to remind everyone to observe some basic precepts, as laid out long ago here – this is a note to self as much as to anyone else.

    To continue: to write down explicit formulas for the internal hom, a logical starting place is the cartesian closed category structure on the presheaf category Set Δ opSet^{\Delta^{op}}. Suppose XX and YY are simplicial sets. We define

    (Y X) n=Nat(Δ(,n)×X,Y)(Y^X)_n = Nat(\Delta(-, n) \times X, Y)

    If f:[n][m]f: [n] \to [m] is any morphism in Δ\Delta, the function (Y X) f:(Y X) m(Y X) n(Y^X)_f: (Y^X)_m \to (Y^X)_n takes a natural transformation ϕ:Δ(,m)×XY\phi: \Delta(-, m) \times X \to Y to the composite

    Δ(,n)×XΔ(,f)×1Δ(,m)×XϕY.\Delta(-, n) \times X \stackrel{\Delta(-, f) \times 1}{\to} \Delta(-, m) \times X \stackrel{\phi}{\to} Y.

    This is impeccably explicit, provided that you know what Δ(,f)\Delta(-, f) is. I think you do know, but it doesn’t hurt to repeat that it’s the morphism of simplicial sets Δ(,[n])Δ(,[m])\Delta(-, [n]) \to \Delta(-, [m]) which, at the set of jj-cells, takes an ordinal map g:[j][n]g: [j] \to [n] to fg:[j][m]f \circ g: [j] \to [m].

    If XX and YY carry simplicial abelian group structures, then the internal hom [X,Y][X, Y], as a simplicial set, is a subobject of Y XY^X. A very explicit construction of such subobjects, stated for the theory of rings but clearly generalizable to any algebraic theory such as the theory of abelian groups, was given here. The point I wish to make now is that the definition of the face and degeneracy operations on [X,Y][X, Y] is simply gotten by restricting the face and degeneracy operations on Y XY^X, since [X,Y][X, Y] is by construction a subobject of Y XY^X. For example, to define a face operation

    d j:[X,Y] m[X,Y] m1d^j: [X, Y]_m \to [X, Y]_{m-1}

    (corresponding to an inclusion of ordinals ι j:[m1][m]\iota^j: [m-1] \to [m]), just treat an element ϕ[X,Y] m\phi \in [X, Y]_m as an element of (Y X) m(Y^X)_m, and define d j(ϕ)=(Y X) ι j(ϕ)d^j(\phi) = (Y^X)_{\iota^j}(\phi). This is guaranteed to land in [X,Y] m1[X, Y]_{m-1}, by construction of [X,Y][X, Y].

    This way of going about it will relieve you of having to think about applying the free abelian group ()\mathbb{Z}(-) to representables, even though that’s nothing to worry about either.

    Is there anything about these definitions that is inexplicit?

    • CommentRowNumber39.
    • CommentAuthorMirco Richter
    • CommentTimeMar 7th 2012
    • (edited Mar 7th 2012)

    Thanks Todd and Urs for that great amount of time and effort you put into this. I’ll take a back seat and lets these things act on me now.

    • CommentRowNumber40.
    • CommentAuthorMirco Richter
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    Can someone please verify if my understanding of the simplicial abelian group (Δ[n])\mathbb{Z}(\Delta[n]) is correct: (It looks like that here in Berlin/Germany there is nobody I can talk to about these things personal)

    First of all if SS is a finite set of cardinality σ\sigma then (S) j=1 s\mathbb{Z}(S) \simeq \oplus_{j=1}^s\mathbb{Z} and if f:STf: S \rightarrow T is a set map into another finite set of cardinality τ\tau, then it lifts to a unique abelian group mophism (f):(S)(T)\mathbb{Z}(f): \mathbb{Z}(S) \rightarrow \mathbb{Z}(T). On the element level this morphism goes like (f)(z s 1,,z s σ)=( f(s j)=t 1z s j,,( f(s j)=t τz s j)\mathbb{Z}(f)(z_{s_1},\ldots,z_{s_\sigma}) = (\sum_{f(s_j) = t_1} z_{s_j}, \ldots,(\sum_{f(s_j) = t_\tau} z_{s_j}), where f(s j)=t kz s j=0\sum_{f(s_j) =t_k}z_{s_j} =0 if there are no sSs \in S with f(s)=t kf(s)=t_k.


    If this is true, the rest is easy: (Δ[n])\mathbb{Z}(\Delta[n]) is the simplicial abelian group that in dimension mm is given by the abelian group (n+m+1n)\mathbb{Z}^{\binom{n+m+1}{n}} and the faces and degeneracies are explicit ( :-) –overstressed term I know ) given by

    d j: (n+m+1n) (n+mn);(z f 1,,z f (n+m+1n))( fδ j=f 1z f,, fδ j=f (n+mn)z f)d_j : \mathbb{Z}^{\binom{n+m+1}{n}} \rightarrow \mathbb{Z}^{\binom{n+m}{n}} \;; \; (z_{f_1},\ldots,z_{f_{\binom{n+m+1}{n}}}) \rightarrow (\sum_{f\delta^j = f'_1} z_{f}, \ldots,\sum_{f\delta^j = f'_{\binom{n+m}{n}}} z_{f})

    s j: (n+m+1n) (n+m+2n);(z f 1,,z f (n+m+1n))( fσ j=f 1z f,, fσ j=f (n+m+2n)z f)s_j : \mathbb{Z}^{\binom{n+m+1}{n}} \rightarrow \mathbb{Z}^{\binom{n+m+2}{n}} \; ; \; (z_{f_1},\ldots,z_{f_{\binom{n+m+1}{n}}}) \rightarrow (\sum_{f\sigma^j = f''_1} z_{f}, \ldots,\sum_{f\sigma^j = f''_{\binom{n+m+2}{n}}} z_{f})

    with f i:[m][n]f_i : [m] \rightarrow [n], f i:[m1][n]f'_i : [m-1] \rightarrow [n] and f i:[m+1][n]f''_i : [m+1] \rightarrow [n] as well as δ j:[m1][m]\delta^j : [m-1] \rightarrow [m] and σ j:[m+1][m]\sigma^j : [m+1] \rightarrow [m] as usual.

    – No need for an argumentation: This is complicated and of doubtable value – It is just to be absolute sure what I’m doing here.


    For example (Δ[1])\mathbb{Z}(\Delta[1]) is in dimension mm given by m+2\mathbb{Z}^{m+2} with faces and degeneracies:

    d j: m+2 m+1;(z 0,,z m+1)(z 0,,z j+z j+1,,z m+1)d_j: \mathbb{Z}^{m+2} \rightarrow \mathbb{Z}^{m+1} \; ; \; (z_0, \ldots, z_{m+1}) \rightarrow (z_0, \ldots, z_j+z_{j+1}, \ldots, z_{m+1})

    s j: m+2 m+3;(z 0,,z m+1)(z 0,,z j,0,z j+1,,z m+1)s_j: \mathbb{Z}^{m+2} \rightarrow \mathbb{Z}^{m+3} \; ; \; (z_0, \ldots, z_{m+1}) \rightarrow (z_0, \ldots, z_j,0,z_{j+1}, \ldots, z_{m+1})

    If there are no serious errors in here somewhere, this is what I mean by explicit.

    • CommentRowNumber41.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    There seem to be some typos, since you have some ff’s without subscripts. Otherwise it looks like there are no serious errors.

    It’s perhaps not as “explicit” as you might think, since you have not specified a particular way of linearly ordering the elements in hom([m],[n])\hom([m], [n]) (saying which is the first f 1f_1, the second f 2f_2, etc.). But I would immediately add: you don’t have to, and (more strongly) you probably shouldn’t. It seems to me likely to involve unnatural choices which would add nothing to the discussion. The fact that you haven’t specified such a choice of ordering makes me think that you probably agree with me – that it’s beside the point.

    I have an alternate suggestion. You could define (S)\mathbb{Z}(S) to be the set of functions f:Sf: S \to \mathbb{Z} such that f(s)=0f(s) = 0 for all but finitely many sSs \in S. Or just the set of functions f:Sf: S \to \mathbb{Z}, if SS happens to be finite (which is the case here). Such ff are added in the obvious pointwise way, so (S)\mathbb{Z}(S) is an abelian group.

    If h:STh: S \to T is a function, then (h):(S)(T)\mathbb{Z}(h): \mathbb{Z}(S) \to \mathbb{Z}(T) is defined in just the way you said: for any f:Sf: S \to \mathbb{Z}, (h)(f)\mathbb{Z}(h)(f) is the function TT \to \mathbb{Z} defined by the rule

    ((h)(f))(t)= h(s)=tf(s)(\mathbb{Z}(h)(f))(t) = \sum_{h(s) = t} f(s)

    Look, Ma! No subscripts! :-)

    Eilenberg used to give people a hard time about deploying subscripts when it was often totally unnecessary, and I think he had a serious point. You can read one such story here, especially pages 21 and 22.

    • CommentRowNumber42.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    Hi Todd, that last link you gave resolves to http://nforum.mathforge.org/discussion/3608/simplicial-group-structure-on-simpl-morphism-sets/www.nap.edu/html/biomems/seilenberg.pdf (something is going wrong as this is the second such link error I’ve seen.)

    • CommentRowNumber43.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 13th 2012

    I fixed it (I think) while you were writing – try again.

    • CommentRowNumber44.
    • CommentAuthorMirco Richter
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    Ok, so from the point where you already know what is going on here, the index free descriptions/equations are short and you can focus on other things. But on the other side, if you don’t know, the subscript expressions are much faster to understand.

    Finally I must say that for me the only reason against a subscript description is that it seems to be only very simple for (Δ[0])\mathbb{Z}(\Delta[0]) and (Δ[1])\mathbb{Z}(\Delta[1]). The latter subscript expression given at the end of #40 looks very simple and pretty to me.

    Now I failed giving a nice expression for (Δ[2])\mathbb{Z}(\Delta[2]) like the one for (Δ[1])\mathbb{Z}(\Delta[1]), but obviously that doesn’t mean that there is none. Since the elements of the sequences mΔ[n] mm \rightarrow \Delta[n]_m

    can be seen as the ’figurate numbers’, maybe there is an order on them giving a nice expression like that of (Δ[1])\mathbb{Z}(\Delta[1]).

    But that’s not what I’m actually looking for. Now that I know what (Δ[n])\mathbb{Z}(\Delta[n]) means, I’m fine.

    Another point is maybe, that today with TeX and Computers everywhere, indexed formulars just looks much nicer, then in the days of Eilenberg.

    • CommentRowNumber45.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    But on the other side, if you don’t know, the subscript expressions are much faster to understand.

    Well, if you are speaking only for yourself here, then I can’t and won’t argue with that. But if you are speaking on behalf of everyone who is not already accustomed to such things, then permit me to express strong doubts about that.

    Again, you have not specified an isomorphism

    (hom([m],[n]) i=1 (m+n+1n)\mathbb{Z}(\hom([m], [n]) \to \bigoplus_{i=1}^{\binom{m+n+1}{n}} \mathbb{Z}

    you are using. A student might legitimately wonder what you have in mind, how much of a difference it makes, and so on. For that reason alone, I don’t see that using subscripts makes anything faster to understand; it just raises questions where there ought to be none. From the point of view of a categorist (and many other modern-day mathematicians who have learned to use basis-free descriptions of linear algebra constructions when it makes sense to do so), such choices are utterly irrelevant and arguably unnatural, and this is what is really behind my suggestion. Besides that, the suggestion is in my opinion much freer from notational clutter, and gets right down to the essential point.

    • CommentRowNumber46.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 13th 2012

    Another point is maybe, that today with TeX and Computers everywhere, indexed formulars just looks much nicer, then in the days of Eilenberg.

    I don’t agree with that either: same amount of notational clutter. I only agree that TeX and LaTeX are wonderful word document systems, and have made the world a much better place.

    • CommentRowNumber47.
    • CommentAuthorMirco Richter
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    Todd, the isomorphism hom([m],[n]) (n+m+1n)hom([m],[n]) \leftrightarrow \mathbb{Z}^{\binom{n+m+1}{n}} is exactly the point here. Obviously there are many of them and the last question that remains is whether or not we can chose one (not necessarily the same) for any hom([m],[n])\hom([m],[n]) in such a way that the resulting face and degeneracy maps between the (n+m+1n)\mathbb{Z}^{\binom{n+m+1}{n}}’s become ’nice’ relative to these isomorphisms.

    And because I don’t know whether or not this is possible, I leave this piece of information out.

    And in the argumentation pro vs. contra indexing, I think there are good reasons for both descriptions. For example in tensor calculus when doing a real calculation like calculating space time deformation around a black hole of given mass ect., then the index description is preferable because you really have to insert numbers into equations and so on. But understanding the tensor calculus as it is, a index free description is preferable. The point I would like to make here is, that when the tensor calculus is USED in other branches of science they almost ever have to use indexes beyond the pure understanding of the theory.

    When I do mathematics I prefer to know both as far as possible.

    • CommentRowNumber48.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 13th 2012

    When I do mathematics I prefer to know both as far as possible.

    Sure. I know where you’re coming from.

    I think the core of the ’disagreement’, if there is one, is that you seem to be rejecting the descriptions I have offered as being ’explicit’, whereas in my mind they are completely explicit and unambiguous, and clean to boot.

    Of course you may well succeed in obtaining something ’nice’ according to your lights – let me not stand in the way of that! – but I’m still unclear as to what your ultimate plans are with all of this. If there were some calculation you plan to undertake where the conceptual descriptions fall short, and you actually need to work with a nice ordered basis to see your way clear to the end (this is a plural ’you’), then I would be more supportive. But until I’m convinced of such a pragmatic need, I probably wouldn’t bother myself.

    So: why are you going on about homs of simplicial abelian groups? Is there some specific problem you are trying to solve? What are your research plans regarding this, if I may be so bold to ask?

    • CommentRowNumber49.
    • CommentAuthorMirco Richter
    • CommentTimeMar 13th 2012
    • (edited Mar 13th 2012)

    As I said, its just an exercise I’m doing beside regular things. So you are probably right, that it is not worth to worry about.

    And please note that I’m not at all rejecting your descriptions as not being explicit. At that level of abstraction I think they are fine. I just said, that when descending to particular calculations sometimes more details are needed (like bases in LA).

    So category theory is great of course, but it doesn’t fit best on any level of abstraction ;-)

    • CommentRowNumber50.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 14th 2012

    but it doesn’t fit best on any level of abstraction

    ?

    Do you mean, doesn’t fit best on every level of abstraction? (Still don’t know what is meant, but it might not be important enough to worry about.)

    • CommentRowNumber51.
    • CommentAuthorMirco Richter
    • CommentTimeMar 14th 2012

    every*

    • CommentRowNumber52.
    • CommentAuthorTim_Porter
    • CommentTimeMar 14th 2012

    Mirco, my own experience with indices and choice of bases is that they should be put off until the very last possible time. They lead to a much greater chance of slips and in any reasonably long calculation if the result looks wrong it is very very difficult to find if there is a slip or if the calculation is giving you something interesting and new (but unexpected). One the other hand in calculations using shuffles etc, you need the indices AND a conceptual framework (usually categorical, combinatorial and geometric, all at the same time) for seeing how to pair up terms, but the indices are there to help not to hinder the concepts behind the calculations are what really makes things tick.

    • CommentRowNumber53.
    • CommentAuthorMirco Richter
    • CommentTimeMar 14th 2012
    • (edited Mar 14th 2012)

    @Tim_Porter: I totally agree…


    But back on topic i.e. on the understanding of the free simplicial abelian group (Δ[n])\mathbb{Z}(\Delta[n]):

    Is the following true: If a simplicial set SS has only degenerate simplices in any dimension above lets say dimension mm (that is every such element is in the image of a degeneracy map) then sk n(S)Ssk^n(S) \simeq S.

    Suppose this is true and we call such a simplicial set degenerate from dimension m. Now Δ[n]\Delta[n] is degenerate from dimension nn,i.e sk m(Δ[n])=Δ[n]sk^m(\Delta[n]) = \Delta[n] for all mn+1m \geq n+1. Does the same hold for (Δ[n])\mathbb{Z}(\Delta[n]) ? Is it degenerate from dimension n, too?

    I think it should be, but if we take the expression of (Δ[1])\mathbb{Z}(\Delta[1]) given in #4 at the end we have the following:

    (Δ[1]) 2\mathbb{Z}(\Delta[1])_2 should be degenerate, that is every element should be in the image of a degeneracy map. But this is not the case! To see that take (z 0,z 1,z 2,z 3)(Δ[1]) 2(z_0,z_1,z_2,z_3) \in \mathbb{Z}(\Delta[1])_2 with z 10z_1 \neq 0 and z 20z_2 \neq 0. Then this is neither in the image of s 0s_0 nor in the image of s 1s_1, hence it is not degenerate, right? It is the sum of degenerated elements, but that is not the same, I think.

    So in any dimension 2 \geq 2 any element is the sum of degenerated elements. In contrast in dimension 1 not every element is the sum of degenerate elements.

    So what is going on here?

    • CommentRowNumber54.
    • CommentAuthorMirco Richter
    • CommentTimeMar 14th 2012

    Is it because sk nsk^n is defined to be ’freely filled’ with degenerate simplices in dimension above nn and this ’freely’ means in our context that sk nsk^n is defined by arbitrary sums of degenenerate simplices?