Not signed in (Sign In)

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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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
    • CommentTimeDec 20th 2022
    • (edited Dec 20th 2022)

    polished up this bibitem and added hyperlinks to the actual article:

    diff, v6, current

    • CommentRowNumber2.
    • CommentAuthorGuest
    • CommentTimeMay 20th 2023

    In your definition, in the case of a lorentzian metric on the assumed compact manifold Σ\Sigma, which is usually the kind of metric used in some books, wouldn’t this be a problem since compact smooth manifolds doesn’t allow a lorentzian metric?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2023

    compact manifolds with boundary, such as the archetypical cylinder S 1×[0,1]S^1 \times [0,1], do carry Lorentzian metrics.

    compactness is not a choice, it’s needed for the integral to exists.

    diff, v9, current

    • CommentRowNumber4.
    • CommentAuthorGuest
    • CommentTimeMay 20th 2023

    Sorry is this seems to be a “begginer’s” type of question but i’m not totally of aware of all the properties involving manifold with boundary (and manifold with corners) I just know the definitions. This doubt of mine came from my early attempt to defined the classical wordlsheet of a string as a 2-dim smooth manifold diffeomorphic to ×S 1\mathbb{R} \times S^1 (closed strings) or ×[0,1]\mathbb{R} \times [0,1] (open strings), i.e., as trajectories that extend to “past and future infinity time”. After this i’ve read this nlab article and did not understood the aparent contradiction. Of course the source of this confusion is the different properties that manifold with boundary have that the usual manifold don’t. If you could please clarify some details, or give me a reference to read about, I would be thankful.

    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeMay 20th 2023

    Just to clarify the purpose of this question: I’m a grad student in string theory and i’m trying to construct a precise and systematic notion of the theory, from the classical perpective up to the quantum theory. Most of the books on strings are pretty vague about the essential objects of the theory, and the mathematical ones I have found never begin from an introductory perspective as a mainstream book does. Nlab helped me a lot in parts of my education in mathematics by the way.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 21st 2023
    • (edited May 21st 2023)

    You should think of S 1×[0.1] S^1 \times [0.1] as a worldsheet for the closed string, with incoming state at 0 and outgoing state at 1.

    But the issue under discussion is not specific to strings. The same compactness is needed to make sense of the integrated action functional of a particle, where the corresponding worldline is a closed interval equivalent to [0,1][0,1].

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 21st 2023

    Just to amplify that neither of these points is deep or specific to string theory:

    1. If we want the integral of a smooth function/density (here: Lagrangian density) over a domain to exist, then one way to ensure that is to ask that the domain be compact (possibly with boundary). Alternatively one could ask for suitable decay properties of the function, but this is generically not what one wants to do when considering Lagrangian densities.

    2. That the cylinder S 1×S^1 \times \mathbb{R} carries a Lorentzian metric with timelike curves along \mathbb{R} is clear; and so restricting any of these metrics along the canonical inclusion S 1×[0,1]S 1×S^1 \times [0,1] \hookrightarrow S^1 \times \mathbb{R} gives a Lorentzian metric on a compact manifold with boundary.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 10th 2023

    added pointer to:

    diff, v10, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2023

    added pointer also to:

    diff, v12, current

    • CommentRowNumber10.
    • CommentAuthorGeni_rataria
    • CommentTimeJun 18th 2023
    • (edited Jun 18th 2023)

    When I started to learn string theory from a more formal background, I learned that the maps of interest both in Polyakov and Nambu-Goto actions are embeddings of Σ\Sigma, or at least of embeddings of the geometric interior of Σ\Sigma if one allows open string worldsheets. Did you consider smooth maps ϕ[Σ,X]\phi \in [\Sigma, X] just for completeness? A related question would be, when trying to construct some intuitive notion of the Polyakov path integral for instance, one would integrante, in your approach, over the space of smooth maps modulo the redudancies. This looks less complicated because this space is less restricted than the space of embedddings from Σ\Sigma to XX that obey some additional conditions (that the image of worldsheet is a timelike submanifold for example). Is this concerning of mine somewhat important or I can carry the physics in string theory just considering general smooth maps ϕ[Σ,X]\phi \in [\Sigma, X] just as you wrote?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2023

    I don’t mean to say anything original in the entry.

    That the Polyakov action is defined on the space of smooth functions (and worldsheet metrics) is explicit for instance in

    It is true that earlier authors often talk about embedding fields, e.g.

    but it seems these authors forget this would-be constraint the moment they perform the variation of the action, as usual.

    In fact, most authors think of the Polyakov action as being a worldsheet QFT involving (besides the metric) a tuple of real scalar fields – this is the perspective that gives the modern picture of string dynamics as worldsheet CFT. By the usual definition of “scalar field” this implies no constraint that their configuration should jointly be an embedding.

    This perspective of worldsheet scalar field theory is explicit for instance in:

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2023

    Just to add:

    The author of

    has the ambition to do functional analysis and hence takes the bosonic string fields to form a Sobolev space of maps with square-integrable derivatives, relative to a chosen classical solution, up to some order.

    (This eventually transpires on p. 41, using notation from p. 13.)

    While this space of fields is smaller than the space of all smooth functions (but this mostly owing to it being designed to capture perturbations around a given classical solution), this also does not require the fields to constitute an embedding.

    • CommentRowNumber13.
    • CommentAuthorGeni_rataria
    • CommentTimeJun 23rd 2023

    I’ve read part of the references you linked here, specially Martinoli & Schiavina paper. I think the problem is that maybe I’m thinking a bit “too classically”. In the classical theory for instance, in order to perform variations of the Nambu-Goto action, one needs to have the pullback to be at least non-degenerate in the open set in which integration is performed because of the (detϕ *η) 1\left(\sqrt{\det \phi^{*} \eta}\right)^{-1} term which appears in the variation (this is what makes me think the maps in Nambu-Goto theory should be embeddings). However this problem does not appear in the Polyakov action, because not only it is quadratic in the fields derivatives, but it also consider from the beginning that the worldsheet have a metric gg, in principle independent of the map ϕ[Σ,X]\phi \in [\Sigma, X]. So I think one can study Polyakov approach to string theory by considering only smooth maps. But I think it kills the geometric intuition which was first motivated by Nambu-Goto. Perhaps I’m being a bit of innocent here. I’ve read in other places, for instance this answer in PhysStackexchange matches in part with what you said about String Theory nowadays be more understood as a CFT on a Riemann Surface.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2023

    It is not a priori clear which (if any) action functional should describe which kind of string. Historically people tried to describe hadronic flux tubes, first as an infinite sequence of oscillators, then as the Nambu-Goto-string then as the Polyakov string, then as any 2d CFT of appropriate central charge, then they decided it’s not flux tubes after all, then decades later it’s flux tubes again. This model building is the pre-mathematical physics concerned with guessing which math actually describes the physics phenomenon at hand.

    Polyakov, who was most clear-sighted about all this long ago (commented references here) always amplified that if it’s flux tubes aka Wilson lines, then it’s key that they are not required to be embeddings in order to exhibit the “zig-zag symmetry” of Wilson lines (i..e the thin-homotopy invariance of holonomy of connections).

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTime10 hours ago
    • (edited 10 hours ago)

    added pointer to today’s

    with the remark that this model (of strings as chains of particles coupled by harmonic nearest neighbour interactions) was already the origin of string theory in

    diff, v17, current