Constant Mean Curvature Spacelike Surfaces in Three-Dimensional Generalized Robertson–Walker Spacetimes

Several uniqueness and non-existence results on complete constant mean curvature spacelike surfaces lying between two slices in certain three-dimensional generalized Robertson–Walker spacetimes are given. They are obtained from a local integral estimation of the squared length of the gradient of a distinguished smooth function on a constant mean curvature spacelike surface, under a suitable curvature condition on the ambient spacetime. As a consequence, all the entire bounded solutions to certain family of constant mean curvature spacelike surface differential equations are found.     

Initial Data Engineering

We present a local gluing construction for general relativistic initial data sets. The method applies to generic initial data, in a sense which is made precise. In particular the trace of the extrinsic curvature is not assumed to be constant near the gluing points, which was the case for previous such constructions. No global conditions on the initial data sets such as compactness, completeness, or asymptotic conditions are imposed. As an application, we prove existence of spatially compact, maximal globally hyperbolic, vacuum space-times without any closed constant mean curvature spacelike hypersurface.Partially supported by a Polish Research Committee grant 2 P03B 073 24Partially supported by the NSF under Grants PHY-0099373 and PHY-0354659Partially supported by the NSF under Grant DMS-0305048 and the UW Royalty Research Fund     

Biharmonic Submanifolds with Parallel Mean Curvature Vector in Pseudo-Euclidean Spaces

In this paper, we investigate biharmonic submanifolds in pseudo-Euclidean spaces with arbitrary index and dimension. We give a complete classification of biharmonic spacelike submanifolds with parallel mean curvature vector in pseudo-Euclidean spaces. We also determine all biharmonic Lorentzian surfaces with parallel mean curvature vector field in pseudo-Euclidean spaces.     

Effective action and cluster properties of the abelian Higgs model

We continue our program to establish the Higgs mechanism and mass gap for the abelian Higgs model in two and three dimensions. We develop a multiscale cluster expansion for the high frequency modes of the theory, within a framework of iterated renormalization group transformations. The expansions yield decoupling properties needed for a proof of exponential decay of correlations. The result of this analysis is a gauge invariant unit lattice theory with a deep Higgs potential of the shape required to exhibit the Higgs mechanism.Research partially supported by the National Science Foundation under Grant DMS-8602207 and by the Air Force Office of Scientific Research under Grant AFOSR-86-0229Alfred P. Sloan Research Fellow. Research partially supported by the National Science Foundation under Grants PHY-84-13285 and PHY-85-13554Research partially supported by the National Science Foundation under Grant PHY-85-13554     

Foliations of space-times by spacelike hypersurfaces of constant mean curvature

The foliations under discussion are of two different types, although in each case the leaves areC ² spacelike hypersurfaces of constant mean curvature. For manifolds, such as that of the Friedmann universe with closed spatial sections, which are topologicallyI×S ³,I an open interval, the leaves will be spacelike hypersurfaces without boundary and the foliation will fill the manifold. In the case of the domain of dependence of a spacelike hypersurface,S, with boundaryB, the leaves will be spacelike hypersurfaces with boundary,B, and the foliation will fillD(S). It is shown that a local energy condition ensures that the constant mean curvature increases monotonically with time through such foliations and that, in the case of a foliation whose leaves are spacelike hypersurfaces without boundary in a manifold where this energy condition is satisfied globally, the foliation is unique.     

Complete spacelike submanifolds with parallel mean curvature vector in a semi-Riemannian space form

In this work we obtain a gap theorem for spacelike submanifolds with parallel mean curvature vector in a semi-Riemannian space form.     

Mean field upper bound on the transition temperature in multicomponent ferromagnets

Using local Ward identities and a new correlation inequality, we prove that the mean field transition temperature is an upper bound on the true transition temperature in multicomponent Heisenberg-type classical ferromagnets.Research partially supported by the NSF under Grant MCS-78-01885.     

A generalization of the concept of constant mean curvature and canonical time

