arXiv subjects

Hendryk Pfeiffer

Publications and source records attributed to Hendryk Pfeiffer.

At least 19 recordsLinked to original sources

arXiv2012

Weak Bialgebras of Fractions

We construct the algebra of fractions of a Weak Bialgebra relative to a suitable denominator set of group-like elements that is `almost central', a condition we introduce in the present article which is sufficient in order to guarantee existence of the algebra of fractions and to render it a Weak Bialgebra. The monoid of all group-like elements of a coquasi-triangular Weak Bialgebra, for example, forms a suitable set of denominators as does any monoid of central group-like elements of an arbitrary Weak Bialgebra. We use this technique in order to construct new Weak Bialgebras whose categories of finite-dimensional comodules relate to SL2-fusion categories in the same way as GL(2) relates to SL(2).

math.QA↗

arXiv2012

Weak Hopf Algebras unify the Hennings-Kauffman-Radford and the Reshetikhin-Turaev invariant

We present an invariant of connected and oriented closed 3-manifolds based on a coribbon Weak Hopf Algebra H with a suitable left-integral. Our invariant can be understood as the generalization to Weak Hopf Algebras of the Hennings-Kauffman-Radford evaluation of an unoriented framed link using a dual quantum-trace. This quantum trace satisfies conditions that render the link evaluation invariant under Kirby moves. If H is a suitable finite-dimensional Hopf algebra (not weak), our invariant reduces to the Kauffman-Radford invariant for the dual of H. If H is the Weak Hopf Algebra Tannaka-Krein reconstructed from a modular category C, our invariant agrees with the Reshetikhin-Turaev invariant. In particular, the proof of invariance of the Reshetikhin-Turaev invariant becomes as simple as that of the Kauffman-Radford invariant. Modularity of C is only used once in order to show that the invariant is non-zero; apart from this, a fusion category with ribbon structure would be sufficient. Our generalization of the Kauffman-Radford invariant for a Weak Hopf Algebra H and the Reshetikhin-Turaev invariant for its category of finite-dimensional comodules C=M^H always agree by construction. There is no need to consider a quotient of the representation category modulo 'negligible morphisms' at any stage, and our construction contains the Reshetikhin-Turaev invariant for an arbitrary modular category C, whether its relationship with some quantum group is known or not.

math.QA↗

arXiv2011

Fusion categories in terms of graphs and relations

Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as the universal coend with respect to the long canonical functor ω:C->Vect_k. We show that H is a quotient H=H[G]/I of a Weak Bialgebra H[G] which has a combinatorial description in terms of a finite directed graph G that depends on the choice of a generator M of C and on the fusion coefficients of C. The algebra underlying H[G] is the path algebra of the quiver GxG, and so the composability of paths in G parameterizes the truncation of the tensor product of C. The ideal I is generated by two types of relations. The first type enforces that the tensor powers of the generator M have the appropriate endomorphism algebras, thus providing a Schur-Weyl dual description of C. If C is braided, this includes relations of the form `RTT=TTR' where R contains the coefficients of the braiding on ωM\otimesωM, a generalization of the construction of Faddeev-Reshetikhin-Takhtajan to Weak Bialgebras. The second type of relations removes a suitable set of group-like elements in order to make the category of finite-dimensional comodules equivalent to C over all tensor powers of the generator M. As examples, we treat the modular categories associated with U_q(sl_2).

math.QA↗

arXiv2009

Tannaka-Krein reconstruction and a characterization of modular tensor categories

We show that every modular category is equivalent as an additive ribbon category to the category of finite-dimensional comodules of a Weak Hopf Algebra. This Weak Hopf Algebra is finite-dimensional, split cosemisimple, weakly cofactorizable, coribbon and has trivially intersecting base algebras. In order to arrive at this characterization of modular categories, we develop a generalization of Tannaka-Krein reconstruction to the long version of the canonical forgetful functor which is lax and oplax monoidal, but not in general strong monoidal, thereby avoiding all the difficulties related to non-integral Frobenius-Perron dimensions.

math.QA↗

arXiv2009

Finitely semisimple spherical categories and modular categories are self-dual

We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular categories. In order to prove this result, we show that the universal coend of the spherical category with respect to the long forgetful functor is self-dual as a Weak Hopf Algebra.

math.QA↗

arXiv2008

Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras

