Twisted supergravity is supergravity in a background where the bosonic ghost field takes a non-zero value. This is the supergravity counterpart of the familiar concept of twisting supersymmetric field theories. In this paper, we give conjectural descriptions of type IIA and IIB supergravity in 10 dimensions. Our conjectural descriptions are in terms of the closed-string field theories associated to certain topological string theories, and we conjecture that these topological string theories are twists of the physical string theories. For type IIB, the results of [CL15] show that our candidate twisted supergravity theory admits a unique quantization in perturbation theory. This is despite the fact that the theories, like the original physical theories, are non-renormalizable. Although we do not prove our conjectures, we amass considerable evidence. We find that our candidates for the twisted supergravity theories contain the residual supersymmetry one would expect. We also prove (using heavily a result of Baulieu [Bau10]) the open string version of our conjecture: the theory living on a brane in the topological string theory is a twist of the maximally supersymmetric gauge theory liv- ing on the brane in the physical string theory.

Three dimensional Einstein gravity with negative cosmological constant -1/\ell^2 deformed by a gravitational Chern-Simons action with coefficient 1/\mu is studied in an asymptotically AdS_3 spacetime. It is argued to violate unitary or positivity for generic \mu due to negative-energy massive gravitons. However at the critical value \mu\ell=1, the massive gravitons disappear and BTZ black holes all have mass and angular momentum related by \ell M=J. The corresponding chiral quantum theory of gravity is conjectured to exist and be dual to a purely right-moving boundary CFT with central charges (c_L,c_R)=(0,3\ell /G).

The classical Minkowski formula is extended to spacelike codimension-two submanifolds in spacetimes which admit "hidden symmetry" from conformal Killing-Yano two-forms. As an application, we obtain an Alexandrov type theorem for spacelike codimension-two submanifolds in a static spherically symmetric spacetime: a codimension-two submanifold with constant normalized null expansion (null mean curvature) must lie in a shear-free (umbilical) null hypersurface. These results are generalized for higher order curvature invariants. In particular, the notion of mixed higher order mean curvature is introduced to highlight the special null geometry of the submanifold. Finally, Alexandrov type theorems are established for spacelike submanifolds with constant mixed higher order mean curvature, which are generalizations of hypersurfaces of constant Weingarten curvature in the Euclidean space.

We explore the higher-form generalized global symmetries and higher anomalies based on a generalized cobordism theory. Our cobordism calculation guides us to classify higher anomalies and topological terms for Yang-Mills (YM) gauge theories and sigma models in various dimensions. Some of YM gauge theories can be obtained from dynamically gauging the SU(N) time-reversal symmetric cobordism invariants (SU(N)-generalized topological superconductors/insulators [arXiv:1711.11587]). We elaborate the cases of YM theory with a compact Lie gauge group (such as SU(N) with N=2, 3 and others) particularly in a 4d spacetime. We provide the relevant homotopy and cobordism group calculations of higher classifying spaces, based on mathematical tools of algebraic topology, to support the physics stories.

We quantize the interaction of gravity with Yang-Mills and spinor fields, hence offering a quantum theory incorporating all four fundamental forces of nature. Let as abbreviate the spatial Hamilton functions of the Standard Model by $H_{SM}$ and the Hamilton function of gravity by $H_G$. Working in a fiber bundle $E$ with base space $\socc=\R[n]$, where the fiber elements are Riemannian metrics, we can express the Hamilton functions in the form $H_G+H_{SM}=H_G+t^{-\frac23}\tilde H_{SM}$ if $n=3$, where $\tilde H_{SM}$ depends on metrics $\s_{ij}$ satisfying $\det{\s_{ij}}=1$. In the quantization process, we quantize $H_G$ for general $\s_{ij}$ but $\tilde H_{SM}$ only for $\s_{ij}=\de_{ij}$ by the usual methods of QFT. Let $v$ \resp $\psi$ be the spatial eigendistributions of the respective Hamilton operators, then, the solutions $u$ of the Wheeler-DeWitt equation are given by $u=wv\psi$, where $w$ satisfies an ODE and $u$ is evaluated at $(t,\de_{ij})$ in the fibers.