proof that transition functions of cotangent bundle are valid

In this entry, we shall verify that the transition functions proposed for the cotangent bundle the three criteria required by the classical definition of a manifold.

The first criterion is the easiest to verify. If $\alpha =\beta$, then ${\sigma }_{\alpha \alpha }$ reduces to the identity and we have

$${\left(\sigma ^{\prime }{}_{\alpha \alpha }(x_1,\mathrm{\dots },x_{2n})\right)}^i={\left({\sigma }_{\alpha \alpha }(x_1,\mathrm{\dots },x_n)\right)}^i=x^i\mathit{\hspace{1em}\hspace{1em}}1\le i\le n$$

$${\left(\sigma ^{\prime }{}_{\alpha \alpha }(x_1,\mathrm{\dots },x_{2n})\right)}^{i+n}=\sum _{j=1}^n\frac{\partial {\left({\sigma }_{\alpha \alpha }(x_1,\mathrm{\dots },x_n)\right)}^i}{\partial x_j}{x}^{j+n}=\sum _{j=1}^n\frac{\partial x^i}{\partial x_j}{x}^{j+n}=x^{i+n}\mathit{\hspace{1em}\hspace{1em}}1\le i\le n$$

Thus we see that $\sigma ^{\prime }{}_{\alpha \alpha }$ is the identity map, as required.

Next, we turn our attention to the third criterion — showing that $\sigma ^{\prime }{}_{\beta \gamma }\circ \sigma ^{\prime }{}_{\alpha \beta }=\sigma ^{\prime }{}_{\alpha \gamma }$ . For clarity of notation let us define $y^i={(\sigma ^{\prime }{}_{\alpha \beta })}^i(x^1,\mathrm{\dots }{x}^{2n})$. Then we have

${(\sigma ^{\prime }{}_{\beta \gamma }\circ \sigma ^{\prime }{}_{\alpha \beta })}^i(x^1,\mathrm{\dots },x^{2n})$ $=$ ${(\sigma ^{\prime }{}_{\beta \gamma })}^i(y^1,\mathrm{\dots },y^{2n})$

$=$ ${({\sigma }_{\beta \gamma })}^i(y^1,\mathrm{\dots },y^n)$

$=$ ${({\sigma }_{\beta \gamma }\circ {\sigma }_{\alpha \beta })}^i(x^1,\mathrm{\dots },x^n)$

$=$ ${({\sigma }_{\alpha \gamma })}^i(x^1,\mathrm{\dots },x^n)$

$=$ ${(\sigma ^{\prime }{}_{\alpha \gamma })}^i(x^1,\mathrm{\dots },x^{2n})$

when $1\le i\le n$.

${(\sigma ^{\prime }{}_{\beta \gamma }\circ \sigma ^{\prime }{}_{\alpha \beta })}^{i+n}(x^1,\mathrm{\dots },x^{2n})$ $=$ ${(\sigma ^{\prime }{}_{\beta \gamma })}^{i+n}(y^1,\mathrm{\dots },y^{2n})$

$=$ ${\displaystyle \sum _{j=1}^n}{\displaystyle \frac{\partial {\left({\sigma }_{\beta \gamma }(y_1,\mathrm{\dots },y_n)\right)}^i}{\partial y_j}}{y}^{j+n}$

$=$ ${\displaystyle \sum _{j=1}^n}{\displaystyle \sum _{k=1}^n}{\displaystyle \frac{\partial {\left({\sigma }_{\beta \gamma }(y_1,\mathrm{\dots },y_n)\right)}^i}{\partial y_j}}{\displaystyle \frac{\partial {\left({\sigma }_{\alpha \beta }(x_1,\mathrm{\dots },x_n)\right)}^j}{\partial x_k}}{x}^{n+k}$

$=$ ${\displaystyle \sum _{k=1}^n}{\displaystyle \frac{\partial {({\sigma }_{\beta \gamma }\circ {\sigma }_{\alpha \beta }(x_1,\mathrm{\dots },x_n))}^i}{\partial x_k}}{x}^{n+k}$

$=$ ${\displaystyle \sum _{k=1}^n}{\displaystyle \frac{\partial {\left({\sigma }_{\alpha \gamma }(x_1,\mathrm{\dots },x_n)\right)}^i}{\partial x_k}}{x}^{n+k}$

$=$ $\sigma ^{\prime }{}_{\alpha \gamma }(x^1,\mathrm{\dots },x^{2n})$

when $1\le i\le n$.

Finally, the second criterion does not need to be checked because it is a consequence of the first and third criteria.

Title	proof that transition functions of cotangent bundle are valid
Canonical name	ProofThatTransitionFunctionsOfCotangentBundleAreValid
Date of creation	2013-03-22 14:52:25
Last modified on	2013-03-22 14:52:25
Owner	rspuzio (6075)
Last modified by	rspuzio (6075)
Numerical id	13
Author	rspuzio (6075)
Entry type	Proof
Classification	msc 58A32