Hey everyone,
is there a good way to determine whether a map of (the topological realizations of) posets is a fibration without explicitely proving that it has the homotopy lifting property?
Robert
2
-
$\begingroup$ The question doesn't make sense unless you explain what the meaning of fibration of posets is. $\endgroup$– John KleinCommented Feb 13, 2011 at 4:08
-
$\begingroup$ Well, by a fibration of posets I mean a fibration between their canonical topological realizations. $\endgroup$– RobertCommented Feb 13, 2011 at 13:23
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
4
What you're looking for might be Quillen's Theorem B. Roughly speaking, it says that if all the "combinatorial homotopy fibers" are homotopy equivalent (via base change along morphisms in the poset), then the combinatorial homotopy fibers are weakly equivalent to the honest homotopy fibers. It originally appeared in Higher Algebraic K-theory, I (Lecture Notes in Math 341).
answered Feb 12, 2011 at 19:11
-
1$\begingroup$ @Dan: Robert is asking for a fibration, not a quasi-fibration. Theorem "B" of Quillen is a statement about a functor inducing a quasi-fibration after taking classifying spaces. $\endgroup$ Commented Feb 13, 2011 at 4:09
-
$\begingroup$ Yeah, I messed that up! The conclusion is just that the combinatorial homotopy fibers are equivalent to the homotopy fibers. I will edit. $\endgroup$ Commented Feb 13, 2011 at 6:54
-
$\begingroup$ I have been looking at Theorem B, but I need more than information about the homotopy types of the fibers. I actually need to know that my map has the homotopy lifting property. $\endgroup$– RobertCommented Feb 13, 2011 at 13:25
-
$\begingroup$ I've never seen results that actually guarantee that a map of posets has the homotopy lifting property after applying geometric realization. Unfortunately, it seems like a lot to ask. Maybe you should add some discussion of your motivation to the question, so we can see why you need homotopy lifting. $\endgroup$ Commented Feb 13, 2011 at 17:10
$\begingroup$
$\endgroup$
1
I just though about this for another minute and it seems like I posted the first part of my question too early. If $f^{-1}(q)$ is contractible, then $f^{-1}(Q_{\leq q})$ is homotopy equivalent to a poset with maximal element, namely the contracted fiber over $q$. Thus, $f^{-1}(Q_{\leq q})$ is contractible.
However, I do not know an answer to the second problem yet.