Related papers: Regular obstructed categories and TQFT

We find explicit bases for naturally defined lattices over a ring of algebraic integers in the SO(3) TQFT-modules of surfaces at roots of unity of odd prime order. Some applications relating quantum invariants to classical 3-manifold…

This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We give an overview of 3-dimensional topological quantum field theories (TQFTs) and the corresponding quantum invariants of 3-manifolds. We…

Topological orders are a prominent paradigm for describing quantum many-body systems without symmetry-breaking orders. We present a topological quantum field theoretical (TQFT) study on topological orders in five-dimensional spacetime…

In this paper we relate triangulated category structures to the cohomology of small categories and define initial obstructions to the existence of an algebraic or topological enhancement. We show that these obstructions do not vanish in an…

A generalization of an inverse system in a category was recently introduced, as well as that of the corresponding pro-category These so called the delay-inverse systems and delay-pro-category could potentially yield a new theory of (delay-)…

A 3-dimensional topological quantum field theory (TQFT) is a symmetric monoidal functor from the category of 3-cobordisms to the category of vector spaces. Such TQFTs provide in particular numerical invariants of closed 3-manifolds such as…

Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them…

Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Collections of measures on compact metric spaces form a model category ("data complexes"), whose morphisms are marginalization integrals. The fibrant objects in this category represent collections of measures in which there is a measure on…

Conformal nets are a classical topic in quantum field theory: they assign operator algebras to one-dimensional manifolds, and have close connections with one-dimensional topological field theories. It seems to be well-known that the usual…

We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…

We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic $q$. Both types of invariants are labeled by extra data which plays an important role in the…

In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion…

We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves…

For each fixed n>=2 we show how the Nielsen-Thurston classification of mapping classes for a closed surface of genus g>=2 is determined by the sequence of quantum SU(n) representations, when one considers all levels. That this is the case…

Within the frame of a Group Approach to Quantization anomalies arise in a quite natural way. We present in this talk an analysis of the basic obstructions that can be found when we try to translate symmetries of the Newton equations to the…

We construct 3-dimensional once-Extended Topological Quantum Field Theories (ETQFTs for short) out of (possibly non-semisimple) modular categories, and we explicitly identify linear categories and functors in their image. The circle…

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize…

The ``evolving constants'' method of defining the quantum dynamics of time-reparametrization-invariant theories is investigated for a particular implementation of parametrized non-relativistic quantum mechanics (PNRQM). The wide range of…