Reach Us
+44-7482-875032

**Graham Hall ^{*}**

Institute of Mathematics, University of Aberdeen, Aberdeen AB24 3UE, Scotland, UK

- *Corresponding Author:
- Graham Hall

Institute of Mathematics

University of Aberdeen

Aberdeen AB24 3UE

Scotland, UK

**E-mail:**[email protected]

**Received Date:** April 23, 2013; **Accepted Date:** April 24, 2013; **Published Date:** April 26, 2013

**Citation:** Hall G (2013) Killing Orbits and Isotropy in General Relativity. J Appl Computat Math 2:e130. doi: 10.4172/2168-9679.1000e130

**Copyright:** © 2013 Hall G. This is an open-access article distributed under theterms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Visit for more related articles at** Journal of Applied & Computational Mathematics

This brief note is intended to show how a global and rigorous approach to certain problems regarding symmetry in general relativity theory may be given using the theory of Killing orbits and isotropy. Examples from cosmology and plane wave theory are chosen to illustrate the method. More details on these examples may be found in [1] and on the general techniques used in [2,3].

Let (M, g) be a space-time and let K(M) denote the Lie algebra (under the usual Lie bracket of vector fields) of all global, Killing vector fields on M. Thus X 2 K(M), where L denotes the Lie derivative. In any coordinate domain of M any satisfies X_{a;b}=F_{ab}=-F_{ba} where a semi-colon denotes a covariant derivative and F is the Killing bivector associated with X. If T_{m}M denotes the tangent space to M at m let f: K(M) → T_{m}M denote the linear map X→X(m) with range space and kernel Thus dimK(M)=dimD_{m}+dimI_{m}.I_{m} is a subalgebra of K(M) called the isotropy subalgebra and the map D: m→D_{m} is a generalised distribution on M (that is, it is not necessarily a Frobenius distribution since dimD_{m} may not be constant on M). Since any is uniquely determined by the values X(m) and F(m) at any it follows that dimK(M) ≤ 10 and that any is uniquely determined by its associated F(m). It may then be checked that Im is Lie isomorphic to {F(m): F the Killing bivector of some under the map X → F(m), the latter subalgebra under the Lie product of matrix commutation. It then follows that I_{m} is Lie isomorphic to a subalgebra of the Lorentz algebra L of the Lorentz group and a classification of such subalgebras is well known [4].

Each gives rise to a collection of *local flow dipheomorphisms* *d _{t}* which are local dipheomorphisms of M and which essentially move each point of some open subset of M a parameter distance

The dimensions of K(M) and the orbits associated with K(M) can be related in the following way. First an orbit O of K(M) is called *dimensionally* stable if whenever there exists a neighbourhood U of m such that the dimension of any orbit through any point of U has the same dimension as O. The following can then be shown. (a) If K(M) admits a 3-dimensional null orbit, 3 ≤ dimK(M) ≤ 7, whilst if K(M) admits any dimensionally stable, 3-dimensional null orbit or any 3-dimensional, non-null orbit (the latter being necessarily dimensionally stable), 3 ≤ dimK(M) ≤ 6. (b) If K(M) admits a 2-dimensional, null (respectively a 2-dimensional non-null) orbit, 2 ≤ dimK(M) ≤ 5, (respectively, 2 ≤ dimK(M) ≤ 4), whilst if K(M) admits any 2-dimensional, dimensionally stable orbit, 2 ≤ dimK(M) ≤ 3. (c) If K(M) admits a 1-dimensional, null (respectively a 1-dimensional non-null) orbit, 1 ≤ dimK(M) ≤ 5, (respectively, 1 dimK(M) ≤ 4), whilst if K(M) admits any 1-dimensional, dimensionally stable orbit, dimK(M)=1. These results, together with the above theory, may be used to give a global approach to some problems with high symmetry and from which the usual results, often obtained by somewhat ad hoc methods, may be derived. Two examples drawn from cosmology and plane wave theory are used to clarify the ideas.

First, consider cosmological models. The concept of isotropy (“all directions are equivalent”) only makes sense if one takes it to mean that all incoming null directions (of photons from observations) are, in some sense, “equivalent”. So call a space-time *cosmological* if, for each the collection of linear maps ?_{t}^{*} arising from members of I_{m} act transitively on the set of null directions at m. This imposes a restriction on the Lie algebra I_{m} and, following a check on the collection of possible subalgebras of L, it turns out that I_{m} can only be Lie isomorphic to o(3) (subalgebra R_{13} in [4]) or L itself (subalgebra R_{15}). However, using the theory of the previous paragraphs, it can be shown that one necessarily has the global results that either I_{m} ≈ o(3) at every or I_{m} ≈ L at every Using the results on the relationship between dimK(M) and orbit dimension, one then finds that any orbit of K(M) has dimension 3 or 4 and (M, g) consists of either a single 4-dimensional orbit or each of its orbits is 3-dimensional and spacelike. All orbits are dimensionally stable. Further one easily shows that either (i) I_{m} is isomorphic to L for each in which case, (M, g) has constant curvature and dimK(M)=10 with K(M) having a single 4-dimensional orbit, or, (ii) I_{m} is isomorphic to so(3) at each and K(M) has a single 4-dimensional orbit. In this case dimK(M)=7, or, (iii) I_{m} is isomorphic to o(3) for each and each orbit of K(M) is 3-dimensional and spacelike. In this case dimK(M)=6. If case (i) holds, (M, g) is of constant curvature and hence is locally de Sitter, anti-de Sitter, or Minkowski space whilst if case (ii) holds, (M, g) is either of constant curvature or locally of the Einstein static type. If case (iii) holds, (M, g) admits an open dense subset V such that each admits a neighbourhood whose restricted metric is either of constant curvature or of the (generic) FRWL type. [It is noted that there is no contradiction if (M, g) is of constant curvature and dimK(M)<10; however the local Killing algebra will be 10-dimensional, (see e.g. [2]) The smoothness of the relevant geometrical objects on M follows from the smoothness of g and the members of K(M). One thus achieves a description of all possible models satisfying the above cosmological condition.

The assumption that (M, g) is cosmological also forces “homogeneity” onto (M, g) in the sense that either there exists a 4-dimensional orbit (transitivity) or the orbits are 3-dimensional and give a local cosmic time function (and in (ii), although the Killing orbit is 4-dimensional, a 6-dimensional subalgebra of K(M) may be shown to exist whose integral manifolds give a local cosmic time function).

One may also apply this method to a study of plane wave symmetry. Let (M, g) be a space-time and let l be a null direction at A *wave surface* of l at m is a spacelike, 2-dimensional subspace of T_{m}M orthogonal to l. If l, n, x, y is a null tetrad at m, the wave surfaces of l at m can be represented in a one-to-one way (by the pair (a, b) with a, ) by those subspaces spanned by vectors of the form x+al and y+bl. Each unit timelike vector *u* at *m* determines a unique wave surface of l at m which is orthogonal to *u* (and *l*) and is then the *instantaneous wave surface* of l at m for the observer with 4-velocity u at m. Suppose one attempts to propose a definition of a plane wave (M, g) by insisting that the Killing algebra K(M) of (M, g) is such that for each there is a unique null direction such that the ?_{t}^{*} arising from members of I_{m} are transitive on the set of wave surfaces of *l* at *m*. One can again check the subalgebras of L for candidates for I_{m}. The situation is a little more complicated now and it turns out that five subalgebras of *L* are possible and which have dimension 2 or 3. However, in all cases, the maps ?_{t}^{*} fix the direction of *l* at *m* and it can be shown that this is the only direction that they fix. Then, as in the cosmological case, one can achieve a global description of all such models. In fact, if one further restricts by the assumptions that all orbits of K(M) are dimensionally stable and that no non-empty open subsets of M of constant curvature exist then one gets the results that either I_{m} is 2-dimensional at each with dimK(M)=5 (respectively, dimK(M)=6) and all orbits are 3-dimensional and null (respectively, there exists a single 4-dimensional orbit), or I_{m} is 3-dimensional at each with dimK(M)=6 (respectively, dimK(M)=7) and all orbits are 3-dimensional and null (respectively, there exists a single 4-dimensional orbit). These solutions can then be shown to give the usual (Petrov type N or O) plane wave metrics including, of course, the homogeneous ones and the one with non-zero cosmological constant given in [5,6].

- Hall GS (2013) Symmetries, Orbits and Isotropies in General Relativity Theory. Preprint, University of Aberdeen.
- Hall GS (2004) Symmetries and Curvature Structure in General Relativity.World Scientific.
- Hall GS (2007) Class Quant Grav 20: 4067.
- Schell J F (1961) Classification of Four-Dimensional Riemannian Spaces. J Math Phys 2: 202.
- Defrise L (1969) Groupes d'isotropie et groupes de stabilite conforme dans les espaces Lorentziens. Thesis, Universite Libre de Bruxelles.
- Stephani H, Kramer D, Mac Callum MAH, Hoenselaers C and Herlt E (2003) Exact Solutions of Einstein's Equations (Second Edition) Cambridge.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Hamilton Mechanics
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Physical Mathematics
- Quantum Mechanics
- Quantum electrodynamics
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topology
- mirror symmetry
- vector bundle

- Total views:
**12272** - [From(publication date):

August-2013 - Aug 20, 2019] - Breakdown by view type
- HTML page views :
**8482** - PDF downloads :
**3790**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20