Moishezon manifold vs proper complex variety











up vote
8
down vote

favorite












Does there exist a closed Moishezon manifold that does not have the homotopy type of the analytification of a smooth proper complex variety (I think we know that every closed Moishezon manifold is bimeromorophic to the analytification of a smooth proper complex variety, so for example fundamental groups have to be the same)?



Does there exist a smooth proper complex variety whose analytification is not homotopy equivalent to the analytification of a smooth projective complex variety?










share|cite|improve this question









New contributor




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




















  • By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
    – Ben
    15 hours ago










  • @Ben that is true of course but we are interested in whether that distinction is visible at the topological level
    – complexboy
    15 hours ago










  • Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
    – Ben
    14 hours ago















up vote
8
down vote

favorite












Does there exist a closed Moishezon manifold that does not have the homotopy type of the analytification of a smooth proper complex variety (I think we know that every closed Moishezon manifold is bimeromorophic to the analytification of a smooth proper complex variety, so for example fundamental groups have to be the same)?



Does there exist a smooth proper complex variety whose analytification is not homotopy equivalent to the analytification of a smooth projective complex variety?










share|cite|improve this question









New contributor




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




















  • By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
    – Ben
    15 hours ago










  • @Ben that is true of course but we are interested in whether that distinction is visible at the topological level
    – complexboy
    15 hours ago










  • Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
    – Ben
    14 hours ago













up vote
8
down vote

favorite









up vote
8
down vote

favorite











Does there exist a closed Moishezon manifold that does not have the homotopy type of the analytification of a smooth proper complex variety (I think we know that every closed Moishezon manifold is bimeromorophic to the analytification of a smooth proper complex variety, so for example fundamental groups have to be the same)?



Does there exist a smooth proper complex variety whose analytification is not homotopy equivalent to the analytification of a smooth projective complex variety?










share|cite|improve this question









New contributor




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











Does there exist a closed Moishezon manifold that does not have the homotopy type of the analytification of a smooth proper complex variety (I think we know that every closed Moishezon manifold is bimeromorophic to the analytification of a smooth proper complex variety, so for example fundamental groups have to be the same)?



Does there exist a smooth proper complex variety whose analytification is not homotopy equivalent to the analytification of a smooth projective complex variety?







dg.differential-geometry at.algebraic-topology complex-geometry






share|cite|improve this question









New contributor




complexboy 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




complexboy 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 19 hours ago





















New contributor




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









asked 19 hours ago









complexboy

533




533




New contributor




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





New contributor





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






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












  • By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
    – Ben
    15 hours ago










  • @Ben that is true of course but we are interested in whether that distinction is visible at the topological level
    – complexboy
    15 hours ago










  • Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
    – Ben
    14 hours ago


















  • By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
    – Ben
    15 hours ago










  • @Ben that is true of course but we are interested in whether that distinction is visible at the topological level
    – complexboy
    15 hours ago










  • Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
    – Ben
    14 hours ago
















By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
– Ben
15 hours ago




By the way, not every Moishezon manifold comes from a proper complex variety; it might be an algebraic space instead of a scheme. There is an example due to Kleiman which is a quotient of Hironaka's example.
– Ben
15 hours ago












@Ben that is true of course but we are interested in whether that distinction is visible at the topological level
– complexboy
15 hours ago




@Ben that is true of course but we are interested in whether that distinction is visible at the topological level
– complexboy
15 hours ago












Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
– Ben
14 hours ago




Sorry, I'm a bit off today. I misunderstood something you wrote.. (I thought you were suggesting hat every Moishezon manifold is the analytification of a proper variety.)
– Ben
14 hours ago










1 Answer
1






active

oldest

votes

















up vote
4
down vote



accepted










Edit: I just realised that the OP asked for proper, not projective varieties. As it stands, it is still possible that Oguiso's Moishezon Calabi-Yau threefold is homotopy equivalent to a proper varitey, so the question remains open.




The only example I am aware of is due to Oguiso, Two remarks on Calabi-Yau Moishezon threefolds, J. reine angew. Math. 452 (1994). There, you find a construction of a Moishezon threefold $X$ with $H^2(X) = mathbb{Z}c$ where $c^3 = 0$. In particular, $X$ is not even homotopy equivalent to a Kähler manifold.




share|cite|improve this answer























    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: 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
    });


    }
    });






    complexboy 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%2f317232%2fmoishezon-manifold-vs-proper-complex-variety%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








    up vote
    4
    down vote



    accepted










    Edit: I just realised that the OP asked for proper, not projective varieties. As it stands, it is still possible that Oguiso's Moishezon Calabi-Yau threefold is homotopy equivalent to a proper varitey, so the question remains open.




    The only example I am aware of is due to Oguiso, Two remarks on Calabi-Yau Moishezon threefolds, J. reine angew. Math. 452 (1994). There, you find a construction of a Moishezon threefold $X$ with $H^2(X) = mathbb{Z}c$ where $c^3 = 0$. In particular, $X$ is not even homotopy equivalent to a Kähler manifold.




    share|cite|improve this answer



























      up vote
      4
      down vote



      accepted










      Edit: I just realised that the OP asked for proper, not projective varieties. As it stands, it is still possible that Oguiso's Moishezon Calabi-Yau threefold is homotopy equivalent to a proper varitey, so the question remains open.




      The only example I am aware of is due to Oguiso, Two remarks on Calabi-Yau Moishezon threefolds, J. reine angew. Math. 452 (1994). There, you find a construction of a Moishezon threefold $X$ with $H^2(X) = mathbb{Z}c$ where $c^3 = 0$. In particular, $X$ is not even homotopy equivalent to a Kähler manifold.




      share|cite|improve this answer

























        up vote
        4
        down vote



        accepted







        up vote
        4
        down vote



        accepted






        Edit: I just realised that the OP asked for proper, not projective varieties. As it stands, it is still possible that Oguiso's Moishezon Calabi-Yau threefold is homotopy equivalent to a proper varitey, so the question remains open.




        The only example I am aware of is due to Oguiso, Two remarks on Calabi-Yau Moishezon threefolds, J. reine angew. Math. 452 (1994). There, you find a construction of a Moishezon threefold $X$ with $H^2(X) = mathbb{Z}c$ where $c^3 = 0$. In particular, $X$ is not even homotopy equivalent to a Kähler manifold.




        share|cite|improve this answer














        Edit: I just realised that the OP asked for proper, not projective varieties. As it stands, it is still possible that Oguiso's Moishezon Calabi-Yau threefold is homotopy equivalent to a proper varitey, so the question remains open.




        The only example I am aware of is due to Oguiso, Two remarks on Calabi-Yau Moishezon threefolds, J. reine angew. Math. 452 (1994). There, you find a construction of a Moishezon threefold $X$ with $H^2(X) = mathbb{Z}c$ where $c^3 = 0$. In particular, $X$ is not even homotopy equivalent to a Kähler manifold.





        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 17 hours ago

























        answered 18 hours ago









        Ben

        5992513




        5992513






















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










            draft saved

            draft discarded


















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













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












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
















            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


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


            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%2f317232%2fmoishezon-manifold-vs-proper-complex-variety%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

            Quarter-circle Tiles

            build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

            Mont Emei