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
    • CommentTimeNov 10th 2016
    • (edited Nov 10th 2016)

    I was invited to give an introductory talk on “Higher structures in mathematics and physics” at a meeting of a general mathematics audience with an emphasis on differential equations.

    I am still fine tuning my “slides” (a sparsely typeset nLab stream, really), but here is what I have so far

    Comments are welcome.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 11th 2016

    with an emphasis on differential equations.

    Let me try you out with a naive question from a possible audience member:

    If you’re so keen to move from equality to isomorphism to equivalence, why are you still speaking about differential equations? Or is it that the meaning of ’equal’ and so ’equation’ is to be changed?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 11th 2016

    Good point. I’ll add a comment on that to the notes tomorrow when I am more awake again.

    But the answer is in Higher Prequantum Geometry (schreiber) (and with full details in an upcoming writeup with Igor Khavkine): A differential equation is an equalizer of two maps out of a jet bundle in the Cahier topos sliced over some base Σ\Sigma, and it is formally integrable precisely if this inherits the structure of a coalgebra over the jet comonad. Now the homotopified version of this statement verbatim applies to the \infty-Cahiers topos. The resulting “differential equivalence” or maybe “differential homotopy” is then the homotopy equalizer between two morphisms out of a jet \infty-bundle of an \infty-bundle, and this is formally integrable precisely if it is an \infty-coalgebra over the jet \infty-comonad.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMar 27th 2018
    • (edited Mar 27th 2018)

    We won funds for organizing a Durham-Symposium on “Higher Strutcures in M-Theory” this August. No funds left now that speakers have been invited, unfortunately, but everyone who happens to come by is welcome.