Double Tangent Bundle - Secondary Vector Bundle Structure and Canonical Flip | Secondary Vector Bundle Structure Canonical Flip

Secondary Vector Bundle Structure and Canonical Flip

Since (TM,π_TM,M) is a vector bundle on its own right, its tangent bundle has the secondary vector bundle structure (TTM,(π_TM)_*,TM), where (π_TM)_*:TTM→TM is the push-forward of the canonical projection π_TM:TM→M. In the following we denote

$\xi = \xi^k\frac{\partial}{\partial x^k}\Big|_x\in T_xM, \qquad X = X^k\frac{\partial}{\partial x^k}\Big|_x\in T_xM$

and apply the associated coordinate system

$\xi \mapsto (x^1,\ldots,x^n,\xi^1,\ldots,\xi^n)$

on TM. Then the fibre of the secondary vector bundle structure at X∈T_xM takes the form

$(\pi_{TM})^{-1}_*(X) = \Big\{ \ X^k\frac{\partial}{\partial x^k}\Big|_\xi + Y^k\frac{\partial}{\partial\xi^k}\Big|_\xi \ \Big| \ \xi\in T_xM \, \ Y^1,\ldots,Y^n\in\R \ \Big\}.$

The canonical flip is a smooth involution j:TTM→TTM that exchanges these vector space structures in the sense that it is a vector bundle isomorphism between (TTM,π_TTM,TM) and (TTM,(π_TM)_*,TM). In the associated coordinates on TM it reads as

$j\Big(X^k\frac{\partial}{\partial x^k}\Big|_\xi + Y^k\frac{\partial}{\partial \xi^k}\Big|_\xi\Big) = \xi^k\frac{\partial}{\partial x^k}\Big|_X + Y^k\frac{\partial}{\partial \xi^k}\Big|_X.$

The canonical flip has the property that for any f: R2 → M,

$\frac {\partial f} {{\partial t} {\partial s}} = j \circ \frac {\partial f} {{\partial s} {\partial t}}$

where s and t are coordinates of the standard basis of R 2. Note that both partial derivatives are functions from R2 to TTM.

This property can, in fact, be used to give an intrinsic definition of the canonical flip. Indeed, there is a submersion p: J2₀ (R2,M) → TTM given by

$p=\frac {\partial f} {{\partial t} {\partial s}} (0,0)$

where p can be defined in the space of two-jets at zero because only depends on f up to order two at zero. We consider the application:

$J: J^2_0(\mathbb{R}^2,M) \to J^2_0(\mathbb{R}^2,M) \quad / \quad J=$

where α(s,t)= (t,s). Then J is compatible with the projection p and induces the canonical flip on the quotient TTM.

Read more about this topic: Double Tangent Bundle

Famous quotes containing the words secondary, bundle, structure, canonical and/or flip:

“The prime purpose of being four is to enjoy being four—of secondary importance is to prepare for being five.”
—Jim Trelease (20th century)

“We styled ourselves the Knights of the Umbrella and the Bundle; for, wherever we went ... the umbrella and the bundle went with us; for we wished to be ready to digress at any moment. We made it our home nowhere in particular, but everywhere where our umbrella and bundle were.”
—Henry David Thoreau (1817–1862)

“The verbal poetical texture of Shakespeare is the greatest the world has known, and is immensely superior to the structure of his plays as plays. With Shakespeare it is the metaphor that is the thing, not the play.”
—Vladimir Nabokov (1899–1977)

“If God bestowed immortality on every man then when he made him, and he made many to whom he never purposed to give his saving grace, what did his Lordship think that God gave any man immortality with purpose only to make him capable of immortal torments? It is a hard saying, and I think cannot piously be believed. I am sure it can never be proved by the canonical Scripture.”
—Thomas Hobbes (1579–1688)

“By act of Congress, male officers are gentlemen, but by act of God, we are ladies. We don’t have to be little mini-men and try to be masculine and use obscene language to come across. I can take you and flip you on the floor and put your arms behind your back and you’ll never move again, without your ever knowing that I can do it.”
—Sherian Grace Cadoria (b. 1940)