We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs) which we call open-closed TQFTs. These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that have a particular global structure in order to model the smooth topology of open and closed string worldsheets. We show that the category of open-closed TQFTs is equivalent to the category of knowledgeable Frobenius algebras. A knowledgeable Frobenius algebra (A,C,i,i^*) consists of a symmetric Frobenius algebra A, a commutative Frobenius algebra C, and an algebra homomorphism i:C->A with dual i^*:A->C, subject to some conditions. This result is achieved by providing a generators and relations description of the category of open-closed cobordisms. In order to prove the sufficiency of our relations, we provide a normal form for such cobordisms which is characterized by topological invariants. Starting from an arbitrary such cobordism, we construct a sequence of moves (generalized handle slides and handle cancellations) which transforms the given cobordism into the normal form. Using the generators and relations description of the category of open-closed cobordisms, we show that it is equivalent to the symmetric monoidal category freely generated by a knowledgeable Frobenius algebra. Our formalism is then generalized to the context of open-closed cobordisms with labeled free boundary components, i.e. to open-closed string worldsheets with D-brane labels at their free boundaries.

math.AT↗

arXiv2006

2-Groups, trialgebras and their Hopf categories of representations

A strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the present article, we develop the notions of trialgebra and cotrialgebra, generalizations of Hopf algebras with two multiplications and one comultiplication or vice versa, and the notion of Hopf categories, generalizations of monoidal categories with an additional functorial comultiplication. We show that each strict 2-group has a `group algebra' which is a cocommutative trialgebra, and that each strict finite 2-group has a `function algebra' which is a commutative cotrialgebra. Each such commutative cotrialgebra gives rise to a symmetric Hopf category of corepresentations. In the semisimple case, this Hopf category is a 2-vector space according to Kapranov and Voevodsky. We also show that strict compact topological 2-groups are characterized by their C^*-cotrialgebras of `complex-valued functions', generalizing the Gel'fand representation, and that commutative cotrialgebras are characterized by their symmetric Hopf categories of corepresentations, generalizing Tannaka--Krein reconstruction. Technically, all these results are obtained using ideas from functorial semantics, by studying models of the essentially algebraic theory of categories in various base categories of familiar algebraic structures and the functors that describe the relationships between them.

math.QA↗

arXiv2006

State sum construction of two-dimensional open-closed Topological Quantum Field Theories

We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma--Hosono--Kawai from triangulations of conventional two-dimensional cobordisms to those of open-closed cobordisms, i.e. smooth compact oriented 2-manifolds with corners that have a particular global structure. This construction reveals the topological interpretation of the associative algebra on which the state sum is based, as the vector space that the TQFT assigns to the unit interval. Extending the notion of a two-dimensional TQFT from cobordisms to suitable manifolds with corners therefore makes the relationship between the global description of the TQFT in terms of a functor into the category of vector spaces and the local description in terms of a state sum fully transparent. We also illustrate the state sum construction of an open-closed TQFT with a finite set of D-branes using the example of the groupoid algebra of a finite groupoid.

math.QA↗

arXiv2006

Open-closed TQFTs extend Khovanov homology from links to tangles

We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of an oriented tangle, we construct a chain complex whose homology is invariant under Reidemeister moves. The terms of this chain complex are modules of a suitable algebra A such that there is one action of A or A^op for every boundary point of the tangle. We give examples of such algebras A for which our tangle homology theory reduces to the link homology theories of Khovanov, Lee, and Bar-Natan if it is evaluated for links. As a consequence of the Cardy condition, Khovanov's graded theory can only be extended to tangles if the underlying field has finite characteristic. In all cases in which the algebra A is strongly separable, i.e. for Bar-Natan's theory in any characteristic and for Lee's theory in characteristic other than 2, we also provide the required algebraic operation for the composition of oriented tangles. Just as Khovanov's theory for links can be recovered from Lee's or Bar-Natan's by a suitable spectral sequence, we provide a spectral sequence in order to compute our tangle extension of Khovanov's theory from that of Bar-Natan's or Lee's theory. Thus, we provide a tangle homology theory that is locally computable and still strong enough to recover characteristic p Khovanov homology for links.

math.GT↗

arXiv2004

Quantum general relativity and the classification of smooth manifolds

The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth manifolds. This is an opportunity to review results on the classification of smooth, piecewise-linear and topological manifolds. It turns out that differential topology distinguishes the space-time dimension d=3+1 from any other lower or higher dimension and relates the sought-after path integral quantization of general relativity in d=3+1 with an open problem in topology, namely to construct non-trivial invariants of smooth manifolds using their piecewise-linear structure. In any dimension d<=5+1, the classification results provide us with triangulations of space-time which are not merely approximations nor introduce any physical cut-off, but which rather capture the full information about smooth manifolds up to diffeomorphism. Conditions on refinements of these triangulations reveal what replaces block-spin renormalization group transformations in theories with dynamical geometry. The classification results finally suggest that it is space-time dimension rather than absence of gravitons that renders pure gravity in d=2+1 a `topological' theory.

gr-qc↗

arXiv2004

Diffeomorphisms from finite triangulations and absence of 'local' degrees of freedom

If the diffeomorphism symmetry of general relativity is fully implemented into a path integral quantum theory, the path integral leads to a partition function which is an invariant of smooth manifolds. We comment on the physical implications of results on the classification of smooth and piecewise-linear 4-manifolds which show that the partition function can already be computed from a triangulation of space-time. Such a triangulation characterizes the topology and the differentiable structure, but is completely unrelated to any physical cut-off. It can be arbitrarily refined without affecting the physical predictions and without increasing the number of degrees of freedom proportionally to the volume. Only refinements at the boundary have a physical significance as long as the experimenters who observe through this boundary, can increase the resolution of their measurements. All these are consequences of the symmetries. The Planck scale cut-off expected in quantum gravity is rather a dynamical effect.

gr-qc↗

arXiv2004

Higher gauge theory -- differential versus integral formulation

The term higher gauge theory refers to the generalization of gauge theory to a theory of connections at two levels, essentially given by 1- and 2-forms. So far, there have been two approaches to this subject. The differential picture uses non-Abelian 1- and 2-forms in order to generalize the connection 1-form of a conventional gauge theory to the next level. The integral picture makes use of curves and surfaces labeled with elements of non-Abelian groups and generalizes the formulation of gauge theory in terms of parallel transports. We recall how to circumvent the classic no-go theorems in order to define non-Abelian surface ordered products in the integral picture. We then derive the differential picture from the integral formulation under the assumption that the curve and surface labels depend smoothly on the position of the curves and surfaces. We show that some aspects of the no-go theorems are still present in the differential (but not in the integral) picture. This implies a substantial structural difference between non-perturbative and perturbative approaches to higher gauge theory. We finally demonstrate that higher gauge theory provides a geometrical explanation for the extended topological symmetry of BF-theory in both pictures.

hep-th↗

arXiv2004

Positivity of relativistic spin network evaluations

Let G be a compact Lie group. Using suitable normalization conventions, we show that the evaluation of GxG-symmetric spin networks is non-negative whenever the edges are labeled by representations of the form V\otimes V^* where V is a representation of G, and the intertwiners are generalizations of the Barrett--Crane intertwiner. This includes in particular the relativistic spin networks with symmetry group Spin(4) or SO(4). We also present a counterexample, using the finite group S_3, to the stronger conjecture that all spin network evaluations are non-negative as long as they can be written using only group integrations and index contractions. This counterexample applies in particular to the product of five 6j-symbols which appears in the spin foam model of the S_3-symmetric BF-theory on the two-complex dual to a triangulation of the sphere S^3 using five tetrahedra. We show that this product is negative real for a particular assignment of representations to the edges.

gr-qc↗

arXiv2003

Invariant length scale in relativistic kinematics - Lessons from Dirichlet branes

We show that Dirac-Born-Infeld theory possesses a hidden invariance that enhances the local O(1,p) Lorentz symmetry on a Dirichlet p-brane to an O(1,p) x O(1,p) gauge group, encoding both an invariant velocity and acceleration (or length) scale. This enlarged gauge group predicts consequences for the kinematics of observers on Dirichlet branes, with admissible accelerations being bounded from above. An important lesson beyond string theory is that a fundamental length scale can be implemented into the kinematics of general relativity, whilst preserving both space-time as a smooth manifold and local Lorentz symmetry, contrary to common belief. We point out consequences for string phenomenology, classical gravity and atomic physics.

hep-th↗

arXiv2003

Higher gauge theory and a non-Abelian generalization of 2-form electrodynamics

In conventional gauge theory, a charged point particle is described by a representation of the gauge group. If we propagate the particle along some path, the parallel transport of the gauge connection acts on this representation. The Lagrangian density of the gauge field depends on the curvature of the connection which can be calculated from the holonomy around (infinitesimal) loops. For Abelian symmetry groups, say G=U(1), there exists a generalization, known as p-form electrodynamics, in which (p-1)-dimensional charged objects can be propagated along p-surfaces and in which the Lagrangian depends on a generalized curvature associated with (infinitesimal) closed p-surfaces. In this article, we use Lie 2-groups and ideas from higher category theory in order to formulate a discrete gauge theory which generalizes these models at the level p=2 to possibly non-Abelian symmetry groups. An important feature of our model is that it involves both parallel transports along paths and generalized transports along surfaces with a non-trivial interplay of these two types of variables. Our main result is the geometric picture, namely the assignment of non-Abelian quantities to geometrical objects in a coordinate free way. We construct the precise assignment of variables to the curves and surfaces, the generalized local symmetries and gauge invariant actions and we clarify which structures can be non-Abelian and which others are always Abelian. A discrete version of connections on non-Abelian gerbes is a special case of our construction. Even though the motivation sketched so far suggests applications mainly in string theory, the model presented here is also related to spin foam models of quantum gravity and may in addition provide some insight into the role of centre monopoles and vortices in lattice QCD.

hep-th↗

arXiv2003

Exact duality transformations for sigma models and gauge theories

We present an exact duality transformation in the framework of Statistical Mechanics for various lattice models with non-Abelian global or local symmetries. The transformation applies to sigma models with variables in a compact Lie group G with global GxG-symmetry (the chiral model) and with variables in coset spaces G/H and a global G-symmetry (for example, the non-linear O(N) or RP^N models) in any dimension d>=1. It is also available for lattice gauge theories with local gauge symmetry in dimensions d>=2 and for the models obtained from minimally coupling a sigma model of the type mentioned above to a gauge theory. The duality transformation maps the strong coupling regime of the original model to the weak coupling regime of the dual model. Transformations are available for the partition function, for expectation values of fundamental variables (correlators and generalized Wilson loops) and for expectation values in the dual model which correspond in the original formulation to certain ratios of partition functions (free energies of dislocations, vortices or monopoles). Whereas the original models are formulated in terms of compact Lie groups G and H, coset spaces G/H and integrals over them, the configurations of the dual model are given in terms of representations and intertwiners of G. They are spin networks and spin foams. The partition function of the dual model describes the group theoretic aspects of the strong coupling expansion in a closed form.

hep-lat↗

arXiv2003

Representations of the exceptional and other Lie algebras with integral eigenvalues of the Casimir operator

The uniformity, for the family of exceptional Lie algebras g, of the decompositions of the powers of their adjoint representations is well-known now for powers up to the fourth. The paper describes an extension of this uniformity for the totally antisymmetrised n-th powers up to n=9, identifying (see Tables 3 and 6) families of representations with integer eigenvalues 5,...,9 for the quadratic Casimir operator, in each case providing a formula (see eq. (11) to (15)) for the dimensions of the representations in the family as a function of D=dim g. This generalises previous results for powers j and Casimir eigenvalues j, j<=4. Many intriguing, perhaps puzzling, features of the dimension formulas are discussed and the possibility that they may be valid for a wider class of not necessarily simple Lie algebras is considered.

math-ph↗

arXiv2002

Development of a unified tensor calculus for the exceptional Lie algebras

The uniformity of the decomposition law, for a family F of Lie algebras which includes the exceptional Lie algebras, of the tensor powers ad^n of their adjoint representations ad is now well-known. This paper uses it to embark on the development of a unified tensor calculus for the exceptional Lie algebras. It deals explicitly with all the tensors that arise at the n=2 stage, obtaining a large body of systematic information about their properties and identities satisfied by them. Some results at the n=3 level are obtained, including a simple derivation of the the dimension and Casimir eigenvalue data for all the constituents of ad^3. This is vital input data for treating the set of all tensors that enter the picture at the n=3 level, following a path already known to be viable for a_1. The special way in which the Lie algebra d_4 conforms to its place in the family F alongside the exceptional Lie algebras is described.

math-ph↗