Examples of smooth manifolds admitting inbetween one and a continuum of complex structuresNonalgebraic complex manifoldsSmooth and analytic structures on low dimensional euclidian spacesExistence of closed manifolds with more than 3 linearly independent complex structures?Non-Integrable Almost-Complex Structures for Homogeneous SpacesDoes every smoothly embedded surface $mathbbR^3$ inherit a natural complex structure, and if so, which one?Obstructions to deformations of complex manifoldsSpin^c structures on manifolds with almost complex structureOpen subsets of Euclidean space in dimension 5 and higher admitting exotic smooth structuresHave complex manifolds with dual number structure on the holomorphic tangent bundle been studied?Do smooth manifolds admit unique cubical structures?

Examples of smooth manifolds admitting inbetween one and a continuum of complex structures


Nonalgebraic complex manifoldsSmooth and analytic structures on low dimensional euclidian spacesExistence of closed manifolds with more than 3 linearly independent complex structures?Non-Integrable Almost-Complex Structures for Homogeneous SpacesDoes every smoothly embedded surface $mathbbR^3$ inherit a natural complex structure, and if so, which one?Obstructions to deformations of complex manifoldsSpin^c structures on manifolds with almost complex structureOpen subsets of Euclidean space in dimension 5 and higher admitting exotic smooth structuresHave complex manifolds with dual number structure on the holomorphic tangent bundle been studied?Do smooth manifolds admit unique cubical structures?













15












$begingroup$


