Compactability and Killing vectors

  • Thread starter center o bass
  • Start date
  • Tags
    Vectors
In summary, the existence of a Killing vector is not a necessary condition for compactifying a manifold, as there are examples of compact manifolds with no isometries. However, it may be a crucial part of Kaluza-Klein theory, where the Killing vectors generate gauge symmetries in the effective theory on the noncompact directions. The metric is local and the global topology can be specified by taking topological quotients. The compactification of dimensions may have important implications in theory, such as in Kaluza-Klein theory.
  • #1
center o bass
560
2
I have read statements like "assume that there exists a killingvector ##\xi## that makes it possible to compactify the space in it's direction." It's not hard to find examples of compact "directions" with a corresponding killing vector (rotational direction on a sphere), but there are also examples of killing vectors pointing in a non-compact direction (translations in ##\mathbb{R}^n)##. Is there however a requirement that there exists a killing vector in the given direction in order for it to be "compactable"? I.e. does the non-existence of a killing-vector imply that the "direction" is non-compactable? If so why?
 
Physics news on Phys.org
  • #2
There are certainly compact manifolds with no isometries at all. The most obvious examples are compact Riemann surfaces with genus ##\geq 2##. Another are the Riemannian manifolds with special holonomy.

It might help to point out a specific reference to be sure, but I suspect that the reason for requiring the existence of a Killing vector is a crucial part of Kaluza-Klein theory, where the Killing vectors generate gauge symmetries in the effective theory on the noncompact directions. This generally leads to the study of homogeneous spaces, which have well-defined isometry and have lots of examples where explicit metrics can be written.
 
  • #3
fzero said:
There are certainly compact manifolds with no isometries at all. The most obvious examples are compact Riemann surfaces with genus ##\geq 2##. Another are the Riemannian manifolds with special holonomy.

It might help to point out a specific reference to be sure, but I suspect that the reason for requiring the existence of a Killing vector is a crucial part of Kaluza-Klein theory, where the Killing vectors generate gauge symmetries in the effective theory on the noncompact directions. This generally leads to the study of homogeneous spaces, which have well-defined isometry and have lots of examples where explicit metrics can be written.

Alright, so it is not necessary to have isometries in order to compactify a manifold, but is it sufficient?
 
  • #4
What definition of compactification is being used here? The simplest kind of compactification, which is the Alexandroff one-point compactification, only requires a locally compact Hausdorff space; all manifolds are locally compact and Hausdorff so that's always satisfied. More generally one has the following: http://en.wikipedia.org/wiki/Stone-Czech_compactification
 
  • #5
fzero said:
There are certainly compact manifolds with no isometries at all. The most obvious examples are compact Riemann surfaces with genus ##\geq 2##. Another are the Riemannian manifolds with special holonomy.

It might help to point out a specific reference to be sure, but I suspect that the reason for requiring the existence of a Killing vector is a crucial part of Kaluza-Klein theory, where the Killing vectors generate gauge symmetries in the effective theory on the noncompact directions. This generally leads to the study of homogeneous spaces, which have well-defined isometry and have lots of examples where explicit metrics can be written.

Fzero. Do you have knowledge about the subject of KK-theory? If so and if it's okay with you, I would very much like to ask you some questions about it :) I could not send you a private message though.
 
  • #6
center o bass said:
I have read statements like "assume that there exists a killingvector ##\xi## that makes it possible to compactify the space in it's direction."

Can you give an example?
 
  • #7
center o bass said:
Fzero. Do you have knowledge about the subject of KK-theory? If so and if it's okay with you, I would very much like to ask you some questions about it :) I could not send you a private message though.

I have PMs turned off because I'd prefer keeping discussions public, for a number of reasons. I prefer that the information be available to others that might be searching for it and I prefer that other knowledgeable people have an opportunity to add to or correct the information.

I have a certain amount of knowledge of KK theory, as it has been tangentially related to other topics that I've researched, so I can try to answer additional questions. I would suggest posting a new thread for questions that are very different than the present one. While you can't PM, I am subscribed to any thread that I've posted in, so you could post a link to the thread here for example if I don't notice the new post. I will attempt to answer the question or let you know that I cannot.
 
  • #8
George Jones said:
Can you give an example?

Okay, I found an example. From page 481 of the Chapter "Kaluza-Klein Theory" in the book "Einstein's General Theory of Relativity with Modern Applications in Cosmology" by Gron and Hervik:" Assume also there is one spatial Killing vector. This makes it possible to compactify the space in that direction, and make it as small as needed."

