Related papers: Extended Homotopy Quantum Field Theories and their…
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…
We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant…
We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we…
Heegaard Floer theory is a kind of topological quantum field theory, assigning graded groups to closed, connected, oriented 3-manifolds and group homomorphisms to smooth, oriented 4-dimensional cobordisms. Bordered Heegaard Floer homology…
Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…
This paper gives a definition of an extended topological quantum field theory (TQFT) as a weak 2-functor Z: nCob_2 -> 2Vect, by analogy with the description of a TQFT as a functor Z: nCob -> Vect. We also show how to obtain such a theory…
We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant…
We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The G-homotopy theory is "pieced together" from the G/U-homotopy theories…
In this survey paper, we will collate various different ideas and thoughts regarding equivariant operations on quantum cohomology (and some in more general Floer theory) for a symplectic manifold. We will discuss a general notion of…
We present some ideas for a possible Noncommutative Floer Homology. The geometric motivation comes from an attempt to build a theory which applies to practically every 3-manifold (closed, oriented and connected) and not only to homology…
Let $Y$ be a CW-complex with a single 0-cell, $K$ its Kan group, a model for the loop space of $Y$, and let $G$ be a compact, connected Lie group. We give an explicit finite dimensional construction of generators of the equivariant…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a…
The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…
Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
In this paper we define and compare several new Quillen model structures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. by providing a richer framework to…
We describe a class of topological field theories called ``balanced topological field theories.'' These theories are associated to moduli problems with vanishing virtual dimension and calculate the Euler character of various moduli spaces.…
We define an extended field theory in dimensions $1+1+1$, that takes the form of a `quasi 2-functor' with values in a strict 2-category $\widehat{\mathcal{H}am}$, defined as the `completion of a partial 2-category' $\mathcal{H}am$, notions…