975 research outputs found
Chain Homotopies for Object Topological Representations
This paper presents a set of tools to compute topological information of
simplicial complexes, tools that are applicable to extract topological
information from digital pictures. A simplicial complex is encoded in a
(non-unique) algebraic-topological format called AM-model. An AM-model for a
given object K is determined by a concrete chain homotopy and it provides, in
particular, integer (co)homology generators of K and representative (co)cycles
of these generators. An algorithm for computing an AM-model and the
cohomological invariant HB1 (derived from the rank of the cohomology ring) with
integer coefficients for a finite simplicial complex in any dimension is
designed here. A concept of generators which are "nicely" representative cycles
is also presented. Moreover, we extend the definition of AM-models to 3D binary
digital images and we design algorithms to update the AM-model information
after voxel set operations (union, intersection, difference and inverse)
Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
Given a finite -graded group with ungraded subgroup and a twisted cocycle which restricts to , we construct a lift of -twisted -Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homotopy field theories, which we call orientation twisted. We also introduce an orientation twisted variant of the orbifold procedure, which produces an unoriented topological field theory from an orientation twisted -equivariant topological field theory
't Hooft anomalies of discrete gauge theories and non-abelian group cohomology
We study discrete symmetries of Dijkgraaf-Witten theories and their gauging
in the framework of (extended) functorial quantum field theory. Non-abelian
group cohomology is used to describe discrete symmetries and we derive concrete
conditions for such a symmetry to admit 't Hooft anomalies in terms of the
Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a
discrete gauge theory with 't Hooft anomaly as a state on the boundary of a
higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the
2-cocycle twisting the projective representation of physical symmetries via
transgression. We present a general discussion of the bulk-boundary
correspondence at the level of partition functions and state spaces, which we
make explicit for discrete gauge theories.Comment: 46 pages, 1 figure; v2: minor corrections and clarifying comments
added, references updated; Final version to appear in Communications in
Mathematical Physic
- …