Showing 1–20 of 20 results for author: Müger, M

An integral formula for Lie groups, and the Mathieu conjecture reduced to Abelian non-Lie conjectures

Authors: Michael Müger, Lars Tuset

Abstract: We present an explicit integration formula for the Haar integral on a compact connected Lie group. This formula relies on a known decomposition of a compact connected simple Lie group into symplectic leaves, when one views the group as a Poisson Lie group. In this setting the Haar integral is constructed using the Kostant harmonic volume form on the corresponding flag manifold, and explicit coordi… ▽ More We present an explicit integration formula for the Haar integral on a compact connected Lie group. This formula relies on a known decomposition of a compact connected simple Lie group into symplectic leaves, when one views the group as a Poisson Lie group. In this setting the Haar integral is constructed using the Kostant harmonic volume form on the corresponding flag manifold, and explicit coordinates are known for these invariant differential forms. The formula obtained is related to one found by Reshetikhin-Yakimov. Using our integration formula, we reduce the Mathieu conjecture to two stronger conjectures about Laurent polynomials in several complex variables with polynomial coefficients in several real variable polynomials. In these stronger conjectures there is no reference to Lie group theory. △ Less

Submitted 15 October, 2024; originally announced October 2024.

Comments: 20 pages, no figures

MSC Class: 22E10 (Primary) 43A77 (Secondary)

The Mathieu conjecture for $SU(2)$ reduced to an abelian conjecture

Authors: Michael Müger, Lars Tuset

Abstract: We reduce the Mathieu conjecture for $SU(2)$ to a conjecture about moments of Laurent polynomials in two variables with single variable polynomial coefficients. We reduce the Mathieu conjecture for $SU(2)$ to a conjecture about moments of Laurent polynomials in two variables with single variable polynomial coefficients. △ Less

Submitted 14 October, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: Considerably revised and simplified. Now 5 pages. To appear in Indagationes Mathematicae

MSC Class: 22C05

Journal ref: Indagationes Mathematicae Volume 35, 114-118 (2024)

On the moments of a polynomial in one variable

Authors: Michael Müger, Lars Tuset

Abstract: Let $f$ be a non-zero polynomial with complex coefficients and define $M_n(f)=\int_0^1f(x)^n\,dx$. We use ideas of Duistermaat and van der Kallen to prove $\limsup_{n\rightarrow\infty}|M_n(f)|^{1/n}>0$. In particular, $M_n(f)\ne 0$ for infinitely many $n\in{\mathbb N}$. Let $f$ be a non-zero polynomial with complex coefficients and define $M_n(f)=\int_0^1f(x)^n\,dx$. We use ideas of Duistermaat and van der Kallen to prove $\limsup_{n\rightarrow\infty}|M_n(f)|^{1/n}>0$. In particular, $M_n(f)\ne 0$ for infinitely many $n\in{\mathbb N}$. △ Less

Submitted 26 October, 2019; originally announced October 2019.

Comments: 4 pages, no figures

MSC Class: 30E05

Journal ref: Indag. Math. 31, 147-151 (2020)

On Ikehara type Tauberian theorems with $O(x^γ)$ remainders

Authors: Michael Müger

Abstract: Motivated by analytic number theory, we explore remainder versions of Ikehara's Tauberian theorem yielding power law remainder terms. More precisely, for $f:[1,\infty)\rightarrow{\mathbb R}$ non-negative and non-decreasing we prove $f(x)-x=O(x^γ)$ with $γ<1$ under certain assumptions on $f$. We state a conjecture concerning the weakest natural assumptions and show that we cannot hope for more. Motivated by analytic number theory, we explore remainder versions of Ikehara's Tauberian theorem yielding power law remainder terms. More precisely, for $f:[1,\infty)\rightarrow{\mathbb R}$ non-negative and non-decreasing we prove $f(x)-x=O(x^γ)$ with $γ<1$ under certain assumptions on $f$. We state a conjecture concerning the weakest natural assumptions and show that we cannot hope for more. △ Less

Submitted 15 December, 2016; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: A serious mistake in the first version was corrected and everything rewritten, including new material and a conjecture. 6 pages

MSC Class: 40E05

Journal ref: Abh. Math. Semin. Univer. Hamburg 88, 209-216 (2018)

The Prime Number Theorem via Karamata's proof of the Landau-Ingham Tauberian theorem

Authors: Michael Mueger

Abstract: This is an exposition, in 12 pages including all prerequisites and a generalization, of Karamata's little known elementary proof of the Landau-Ingham Tauberian theorem, a result in real analysis from which the Prime Number Theorem follows in a few lines. We believe this to be the most transparent of the elementary proofs of the PNT. This is an exposition, in 12 pages including all prerequisites and a generalization, of Karamata's little known elementary proof of the Landau-Ingham Tauberian theorem, a result in real analysis from which the Prime Number Theorem follows in a few lines. We believe this to be the most transparent of the elementary proofs of the PNT. △ Less

Submitted 19 January, 2015; v1 submitted 11 November, 2013; originally announced November 2013.

Comments: Latex2e, 17 pages, no figures. Proof of Theorem 2.4 has been improved, otherwise minor changes. To appear in L'Enseignement Mathematique

MSC Class: 11A41; 11M45

Journal ref: L'Enseign. Math. 61, 45-69 (2015)

A remark on the invariance of dimension

Authors: Michael Mueger

Abstract: Combining Kulpa's proof of the cubical Sperner lemma and a dimension theoretic idea of van Mill we give a very short proof of the invariance of dimension, i.e. the statement that cubes [0,1]^n, [0,1]^m are homeomorphic if and only if n=m. This note is adapted from lecture notes for a course on general topology. Combining Kulpa's proof of the cubical Sperner lemma and a dimension theoretic idea of van Mill we give a very short proof of the invariance of dimension, i.e. the statement that cubes [0,1]^n, [0,1]^m are homeomorphic if and only if n=m. This note is adapted from lecture notes for a course on general topology. △ Less

Submitted 30 October, 2013; originally announced October 2013.

Comments: latex2e, 8 pages, 1 eps figure

MSC Class: 54F45

Journal ref: Mathem. Semesterberichte 62, 59-68 (2015)

Modular Categories

Authors: Michael Mueger

Abstract: This is a review article on modular categories, extending an invited talk given at the workshop "Categorical (co)algebraic methods in quantum informatics and linguistics", Oxford, October 29-31, 2010. To appear in C. Heunen, M. Sadrzadeh, E. Grefenstette (eds.): Compositional methods in quantum physics and linguistics, Oxford University Press, 2012. This is a review article on modular categories, extending an invited talk given at the workshop "Categorical (co)algebraic methods in quantum informatics and linguistics", Oxford, October 29-31, 2010. To appear in C. Heunen, M. Sadrzadeh, E. Grefenstette (eds.): Compositional methods in quantum physics and linguistics, Oxford University Press, 2012. △ Less

Submitted 20 February, 2012; v1 submitted 31 January, 2012; originally announced January 2012.

Comments: latex2e, 28 pages. Sections 3.1-3.2 improved. Otherwise minor changes

MSC Class: 18D10

The Witt group of non-degenerate braided fusion categories

Authors: Alexei Davydov, Michael Mueger, Dmitri Nikshych, Victor Ostrik

Abstract: We give a characterization of Drinfeld centers of fusion categories as non-degenerate braided fusion categories containing a Lagrangian algebra. Further we study the quotient of the monoid of non-degenerate braided fusion categories modulo the submonoid of the Drinfeld centers and show that its formal properties are similar to those of the classical Witt group. We give a characterization of Drinfeld centers of fusion categories as non-degenerate braided fusion categories containing a Lagrangian algebra. Further we study the quotient of the monoid of non-degenerate braided fusion categories modulo the submonoid of the Drinfeld centers and show that its formal properties are similar to those of the classical Witt group. △ Less

Submitted 6 September, 2011; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 37 pages; many improvements in exposition thanks to the referee suggestions; new section 3.6; new remarks 3.2, 4.12, 5.2, 5.29

Tensor categories: A selective guided tour

Authors: Michael Mueger

