Abstract
Two families of noncommutative extensions are given of a general space-time metric with spherical symmetry, both based on the matrix truncation of the functions on the sphere of symmetry. The first family uses the truncation to foliate space as an infinite set of spheres, and it is of dimension four and necessarily time-dependent; the second can be time-dependent or static, is of dimension five, and uses the truncation to foliate the internal space.
Similar content being viewed by others
1 Introduction
Finding an operator description of realistic gravitational configurations is an important task of any theory aiming to describe quantum gravity. Such a description, here referred to as ‘quantization’, would incorporate at least effectively properties of spacetime beyond the classical regime; it could as well be fundamental. The basic aspect of quantization is representation through operators: concrete representation yields the eigenvalues and the eigenstates of the operators of position, metric and curvature. Therefore, possible outcomes of quantization can be discretization of spacetime, if the spectra of coordinates are discrete, or resolution of singularities, if the classically singular values do not belong to the spectrum of curvature invariants. Another important question, of interest in noncommutative geometry, is whether the algebra of operators \(\mathcal{A}\) together with the calculus which supports the given gravitational configuration can in some sense be regarded as a ‘noncommutative space’, that is, whether notions as connection and metric can be introduced geometrically or are just quantities defined ‘externally’, as fields with given properties.
In spite of the progress which has been made in recent years in noncommutative geometry and in quantum gravity in general, some important results are still lacking. For physics the most interesting spacetimes like the Schwarzschild black hole or the Friedmann–Robertson–Walker (FRW) cosmology have not been ‘quantized’ yet, at least not to common consent. Relevant or ‘realistic’ models have been obtained only in two dimensions and reduce essentially to the quantum line and the fuzzy sphere. A generalization of the quantum line has been proposed in every dimension [1], and in every even dimension there is a simple smooth noncommutative space with planar symmetry defined by the constant commutators \(J^{\mu \nu }_0\) between coordinates,
Usually \( J^{\mu \nu }_0 \) is taken to be nonsingular; the constant \({}^{-}\!\!\! k\) defines the length scale at which the effects of noncommutativity become significant. However, these spaces are not isotropic except in two spatial dimensions while the important classical configurations have spherical symmetry.
Therefore, if we aim to find ‘realistic’ quantum spacetimes we need to construct four-dimensional spaces with exact or slightly deformed spherical symmetry, and this is the main objective of our paper. The approach we are using is that of noncommutative differential geometry because we believe that one should be able to describe quantum or quantized gravity as in the classical way: through geometry. We shall see that, although the noncommutative spaces which we obtain here do not have exactly the desired classical limits, the formalism which we use seems to be an appropriate tool. We hope that it will be possible to find solutions yet closer to the classical ones by dimensional extension of the algebras here analyzed.
The structure of the paper is as follows. In Sect. 2 we briefly introduce the frame formalism stressing mainly its logic, constraints which it imposes, and symmetries. In Sect. 3 we construct a four-dimensional geometry starting from the momentum space. An analysis of the position space and of its commutative limit shows that the corresponding metric (3.47) is necessarily time-dependent: it describes a spherically symmetric non-isotropic cosmology. In Sect. 4 we find a class of static spherically symmetric spaces (4.33), (4.39) and (4.48), (4.49), which include the Schwarzschild black hole, by introducing an additional, Kaluza–Klein-type internal coordinate \(\rho \). It is shown that the corresponding phase space has to be extended too, by an external momentum \(p_4\). Representations of all algebras are also discussed.
In ordinary differential geometry a metric is introduced to measure the distance between points. Since noncommutative geometry is essentially without points the concept might seem in this case rather pointless. It is possible, however, to carry over one of the definitions of a metric which is used in commutative geometry and to give it a meaning in certain noncommutative cases as a measure of distance. In ordinary differential geometry, if \(\xi \) and \(\eta \) are 1-forms, then the value of the inner product \(\, g(\xi \otimes \eta )\) at a given point does not depend on the values of \(\xi \) and \(\eta \) at any other point. This condition can be expressed as the bilinearity condition that for any function \(f\)
We assume that this condition remains valid in the noncommutative case. Without the bilinearity condition it is not possible to distinguish for example in ordinary spacetime a metric which assigns a function to a vector field in such a way that the value at a given point depend only on the vector at that point from one which is some sort of convolution over the entire manifold.
2 General formalism
A noncommutative geometry as we define it [2] consists of an associative algebra \(\,\mathcal{A}\) (here referred to as ‘noncommutative space’) over which we have a differential calculus \(\,\Omega ^*(\mathcal{A})\). Within this structure we single out a set of \(n\) 1-forms \(\,\theta ^\alpha \), a noncommutative extension of the moving frame or \(n\)-being of classical differential geometry. Conversely one can define the differential calculus to be such that any chosen special set of 1-forms commute with the elements of the algebra
We refer to it as a frame since it seems to be the most natural generalization of the moving frame of Cartan. In fact, the bimodule structure of the 1-forms uniquely determines a differential calculus over the algebra through frame 1-forms \(\theta ^\alpha \) and their dual derivations \(e_\alpha \),
With the frame it is relatively easy at least to first order to calculate the objects of interest in differential geometry: beyond first order more imagination will certainly be necessary.
2.1 Kinematics
If instead of the 1-form \(\theta ^\alpha \) we had an element \(f\) of the algebra, then condition (2.1) could be written to first order as
and it states that the center of the algebra is trivial. With the frame element, however, we can only state that the condition is of first order in the derivatives. One can think of it then as a constraint. We shall find a second condition,
in terms of the Ricci rotation coefficients, which one can think of as a gauge condition.
The derivations \(e_\beta \) dual to \(\theta ^\alpha \), \( \, \theta ^\alpha (e_\beta ) =\delta ^\alpha _\beta \), are usually assumed to be inner,
This is the simplest case, and in some important cases [2, 3], like matrix spaces, the only choice to define vector fields. Sometimes, however, the condition (2.5) cannot be imposed: in the case of the quantized phase space of quantum mechanics, for example, momenta \(\, p_\alpha = -i\hbar \, \delta ^\mu _\alpha \, \partial _\mu \, \) do not belong to the algebra of coordinates. When coordinates commute the dimension of the phase space is necessarily twice the dimension of the configuration space. In noncommutative geometry it need not be so: the phase space can be identical to the configuration space, that is, ‘half’ of its classical analogon. The answer to the question: how many operators generate \({\mathcal {A}}\), defines as we shall see the initial conditions of the problem which we are trying to solve.
The momenta necessarily satisfy a quadratic relation of the form
This ‘structure equation’ follows from the conditions which we impose on the differential; it gives the same information about geometry of the space as the set of derivations \(e_\alpha \) or the set of frame elements \(\theta ^\alpha \). The differential d\(f\) of a function \(\, f\in \mathcal{A}\) is given by
when the module of 1-forms is free and the frame is used as basis. We can write to first order
The \(i\epsilon \) here is the product of \(i{}^{-}\!\!\! k\) and the square \(\mu ^2\) of a macroscopic mass scale parameter \(\mu \), which we can relate for example with the Schwarzschild mass \(m\) or with the cosmological constant \(\Lambda \). As before \({}^{-}\!\!\! k\) defines the scale of noncommutativity through the commutation relations
and if we take for example \(\,{}^{-}\!\!\! k\sim l_{Pl}^2\) and \(\,\mu ^2\sim \Lambda \), we obtain \(\,\epsilon \sim 10^{-122}\). The coefficients \(\, Q^{\alpha \beta }{}_{\gamma \delta }\), \(\, F^\beta {}_{\gamma \delta }\), \(\, K_{\beta \gamma }\) are antisymmetric in the lower pair of indices, while \(\, Q^{\alpha \beta }{}_{\gamma \delta }\) is symmetric in the upper pair; they are hermitian elements of the center of the algebra \(\mathcal{A}\). Equation (2.6) is equivalent to writing the Ricci rotation coefficients \(\, C^\gamma {}_{\alpha \beta } \),
as linear expressions in the momenta,
It can also be considered as the definition of a Poisson structure, to which, as is well known [4–6], one can associate a curvature.
All derivations here are taken in the semi-classical approximation that is to leading order in \(\epsilon \). This is in fact the only possibility to do concrete calculations when one is solving a problem like ours: to find an a priori unknown algebra, that is, commutators \(J^{\mu \nu }(x)\). Then we have for example
It is important to note and easy to see that in this approximation the formalism has diffeomorphism invariance, that is, the commutators transform as tensors. Indeed if we make the change of variables \(\, x^{\prime \mu }= x^{\prime \mu }(x^\rho )\), using (2.12) we obtain
This means that the diffeomorphism symmetry is present not only in the classical limit but also in the linear order in \({}^{-}\!\!\! k\).
To define and study a noncommutative space \(\mathcal{A}\) there are two equivalent paths (the 2-fold way). Starting with a set of vector fields \(e_\alpha \) on a smooth manifold which satisfy (2.10) one can define the momenta as the solutions to the equations
which follow from the expression
Equation (2.6) then leads to a set of important consistency conditions which one has to solve. Alternatively, one can start from a moving frame \(\theta ^\alpha \) on a classical manifold satisfying
and search for an analogous noncommutative frame, extending thus \(\,\Omega ^*(\mathcal{C})\) to \(\,\Omega ^*(\mathcal{A})\). In both cases one obtains the essential ingredients to construct a noncommutative geometry, an algebra, and a compatible differential calculus. We find, however, that there are restrictions on the ingredients which arise from the Jacobi identities.
2.2 Dynamics
The commutator (2.9) must satisfy the Jacobi identities, which can be written in the form
showing vanishing of an anomaly. We shall accept the assumption that this condition is the only obstruction to the associativity of the product. There are also Leibniz rules, obtained by replacing one position generator \(x^\lambda \) by a momentum \(p_\alpha \). As we are restricting our attention to the case when the momenta depend on the coordinates, the additional Jacobi identities follow from (2.17). The Leibniz rules can be written in the form
It is easily seen that the analogous compatibility conditions for (2.9),
are equivalent in fact to the quadratic relation (2.6) for the momenta.
3 Real-space foliation
The simplest spherically symmetric noncommutative space is the fuzzy sphere [7, 8]. Anticipating that isotropic spaces in higher dimensions contain it as a subspace, we will review its basic properties. Two angular variables of the polar coordinate system on the fuzzy sphere are described by three Cartesian coordinates which satisfy commutation relations of the algebra of rotations. The Lie algebra \(so_3\) has irreducible representations by three \(n\times n\) complex matrices \(J^a\in M_n\), which we normalize such that
Let \(\, x^a\), \(a=1,2,3\, \) be the quantized coordinates. Quantization of the sphere is defined by the relation
which is an analog of the Bohr quantization and postulates that the area of the quantum sphere contains an integer number of elementary cells of area \({}^{-}\!\!\! k\). It also defines the radius \(r\) since from the Casimir relation of \(so_3\) for large \(n\) we obtain
The commutator of the coordinates is then given by
Equation (3.3) suggests that the three-dimensional space in polar coordinates is, or can be represented as, a direct sum
of all irreducible representations of \(so_3\): this model is called the ‘onion model’. As we need a four-dimensional manifold we shall not use it; simple extensions by one algebra generator do not have the desired properties and limits too [9, 10]. Therefore we add the radius and the time as coordinates independent on \(x^a\). That is, we consider the space-time \(\,\mathcal{A}=\mathcal{A}^\prime \otimes \mathcal{A}^{\prime \prime }\,\) to be the tensor product of the fuzzy-sphere algebra \(\mathcal{A}^\prime \) and an algebra \(\mathcal{A}^{\prime \prime }\) generated by \(r\) and \(t\).
The momenta on the fuzzy sphere can be identified with the coordinates,
We have therefore
and if we let \(\, \pi ^a_b = \delta ^a_b - \displaystyle {\frac{1}{r^2}}\,x^ax_b \, \) be the radial projection onto the sphere, we obtain from definition (2.7) the expression for the differentials d\(x^a\),
and inversely
In the leading order in \({}^{-}\!\!\! k\) we can write
3.1 The momentum algebra
Since the information as regards symmetries is contained in the frame derivatives \(e_\alpha \) that is in \(p_\alpha \), the momentum algebraFootnote 1 is the best starting point to search for \(\mathcal{A}\). It has in addition a fixed quadratic form which reduces the number of possible Ansätze. We investigate then the extensions of the \(so_3\) algebra by the two operators \(p_0\) and \(p_4\) which we introduce in place of \(r\) and \(t\) as generators of \(\mathcal{A}^{\prime \prime }\, \). We start with an algebra of a general form
which manifestly respects rotational symmetry. In accordance with the requirement that the algebra be quadratic we write
The \(a_k\), \(b_k\), and \(c_k\) are constants, while \(\,\Xi \) is a general quadratic polynomial in \(p_0\) and \(p_4\). When we impose Jacobi identities on (3.11–3.15) we obtain various restrictions. For example we find
and from these relations we conclude that \(\pi _0\) and \(\pi _4\) are mutually proportional,
The constants are also not independent: we have
The most important implication of the Jacobi constraints is that there always exists a linear combination of \( p_0\) and \(p_4\) which commutes with \(p_a\): it is in fact equal to \(\Pi \). Using \(\Pi \), the momentum algebra simplifies to
where we substituted
We adopt here the convention that the momenta are antihermitian operators.
It is easy to rewrite the algebra (3.22) in the tensor-product form by introducing the hermitian frame components \(\zeta ^a\) of a vector (which we will later use as coordinate),
We have
We see that \(\mathcal{A}\) indeed contains an \(so_3\) as a subalgebra; \(\mathcal{A}\) is a tensor product of the \(so_3\) generated by three \(\zeta _a\) and a quadratic \(\mathcal{A}^{\prime \prime }\) defined by the relation
with
However, differential calculus defined by \((p_a,\Pi ,\pi _4)\) is not a tensor-product calculus because the momenta do not belong to the factor algebras. This property is desired as otherwise for the metric we would obtain a simple product metric.
We mentioned already that within the frame formalism the momentum algebra determines space-time geometry. Of course there is a freedom in the choice of the linear connection, which then uniquely gives the torsion and the curvature; these expressions one can show are generically quadratic in the momenta, [2, 11]. But momenta are a priori unknown functions of coordinates. Therefore although our model is essentially fixed, to understand it in more detail and to find its classical limit we need to determine coordinates.
3.2 The position algebra
The functional dependence of \(p_\alpha \) on \(x^\mu \) is not unique, but as everything else it is constrained by the algebraic structure of \(\mathcal{A}\) and the required properties of the commutative limit. In the present case there is only one spatial 3-vector in the algebra so it is natural to assume that coordinates \(x^a\) are proportional to it. In fact, we already introduced the hermitian \(\zeta ^a\), \(\, p_a = \Pi \zeta _a\), as generators which provide the tensor-product form of the algebra (3.25). We can thus choose \(\zeta ^a\) as coordinates, \(x^a =\zeta ^a\); one can see easily from (3.43) that the choice of the proportionality factor does not influence the form of the angular part of the line element. Of course, only two of the \(\zeta ^a\) are independent because \( \zeta ^2=\zeta ^a\zeta _a\) is the Casimir of \(\mathcal{A}\). The operators \(\Pi \) and \(\pi _4\) have to be mutually independent functions of \(r\) and \(t\). An almost obvious Ansatz for these functions is
The coordinate components of the (inverse) metric can be found from the relation
where the frame components \(\, e^\mu _\alpha \) are given by \(\, e^\mu _\alpha (x)=[p_\alpha , x^\mu ].\) One can also use the inverse \(\, \theta ^\alpha _\mu \) of \(\, e^\mu _\alpha \),
The two given expressions are equivalent, within the precision we are working with, that is, as regards the operator-ordering ambiguities. We can also write the line element as
and then express the frame 1-forms through the differentials, \( \, \theta ^\alpha = \theta ^\alpha _\mu (x)\, \mathrm{d}x^\mu \), to obtain \(g_{\mu \nu }\). The constant frame metric \(\, g_{\alpha \beta }=\eta _{\alpha \beta }\) here has the signature \((-++++)\,\).
The commutator of \(r\) and \(t\),
can be obtained from compatibility of (3.22) with (3.32). Using it we find easily
For the differentials of the coordinates we have
where we introduced \(\, \zeta ^i =\delta ^i_a\zeta ^a\). From these expressions we obtain the frame components
We can calculate the metric by applying (3.30); the nonzero elements are
We see immediately that in the classical limit \({}^{-}\!\!\! k\rightarrow 0 \) off-diagonal terms \(\, g^{0i}\) vanish. Further, since we can assume that the Casimir \(\zeta ^2 =\frac{1}{4} \,\epsilon ^2 (n^2-1)\) is small, we have \(1-\zeta ^2>0\). The angular part of the metric is, as expected, proportional to the projector on the sphere \(\pi ^{ab} \),
The prefactor in (3.38) is also correct: the inverse of \(g^{ij}\) is on the sphere given by
and therefore the angular part of the line element is
In the classical limit we obtain
We have a time-dependent metric. Namely, we cannot assume that \(G(t)=G_0\), a constant, because the momenta \(\Pi \) and \(\pi _4\) have to be functionally independent. Introducing instead of \(t\) a new variable \(\tau \),
we can simplify the line element to
with the curvature scalar \(R\)
This metric, though spherically symmetric is obviously not homogeneous. The universe expands differently in different directions: if we define the Hubble parameter \(H\) as the rate of expansion in the radial direction we find that \(H=\lambda \). The \(\lambda \) on the other hand is related to the noncommutativity of space-time,
An interesting change of variables, \(\eta = G(t)\), \(\, \chi = \displaystyle {\frac{1}{r}} \,\), transforms the line element (3.47) to an almost conformally flat form,
Since the Ansatz (3.28) which we used does not give a static metric which could be interpreted as an extension of the Schwarzschild black hole, perhaps it is possible to modify it to obtain the extension of the FRW cosmology? Then instead of (3.44) we would need the angular line element \( \, \mathrm{d}s^2_\Omega = a^2(t) r^2 \mathrm{d}\Omega \, \). This corresponds presumably to a more general dependence,
Let us analyse this possibility leaving the commutator Ansatz the same; see (3.32). A comparison of (3.51) with (3.22) gives the compatibility equation
As the variables \(r\) and \(t\) are separated it is not difficult to find a solution to the last equation. We have
where the constants \(\, \alpha \), \(\beta \), \(\gamma \), and \(\lambda \) satisfy
The change the variables to
drastically simplifies all equations and we can solve (3.52):
Now it is possible to calculate the metric. From the differentials
we obtain the nonvanishing components of the frame,
Using (3.30) we find
Again the off-diagonal components \(g^{0i}\) and \(g^{4i}\) vanish in the commutative limit and the angular part is proportional to the projector on the sphere: the corresponding classical metric is spherically symmetric, non-static, and block-diagonal. Inverting the angular part we get
that is,
The \((r,t)\) part on the other hand gives
One can further simplify using the variables \(\rho \) and \(\tau \) and obtain
Having the line element written as this, it is easy to recognize that the change of coordinates
gives back the metric (3.47). This is a manifestation of diffeomorphism invariance of the formalism, and it shows that the noncommutative space which we obtained is in fact unique.
3.3 A representation
The coordinates of the solution (3.28) satisfy the commutation relation
Parameter \( q \) defined in (3.27) is unitary because the constant \( c\) is real, while \(r\) and \(\tau \) are hermitian operators. Equation (3.74) can be rewritten as
and we see that it holds for
with \(\, \tan ({ k\lambda }/{2}) ={\epsilon c}/{2}\): the algebra is formally equivalent to the Heisenberg algebra.
The spectrum of \(\tau \) is the real line and that of \(r\) the positive real line. A representation on the Hilbert space of square integrable functions of one variable \(s\) is given by
where \(\tau \) is the dilatator, or by
We have here an indication of the importance of the calculi in the description of the geometries: the differential calculus usually introduced on a space described by the Heisenberg algebra is flat, while here the subspace \((r,\tau )\) has a constant negative curvature, [12]. One can find even an example of an algebra over which there are two different calculi with geometries having as the commutative limit two different topologies.
4 Internal-space foliation
We have seen that in the previous section geometry of the space-time was fully determined by momenta and by their commutators. Such a situation is typical when we apply the noncommutative frame formalism in its ‘minimal’ version, that is, when all \(p_\alpha \in \mathcal{A}\). A close relation between the algebraic and the geometric structures is, however, a general feature of any noncommutative geometry, also in cases when we need to extend the space-time in order to obtain the appropriate phase space or the prescribed symmetries.
We shall attempt now to find a static spherically symmetric metric starting from the algebra of coordinates. This means that we will first make an Ansatz for the position commutators and for the frame, and then analyze the implied consistency relations. This approach is perhaps more intuitive and seems easier because the position algebra is not restricted in its form like the momentum algebra. However, the overall number of equations remains the same if we constrain the momenta to belong to \(\mathcal{A}\): a real advance comes if we allow for some of the derivations to be external. As a result, we shall find a way to extend \(\mathcal{A}\) and to obtain static solutions.
4.1 The position algebra
Assume that \(\mathcal{A}\) is generated by operators \(\, x^\mu =(\xi ^a,\rho ,r,t)\) with for some large \(n\)
Variable \(\rho \) is a fifth generator which we can consider as a Kaluza–Klein extension. We expect a general spherically symmetric solution to depend on \(\rho \), \(r\), and \(t\), but we shall restrict our attention to the static case.
The multiplication table is
and to ensure spherical symmetry we assume that \( J=J(\rho ,r,t)\), \(J^0=J^0(\rho ,r,t)\), \( J^4=J^4(\rho ,r,t)\). The position algebra (4.2–4.3) is restricted by Jacobi identities. The nontrivial one is
and it gives to first order the equation
or if we introduce \(\gamma _0\) and \(\gamma _4\) as \(\, J^0 = J\gamma _0,\) \( \, J^4 = J\gamma _4 \),
As a convenient solution we can choose
which implies
The last equation is identically fulfilled in the static case.
For comparison with the previous section we introduce \(x^a=\rho \xi ^a\), \(x^a x^b \delta _{ab}=\rho ^2\) and the intermediate variable \(L = {2\rho ^2}/{n{}^{-}\!\!\! k} \, \). Then we have
4.2 The frame
As the angular part of the frame we choose the Mauer–Cartan frame of the group multiplied by a function \(h\) to account for the change in volume of the 3-sphere as we move along the radial; the radial and the time-like components of the frame are, we suppose, diagonal. We obtain for the frame in five dimensions
The \(f\), \(g\), and \(h\) are functions of \(\rho \), \(r\), and \(t\). As on the fuzzy sphere this Ansatz gives
which is unusual because it implies \(\, \mathrm{d}\rho =0 \,\) in linear order even though \(\rho \) is not in the center. In particular, \(d\rho =0\, \) in the classical limit. This is a specific feature of our calculus (4.11) and is a consequence of the fact that the algebra of coordinates, as we shall see, is different from the algebra of momenta.
To be consistent, the differential calculus (4.11) has to be compatible with the algebra (4.2–4.3), and this compatibility is expressed by (2.18). To leading order the right-hand side of these equations is given by
while to calculate the left-hand side we use the property that the elements of the frame basis commute with \(\mathcal{A}\),
An analysis of all constraints which follow from these requirement yields:
and
We must impose additional relations, which ensure that the exterior multiplication of two frame 1-forms is well defined. These relations follow from the definition of the wedge product [2],
In lowest order we obtain
where \(\, Q^{\alpha \beta }{}_{\gamma \delta }\, \) are the constants introduced in (2.8). In our case, (4.18) becomes the following equations:
There is one remaining relation for \(\, [\theta ^a,\theta ^0]\,\), which can be obtained from
The first set of (4.19–4.23) gives the following constraints:
and from the second set we obtain
where the \(C_k\) are constants.
4.3 Solutions
We obtained a relatively complicated set of equations, but as we are looking for static solutions we can assume that no function depends on time. In fact, the proposed choice \(\, J^4 =0\), \(\, L= {2\rho ^2}/{n{}^{-}\!\!\! k} \, \) satisfies almost all of the equations. The first nontrivial constraint is \(\, J^{0\prime }=0\, \) and it implies \(\, J^0=J^0(\rho ) \). The remaining ones are
whereas (4.26) is satisfied identically with \(C_4=0\). We have three equations for three frame functions \(f\), \(g\), and \(h\).
When we are solving (4.29–4.31) we should not forget the diffeomorphism invariance. There are essentially two different cases. In the simplest case the frame does not depend on \(\rho \), and the equations reduce to ordinary differential equations. We can define the radial coordinate arbitrarily, for example by fixing the frame function as \(\,g=1\); or \(\, h=r\); or \(\, fg=1\). Let us briefly review these choices and the corresponding solutions.
For \(\, g=1\), the radius \(r\) is the geodesic normal coordinate and (4.29–4.31) become
The solution is
where \(\beta \), \(h_0\), and \(f_0\) are the integration constants.
The corresponding classical limit is easily derived,
and it has the scalar curvature
If the radius \(r\) is defined such that the area of the sphere is \(\, 4\pi r^2\), that is, \(\, h=r\), we obtain
Denoting the integration constant of the third equation by \(\gamma \) we find
and clearly we have the same metric as (4.34) expressed in variable \( \,\bar{r} = h_0 e^{-\gamma r} \rightarrow r\, \). We further get
as a solution for \(f\) corresponding to nonvanishing \(\, C=-8h_0\mu J^0\gamma \ne 0\). For \(\, C=0\) the solution is
In particular for values \(\alpha =1\) and \(\beta =\gamma \,\) the metric has the Schwarzschild form, \(f=g^{-1}\).
For the third definition of \(r\), \(\, fg=1\), the equations become
We have
where \(f\) obeys
A solution to the last equation is, for example,
but the integral (4.42) can be as well solved in general and yields the implicit solution
We have therefore in case when the metric does not depend on \(\rho \) three families of solutions: essentially they represent one noncommutative space, except perhaps for singular values of the integration constants when the spaces might differ. This space is static and curved and, since everything depends on just one variable \(r\), it has a straightforward classical limit.
What happens when we include the dependence on \(\rho \,\) in the frame functions? We have seen that \(\rho \) is essentially a quantum variable, so perhaps we can expect solutions which are physically more interesting. The set of (4.29–4.31) is in this case a set of partial equations in \(r\) and \(\rho \).Footnote 2 This implies that we have many more solutions, and we shall here restrict our considerations to the case when both conditions \(\, h=r\) and \(\ fg=1\) are fulfilled. The equation for \(h\) then gives
where \(J_0\) is an arbitrary function \(J_0=J_0(\rho )\) of \(\rho \). Imposing \(\, fg=1\) we see that the remaining two equations are consistent for \(\, C=0\) and
We have already found a particular solution to this equation, \(f =\gamma r\); we need therefore in addition to solve the corresponding homogeneous equation
which is easy: the solution is an arbitrary function \(\, F=F(\rho r)\). Thus the general solution to (4.46) is
with the corresponding metric
Although the solution (4.48) is restricted in its form, in the classical limit it gives practically all static metrics, because classically \(\rho \) as a constant. For example, taking
and assuming that \(\rho =\gamma \) we obtain the Schwarzschild metric.
4.4 A representation
Noncommutative space \(\mathcal{A}\, \) is a tensor product \(\mathcal{A}=\mathcal{A}^\prime \otimes \mathcal{A}^{\prime \prime }\) of a first factor generated by the \(\xi ^a\) and a second factor generated by \(\rho \), \(r\), and \(t\). To represent it we choose a Hilbert space \(\mathcal{H}\) which is a tensor product \(\mathcal{H}=\mathcal{H}^\prime \otimes \mathcal{H}^{\prime \prime }\), with \(\mathcal{H}^\prime \) given by a representation \(J^a\) of \(so_3\) and \(\mathcal{H}^{\prime \prime }= L^2({\mathbb R}^2)\). To be explicit we consider the case defined by (4.45) and \(J_0=1\); the commutation relations are
In this particular case the coordinates satisfy a Lie bracket relation and the corresponding Lie algebra is a singular contraction of \(sl_2({\mathbb R})\): the five position generators are closely related to the six generators of the Lie algebra of the Lorentz group. The \(\mathcal{A}^{\prime \prime }\) can be represented, for example, on the Hilbert space \(\mathcal{H}^{\prime \prime }\) of square integrable functions of two variables \((s,u)\), in analogy with the representation discussed in the previous section,
5 Conclusions
We found in this paper two families of noncommutative spherically symmetric geometries which can be considered as extensions of static and cosmological solutions to the Einstein equations. The problem of extending of a classical spherically symmetric geometry to a noncommutative space (associative algebra \(\mathcal{A}\)) might seem at first sight easy. However, the simplest way of extension, the tensor product, is not satisfactory because no classically relevant metric is a product metric. Therefore one has to extend both the algebra and the associated differential calculus nontrivially, and that gives a nontrivial set of constraints.
Following the intuition that gravity is related to geometry we used a noncommutative version of the Cartan frame formalism [2]. The main input in this formalism is the set of tetrads or the frame. In the basis of the frame 1-forms the metric components are constants and the differential is defined naturally, with respect to the given or required gravitational configuration. However, the algebraic structures are rigid and there are constraints: first, the Jacobi constraints in the algebra, and second, the consistency constraints necessary for the compatibility of the algebra with the calculus.
These constraints were solved here to first order in noncommutativity. It is clearly possible to iterate and find the second and higher order equations, but it is hard to give any general statement on the existence of solutions. Another perhaps viable approach is to solve the constraints exactly, within an algebra given in advance; the problem, however, is the guessing of the initial algebra.
One of the significant features of the formalism is the possibility to generalize the diffeomorphism invariance. To first order in noncommutativity this invariance is exactly the same as in the Einstein gravity and one is allowed to choose the most convenient set of coordinates.
Our concrete problem was formulated thus: how should one extend the fuzzy sphere to a four-dimensional static or cosmological space? We first started by extending the symmetry, that is, the momentum algebra, assuming at the same time that the frame derivations are inner. This assumption gave an essentially unique solution for \(\mathcal{A}\): an algebra generated by five coordinates \( (\zeta ^a,r,t)\) or by five momenta \( (p_a,\Pi ,\pi _4)\) constrained by one relation, that is, possessing one Casimir operator, \(\zeta ^2\). This algebra with the associated calculus describes a spherically symmetric non-static space, which, however, is not spatially homogeneous, that is, not isotropic. Nonetheless the space has some interesting properties; for example the Hubble parameter is given by noncommutativity. Everything in the model was essentially fixed: the Jacobi constraints behaved as field equations.
In the second part of the paper we extended the original algebra by adding one variable, so \(\mathcal{A}\) was generated by six coordinates \((\xi ^a,\rho ,r,t)\) constrained by one constraint, or by five unconstrained coordinates \((x^a,r,t)\). In this setup, as we have seen, one could obtain practically all static spherically symmetric configurations as classical limits. The price to pay was an additional variable \(\rho \) with somewhat unusual properties: the differential calculus implied that \(d\rho =0\) in the classical limit while \(\rho \) was not a constant (we have for example \([\rho ,t]\ne 0\)). In principle one would consider the existence of an element of the algebra which is not a constant and nevertheless has vanishing differential—an undesirable feature. However, such elements are not uncommon, we mention as an example the dilatator \(\Lambda \) of the quantum line. The exact role of \(\rho \) in this specific case remains to be understood better, along with the question of the appropriate representation; in any case the classical relation \(d\rho =0\) suggests that a natural way to interpret \(\rho \) is as a Kaluza–Klein parameter which measures the internal space. In addition, one can rather easily see that in this model the momenta cannot belong to \(\mathcal{A}\). Namely, solving (2.14) for \(p_\alpha \) we obtain the solution \(\, i{}^{-}\!\!\! kp_a = \delta _{ab}\xi ^b\), \(\, p_0 =p_0(\rho ,r)\), but the remaining \(p_4 =p_4(\rho , r, t)\) is inconsistent with the assumption \(\, e^a_4=0\), which gives a diagonal and static metric.
Momentum operators are, in classical gravity, always external, \(\, p_\alpha = e^\mu _\alpha \partial _\mu \). In addition when we deal with commutative space, the Jacobi identities and the de Rham consistency conditions are trivially satisfied. In the opposite, maximally constrained noncommutative case when the phase and the configuration spaces are identical, the Jacobi identities and the compatibility conditions practically fix the dynamics and the geometry. Here we observe that, with the increase of the phase space, constraints become less restrictive and we have more freedom to choose solutions: more noncommutative geometries can be defined consistently. It is certainly possible to continue along these lines and find other interesting quantum spaces with nondegenerate noncommutativity, correct symmetries, and the desired commutative limits; and that is what we plan to investigate in our future work.
Notes
We refer to the algebras generated by the coordinates and the momenta, respectively, as the position algebra and the momentum algebra although we assume in this section they are one and the same algebra.
Note that derivatives \(\partial _\rho \) in these equations only come from evaluating commutators with \(\rho \).
References
L.D. Faddeev, N.Y. Reshetikhin, L.A. Takhtajan, Quantization of Lie groups and Lie algebras. Leningrad Math. J. 1, 193 (1990). [Alg. Anal. 1 (1989) 178]
J. Madore, in An introduction to noncommutative differential geometry and its physical applications, no. 257. London Mathematical Society Lecture Note Series, 2nd edn. (Cambridge University Press, Cambridge, 1999)
M. Buric, T. Grammatikopoulos, J. Madore, G. Zoupanos, Gravity and the structure of noncommutative algebras. JHEP 0604, 054 (2006)
J. Madore, On Poisson structure and curvature. Rept. Math. Phys. 43, 231 (1999)
M. Cahen, S. Gutt, J. Horowitz, Homogeneous symplectic manifolds with Ricci-type curvature. J. Geom. Phys. 38, 140 (2001)
J. Arnlind, G. Huisken, On the geometry of Káhler–Poisson structures. arXiv:1103.5862 [math.DG]
J. Hoppe, Quantum theory of massless relativistic surface and a two-dimensional bound state problem. Soryushiron Kenkyu (Kyoto) 80(1989) 145, PhD Thesis, MIT, 1982
J. Madore, The fuzzy sphere. Class. Quant. Grav. 9, 69 (1992)
M. Buric, J. Madore, Spherically symmetric noncommutative space: d = 4. Eur. Phys. J. C 58, 347 (2008)
M. Buric, J. Madore, Noncommutative spherical symmetry via the monopole. Int. J. Mod. Phys. A 24, 2783 (2009)
M. Buric, M. Wohlgenannt, Geometry of the Grosse–Wulkenhaar model. JHEP 1003, 053 (2010). [arXiv:0902.3408 [hep-th]]
M. Buric, J. Madore, A dynamical 2-dimensional fuzzy space. Phys. Lett. B 622, 183 (2005)
Acknowledgments
This work was supported by the Serbian Ministry of Education, Science and Technological Development Grant ON171031. The authors worked on the subject especially while visiting on several occasions ESI in Vienna and AEI in Berlin. They would like to take this opportunity to thank Harald Grosse, Hermann Nicolai and Stephan Theisen for their hospitality.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Funded by SCOAP3 / License Version CC BY 4.0.
About this article
Cite this article
Burić, M., Madore, J. On noncommutative spherically symmetric spaces. Eur. Phys. J. C 74, 2820 (2014). https://doi.org/10.1140/epjc/s10052-014-2820-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-014-2820-8