In a former paper we proposed a model for the quantization of gravity by working in a bundle $E$ where we realized the Hamilton constraint as the Wheeler-DeWitt equation. However, the corresponding operator only acts in the fibers and not in the base space. Therefore, we now discard the Wheeler-DeWitt equation and express the Hamilton constraint differently, either with the help of the Hamilton equations or by employing a geometric evolution equation. There are two possible modifications possible which both are equivalent to the Hamilton constraint and which lead to two new models. In the first model we obtain a hyperbolic operator that acts in the fibers as well as in the base space and we can construct a symplectic vector space and a Weyl system. In the second model the resulting equation is a wave equation in $\so \times (0,\infty)$ valid in points $(x,t,\xi)$ in $E$ and we look for solutions for each fixed $\xi$. This set of equations contains as a special case the equation of a quantized cosmological Friedman universe without matter but with a cosmological constant, when we look for solutions which only depend on $t$. Moreover, in case $\so$ is compact we prove a spectral resolution of the equation.

Topological Quantum Field Theories (TQFTs) pertinent to some emergent low energy phenomena of condensed matter lattice models in 2+1 and 3+1 dimensions are explored. Many of our TQFTs are highly-interacting without free quadratic analogs. Some of our bosonic TQFTs can be regarded as the continuum field theory formulation of Dijkgraaf-Witten twisted discrete gauge theories. Other bosonic TQFTs beyond the Dijkgraaf-Witten description and all fermionic TQFTs (namely the spin TQFTs) are either higher-form gauge theories where particles must have strings attached, or fermionic discrete gauge theories obtained by gauging the fermionic Symmetry-Protected Topological states (SPTs). We analytically calculate both the Abelian and non-Abelian braiding statistics data of anyonic particle and string excitations in these theories, where the statistics data can one-to-one characterize the underlying topological orders of TQFTs. Namely, we derive path integral expectation values of links formed by line and surface operators in these TQFTs. The acquired link invariants include not only the familiar Aharonov-Bohm linking number, but also Milnor triple linking number in 3 dimensions, triple and quadruple linking numbers of surfaces, and intersection number of surfaces in 4 dimensions. We also construct new spin TQFTs with the corresponding knot/link invariants of Arf(-Brown-Kervaire), Sato-Levine and others. We propose a new relation between the fermionic SPT partition function and the Rokhlin invariant. As an example, we can use these invariants and other physical observables, including ground state degeneracy, reduced modular $\mathcal{S}^{xy}$ and $\mathcal{T}^{xy}$ matrices, and the partition function on $\mathbb{RP}^3$ manifold, to identify all $\nu \in \mathbbm{Z}_8$ classes of 2+1 dimensional gauged $\mathbb{Z}_2$-Ising-symmetric $\mathbb{Z}_2^f$-fermionic Topological Superconductors (realized by stacking $\nu$ layers of a pair of chiral and anti-chiral $p$-wave superconductors [$p_x+ip_y$ and $p_x-ip_y$], where boundary supports non-chiral Majorana-Weyl modes) with continuum spin-TQFTs.

We formulate a family of spin Topological Quantum Filed Theories (spin-TQFTs) as fermionic generalization of bosonic Dijkgraaf-Witten TQFTs. They are obtained by gauging $G$-equivariant invertible spin-TQFTs, or, in physics language, gauging the interacting fermionic Symmetry Protected Topological states (SPTs) with a finite group $G$ symmetry. We use the fact that the latter are classified by Pontryagin duals to spin-bordism groups of the classifying space $BG$. We also consider unoriented analogs, that is $G$-equivariant invertible pin$^\pm$-TQFTs (fermionic time-reversal-SPTs) and their gauging. We compute these groups for various examples of abelian $G$ using Adams spectral sequence and describe all corresponding TQFTs via certain bordism invariants in dimensions 3, 4, and other. This gives explicit formulas for the partition functions of spin-TQFTs on closed manifolds with possible extended operators inserted. The results also provide explicit classification of 't Hooft anomalies of fermionic QFTs with finite abelian group symmetries in one dimension lower. We construct new anomalous boundary deconfined spin-TQFTs (surface fermionic topological orders). We explore SPT and SET (symmetry enriched topologically ordered) states, and crystalline SPTs protected by space-group (e.g.\ translation $\mathbb{Z}$) or point-group (e.g.\ reflection, inversion or rotation $C_m$) symmetries, via the layer-stacking construction.

