Commutativity up to homotopy implies strict commutativity, for lifting problems

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
5
down vote

favorite












Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD

where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?










share|cite|improve this question









New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.















  • 2




    What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
    – Peter LeFanu Lumsdaine
    12 hours ago







  • 1




    I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
    – Diego95
    12 hours ago










  • I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
    – dhy
    9 hours ago














up vote
5
down vote

favorite












Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD

where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?










share|cite|improve this question









New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.















  • 2




    What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
    – Peter LeFanu Lumsdaine
    12 hours ago







  • 1




    I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
    – Diego95
    12 hours ago










  • I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
    – dhy
    9 hours ago












up vote
5
down vote

favorite









up vote
5
down vote

favorite











Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD

where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?










share|cite|improve this question









New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD

where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?







at.algebraic-topology homotopy-theory






share|cite|improve this question









New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 12 hours ago









David White

10.9k45998




10.9k45998






New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 13 hours ago









Diego95

461




461




New contributor




Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







  • 2




    What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
    – Peter LeFanu Lumsdaine
    12 hours ago







  • 1




    I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
    – Diego95
    12 hours ago










  • I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
    – dhy
    9 hours ago












  • 2




    What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
    – Peter LeFanu Lumsdaine
    12 hours ago







  • 1




    I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
    – Diego95
    12 hours ago










  • I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
    – dhy
    9 hours ago







2




2




What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
12 hours ago





What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
12 hours ago





1




1




I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
12 hours ago




I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
12 hours ago












I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
– dhy
9 hours ago




I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$.
– dhy
9 hours ago










1 Answer
1






active

oldest

votes

















up vote
6
down vote













I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.



There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.






share|cite|improve this answer




















  • Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
    – Diego95
    8 hours ago










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);






Diego95 is a new contributor. Be nice, and check out our Code of Conduct.









 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312378%2fcommutativity-up-to-homotopy-implies-strict-commutativity-for-lifting-problems%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
6
down vote













I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.



There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.






share|cite|improve this answer




















  • Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
    – Diego95
    8 hours ago














up vote
6
down vote













I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.



There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.






share|cite|improve this answer




















  • Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
    – Diego95
    8 hours ago












up vote
6
down vote










up vote
6
down vote









I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.



There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.






share|cite|improve this answer












I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.



There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 12 hours ago









David White

10.9k45998




10.9k45998











  • Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
    – Diego95
    8 hours ago
















  • Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
    – Diego95
    8 hours ago















Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
– Diego95
8 hours ago




Let call $g:Wrightarrow X$ the map that makes the square commute up to homotopy (it's not difficult to show that I can find such a $g$ that makes the top triangle strictly commute). Now it seems to me that in order to apply the proposition 3.4 I need that the homotopy of the bottom triangle must be relative to A. How can I suppose this?
– Diego95
8 hours ago










Diego95 is a new contributor. Be nice, and check out our Code of Conduct.









 

draft saved


draft discarded


















Diego95 is a new contributor. Be nice, and check out our Code of Conduct.












Diego95 is a new contributor. Be nice, and check out our Code of Conduct.











Diego95 is a new contributor. Be nice, and check out our Code of Conduct.













 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312378%2fcommutativity-up-to-homotopy-implies-strict-commutativity-for-lifting-problems%23new-answer', 'question_page');

);

Post as a guest













































































Popular posts from this blog

How to check contact read email or not when send email to Individual?

Displaying single band from multi-band raster using QGIS

How many registers does an x86_64 CPU actually have?