Source author record

Jürgen Fuchs

Jürgen Fuchs appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

A modular functor from state sums for finite tensor categories and their bimodules

We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need to require that the finite categories appearing in our construction are semisimple, nor that the finite tensor categories that are assigned to two-dimensional strata are endowed with a pivotal structure. Our prescription can be understood as a state-sum construction. The state-sum variables are assigned to one-dimensional strata and take values in bimodule categories over finite tensor categories, whereby we also account for the presence of boundaries and defects. Our construction allows us to explicitly compute functors associated to surfaces and representations of mapping class groups acting on them.

preprint2021arXiv

Matrix product operator symmetries and intertwiners in string-nets with domain walls

We provide a description of virtual non-local matrix product operator (MPO) symmetries in projected entangled pair state (PEPS) representations of string-net models. Given such a PEPS representation, we show that the consistency conditions of its MPO symmetries amount to a set of six coupled equations that can be identified with the pentagon equations of a bimodule category. This allows us to classify all equivalent PEPS representations and build MPO intertwiners between them, synthesising and generalising the wide variety of tensor network representations of topological phases. Furthermore, we use this generalisation to build explicit PEPS realisations of domain walls between different topological phases as constructed by Kitaev and Kong [Commun. Math. Phys. 313 (2012) 351-373]. While the prevailing abstract categorical approach is sufficient to describe the structure of topological phases, explicit tensor network representations are required to simulate these systems on a computer, such as needed for calculating thresholds of quantum error-correcting codes based on string-nets with boundaries. Finally, we show that all these string-net PEPS representations can be understood as specific instances of Turaev-Viro state-sum models of topological field theory on three-manifolds with a physical boundary, thereby putting these tensor network constructions on a mathematically rigorous footing.

preprint2020arXiv

Internal natural transformations and Frobenius algebras in the Drinfeld center

For M and N finite module categories over a finite tensor category C, the category Rex_C(M,N) of right exact module functors is a finite module category over the Drinfeld center Z(C). We study the internal Homs of this module category, which we call internal natural transformations. With the help of certain integration functors that map C-C-bimodule functors to objects of Z(C), we express them as ends over internal Homs and define horizontal and vertical compositions. We show that if M and N are exact C-modules and C is pivotal, then the Z(C)-module Rex_C(M,N) is exact. We compute its relative Serre functor and show that if M and N are even pivotal module categories, then Rex_C(M,N) is pivotal as well. Its internal Ends are then a rich source for Frobenius algebras in Z(C).

preprint2020arXiv

Mapping class group representations from Drinfeld doubles of finite groups

We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of such representations in terms of finite group data. This allows us to establish various properties of these representations. In particular we show that they have finite images, and that for surfaces of genus at least 3 their restriction to the Torelli group is non-trivial iff G is non-abelian.

preprint2020arXiv

Module Eilenberg-Watts calculus

The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N \boxtimes M by adjoint equivalences. We establish a variant of this calculus for the case that the finite categories M and N are module categories over a finite tensor category. This provides in particular canonical and explicitly computable equivalences between categories of left or right exact module functors (or, more generally, balanced functors) and certain twisted centers of bimodule categories.

preprint2016arXiv

Coends in conformal field theory

The idea of "summing over all intermediate states" that is central for implementing locality in quantum systems can be realized by coend constructions. In the concrete case of systems of conformal blocks for a certain class of conformal vertex algebras, one deals with coends in functor categories. Working with these coends involves quite a few subtleties which, even though they have in principle already been understood twenty years ago, have not been sufficiently appreciated by the conformal field theory community.

preprint2015arXiv

Low-dimensional topology, low-dimensional field theory and representation theory

Structures in low-dimensional topology and low-dimensional geometry -- often combined with ideas from (quantum) field theory -- can explain and inspire concepts in algebra and in representation theory and their categorified versions. We present a personal view on some of these instances which have appeared within the Research Priority Programme SPP 1388 ``Representation theory''.

preprint2015arXiv

On the Brauer groups of symmetries of abelian Dijkgraaf-Witten theories

