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

            Does high air pressure throw off wheel balance? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) Should we be closing questions more regularly?How much should I inflate my tire?Which tire pressure is right for my 2008 Toyota Yaris's front tires?Should I let air out of my tires?Tire Pressure Adjustments When NeededRadial tires: Do they bulge at too high pressure?Cold weather tire pressure adjustmentHow does tire pressure vary with altitude?Why does a tire have the same air pressure when mounted on the car and when not?What does tire size have to do with the capabilities of an air compressor?Tire pressure with tires on vs off the car

            Image
            Can anything be seen from the center of the Boötes void? How dark would it be? How come Sam didn't become Lord of Horn Hill? How to Make a Beautiful Stacked 3D Plot If a VARCHAR(MAX) column is included in an index, is the entire value always stored in the index page(s)? Has negative voting ever been officially implemented in elections, or seriously proposed, or even studied? Can melee weapons be used to deliver Contact Poisons? Is it fair for a professor to grade us on the possession of past papers? What is homebrew? Where are Serre’s lectures at Collège de France to be found? How to react to hostile behavior from a senior developer? Should I use a zero-interest credit card for a large one-time purchase? How to tell that you are a giant? Do I really need to have a message in a novel to appeal to readers? Fantasy story; one type of magic grows in power with use, but the more powerful they are, they more they are drawn to travel to their source ...
            Read more
            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

            Magento2 - How to hide price filter only in specific categories?Multiselect price filter attribute in layered navigationhide only some categories from layered navigation in magentoRemove Price Filter on certain categoriescustomize layered price filter?Hide Price for a particular customer groupPrice filter in layered navigation not working correctly with price including tax in magento 2.2.3Magento 2 how to hide attribute at Layered navigation?Magento 2. how to hide price only for specific categoriesMagento 2 How can I hide the price and total from cart and checkout summary?Magento2: Can we add navigation layered filter like price filter for other attribute?

            Image
            Colliding particles and activation energy Historically, were women trained for obligatory wars? Or did they serve some other military function? Is it possible to Ready a spell to be cast just before the start of your next turn by having the trigger be an ally's attack? Sci-fi novel series with instant travel between planets through gates. A river runs through the gates Why do Ichisongas hate elephants and hippos? Find the coordinate of two line segments that are perpendicular Why does processed meat contain preservatives, while canned fish needs not? What does 「再々起」mean? How to pass attribute when redirecting from lwc to aura component What does YCWCYODFTRFDTY mean? Can fracking help reduce CO2? Why do I get a BootstrapMethodError when trying to call a super class's protected method using method reference from an inner class? Need help understanding harmonic series and intervals Do I have an "anti-research" personality? Give...
            Read more