{"id":1576,"date":"2009-02-03T15:47:40","date_gmt":"2009-02-03T20:47:40","guid":{"rendered":"http:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=1576"},"modified":"2009-04-15T09:50:40","modified_gmt":"2009-04-15T14:50:40","slug":"what-is-string-theory","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=1576","title":{"rendered":"What is String Theory?"},"content":{"rendered":"<p>Yesterday Joe Polchinski gave a lunch-time talk at the KITP on the topic of <a href=\"http:\/\/online.kitp.ucsb.edu\/online\/bblunch\/polchinski6\/\">What is String Theory?<\/a>   No answer to the question, but he provided an outline of three topics being discussed at the current KITP workshop program that have something to do with it.\t<\/p>\n<li>String field theory: he wrote down the Witten open-string action and advertised that as the best candidate for a definition of string theory that could go on a t-shirt.  He noted some of the problems with this, especially how to understand closed strings, which are somehow &#8220;emergent&#8221;, &#8220;hidden in the measure&#8221; on string field space, which one doesn&#8217;t really understand.<\/li>\n<li>The Berkovits pure spinor formalism for quantizing the superstring:  if you want a consistent theory, you need supersymmetry, and Polchinski explained that the quantization of both supergravity and the superstring are ferociously complicated subjects.  He hopes that the Berkovits formalism will provide a more lucid (perturbative) quantization of the superstring, one allowing a proof of finiteness at higher loops.  This topic doesn&#8217;t really address the &#8220;what is string theory?&#8221; question, since it is supposed to be equivalent to other ways of quantizing the superstring, and only valid perturbatively.<\/li>\n<li>AdS\/CFT and integrability:  here there&#8217;s an answer to the &#8220;what is string theory?&#8221; question, but it&#8217;s in some ways a disappointing one for the idea of a single string theory that unifies everything and goes beyond QFT.  If you believe the full gauge\/string duality speculative framework, there are lots of string theories, each of which is defined by fiat to be a certain QFT.  If this is right, perturbative string theory is just a tool useful in the study of some strongly-coupled QFTs, and non-perturbative string theory isn&#8217;t really a subject distinct from QFT.  If you want to unify physics starting from thinking about the SM, at short distances you have a weakly-coupled QFT, with no role for string theory.  And, in this picture, there are lots of string theories&#8230;<\/li>\n<p>At the end, someone asked about the LHC and supersymmetry, Polchinski responded that string theory didn&#8217;t require LHC-scale supersymmetry, but if supersymmetry was discovered at the LHC then there would be a &#8220;sociological&#8221; effect encouraging to string theorists.  I also noticed recently that Polchinski has a web-page <a href=\"http:\/\/www.kitp.ucsb.edu\/~joep\/A dialog.html\">On some criticisms of string theory<\/a>.<\/p>\n<p>In his discussion of the pure spinor formalism, he noted that supersymmetry doesn&#8217;t seem to &#8220;resonate&#8221; with mathematicians, but that pure spinors are more something they recognize.  This is certainly true, with supersymmetry something frustratingly close to some standard mathematical constructions, but quite different in other ways.  Pure spinors occur naturally when one tries to construct spinors geometrically.  Projectively, the space of pure spinors is SO(2n)\/U(n), a space which has some quite beautiful properties.  In the Borel-Weil geometric construction of representations, spinors are holomorphic sections of a line bundle over this space (for details of this, see the chapter on spinors in <em>Loop Groups<\/em>, the book by Pressley and Segal).  <\/p>\n<p>For the superstring, one is interested in the case of n=5, and a certain sigma model with target space the space of pure spinors.  There&#8217;s a more general class of sigma models of which this is a special case, and for more about some of the interesting connections of this to other subjects, see the recent KITP talks by <a href=\"http:\/\/online.kitp.ucsb.edu\/online\/strings09\/nekrasov\/\">Nekrasov<\/a> and <a href=\"http:\/\/online.kitp.ucsb.edu\/online\/strings09\/frenkel\/\">Frenkel<\/a>.  The Frenkel talk is especially interesting, since it involves several other quite beautiful related ideas.  He describes one motivation for studying some of these sigma models that comes from geometric Langlands.   While he was at Santa Barbara, Frenkel also gave two nice survey talks about geometric Langlands, see <a href=\"http:\/\/www.math.ucsb.edu\/~malmendier\/GTPseminar\/2009-winter.php\">here<\/a>.<\/p>\n<p><strong>Update:<\/strong>  Clifford Johnson explains <a href=\"http:\/\/asymptotia.com\/2009\/02\/03\/so-what-is-string-theory-anyway\/\">here<\/a> that not only do we not know what string theory is, but we can&#8217;t even say anything useful about what it isn&#8217;t, other than &#8220;it is not a theory of strings&#8221;.  The problem with this situation, according to him is:<\/p>\n<blockquote><p>people who don\u2019t know what they\u2019re talking about, and sometimes with an axe to grind, shouting loudly (and sometimes deliberately misleadingly) about it.<\/p><\/blockquote>\n<p><strong>Update:<\/strong>  More <a href=\"http:\/\/asymptotia.com\/2009\/02\/05\/another-approach\/\">thoughts from Clifford<\/a> on the question of how to deal with string theory critics.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Yesterday Joe Polchinski gave a lunch-time talk at the KITP on the topic of What is String Theory? No answer to the question, but he provided an outline of three topics being discussed at the current KITP workshop program that &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=1576\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-1576","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1576","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1576"}],"version-history":[{"count":13,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1576\/revisions"}],"predecessor-version":[{"id":1871,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1576\/revisions\/1871"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1576"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1576"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1576"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}