Further Results on the Smoothability of Cauchy Hypersurfaces and Cauchy Time Functions

Recently, folk questions on the smoothability of Cauchy hypersurfaces and time functions of a globally hyperbolic spacetime M, have been solved. Here we give further results, applicable to several problems:

On Smooth Cauchy Hypersurfaces and Geroch’s Splitting Theorem

Given a globally hyperbolic spacetime M, we show the existence of a smooth spacelike Cauchy hypersurface S and, thus, a global diffeomorphism between M and ×S.The second-named author has been partially supported by a MCyT-FEDER Grant BFM2001-2871-C04-01.     

Hyper-Kähler Metrics Conformal to Left Invariant Metrics on Four-Dimensional Lie Groups

Let g be a hyper-Hermitian metric on a simply connected hypercomplex four-manifold (M,). We show that when the isometry group I(M,g) contains a subgroup G acting simply transitively on M by hypercomplex isometries, then the metric g is conformal to a hyper-Kähler metric. We describe explicitely the corresponding hyper-Kähler metrics, which are of cohomegeneity one with respect to a 3-dimensional normal subgroup of G. It follows that, in four dimensions, these are the only hyper-Kähler metrics containing a homogeneous metric in its conformal class.     

Determinism in space-time

Generalizing a definition given by Budic and Sachs we define the set (M) of deterministic points of a space-timeM, and show that (M) Ø implies thatM admits compact achronal slices. Further we give a new characterization of space-times with (M)=M. The relation between determinism, existence of particle horizons, and visible Cauchy surfaces is investigated.     

Higher Spin Conserved Currents in Sp(2M) Symmetric Spacetime

An infinite set of higher spin conserved charges is found for the sp(2M) symmetric dynamical systems in M(M+ 1)/2-dimensional generalized spacetime _M. Since the dynamics in _M is equivalent to the conformal dynamics of infinite towers of fields in d-dimensional Minkowski spacetime with d = 3, 4, 6, 10, ... for M = 2, 4, 8, 16, ..., respectively, the constructed currents in _M generate infinite towers of (mostly new) higher spin conformal currents in Minkowski spacetime. The charges have a form of integrals of M-forms which are bilinear in the field variables and are closed as a consequence of the field equations. Conservation implies independence of a value of charge of a local variation of a M-dimensional integration surface _M analogous to Cauchy surface in the usual spacetime. The scalar conserved charge provides an invariant bilinear form on the space of solutions of the field equations that gives rise to a positive-definite norm on the space of quantum states.     

(1+2)-Dimensional model of the early universe

An anisotropic cosmological model is obtained by solving (1+3)-dimensional field equations. The topology of the model isR ¹ M ² S ¹, whereR ¹ is the real line (time axis),M ² is 2-dimensional space, andS ¹ is the circle. Employing the method of Kaluza-Klein type compactification onS ¹ and one-loop quantum correction to scalar fields, an effective (1+2)-dimensional gravity is obtained. The resulting (1+2)-dimensional cosmological model of the early universe is derived.     

New Infinite Series of Einstein Metrics on Sphere Bundles from AdS Black Holes

A new infinite series of Einstein metrics is constructed explicitly on S²×S³, and the non-trivial S³-bundle over S², containing infinite numbers of inhomogeneous ones. They appear as a certain limit of 5-dimensional AdS Kerr black holes. In the special case, the metrics reduce to the homogeneous Einstein metrics studied by Wang and Ziller. We also construct an inhomogeneous Einstein metric on the non-trivial S^d–2-bundle over S² from a d-dimensional AdS Kerr black hole. Our construction is a higher dimensional version of the method of Page, which gave an inhomogeneous Einstein metric on      

A method of reduction of Einstein's equations of evolution and a natural symplectic structure on the space of gravitational degrees of freedom

A program is outlined which addresses the problem of thereduction of Einstein's equations, namely, that of writing Einstein's vacuum equations in (3+1)-dimensions as anunconstrained dynamical system where the variables are thetrue degrees of freedom of the gravitational field. Our analysis is applicable for globally hyperbolic Ricci-flat spacetimes that admit constant mean curvature compact orientable spacelike Cauchy hypersurfaces M with degM=0 andM not diffeomorphic toF ₆, the underlying manifold of a certain compact orientable flat affine 3-manifold. We find that for these spacetimes, modulo the extended Poincaré conjecture and the use of local cross-sections rather than a global cross-section, (3+1)-reduction can be completed much as in the (2+1)-dimensional case. In both cases, one gets as the reduced phase space the cotangent bundleT ^* T _M of theTeichmüller space T _M of conformal structures onM, whereM is a given initial constant mean curvature compact orientable spacelike Cauchy hypersurface in a spacetime (V, g _V ), and one gets reduction of the full classical non-reduced Hamiltonian system with constraints to a reduced Hamiltonian system without constraints onT ^* T _M . For these reduced systems, the time parameter is the parameter of a family of monotonically increasing constant mean curvature compact orientable spacelike Cauchy hypersurfaces in a neighborhood of a given initial one. In the (2+1)-dimensional case, the Hamiltonian is the area functional of these hypersurfaces, and in the (3+1)-dimensional case, the Hamiltonian is the volume functional of these hypersurfaces.     

Differential entropy and tiling

This paper relates the differential entropy of a sufficiently nice probability density functionp on Euclideann-space to the problem of tilingn-space by the translates of a given compact symmetric convex setS with nonempty interior. The relationship occurs via the concept of the epsilon entropy ofn-space under the norm induced byS, with probability induced byp. An expression is obtained for this entropy as approaches 0, which equals the differential entropy ofp, plusn times the logarithm of 2/, plus the logarithm of the reciprocal of the volume ofS, plus a constantC(S) depending only onS, plus a term approaching zero with. The constantC(S) is called the entropic packing constant ofS; the main results of the paper concern this constant. It is shown thatC(S) is between 0 and 1; furthermore,C(S) is zero if and only if translates ofS tile all ofn-space.This paper presents the results of one phase of research carried out at the Jet Propulsion Laboratory, California Institute of Technology, under Contract No. NAS 7-100, sponsored by the National Aeronautics and Space Administration.     

Stabilization of the Hierarchy in Brane-World Scenarios

We consider a class of warped brane models with topology M ₄ × × S¹/Z ₂, where is a D₂-dimensional compact manifold, and two branes are placed at the orbifold fixed points. In a scenario where supersymmetry is broken not far below the cutoff scale, the hierarchy between the electroweak and the Planck scales is generated by a combination of the redshift and the large volume effects. We evaluate the effective potential induced by bulk scalar fields in these models and show that it can stabilize the moduli and the hierarchy without fine-tuning, provided that the internal space is flat. We also comment on the relation between these models and the five-dimensional scalar-tensor models that describe them classically when the compactification scale is small.     

Curvature and closed trapped surfaces in 4-dimensional space-times

The way a spacelike surfaceH sits in a 4-dimensional space-timeM may be measured by the average null curvature function _H and the shape function _H ofH. Relations between the shape function _H of a spaceiike surfaceH and curvature of a 4-dimensional space-time obeying the Einstein equation are investigated. Some relations between the shape functions of compact spacelike surfaces and infinite curvature are obtained and discussed. Assuming some curvature conditions, some results concerning the evolution of closed trapped surfaces from a restricted type of marginally trapped surfaces diffeomorphic toS ² are obtained.Based on Chapter 4 of the author's Ph.D. thesis.     

On the phase transition to sheet percolation in random Cantor sets

Thed-dimensional random Cantor set is a generalization of the classical middle-thirds Cantor set. Starting with the unit cube [0, 1] ^d , at every stage of the construction we divide each cube remaining intoM ^d equal subcubes, and select each of these at random with probabilityp. The resulting limit set is a random fractal, which may be crossed by paths or (d–1)-dimensional sheets. We examine the critical probabilityp _s(M, d) marking the existence of these sheet crossings, and show that p_s(M,d)1–p_c(M ^d) asM, where p_c(M ^d) is the critical probability of site percolation on the lattice (M ^d) obtained by adding the diagonal edges to the hypercubic lattice ^d. This result is then used to show that, at least for sufficiently large values ofM, the phases corresponding to the existence of path and sheet crossings are distinct.     

Scalar Curvature Deformation and a Gluing Construction for the Einstein Constraint Equations

On a compact manifold, the scalar curvature map at generic metrics is a local surjection [F-M]. We show that this result may be localized to compact subdomains in an arbitrary Riemannian manifold. The method is extended to establish the existence of asymptotically flat, scalar-flat metrics on ℝ ⁿ (n≥ 3) which are spherically symmetric, hence Schwarzschild, at infinity, i.e. outside a compact set. Such metrics provide Cauchy data for the Einstein vacuum equations which evolve into nontrivial vacuum spacetimes which are identically Schwarzschild near spatial infinity. Received: 8 November 1999 / Accepted: 27 March 2000     

Symmetries of Einstein-Yang-Mills fields and dimensional reduction

LetE be a manifold on which a compact Lie groupS acts simply (all orbits of the same type);E can be written locally asM×S/I,M being the manifold of orbits (space-time) andI a typical isotropy group for theS action. We study the geometrical structure given by anS-invariant metric and anS-invariant Yang Mills field onE with gauge groupR. We show that there is a one to one correspondence between such structures and quadruplets of fields defined solely onM; _v is a metric onM,h are scalar fields characterizing the geometry of the orbits (internal spaces), ⁱ are other scalar fields (Higgs fields) characterizing theS invariance of the Lie(R)-valued Yang Mills field and is a Yang Mills field for the gauge groupN(I)|I×Z((I)),N(I) being the normalizer ofI inS, is a homomorphism ofI intoR associated to theS action, andZ((I)) is the centralizer of(I) inR. We express the Einstein-Yang-Mills Lagrangian ofE in terms of the component fields onM. Examples and model building recipes are given.     

Completeness of inner product spaces with respect to splitting subspaces

The set E(S) of all splitting subspaces, i.e., of all subspaces M of an inner product space S for which MM =S holds, is an orthocomplemented orthomodular orthoposet and it has already been shown that the ordering property on E(S) of being a complete lattice characterizes the completeness of inner product spaces. In this work this last result is generalized proving that S is a Hilbert space under the weaker request that E(S) is a -lattice. As a marginal result, we also prove that an inner product space is complete if and only if the complete lattice (S) of all subspaces is orthomodular.     

Conformal changes and geodesic completeness

Let (M, g) be a causal spacetime. ConditionN will be satisfied if for each compact subsetK ofM there is no future inextendible nonspacelike curve which is totally future imprisoned inK. IfM satisfies conditionN, then wheneverE is an open and relatively compact subset ofM the spacetimeE with the metricg restricted toE is stably causal. Furthermore, there is a conformal factor such that (M, ² g) is both null and timelike geodesically complete. IfM is an open subset of two dimensional Minkowskian space, thenM is conformal to a geodesically complete spacetime.     

Gravity from Lie Algebroid Morphisms

Inspired by the Poisson Sigma Model and its relation to 2d gravity, we consider models governing morphisms from T to any Lie algebroid E, where is regarded as a d-dimensional spacetime manifold. We address the question of minimal conditions to be placed on a bilinear expression in the 1-form fields, S^ij(X)A_iAj, so as to permit an interpretation as a metric on . This becomes a simple compatibility condition of the E-tensor S with the chosen Lie algebroid structure on E. For the standard Lie algebroid E=TM the additional structure is identified with a Riemannian foliation of M, in the Poisson case E=T^*M with a sub-Riemannian structure which is Poisson invariant with respect to its annihilator bundle. (For integrable image of S, this means that the induced Riemannian leaves should be invariant with respect to all Hamiltonian vector fields of functions which are locally constant on this foliation). This provides a huge class of new gravity models in d dimensions, embedding known 2d and 3d models as particular examples.     

A New Algebraic Criterion for Completeness of Inner Product Spaces

We show that an inner product space S is complete whenever the system E(S) of all splitting subspaces of S, i.e., of all subspaces M of S such that M + M = S holds, satisfies the -Riesz interpolation property. This generalizes the result of H. Gross and H. Keller who required E(S) to be a complete lattice, of G. Cattaneo and G. Marino who required E(S) to be a -complete lattice, and that of the author who required E(S) to be a -orthocomplete OMP.     

Linear Perturbations of Quaternionic Metrics

We extend the twistor methods developed in our earlier work on linear deformations of hyperkähler manifolds [1] to the case of quaternionic-Kähler manifolds. Via Swann’s construction, deformations of a 4d-dimensional quaternionic-Kähler manifold ${\mathcal{M}}We extend the twistor methods developed in our earlier work on linear deformations of hyperk?hler manifolds [1] to the case of quaternionic-K?hler manifolds. Via Swann’s construction, deformations of a 4d-dimensional quaternionic-K?hler manifold M{\mathcal{M}} are in one-to-one correspondence with deformations of its 4d + 4-dimensional hyperk?hler cone S{\mathcal{S}}. The latter can be encoded in variations of the complex symplectomorphisms which relate different locally flat patches of the twistor space Z_S{\mathcal{Z}_\mathcal{S}}, with a suitable homogeneity condition that ensures that the hyperk?hler cone property is preserved. Equivalently, we show that the deformations of M{\mathcal{M}} can be encoded in variations of the complex contact transformations which relate different locally flat patches of the twistor space Z_M{\mathcal{Z}_\mathcal{M}} of M{\mathcal{M}}, by-passing the Swann bundle and its twistor space. We specialize these general results to the case of quaternionic-K?hler metrics with d + 1 commuting isometries, obtainable by the Legendre transform method, and linear deformations thereof. We illustrate our methods for the hypermultiplet moduli space in string theory compactifications at tree- and one-loop level.