Abstract: These are the lecture notes for a short course on tensor categories. The coverage in these notes is relatively non-technical, focussing on the essential ideas. They are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them. Once the basic definitions are given, the focus is mainly on k-linear categories with finite dimensional… ▽ More These are the lecture notes for a short course on tensor categories. The coverage in these notes is relatively non-technical, focussing on the essential ideas. They are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them. Once the basic definitions are given, the focus is mainly on k-linear categories with finite dimensional hom-spaces. Connections with quantum groups and low dimensional topology are pointed out, but these notes have no pretension to cover the latter subjects at any depth. Essentially, these notes should be considered as annotations to the extensive bibliography. △ Less

Submitted 18 June, 2010; v1 submitted 22 April, 2008; originally announced April 2008.

Comments: 57 pages. Notes for a three-hour lecture course. Extensively revised, updated and extended. To appear in Revista de la Unión Matemática Argentina

MSC Class: 18D10; 17B37; 57M27

Journal ref: Revista de la Unión Matemática Argentina 51, 95-163 (2010)

Monoids, Embedding Functors and Quantum Groups

Authors: Michael Müger, Lars Tuset

Abstract: We show that the left regular representation π_l of a discrete quantum group (A,Δ) has the absorbing property and forms a monoid (π_l,\tilde{m},\tildeη) in the representation category Rep(A,Δ). Next we show that an absorbing monoid in an abstract tensor *-category C gives rise to an embedding functor E:C->Vect_C, and we identify conditions on the monoid, satisfied by (π_l,\tilde{m},\tildeη), imp… ▽ More We show that the left regular representation π_l of a discrete quantum group (A,Δ) has the absorbing property and forms a monoid (π_l,\tilde{m},\tildeη) in the representation category Rep(A,Δ). Next we show that an absorbing monoid in an abstract tensor *-category C gives rise to an embedding functor E:C->Vect_C, and we identify conditions on the monoid, satisfied by (π_l,\tilde{m},\tildeη), implying that E is *-preserving. As is well-known, from an embedding functor E: C->\mathrm{Hilb} the generalized Tannaka theorem produces a discrete quantum group (A,Δ) such that C is equivalent to Rep_f(A,Δ). Thus, for a C^*-tensor category C with conjugates and irreducible unit the following are equivalent: (1) C is equivalent to the representation category of a discrete quantum group (A,Δ), (2) C admits an absorbing monoid, (3) there exists a *-preserving embedding functor E: C->\mathrm{Hilb}. △ Less

Submitted 2 February, 2007; v1 submitted 4 April, 2006; originally announced April 2006.

Comments: Final version, to appear in Int. Journ. Math. (Added some references and Subsection 1.2.) Latex2e, 21 pages

MSC Class: 81R50; 18D10

Journal ref: Int. Journ. Math. 19, 1-31 (2008)

Conformal Orbifold Theories and Braided Crossed G-Categories

Authors: Michael Mueger

Abstract: We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree zero subcategory is braided and equivalent to the usual representation category Rep A. Combining this with [29], where Rep A was proven to be modular for a nic… ▽ More We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree zero subcategory is braided and equivalent to the usual representation category Rep A. Combining this with [29], where Rep A was proven to be modular for a nice class of rational conformal models, and with the construction of invariants of G-manifolds in [60], we obtain an equivariant version of the following chain of constructions: Rational CFT -> modular category -> 3-manifold invariant. We then study the relation between GLoc A and the braided (in the usual sense) representation category Rep A^G of the orbifold theory A^G. We prove the equivalence Rep A^G = (GLoc A)^G, which is a rigorous implementation of the insight that one needs to take the twisted representations of A into account in order to determine Rep A^G. In the opposite direction we have GLoc A = Rep A^G \rtimes S, where S \subset Rep A^G is the full subcategory of representations of A^G contained in the vacuum representation of A, and \rtimes refers to the Galois extensions of braided tensor categories of [44,48]. If A is completely rational and G is finite we prove that A has g-twisted representations for every g in G. In the holomorphic case (where Rep A = Vect_C) this allows to classify the possible categories GLoc A and to clarify the role of the twisted quantum doubles D^ω(G) in this context, as will be done in a sequel. We conclude with some remarks on non-holomorphic orbifolds and surprising counterexamples concerning permutation orbifolds. △ Less

Submitted 14 March, 2005; v1 submitted 19 March, 2004; originally announced March 2004.

Comments: Already online on the site of Commun. Math. Phys. Remark 4.16 corrected for the record. latex2e, approx. 38 pages, requires diagrams.tex

MSC Class: 81T40; 18D10

Journal ref: Commun. Math. Phys. 260, 727-762 (2005)

On the center of a compact group

Authors: Michael Mueger

Abstract: We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of isomorphism classes of irreducible representations of G modulo the relations [Z]=[X]\cdot[Y] whenever Z is contained in X \otimes Y. Thus the center Z(G) depends only… ▽ More We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of isomorphism classes of irreducible representations of G modulo the relations [Z]=[X]\cdot[Y] whenever Z is contained in X \otimes Y. Thus the center Z(G) depends only on the representation ring of G. Furthermore, we prove that every `t-map' phi: G^ -> A into an abelian group, i.e. every map satisfying phi(Z)=phi(X)phi(Y) whenever X,Y,Z in G^ and Z\prec X\otimes Y, factors through the restriction map G^ -> Z(G)^. All these results also hold for proalgebraic groups over algebraically closed fields of characteristic zero. △ Less

Submitted 20 April, 2004; v1 submitted 12 December, 2003; originally announced December 2003.

Comments: Some improvements of terminology. Final version, to appear in I.M.R.N. latex2e, 6 pages, uses diagrams.tex

MSC Class: 20E34; 18D10

Journal ref: Int. Math. Res. Notices 2004, no. 51, 2751-2756

Galois extensions of braided tensor categories and braided crossed G-categories

Authors: Michael Mueger

Abstract: We show that the author's notion of Galois extensions of braided tensor categories [22], see also [3], gives rise to braided crossed G-categories, recently introduced for the purposes of 3-manifold topology [31]. The Galois extensions C \rtimes S are studied in detail, and we determine for which g in G non-trivial objects of grade g exist in C \rtimes S. We show that the author's notion of Galois extensions of braided tensor categories [22], see also [3], gives rise to braided crossed G-categories, recently introduced for the purposes of 3-manifold topology [31]. The Galois extensions C \rtimes S are studied in detail, and we determine for which g in G non-trivial objects of grade g exist in C \rtimes S. △ Less

Submitted 23 February, 2004; v1 submitted 9 September, 2002; originally announced September 2002.

Comments: Some comments and references added. Final version, to appear in J. Alg. latex2e, ca. 25 p., requires diagrams.tex

MSC Class: 18D10; 18D35

Journal ref: J. Alg. 277 (2004) 256-281

Representations of algebraic quantum groups and reconstruction theorems for tensor categories

Authors: M. Mueger, J. E. Roberts, L. Tuset

Abstract: We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the Tannaka-Krein reconstruction problem. We show that every concrete semisimple tensor *-category with conjugates is equivalent to the category of finite dimensional non-degenerate *-representations of a discrete algebraic quantum group. Working in the self-dual framework o… ▽ More We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the Tannaka-Krein reconstruction problem. We show that every concrete semisimple tensor *-category with conjugates is equivalent to the category of finite dimensional non-degenerate *-representations of a discrete algebraic quantum group. Working in the self-dual framework of algebraic quantum groups, we then relate this to earlier results of S. L. Woronowicz and S. Yamagami. We establish the relation between braidings and R-matrices in this context. Our approach emphasizes the role of the natural transformations of the embedding functor. Thanks to the semisimplicity of our categories and the emphasis on representations rather than corepresentations, our proof is more direct and conceptual than previous reconstructions. As a special case, we reprove the classical Tannaka-Krein result for compact groups. It is only here that analytic aspects enter, otherwise we proceed in a purely algebraic way. In particular, the existence of a Haar functional is reduced to a well known general result concerning discrete multiplier Hopf *-algebras. △ Less

Submitted 20 March, 2002; originally announced March 2002.

Comments: Latex2e, 43 pages. Uses diagrams.tex V3.88

MSC Class: 16W35; 81R50; 18D10

Journal ref: Alg. Repres. Theor. 7, 517-573 (2004)

On the Structure of Modular Categories

Authors: Michael Mueger

Abstract: For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=s… ▽ More For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=sum_i d(X_i)^2, the X_i being the simple objects. We prove the following double centralizer theorem: Let C be a modular category and K a full tensor subcategory closed w.r.t. direct sums, subobjects and duals. Then C_C(C_C(K))=K and dim(K)dim(C_C(K))=dim(C). We give several applications, the most important being the following. If C is modular and K is a full modular subcategory, then also L=C_C(K) is modular and C is equivalent as a ribbon category to the direct product of K and L. Thus every modular category factorizes (non-uniquely, in general) into prime ones. We study the prime factorizations of the categories D(G)-Mod, where G is a finite abelian group. △ Less

Submitted 3 January, 2002; originally announced January 2002.

Comments: 19 pages, LaTeX2e

MSC Class: 18D10; 57M27

Journal ref: Proc. Lond. Math. Soc. 87 (2003) 291-308

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Authors: Michael Mueger

Abstract: We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple… ▽ More We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of math.CT/0111204) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) in terms of certain finite dimensional algebras, of which Ocneanu's tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}. △ Less

Submitted 19 November, 2001; originally announced November 2001.

Comments: latex2e, ca. 62 pp. Requires diagrams.tex V3.88

Journal ref: J. Pure Appl. Alg. 180, 159-219 (2003)

From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categories

Authors: Michael Mueger

Abstract: We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground fields, and the proof of new results about topological invariants in three dimensions. The central… ▽ More We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground fields, and the proof of new results about topological invariants in three dimensions. The central notion is that of a Frobenius algebra in a tensor category A, which reduces to the classical notion if A=F-Vect, where F is a field. An object X in A with two-sided dual X^ gives rise to a Frobenius algebra in A, and under weak additional conditions we prove a converse: There exists a bicategory E with Obj(E)={X,Y} such that End_E(X,X) is equivalent to A and such that there are J: Y->X, J^: X->Y producing the given Frobenius algebra. Many properties (additivity, sphericity, semisimplicity,...) of A carry over to E. We define weak monoidal Morita equivalence (wMe) of tensor categories and establish a correspondence between Frobenius algebras in A and tensor categories B wMe A. While considerably weaker than equivalence of tensor categories, weak monoidal Morita equivalence of A and B implies (for A,B semisimple and spherical or *-categories) that A and B have the same dimension, braided equivalent `center' (quantum double) and define the same state sum invariants of closed oriented 3-manifolds as defined by Barrett and Westbury. If H is a finite dimensional semisimple and cosemisimple Hopf algebra then H-mod and H^-mod are wMe. The present formalism permits a fairly complete analysis of the quantum double of a semisimple spherical category, which is the subject of the companion paper math.CT/0111205. △ Less