Symmetries of three-dimensional topological field theories are naturally defined in terms of invertible topological surface defects. Symmetry groups are thus Brauer-Picard groups. We present a gauge theoretic realization of all symmetries of abelian Dijkgraaf-Witten theories. The symmetry group for a Dijkgraaf-Witten theory with gauge group a finite abelian group $A$, and with vanishing 3-cocycle, is generated by group automorphisms of $A$, by automorphisms of the trivial Chern-Simons 2-gerbe on the stack of $A$-bundles, and by partial e-m dualities. We show that transmission functors naturally extracted from extended topological field theories with surface defects give a physical realization of the bijection between invertible bimodule categories of a fusion category and braided auto-equivalences of its Drinfeld center. The latter provides the labels for bulk Wilson lines; it follows that a symmetry is completely characterized by its action on bulk Wilson lines.

preprint2010arXiv

Hopf algebras and Frobenius algebras in finite tensor categories

We discuss algebraic and representation theoretic structures in braided tensor categories C which obey certain finiteness conditions. Much interesting structure of such a category is encoded in a Hopf algebra H in C. In particular, the Hopf algebra H gives rise to representations of the modular group SL(2,Z) on various morphism spaces. We also explain how every symmetric special Frobenius algebra in a semisimple modular category provides additional structure related to these representations.

preprint2005arXiv

TFT construction of RCFT correlators IV: Structure constants and correlation functions

We compute the fundamental correlation functions in two-dimensional rational conformal field theory, from which all other correlators can be obtained by sewing: the correlators of three bulk fields on the sphere, one bulk and one boundary field on the disk, three boundary fields on the disk, and one bulk field on the cross cap. We also consider conformal defects and calculate the correlators of three defect fields on the sphere and of one defect field on the cross cap. Each of these correlators is presented as the product of a structure constant and the appropriate conformal two- or three-point block. The structure constants are expressed as invariants of ribbon graphs in three-manifolds.

preprint2003arXiv

TFT construction of RCFT correlators II: Unoriented world sheets

A full rational CFT, consistent on all orientable world sheets, can be constructed from the underlying chiral CFT, i.e. a vertex algebra, its representation category C, and the system of chiral blocks, once we select a symmetric special Frobenius algebra A in the category C [I]. Here we show that the construction of [I] can be extended to unoriented world sheets by specifying one additional datum: a reversion on A - an isomorphism from the opposed algebra of A to A that squares to the twist. A given full CFT on oriented surfaces can admit inequivalent reversions, which give rise to different amplitudes on unoriented surfaces, in particular to different Klein bottle amplitudes. We study the classification of reversions, work out the construction of the annulus, Moebius strip and Klein bottle partition functions, and discuss properties of defect lines on non-orientable world sheets. As an illustration, the Ising model is treated in detail.

preprint1993arXiv

Non-Hermitian Symmetric N=2 Coset Models, Poincare Polynomials, and String Compactification

The field identification problem, including fixed point resolution, is solved for the non-hermitian symmetric $N=2$ superconformal coset theories. Thereby these models are finally identified as well-defined modular invariant CFTs. As an application, the theories are used as subtheories in tensor products with $c=9$, which in turn are taken as the inner sector of heterotic superstring compactifications. All string theories of this type are classified, and the chiral ring as well as the number of massless generations and anti-generations are computed with the help of the extended Poincare polynomial. Several equivalences between a priori different non-hermitian cosets show up; in particular there is a level-rank duality for an infinite series based on $C$ type Lie algebras. Further, some general results for generic $N=2$ cosets are proven: a simple formula for the number of identification currents is found, and it is shown that the set of Ramond ground states of any $N=2$ coset model is invariant under charge conjugation.

preprint1993arXiv

The Quantum Symmetry of Rational Field Theories

The quantum symmetry of a rational quantum field theory is a finite- dimensional multi-matrix algebra. Its representation category, which determines the fusion rules and braid group representations of superselection sectors, is a braided monoidal C^*-category. Various properties of such algebraic structures are described, and some ideas concerning the classification programme are outlined. (Invited talk given at the III. International Conference on Mathematical Physics, String Theory and Quantum Gravity, Alushta, Ukraine, June 1993. To appear in Teor.Mat.Fiz.)

preprint1992arXiv

On the Landau-Ginzburg description of $(A_1^{(1)})^{\oplus N}$ invariants

We search for a \Lg\ interpretation of non-diagonal modular invariants of tensor products of minimal $n=2$ superconformal models, looking in particular at automorphism invariants and at some exceptional cases. For the former we find a simple description as \lgo s, which reproduce the correct chiral rings as well as the spectra of various Gepner--type models and orbifolds thereof. On the other hand, we are able to prove for one of the exceptional cases that this conformal field theory cannot be described by an orbifold of a \Lg\ model with respect to a manifest linear symmetry of its potential.