For smooth manifolds it is known that they can admit a unique, finitely many, or a continuum of distinct smooth structures (I don't know whether there are any examples admitting precisely a countably infinite number).



For complex manifolds there are examples of smooth manifolds admitting a unique complex structure ($mathbbCP^1$) or a continuum (compact Riemann surfaces, K3 surfaces, etc.)




Q. Are there examples admitting only finitely many or a countably infinite number?




By deformation theory the tangent space to the moduli space of complex structures on $X$ should be given by $H^1(X, TX)$ (at least morally) so it must be necessary for this to vanish for every possible complex structure on $X$ to have any hope.










share|cite|improve this question









New contributor




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







$endgroup$







  • 4




    $begingroup$
    if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
    $endgroup$
    – Aknazar Kazhymurat
    2 days ago















15












$begingroup$


For smooth manifolds it is known that they can admit a unique, finitely many, or a continuum of distinct smooth structures (I don't know whether there are any examples admitting precisely a countably infinite number).



For complex manifolds there are examples of smooth manifolds admitting a unique complex structure ($mathbbCP^1$) or a continuum (compact Riemann surfaces, K3 surfaces, etc.)




Q. Are there examples admitting only finitely many or a countably infinite number?




By deformation theory the tangent space to the moduli space of complex structures on $X$ should be given by $H^1(X, TX)$ (at least morally) so it must be necessary for this to vanish for every possible complex structure on $X$ to have any hope.










share|cite|improve this question









New contributor




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







$endgroup$







  • 4




    $begingroup$
    if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
    $endgroup$
    – Aknazar Kazhymurat
    2 days ago













15












15








15


2



$begingroup$


For smooth manifolds it is known that they can admit a unique, finitely many, or a continuum of distinct smooth structures (I don't know whether there are any examples admitting precisely a countably infinite number).



For complex manifolds there are examples of smooth manifolds admitting a unique complex structure ($mathbbCP^1$) or a continuum (compact Riemann surfaces, K3 surfaces, etc.)




Q. Are there examples admitting only finitely many or a countably infinite number?




By deformation theory the tangent space to the moduli space of complex structures on $X$ should be given by $H^1(X, TX)$ (at least morally) so it must be necessary for this to vanish for every possible complex structure on $X$ to have any hope.










share|cite|improve this question









New contributor




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







$endgroup$




For smooth manifolds it is known that they can admit a unique, finitely many, or a continuum of distinct smooth structures (I don't know whether there are any examples admitting precisely a countably infinite number).



For complex manifolds there are examples of smooth manifolds admitting a unique complex structure ($mathbbCP^1$) or a continuum (compact Riemann surfaces, K3 surfaces, etc.)




Q. Are there examples admitting only finitely many or a countably infinite number?




By deformation theory the tangent space to the moduli space of complex structures on $X$ should be given by $H^1(X, TX)$ (at least morally) so it must be necessary for this to vanish for every possible complex structure on $X$ to have any hope.







dg.differential-geometry complex-geometry differential-topology






share|cite|improve this question









New contributor




John McCarthy 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




John McCarthy 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 20 hours ago









Francesco Polizzi

48.6k3130212




48.6k3130212






New contributor




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









asked 2 days ago









John McCarthyJohn McCarthy

785




785




New contributor




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





New contributor





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






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







  • 4




    $begingroup$
    if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
    $endgroup$
    – Aknazar Kazhymurat
    2 days ago












  • 4




    $begingroup$
    if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
    $endgroup$
    – Aknazar Kazhymurat
    2 days ago







4




4




$begingroup$
if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
$endgroup$
– Aknazar Kazhymurat
2 days ago




$begingroup$
if you allow non-closed manifolds, smooth unit disc admits exactly two complex structures I believe (one its own, the other coming from the diffeomorphism with $mathbbR^2$)
$endgroup$
– Aknazar Kazhymurat
2 days ago










2 Answers
2






active

oldest

votes


















20












$begingroup$

Examples of smooth manifolds admitting finitely many complex structures are provided by some holomorphically rigid complex varieties.



For instance, considering fake projective planes (i.e., smooth compact complex surfaces which are not the complex projective plane but have the same Betti numbers as the
complex projective plane), there are $100$ examples determined up to biholomorphism, but only $50$ examples determined up to isometry.



In fact, the real $4$-manifold underlying any fake projective plane admits precisely two inequivalent complex structures, that are exchanged by complex conjugation.



Moreover, by standard results on rigidity, any minimal Kähler surface with the same fundamental group as a fake projective plane is actually biholomorphic or conjugate biholomorphic to it.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Right. I forgot to write "minimal", thanks for the remark.
    $endgroup$
    – Francesco Polizzi
    yesterday


















17












$begingroup$

There are countably many complex structures on $S^2 times S^2$ up to isomorphism. Specifically, the even Hirzebruch surfaces $F_2k$ are the only options. This is the main result of



Qin, Zhenbo, Complex structures on certain differentiable 4-manifolds, Topology 32, No. 3, 551-566 (1993). ZBL0796.57010.



The author also proves that the odd Hirzebruch surfaces are the only complex structures on the $4$-fold $mathbbCP^2 # overlinemathbbCP^2$.






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



    );






    John McCarthy 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%2f327037%2fexamples-of-smooth-manifolds-admitting-inbetween-one-and-a-continuum-of-complex%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    20












    $begingroup$

    Examples of smooth manifolds admitting finitely many complex structures are provided by some holomorphically rigid complex varieties.



    For instance, considering fake projective planes (i.e., smooth compact complex surfaces which are not the complex projective plane but have the same Betti numbers as the
    complex projective plane), there are $100$ examples determined up to biholomorphism, but only $50$ examples determined up to isometry.



    In fact, the real $4$-manifold underlying any fake projective plane admits precisely two inequivalent complex structures, that are exchanged by complex conjugation.



    Moreover, by standard results on rigidity, any minimal Kähler surface with the same fundamental group as a fake projective plane is actually biholomorphic or conjugate biholomorphic to it.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Right. I forgot to write "minimal", thanks for the remark.
      $endgroup$
      – Francesco Polizzi
      yesterday















    20












    $begingroup$

    Examples of smooth manifolds admitting finitely many complex structures are provided by some holomorphically rigid complex varieties.



    For instance, considering fake projective planes (i.e., smooth compact complex surfaces which are not the complex projective plane but have the same Betti numbers as the
    complex projective plane), there are $100$ examples determined up to biholomorphism, but only $50$ examples determined up to isometry.



    In fact, the real $4$-manifold underlying any fake projective plane admits precisely two inequivalent complex structures, that are exchanged by complex conjugation.



    Moreover, by standard results on rigidity, any minimal Kähler surface with the same fundamental group as a fake projective plane is actually biholomorphic or conjugate biholomorphic to it.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Right. I forgot to write "minimal", thanks for the remark.
      $endgroup$
      – Francesco Polizzi
      yesterday













    20












    20








    20





    $begingroup$

    Examples of smooth manifolds admitting finitely many complex structures are provided by some holomorphically rigid complex varieties.



    For instance, considering fake projective planes (i.e., smooth compact complex surfaces which are not the complex projective plane but have the same Betti numbers as the
    complex projective plane), there are $100$ examples determined up to biholomorphism, but only $50$ examples determined up to isometry.



    In fact, the real $4$-manifold underlying any fake projective plane admits precisely two inequivalent complex structures, that are exchanged by complex conjugation.



    Moreover, by standard results on rigidity, any minimal Kähler surface with the same fundamental group as a fake projective plane is actually biholomorphic or conjugate biholomorphic to it.






    share|cite|improve this answer











    $endgroup$



    Examples of smooth manifolds admitting finitely many complex structures are provided by some holomorphically rigid complex varieties.



    For instance, considering fake projective planes (i.e., smooth compact complex surfaces which are not the complex projective plane but have the same Betti numbers as the
    complex projective plane), there are $100$ examples determined up to biholomorphism, but only $50$ examples determined up to isometry.



    In fact, the real $4$-manifold underlying any fake projective plane admits precisely two inequivalent complex structures, that are exchanged by complex conjugation.



    Moreover, by standard results on rigidity, any minimal Kähler surface with the same fundamental group as a fake projective plane is actually biholomorphic or conjugate biholomorphic to it.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited yesterday

























    answered 2 days ago









    Francesco PolizziFrancesco Polizzi

    48.6k3130212




    48.6k3130212











    • $begingroup$
      Right. I forgot to write "minimal", thanks for the remark.
      $endgroup$
      – Francesco Polizzi
      yesterday
















    • $begingroup$
      Right. I forgot to write "minimal", thanks for the remark.
      $endgroup$
      – Francesco Polizzi
      yesterday















    $begingroup$
    Right. I forgot to write "minimal", thanks for the remark.
    $endgroup$
    – Francesco Polizzi
    yesterday




    $begingroup$
    Right. I forgot to write "minimal", thanks for the remark.
    $endgroup$
    – Francesco Polizzi
    yesterday











    17












    $begingroup$

    There are countably many complex structures on $S^2 times S^2$ up to isomorphism. Specifically, the even Hirzebruch surfaces $F_2k$ are the only options. This is the main result of



    Qin, Zhenbo, Complex structures on certain differentiable 4-manifolds, Topology 32, No. 3, 551-566 (1993). ZBL0796.57010.



    The author also proves that the odd Hirzebruch surfaces are the only complex structures on the $4$-fold $mathbbCP^2 # overlinemathbbCP^2$.






    share|cite|improve this answer









    $endgroup$

















      17












      $begingroup$

      There are countably many complex structures on $S^2 times S^2$ up to isomorphism. Specifically, the even Hirzebruch surfaces $F_2k$ are the only options. This is the main result of



      Qin, Zhenbo, Complex structures on certain differentiable 4-manifolds, Topology 32, No. 3, 551-566 (1993). ZBL0796.57010.



      The author also proves that the odd Hirzebruch surfaces are the only complex structures on the $4$-fold $mathbbCP^2 # overlinemathbbCP^2$.






      share|cite|improve this answer









      $endgroup$















        17












        17








        17





        $begingroup$

        There are countably many complex structures on $S^2 times S^2$ up to isomorphism. Specifically, the even Hirzebruch surfaces $F_2k$ are the only options. This is the main result of



        Qin, Zhenbo, Complex structures on certain differentiable 4-manifolds, Topology 32, No. 3, 551-566 (1993). ZBL0796.57010.



        The author also proves that the odd Hirzebruch surfaces are the only complex structures on the $4$-fold $mathbbCP^2 # overlinemathbbCP^2$.






        share|cite|improve this answer









        $endgroup$



        There are countably many complex structures on $S^2 times S^2$ up to isomorphism. Specifically, the even Hirzebruch surfaces $F_2k$ are the only options. This is the main result of



        Qin, Zhenbo, Complex structures on certain differentiable 4-manifolds, Topology 32, No. 3, 551-566 (1993). ZBL0796.57010.



        The author also proves that the odd Hirzebruch surfaces are the only complex structures on the $4$-fold $mathbbCP^2 # overlinemathbbCP^2$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        David E SpeyerDavid E Speyer

        108k9282540




        108k9282540




















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









            draft saved

            draft discarded


















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












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











            John McCarthy 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.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327037%2fexamples-of-smooth-manifolds-admitting-inbetween-one-and-a-continuum-of-complex%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