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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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
    • CommentTimeAug 15th 2010
    • (edited Aug 15th 2010)

    For XX a manifold and U iXU_i \to X a (good) cover with Cech nerve C(U i)C(U_i) and its geometric realization |C(U i)||C(U_i)|, is the canonical map |C(U i)|X|C(U_i)| \to X a Hurewicz fibration?

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 16th 2010

    Actually, one could try to say some interesting things here. First, if good covers are numerable, then |C(U i)|X|C(U_i)| \to X is shrinkable for U iXU_i \to X a good cover. This depends on what sort of manifold you are looking at. Paracompactness of the manifold should give us that good covers are close to numerable, if not actually numerable (probably only need point-finiteness of the good cover of a paracompact manifold to ensure that the cover can be itself numerable). Note that a shrinkable map is a Dold fibration – but not all Dold fibrations are Hurewicz fibrations.

    Why do you need this?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2010
    • (edited Aug 16th 2010)

    Thanks, David, that’s very useful!

    Do you happen to know also something about the following refinement of the question:

    suppose the manifold XX with numerable open cover U iXU_i \to X is smooth. Then its Cech nerve realization |C({U i})||C(\{U_i\})| is a space that is cell-wise smooth or something like that.

    Let XX be smoothly contractible by a smooth homotopy f:X×IXf : X \times I \to X. Let

    f *|C({U i})| |C({U i})| X×I f X \array{ f^* |C(\{U_i\})| &\to& |C(\{U_i\})| \\ \downarrow && \downarrow \\ X \times I &\stackrel{f}{\to}& X }

    be the pullback of the nerve of the Cech cover to the correspondence space. I want to find a lift in the diagram

    |C({U i})| 0 f *|C({U i})| |C({U i})|×I X×I \array{ |C(\{U_i\})| &\stackrel{0}{\to}& f^* |C(\{U_i\})| \\ \downarrow && \downarrow \\ |C(\{U_i\})| \times I &\to& X \times I }

    which is cell-wise smooth.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 16th 2010
    • (edited Aug 17th 2010)

    OK. Given the numerable cover U= aU aXU=\coprod_a U_a \to X, there is a cover refining f *UX×If^*U \to X\times I (which is neither open nor closed (Edit: the refining cover, that is)) of the form a(V a×p a)X×I\coprod_a (V_a \times p_a) \to X\times I where p ap_a is a partition, namely a closed cover of I which is the disjoint union of a finite number of sub-intervals of II that only intersect at their endpoints, and V= aV aXV=\coprod_a V_a \to X is a cover (this is due to Dold). If UU is a finite cover (say if XX is compact) we can obviously refine this to V×pV\times p for some partition pp.

    So we get a commuting diagram

    a(V a×p a) U V×I X×I f X \array{ \coprod_a (V_a \times p_a) &\to& U \\ \downarrow && \downarrow \\ V \times I && \downarrow \\ \downarrow && \downarrow \\ X \times I &\stackrel{f}{\to}& X }

    I don’t know if it true, but I wonder if a result like |C( a(V a×p a))||C(V)|×I|C(\coprod_a (V_a \times p_a))| \stackrel{\sim}{\to} |C(V)|\times I holds. I suspect that this map (call it ξ\xi) is shrinkable. A simple example should give some insight, but I can’t think of one right now. Since |C(V)|X|C(V)| \to X is shrinkable, then it has a section. Now the trick is getting the putative section of ξ\xi to have the right initial values (i.e. over X×{0}X\times\{0\}, or rather the lift of this to |C(V)|×I|C(V)|\times I) so that we get a lift in the original square.

    Unfortunately I cannot say anything intelligent about smoothness at present.

    For reference to the result of Dold, see A.2.19 in Dold’s Lectures on Algebraic Topology (search for ’stacked covering’ in Google books, for example)

    Hope this helps some more.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2010

    Thanks again, David. Indeed, that does help some more. I’ll look at the reference by Dold that you mention.

    One minor question. You write:

    Given the numerable cover U= aU aXU=\coprod_a U_a \to X, there is a cover refining f *UX×If^*U \to X\times I (which is neither open nor closed)

    Why do you say it’s not open? It is the pullback of an open cover along a continuous map.

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 16th 2010

    f *UX×If^*U \to X\times I is an open cover, but the cover a(V a×p a)X×I\coprod_a (V_a \times p_a) \to X\times I is not (I can see why you ask - my sentence is not clear). It is a refinement in the sense that there is a commuting triangle

    a(V a×p a) f *U X×I \array{ \coprod_a (V_a \times p_a) &\to& f^*U \\ &\searrow& \downarrow \\ && X \times I }

    I may not have got the indexing set right for the refinement, see the reference by Dold I gave to clear that up.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2010
    • (edited Aug 16th 2010)

    Ah, I see.

    Still have to look at Dold, will do that now.

    By the way, my application for the smoothness is this: I want to prove that every smooth GG-principal \infty-bundle is locally equivalent to the trivial one, if GG is obtained by Lie integration of an \infty-Lie algebra.

    I already have a proof that every GG-principal \infty-bundle admits a genuine \infty-connection. That means that for

    C({U i})BG C(\{U_i\}) \to \mathbf{B}G

    the cocycle for the \infty-bundle, in total I can construct locally smooth differential forms on |C({U i})||C(\{U_i\})| with values in the \infty-Lie algebra 𝔤\mathfrak{g} whose curvature vanishes on all “internal” directions (simplicial directions not along one of the U i 0,i nU_{i_0, \cdots i_n}).

    So that’s a morphism |C({U i})|Ω(,𝔤)|C(\{U_i\})| \to \Omega(-, \mathfrak{g}). On simplices these forms encode the cocycle, on patches U IU_I the connection.

    Now if I had a pasting diagram

    f *|C({U i})| |C({U i})| Ω(,𝔤) C({U i})×I X×I X, \array{ && f^* |C(\{U_i\})| &\to& |C(\{U_i\})| &\to& \Omega(-,\mathfrak{g}) \\ &\nearrow& \downarrow && \downarrow \\ C(\{U_i\}) \times I &\to& X \times I &\to& X } \,,

    then the total top outer morphism would constitute the homotopy from the given cocycle to the trivial cocycle.

    This is (or would be, if it all works as I am expecting it should) the \infty-analog of how you can find a local trivialization of a bundle by choosing a connection on it and then using locally the paralle transport of the connection to identify fibers. In my articles with Konrad we give explicit by-hand formulas for the lifts that do give the above diagram in low categorical degree. Now I would like to find the fully general formulation.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 17th 2010

    I think this can be done. Passing to the cover aV a×p aX×I\coprod_a V_a \times p_a \to X\times I, and choosing a lift of ff to UU (I mean ff restricted to this cover), means for each path {x}×If(x,)X\{x\}\times I \stackrel{f(x,-)}{\to} X, taking a partition of II and lifting each subinterval to elements of the cover, to give a path in the groupoid C(U)C(U). On taking the geometric realisation (possibly we should be thinking fat realisation? We should check this, or perhaps you know it is ok already) then we should get a span Iq|C(p)||C(U)|I \stackrel{q}{\leftarrow} |C(p)| \to |C(U)|, where the left leg has a map σ:I|C(p)|\sigma:I \to |C(p)| which isn’t a necessarily section, but satisfies qs(t)=tq\circ s(t) = t for t=0,1t=0,1. Also we would have qsid Iq \circ s \sim \id_I rel endpoints (actually a reparameterisation).

    Now I think that it is not unreasonable to repeat this sort of argument for finding a map |C( a(V a×p a))||C(V)|×I|C(\coprod_a (V_a \times p_a))| \leftarrow |C(V)|\times I which is to ξ\xi above as σ\sigma is to qq, namely that it is a section restricted to |C(V)|×{0,1}|C(V)|\times\{0,1\}.

    This is all heuristic, but it seems to me to be a hopeful proposition.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010

    I think this can be done.

    This would be nice! Have to run to the train now. But let's sort this out!!

    (I had trouble with reading Dold, by the way. Google books wouldn't show me many pages, and all in all I didn't get a coherent impression of what he is writing about. Might have to try to track down a paper copy. But maybe the important theorem is the one you already mentioned. Somebody should put this into the nLab.)

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)

    It is good that we are talking about this. As so often, just verbalizing a problem sometimes makes it evaporate.

    I had originally thought I should pass to the geometric realization to construct the lift using properties of fibrations of topological spaces. But in your last meessage you (David) actually amplify that we should just construct the lift at the level of groupoids and only then pass to the geometric realization. Because it really suggests that we find a lift

     C(V)\times C(J) \to C(\coprod_a V_a \times J_a) I think that's in fact an easy route to solve the problem, as you indicate. The lift at the level of groupoids is just the problem as it already appears in categorical degree 1. I think this is under control.

    I'll think a bit and write a bit and then will get back to you.

    • CommentRowNumber11.
    • CommentAuthorAndrew Stacey
    • CommentTimeAug 17th 2010

    (Urs, you’ve flipped your formatter from MarkdownItex to Markdown again)

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)

    (thanks, Andrew)

    David, I’ll have to ask you the following since I still couldn’t really look at the Dold reference (maybe later today I get a chance).

    Since aV A×p aX×I\coprod_a V_A \times p_a \to X \times I is a cover with (p a)(p_a) a partition of II, it would seem to follow that in fact for fixed aa the map V aXV_a \to X is surjective, right? Because for fixed sIs \in I in the interior of one p ap_a we have by definition of partition that there is no other aa' such that ss would also be in p ap_{a'}. Hence it must be true that for every xXx \in X, there is a lift of (x,s)(x,s) to V a×p aV_a \times p_a, hence a lift of xx to V aV_a.

    Am I understanding you correctly here?

    If this is so, then we could do the following:

    form the joint intersection space Y= aV aY = \cap_a V_a. This is still a cover (if my above understanding is correct). A lift of xXx \in X to YY amounts to choosing for each interval p ap_a a compatible lift to V aV_a.

    Then I think we should get a functor C(Y)×C(p)C(U)C(Y) \times C(p) \to C(U) that covers X×IXX \times I \to X by the rule

    (xV a 1V a 2)×(s,a)f^| V a(x,s) (x \in V_{a_1} \cap V_{a_2} \cap \cdots) \times (s, a) \mapsto \hat f|_{V_{a}}(x,s)

    where f^: aV a×p a iU i\hat f : \coprod_a V_a \times p_a \to \coprod_i U_i is our lift of the contraction.

    In words this would mean that: we run with ss along II until the flow on the xxs makes any one of them come close to the boundary of a patch. Then we allow every xx to switch patches, then we continue to run the flow a bit more, until we need to pause and allow everyone to jump patches again.

    In one way or other we need to find a formalization of this story.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)

    Did you compare the Hurewicz fibration condition to the characterization via Hurewitz connection which is pretty close to your approach to everything via cocylinders and Brown’s factorization lemma which are in a very siilar setup ? It may help by chance ? P.S. I have sent you a better link to Dold at gmail.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010

    I guess it should be true that if you start with a smooth principal \infty-bundle with \infty-connection, then its geometric realization is a Hurewicz fibrtation and the \infty-connection provides the Hurewicz connection. But I haven’t formalized this yet.

    By the way, is there a small typo in Hurewicz connection: in the statement of the theorem, it has

    iff there exists at least one Hurewicz connection for π !\pi_!

    Shouldn’t this be

    iff there exists at least one Hurewicz connection for π\pi

    ?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010

    started stacked cover

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeAug 17th 2010

    You are right, though it is partly the matter of language. The Hurewitz connection is a section of $\pi_!$, so in a way it is associated to $\pi$ and also to $\pi_!$. You can safely remove the $!$ in the statement.

    On the other hand, as you read in the bottom section of the article Hurewicz connection, the usual connections do not provide Hurewicz connections but a smooth analog (not smooth case). That is, one has to replace the cocylinder etc. with their smooth analogues.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010

    David,

    I am now looking at Dold in detail. Wouldn’t your restatement of the result he describes require that we have a finite bound on his function rr?

    • CommentRowNumber18.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 18th 2010

    Since aV A×p aX×I\coprod_a V_A \times p_a \to X \times I is a cover with (p a)(p_a) a partition of II, it would seem to follow that in fact for fixed aa the map V aXV_a \to X is surjective, right?

    I don’t think so - the V aV_as are open nhds of xXx\in X that, dragged along f(x,):IXf(x,-):I \to X (i.e. considering the homotopy f| V a×If\big|_{V_a\times I}), pass through a finite list LL of U aU_as (actually can pass through infinitely many, but we can select a finite subset which V aV_a does pass through) such that for each connected component [t i,t i+1]p a[t_i,t_{i+1}]\subset p_a, V aV_a is contained completely within the iith open set in LL.

    In particular, we can’t do this:

    C(V)×C(J)C( aV a×J a) C(V)\times C(J) \to C(\coprod_a V_a \times J_a)

    because we cannot find a single JJ which supposedly is the refinement of all the J aJ_a, unless the V a\coprod V_a is a finite cover. I also don’t know what you mean by

    …the joint intersection space Y= aV aY = \cap_a V_a

    as this is pretty much always empty (if we take the intersection as subspaces) or otherwise non-interesting (if we take the pullback).

    Actually I think I see where the confusion arises:

    …with (p a)(p_a) a partition of II

    because each p ap_a is a partition of II, p a= i=0 N1[t i,t i+1]p_a = \coprod_{i=0}^{N-1} [t_i,t_{i+1}] for t 0=1,t N=1t_0=1,t_N=1 and all depending on the index aa, rather that the collection of p ap_a forming a partition. If you like this can be changed to a partition as in Dold’s statement of the result about stacked covers, namely where the subintervals are of uniform, rational length, depending on aa.

    To get a handle on this, I think the map

    C( aV a×p a)C( aV a)×I C(\coprod_a V_a \times p_a) \to C(\coprod_a V_a)\times I

    and its geometric realisation needs a close inspection. I was hoping that a lift would be obtained by looking at a parameterised reparameterisation, |C( aV a)|C (I,I)|C(\coprod_a V_a)| \to C^\infty(I,I), but this approach is perhaps too naive.

    Keep asking questions if this is not clear…

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010

    Yes, that’s what I realized when I read Dold, as indicated by my last question. I read you notation wrong, thought you said that each p ap_a is an interval such that the collection (p a) a(p_a)_a is a partition of II.

    So then I am not sure now how that result by Dold will help. But I’ll keep thinking about it.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)

    To get a handle on this, I think the map […]

    I think we can get a topological lift by my original approach, but I am not sure how to make it cellwise smooth:

    we have that p:|C(U)|Xp : |C(U)| \to X is a Dold fibration (is this true also for the fat geometric realization?) and can assume without restriction that the contraction f:X×IXf : X \times I \to X is a delayed homotopy (in the sense used at Dold fibration). Then it follows by standard right-lifting-property-yoga that the pullback f *|C(U)|X×If^* |C(U)| \to X \times I is itself a Dold fibration, so we can lift in the diagram

    |C(U)| (Id,p×{0}) f *|C(U)| |C(U)|×I p×Id X×I, \array{ |C(U)| &\stackrel{(Id,p\times\{0\})}{\to}& f^*|C(U)| \\ \downarrow && \downarrow \\ |C(U)| \times I &\stackrel{p \times Id'}{\to}& X\times I } \,,

    where in the bottom horizontal morphism IdId' is some smoothing function III \to I making this a “delayed homotopy”, too.