Namespaces
Variants
Actions

Difference between revisions of "Weyl connection"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (→‎References: zbl link)
(One intermediate revision by one other user not shown)
Line 19: Line 19:
  
 
$$ \tag{1 }
 
$$ \tag{1 }
\left .
+
\left . \begin{array}{rcl}
 +
\omega^i &=& \Gamma^i_k (x) dx^k\,,\ \ \det|\Gamma^i_k| \ne 0 \\
 +
\omega^i_j &=& \Gamma^i_{jk} \omega^k
 +
\end{array}
 +
\right\rbrace
 +
$$
  
 
and  $  ds  ^ {2} = g _ {ij} \omega  ^ {i} \omega  ^ {j} $,  
 
and  $  ds  ^ {2} = g _ {ij} \omega  ^ {i} \omega  ^ {j} $,  
Line 32: Line 37:
  
 
$$  
 
$$  
Z \langle  X, Y = < \nabla _ {Z} X, Y \rangle + \langle  X, \nabla _ {Z} Y \rangle +
+
Z \langle  X, Y \rangle = \langle \nabla _ {Z} X, Y \rangle + \langle  X, \nabla _ {Z} Y \rangle +
 
\theta ( Z) \langle  X, Y\rangle ,
 
\theta ( Z) \langle  X, Y\rangle ,
 
$$
 
$$
  
 
where  $  \nabla _ {Z} X $,  
 
where  $  \nabla _ {Z} X $,  
the [[Covariant derivative|covariant derivative]] of  $  X $
+
the [[covariant derivative]] of  $  X $
 
with respect to  $  Z $,  
 
with respect to  $  Z $,  
 
is defined by the formula
 
is defined by the formula
Line 111: Line 116:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> H. Weyl,   "Reine Infinitesimalgeometrie"  ''Math. Z.'' , '''2'''  (1918)  pp. 384–411</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.P. Norden,   "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> G.B. Folland,   "Weyl manifolds"  ''J. Differential Geom.'' , '''4'''  (1970)  pp. 145–153</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top"> H. Weyl, "Reine Infinitesimalgeometrie"  ''Math. Z.'' , '''2'''  (1918)  pp. 384–411</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top"> A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian) {{ZBL|0925.53007}}</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top"> G.B. Folland, "Weyl manifolds"  ''J. Differential Geom.'' , '''4'''  (1970)  pp. 145–153</TD></TR>
 +
</table>

Revision as of 19:34, 7 December 2023


A torsion-free affine connection on a Riemannian space $ M $ which is a generalization of the Levi-Civita connection in the sense that the corresponding covariant differential of the metric tensor $ g _ {ij} $ of $ M $ is not necessarily equal to zero, but is proportional to $ g _ {ij} $. If the affine connection on $ M $ is given by the matrix of local connection forms

$$ \tag{1 } \left . \begin{array}{rcl} \omega^i &=& \Gamma^i_k (x) dx^k\,,\ \ \det|\Gamma^i_k| \ne 0 \\ \omega^i_j &=& \Gamma^i_{jk} \omega^k \end{array} \right\rbrace $$

and $ ds ^ {2} = g _ {ij} \omega ^ {i} \omega ^ {j} $, it will be a Weyl connection if and only if

$$ \tag{2 } dg _ {ij} = g _ {kj} \omega _ {i} ^ {k} + g _ {ik} \omega _ {j} ^ {k} + \theta g _ {ij} . $$

Another, equivalent, form of this condition is:

$$ Z \langle X, Y \rangle = \langle \nabla _ {Z} X, Y \rangle + \langle X, \nabla _ {Z} Y \rangle + \theta ( Z) \langle X, Y\rangle , $$

where $ \nabla _ {Z} X $, the covariant derivative of $ X $ with respect to $ Z $, is defined by the formula

$$ \omega ^ {i} ( \nabla _ {Z} X) = \ Z \omega ^ {i} ( X) + \omega _ {k} ^ {i} ( Z) \omega ^ {k} ( X). $$

With respect to a local field of orthonormal coordinates, where $ g _ {ij} = \delta _ {ij} $, the following equation is valid:

$$ \omega _ {i} ^ {j} + \omega _ {j} ^ {i} + \delta _ {j} ^ {i} \theta = 0, $$

i.e. any torsion-free affine connection whose holonomy group is the group of similitudes or one of its subgroups is a Weyl connection for some Riemannian metric on $ M $.

If in (1) $ \omega ^ {i} = dx ^ {i} $, then for a Weyl connection

$$ \Gamma _ {jk} ^ {i} = \frac{1}{2} g ^ {il} \left ( \frac{\partial g _ {lj} }{\partial x ^ {k} } + \frac{\partial g _ {lk} }{\partial x ^ {j} } - \frac{\partial g _ {jk} }{\partial x ^ {l} } \right ) - \frac{1}{2} g ^ {il} g _ {jk} \theta _ {l} + $$

$$ + \frac{1}{2} ( \delta _ {j} ^ {i} \phi _ {k} + \delta _ {k} ^ {i} \phi _ {j} ) , $$

where $ \theta = \theta _ {k} dx ^ {k} $. Since

$$ g _ {kj} \Omega _ {i} ^ {k} + g _ {ik} \Omega _ {j} ^ {k} + g _ {ij} d \theta = 0, $$

the tensor

$$ F _ {ij,kl} = \ g _ {im} R _ {jkl} ^ {m} + \frac{1}{2} g _ {ij} ( \nabla _ {k} \theta _ {l} - \nabla _ {l} \theta _ {k} ) , $$

called the directional curvature tensor by H. Weyl, is anti-symmetric with respect to both pairs of indices:

$$ F _ {ij,kl} + F _ {ji,kl} = 0 . $$

Weyl connections were introduced by Weyl [1].

References

[1] H. Weyl, "Reine Infinitesimalgeometrie" Math. Z. , 2 (1918) pp. 384–411
[2] A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad (1976) (In Russian) Zbl 0925.53007
[3] G.B. Folland, "Weyl manifolds" J. Differential Geom. , 4 (1970) pp. 145–153
How to Cite This Entry:
Weyl connection. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weyl_connection&oldid=49203
This article was adapted from an original article by Ü. Lumiste (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article