相关论文: Regular obstructed categories and TQFT
Topological quantum field theory (TQFT) is a powerful tool to describe homologies, which normally involve complexes and a variety of maps/morphisms, what makes a functional integration approach with a sum over a single kind of maps…
We introduce notions of finiteness obstruction, Euler characteristic, L^2-Euler characteristic, and M\"obius inversion for wide classes of categories. The finiteness obstruction of a category Gamma of type (FP) is a class in the projective…
In this paper we propose a naive construction of 2-dimensional extended topological quantum field theories (TQFTs), which can be further generalized to the higher-dimension extended TQFTs.
In $(2+1)$-dimensional topological quantum field theories (TQFTs), the action of a global symmetry group on the anyon system is one of the central topics of research. Owing to the subtle categorical nature of anyons, a global symmetry…
The orientability problem in real Gromov-Witten theory is one of the fundamental hurdles to enumerating real curves. In this paper, we describe topological conditions on the target manifold which ensure that the uncompactified moduli spaces…
A nonlocal generalization of quantum field theory in which momentum space is the space of continuous maps of a circle into $\mathbf{R}^4$ is proposed. Functional integrals in this theory are proved to exist. Renormalized quantum field model…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under…
We give a concise overview of the theory of regularity structures as first exposed in [Hai14]. In order to allow to focus on the conceptual aspects of the theory, many proofs are omitted and statements are simplified. In order to provide…
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
The authors' ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are ATR-definable…
We explain that a bulk with arbitrary dimensions can be added to the space over which a quantum field theory is defined. This gives a TQFT such that its correlation functions in a slice are the same as those of the original quantum field…
Symmetries are a central concept in our understanding of physics. In quantum theories, a quantum reference frame (QRF) can be used to distinguish between observables related by a symmetry. The framework of operational QRFs provides a means…
A simple integral that illustrates the concepts of regularization, subtraction, renormalization and renormalization group employed in perturbative quantum field theory(PQFT) is considered.
The quadratic phase Fourier transform (QPFT) is a generalization of several well-known integral transforms, including the linear canonical transform (LCT), fractional Fourier transform (FrFT), and Fourier transform (FT). This paper…
We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras.
By introducing a notion of smooth connection for unbounded $KK$-cycles, we show that the Kasparov product of such cycles can be defined directly, by an algebraic formula. In order to achieve this it is necessary to develop a framework of…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Possible forms of obstructed atomic limits in quasi-one-dimensional systems are studied using line group symmetry. This is accomplished by revisiting the standard theory with an emphasis on its group-theoretical background, synthesizing the…
We present a rigorous and functorial quantization scheme for linear fermionic and bosonic field theory targeting the topological quantum field theory (TQFT) that is part of the general boundary formulation (GBF). Motivated by geometric…