Fortunately, Gron and Hervik expands on some of the points fzero, and I encourage you (center o bass) to read sections 15.1 Lie groups and Lie algebras, 15.2 Homogeneous spaces, and 15.6 Constructing compact quotients.

The metric is local, and we are somewhat free to specify the global topology by taking topological quotients.
 
  • #9
George Jones said:
Okay, I found an example. From page 481 of the Chapter "Kaluza-Klein Theory" in the book "Einstein's General Theory of Relativity with Modern Applications in Cosmology" by Gron and Hervik:" Assume also there is one spatial Killing vector. This makes it possible to compactify the space in that direction, and make it as small as needed."

Fortunately, Gron and Hervik expands on some of the points fzero, and I encourage you (center o bass) to read sections 15.1 Lie groups and Lie algebras, 15.2 Homogeneous spaces, and 15.6 Constructing compact quotients.

The metric is local, and we are somewhat free to specify the global topology by taking topological quotients.

Thanks for the tip. I have briefly read some of the arguments, but I will dive deeper into them when I have time. As you also mentioned I understood that the killing vector (i.e symmetry) was necessary in order to make point identification necessary for compactifying a non-compact dimension.

I've read arguments that suggest that compactification of dimensions might have occurred in the early universe 'spontaneously'.
But then I wonder; does the argument from Gron and Hervik's book imply that a dimension has already to be symmetric before 'spontaneous compactification' can occur.

fzero said:
I have PMs turned off because I'd prefer keeping discussions public, for a number of reasons. I prefer that the information be available to others that might be searching for it and I prefer that other knowledgeable people have an opportunity to add to or correct the information.

I have a certain amount of knowledge of KK theory, as it has been tangentially related to other topics that I've researched, so I can try to answer additional questions. I would suggest posting a new thread for questions that are very different than the present one. While you can't PM, I am subscribed to any thread that I've posted in, so you could post a link to the thread here for example if I don't notice the new post. I will attempt to answer the question or let you know that I cannot.

Thank you! I really appreciate it. As you suggested I have posted a new thread; this time on the effects of compactification and if it somehow prevents one from 'gauging' away the maxwell tensor. It can be found here :

https://www.physicsforums.com/showthread.php?t=728572
 

1. What is compactability in relation to Killing vectors?

Compactability refers to the property of a manifold that allows for a compact group of symmetries. In other words, a manifold is considered compact if there exists a finite number of symmetries that preserve the geometric structure of the manifold. Killing vectors are used to determine the compactability of a manifold by analyzing the behavior of the symmetries.

2. How do Killing vectors relate to isometries?

Killing vectors are used to define and analyze isometries, which are transformations that preserve the distance between points on a manifold. A Killing vector is a vector field that generates an isometry, meaning that the vector field is tangent to the isometry at every point on the manifold.

3. What is the significance of Killing vectors in general relativity?

In general relativity, Killing vectors are important in studying the symmetries of spacetime. They are used to determine the possible symmetries of a given spacetime and can also be used to find exact solutions to Einstein's field equations. Additionally, Killing vectors are used to define conserved quantities, such as energy and momentum, in the context of spacetime symmetries.

4. How do Killing vectors relate to Lie groups?

Killing vectors are closely related to Lie groups, which are mathematical groups that represent continuous symmetries. Killing vectors are used to generate the infinitesimal elements of Lie groups, which are then used to study the symmetries of a manifold. In this way, Killing vectors provide a powerful tool for analyzing the symmetries of a given space.

5. Can Killing vectors be used to study the topology of a manifold?

Yes, Killing vectors can be used to study the topology of a manifold by analyzing the Killing fields, which are the components of a Killing vector. In particular, the number of linearly independent Killing vectors can provide information about the topology of a manifold. For example, on a compact manifold, the number of linearly independent Killing vectors is equal to the dimension of the manifold.

Similar threads

  • Advanced Physics Homework Help
Replies
0
Views
475
Replies
4
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
710
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
8
Views
3K
  • Differential Geometry
Replies
3
Views
2K
  • Special and General Relativity
Replies
19
Views
1K
  • Differential Geometry
Replies
12
Views
3K
  • Special and General Relativity
Replies
1
Views
1K
  • Differential Geometry
Replies
4
Views
1K
Back
Top