Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
test ocr 2 (Definition)

necessary to consider the second bundle. The curvature form of our connection is a tensorial quadratic differential form in $M$, of type $ad(G^{\prime})$ and with values in the Lie Algebra $L(O^{\prime})$ of $G^{\prime}$. Since the Lie algebra $L(O)$ of $G$ is a subalgebra of $L(G^{\prime})$, there is a natural projection of $L(O^{\prime})$ into the quotient space $L(G^{\prime})/L(G)$. The image of the cur- vature form under this proiection will be called the torsion form or the torsion tensor. If the forms $\pi^{\rho}$ in (13) define a $G$-connection, the vanishing of the torsion form is expressed analytically by the con- ditions

$\displaystyle (22)$ $\displaystyle \quad c_{f^{\prime\prime}k^{\prime\prime}}^{i^{\prime\prime}}=0. $
    We proceed to derive the analytical formulas for the theory of a $G$-connection without torsion in the tangent bundle. In general we will consider such formulas in $B_{G}$. The fact that the O-connection has no torsion simplifies (13) into the form

$\displaystyle (23)$ $\displaystyle \quad d\omega^{i}=\Sigma_{\rho,k}a_{\rho k}^{i}\pi^{\rho}\wedge\omega^{k}. $
By taking the exterior derivative of (23) and using (18), we get

$\displaystyle (24)$ $\displaystyle \quad \Sigma_{\rho,k}a_{\rho k}^{i}\Pi\rho_{\mathrm{A}\omega^{k}=0_{;}} $
where we put

$\displaystyle (25)$ $\displaystyle \quad \Pi\rho=d\pi^{\rho}+\char93 \Sigma_{\sigma.\tau}\gamma_{\sigma\tau}^{\rho}\pi^{\sigma}\mathrm{A}\pi^{\tau}. $
For a fixed value of $k$ we multiply the above equation by

$\displaystyle \omega^{1}$ $\displaystyle A.$ . . $\displaystyle A$ $\displaystyle \omega^{k-1}$ $\displaystyle A$ $\displaystyle \omega^{k+1_{\Lambda}}\ldots$ $\displaystyle A$ $\displaystyle \omega^{n}, $
getting

$\displaystyle \sum_{\rho}a_{\rho k^{\prod\rho}}^{i}$ $\displaystyle A$ $\displaystyle \omega^{1}$ $\displaystyle A.$ . . $\displaystyle A$ $\displaystyle \omega^{n}=0, $
or $\Sigma_{\rho}a_{\rho k^{\Pi\rho}}^{l}\equiv 0,\ \mathrm{m}\mathrm{o}\mathrm{d}\ \omega^{;}$.

Since the infinitesimal transformations $X_{\rho}$ are linearly independent, this implies that

$\displaystyle \Pi\rho\equiv 0,$ $\displaystyle \mathrm{m}\mathrm{o}\mathrm{d}\ \omega^{j}. $
It followo that II $\rho$ is of the form

$\displaystyle IA$ $\displaystyle \rho_{=\Sigma_{j}\phi_{J^{\mathrm{A}\omega^{f}}}^{\rho}} $
where $\phi_{j}^{\rho}$ are Pfaffian forms. Substituting these expressions into (24), we get

$\displaystyle \Sigma_{\rho,j,k(a_{\rho k}^{i}\phi_{j}^{\rho}-a_{\rho j}^{i}\phi_{k}^{\rho})\mathrm{A}\omega^{j}\mathrm{A}\omega^{k}=0}. $
It follows that

$\displaystyle \Sigma_{\rho}(a_{\rho k}^{i}\phi_{f}^{\rho}-a_{\rho j}^{1}\phi_{k}^{\rho})\equiv 0,$ $\displaystyle \mathrm{m}\mathrm{o}\mathrm{d}\ \omega^{\prime}. $
Since $G$ has the property $(C)$, the above equations imply that

$\displaystyle \phi_{f}^{\rho}\equiv 0,$ $\displaystyle \mathrm{m}\mathrm{o}\mathrm{d}\ \omega^{k}. $

OCR based on this tiff scan



"test ocr 2" is owned by bloftin.

View style:


Attachments:
ocr 2 proofreading test (Definition) by rspuzio

Cross-references: formulas, tensor, Lie Algebra, type

This is version 2 of test ocr 2, born on 2009-02-07, modified 2009-02-07.
Object id is 503, canonical name is TestOcr2.
Accessed 330 times total.

Classification:
Physics Classification: 00. (GENERAL)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "