In recent years, great success has been achieved on the classification of symmetry-protected topological (SPT) phases for interacting fermion systems by using generalized cohomology theory. However, the explicit calculation of generalized cohomology theory is extremely hard due to the difficulty of computing obstruction functions. In this paper, based on the physical picture of topological invariants and mathematical techniques in homotopy algebra, we develop an algorithm to resolve this hard problem. It is well known that cochains in the cohomology of the symmetry group, which are used to enumerate the SPT phases, can be expressed equivalently in different linear bases, known as the resolutions. By expressing the cochains in a reduced resolution containing much fewer basis than the choice commonly used in previous studies, the computational cost is drastically reduced. In particular, it reduces the computational cost for infinite discrete symmetry groups, like the wallpaper groups and space groups, from infinity to finity. As examples, we compute the classification of two-dimensional interacting fermionic SPT phases, for all 17 wallpaper symmetry groups.

We extend our previous proof of the positive mass conjecture to allow a more general asymptotic condition proposed by York. Hence we are able to prove that for an isolated physical system, the energy momentum four vector is a future timelike vector unless the system is trivial. Furthermore, we allow singularities of the type of black holes.

We consider the Cauchy problem for the massless scalar wave equation in the Kerr geometry for smooth initial data compactly supported outside the event horizon. We prove that the solutions decay in time in <i>L</i>  _loc. The proof is based on a representation of the solution as an infinite sum over the angular momentum modes, each of which is an integral of the energy variable <i></i> on the real line. This integral representation involves solutions of the radial and angular ODEs which arise in the separation of variables.

The phase space of a particle or a mechanical system contains an intrinsic symplectic structure, and hence, it is a symplectic manifold. Recently, new invariants for symplectic manifolds in terms of cohomologies of differential forms have been introduced by Tseng and Yau. Here, we discuss the physical motivation behind the new symplectic invariants and analyze these invariants for phase space, i.e., the non-compact cotangent bundle.

We explore how introducing a non-trivial Mordell-Weil group changes the structure of the Coulomb phases of a five-dimensional gauge theory from an M-theory compactified on an elliptically fibered Calabi-Yau threefolds with a I _2 + I _2 collision of singularities. The resulting gauge theory has a semi-simple Lie algebra _2 or _2 . We compute topological invariants relevant for the physics, such as the Euler characteristic, Hodge numbers, and triple intersection numbers. We determine the matter representation geometrically by computing weights via intersection of curves and fibral divisors. We fix the number of charged hypermultiplets transforming in each representations by comparing the triple intersection numbers and the one-loop prepotential. This condition is enough to fix the number of representation when the Mordell-Weil group is _2 but not when it is trivial. The vanishing of the fourth power of the curvature forms in the anomaly polynomial is enough to fix the number of representations. We discuss anomaly cancellations of the six-dimensional uplifted. In particular, the gravitational anomaly is also considered as the Hodge numbers are computed explicitly without counting the degrees of freedom of the Weierstrass equation.