Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeSep 26th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have split off from _[[differential form]]_ an entry _[[integration of differential forms]]_, without much ado. Maybe to be polished later...

   I have split off from differential form an entry integration of differential forms, without much ado. Maybe to be polished later…

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeSep 26th 2012
   • (edited Sep 26th 2012)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI like very much the appendix on integration on manifolds from * Shlomo Sternberg, _Lectures on differential geometry_ which is a very careful axiomatic introduction to Lebesgue integration of differential forms on smooth manifolds.

   I like very much the appendix on integration on manifolds from

   • Shlomo Sternberg, Lectures on differential geometry

   which is a very careful axiomatic introduction to Lebesgue integration of differential forms on smooth manifolds.

3. • CommentRowNumber3.
   • CommentAuthorEric
   • CommentTimeSep 26th 2012
   • PermaLink
   Author: Eric
   Format: MarkdownItexIs it possible to sneak in something about integration without integration?

   Is it possible to sneak in something about integration without integration?

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeSep 26th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexThat's discussed at _[[Lie integration]]_. For my present purpose I eventually want _[[integration of differential forms]]_ have a decent detailed exposition of the standard story. This is supposed to be used eventually in an introductory course _Geometry of Physics_ for students with no relevant background. But for the moment the entry just sits there as is...

   That’s discussed at Lie integration. For my present purpose I eventually want integration of differential forms have a decent detailed exposition of the standard story. This is supposed to be used eventually in an introductory course Geometry of Physics for students with no relevant background.

   But for the moment the entry just sits there as is…

