Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeAug 15th 2010
   • (edited Aug 15th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexFor $X$ a manifold and $U_i \to X$ a (good) cover with Cech nerve $C(U_i)$ and its geometric realization $|C(U_i)|$, is the canonical map $|C(U_i)| \to X$ a Hurewicz fibration?

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

2. • CommentRowNumber2.
   • CommentAuthorDavidRoberts
   • CommentTimeAug 16th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexActually, one could try to say some interesting things here. First, if good covers are [[numerable open cover|numerable]], then $|C(U_i)| \to X$ is [[shrinkable map|shrinkable]] for $U_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?

   Actually, one could try to say some interesting things here. First, if good covers are numerable, then $|C(U_i)| \to X$ is shrinkable for $U_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?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeAug 16th 2010
   • (edited Aug 16th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, David, that's very useful! Do you happen to know also something about the following refinement of the question: suppose the manifold $X$ with numerable open cover $U_i \to X$ is smooth. Then its Cech nerve realization $|C(\{U_i\})|$ is a space that is cell-wise smooth or something like that. Let $X$ be smoothly contractible by a smooth homotopy $f : X \times I \to X$. Let $$ \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 $$ \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.

   Thanks, David, that’s very useful!

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

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

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

   $$\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

   $$\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.

4. • CommentRowNumber4.
   • CommentAuthorDavidRoberts
   • CommentTimeAug 16th 2010
   • (edited Aug 17th 2010)
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexOK. Given the numerable cover $U=\coprod_a U_a \to X$, there is a cover refining $f^*U \to X\times I$ (which is neither open nor closed (Edit: the refining cover, that is)) of the form $\coprod_a (V_a \times p_a) \to X\times I$ where $p_a$ is a _partition_, namely a closed cover of I which is the disjoint union of a finite number of sub-intervals of $I$ that only intersect at their endpoints, and $V=\coprod_a V_a \to X$ is a cover (this is due to Dold). If $U$ is a finite cover (say if $X$ is compact) we can obviously refine this to $V\times p$ for some partition $p$. So we get a commuting diagram $$ \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(\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)| \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\times\{0\}$, or rather the lift of this to $|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.

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

   So we get a commuting diagram

   $$\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(\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)| \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\times\{0\}$, or rather the lift of this to $|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.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 16th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks 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=\coprod_a U_a \to X$, there is a cover refining $f^*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.

   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=\coprod_a U_a \to X$, there is a cover refining $f^*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.

6. • CommentRowNumber6.
   • CommentAuthorDavidRoberts
   • CommentTimeAug 16th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItex$f^*U \to X\times I$ is an open cover, but the cover $\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 $$ \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.

   $f^*U \to X\times I$ is an open cover, but the cover $\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

   $$\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.

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeAug 16th 2010
   • (edited Aug 16th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAh, 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 $G$-principal $\infty$-bundle is locally equivalent to the trivial one, if $G$ is obtained by [[Lie integration]] of an $\infty$-Lie algebra. I already have a proof that every $G$-principal $\infty$-bundle admits a genuine $\infty$-connection. That means that for $$ 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\})|$ 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, \cdots i_n}$). So that's a morphism $|C(\{U_i\})| \to \Omega(-, \mathfrak{g})$. On simplices these forms encode the cocycle, on patches $U_I$ the connection. Now if I had a pasting diagram $$ \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.

   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 $G$-principal $\infty$-bundle is locally equivalent to the trivial one, if $G$ is obtained by Lie integration of an $\infty$-Lie algebra.

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

   $$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\})|$ 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, \cdots i_n}$).

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

   Now if I had a pasting diagram

   $$\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.

