Timeline for Connection as a jet section [closed]
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 6, 2020 at 16:39 | history | closed |
abx Deane Yang coudy Alex M. Ben McKay |
Not suitable for this site | |
| Jun 24, 2020 at 15:45 | comment | added | alexpglez98 | Thanks Ben and Sebastian. I understand now more or less what you say about the image. If $\Gamma:E \longrightarrow J^1E$ is a section, then $\Gamma(\xi)=j^1_p\phi$ for some section $\phi$. The image is $d\phi_p(T_pM)\subset T_\xi E$, it's well-defined because depends of the germ of $\phi$ at $p$ not on the section. But I don't see why this collection forms a horizontal subspace. | |
| Jun 23, 2020 at 5:59 | comment | added | Sebastian | Dear alexpglez98, a projection to the vertical bundle is equivalent to the projection to a complementary bundle, usually called the horizontal bundle. If you specify a section of the 1-jet bundle you get a horizontal bundle (as the image). This horizontal bundle is complementary to the vertical bundle and hence yields projections to the two summands. | |
| Jun 23, 2020 at 5:56 | comment | added | Sebastian | Dear Qfwfq, of course $\Phi$ is not the covariant derivative of a section, but you can easily obtain the covariant derivative by defining $\nabla s=\psi\circ \Phi\circ Ds$, where $Ds$ is the differential and $\psi\colon s^*VE\to E$ is the natural identification of the vertical bundle along a section. In fact, the two notions of a (linear connection) and a projection operator $\Phi$ satisfying certain linearity conditions are equivalent. | |
| Jun 22, 2020 at 21:41 | comment | added | Qfwfq | "A connection is a linear bundle homomorphism $\Phi:TE\longrightarrow TE$" - This can't be, cause otherwise it would be $\mathcal{C}^\infty$-linear. | |
| Jun 22, 2020 at 19:51 | review | Close votes | |||
| Jul 6, 2020 at 16:39 | |||||
| Jun 22, 2020 at 19:32 | comment | added | Ben McKay | It is clear affine linear combinations $(1-t)\Phi_0+t\Phi_1$ of connections form a connection, following your initial definition, because the projection condition holds when you make such a combination. Hence an affine space. | |
| Jun 22, 2020 at 19:13 | history | edited | YCor |
edited tags
|
|
| Jun 22, 2020 at 19:10 | history | asked | alexpglez98 | CC BY-SA 4.0 |