Some compact spaces of achronal hypersurfaces are constructed in various types of space-time. A variational principle is introduced on these spaces, smooth extremals of which are spacelike hypersurfaces of constant mean curvature. The integrand of the variational principle is shown to be upper semicontinuous and the direct methods of the calculus of variations are applied to obtain aC ⁰ extremal, which is defined to be a spacelike hypersurface of generalized constant mean curvature. The family of such hypersurfaces generated by altering the value of the mean curvature is discussed and the mean curvature itself is shown to have many of the properties of a canonical time coordinate.     

Local foliations and optimal regularity of Einstein spacetimes

We investigate the local regularity of pointed spacetimes, that is, time-oriented Lorentzian manifolds in which a point and a future-oriented, unit timelike vector (an observer) are selected. Our main result covers the class of Einstein vacuum spacetimes. Under curvature and injectivity bounds only, we establish the existence of a local coordinate chart defined in a ball with definite size in which the metric coefficients have optimal regularity. The proof is based on quantitative estimates for, on one hand, a constant mean curvature (CMC) foliation by spacelike hypersurfaces defined locally near the observer and, on the other hand, the metric in local coordinates that are spatially harmonic in each CMC slice. The results and techniques in this paper should be useful in the context of general relativity for investigating the long-time behavior of solutions to the Einstein equations.     

Pointwise bounds on eigenfunctions and wave packets inN-body quantum systems IV

We systematize the study of reflection positivity in statistical mechanical models, and thereby two techniques in the theory of phase transitions: the method ofinfrared bounds and the chessboard method of estimating contour probabilities in Peierls arguments. We illustrate the ideas by applying them to models with long range interactions in one and two dimensions. Additional applications are discussed in a second paper.Research partially supported by US National Science Foundation under Grant MPS-75-11864Research partially supported by Canadian National Research Council under Grant A4015Research partially supported by US National Science Foundation under Grant MCS-75-21684-A01     

On the mean curvature of spacelike submanifolds in semi-Riemannian manifolds

In this paper we establish some estimates for the higher-order mean curvature of a complete spacelike hypersurface in spacetimes with sectional curvature satisfying certain condition. We also obtain the estimate for the mean curvature of a complete spacelike submanifold in semi-Riemannian space forms.     

On surfaces whose twistor lifts are harmonic sections

We study surfaces whose twistor lifts are harmonic sections, and characterize these surfaces in terms of their second fundamental forms. As a corollary, under certain assumptions for the curvature tensor, we prove that the twistor lift is a harmonic section if and only if the mean curvature vector field is a holomorphic section of the normal bundle. For surfaces in four-dimensional Euclidean space, a lower bound for the vertical energy of the twistor lifts is given. Moreover, under a certain assumption involving the mean curvature vector field, we characterize a surface in four-dimensional Euclidean space in such a way that the twistor lift is a harmonic section, and its vertical energy density is constant.     

Gluing initial data sets for general relativity

We establish an optimal gluing construction for general relativistic initial data sets. The construction is optimal in two distinct ways. First, it applies to generic initial data sets and the required (generically satisfied) hypotheses are geometrically and physically natural. Second, the construction is completely local in the sense that the initial data is left unaltered on the complement of arbitrarily small neighborhoods of the points about which the gluing takes place. Using this construction we establish the existence of cosmological, maximal globally hyperbolic, vacuum space-times with no constant mean curvature spacelike Cauchy surfaces.     

Duality relation for 32-vertex model on the triangular lattice

The duality relation is derived for a vertex model on the triangular lattice. Vertex configurations are limited to the 32 that have an odd number of incoming arrows, and vertex energies are invariant to rotations ofp/3 and reversal of all arrows. Special cases of the model include the triangular Ising model and Baxter's three-spin model, for each of which the duality relation gives the critical temperature.Research supported in part by NSF Grant No. 33535X.     

Derivation of an effective Lagrangian from a generalized scalar curvature

