How Do Killing Vector Fields Form a Basis on S2?

  • Thread starter alexriemann
  • Start date
  • Tags
    Line element
In summary, the paper explores the properties of killing vector fields on the 2-sphere (S2) and demonstrates that these fields can form a basis for the space of vector fields on S2. It discusses the relationship between symmetries of the sphere, represented by killing vector fields, and the underlying geometric structure. By analyzing the action of these vector fields, the authors show how they span the space of divergence-free vector fields, thus providing a comprehensive understanding of their role in the context of S2's topology and geometry.
  • #1
alexriemann
3
0
Homework Statement
I am asked to find the Killing vector fields on ##S^2## where the line element is given by ##ds^2=d\theta\otimes d\theta +\sin^2\theta d\phi\otimes d\phi##.

- Solve the Killing equation for the ##(\theta,\theta)## components, that is ##(\mathcal L_\xi g)_{\theta\theta}=0## and show that it gives a Killing vector field ##\xi^{(1)}## that is only a function of ##\phi##, ##\xi^{(1)}=F(\phi)##. Show that this function has to be periodic and assume that it has the simple form ##\xi^{(1)}=A\sin(\phi-\phi_0)##

- Integrate the other Killing component equations and obtain two more Killing vector fields ##\xi^{(2)}## and ##\xi^{(3)}## that will depend on integration constant ##\phi_0, c_1,c_2##. By giving these constants simples values, recover the **Killing operators** ##\xi_1,\xi_2,\xi_3## given in the directions associated to the **Killing vector fields** ##\xi^{(1)},\xi^{(2)},\xi^{(3)}##.
Relevant Equations
$$\mathcal L_\xi g=0$$

$$\xi_1=(-\sin\phi,-\cot\theta\cos\phi)$$
$$\xi_2=(\cos\phi,-\cot\theta\sin\phi)$$
$$\xi_3=(0,1)$$
I know how to solve this problem by considering the Killing equation, namely ##\mathcal L_\xi g=0## that gives three differential equations involving the components of ##\xi=(\xi^\theta,\xi^\phi)## that can be integrated. The result I get, which I know to be true because this is a common result that can be found anywhere on the web, is:

$$\xi^\theta=\nu\cos\phi-\mu\sin\phi$$
$$\xi^\phi=\delta-\cot \theta(\mu\cos\phi+\nu\sin\phi)$$

Where ##\mu,\nu,\delta## are integration constants. By setting these constants to ##(\mu,\nu,\delta)=\{(1,0,0),(0,1,0),(0,0,1)\}##, I obtain three independent vector fields that constitute a basis for the Killing Lie algebra on ##S^2##. These are, in the chart:

$$\xi_1=(-\sin\phi,-\cot\theta\cos\phi)$$
$$\xi_2=(\cos\phi,-\cot\theta\sin\phi)$$
$$\xi_3=(0,1)$$

So, this is no big deal. However, the directions of my assignment insist that we strictly stick to the following procedure to find ##\xi_1,\xi_2,\xi_3## (these are given in the directions and match the vectors I wrote above) which is the source of my confusion:

- Solve the Killing equation for the ##(\theta,\theta)## components, that is ##(\mathcal L_\xi g)_{\theta\theta}=0## and show that it gives a Killing vector field ##\xi^{(1)}## that is only a function of ##\phi##, ##\xi^{(1)}=F(\phi)##. Show that this function has to be periodic and assume that it has the simple form ##\xi^{(1)}=A\sin(\phi-\phi_0)##

- Integrate the other Killing component equations and obtain two more Killing vector fields ##\xi^{(2)}## and ##\xi^{(3)}## that will depend on integration constant ##\phi_0, c_1,c_2##. By giving these constants simples values, recover the **Killing operators** ##\xi_1,\xi_2,\xi_3## given in the directions associated to the **Killing vector fields** ##\xi^{(1)},\xi^{(2)},\xi^{(3)}##.

I must admit that I am very confused with what my teacher is saying. He is basically saying that solving the three Killing component equations ##(\mathcal L_\xi g)_{\theta\theta}=(\mathcal L_\xi g)_{\theta\phi}=(\mathcal L_\xi g)_{\phi\phi}=0## give three Killing vector fields that depend on integration constants whereas, to my understanding, those three equation are solved for the two components of one generic vector field ##\xi=(\xi^\theta,\xi^\phi)## that give rise to three independent Killing vector fields when the integration constants are given some values.

For example, the first Killing component equation reads : ##\partial_\theta\xi^\theta=0##, which tells us that the ##\theta##-component of the Killing vector field is a function that only depends on ##\phi##. This is very different compared to saying that this equation gives a Killing vector field, isn't it?

Can someone make sense of what my teacher is trying to say or is that just wrong overall? I really do think that the directions are not only confusing but wrong. Any insight would be very much appreciated.
 
Last edited:

FAQ: How Do Killing Vector Fields Form a Basis on S2?

What is a Killing vector field?

A Killing vector field on a manifold is a vector field that preserves the metric under the Lie derivative. In simpler terms, it represents an infinitesimal isometry of the manifold, meaning that the distances between points remain unchanged when moving along the flow generated by this vector field.

How are Killing vector fields related to the sphere \( S^2 \)?

On the 2-dimensional sphere \( S^2 \), Killing vector fields correspond to the generators of the isometry group of the sphere, which is the rotation group \( SO(3) \). These vector fields represent infinitesimal rotations around the axes in three-dimensional space.

How do Killing vector fields form a basis on \( S^2 \)?

The space of Killing vector fields on \( S^2 \) is three-dimensional, corresponding to the three independent rotations in three-dimensional space. These vector fields can be chosen to form a basis for the space of all Killing vector fields on \( S^2 \), meaning any Killing vector field on the sphere can be expressed as a linear combination of these basis fields.

What are the explicit forms of the Killing vector fields on \( S^2 \)?

The explicit forms of the Killing vector fields on \( S^2 \) can be written in terms of the coordinates \((\theta, \phi)\) as follows:1. \( \xi_1 = -\sin(\phi) \frac{\partial}{\partial \theta} - \cot(\theta) \cos(\phi) \frac{\partial}{\partial \phi} \)2. \( \xi_2 = \cos(\phi) \frac{\partial}{\partial \theta} - \cot(\theta) \sin(\phi) \frac{\partial}{\partial \phi} \)3. \( \xi_3 = \frac{\partial}{\partial \phi} \)These vector fields generate rotations around the \(x\)-, \(y\)-, and \(z\)-axes, respectively.

Why are Killing vector fields important in differential geometry and physics?

Killing vector fields are important because they represent symmetries of the manifold. In differential geometry, they help in understanding the geometric structure of the manifold. In physics, particularly in general relativity, Killing vector fields are used to identify conserved quantities and understand the symmetries of spacetime, which can simplify the solutions to Einstein's field equations.

Back
Top