Examples of smooth manifolds admitting inbetween one and a continuum of complex structures Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)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?

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



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)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











$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
    Apr 3 at 16:02















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











$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
    Apr 3 at 16:02













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











$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















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 5 at 9:42









Francesco Polizzi

48.8k3132214




48.8k3132214










asked Apr 3 at 10:52









John McCarthyJohn McCarthy

785




785







  • 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
    Apr 3 at 16:02












  • 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
    Apr 3 at 16:02







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
Apr 3 at 16:02




$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
Apr 3 at 16:02










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$




















    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.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%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$

















        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$















          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 Apr 5 at 5:15

























          answered Apr 3 at 11:00









          Francesco PolizziFrancesco Polizzi

          48.8k3132214




          48.8k3132214





















              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 Apr 3 at 23:57









                  David E SpeyerDavid E Speyer

                  108k9282540




                  108k9282540



























                      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%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







                      Popular posts from this blog

                      Adding axes to figuresAdding axes labels to LaTeX figuresLaTeX equivalent of ConTeXt buffersRotate a node but not its content: the case of the ellipse decorationHow to define the default vertical distance between nodes?TikZ scaling graphic and adjust node position and keep font sizeNumerical conditional within tikz keys?adding axes to shapesAlign axes across subfiguresAdding figures with a certain orderLine up nested tikz enviroments or how to get rid of themAdding axes labels to LaTeX figures

                      Luettelo Yhdysvaltain laivaston lentotukialuksista Lähteet | Navigointivalikko

                      Gary (muusikko) Sisällysluettelo Historia | Rockin' High | Lähteet | Aiheesta muualla | NavigointivalikkoInfobox OKTuomas "Gary" Keskinen Ancaran kitaristiksiProjekti Rockin' High