Homology of the fiberSpectral sequence for reduced homologyweak equivalence of simplicial setsHomology of loop spaceIs the suspension of a weak equivalence again a weak equivalence?localization and $E_infty$-spacesfiber, homotopy fiber of spacesVietoris-Begle theorem for simplicial setsPullback and homologyTo compare the total, base and fiber spaces of two fiber bundleshomology of a base space of a a fiber sequence

Homology of the fiber


Spectral sequence for reduced homologyweak equivalence of simplicial setsHomology of loop spaceIs the suspension of a weak equivalence again a weak equivalence?localization and $E_infty$-spacesfiber, homotopy fiber of spacesVietoris-Begle theorem for simplicial setsPullback and homologyTo compare the total, base and fiber spaces of two fiber bundleshomology of a base space of a a fiber sequence













9












$begingroup$


Let $f:Xrightarrow Y $ be a fibration (with fiber $F$) between simply connected spaces such that
$H_ast(f):H_ast(X,mathbbZ)rightarrow H_ast(Y,mathbbZ)$ is an isomorphism for $astleq n$



Is it true that the reduced homology of the fiber is $tildeH_ast(F,mathbbZ)=0$ for $astleq n$?






at.algebraic-topology homotopy-theory







share|cite|improve this question











$endgroup$







  • 6




    $begingroup$
    What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
    $endgroup$
    – abx
    13 hours ago










  • $begingroup$
    Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
    $endgroup$
    – Nicholas Kuhn
    3 hours ago















9












$begingroup$


Let $f:Xrightarrow Y $ be a fibration (with fiber $F$) between simply connected spaces such that
$H_ast(f):H_ast(X,mathbbZ)rightarrow H_ast(Y,mathbbZ)$ is an isomorphism for $astleq n$



Is it true that the reduced homology of the fiber is $tildeH_ast(F,mathbbZ)=0$ for $astleq n$?






at.algebraic-topology homotopy-theory







share|cite|improve this question











$endgroup$







  • 6




    $begingroup$
    What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
    $endgroup$
    – abx
    13 hours ago










  • $begingroup$
    Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
    $endgroup$
    – Nicholas Kuhn
    3 hours ago













9












9








9


2



$begingroup$


Let $f:Xrightarrow Y $ be a fibration (with fiber $F$) between simply connected spaces such that
$H_ast(f):H_ast(X,mathbbZ)rightarrow H_ast(Y,mathbbZ)$ is an isomorphism for $astleq n$



Is it true that the reduced homology of the fiber is $tildeH_ast(F,mathbbZ)=0$ for $astleq n$?






at.algebraic-topology homotopy-theory







share|cite|improve this question











$endgroup$




Let $f:Xrightarrow Y $ be a fibration (with fiber $F$) between simply connected spaces such that
$H_ast(f):H_ast(X,mathbbZ)rightarrow H_ast(Y,mathbbZ)$ is an isomorphism for $astleq n$



Is it true that the reduced homology of the fiber is $tildeH_ast(F,mathbbZ)=0$ for $astleq n$?






at.algebraic-topology homotopy-theory




at.algebraic-topology homotopy-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 8 hours ago









Peter Mortensen

1675




1675










asked 14 hours ago









ParisParis

1154




1154







  • 6




    $begingroup$
    What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
    $endgroup$
    – abx
    13 hours ago










  • $begingroup$
    Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
    $endgroup$
    – Nicholas Kuhn
    3 hours ago












  • 6




    $begingroup$
    What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
    $endgroup$
    – abx
    13 hours ago










  • $begingroup$
    Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
    $endgroup$
    – Nicholas Kuhn
    3 hours ago







6




6




$begingroup$
What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
$endgroup$
– abx
13 hours ago




$begingroup$
What about the Hopf fibration $f:mathbbS^3rightarrow mathbbS^2$ with fiber $mathbbS^1$? $H_1(f)$ is an isomorphism but $H_1(mathbbS^1)=mathbbZ$.
$endgroup$
– abx
13 hours ago












$begingroup$
Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
$endgroup$
– Nicholas Kuhn
3 hours ago




