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

                      Quoting Keynes in a lectureIs differentiated instruction permitted by universities?How to make students learn prerequisitesUnsatisfactory Instructor Evaluations: balancing of expectations of engineering studentsWhat is the difference between a “statistician”, “applied statistician”, and an academic applying advanced stats within their field?Listing in reference section, but not quotingHow to efficiently use time while preparing for a class?Graduate Admissions: Teaching Emphasisstrategies for sharing teaching information with universities I don't personally have contacts withIs there an efficient way to give a large class of students feedback about their assignments?Is it unreasonable to expect students to read the lecture notes before attending the first class?

                      Rank groups within a grouped sequence of TRUE/FALSE and NAGrouping functions (tapply, by, aggregate) and the *apply familyCharacters counting and subletting specific patternsWhat is the purpose of setting a key in data.table?data.table vs dplyr: can one do something well the other can't or does poorly?how to make a bar plot for a list of dataframes?How to group by unique values in a list in RPandas - Alternative to rank() function that gives unique ordinal ranks for a columnRank within group in for loop in RData transformation: from dyadic to observational data in RGetting map from purrr to work with paste0

                      Are all passive ability checks floors for active ability checks?Does passive perception supersede active perception?Which skills can be used passively?Active Opposition with Free-Form Professions in Fate5E Trap/Ambush/Stealth Mechanics VS Passive Perception ConfusionInteraction between perception and stealth in obscured conditionsHow does Keen Sight affect Passive Perception?Are all d20 rolls either attacks, saves or ability checks?Can players declare that they are making a specific ability check?Can I see a Hidden creature that is not obscured at all?Can a Stealth check ever be made passively?Is this alternate version of the Observant feat balanced?What is the minimum amount of skill points per HD?