{"id":1337,"date":"2026-07-20T09:14:13","date_gmt":"2026-07-20T08:14:13","guid":{"rendered":"https:\/\/vitormsalmeida.pt\/?p=1337"},"modified":"2026-07-20T09:14:13","modified_gmt":"2026-07-20T08:14:13","slug":"the-main-equations-of-string-theory","status":"publish","type":"post","link":"https:\/\/vitormsalmeida.pt\/index.php\/2026\/07\/20\/the-main-equations-of-string-theory\/","title":{"rendered":"The main equations of String Theory."},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">The main equations of String Theory and their implications (an accessible explanation, but with essential mathematics). <br>String Theory replaces point particles with one-dimensional objects (strings) that vibrate. It is a candidate for a Theory of Everything, unifying quantum gravity with other forces. There is no single &#8220;fundamental equation&#8221; as in General Relativity (Einstein&#8217;s equations), but rather actions (functionals) that generate the equations of motion. <br><br><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-light-color\">1. Main (fundamental) actions: <\/mark><br>Nambu-Goto action (the most intuitive, area swept by the string):<br><math data-latex=\"S=\u2212T\u222bd2\u03c3\u2212det\u2061(G\u03b1\u03b2)\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mo form=\"prefix\" stretchy=\"false\">\u2212<\/mo><mi>T<\/mi><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>2<\/mn><mi>\u03c3<\/mi><mo>\u2212<\/mo><mi>d<\/mi><mi>e<\/mi><mi>t<\/mi><mtext>\u2061<\/mtext><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>G<\/mi><mi>\u03b1<\/mi><mi>\u03b2<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S=\u2212T\u222bd2\u03c3\u2212det\u2061(G\u03b1\u03b2)<\/annotation><\/semantics><\/math><br>Where: <br>&#8211; (T) is the string tension (related to the parameter \u03b1\u2032\\alpha&#8217;\\alpha&#8217; , string scale \u223c10\u221235 m). <br>&#8211; <math data-latex=\"G\u03b1\u03b2=g\u03bc\u03bd(X)\u2202\u03b1X\u03bc\u2202\u03b2X\u03bd\"><semantics><mrow><mi>G<\/mi><mi>\u03b1<\/mi><mi>\u03b2<\/mi><mo>=<\/mo><mi>g<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>X<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mi>\u2202<\/mi><mi>\u03b1<\/mi><mi>X<\/mi><mi>\u03bc<\/mi><mi>\u2202<\/mi><mi>\u03b2<\/mi><mi>X<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">G\u03b1\u03b2=g\u03bc\u03bd(X)\u2202\u03b1X\u03bc\u2202\u03b2X\u03bd<\/annotation><\/semantics><\/math> is the induced metric in the world of the sheet (worldsheet) of the string in target spacetime with metric <math data-latex=\"g\u03bc\u03bdg_{\\mu\\nu}g_{\\mu\\nu}\"><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><\/mrow><annotation encoding=\"application\/x-tex\">g\u03bc\u03bdg_{\\mu\\nu}g_{\\mu\\nu}<\/annotation><\/semantics><\/math> <br>&#8211; Integration over the sheet parameters <math data-latex=\" (\u03c3,\u03c4\\sigma, \\tau\\sigma, \\tau )\"><semantics><mrow><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>\u03c3<\/mi><mo separator=\"true\">,<\/mo><mi>\u03c4<\/mi><mi>\u03c3<\/mi><mo separator=\"true\">,<\/mo><mi>\u03c4<\/mi><mi>\u03c3<\/mi><mo separator=\"true\">,<\/mo><mi>\u03c4<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\"> (\u03c3,\u03c4\\sigma, \\tau\\sigma, \\tau )<\/annotation><\/semantics><\/math>. <br>This action is proportional to the area swept by the string in spacetime (analogous to the worldline of a particle). It is difficult to quantize. Polyakov action (most used, classically equivalent):<br><math data-latex=\"S=\u2212T2\u222bd2\u03c3\u2212h\u2009habg\u03bc\u03bd(X)\u2202aX\u03bc\u2202bX\u03bd\"><semantics><mrow><mi>S<\/mi><mo>=<\/mo><mo form=\"prefix\" stretchy=\"false\">\u2212<\/mo><mi>T<\/mi><mn>2<\/mn><mo movablelimits=\"false\">\u222b<\/mo><mi>d<\/mi><mn>2<\/mn><mi>\u03c3<\/mi><mo>\u2212<\/mo><mi>h<\/mi><mtext>\u2009<\/mtext><mi>h<\/mi><mi>a<\/mi><mi>b<\/mi><mi>g<\/mi><mi>\u03bc<\/mi><mi>\u03bd<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>X<\/mi><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mi>\u2202<\/mi><mi>a<\/mi><mi>X<\/mi><mi>\u03bc<\/mi><mi>\u2202<\/mi><mi>b<\/mi><mi>X<\/mi><mi>\u03bd<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">S=\u2212T2\u222bd2\u03c3\u2212h\u2009habg\u03bc\u03bd(X)\u2202aX\u03bc\u2202bX\u03bd<\/annotation><\/semantics><\/math><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 two-dimensional sheet (worldsheet). <br>This action is quadratically easy to quantize and has Weyl symmetries and diffeomorphisms. <br>Classically equivalent to the Nambu-Goto action when solving the equations for <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>. <br><br><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-light-color\">2. Equations of motion (classical) <\/mark><br>Variation of action leads to wave equations for the coordinates X\u03bc(\u03c3,\u03c4)X^\\mu(\\sigma, \\tau)X^\\mu(\\sigma, \\tau) of the string: <br>In the conformal gauge (simplified):<br><math data-latex=\"(\u2202\u03c42\u2212\u2202\u03c32)X\u03bc=0\"><semantics><mrow><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>\u2202<\/mi><mi>\u03c4<\/mi><mn>2<\/mn><mo>\u2212<\/mo><mi>\u2202<\/mi><mi>\u03c3<\/mi><mn>2<\/mn><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mi>X<\/mi><mi>\u03bc<\/mi><mo>=<\/mo><mn>0<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">(\u2202\u03c42\u2212\u2202\u03c32)X\u03bc=0<\/annotation><\/semantics><\/math>(wave equation)} <br>With Virasoro&#8217;s restrictions (of the energy-momentum tensor <math data-latex=\" Tab=0\"><semantics><mrow><mi>T<\/mi><mi>a<\/mi><mi>b<\/mi><mo>=<\/mo><mn>0<\/mn><\/mrow><annotation encoding=\"application\/x-tex\"> Tab=0<\/annotation><\/semantics><\/math> ):<br><math data-latex=\"\u2202+X\u22c5\u2202+X=0,\u2202\u2212X\u22c5\u2202\u2212X=0\"><semantics><mrow><mi>\u2202<\/mi><mo>+<\/mo><mi>X<\/mi><mo>\u22c5<\/mo><mi>\u2202<\/mi><mo>+<\/mo><mi>X<\/mi><mo>=<\/mo><mn>0<\/mn><mo separator=\"true\">,<\/mo><mi>\u2202<\/mi><mo>\u2212<\/mo><mi>X<\/mi><mo>\u22c5<\/mo><mi>\u2202<\/mi><mo>\u2212<\/mo><mi>X<\/mi><mo>=<\/mo><mn>0<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">\u2202+X\u22c5\u2202+X=0,\u2202\u2212X\u22c5\u2202\u2212X=0<\/annotation><\/semantics><\/math> <br>(where <math data-latex=\"\u2202\u00b1=\u2202\u03c4\u00b1\u2202\u03c3\"><semantics><mrow><mi>\u2202<\/mi><mo>\u00b1<\/mo><mo>=<\/mo><mi>\u2202<\/mi><mi>\u03c4<\/mi><mo>\u00b1<\/mo><mi>\u2202<\/mi><mi>\u03c3<\/mi><\/mrow><annotation encoding=\"application\/x-tex\">\u2202\u00b1=\u2202\u03c4\u00b1\u2202\u03c3<\/annotation><\/semantics><\/math> ).<br>In quantization, Virasoro operators and the mass spectrum (vibrational modes determine particles) emerge.<br><br><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-light-color\">3. Crucial Quantum Consistency Conditions: <\/mark><br>&#8211; Critical Dimension: To eliminate conformal anomalies (beta functions of the sigma model), bosonic theory requires 26 dimensions; superstrings (with supersymmetry) require 10 dimensions. Extra dimensions are compacted (e.g., in Calabi-Yau manifolds). <br>&#8211; Elimination of beta functions (\u03b2=0) of the two-dimensional sigma model: guarantees conformal invariance in the sheet. This generates Einstein&#8217;s field equations (and more) at low energy. <br><br><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-light-color\">4. Effective low-energy action (most important implication) <\/mark><br>By requiring<math data-latex=\" \u03b2\u03bd\u03bc=0\"><semantics><mrow><mi>\u03b2<\/mi><mi>\u03bd<\/mi><mi>\u03bc<\/mi><mo>=<\/mo><mn>0<\/mn><\/mrow><annotation encoding=\"application\/x-tex\"> \u03b2\u03bd\u03bc=0<\/annotation><\/semantics><\/math> (anomaly cancellation), we obtain (in first order in \u03b1\u2032\\alpha&#8217;\\alpha&#8217; ) the effective action in spacetime (for graviton, dilaton \u03a6, B field etc.):<br> <math data-latex=\"S\u2248\u222bd10x\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03a6\u22c5\u2202\u03a6\u2212112H2+O(\u03b1\u2032))\"><semantics><mrow><mi>S<\/mi><mo>\u2248<\/mo><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><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u22c5<\/mo><mi>\u2202<\/mi><mrow><mi mathvariant=\"normal\">\u03a6<\/mi><\/mrow><mo>\u2212<\/mo><mn>112<\/mn><mi>H<\/mi><mn>2<\/mn><mo>+<\/mo><mi>O<\/mi><mo form=\"prefix\" stretchy=\"false\">(<\/mo><mi>\u03b1<\/mi><mtext>\u2032<\/mtext><mo form=\"postfix\" stretchy=\"false\">)<\/mo><mo form=\"postfix\" stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">S\u2248\u222bd10x\u2212G\u2009e\u22122\u03a6(R+4\u2202\u03a6\u22c5\u2202\u03a6\u2212112H2+O(\u03b1\u2032))<\/annotation><\/semantics><\/math> <br>Where ( R ) is the Einstein curvature scalar. The variation of this action recovers the Einstein equations (gravity) plus higher-order corrections (in \u03b1\u2032\\alpha&#8217;\\alpha&#8217;) Gravity emerges naturally from the quantum consistency of strings! <br><br><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-accent-light-color\">Main implications: <\/mark><br>&#8211; Unification: Includes quantum gravity (graviton arises as a vibration mode), gauge forces (of open strings) and matter. Candidate for Theory of Everything. <br>&#8211; Supersymmetry (in superstrings): Relates bosons and fermions; aids in stability and cancellation of divergences. <br>&#8211; Dualities (T, S, U): Different string theories are equivalent (e.g., small ~ large strings). They lead to M-Theory (11 dimensions, includes branes). <br>&#8211; AdS\/CFT (Maldacena): Holographic correspondence \u2014 string theory\/gravity in Anti-de Sitter is equivalent to a conformal field theory (CFT) without gravity in the limit. Revolutionized the physics of black holes, quantum plasmas, and condensed matter. <br>&#8211; Landscape of universes: Thousands of ways to compactify extra dimensions \u2192 &#8220;landscape&#8221; with ~10^500 possible vacuums. Complicates predictions., but it allows for anthropia\/multiverse. <br>&#8211; Finite: Solves infinities of perturbative quantum gravity. <br>&#8211; Testability: String scale is Planckian (very small). Indirect predictions: supersymmetry (not yet observed at the LHC), extra particles, cosmological modifications, etc. Still no direct evidence. <br><br>The theory is mathematically rich (involves conformal field theory, Kac-Moody algebras, algebraic geometry), but remains speculative\u2014there is no direct experimental confirmation. Recent advances (such as bootstrap) reinforce its unique mathematical structure. <br><br>I recommend books like &#8220;String Theory&#8221; by Polchinski or Brian Greene&#8217;s explanations in &#8220;The Elegant Universe&#8221; for beginners.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The main equations of String Theory and their implications (an accessible explanation, but with essential mathematics). String Theory replaces point particles with one-dimensional objects (strings) that vibrate. It is a candidate for a Theory of Everything, unifying quantum gravity with other forces. There is no single &#8220;fundamental equation&#8221; as in General Relativity (Einstein&#8217;s equations), but [&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-1337","post","type-post","status-publish","format-standard","hentry","category-my-thoughts"],"_links":{"self":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1337","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=1337"}],"version-history":[{"count":1,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1337\/revisions"}],"predecessor-version":[{"id":1338,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/posts\/1337\/revisions\/1338"}],"wp:attachment":[{"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/media?parent=1337"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/categories?post=1337"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/vitormsalmeida.pt\/index.php\/wp-json\/wp\/v2\/tags?post=1337"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}