8. • CommentRowNumber8.
   • CommentAuthorDavidRoberts
   • CommentTimeAug 17th 2010
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexI think this can be done. Passing to the cover $\coprod_a V_a \times p_a \to X\times I$, and choosing a lift of $f$ to $U$ (I mean $f$ restricted to this cover), means for each path $\{x\}\times I \stackrel{f(x,-)}{\to} X$, taking a partition of $I$ and lifting each subinterval to elements of the cover, to give a path in the groupoid $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 $I \stackrel{q}{\leftarrow} |C(p)| \to |C(U)|$, where the left leg has a map $\sigma:I \to |C(p)|$ which isn't a necessarily section, but satisfies $q\circ s(t) = t$ for $t=0,1$. Also we would have $q \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(\coprod_a (V_a \times p_a))| \leftarrow |C(V)|\times I$ which is to $\xi$ above as $\sigma$ is to $q$, namely that it is a section restricted to $|C(V)|\times\{0,1\}$. This is all heuristic, but it seems to me to be a hopeful proposition.

   I think this can be done. Passing to the cover $\coprod_a V_a \times p_a \to X\times I$, and choosing a lift of $f$ to $U$ (I mean $f$ restricted to this cover), means for each path $\{x\}\times I \stackrel{f(x,-)}{\to} X$, taking a partition of $I$ and lifting each subinterval to elements of the cover, to give a path in the groupoid $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 $I \stackrel{q}{\leftarrow} |C(p)| \to |C(U)|$, where the left leg has a map $\sigma:I \to |C(p)|$ which isn’t a necessarily section, but satisfies $q\circ s(t) = t$ for $t=0,1$. Also we would have $q \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(\coprod_a (V_a \times p_a))| \leftarrow |C(V)|\times I$ which is to $\xi$ above as $\sigma$ is to $q$, namely that it is a section restricted to $|C(V)|\times\{0,1\}$.

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

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeAug 17th 2010
   • PermaLink
   Author: Urs
   Format: Markdown> 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.)

   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.)

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownIt 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 <latex> C(V)\times C(J) \to C(\coprod_a V_a \times J_a)</latex> 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.

    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

    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.

