Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 23rd 2012

    started an entry F-theory (the string-theoretic notion)

    • CommentRowNumber2.
    • CommentAuthorcliff
    • CommentTimeFeb 24th 2012
    Hi, I added a reference for phenomenology (first edit here at nLab). I also have some other good ones in my collection that I'm considering adding too, depending on which ones seem the most appropriate/important.
    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 24th 2012

    I’m not a string theorist and who am I to doubt Urs’ word, but this paragraph doesn’t gel with what I know of F-theory

    More precisely, this process relates 11-dimensional supergravity on 11-dimensional torus-bundles / elliptic fibrations to type IIA supergravity. What is called F-theory is the explicit description of type IIB supergravity vacua in terms of such elliptic fibrations.

    In particular, I thought F-theory was about 12-dimensional elliptic fibrations. (to forestall any comments, I would have edited if I could be sure I had my facts straight)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 24th 2012
    • (edited Feb 24th 2012)

    Hi Cliff,

    thanks for helping add references and content!

    Hi David,

    so far I chose to mention the M-theory dual picture only. There it is indeed an 11d elliptic fibration. From this perspective the 12d fibration that you are looking for appears from first shrinking the fiber to vanishing volume and then applying T-duality in one fiber direction to make another large dimension appear again:

    Mtheoryin11d Ftheoryin12d ellitpicfibration ellitpicfibration typeIIAin9d Tduality typeIIBin10d. \array{ M-theory in 11 d && F-theory in 12d \\ {}^{\mathllap{ellitpic fibration}}\downarrow && \downarrow^{\mathrlap{ellitpic fibration}} \\ type IIA in 9d &\stackrel{T-duality}{\leftrightarrow}& type IIB in 10 d } \,.

    In actual fact, what is mostly discussed in the literature are real 8d elliptic fibrations Y 8B 6Y_8 \to B_6 over a real 6d base. In F-theory phenomenology then one considers simply the 12 d product 1,3×Y 8\mathbb{R}^{1,3} \times Y_8 which gets eventually compactified to Minkowski spacetime 3,1\mathbb{R}^{3,1}, while in the dual M-theory picture one considers the 11d product 1,2×Y 8\mathbb{R}^{1,2} \times Y_8.

    I’ll try to find the time now to put more comments along these lines also into the entry…

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeFeb 24th 2012

    Okay, I have now expanded F-theory as indicated above.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 16th 2014

    Have expanded a bit the Idea-section

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 23rd 2016

    Someone unhelpfully and ungrammatically added “It also have relation to multiverse” in the first paragraph, so I rolled it back.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 23rd 2016

    Thanks David. That sort of speculation is not well-founded.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2018

    added pointer to Weigand 18

    diff, v49, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2019
    • (edited Apr 1st 2019)

    added some references on the F-theory realization of the exact SM gauge group (which is what the recent article with “quadrillion” in the title is based on…):


    Discussion of the exact gauge group of the standard model of particle physics, G=(SU(3)×SU(2)×U(1))/ 6G = \big( SU(3) \times SU(2) \times U(1)\big)/\mathbb{Z}_6 including its 6\mathbb{Z}_6-quotient (see there) and the exact fermion field content, realized in F-theory is in

    • Denis Klevers, Damian Kaloni Mayorga Pena, Paul-Konstantin Oehlmann, Hernan Piragua, Jonas Reuter, Denis Klevers, Damian Kaloni Mayorga Pena, Paul-Konstantin Oehlmann, Hernan Piragua, Jonas Reuter, JHEP01(2015)142 (arXiv:1408.4808)

    • Mirjam Cvetic, Ling Lin, section 3.3 of The global gauge group structure of F-theory compactifications with U(1)U(1)s (arXiv:1706.08521)

    diff, v54, current

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 1st 2019

    That’s an interesting title for the Klevers et al paper….

    • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 1st 2019

    Fixed that ’title’ :-)

    diff, v55, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2019

    Thanks!

    • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 2nd 2019

    With a full description of M-theory available also F-theory should be a full non-perturbative description of type IIB string theory, but absent that it is some kind of approximation.

    Can you see implications for F-theory already from the cohomotopic picture of M-theory you’re devising?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2019

    Yeah, there is a reason for a bunch of new nnLab entries, such as M-theory on 8-manifolds. More later. Busy typing up proofs… :-)

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2019
    • (edited Jun 27th 2019)

    added pointer to today’s

    diff, v59, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)