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

Discussion Tag Cloud

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
    • CommentTimeJan 9th 2013

    For discussion at geometry of physics I need a way to point to the concept of “locality” in QFT, so I gave it a small entry: local quantum field theory.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 6th 2014

    Here, too, one can consider the analog of extended quantum field theory and ask for extended Lagrangians that are not only local as top-degree forms on spacetime/worldvolume, but which also have an “extended” to lower dimensional subspaces.

    Is there a noun missing after “extended”, or should it be “extension”?

    Local Lagrangians are expected to yield local quantum field theories under quantization.

    Is there a conceptual reason for this expectation?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2014
    • (edited Jan 6th 2014)

    Yes, it should have been “extension”, have fixed that now. Thanks.

    And yes, a local Lagrangian is one that depends only on local data. An action functional induced by a local Lagrangian is manifestly built by incrementally adding up local contributions and satisfies the expected additivity/multiplicativity under decomposition of its domain. The same is then expected for the quantization of this local functional.

    This is made rather precise by formulating quantum and pre-quantum field theory both as functors on n-categories of cobordisms, as in the last section of dcct. The locality is all encoded by the n-functoriality on cobordisms.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 7th 2014

    pre-quantum field theory … as functors on n-categories of cobordisms

    So there’s some relation between that and

    it “depends only on finitely many derivatives of the fields” at each point, which formally means that it is a horizontal form on the jet bundle of the field bundle?

    Plausible, I guess, but I wouldn’t be able to establish the connection.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2014

    You are right, I should try to give you a more formal statement. For the moment allow me to give just the following simple argument:

    it is clear that if you have a functional on a space of paths which is the integral over a 1-form whose value at any point of the path explicitly depends on what the path is like a finite distance away from this point, then this functional cannot satisfy the decomposition property that its value on paths of some length is the sum of its values of the two halfs of the path.

    Now if the 1-form here depends at each point on non-finitely many derivatives, that’s generically the same as depending on the value of the path a finite distance away, by Taylor expansion.

    At the other extreme, if the 1-form here depends on no derivative, then the functional manifestly satisfies that decomposition property, in that case it is just the transgression of the 1-form to path space.

    Then one needs to convince oneself that dependence of finitely many derivatives does not destroy this property, only the limit of infinitely many derivatives does.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 7th 2014

    Is there a parallel with how kk-jet \infty-toposes for a cohesive \infty-topos remain cohesive?

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)