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

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJun 26th 2017

The term “flow of a vector field” used to redirect to exponential map, which however is really concerned with a somewhat different concept. So I have created now a separate entry flow of a vector field.

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeJun 26th 2017
• (edited Jun 26th 2017)

We have some SDG constructions elsewhere. Worth including here? Something like

A tangent vector field is a section of the map of $X^D \to X$ corresponding to evaluation at 0, so is a map $f: X \to X^D$, such that $f(x)(0) = x$. Uncurrying, this is equivalent to a map $f^{\ast}:X \times D \to X$, with $f^{\ast} (x, 0) = x$. Currying the first variable yields a map $D \to X^X$, i.e., to the group of diffeomorphisms of $X$.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 26th 2017

Okay, I wrote something here. Unfortunately I don’t really have the leisure for this at the moment

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeJun 26th 2017

Great, thanks. I linked to it from synthetic differential geometry.