11. • CommentRowNumber11.
    • CommentAuthorAndrew Stacey
    • CommentTimeAug 17th 2010
    • PermaLink
    Author: Andrew Stacey
    Format: MarkdownItex(Urs, you've flipped your formatter from MarkdownItex to Markdown again)

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

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItex(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 $\coprod_a V_A \times p_a \to X \times I$ is a cover with $(p_a)$ a partition of $I$, it would seem to follow that in fact for fixed $a$ the map $V_a \to X$ is surjective, right? Because for fixed $s \in I$ in the interior of one $p_a$ we have by definition of partition that there is no other $a'$ such that $s$ would also be in $p_{a'}$. Hence it must be true that for every $x \in X$, there is a lift of $(x,s)$ to $V_a \times p_a$, hence a lift of $x$ to $V_a$. Am I understanding you correctly here? If this is so, then we could do the following: form the joint intersection space $Y = \cap_a V_a$. This is still a cover (if my above understanding is correct). A lift of $x \in X$ to $Y$ amounts to choosing for each interval $p_a$ a compatible lift to $V_a$. Then I think we should get a functor $C(Y) \times C(p) \to C(U)$ that covers $X \times I \to X$ by the rule $$ (x \in V_{a_1} \cap V_{a_2} \cap \cdots) \times (s, a) \mapsto \hat f|_{V_{a}}(x,s) $$ where $\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 $s$ along $I$ until the flow on the $x$s makes any one of them come close to the boundary of a patch. Then we allow every $x$ 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.

    (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 $\coprod_a V_A \times p_a \to X \times I$ is a cover with $(p_a)$ a partition of $I$, it would seem to follow that in fact for fixed $a$ the map $V_a \to X$ is surjective, right? Because for fixed $s \in I$ in the interior of one $p_a$ we have by definition of partition that there is no other $a'$ such that $s$ would also be in $p_{a'}$. Hence it must be true that for every $x \in X$, there is a lift of $(x,s)$ to $V_a \times p_a$, hence a lift of $x$ to $V_a$.

    Am I understanding you correctly here?

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

    form the joint intersection space $Y = \cap_a V_a$. This is still a cover (if my above understanding is correct). A lift of $x \in X$ to $Y$ amounts to choosing for each interval $p_a$ a compatible lift to $V_a$.

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

    $$(x \in V_{a_1} \cap V_{a_2} \cap \cdots) \times (s, a) \mapsto \hat f|_{V_{a}}(x,s)$$

    where $\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 $s$ along $I$ until the flow on the $x$s makes any one of them come close to the boundary of a patch. Then we allow every $x$ 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.

13. • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeAug 17th 2010
    • (edited Aug 17th 2010)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexDid 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.

    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.

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexI 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$ ?

    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$

    ?

15. • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexstarted [[stacked cover]]

    started stacked cover

16. • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeAug 17th 2010
    • PermaLink
    Author: zskoda
    Format: MarkdownYou 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.

    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.

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexDavid, 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 $r$?

    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 $r$?

18. • CommentRowNumber18.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 18th 2010
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex>Since $\coprod_a V_A \times p_a \to X \times I$ is a cover with $(p_a)$ a partition of $I$, it would seem to follow that in fact for fixed $a$ the map $V_a \to X$ is surjective, right? I don't think so - the $V_a$s are open nhds of $x\in X$ that, dragged along $f(x,-):I \to X$ (i.e. considering the homotopy $f\big|_{V_a\times I}$), pass through a finite list $L$ of $U_a$s (actually can pass through infinitely many, but we can select a finite subset which $V_a$ does pass through) such that for each connected component $[t_i,t_{i+1}]\subset p_a$, $V_a$ is contained completely within the $i$th open set in $L$. In particular, we can't do this: $$ C(V)\times C(J) \to C(\coprod_a V_a \times J_a) $$ because we cannot find a single $J$ which supposedly is the refinement of all the $J_a$, unless the $\coprod V_a$ is a finite cover. I also don't know what you mean by >...the joint intersection space $Y = \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)$ a partition of $I$... because each $p_a$ is a partition of $I$, $p_a = \coprod_{i=0}^{N-1} [t_i,t_{i+1}]$ for $t_0=1,t_N=1$ and all depending on the index $a$, rather that the collection of $p_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 $a$. To get a handle on this, I think the map $$ 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(\coprod_a V_a)| \to C^\infty(I,I)$, but this approach is perhaps too naive. Keep asking questions if this is not clear...

    Since $\coprod_a V_A \times p_a \to X \times I$ is a cover with $(p_a)$ a partition of $I$, it would seem to follow that in fact for fixed $a$ the map $V_a \to X$ is surjective, right?

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

    In particular, we can’t do this:

    $$C(V)\times C(J) \to C(\coprod_a V_a \times J_a)$$

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

    …the joint intersection space $Y = \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)$ a partition of $I$…

    because each $p_a$ is a partition of $I$, $p_a = \coprod_{i=0}^{N-1} [t_i,t_{i+1}]$ for $t_0=1,t_N=1$ and all depending on the index $a$, rather that the collection of $p_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 $a$.

    To get a handle on this, I think the map

    $$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(\coprod_a V_a)| \to C^\infty(I,I)$, but this approach is perhaps too naive.

    Keep asking questions if this is not clear…

19. • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes, 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_a$ is an interval such that the collection $(p_a)_a$ is a partition of $I$. So then I am not sure now how that result by Dold will help. But I'll keep thinking about it.

    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_a$ is an interval such that the collection $(p_a)_a$ is a partition of $I$.

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

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2010
    • (edited Aug 18th 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> 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)| \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 \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)| \to X \times I$ is itself a Dold fibration, so we can lift in the diagram $$ \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 $Id'$ is some smoothing function $I \to I$ making this a "delayed homotopy", too.

    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)| \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 \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)| \to X \times I$ is itself a Dold fibration, so we can lift in the diagram

    $$\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 $Id'$ is some smoothing function $I \to I$ making this a “delayed homotopy”, too.