16 out of half a billion: elite CalabiYau manifolds with a fundamental group 2013
Web contents challenger Forums :: Topics published automatically transferred from different blogs and forums :: Topics published automatically transferred from different blogs and forums
Page 1 of 1 • Share
16 out of half a billion: elite CalabiYau manifolds with a fundamental group 2013
2013 2013 2013 <b>Heterotic phenomenology seems to converge to an excitingly sparse shortlist of candidates</b><br /><br />Heterotic compactifications represent a convincing – if not the most convincing – class of superstring vacua that seem to pass the "first great exam" for producing a theory of everything. A week ago, I discussed <a href="http://motls.blogspot.com/2013/08/promisingclassofheteroticz8.html?m=1">\(\ZZ_8\) orbifolds</a> but now we return to smooth CalabiYau manifolds, the nice creatures you know from the popular books and from the <a href="http://32b.it/?p=557">girl who has a 3D printer</a>.<br /><br /><iframe width="407" height="305" src="//www.youtube.com/embed/UizjpqKTnt0" frameborder="0" allowfullscreen></iframe><br /><br />The reason is a new hepth paper by He, Lee, Lukas, and Sun (of China, Korea, and Oxford):<br /><blockquote><a href="http://arxiv.org/abs/1309.0223">Heterotic Model Building: 16 Special Manifolds</a><br /><hr><a href="http://wwwthphys.physics.ox.ac.uk/projects/CalabiYau/toricdata/index.html">...Mathematica supplements...</a> (will be posted later)<br /></blockquote>These 16 manifolds are really special; they seem to have something that the remaining more than half a billion of manifolds in a list don't possess.<a name='more'></a><br /><br /><script type="text/javascript"><! google_ad_client = "capub8768832575723394"; /* 336x280, created 8/17/10 */ google_ad_slot = "0363397257"; google_ad_width = 336; google_ad_height = 280; //></script><br /><script src="http://pagead2.googlesyndication.com/pagead/show_ads.js" type="text/javascript"></script><br /><br />What is it? I will answer but let me begin with a more general discussion.<br /><br />CalabiYau threefolds are used in the heterotic string model building and they're 6realdimensional shapes whose holonomy group is \(SU(3)\), a nice midway subgroup of the generic potato manifolds' \(O(6)\) holonomy. (Holonomy is the group of all rotations of the tangent space at any point that you may induce by the parallel transport around any closed curve through the manifold.) They come in families – topological classes. The most important topological invariant of such a manifold is the <a href="http://motls.blogspot.com/2012/07/eulercharacteristic.html?m=1">Euler characteristic \(\chi\)</a>.<br /><br /><script type="text/javascript"><! google_ad_client = "capub8768832575723394"; /* 336x280, created 8/17/10 */ google_ad_slot = "0363397257"; google_ad_width = 336; google_ad_height = 280; //></script><br /><script src="http://pagead2.googlesyndication.com/pagead/show_ads.js" type="text/javascript"></script><br /><br />For CalabiYaus, the Euler character (let me shorten the term in this way) may be written in terms of more detailed quantities, the Hodge numbers, as\[<br /><br />\chi = 2(h^{1,1}h^{2,1})<br /><br />\] where, roughly speaking, the two terms refer to the number of topologically distinct and independent, noncontractible 2 and 3dimensional submanifolds, respectively. In two different ways, they generalize the "number of handles" on a 2dimensional Riemann surface. Let me assume that you know some complex cohomology calculus or you're satisfied with the sloppy explanation of mine.<br /><br />These Hodge numbers \(h^{1,1},h^{2,1}\) also dictate the number of moduli – continuous parameters that can be used to deform a given CalabiYau manifold without changing its topology. Each CalabiYau seems to have a "mirror partner" (the relation is "mirror symmetry") that acts as (among other changes) as\[<br /><br />(h^{1,1},h^{2,1})\leftrightarrow (h^{2,1},h^{1,1})\quad \Rightarrow\quad \chi\leftrightarrow \chi<br /><br />\] on the Hodge numbers and (as a consequence) on the Euler character. In total, \(30,108\) distinct Hodge number pairs \((h^{1,1},h^{2,1})\) are known to be realized. The number of known CalabiYau topologies is therefore at least equal to this number of order "tens of thousands". The plot is nice and reproduced many times on this blog and on Figure 1 in the paper.<br /><br /><span class="noborimg"><a href="https://lh4.googleusercontent.com/3LiH3Gtnwog/UAzns_MMfI/AAAAAAAAFwc/JJZAQ2en_b4/s1600/hodgeplot.PNG" rel="nofollow"><img src="https://lh4.googleusercontent.com/3LiH3Gtnwog/UAzns_MMfI/AAAAAAAAFwc/JJZAQ2en_b4/s400/hodgeplot.PNG"></a></span><br /><br />The largest Hodge numbers appear in the "extreme" CalabiYaus with \((h^{1,1},h^{2,1})=(491,11)\) and its mirror with \((11,491)\). Those produce \(\chi=\pm 960\) which is the current record holder and the probability is high (but not 100 percent) that no greater Euler character is mathematically possible for the CalabiYau threefolds (the basic "pattern" of the picture would seem to be violated if there were larger Euler characters). In this sense, heterotic string theory predicts that there are at most \(480\) generations of quarks and leptons. The prediction seems to be confirmed experimentally. ;)<br /><br />There are of course much more detailed predictions you can make if you consider specific models.<br /><br />But let me first say that there are three main methods to construct CalabiYau manifolds:<br /><ul><li>CICYs, complete intersection CalabiYaus,</li><li>elliptically fibered CalabiYaus,</li><li>CalabiYau threefolds obtained from ambient fourfolds coming with a reflexive polytope.</li></ul>One needs to know some fancy higherdimensional geometry and I am not a genuine expert myself but I could still give a short lecture that will have to be dramatically reduced here.<br /><br />The first group, the complete intersections, are defined by sets of algebraic (polynomial) equations for homogeneous coordinates of products of projective spaces. Candelas, Dale, Lutken, and Schimmrigk began to probe this class in 1988.<br /><br />The elliptically fibered ones were intensely studied e.g. by Friedman, Morgan, and Witten in 1997. <br /><br />The paper we discuss now is all about the third group, the CalabiYau threefolds extracted from CalabiYau fourfolds. In 2000, Kreuzer and Skarke listed \(473,800,776\) ambient toric fourfolds with a reflective polytope. The list was "published" two years later. You know, it's not easy to print almost half a billion of entries in a journal. Just kidding, the full list was of course not printed. ;)<br /><br />This class obtained from fourfolds seems to be most inclusive and it's this class which is enough to produce the examples with \(30,108\) pairs of the two Hodge numbers. While one can construct at least one CalabiYau threefold from each fourfold, it's my understanding that the number of topologies of CalabiYau threefolds is vastly smaller than half a billion because there are very many repetitions once you "reduce" the fourfolds to threefolds. <br /><br />The new Asian/Oxford paper wants to focus on heterotic phenomenology. For such models to be viable, we need manifolds with a nontrivial (different than the oneelement group \(\ZZ_1\): a clever notation, by the way, right?) fundamental group \(\Gamma\). This group counts noncontractible curves along the manifold that are needed for the symmetry breaking by Wilson lines, something that is apparently necessary to break the GUT group down to the Standard Model group in similar models (the GUT Higgs fields are totally circumvented, they probably have to be circumvented, and the Wilsonlinebased stringy breaking seems more viable than GUTscale Higgses, anyway).<br /><br />In other words, we need fourfolds that come in pairs. The pair includes an "upstair" manifold \(\tilde X\) that has an isometry \(\Gamma\) and the "downstair" manifold i.e. quotient \(X=\tilde X/\Gamma\).<br /><blockquote><b>To make the story short, they only found 16 fourfolds whose order (number of elements) \(\Gamma\gt 1\) i.e. for which the fundamental group is nontrivial.</b><br /></blockquote>This is quite a reduction, from half a billion to sixteen. The basic topological data about these manifolds are listed in Table 1 on page 9 of the paper. The Euler characters of \(\tilde X\) and \(X\) belong to the intervals \(96288\) and \(40144\), respectively. The fundamental group \(\pi_1(X)=\Gamma\) is \(\ZZ_2\) in 13 cases, \(\ZZ_3\) in 2 cases, and \(\ZZ_5\) for 1 manifold.<br /><br />There has to be quite a competition to get this small shortlist. One could argue that except for the \(16\) entries, the half a billion candidates don't allow life in the sense of the usual anthropic discussions. A nontrivial fundamental group seems to be more important for life than oxygen.<br /><br />Now, for some esoteric Picard geometric reasons, they eliminate two candidates (with \(\Gamma=\ZZ_2\)) and they try to put line bundles on the remaining \(14\) manifolds and pick the manifold/bundle combinations that lead to three chiral families embedded in consistent supersymmetric models. This produces \(29,000\) models, still a pretty exclusive club. Most of them (\(28,870\)) have the \(SO(10)\) gauge group, my favorite one, when interpreted as grand unified theories broken by a Wilson line; there are \(122\) \(SU(5)\)based models, too. If you believed that the right vacuum is a "generic" element of the list, it would be likely that the group is \(SO(10)\) which means that there exist righthanded neutrinos, among other things.<br /><br />It's sort of impressive what progress has occurred in this heavily mathematical portion of string phenomenology in recent years. The advances were made possible by a combination of progress in algebraic geometry and in computeraided algebra – and with the realization of the importance of holomorphic vector bundles that satisfy the Hermitian YangMills equations as an efficient way to deal with the difficult problem of the gauge fields that have to have a profile on the compactification manifold.<br> 2013 2013 2013 <br><b>Heterotic phenomenology seems to converge to an excitingly sparse shortlist of candidates</b><br /><br />Heterotic compactifications represent a convincing – if not the most convincing – class of superstring vacua that seem to pass the "first great exam" for producing a theory of everything. A week ago, I discussed <a href="http://motls.blogspot.com/2013/08/promisingclassofheteroticz8.html?m=1">\(\ZZ_8\) orbifolds</a> but now we return to smooth CalabiYau manifolds, the nice creatures you know from the popular books and from the <a href="http://32b.it/?p=557">girl who has a 3D printer</a>.<br /><br /><iframe width="407" height="305" src="//www.youtube.com/embed/UizjpqKTnt0" frameborder="0" allowfullscreen></iframe><br /><br />The reason is a new hepth paper by He, Lee, Lukas, and Sun (of China, Korea, and Oxford):<br /><blockquote><a href="http://arxiv.org/abs/1309.0223">Heterotic Model Building: 16 Special Manifolds</a><br /><hr><a href="http://wwwthphys.physics.ox.ac.uk/projects/CalabiYau/toricdata/index.html">...Mathematica supplements...</a> (will be posted later)<br /></blockquote>These 16 manifolds are really special; they seem to have something that the remaining more than half a billion of manifolds in a list don't possess.<a name='more'></a><br /><br /><script type="text/javascript"><! google_ad_client = "capub8768832575723394"; /* 336x280, created 8/17/10 */ google_ad_slot = "0363397257"; google_ad_width = 336; google_ad_height = 280; //></script><br /><script src="http://pagead2.googlesyndication.com/pagead/show_ads.js" type="text/javascript"></script><br /><br />What is it? I will answer but let me begin with a more general discussion.<br /><br />CalabiYau threefolds are used in the heterotic string model building and they're 6realdimensional shapes whose holonomy group is \(SU(3)\), a nice midway subgroup of the generic potato manifolds' \(O(6)\) holonomy. (Holonomy is the group of all rotations of the tangent space at any point that you may induce by the parallel transport around any closed curve through the manifold.) They come in families – topological classes. The most important topological invariant of such a manifold is the <a href="http://motls.blogspot.com/2012/07/eulercharacteristic.html?m=1">Euler characteristic \(\chi\)</a>.<br /><br /><script type="text/javascript"><! google_ad_client = "capub8768832575723394"; /* 336x280, created 8/17/10 */ google_ad_slot = "0363397257"; google_ad_width = 336; google_ad_height = 280; //></script><br /><script src="http://pagead2.googlesyndication.com/pagead/show_ads.js" type="text/javascript"></script><br /><br />For CalabiYaus, the Euler character (let me shorten the term in this way) may be written in terms of more detailed quantities, the Hodge numbers, as\[<br /><br />\chi = 2(h^{1,1}h^{2,1})<br /><br />\] where, roughly speaking, the two terms refer to the number of topologically distinct and independent, noncontractible 2 and 3dimensional submanifolds, respectively. In two different ways, they generalize the "number of handles" on a 2dimensional Riemann surface. Let me assume that you know some complex cohomology calculus or you're satisfied with the sloppy explanation of mine.<br /><br />These Hodge numbers \(h^{1,1},h^{2,1}\) also dictate the number of moduli – continuous parameters that can be used to deform a given CalabiYau manifold without changing its topology. Each CalabiYau seems to have a "mirror partner" (the relation is "mirror symmetry") that acts as (among other changes) as\[<br /><br />(h^{1,1},h^{2,1})\leftrightarrow (h^{2,1},h^{1,1})\quad \Rightarrow\quad \chi\leftrightarrow \chi<br /><br />\] on the Hodge numbers and (as a consequence) on the Euler character. In total, \(30,108\) distinct Hodge number pairs \((h^{1,1},h^{2,1})\) are known to be realized. The number of known CalabiYau topologies is therefore at least equal to this number of order "tens of thousands". The plot is nice and reproduced many times on this blog and on Figure 1 in the paper.<br /><br /><span class="noborimg"><a href="https://lh4.googleusercontent.com/3LiH3Gtnwog/UAzns_MMfI/AAAAAAAAFwc/JJZAQ2en_b4/s1600/hodgeplot.PNG" rel="nofollow"><img src="https://lh4.googleusercontent.com/3LiH3Gtnwog/UAzns_MMfI/AAAAAAAAFwc/JJZAQ2en_b4/s400/hodgeplot.PNG"></a></span><br /><br />The largest Hodge numbers appear in the "extreme" CalabiYaus with \((h^{1,1},h^{2,1})=(491,11)\) and its mirror with \((11,491)\). Those produce \(\chi=\pm 960\) which is the current record holder and the probability is high (but not 100 percent) that no greater Euler character is mathematically possible for the CalabiYau threefolds (the basic "pattern" of the picture would seem to be violated if there were larger Euler characters). In this sense, heterotic string theory predicts that there are at most \(480\) generations of quarks and leptons. The prediction seems to be confirmed experimentally. ;)<br /><br />There are of course much more detailed predictions you can make if you consider specific models.<br /><br />But let me first say that there are three main methods to construct CalabiYau manifolds:<br /><ul><li>CICYs, complete intersection CalabiYaus,</li><li>elliptically fibered CalabiYaus,</li><li>CalabiYau threefolds obtained from ambient fourfolds coming with a reflexive polytope.</li></ul>One needs to know some fancy higherdimensional geometry and I am not a genuine expert myself but I could still give a short lecture that will have to be dramatically reduced here.<br /><br />The first group, the complete intersections, are defined by sets of algebraic (polynomial) equations for homogeneous coordinates of products of projective spaces. Candelas, Dale, Lutken, and Schimmrigk began to probe this class in 1988.<br /><br />The elliptically fibered ones were intensely studied e.g. by Friedman, Morgan, and Witten in 1997. <br /><br />The paper we discuss now is all about the third group, the CalabiYau threefolds extracted from CalabiYau fourfolds. In 2000, Kreuzer and Skarke listed \(473,800,776\) ambient toric fourfolds with a reflective polytope. The list was "published" two years later. You know, it's not easy to print almost half a billion of entries in a journal. Just kidding, the full list was of course not printed. ;)<br /><br />This class obtained from fourfolds seems to be most inclusive and it's this class which is enough to produce the examples with \(30,108\) pairs of the two Hodge numbers. While one can construct at least one CalabiYau threefold from each fourfold, it's my understanding that the number of topologies of CalabiYau threefolds is vastly smaller than half a billion because there are very many repetitions once you "reduce" the fourfolds to threefolds. <br /><br />The new Asian/Oxford paper wants to focus on heterotic phenomenology. For such models to be viable, we need manifolds with a nontrivial (different than the oneelement group \(\ZZ_1\): a clever notation, by the way, right?) fundamental group \(\Gamma\). This group counts noncontractible curves along the manifold that are needed for the symmetry breaking by Wilson lines, something that is apparently necessary to break the GUT group down to the Standard Model group in similar models (the GUT Higgs fields are totally circumvented, they probably have to be circumvented, and the Wilsonlinebased stringy breaking seems more viable than GUTscale Higgses, anyway).<br /><br />In other words, we need fourfolds that come in pairs. The pair includes an "upstair" manifold \(\tilde X\) that has an isometry \(\Gamma\) and the "downstair" manifold i.e. quotient \(X=\tilde X/\Gamma\).<br /><blockquote><b>To make the story short, they only found 16 fourfolds whose order (number of elements) \(\Gamma\gt 1\) i.e. for which the fundamental group is nontrivial.</b><br /></blockquote>This is quite a reduction, from half a billion to sixteen. The basic topological data about these manifolds are listed in Table 1 on page 9 of the paper. The Euler characters of \(\tilde X\) and \(X\) belong to the intervals \(96288\) and \(40144\), respectively. The fundamental group \(\pi_1(X)=\Gamma\) is \(\ZZ_2\) in 13 cases, \(\ZZ_3\) in 2 cases, and \(\ZZ_5\) for 1 manifold.<br /><br />There has to be quite a competition to get this small shortlist. One could argue that except for the \(16\) entries, the half a billion candidates don't allow life in the sense of the usual anthropic discussions. A nontrivial fundamental group seems to be more important for life than oxygen.<br /><br />Now, for some esoteric Picard geometric reasons, they eliminate two candidates (with \(\Gamma=\ZZ_2\)) and they try to put line bundles on the remaining \(14\) manifolds and pick the manifold/bundle combinations that lead to three chiral families embedded in consistent supersymmetric models. This produces \(29,000\) models, still a pretty exclusive club. Most of them (\(28,870\)) have the \(SO(10)\) gauge group, my favorite one, when interpreted as grand unified theories broken by a Wilson line; there are \(122\) \(SU(5)\)based models, too. If you believed that the right vacuum is a "generic" element of the list, it would be likely that the group is \(SO(10)\) which means that there exist righthanded neutrinos, among other things.<br /><br />It's sort of impressive what progress has occurred in this heavily mathematical portion of string phenomenology in recent years. The advances were made possible by a combination of progress in algebraic geometry and in computeraided algebra – and with the realization of the importance of holomorphic vector bundles that satisfy the Hermitian YangMills equations as an efficient way to deal with the difficult problem of the gauge fields that have to have a profile on the compactification manifold.<br>2013 2013 2013 <br> <a href="http://www.matrixar.com/" title="Matrix ">المصفوفة : أجمل الخلفيات والصور</a>
Admin Admin
 Posts : 64122
Join date : 20130222
Similar topics
» Ranma OneHalf
» Doomsday vs SHIELD
» I need the cooking time and temperature for roast duck please
» One tree becomes two...
» Air Layering
» Doomsday vs SHIELD
» I need the cooking time and temperature for roast duck please
» One tree becomes two...
» Air Layering
Web contents challenger Forums :: Topics published automatically transferred from different blogs and forums :: Topics published automatically transferred from different blogs and forums
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum

