Let the double hyperbolic space @math , proposed in this paper as an extension of the hyperbolic space @math and homeomorphic to the standard unit @math -sphere @math , contain both the two sheets of the two-sheeted hyperboloid (but with the geodesics in the lower sheet @math negatively , and so is the associated volume element of @math if @math is odd), which are connected at the boundary at infinity by identifying @math projectively. We propose to extend the volume of the polytopes in @math to polytopes in @math , where the volume can possibly be complex valued. With a proper interpretation and choice of the extension in each dimension, we prove a Schl " a fli differential formula for @math , and show that the total volume of @math is equal to @math , for both even and odd dimensions. A Schl " a fli differential formula for @math is also explored when @math is odd. As a dual of @math , an extension of the de Sitter space is proposed, which is compact without boundary and homeomorphic to @math .
In fact, the extended space Cho and Kim @cite_7 considered is a double covering of the projective space and homeomorphic to the standard @math -sphere @math . It can be viewed as obtained from a radial projection from the origin of @math that maps the two-sheeted hyperboloid and the de Sitter space to the unit sphere @math . And then changing the induced metric on the de Sitter part from @math to @math , namely, changing the spacelike geodesics to timelike geodesics, and vice versa.
@cite_7
2106320975 2162227770 2004482079 2010548775
We define and study an extended hyperbolic space which contains the hyperbolic space and de Sitter space as subspaces and which is obtained as an analytic continuation of the hyperbolic space. The construction of the extended space gives rise to a complex valued geometry consistent with both the hyperbolic and de Sitter space. Such a construction inspires a new concrete insight for the study of the hyperbolic geometry and Lorentzian geometry as a unified object. We also discuss the advantages of this new geometric model as well as some of its applications. It is shown that for small, spherically symmetric perturbations of asymptotically flat two-ended Reissner–Nordstrom data for the Einstein–Maxwell-real scalar field system, the boundary of the dynamic spacetime which evolves is globally represented by a bifurcate null hypersurface across which the metric extends continuously. Under additional assumptions, it is shown that the Hawking mass blows up identically along this bifurcate null hypersurface, and thus the metric cannot be extended twice differentiably; in fact, it cannot be extended in a weaker sense characterized at the level of the Christoffel symbols. The proof combines estimates obtained in previous work with an elementary Cauchy stability argument. There are no restrictions on the size of the support of the scalar field, and the result applies to both the future and past boundary of spacetime. In particular, it follows that for an open set in the moduli space of solutions around Reissner–Nordstrom, there is no spacelike component of either the future or the past singularity. We consider a spherically symmetric, double characteristic initial value problem for the (real) Einstein-Maxwell-scalar field equations. On the initial outgoing characteristic, the data is assumed to satisfy the Price law decay widely believed to hold on an event horizon arising from the collapse of an asymptotically flat Cauchy surface. We establish that the heuristic mass inflation scenario put forth by Israel and Poisson is mathematically correct in the context of this initial value problem. In particular, the maximal future development has a future boundary over which the space-time is extendible as a C0 metric but along which the Hawking mass blows up identically; thus, the space-time is inextendible as a C1 metric. In view of recent results of the author in collaboration with I. Rodnianski, which rigorously establish the validity of Price's law as an upper bound for the decay of scalar field hair, the C0 extendibility result applies to the collapse of complete, asymptotically flat, spacelike initial data where the scalar field is compactly supported. This shows that under Christodoulou's C0 formulation, the strong cosmic censorship conjecture is false for this system. © 2005 Wiley Periodicals, Inc. This paper describes a generalized axiomatic scale-space theory that makes it possible to derive the notions of linear scale-space, affine Gaussian scale-space and linear spatio-temporal scale-space using a similar set of assumptions (scale-space axioms). The notion of non-enhancement of local extrema is generalized from previous application over discrete and rotationally symmetric kernels to continuous and more general non-isotropic kernels over both spatial and spatio-temporal image domains. It is shown how a complete classification can be given of the linear (Gaussian) scale-space concepts that satisfy these conditions on isotropic spatial, non-isotropic spatial and spatio-temporal domains, which results in a general taxonomy of Gaussian scale-spaces for continuous image data. The resulting theory allows filter shapes to be tuned from specific context information and provides a theoretical foundation for the recently exploited mechanisms of shape adaptation and velocity adaptation, with highly useful applications in computer vision. It is also shown how time-causal spatio-temporal scale-spaces can be derived from similar assumptions. The mathematical structure of these scale-spaces is analyzed in detail concerning transformation properties over space and time, the temporal cascade structure they satisfy over time as well as properties of the resulting multi-scale spatio-temporal derivative operators. It is also shown how temporal derivatives with respect to transformed time can be defined, leading to the formulation of a novel analogue of scale normalized derivatives for time-causal scale-spaces. The kernels generated from these two types of theories have interesting relations to biological vision. We show how filter kernels generated from the Gaussian spatio-temporal scale-space as well as the time-causal spatio-temporal scale-space relate to spatio-temporal receptive field profiles registered from mammalian vision. Specifically, we show that there are close analogies to space-time separable cells in the LGN as well as to both space-time separable and non-separable cells in the striate cortex. We do also present a set of plausible models for complex cells using extended quasi-quadrature measures expressed in terms of scale normalized spatio-temporal derivatives. The theories presented as well as their relations to biological vision show that it is possible to describe a general set of Gaussian and or time-causal scale-spaces using a unified framework, which generalizes and complements previously presented scale-space formulations in this area.