A spinor Lagrangian invariant under global coordinate, local Lorentz and local chiral SU(n) × SU(n) gauge transformations is presented. The invariance requirement necessitates the introduction of boson fields, and a theory for these fields is then developed by relating them to generalizations of the vector connections in general relativity and utilizing an expanded scalar curvature as a boson Lagrangian. In implementing this plan, the local Lorentz group is found to greatly facilitate the correlation of the boson fields occurring in the spinor Lagrangian with the generalized vector connections.The independent boson fields of the theory are assumed to be the inhomogeneously transforming irreducible parts of the connections. It turns out that no homogeneously transforming parts are necessary to reproduce the chiral Lagrangian usually used as a basis for phenomenological field theories. The Lagrangian in question appears when the gravitational interaction is turned off. It includes pseudoscalar, spinor, vector, and axial vector fields, and the vector fields carry mass in spite of the fact that the theory is locally gauge invariant.     

Spacelike hypersurfaces with constant higher order mean curvature in Minkowski space–time

In this paper, we develop a series of general integral formulae for compact spacelike hypersurfaces with hyperplanar boundary in the (n+1)-dimensional Minkowski space–time . As an application of them, we prove that the only compact spacelike hypersurfaces in having constant higher order mean curvature and spherical boundary are the hyperplanar balls (with zero higher order mean curvature) and the hyperbolic caps (with nonzero constant higher order mean curvature). This extends previous results obtained by the first author, jointly with Pastor, for the case of constant mean curvature [J. Geom. Phys. 28 (1998) 85] and the case of constant scalar curvature [Ann. Global Anal. Geom. 18 (2000) 75].     

On uniqueness of the foliation by comoving observers restspaces of a Generalized Robertson–Walker spacetime

A characterization of the foliation by spacelike slices of an \((n+1)\)-dimensional spatially closed Generalized Robertson–Walker spacetime is given by means of studying a natural mean curvature type equation on spacelike graphs. Under some natural assumptions, of physical or geometric nature, all the entire solutions of such an equation are obtained. In particular, the case of entire spacelike graphs in de Sitter spacetime is faced and completely solved by means of a new application of a known integral formula.     

Relative entropy and hydrodynamics of Ginzburg-Landau models

We prove the hydrodynamic limit of Ginzburg-Landau models by considering relative entropy and its rate of change with respect to local Gibbs states. This provides a new understanding of the role played by relative entropy in the hydrodynamics of interacting particle systems.Work partially supported by U.S. National Science Foundation Grant. DMS-8806731 and Army Grant ARO-DAAL 03-88-K-0047.     

Canonical Sasakian Metrics

Let M be a closed manifold of Sasaki type. A polarization of M is defined by a Reeb vector field, and for any such polarization, we consider the set of all Sasakian metrics compatible with it. On this space we study the functional given by the square of the L ²-norm of the scalar curvature. We prove that its critical points, or canonical representatives of the polarization, are Sasakian metrics that are transversally extremal. We define a Sasaki-Futaki invariant of the polarization, and show that it obstructs the existence of constant scalar curvature representatives. For a fixed CR structure of Sasaki type, we define the Sasaki cone of structures compatible with this underlying CR structure, and prove that the set of polarizations in it that admit a canonical representative is open. We use our results to describe fully the case of the sphere with its standard CR structure, showing that each element of its Sasaki cone can be represented by a canonical metric; we compute their Sasaki-Futaki invariant, and use it to describe the canonical metrics that have constant scalar curvature, and to prove that only the standard polarization can be represented by a Sasaki-Einstein metric. During the preparation of this work, the first two authors were partially supported by NSF grant DMS-0504367.     

Spacelike Hypersurfaces with Free Boundary in the Minkowski Space under the Effect of a Timelike Potential

In this paper we consider a variational problem for spacelike hypersurfaces in the (n + 1)-dimensional Lorentz-Minkowski space , whose critical points are hypersurfaces supported in a spacelike hyperplane Π determined by two facts: the mean curvature is a linear function of the distance to Π and the hypersurface makes a constant angle with Π along its boundary. We prove that the hypersurface is rotational symmetric with respect to a straight-line orthogonal to Π and that each (non-empty) intersection with a parallel hyperplane to Π is a round (n − 1)-sphere. A similar result is proved for hypersurfaces trapped between two parallel hyperplanes.