Submitted 17 January, 2002; v1 submitted 19 November, 2001; originally announced November 2001.

Comments: latex2e, ca. 58 pages. Requires diagrams.tex V3.88. Proof of Thm. 6.20 and one reference included

Journal ref: J. Pure Appl. Alg. 180, 81-157 (2003)

Multi-interval Subfactors and Modularity of Representations in Conformal Field Theory

Authors: Yasuyuki Kawahigashi, Roberto Longo, Michael Mueger

Abstract: We describe the structure of the inclusions of factors A(E) contained in A(E')' associated with multi-intervals E of R for a local irreducible net A of von Neumann algebras on the real line satisfying the split property and Haag duality. In particular, if the net is conformal and the subfactor has finite index, the inclusion associated with two separated intervals is isomorphic to the Longo-Rehr… ▽ More We describe the structure of the inclusions of factors A(E) contained in A(E')' associated with multi-intervals E of R for a local irreducible net A of von Neumann algebras on the real line satisfying the split property and Haag duality. In particular, if the net is conformal and the subfactor has finite index, the inclusion associated with two separated intervals is isomorphic to the Longo-Rehren inclusion, which provides a quantum double construction of the tensor category of superselection sectors of A. As a consequence, the index of A(E) in A(E')' coincides with the global index associated with all irreducible sectors, the braiding symmetry associated with all sectors is non-degenerate, namely the representations of A form a modular tensor category, and every sector is a direct sum of sectors with finite dimension. The superselection structure is generated by local data. The same results hold true if conformal invariance is replaced by strong additivity and there exists a modular PCT symmetry. △ Less

Submitted 15 January, 2001; v1 submitted 17 March, 1999; originally announced March 1999.

Comments: 45 pages, AMSLatex 2e. Improvements concerning the exposition. Appendices have been expanded with more details. To appear in Commun. Math. Phys

MSC Class: 46L37 (Primary) 81T05; 46M05 (Secondary)

Journal ref: Commun.Math.Phys.219:631-669,2001

Galois Theory for Braided Tensor Categories and the Modular Closure

Authors: Michael Mueger

Abstract: Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an irreducible unit. (A *-category is a category enriched over Vect_C with positive *-operation.) A Galois correspondence is established between intermediate cat… ▽ More Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an irreducible unit. (A *-category is a category enriched over Vect_C with positive *-operation.) A Galois correspondence is established between intermediate categories sitting between C and C\rtimes S and closed subgroups of the Galois group Gal(C\rtimes S/C)=Aut_C(C\rtimes S) of C, the latter being isomorphic to the compact group associated to S by the duality theorem of Doplicher and Roberts. Denoting by D\subset C the full subcategory of degenerate objects, i.e. objects which have trivial monodromy with all objects of C, the braiding of C extends to a braiding of C\rtimes S iff S\subset D. Under this condition C\rtimes S has no degenerate objects iff S=D. If the original category C is rational (i.e. has only finitely many equivalence classes of irreducible objects) then the same holds for the new one. The category C\rtimes D is called the modular closure of C since in the rational case it is modular, i.e. gives rise to a unitary representation of the modular group SL(2,Z). (In passing we prove that every braided tensor *-category with conjugates automatically is a ribbon category, i.e. has a twist.) If all simple objects of S have dimension one the structure of the category C\rtimes S can be clarified quite explicitly in terms of group cohomology. △ Less

Submitted 5 October, 1999; v1 submitted 7 December, 1998; originally announced December 1998.

Comments: latex2e, 39 pages. Style file included via filecontents command. Final version, to appear in Adv. Math. Purely notational improvements

Journal ref: Adv. Math. 150, 151-201 (2000)

Quantum Double Actions on Operator Algebras and Orbifold Quantum Field Theories

Authors: Michael Mueger

Abstract: Starting from a local quantum field theory with an unbroken compact symmetry group $G$ in 1+1-dimensional spacetime we construct disorder fields implementing gauge transformations on the fields (order variables) localized in a wedge region. Enlarging the local algebras by these disorder fields we obtain a nonlocal field theory, the fixpoint algebras of which under the appropriately extended acti… ▽ More Starting from a local quantum field theory with an unbroken compact symmetry group $G$ in 1+1-dimensional spacetime we construct disorder fields implementing gauge transformations on the fields (order variables) localized in a wedge region. Enlarging the local algebras by these disorder fields we obtain a nonlocal field theory, the fixpoint algebras of which under the appropriately extended action of the group $G$ are shown to satisfy Haag duality in every simple sector. The specifically 1+1 dimensional phenomenon of violation of Haag duality of fixpoint nets is thereby clarified. In the case of a finite group $G$ the extended theory is acted upon in a completely canonical way by the quantum double $D(G)$ and satisfies R-matrix commutation relations as well as a Verlinde algebra. Furthermore, our methods are suitable for a concise and transparent approach to bosonization. The main technical ingredient is a strengthened version of the split property which should hold in all reasonable massive theories. In the appendices (part of) the results are extended to arbitrary locally compact groups and our methods are adapted to chiral theories on the circle. △ Less

Submitted 6 May, 1997; v1 submitted 26 June, 1996; originally announced June 1996.

Comments: Final revision, to appear in Commun. Math. Phys., latex2e, 43 pages

Report number: DESY 96-117

Journal ref: Commun.Math.Phys. 191 (1998) 137-181