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

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
    • CommentTimeSep 19th 2017
    • (edited Sep 19th 2017)

    I have created an entry transgression of differential forms that discusses the concept using the topos of smooth sets. Apart from the traditional definition as τ Σ Σev *\tau_{\Sigma} \coloneqq \int_\Sigma ev^\ast the entry considers the formulation as

    τ Σ= Σ[Σ,] \tau_\Sigma = \int_\Sigma [\Sigma,-]

    which simply forms the internal hom into the classifying map XΩ nX \to \mathbf{\Omega}^n of a differential form. I have spelled out the proof that the two definitions are equivalent.

    Then the entry contains statement and proof of the situation of “relative” transgression over manifolds with boundary. (This is what yields, when applied to Lepage forms, Lagrangian correspondences between the phase spaces with respect to different Cauchy surfaces, which is what I currently need this material for in the exposition at A first idea of quantum fields.)

    Finally there are two examples, a simplistic one and an simple but interesting one related to Chern-Simons theory. These two examples I had kept for a long time already at geometry of physics – integration in the section “Transgression”. That section I have now expanded accordingly, its content now coincides with the entry transgression of differential forms.