{"id":1341,"date":"2026-07-22T08:58:53","date_gmt":"2026-07-22T07:58:53","guid":{"rendered":"https:\/\/vitormsalmeida.pt\/?p=1341"},"modified":"2026-07-22T09:38:17","modified_gmt":"2026-07-22T08:38:17","slug":"the-five-string-theories-and-the-need-for-m-theory","status":"publish","type":"post","link":"https:\/\/vitormsalmeida.pt\/index.php\/2026\/07\/22\/the-five-string-theories-and-the-need-for-m-theory\/","title":{"rendered":"The five string theories and the need for M-theory."},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Contrary to popular belief, String Theory is actually five theories. <br><br>The five consistent string theories (superstrings) in 10 dimensions are: <br><strong>&#8211; Type I <\/strong><br><math data-latex=\"S=12\u03ba102\u222bd10x\u2009\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1)\u221212g102\u222bd10x\u2009\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u22ef\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mn>12<\/mn><mi>\u03ba<\/mi><mn>102<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mtext>\u2009<\/mtext><mo>\u2212<\/mo><mi>G<\/mi><mtext>\u2009<\/mtext><mi>e<\/mi><mo>\u2212<\/mo><mn>2<\/mn><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mn>112<\/mn><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo>\u2212<\/mo><mn>12<\/mn><mi>g<\/mi><mn>102<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mtext>\u2009<\/mtext><mo>\u2212<\/mo><mi>G<\/mi><mtext>\u2009<\/mtext><mi>T<\/mi><mi>r<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>F<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>F<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo>+<\/mo><mo>\u22ef<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S=12\u03ba102\u222bd10x\u2009\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1)\u221212g102\u222bd10x\u2009\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u22ef<\/annotation><\/semantics><\/math><br>Where: <br><math data-latex=\"G\u03bc\u03bd\"><semantics><mrow><mi>G<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">G\u03bc\u03bd<\/annotation><\/semantics><\/math> : spacetime metric (graviton) <br>\u03a6 : dilaton (scalar field that controls string coupling) <br>H=dB+H = dB +H = dB + Chern-Simons terms (antisymmetric field of 3 forms, coming from <math data-latex=\"B\u03bc\u03bd\"><semantics><mrow><mi>B<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">B\u03bc\u03bd<\/annotation><\/semantics><\/math> ) <br><math data-latex=\"F\u03bc\u03bd\"><semantics><mrow><mi>F<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">F\u03bc\u03bd<\/annotation><\/semantics><\/math>: Yang-Mills force field of the SO(32) group <br>The terms \u201c$\\cdots$\u201d include fermionic interactions, Chern-Simons terms and higher-order corrections (\u03b1\u2032 ).<br><strong>&#8211; Type IIA <\/strong><br><math data-latex=\"SIIA,\u00a0bosonic=12\u03ba2\u222bd10x\u2212g\u2009e\u22122\u03d5[R+4\u2202\u03bc\u03d5\u2202\u03bc\u03d5\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1]S_{\\text{IIA, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi - \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right]S_{\\text{IIA, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi - \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right] \u221214\u03ba2\u222bd10x\u2212g[12F2,\u03bc\u03bdF2\u03bc\u03bd+124F~4,\u03bc\u03bd\u03c1\u03c3F~4\u03bc\u03bd\u03c1\u03c3]\u221214\u03ba2\u222bB\u2227F4\u2227F4\"><semantics><mrow><mi>S<\/mi><mi>I<\/mi><mi>I<\/mi><mi>A<\/mi><mo separator=\"true\">,<\/mo><mi>b<\/mi><mi>o<\/mi><mi>s<\/mi><mi>o<\/mi><mi>n<\/mi><mi>i<\/mi><mi>c<\/mi><mo>=<\/mo><mn>12<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>g<\/mi><mtext>\u2009<\/mtext><mi>e<\/mi><mo>\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><mi>\u2202<\/mi><mi>\u03bc<\/mi><mi>\u03d5<\/mi><mi>\u2202<\/mi><mi>\u03bc<\/mi><mi>\u03d5<\/mi><mo>\u2212<\/mo><mn>112<\/mn><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mo form=\"postfix\" stretchy=\"false\">]<\/mo><msub><mi>S<\/mi><mtext>IIA,&nbsp;bosonic<\/mtext><\/msub><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>g<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mi>\u03d5<\/mi><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mi>\u03d5<\/mi><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>12<\/mn><\/mfrac><msub><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msub><msup><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msup><mo fence=\"true\" form=\"postfix\">]<\/mo><\/mrow><msub><mi>S<\/mi><mtext>IIA,&nbsp;bosonic<\/mtext><\/msub><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>g<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mi>\u03d5<\/mi><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mi>\u03d5<\/mi><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>12<\/mn><\/mfrac><msub><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msub><msup><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msup><mo fence=\"true\" form=\"postfix\">]<\/mo><\/mrow><mo>\u2212<\/mo><mn>14<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>g<\/mi><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mn>12<\/mn><mi>F<\/mi><mn>2<\/mn><mo separator=\"true\">,<\/mo><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>F<\/mi><mn>2<\/mn><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mo>+<\/mo><mn>124<\/mn><mi>F<\/mi><mtext>&nbsp;<\/mtext><mn>4<\/mn><mo separator=\"true\">,<\/mo><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mi>\u03c3<\/mi><mi>F<\/mi><mtext>&nbsp;<\/mtext><mn>4<\/mn><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mi>\u03c3<\/mi><mo form=\"postfix\" stretchy=\"false\">]<\/mo><mo>\u2212<\/mo><mn>14<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>B<\/mi><mo>\u2227<\/mo><mi>F<\/mi><mn>4<\/mn><mo>\u2227<\/mo><mi>F<\/mi><mn>4<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">SIIA,&nbsp;bosonic=12\u03ba2\u222bd10x\u2212g\u2009e\u22122\u03d5[R+4\u2202\u03bc\u03d5\u2202\u03bc\u03d5\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1]S_{\\text{IIA, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi &#8211; \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right]S_{\\text{IIA, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi &#8211; \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right] \u221214\u03ba2\u222bd10x\u2212g[12F2,\u03bc\u03bdF2\u03bc\u03bd+124F~4,\u03bc\u03bd\u03c1\u03c3F~4\u03bc\u03bd\u03c1\u03c3]\u221214\u03ba2\u222bB\u2227F4\u2227F4<\/annotation><\/semantics><\/math><br>Where:<br><math data-latex=\"g\u03bc\u03bd\"><semantics><mrow><mi>g<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">g\u03bc\u03bd<\/annotation><\/semantics><\/math> \u2014 metric (gravity) <br>\u03d5 \u2014 dilaton (scalar field) <br><math data-latex=\"B\u03bc\u03bd\"><semantics><mrow><mi>B<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">B\u03bc\u03bd<\/annotation><\/semantics><\/math> \u2014 2-way field (NS-NS), with H3=dB <br>C1 (or <math data-latex=\"A\u03bc\"><semantics><mrow><mi>A<\/mi><mi>\u03bc<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">A\u03bc<\/annotation><\/semantics><\/math> ) \u2014 1-form potential RR \u2192 F2=dC1<br><math data-latex=\"C_3\"><semantics><msub><mi>C<\/mi><mn>3<\/mn><\/msub><annotation encoding=\"application\/x-tex\">C_3<\/annotation><\/semantics><\/math> \u2014 3-form potential RR \u2192 <math data-latex=\" F4=dC3\"><semantics><mrow><mi>F<\/mi><mn>4<\/mn><mo>=<\/mo><mi>d<\/mi><mi>C<\/mi><mn>3<\/mn><\/mrow><annotation encoding=\"application\/x-tex\"> F4=dC3<\/annotation><\/semantics><\/math><br><math data-latex=\"F~4=F4\"><semantics><mrow><mi>F<\/mi><mtext>&nbsp;<\/mtext><mn>4<\/mn><mo>=<\/mo><mi>F<\/mi><mn>4<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">F~4=F4<\/annotation><\/semantics><\/math> &#8211;<math data-latex=\"C1\u2227H3\"><semantics><mrow><mi>C<\/mi><mn>1<\/mn><mo>\u2227<\/mo><mi>H<\/mi><mn>3<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">C1\u2227H3<\/annotation><\/semantics><\/math> (modified force field) <br>\u03ba \u2014 gravitational coupling constant<br><strong>&#8211; Type IIB <\/strong><br><math data-latex=\"SIIB,\u00a0bosonic=12\u03ba2\u222bd10x\u2212g\u2009e\u22122\u03d5[R+4\u2202\u03bc\u03d5\u2202\u03bc\u03d5\u221212\u2223H\u22232]S_{\\text{IIB, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi - \\frac{1}{2} |H|^2 \\right]S_{\\text{IIB, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi - \\frac{1}{2} |H|^2 \\right] \u221214\u03ba2\u222bd10x\u2212g[\u2223F1\u22232+\u2223F~3\u22232+12\u2223F~5\u22232]\u221214\u03ba2\u222bC4\u2227H\u2227F3\"><semantics><mrow><mi>S<\/mi><mi>I<\/mi><mi>I<\/mi><mi>B<\/mi><mo separator=\"true\">,<\/mo><mi>b<\/mi><mi>o<\/mi><mi>s<\/mi><mi>o<\/mi><mi>n<\/mi><mi>i<\/mi><mi>c<\/mi><mo>=<\/mo><mn>12<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>g<\/mi><mtext>\u2009<\/mtext><mi>e<\/mi><mo>\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><mi>\u2202<\/mi><mi>\u03bc<\/mi><mi>\u03d5<\/mi><mi>\u2202<\/mi><mi>\u03bc<\/mi><mi>\u03d5<\/mi><mo>\u2212<\/mo><mn>12<\/mn><mtext>\u2223<\/mtext><mi>H<\/mi><mtext>\u2223<\/mtext><mn>2<\/mn><mo form=\"postfix\" stretchy=\"false\">]<\/mo><msub><mi>S<\/mi><mtext>IIB,&nbsp;bosonic<\/mtext><\/msub><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>g<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mi>\u03d5<\/mi><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mi>\u03d5<\/mi><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>2<\/mn><\/mfrac><mi>|<\/mi><mi>H<\/mi><msup><mi>|<\/mi><mn>2<\/mn><\/msup><mo fence=\"true\" form=\"postfix\">]<\/mo><\/mrow><msub><mi>S<\/mi><mtext>IIB,&nbsp;bosonic<\/mtext><\/msub><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>g<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mi>\u03d5<\/mi><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mi>\u03d5<\/mi><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mi>\u03d5<\/mi><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>2<\/mn><\/mfrac><mi>|<\/mi><mi>H<\/mi><msup><mi>|<\/mi><mn>2<\/mn><\/msup><mo fence=\"true\" form=\"postfix\">]<\/mo><\/mrow><mo>\u2212<\/mo><mn>14<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>g<\/mi><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mtext>\u2223<\/mtext><mi>F<\/mi><mn>1<\/mn><mtext>\u2223<\/mtext><mn>2<\/mn><mo>+<\/mo><mtext>\u2223<\/mtext><mi>F<\/mi><mtext>&nbsp;<\/mtext><mn>3<\/mn><mtext>\u2223<\/mtext><mn>2<\/mn><mo>+<\/mo><mn>12<\/mn><mtext>\u2223<\/mtext><mi>F<\/mi><mtext>&nbsp;<\/mtext><mn>5<\/mn><mtext>\u2223<\/mtext><mn>2<\/mn><mo form=\"postfix\" stretchy=\"false\">]<\/mo><mo>\u2212<\/mo><mn>14<\/mn><mi>\u03ba<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>C<\/mi><mn>4<\/mn><mo>\u2227<\/mo><mi>H<\/mi><mo>\u2227<\/mo><mi>F<\/mi><mn>3<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">SIIB,&nbsp;bosonic=12\u03ba2\u222bd10x\u2212g\u2009e\u22122\u03d5[R+4\u2202\u03bc\u03d5\u2202\u03bc\u03d5\u221212\u2223H\u22232]S_{\\text{IIB, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi &#8211; \\frac{1}{2} |H|^2 \\right]S_{\\text{IIB, bosonic}} = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-g} \\, e^{-2\\phi} \\left[ R + 4 \\partial_\\mu \\phi \\partial^\\mu \\phi &#8211; \\frac{1}{2} |H|^2 \\right] \u221214\u03ba2\u222bd10x\u2212g[\u2223F1\u22232+\u2223F~3\u22232+12\u2223F~5\u22232]\u221214\u03ba2\u222bC4\u2227H\u2227F3<\/annotation><\/semantics><\/math><br>Where: <br>\u03d5: dilaton <br>H = dB: 3-form Kalb-Ramond field (NS-NS) <br>F\u2081 = dC\u2080: 1-form (axion) <br>F\u2083 = dC\u2082: 3-form RR <br>F\u2085 = dC\u2084: 5-form RR F\u0303\u2083 = F\u2083 \u2212 C\u2080 \u2227 H (modified field) F\u0303\u2085 = F\u2085 \u2212 \u00bd C\u2082 \u2227 H + \u00bd B \u2227 F\u2083 (modified field, with F\u0303\u2085 = \u22c6 F\u0303\u2085 imposed)<br><strong>&#8211; Heterotic SO(32) <\/strong><br><math data-latex=\"S=12\u03ba102\u222bd10x\u2212G\u2009e\u22122\u03a6[R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1]\u221214gYM2\u222bd10x\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u2026\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mn>12<\/mn><mi>\u03ba<\/mi><mn>102<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>G<\/mi><mtext>\u2009<\/mtext><mi>e<\/mi><mo>\u2212<\/mo><mn>2<\/mn><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mn>112<\/mn><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mi>H<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><mo form=\"postfix\" stretchy=\"false\">]<\/mo><mo>\u2212<\/mo><mn>14<\/mn><mi>g<\/mi><mi>Y<\/mi><mi>M<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>G<\/mi><mtext>\u2009<\/mtext><mi>T<\/mi><mi>r<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>F<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>F<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo>+<\/mo><mo>\u2026<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S=12\u03ba102\u222bd10x\u2212G\u2009e\u22122\u03a6[R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1]\u221214gYM2\u222bd10x\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u2026<\/annotation><\/semantics><\/math><br>Where: <br><math data-latex=\"G_{\u03bc\u03bd}\"><semantics><msub><mi>G<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><annotation encoding=\"application\/x-tex\">G_{\u03bc\u03bd}<\/annotation><\/semantics><\/math> is the metric (graviton). <br>\u03a6 is the dilaton (scalar field that controls the coupling of strings <math data-latex=\"g_s = e^\u27e8\u03a6\u27e9\"><semantics><mrow><msub><mi>g<\/mi><mi>s<\/mi><\/msub><mo>=<\/mo><msup><mi>e<\/mi><mo form=\"prefix\" stretchy=\"false\">\u27e8<\/mo><\/msup><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo form=\"postfix\" stretchy=\"false\">\u27e9<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">g_s = e^\u27e8\u03a6\u27e9<\/annotation><\/semantics><\/math>). <br>H = dB + (Chern-Simons terms with F \u2227 F) is the 3-form field (antisymmetrization of B_{\u03bc\u03bd}). <br>F is the Yang-Mills curvature (gauge strength) with group SO(32). <br>\u03ba\u2081\u2080 and g_{YM} are related coupling constants. <br>There are also fermions (gravitino, dilatino, gaugino) to complete the N=1 supersymmetry in 10D.<br><strong>&#8211; Heterotic E\u2088 \u00d7 E\u2088 <\/strong><br>There is no single simple &#8220;equation&#8221; that defines the entire theory (it is defined by an action on the worldsheet + quantization + quantum consistency), but the main equations arise from the effective low-energy action (N=1 supergravity theory in 10D coupled with Yang-Mills) and the anomaly cancellation conditions.<br>For Effective Low Energy Action (in a string frame, up to order \u03b1\u2032):<br><math data-latex=\"S=12\u03ba102\u222bd10x\u2212G\u2009e\u22122\u03a6[R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u221213\u2223H\u22232\u2212\u03b1\u20324Tr\u2223F\u22232+O(\u03b1\u20322)]\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mn>12<\/mn><mi>\u03ba<\/mi><mn>102<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>10<\/mn><mi>x<\/mi><mo>\u2212<\/mo><mi>G<\/mi><mtext>\u2009<\/mtext><mi>e<\/mi><mo>\u2212<\/mo><mn>2<\/mn><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo form=\"prefix\" stretchy=\"false\">[<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mi>\u2202<\/mi><mi>\u03bc<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mn>13<\/mn><mtext>\u2223<\/mtext><mi>H<\/mi><mtext>\u2223<\/mtext><mn>2<\/mn><mo>\u2212<\/mo><mi>\u03b1<\/mi><mtext>\u2032<\/mtext><mn>4<\/mn><mi>T<\/mi><mi>r<\/mi><mtext>\u2223<\/mtext><mi>F<\/mi><mtext>\u2223<\/mtext><mn>2<\/mn><mo>+<\/mo><mi>O<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>\u03b1<\/mi><mtext>\u2032<\/mtext><mn>2<\/mn><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo form=\"postfix\" stretchy=\"false\">]<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S=12\u03ba102\u222bd10x\u2212G\u2009e\u22122\u03a6[R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u221213\u2223H\u22232\u2212\u03b1\u20324Tr\u2223F\u22232+O(\u03b1\u20322)]<\/annotation><\/semantics><\/math><br>Main fields: <br><math data-latex=\"G_{\u03bc\u03bd}\"><semantics><msub><mi>G<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><annotation encoding=\"application\/x-tex\">G_{\u03bc\u03bd}<\/annotation><\/semantics><\/math>: Metric (graviton) <br>\u03a6: Dilaton (scalar) <br>B_{\u03bc\u03bd}: 2-form antisymmetric field (NS-NS) <br>A_\u03bc (or gauge field): Gauge connection with E\u2088 \u00d7 E\u2088 group (or SO(32) in the other heterotic) <br><math data-latex=\"H = dB + (\u03b1'\/4) (\u03c9_{CS}^L - \u03c9_{CS}^{YM})\"><semantics><mrow><mi>H<\/mi><mo>=<\/mo><mi>d<\/mi><mi>B<\/mi><mo>+<\/mo><mo form=\"prefix\" stretchy=\"false\">(<\/mo><msup><mi>\u03b1<\/mi><mo lspace=\"0em\" rspace=\"0em\" class=\"tml-prime\">\u2032<\/mo><\/msup><mi>\/<\/mi><mn>4<\/mn><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo form=\"prefix\" stretchy=\"false\">(<\/mo><msubsup><mi>\u03c9<\/mi><mrow><mi>C<\/mi><mi>S<\/mi><\/mrow><mi>L<\/mi><\/msubsup><mo>\u2212<\/mo><msubsup><mi>\u03c9<\/mi><mrow><mi>C<\/mi><mi>S<\/mi><\/mrow><mrow><mi>Y<\/mi><mi>M<\/mi><\/mrow><\/msubsup><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">H = dB + (\u03b1&#8217;\/4) (\u03c9_{CS}^L &#8211; \u03c9_{CS}^{YM})<\/annotation><\/semantics><\/math>: Modified 3-form (includes gravitational and Yang-Mills terms from Chern-Simons) <br>H incorporates the Green-Schwarz mechanism for anomaly cancellation.<br><br>They are unified by M-Theory (in 11 dimensions) via dualities. There is no single simple &#8220;equation&#8221; like in General Relativity <math data-latex=\"(G_{\\mu\\nu} = 8\\pi T_{\\mu\\nu})\"><semantics><mrow><mo form=\"prefix\" stretchy=\"false\">(<\/mo><msub><mi>G<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><mo>=<\/mo><mn>8<\/mn><mi>\u03c0<\/mi><msub><mi>T<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">(G_{\\mu\\nu} = 8\\pi T_{\\mu\\nu})<\/annotation><\/semantics><\/math>, but they are defined by actions on the worldsheet (two-dimensional surface swept by the string) and by their effective low-energy actions (supergravities in 10D). <br><br>1. Fundamental action in the worldsheet (common basis) <br>The quantum description starts from the Polyakov (or Nambu-Goto) action with supersymmetry in the worldsheet. <br>For the bosonic string (26 dimensions, not supersymmetric): <br>S = -T\u00b2\u222bd\u00b2\u03c3 -hhab \u2202aX\u03bc\/\u2202bX\u03bcS = -T\/2 \u221a(-h) \u221a(hab) \u2202a X\u221a(m) \u221a(b X\u221a(m)) (or in the conformal gauge). <br>Where:<br>&#8211; (T): string tension (related to \u03b1\u2032&#8217; , Regge&#8217;s parameter). <br>&#8211; <math data-latex=\"X\u03bc(\u03c3,\u03c4)\"><semantics><mrow><mi>X<\/mi><mi>\u03bc<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>\u03c3<\/mi><mo separator=\"true\">,<\/mo><mi>\u03c4<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">X\u03bc(\u03c3,\u03c4)<\/annotation><\/semantics><\/math> : spacetime coordinates (embeddings). <br>&#8211; <math data-latex=\"h_{ab}\"><semantics><msub><mi>h<\/mi><mrow><mi>a<\/mi><mi>b<\/mi><\/mrow><\/msub><annotation encoding=\"application\/x-tex\">h_{ab}<\/annotation><\/semantics><\/math> : auxiliary metric in the sheet-world (2D). <br>&#8211; \u03c3,\u03c4 : coordinates in the sheet-world.<br>For superstrings (10 dimensions), fields are added Fermionics (spinors) and supersymmetry in the worldsheet (RNS or GS formalism). <br>The basic action includes bosonic + fermionic + supersymmetry terms. The differences between the five theories arise from: <br><math data-latex=\"S=Sboso\u02c6nico+i2\u03c0\u03b1\u2032\u222bd2\u03c3\u2009\u03c8\u02c9\u03bc\u03c1a\u2202a\u03c8\u03bc\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mi>S<\/mi><mi>b<\/mi><mi>o<\/mi><mi>s<\/mi><mi>o<\/mi><mtext>\u02c6<\/mtext><mi>n<\/mi><mi>i<\/mi><mi>c<\/mi><mi>o<\/mi><mo>+<\/mo><mi>i<\/mi><mn>2<\/mn><mi>\u03c0<\/mi><mi>\u03b1<\/mi><mtext>\u2032<\/mtext><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>2<\/mn><mi>\u03c3<\/mi><mtext>\u2009<\/mtext><mi>\u03c8<\/mi><mtext>\u02c9<\/mtext><mi>\u03bc<\/mi><mi>\u03c1<\/mi><mi>a<\/mi><mi>\u2202<\/mi><mi>a<\/mi><mi>\u03c8<\/mi><mi>\u03bc<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">S=Sboso\u02c6nico+i2\u03c0\u03b1\u2032\u222bd2\u03c3\u2009\u03c8\u02c9\u03bc\u03c1a\u2202a\u03c8\u03bc<\/annotation><\/semantics><\/math>. <br>Orientability (with or without orientable fold). Ramond (R) and Neveu-Schwarz (NS) sectors. Gauge groups (for heterotics). <br><br>2. Effective low-energy actions (Supergravity in 10D) <br>In the low-energy limit (lengths >> string size), each theory reduces to a specific supergravity. <br>Here are the main features: <br>&#8211; Type IIA (closed strings, non-chiral N=(1,1) supersymmetry): <br>Fields: metric <math data-latex=\"G\u03bc\u03bdG_{\\mu\\nu}G_{\\mu\\nu} , dilaton \u03a6\"><semantics><mrow><mi>G<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><msub><mi>G<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><msub><mi>G<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><\/mrow><\/msub><mo separator=\"true\">,<\/mo><mi>d<\/mi><mi>i<\/mi><mi>l<\/mi><mi>a<\/mi><mi>t<\/mi><mi>o<\/mi><mi>n<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><\/mrow><annotation encoding=\"application\/x-tex\">G\u03bc\u03bdG_{\\mu\\nu}G_{\\mu\\nu} , dilaton \u03a6<\/annotation><\/semantics><\/math> , B-field (2-form), Ramond-Ramond forms C1C_1C_1 and C3C_3C_3 . <br>Effective action includes Einstein terms, dilaton, H = dB, and RR terms. <br>Type IIB (closed strings, chiral N=(2,0) supersymmetry): <br>Similar fields, but RR: C0C_0C_0 (scalar), C2C_2C_2 , C4C_4C_4 (with self-duality). Richer in D-branes (odd\/even pairs). <br>&#8211; Type I (open + closed strings, non-oriented, gauge group SO(32)): <br>Combines elements of Type IIB with an orientifold. Includes gauge fields at the end of open strings. <br>&#8211; Heterotic (closed strings, asymmetric: 10D right-hand supersymmetric + 26D bosonic left-hand, with gauge currents): SO(32) and E\u2088 \u00d7 E\u2088. Effective action includes Yang-Mills term for gauge group: <br><math data-latex=\"Sgauge\u223c\u222bTr(F\u2227\u2217F)S_{\\text{gauge}} \\sim \\int \\text{Tr}(F \\wedge *F)S_{\\text{gauge}} \\sim \\int \\text{Tr}(F \\wedge *F)\"><semantics><mrow><mi>S<\/mi><mi>g<\/mi><mi>a<\/mi><mi>u<\/mi><mi>g<\/mi><mi>e<\/mi><mo>\u223c<\/mo><mo movablelimits=\"false\">\u222b<\/mo><mi>T<\/mi><mi>r<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>F<\/mi><mo>\u2227<\/mo><mo form=\"prefix\" stretchy=\"false\">\u2217<\/mo><mi>F<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><msub><mi>S<\/mi><mtext>gauge<\/mtext><\/msub><mo>\u223c<\/mo><mo movablelimits=\"false\">\u222b<\/mo><mtext>Tr<\/mtext><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>F<\/mi><mo>\u2227<\/mo><mo form=\"prefix\" stretchy=\"false\">\u2217<\/mo><mi>F<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><msub><mi>S<\/mi><mtext>gauge<\/mtext><\/msub><mo>\u223c<\/mo><mo movablelimits=\"false\">\u222b<\/mo><mtext>Tr<\/mtext><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>F<\/mi><mo>\u2227<\/mo><mo form=\"prefix\" stretchy=\"false\">\u2217<\/mo><mi>F<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">Sgauge\u223c\u222bTr(F\u2227\u2217F)S_{\\text{gauge}} \\sim \\int \\text{Tr}(F \\wedge *F)S_{\\text{gauge}} \\sim \\int \\text{Tr}(F \\wedge *F)<\/annotation><\/semantics><\/math> <br>They differ in gauge group, but have very similar actions. The common low-energy bosonic action (N-NS sector, present in all) has the approximate form: <br>S=12\u03ba2\u222bd10x\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1)+\u2026<math data-latex=\"S = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-G} \\, e^{-2\\Phi} \\left( R + 4 \\partial_\\mu \\Phi \\partial^\\mu \\Phi - \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right) +.S = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-G} \\, e^{-2\\Phi} \\left( R + 4 \\partial_\\mu \\Phi \\partial^\\mu \\Phi - \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right) + \\dots\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>G<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">(<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>12<\/mn><\/mfrac><msub><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msub><msup><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msup><mo fence=\"true\" form=\"postfix\">)<\/mo><\/mrow><mo>+<\/mo><mi>.<\/mi><mi>S<\/mi><mo>=<\/mo><mfrac><mn>1<\/mn><mrow><mn>2<\/mn><msup><mi>\u03ba<\/mi><mn>2<\/mn><\/msup><\/mrow><\/mfrac><mo movablelimits=\"false\">\u222b<\/mo><msup><mi>d<\/mi><mn>10<\/mn><\/msup><mi>x<\/mi><msqrt><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mi>G<\/mi><\/mrow><\/msqrt><mspace width=\"0.1667em\"><\/mspace><msup><mi>e<\/mi><mrow><mo lspace=\"0em\" rspace=\"0em\">\u2212<\/mo><mn>2<\/mn><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><\/mrow><\/msup><mrow><mo fence=\"true\" form=\"prefix\">(<\/mo><mi>R<\/mi><mo>+<\/mo><mn>4<\/mn><msub><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msub><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><msup><mi>\u2202<\/mi><mi>\u03bc<\/mi><\/msup><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mfrac><mn>1<\/mn><mn>12<\/mn><\/mfrac><msub><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msub><msup><mi>H<\/mi><mrow><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mi>\u03c1<\/mi><\/mrow><\/msup><mo fence=\"true\" form=\"postfix\">)<\/mo><\/mrow><mo>+<\/mo><mo>\u2026<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-G} \\, e^{-2\\Phi} \\left( R + 4 \\partial_\\mu \\Phi \\partial^\\mu \\Phi &#8211; \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right) +.S = \\frac{1}{2\\kappa^2} \\int d^{10}x \\sqrt{-G} \\, e^{-2\\Phi} \\left( R + 4 \\partial_\\mu \\Phi \\partial^\\mu \\Phi &#8211; \\frac{1}{12} H_{\\mu\\nu\\rho} H^{\\mu\\nu\\rho} \\right) + \\dots<\/annotation><\/semantics><\/math> (more specific terms for each theory for Ramond-Ramond or gauge fields). <br><br>Summary of condensation characteristics: <br>&#8211; Type I The only one that contains open strings (besides closed ones). It has the lowest level supersymmetry (N=1). It is self-dual with the SO(32) heterotic via S-duality. <br>&#8211; Type IIA Closed string theory with type IIA supersymmetry (opposite chirality). Reduced to 11 dimensions gives 11D supergravity. <br>&#8211; Type IIB Very rich in symmetries (has S and T duality). It is the theory that contains the famous D3-brane, widely used in AdS\/CFT (gauge\/gravity correspondence). <br>&#8211; Heterotic SO(32) Closed strings where the left and right vibration modes are different (&#8220;heterotic&#8221;). Uses the SO(32) group to cancel anomalies. <br>&#8211; Heterotic E\u2088\u00d7E\u2088 Considered the most &#8220;physical&#8221; for a long time, as it allows the construction of Standard Model particle models with three generations of quarks and leptons in a relatively natural way. <br><br>Important observations <br>The equations of motion are obtained by varying these actions (very complex, involving superfields, etc.). Theories are equivalent via dualities (T-duality, S-duality, U-duality), so they are not really five independent theories. For precise calculations, consult classic books such as Polchinski (String Theory), Green-Schwarz-Witten, or notes by David Tong. <br><br>Conclusion: <br>Now I hope the need for M-Theory is understood, as it is the only one that can (by adding one toroidal dimension) unify these five equations into one.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Contrary to popular belief, String Theory is actually five theories. The five consistent string theories (superstrings) in 10 dimensions are: &#8211; Type I S=12\u03ba102\u222bd10x\u2009\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1)\u221212g102\u222bd10x\u2009\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u22efS=12\u03ba102\u222bd10x\u2009\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03bc\u03a6\u2202\u03bc\u03a6\u2212112H\u03bc\u03bd\u03c1H\u03bc\u03bd\u03c1)\u221212g102\u222bd10x\u2009\u2212G\u2009Tr(F\u03bc\u03bdF\u03bc\u03bd)+\u22efWhere: G\u03bc\u03bdG\u03bc\u03bd : spacetime metric (graviton) \u03a6 : dilaton (scalar field that controls string coupling) H=dB+H = dB +H = dB + Chern-Simons terms (antisymmetric field of 3 forms, coming from B\u03bc\u03bdB\u03bc\u03bd [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-1341","post","type-post","status-publish","format-standard","hentry","category-my-thoughts"],"_links":{"self":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1341","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/comments?post=1341"}],"version-history":[{"count":2,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1341\/revisions"}],"predecessor-version":[{"id":1345,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1341\/revisions\/1345"}],"wp:attachment":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/media?parent=1341"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/categories?post=1341"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/tags?post=1341"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}