5. • CommentRowNumber5.
   • CommentAuthorTobyBartels
   • CommentTimeSep 27th 2012
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexI put some more structure into the new entry.

   I put some more structure into the new entry.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeSep 28th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks! That's looking better now.

   Thanks! That’s looking better now.

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeApr 29th 2014
   • (edited Apr 29th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to _[[integration of differential forms]]_ a section _[In cohesive homotopy-type theory](http://ncatlab.org/nlab/show/integration+of+differential+forms#InCohesiveHomotopyTypeTheory)_, stating the result by Bunke-Nikolaus-Völkl that constructs the integration map in cohesive homotopy-type theory generally, proves Stokes generally, and shows how ordinary integration is recovered as a special case. Am adding some related pointers also to _[[Stokes theorem]]_ and maybe _[[fiber integration]]_.

   I have added to integration of differential forms a section In cohesive homotopy-type theory, stating the result by Bunke-Nikolaus-Völkl that constructs the integration map in cohesive homotopy-type theory generally, proves Stokes generally, and shows how ordinary integration is recovered as a special case.

   Am adding some related pointers also to Stokes theorem and maybe fiber integration.

8. • CommentRowNumber8.
   • CommentAuthorMike Shulman
   • CommentTimeApr 29th 2014
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexHm, that page should also link to [[cogerm differential form]] somewhere.

   Hm, that page should also link to cogerm differential form somewhere.

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeApr 29th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexPlease do, I haven't been following the discussion on the cogerm forms much. Also the entry _[[differential form]]_ itself one day needs to be edited to something better.

   Please do, I haven’t been following the discussion on the cogerm forms much.

   Also the entry differential form itself one day needs to be edited to something better.

10. • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeApr 29th 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexYeah, I'm developing a bad habit of commenting on forum threads saying "X should be done" rather than actually doing it... I think it's an artifact of being short on time. Bare-bones links now added.

    Yeah, I’m developing a bad habit of commenting on forum threads saying “X should be done” rather than actually doing it… I think it’s an artifact of being short on time. Bare-bones links now added.

11. • CommentRowNumber11.
    • CommentAuthorColin Tan
    • CommentTimeJun 30th 2014
    • PermaLink
    Author: Colin Tan
    Format: TextReading Urs' habilitationsschrift, I wonder : is there a universal property which characterizes the universal differential 1-form, say, or the smooth space which classifies differential 1-form? I mean, such a universal property would help us understnad what makes differential forms so special in a cohesive oo-topos which makes us want to consider them when studying, say, differential cohomology. Or, a weaker problem, to find a property which the differential 1-form classifier satisfies of which maps into such classifier give meaningful quantities of smooth spaces. If the last question is not precise, then a specific analogous situation in homotopy theory was cohomology classes, the speicific Eilenberg-ManLane spaces as classifiers and therafter the concept of ring spectrum of which the Eilenberg-MacLane spectrum is one such. A concrete particular of a classifier which has a universal property is the subobject classifier of a 1-topos.

    Reading Urs' habilitationsschrift, I wonder : is there a universal property which characterizes the universal differential 1-form, say, or the smooth space which classifies differential 1-form? I mean, such a universal property would help us understnad what makes differential forms so special in a cohesive oo-topos which makes us want to consider them when studying, say, differential cohomology. Or, a weaker problem, to find a property which the differential 1-form classifier satisfies of which maps into such classifier give meaningful quantities of smooth spaces. If the last question is not precise, then a specific analogous situation in homotopy theory was cohomology classes, the speicific Eilenberg-ManLane spaces as classifiers and therafter the concept of ring spectrum of which the Eilenberg-MacLane spectrum is one such.
    
    A concrete particular of a classifier which has a universal property is the subobject classifier of a 1-topos.
12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJun 30th 2014
    • (edited Jun 30th 2014)
    • PermaLink
    Author: Urs
    Format: MarkdownItex[ I'll say something in reply later when I have a minute. ]

    [ I’ll say something in reply later when I have a minute. ]

13. • CommentRowNumber13.
    • CommentAuthorColin Tan
    • CommentTimeJul 16th 2014
    • PermaLink
    Author: Colin Tan
    Format: TextUrs, I enjoyed your original answer at #12. Did you remove it intentionally?

    Urs, I enjoyed your original answer at #12. Did you remove it intentionally?
14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJul 16th 2014
    • (edited Jul 16th 2014)
    • PermaLink
    Author: Urs
    Format: MarkdownItexOh,I removed it because the actual statement is better than my answer made it sound, and so as it stood it seemed to point to a problem where actually there is a beautiful story. I realized this and wanted to fix it, but the gods of research are testing my faith these days, and didn't allow me to find a quiet moment. So I just removed it for the time being. But maybe to say it real quick: given an $\infty$-group $G$, then cohesion gives a canonical concept of flat (i.e. closed) $G$-valued differential forms, namely those things modulated by the object which I used to denote $\flat_{dR}\mathbf{B}G$ and which as of late I think I should better call $\flat_{dR} G$. From this, non-closed differential forms do not appear intrinsically. They do however appear naturally when choosing a Hodge filtration on $\flat_{dR} G$. While then they are a natural choice, they are still a choice. But if the group is even stably abelian, if it is a spectrum, then (at least then) also the object which I used to call $\Pi_{dR} \mathbf{B}G$ and which I think now I should better call $\Pi_{dR}G$ also has an interpretation in terms of differential forms, and this is now the non-flat $G$-valued forms but modulo the exact forms. So stably, closed forms and "co-closed" forms are god-given. Fully general differential forms on the other hand appear naturally as stages in Hodge filtrations of either the closed or the co-closed forms. Sorry if this sounds cryptic. One day I should write an exposition of this, maybe the day when I write the new version of "diff. coh. in a coh. topos" (hah!). Meanwhile, most of what I am saying here is said, in less suggestive and more technical terms, at [differential cohomology hexagon -- Examples -- ordinary differential cohomology](http://ncatlab.org/nlab/show/differential+cohomology+diagram#OrdinaryDifferentialCohomology).

    Oh,I removed it because the actual statement is better than my answer made it sound, and so as it stood it seemed to point to a problem where actually there is a beautiful story.

    I realized this and wanted to fix it, but the gods of research are testing my faith these days, and didn’t allow me to find a quiet moment. So I just removed it for the time being.

    But maybe to say it real quick: given an $\infty$-group $G$, then cohesion gives a canonical concept of flat (i.e. closed) $G$-valued differential forms, namely those things modulated by the object which I used to denote $\flat_{dR}\mathbf{B}G$ and which as of late I think I should better call $\flat_{dR} G$.

    From this, non-closed differential forms do not appear intrinsically. They do however appear naturally when choosing a Hodge filtration on $\flat_{dR} G$. While then they are a natural choice, they are still a choice.

    But if the group is even stably abelian, if it is a spectrum, then (at least then) also the object which I used to call $\Pi_{dR} \mathbf{B}G$ and which I think now I should better call $\Pi_{dR}G$ also has an interpretation in terms of differential forms, and this is now the non-flat $G$-valued forms but modulo the exact forms.

    So stably, closed forms and “co-closed” forms are god-given. Fully general differential forms on the other hand appear naturally as stages in Hodge filtrations of either the closed or the co-closed forms.

    Sorry if this sounds cryptic. One day I should write an exposition of this, maybe the day when I write the new version of “diff. coh. in a coh. topos” (hah!).

    Meanwhile, most of what I am saying here is said, in less suggestive and more technical terms, at differential cohomology hexagon – Examples – ordinary differential cohomology.

15. • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 9th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Raoul Bott]], [[Loring Tu]], §3 in: *[[Differential Forms in Algebraic Topology]]*, Graduate Texts in Mathematics **82** Springer (1982) &lbrack;[doi:10.1007/978-1-4757-3951-0](https://link.springer.com/book/10.1007/978-1-4757-3951-0)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/integration+of+differential+forms/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/integration+of+differential+forms/18">v18</a>, <a href="https://ncatlab.org/nlab/show/integration+of+differential+forms">current</a>

    added pointer to:

    • Raoul Bott, Loring Tu, §3 in: Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82 Springer (1982) [doi:10.1007/978-1-4757-3951-0]

    diff, v18, current