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 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.

We define quasi-local conserved quantities in general relativity by using the optimal isometric embedding in Wang and Yau (Commun Math Phys 288(3):919–942, 2009) to transplant Killing fields in the Minkowski spacetime back to the 2-surface of interest in a physical spacetime. To each optimal isometric embedding, a dual element of the Lie algebra of the Lorentz group is assigned. Quasi-local angular momentum and quasi-local center of mass correspond to pairing this element with rotation Killing fields and boost Killing fields, respectively. They obey classical transformation laws under the action of the Poincaré group. We further justify these definitions by considering their limits as the total angular momentum and the total center of mass of an isolated system. These expressions were derived from the Hamilton–Jacobi analysis of the gravitational action and thus satisfy conservation laws. As a result, we obtained an invariant total angular momentum theorem in the Kerr spacetime. For a vacuum asymptotically flat initial data set of order 1, it is shown that the limits are always finite without any extra assumptions. We also study these total conserved quantities on a family of asymptotically flat initial data sets evolving by the vacuum Einstein evolution equation. It is shown that the total angular momentum is conserved under the evolution. For the total center of mass, the classical dynamical formula relating the center of mass, energy, and linear momentum is recovered, in the nonlinear context of initial data sets evolving by the vacuum Einstein evolution equation. The definition of quasi-local angular momentum provides an answer to the second problem in classical general relativity on Penrose’s list (Proc R Soc Lond Ser A 381(1780):53–63, 1982).

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 develop mathematical models describing the evolution of stochastic age-structured populations. After reviewing existing approaches, we formulate a complete kinetic framework for age-structured interacting populations undergoing birth, death and fission processes in spatially dependent environments. We define the full probability density for the population-size age chart and find results under specific conditions. Connections with more classical models are also explicitly derived. In particular, we show that factorial moments for non-interacting processes are described by a natural generalization of the McKendrick-von Foerster equation, which describes mean-field deterministic behavior. Our approach utilizes mixed-type, multidimensional probability distributions similar to those employed in the study of gas kinetics and with terms that satisfy BBGKY-like equation hierarchies.

The first author constructed a q-parameterized spherical category $\sC$ over C(q) in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.

Loewner’s equation provides a way to encode a simply connected domain or equivalently its uniformizing conformal map via a real-valued driving function of its boundary. The first main result of the present paper is that the Dirichlet energy of this driving function (also known as the Loewner energy) is equal to the Dirichlet energy of the log-derivative of the (appropriately defined) uniformizing conformal map. This description of the Loewner energy then enables to tie direct links with regularized determinants and Teichmüller theory: We show that for smooth simple loops, the Loewner energy can be expressed in terms of the zeta-regularized determinants of a certain Neumann jump operator. We also show that the family of finite Loewner energy loops coincides with the Weil–Petersson class of quasicircles, and that the Loewner energy equals to a multiple of the universal Liouville action introduced by Takhtajan and Teo, which is a Kähler potential for the Weil–Petersson metric on the Weil–Petersson Teichmüller space.

The challenge of identifying symmetry-protected topological states (SPTs) is due to their lack of symmetry-breaking order parameters and intrinsic topological orders. For this reason, it is impossible to formulate SPTs under Ginzburg-Landau theory or probe SPTs via fractionalized bulk excitations and topology-dependent ground state degeneracy. However, the partition functions from path integrals with various symmetry twists are the universal SPT invariants defining topological probe responses, fully characterizing SPTs. In this work, we use gauge fields to represent those symmetry twists in closed spacetimes of any dimensionality and arbitrary topology. This allows us to express the SPT invariants in terms of continuum field theory. We show that SPT invariants of pure gauge actions describe the SPTs predicted by group cohomology, while the mixed gauge-gravity actions describe the beyond-group-cohomology SPTs, recently observed by Kapustin. We find new examples of mixed gauge-gravity actions for U(1) SPTs in 4+1D via mixing the gauge first Chern class with a gravitational Chern-Simons term, or viewed as a 5+1D Wess-Zumino-Witten term with a Pontryagin class. We rule out U(1) SPTs in 3+1D mixed with a Stiefel-Whitney class. We also apply our approach to the bosonic/fermionic topological insulators protected by U(1) charge and Z_2^T time-reversal symmetries whose pure gauge action is the axion θ-term. Field theory representations of SPT invariants not only serve as tools for classifying SPTs, but also guide us in designing physical probes for them. In addition, our field theory representations are independently powerful for studying group cohomology within the mathematical context.