Given a gauged linear sigma model (GLSM) $\mathcal{T}_{X}$ realizing a projective variety $X$ in one of its phases, i.e. its quantum K\"ahler moduli has a geometric point, we propose an \emph{extended} GLSM $\mathcal{T}_{\mathcal{X}}$ realizing the homological projective dual category $\mathcal{C}$ to $D^{b}Coh(X)$ as the category of B-branes of the Higgs branch of one of its phases. In most of the cases, the models $\mathcal{T}_{X}$ and $\mathcal{T}_{\mathcal{X}}$ are anomalous and the analysis of their Coulomb and mixed Coulomb-Higgs branches gives information on the semiorthogonal/Lefschetz decompositions of $\mathcal{C}$ and $D^{b}Coh(X)$. We also study the models $\mathcal{T}_{X_{L}}$ and $\mathcal{T}_{\mathcal{X}_{L}}$ that correspond to homological projective duality of linear sections $X_{L}$ of $X$. This explains why, in many cases, two phases of a GLSM are related by homological projective duality. We study mostly abelian examples: linear and Veronese embeddings of $\mathbb{P}^{n}$ and Fano complete intersections in $\mathbb{P}^{n}$. In such cases, we are able to reproduce known results as well as produce some new conjectures. In addition, we comment on the construction of the HPD to a nonabelian GLSM for the Pl\"ucker embedding of the Grassmannian $G(k,N)$.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

Let V be an N-graded, simple, self-contragredient, C_2-cofinite vertex operator algebra. We show that if the S-transformation of the character of V is a linear combination of characters of V-modules, then the category C of grading-restricted generalized V-modules is a rigid tensor category. We further show, without any assumption on the character of V but assuming that C is rigid, that C is a factorizable finite ribbon category, that is, a not-necessarily-semisimple modular tensor category. As a consequence, we show that if the Zhu algebra of V is semisimple, then C is semisimple and thus V is rational. The proofs of these theorems use techniques and results from tensor categories together with the method of Moore-Seiberg and Huang for deriving identities of two-point genus-one correlation functions associated to V. We give two main applications. First, we prove the conjecture of Kac-Wakimoto and Arakawa that C_2-cofinite affine W-algebras obtained via quantum Drinfeld-Sokolov reduction of admissible-level affine vertex algebras are strongly rational. The proof uses the recent result of Arakawa and van Ekeren that such W-algebras have semisimple (Ramond twisted) Zhu algebras. Second, we use our rigidity results to reduce the "coset rationality problem" to the problem of C2-cofiniteness for the coset. That is, given a vertex operator algebra inclusion U⊗V↪A with A, U strongly rational and U, V a pair of mutual commutant subalgebras in A, we show that V is also strongly rational provided it is C_2-cofinite.