$begingroup$
Besides the proof below, this (the vanishing of the reduced homology of fiber below dimension n) also admits an easy proof using the Serre spectral sequence.
$endgroup$
– Nicholas Kuhn
3 hours ago










1 Answer
1






active

oldest

votes


















21












$begingroup$

As usual, there's no loss of generality in assuming that $f$ is the inclusion of a subspace $Xsubset Y$, replacing $Y$ with the homotopy equivalent mapping cylinder of $f$ if necessary. By your assumptions and the five lemma, $H_*(Y,X)=0$ for $*leq n$, and the pair $(Y,X)$ is simply connected, therefore by the Hurewicz theorems $pi_*(Y,X)=0$ for $*leq n$. If $F$ denotes the homotopy fiber of $f$, then $pi_*(Y,X)=pi_*-1(F)$ in all dimensions, hence the previous computation ensures that $F$ is $(n-1)$-connected, so $H_*(F)=0$ for $*leq n-1$. As @abx shows in the comment above, in general $H_n(F)$ won't be trivial. The higher-dimensional Hopf fibrations provide further counterexamples, where even the fiber is simply connected.






share|cite|improve this answer











$endgroup$












    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',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325671%2fhomology-of-the-fiber%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    21












    $begingroup$

    As usual, there's no loss of generality in assuming that $f$ is the inclusion of a subspace $Xsubset Y$, replacing $Y$ with the homotopy equivalent mapping cylinder of $f$ if necessary. By your assumptions and the five lemma, $H_*(Y,X)=0$ for $*leq n$, and the pair $(Y,X)$ is simply connected, therefore by the Hurewicz theorems $pi_*(Y,X)=0$ for $*leq n$. If $F$ denotes the homotopy fiber of $f$, then $pi_*(Y,X)=pi_*-1(F)$ in all dimensions, hence the previous computation ensures that $F$ is $(n-1)$-connected, so $H_*(F)=0$ for $*leq n-1$. As @abx shows in the comment above, in general $H_n(F)$ won't be trivial. The higher-dimensional Hopf fibrations provide further counterexamples, where even the fiber is simply connected.






    share|cite|improve this answer











    $endgroup$

















      21












      $begingroup$

      As usual, there's no loss of generality in assuming that $f$ is the inclusion of a subspace $Xsubset Y$, replacing $Y$ with the homotopy equivalent mapping cylinder of $f$ if necessary. By your assumptions and the five lemma, $H_*(Y,X)=0$ for $*leq n$, and the pair $(Y,X)$ is simply connected, therefore by the Hurewicz theorems $pi_*(Y,X)=0$ for $*leq n$. If $F$ denotes the homotopy fiber of $f$, then $pi_*(Y,X)=pi_*-1(F)$ in all dimensions, hence the previous computation ensures that $F$ is $(n-1)$-connected, so $H_*(F)=0$ for $*leq n-1$. As @abx shows in the comment above, in general $H_n(F)$ won't be trivial. The higher-dimensional Hopf fibrations provide further counterexamples, where even the fiber is simply connected.






      share|cite|improve this answer











      $endgroup$















        21












        21








        21





        $begingroup$

        As usual, there's no loss of generality in assuming that $f$ is the inclusion of a subspace $Xsubset Y$, replacing $Y$ with the homotopy equivalent mapping cylinder of $f$ if necessary. By your assumptions and the five lemma, $H_*(Y,X)=0$ for $*leq n$, and the pair $(Y,X)$ is simply connected, therefore by the Hurewicz theorems $pi_*(Y,X)=0$ for $*leq n$. If $F$ denotes the homotopy fiber of $f$, then $pi_*(Y,X)=pi_*-1(F)$ in all dimensions, hence the previous computation ensures that $F$ is $(n-1)$-connected, so $H_*(F)=0$ for $*leq n-1$. As @abx shows in the comment above, in general $H_n(F)$ won't be trivial. The higher-dimensional Hopf fibrations provide further counterexamples, where even the fiber is simply connected.






        share|cite|improve this answer











        $endgroup$



        As usual, there's no loss of generality in assuming that $f$ is the inclusion of a subspace $Xsubset Y$, replacing $Y$ with the homotopy equivalent mapping cylinder of $f$ if necessary. By your assumptions and the five lemma, $H_*(Y,X)=0$ for $*leq n$, and the pair $(Y,X)$ is simply connected, therefore by the Hurewicz theorems $pi_*(Y,X)=0$ for $*leq n$. If $F$ denotes the homotopy fiber of $f$, then $pi_*(Y,X)=pi_*-1(F)$ in all dimensions, hence the previous computation ensures that $F$ is $(n-1)$-connected, so $H_*(F)=0$ for $*leq n-1$. As @abx shows in the comment above, in general $H_n(F)$ won't be trivial. The higher-dimensional Hopf fibrations provide further counterexamples, where even the fiber is simply connected.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 6 hours ago









        ThiKu

        6,32012137




        6,32012137










        answered 13 hours ago









        Fernando MuroFernando Muro

        11.9k23465




        11.9k23465



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to MathOverflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid …


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325671%2fhomology-of-the-fiber%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            -

            Popular posts from this blog

            Image
            17 \\$\\begingroup\\$ I need an answer because I am a beginner. And I got the players handbook and it does not say a thing about this. pathfinder-1e pathfinder-beginner-box share | improve this question edited 2 days ago V2Blast ♦ 33.8k 5 5 gold badges 123 123 silver badges 212 212 bronze badges asked 2 days ago Brys Brys 89 1 1 silver badge 3 3 bronze badges New contributor ...
            Read more

            Sum ergo cogito? 1 nng

            Image
            3 Following Descartes but in the opposite direction: I exist. Something has made the assertion in the previous sentence and must have thought it to do so. Therefore my thoughts exist. Combining with the direction established by Descartes I have cogito ⇔ sum . Since assuming either is equiavlent to assuming the other I conclude that Descartes does not establish existence as following from something more basic or fundamental. Instead he has merely stated a tautology. Am I right or wrong? Or both, or neither? ontology descartes share | improve this question asked yesterday Dzamo Norton...
            Read more

            三茅街道4182Guuntc Dn precexpngmageondP

            Image
            三茅街道 概览 国家   中华人民共和国 上级行政区 扬中市 行政区类型 街道办事处 行政区划代码 32 11 82 001 村级区划单位数 30 - 社区数 14 - 行政村数 16 地理、人口、经济 坐标 32°14′25″N 119°49′08″E  /  32.24028°N 119.81884°E  / 32.24028; 119.81884 坐标： 32°14′25″N 119°49′08″E  /  32.24028°N 119.81884°E  / 32.24028; 119.81884 电话区号 +86  时区 UTC+8（北京时间） 三茅街道 是中华人民共和国江苏省镇江市扬中市下辖的一个街道办事处 [1] 。西部毗邻新坝镇，东南方毗邻油坊镇、八桥镇，北隔长江主航道與泰州市高港区相望。 2000年以后，丰裕镇并入，三茅镇面积达到49.45平方千米，人口73284人。2005年，兴隆镇并入，面积133.19平方千米，人口13万，占扬中全市40%。 行政区划 [ 编辑 ] 三茅街道下辖以下村级行政区划单位 [2] ： 文化新村社区、扬子新村社区、江州路社区、英雄社区、广宁社区、中桥社区、建设社区、金星社区、同心社区、丰裕社区、新民社区、港联社区、新胜社区、新扬社区、民主村、中华村、友好村、锦程村、三桥村、大众村、滨江村、企东村、兴华村、指南村、兴阳村、明华村、营房村、永和村、永勤村和普济村。 参考资料 [ 编辑 ] ↑ 2017年统计用区划代码和城乡划分代码：扬中市. 中华人民共和国国家统计局. 2017.   ↑ 2017年统计用区划代码和城乡划分代码：三茅街道. 中华人民共和国国家统计局. 2017.     这是一个关于江苏行政区划的小作品。你可以通过 编辑或修订 扩充其内容。 查 论 编 扬中市行政区划 行政隶属：中华人民共和国江苏省镇江市 街道 三茅街道 兴隆街道 镇 新坝镇 油坊镇 八桥镇 西来桥镇 类似乡级单位 扬中市良种繁育场 扬中市种猪场 扬中市渔业社 雷公岛水产养殖场 扬...
            Read more