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.