We introduce a web of strongly correlated interacting 3+1D topological superconductors/ insulators of 10 particular global symmetry groups of Cartan classes, realizable in electronic condensed matter systems, and their generalizations. The symmetries include SU(N), SU(2), U(1), fermion parity, time reversal and relate to each other through symmetry embeddings. We overview the lattice Hamiltonian formalism. We complete the list of bulk symmetry-protected topological invariants (SPT invariants/partition functions that exhibit boundary 't Hooft anomalies) via cobordism calculations, matching their full classification. We also present explicit 4-manifolds that detect these SPTs. On the other hand, once we dynamically gauge part of their global symmetries, we arrive in various new phases of $SU(N)$ Yang-Mills (YM) theories, realizable as quantum spin liquids with emergent gauge fields. We discuss how coupling YM theories to time reversal-SPTs affects the strongly coupled theories at low energy. For example, we point out a possibility of having two deconfined gapless time-reversal symmetric $SU(2)$ YM theories at $\theta=\pi$ as two distinct conformal field theories, which although are secretly indistinguishable by gapped SPT states nor by correlators of local operators on oriented spacetimes, can be distinguished on non-orientable spacetimes or potentially by correlators of extended operators.

No abstract uploaded!

Gapped domain walls, as topological line defects between 2+1D topologically ordered states, are examined. We provide simple criteria to determine the existence of gapped domain walls, which apply to both Abelian and non-Abelian topological orders. Our criteria also determine which 2+1D topological orders must have gapless edge modes, namely which 1+1D global gravitational anomalies ensure gaplessness. Furthermore, we introduce a new mathematical object, the tunneling matrix $W$, whose entries are the fusion-space dimensions $W_{ia}$, to label different types of gapped domain walls. Mathematically, we propose a classification of bimodule categories between modular tensor categories. By studying many examples, we find evidence that the tunneling matrices are powerful quantities to classify different types of gapped domain walls. Since a gapped boundary is a gapped domain wall between a bulk topological order and the vacuum, regarded as the trivial topological order, our theory of gapped domain walls inclusively contains the theory of gapped boundaries. In addition, we derive a topological ground state degeneracy formula, applied to arbitrary orientable spatial 2-manifolds with gapped domain walls, including closed 2-manifolds and open 2-manifolds with gapped boundaries.

Let O_25 be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge 25 whose composition factors are the irreducible quotients of reducible Verma modules. We show that O_25 is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl_2-modules. We also show that this sl_2-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge 1. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge 25 as a PSL_2(C)-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of SL_2 at level -1, showing that it has a symmetric tensor category of representations equivalent to Rep PSL_2(C). This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges 1 and 25, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

We show that the category of finite-length generalized modules for the singlet vertex algebra M(p), p∈Z_+, is equal to the category O_M(p) of C_1-cofinite M(p)-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since O_M(p) includes the uncountably many typical M(p)-modules, which are simple M(p)-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical M(p)-modules. We also introduce a tensor subcategory O_M(p)^T, graded by an algebraic torus T, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of sl_2 at a 2pth root of unity. We compute all tensor products involving simple and projective M(p)-modules, and we prove that both tensor categories O_M(p) and O_M(p)^T are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras W(p) are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

In this paper, we establish the local existence and uniqueness of multi-dimensional contact discontinuities for the ideal compressible magnetohydrodynamics (MHD) in Sobolev spaces, which are most typical interfacial waves for astrophysical plasmas and prototypical fundamental waves for hyperbolic systems of conservation laws. Such waves are characteristic discontinuities for which there is no flow across the discontinuity surface while the magnetic field crosses transversely, which lead to a two-phase free boundary problem where the pressure, velocity and magnetic field are continuous across the interface whereas the entropy and density may have jumps. To overcome the difficulties of possible nonlinear Rayleigh--Taylor instability and loss of derivatives, here we use crucially the Lagrangian formulation and the Cauchy formula (1882) for the magnetic field. This enables us to capture the boundary regularizing effect of the transversal magnetic field on the flow map, and on the other hand, it allows us to define a special good unknown of the magnetic field to get around the troublesome boundary integrals due to the transversality of the magnetic field. In particular, our result removes the additional assumption of the Rayleigh--Taylor sign condition required by Morando, Tarkhinin and Trebeschi (\emph{J. Differential Equations} \textbf{258} (2015), no. 7, 2531--2571; \emph{Arch. Ration. Mech. Anal.} \textbf{228} (2018), no. 2, 697--742) and holds for both 2D and 3D and hence gives a complete answer to the two open questions raised therein. Moreover, there is {\it no loss of derivatives} in our well-posedness theory. The solution is constructed as {\it the inviscid limit} of solutions to well-chosen nonlinear approximate problems for the two-phase compressible viscous non-resistive MHD.

No abstract uploaded!

Through a geometric capacitary analysis based on space dualities, this paper addresses several fundamental aspects of functional analysis and potential theory for the Morrey spaces in harmonic analysis over the Euclidean spaces.

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.

Let O_c be the category of finite-length central-charge-c modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that O_c admits vertex algebraic tensor category structure for any c∈C. Here, we determine the structure of this tensor category when c=13−6p−6/p for an integer p>1. For such c, we prove that O_c is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory O_c^0. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that O_c has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine sl_2 at levels −2+p^±1. Next, as a straightforward consequence of the braided tensor category structure on O_c together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras W(p), including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that O_c^0 is braided tensor equivalent to the PSL(2,C)-equivariantization of the category of W(p)-modules.

New chiral boundary conditions are found for quantum gravity with matter on AdS3. The associated asymptotic symmetry group is generated by a single right-moving U(1) Kac-Moody-Virasoro algebra with c_R = 3l/2G. The Kac-Moody zero mode generates global left-moving translations and equals, for a BTZ black hole, the sum of the total mass and spin. The level is positive about the global vacuum and negative in the black hole sector, corresponding to ergosphere formation. Realizations arising in Chern-Simons gravity and string theory are analyzed. The new boundary conditions are shown to naturally arise for warped AdS3 in the limit that the warp parameter is taken to zero.

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.

We prove uniqueness of ground state solutions$Q$=$Q$(|$x$|) ≥ 0 of the non-linear equation $$(-\Delta)^s Q+Q-Q^{\alpha+1}= 0 \quad {\rm in} \, \mathbb{R},$$ where 0 <$s$< 1 and 0 <$α$< 4$s$/(1−2$s$) for $${s<\frac{1}{2}}$$ and 0 <$α$<$∞$for $${s\geq \frac{1}{2}}$$ . Here (−Δ)^{$s$}denotes the fractional Laplacian in one dimension. In particular, we answer affirmatively an open question recently raised by Kenig–Martel–Robbiano and we generalize (by completely different techniques) the specific uniqueness result obtained by Amick and Toland for $${s=\frac{1}{2}}$$ and$α$= 1 in [5] for the Benjamin–Ono equation.

Quantum gravity in the region very near the horizon of an extreme Kerr black hole (whose angular momentum and mass are related by J=GM^2) is considered. It is shown that consistent boundary conditions exist, for which the asymptotic symmetry generators form one copy of the Virasoro algebra with central charge c_L=12J / \hbar. This implies that the near-horizon quantum states can be identified with those of (a chiral half of) a two-dimensional conformal field theory (CFT). Moreover, in the extreme limit, the Frolov-Thorne vacuum state reduces to a thermal density matrix with dimensionless temperature T_L=1/2\pi and conjugate energy given by the zero mode generator, L_0, of the Virasoro algebra. Assuming unitarity, the Cardy formula then gives a microscopic entropy S_{micro}=2\pi J / \hbar for the CFT, which reproduces the macroscopic Bekenstein-Hawking entropy S_{macro}=Area / 4\hbar G. The results apply to any consistent unitary quantum theory of gravity with a Kerr solution. We accordingly conjecture that extreme Kerr black holes are holographically dual to a chiral two-dimensional conformal field theory with central charge c_L=12J / \hbar, and in particular that the near-extreme black hole GRS 1915+105 is approximately dual to a CFT with c_L \sim 2 \times 10^{79}.

Into a geometric setting, we import the physical interpretation of index theorems via semi-classical analysis in topological quantum field theory. We develop a direct relationship between Fedosov’s deformation quantization of a symplectic manifold X and the Batalin-Vilkovisky (BV) quantization of a one-dimensional sigma model with target X. This model is a quantum field theory of AKSZ type and is quantized rigorously using Costello’s homotopic theory of effective renormalization. We show that Fedosov’s Abelian connections on the Weyl bundle produce solutions to the effective quantum master equation. Moreover, BV integration produces a natural trace map on the deformation quantized algebra. This formulation allows us to exploit a (rigorous) localization argument in quantum field theory to deduce the algebraic index theorem via semi-classical analysis, i.e., one-loop Feynman diagram computations.

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

In this expository note we discuss some arithmetic aspects of the mirror symmetry for plane cubic curves. We also explain how the Picard-Fuchs equation can be used to reveal part of these arithmetic properties. The application of Picard-Fuchs equations in studying the genus zero Gromov-Witten invariants of more general Calabi-Yau varieties and the Weil-Petersson geometry on their moduli spaces will also be discussed.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

We give a new type of Schur-Weyl duality for the representations of a family of quantum subgroups and their centralizer algebra. We define and classify singly-generated, Yang-Baxter relation planar algebras. We present the skein theoretic construction of a new parameterized planar algebra. We construct infinitely many new subfactors and unitary fusion categories, and compute their trace formula as a closed-form expression, in terms of Young diagrams.