In this summary article, we review and discuss the non-existence of stationary black hole solutions for the Einstein-Dirac-Maxwell equations.

Narain lattices are unimodular lattices {\it in} $\R^{r, s} $, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2, 2} $ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2, 2} $, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects--rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice U^ 2, and isomorphisms of discriminant groups of rank 2 lattices.

We define new energy momentum surface density and quasilocal mass for the boundary surface of a spacelike region in spacetime. Isometric embeddings of such a surface into the Minkowski space are used as reference surfaces in the definition. When the reference surface lies in a flat three-dimensional space slice of the Minkowski space, our expression recovers the Brown-York and Liu-Yau quasilocal mass. Moreover, we prove the positivity of the new quasilocal mass under the dominant energy condition and show that it is zero for surfaces in the Minkowski space.

Unit tangent bundle of a surface carries various information of tangent vector fields on that surface. For 2-spheres (ie genus-zero closed surfaces), the unit tangent bundle is a closed 3-manifold that has non-trivial topology and cannot be embedded in R3. Therefore it cannot be constructed by existing mesh generation algorithms directly. This work aims at the first discrete construction of unit tangent bundles over 2-spheres using tetrahedral meshes. We propose a two-stage algorithm for the construction, which starts from constructing two local bundles and then combines them into a global bundle.

Alexandrov proved that any simplicial complex homeomorphic to a sphere with strictly non-negative Gaussian curvature at each vertex can be isometrically embedded uniquely in {{\mathbb {R}}}^{3} as a convex polyhedron. Due to the nonconstructive nature of his proof, there have yet to be any algorithms, that we know of, that realizes the Alexandrov embedding in polynomial time. Following his proof, we developed the adiabatic isometric mapping (AIM) algorithm. AIM uses a guided adiabatic pull-back procedure on a given polyhedral metric to produce an embedding that approximates the unique Alexandrov polyhedron. Tests of AIM applied to two different polyhedral metrics suggests that its run time is sub cubic with respect to the number of vertices. Although Alexandrov's theorem specifically addresses the embedding of convex polyhedral metrics, we tested AIM on a broader class of polyhedral metrics that included regions of