The goal of this post is to give an alternative perspective on making a sheaf over X=Ran⩽n(M)×R⩾0, alternative to that of a previous post ("Artin gluing a sheaf 3: the Ran space," 2018-02-05). We will have one unique sheaf on all of X, valued either in simplicial complexes or simplicial sets.
Remark: Here we straddle the geometric category SC of simplicial complexes and the algebraic category sSet of simplicial sets. There is a functor [ ⋅ ]:SC→sSet for which every n-simplex in S gets (n+1)! elements in [S], representing all the ways of ordering the vertices of S (which we would like to view as unordered, to begin with).
Recall from previous posts:
Lemma: A descending path γ:I→X induces a unique morphism h(γ(0))→h(γ(1)).
Proof: Write γ(0)={P1,…,Pn} and γ(1)={Q1,…,Qm}, with m⩽n. Since the path is descending, points can only collide, not split. Hence γ induces n paths γi:I→M for i=1,…,n, with γi the path based at Pi. This induces a map h(γ(0))0→h(γ(1))0 on 0-cells (vertices or 0-objects), which completely defines a map h(γ(0))→h(γ(1)) in the desired category. ◻
Our sheaves will be defined using colimits. Fortunately, both SC and sSet have (small) colimits. Finally, we also need an auxiliary function σ:Op(X)→SC that finds the correct simplicial complex. Define it by σ(U)={Sk,ℓ if U≠∅, for k=max{1⩽k′⩽n : U∩Rank(M)×R⩾0≠∅},ℓ=max{1⩽ℓ′⩽Nk : U∩Bk,ℓ′≠∅},∗ if U=∅.
Proposition 1: Let F be the function Op(X)op→SC on objects given by F(U)=colim(σ(U)⇉S : every σ(U)→S is induced by a descending γ:I→U). This is a functor and satisfies the sheaf gluing conditions.
Proof: We have a well-defined function, so we have to describe the restriction maps and show gluing works. Since V⊆U⊆X, every S in the directed system defining F(V) is contained in the directed system defining F(U). As there are maps σ(V)→F(V) and S→F(V), for every S in the directed system of V, precomposing with any descending path we get maps σ(U)→F(V) and S→F(V), for every S in the directed system of U. Then universality of the colimit gives us a unique map F(U)→F(V). Note that if there are no paths (decending or otherwise) from U to V, then the colimit over an empty diagram still exists, it is just the initial object ∅ of SC.
To check the gluing condition, first note that every open U⊆X must nontrivially intersect Rann(M)×R⩾0, the top stratum (in the point-counting stratification). So for W=U∩V, if we have α∈F(U) and β∈F(V) such that α|W=β|W is a k-simplex, then α and β must have been k-simplices as well. This is because a simplicial takes a simplex to a simplex, and we cannot collide points while remaining in the top stratum. Hence the pullback of S∋α and T∋β via some induced maps (by descending paths) from U to W and V to W, respectively, will restrict to the identity on the chosen k-simplex. Hence the gluing condition holds, and F is a sheaf. ◻
Functoriality of [ ⋅ ] allows us to extend the proof to build a sheaf valued in simplicial sets.
Proposition 2: Let G be the function Op(X)op→sSet on objects given by G(U)=colim([σ(U)]⇉S : every [σ(U)]→S is induced by a descending γ:I→U). This is a functor and satisfies the sheaf gluing conditions.
Remark: The sheaf G is non-trivial on more sets. For example, any path contained within one stratum of X induces the identity map on simplicial sets (though not on simplicial complexes). Hence G is non-trivial on every open set contained within a single stratum.
References: nLab (article "Simplicial complexes"), n-category Cafe (post "Simplicial Sets vs. Simplicial Complexes," 2017-08-19)
Remark: Here we straddle the geometric category SC of simplicial complexes and the algebraic category sSet of simplicial sets. There is a functor [ ⋅ ]:SC→sSet for which every n-simplex in S gets (n+1)! elements in [S], representing all the ways of ordering the vertices of S (which we would like to view as unordered, to begin with).
Recall from previous posts:
- maps f:X→SC and g=[f]:X→sSet,
- the SCk-stratification of Rank(M)×R⩾0,
- the point-counting stratification of Ran⩽n(M),
- the combined (via the product order) SC⩽n-stratification of Ran⩽n(M)×R⩾0,
- an induced (by the SCk-stratification) cover by nested open sets Bk,1,…,Bk,Nk of Rank(M)×R⩾0,
- a corresponding induced total order Sk,1,…,Sk,Nk on f(Rank(M)×R⩾0).
Lemma: A descending path γ:I→X induces a unique morphism h(γ(0))→h(γ(1)).
Proof: Write γ(0)={P1,…,Pn} and γ(1)={Q1,…,Qm}, with m⩽n. Since the path is descending, points can only collide, not split. Hence γ induces n paths γi:I→M for i=1,…,n, with γi the path based at Pi. This induces a map h(γ(0))0→h(γ(1))0 on 0-cells (vertices or 0-objects), which completely defines a map h(γ(0))→h(γ(1)) in the desired category. ◻
Our sheaves will be defined using colimits. Fortunately, both SC and sSet have (small) colimits. Finally, we also need an auxiliary function σ:Op(X)→SC that finds the correct simplicial complex. Define it by σ(U)={Sk,ℓ if U≠∅, for k=max{1⩽k′⩽n : U∩Rank(M)×R⩾0≠∅},ℓ=max{1⩽ℓ′⩽Nk : U∩Bk,ℓ′≠∅},∗ if U=∅.
Proposition 1: Let F be the function Op(X)op→SC on objects given by F(U)=colim(σ(U)⇉S : every σ(U)→S is induced by a descending γ:I→U). This is a functor and satisfies the sheaf gluing conditions.
Proof: We have a well-defined function, so we have to describe the restriction maps and show gluing works. Since V⊆U⊆X, every S in the directed system defining F(V) is contained in the directed system defining F(U). As there are maps σ(V)→F(V) and S→F(V), for every S in the directed system of V, precomposing with any descending path we get maps σ(U)→F(V) and S→F(V), for every S in the directed system of U. Then universality of the colimit gives us a unique map F(U)→F(V). Note that if there are no paths (decending or otherwise) from U to V, then the colimit over an empty diagram still exists, it is just the initial object ∅ of SC.
To check the gluing condition, first note that every open U⊆X must nontrivially intersect Rann(M)×R⩾0, the top stratum (in the point-counting stratification). So for W=U∩V, if we have α∈F(U) and β∈F(V) such that α|W=β|W is a k-simplex, then α and β must have been k-simplices as well. This is because a simplicial takes a simplex to a simplex, and we cannot collide points while remaining in the top stratum. Hence the pullback of S∋α and T∋β via some induced maps (by descending paths) from U to W and V to W, respectively, will restrict to the identity on the chosen k-simplex. Hence the gluing condition holds, and F is a sheaf. ◻
Functoriality of [ ⋅ ] allows us to extend the proof to build a sheaf valued in simplicial sets.
Proposition 2: Let G be the function Op(X)op→sSet on objects given by G(U)=colim([σ(U)]⇉S : every [σ(U)]→S is induced by a descending γ:I→U). This is a functor and satisfies the sheaf gluing conditions.
Remark: The sheaf G is non-trivial on more sets. For example, any path contained within one stratum of X induces the identity map on simplicial sets (though not on simplicial complexes). Hence G is non-trivial on every open set contained within a single stratum.
References: nLab (article "Simplicial complexes"), n-category Cafe (post "Simplicial Sets vs. Simplicial Complexes," 2017-08-19)
No comments:
Post a Comment