Existence of families of spacetimes with a Newtonian limit

J\"urgen Ehlers developed \emph{frame theory} to better understand the relationship between general relativity and Newtonian gravity. Frame theory contains a parameter $\lambda$, which can be thought of as $1/c^2$, where $c$ is the speed of light. By construction, frame theory is equivalent to general relativity for $\lambda >0$, and reduces to Newtonian gravity for $\lambda =0$. Moreover, by setting \ep=\sqrt{\lambda}, frame theory provides a framework to study the Newtonian limit \ep \searrow 0 (i.e. $c\to \infty$). A number of ideas relating to frame theory that were introduced by J\"urgen have subsequently found important applications to the rigorous study of both the Newtonian limit and post-Newtonian expansions. In this article, we review frame theory and discuss, in a non-technical fashion, some of the rigorous results on the Newtonian limit and post-Newtonian expansions that have followed from J\"urgen's work

Cosmological post-Newtonian expansions to arbitrary order

We prove the existence of a large class of one parameter families of solutions to the Einstein-Euler equations that depend on the singular parameter \ep=v_T/c (0<\ep < \ep_0), where $c$ is the speed of light, and $v_T$ is a typical speed of the gravitating fluid. These solutions are shown to exist on a common spacetime slab M\cong [0,T)\times \Tbb^3, and converge as \ep \searrow 0 to a solution of the cosmological Poisson-Euler equations of Newtonian gravity. Moreover, we establish that these solutions can be expanded in the parameter \ep to any specified order with expansion coefficients that satisfy \ep-independent (nonlocal) symmetric hyperbolic equations

Post-Newtonian expansions for perfect fluids

We prove the existence of a large class of dynamical solutions to the Einstein-Euler equations that have a first post-Newtonian expansion. The results here are based on the elliptic-hyperbolic formulation of the Einstein-Euler equations used in \cite{Oli06}, which contains a singular parameter \ep = v_T/c, where $v_T$ is a characteristic velocity associated with the fluid and $c$ is the speed of light. As in \cite{Oli06}, energy estimates on weighted Sobolev spaces are used to analyze the behavior of solutions to the Einstein-Euler equations in the limit \ep\searrow 0, and to demonstrate the validity of the first post-Newtonian expansion as an approximation

The Baum-Connes Conjecture via Localisation of Categories

We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant homology theories, not just for the K-theory of the crossed product. We extend many of the known techniques for proving the Baum-Connes conjecture to this more general setting

Finitely-Generated Projective Modules over the Theta-deformed 4-sphere

We investigate the "theta-deformed spheres" C(S^{3}_{theta}) and C(S^{4}_{theta}), where theta is any real number. We show that all finitely-generated projective modules over C(S^{3}_{theta}) are free, and that C(S^{4}_{theta}) has the cancellation property. We classify and construct all finitely-generated projective modules over C(S^{4}_{\theta}) up to isomorphism. An interesting feature is that if theta is irrational then there are nontrivial "rank-1" modules over C(S^{4}_{\theta}). In that case, every finitely-generated projective module over C(S^{4}_{\theta}) is a sum of a rank-1 module and a free module. If theta is rational, the situation mirrors that for the commutative case theta=0.Comment: 34 page

Desingularization of vortices for the Euler equation

We study the existence of stationary classical solutions of the incompressible Euler equation in the plane that approximate singular stationnary solutions of this equation. The construction is performed by studying the asymptotics of equation -\eps^2 \Delta u^\eps=(u^\eps-q-\frac{\kappa}{2\pi} \log \frac{1}{\eps})_+^p with Dirichlet boundary conditions and $q$ a given function. We also study the desingularization of pairs of vortices by minimal energy nodal solutions and the desingularization of rotating vortices.Comment: 40 page

A Simple Separable Exact C*-Algebra not Anti-isomorphic to Itself

We give an example of an exact, stably finite, simple. separable C*-algebra D which is not isomorphic to its opposite algebra. Moreover, D has the following additional properties. It is stably finite, approximately divisible, has real rank zero and stable rank one, has a unique tracial state, and the order on projections over D is determined by traces. It also absorbs the Jiang-Su algebra Z, and in fact absorbs the 3^{\infty} UHF algebra. We can also explicitly compute the K-theory of D, namely K_0 (D) = Z[1/3] with the standard order, and K_1 (D) = 0, as well as the Cuntz semigroup of D.Comment: 16 pages; AMSLaTeX. The material on other possible K-groups for such an algebra has been moved to a separate paper (1309.4142 [math.OA]

Cartan subalgebras and the UCT problem, II

We show that outer approximately represenbtable actions of a finite cyclic group on UCT Kirchberg algebras satisfy a certain quasi-freeness type property if the corresponding crossed products satisfy the UCT and absorb a suitable UHF algebra tensorially. More concretely, we prove that for such an action there exists an inverse semigroup of homogeneous partial isometries that generates the ambient C*-algebra and whose idempotent semilattice generates a Cartan subalgebra. We prove a similar result for actions of finite cyclic groups with the Rokhlin property on UCT Kirchberg algebras absorbing a suitable UHF algebra. These results rely on a new construction of Cartan subalgebras in certain inductive limits of Cartan pairs. We also provide a characterisation of the UCT problem in terms of finite order automorphisms, Cartan subalgebras and inverse semigroups of partial isometries of the Cuntz algebra $\mathcal{O}_2$. This generalizes earlier work of the authors.Comment: minor revisions; final version, accepted for publication in Math. Ann.; 26 page

The geometry of a vorticity model equation

We provide rigorous evidence of the fact that the modified Constantin-Lax-Majda equation modeling vortex and quasi-geostrophic dynamics describes the geodesic flow on the subgroup of orientation-preserving diffeomorphisms fixing one point, with respect to right-invariant metric induced by the homogeneous Sobolev norm $H^{1/2}$ and show the local existence of the geodesics in the extended group of diffeomorphisms of Sobolev class $H^{k}$ with $k\ge 2$.Comment: 24 page