Classifying Strictly Weakly Integral Modular Categories of Dimension 16p
|
|
- Barry Gibbs
- 5 years ago
- Views:
Transcription
1 Classifying Strictly Weakly Integral Modular Categories of Dimension 16p Elena Amparo College of William and Mary July 18, 2017 Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
2 Categories Category C A class of objects Ob(C) A class of associative morphisms Hom C (X, Y ) between each pair of objects X, Y Ob(C) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
3 Fusion Categories lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
4 Fusion Categories Abelian C-linear lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
5 Fusion Categories Abelian C-linear Monoidal (Ob(C),, 1) is a monoid lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
6 Fusion Categories Abelian C-linear Monoidal (Ob(C),, 1) is a monoid Rigid every object X has left and right duals X lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
7 Fusion Categories Abelian C-linear Monoidal (Ob(C),, 1) is a monoid Rigid every object X has left and right duals X Semisimple All objects are direct sums of simple objects lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
8 Fusion Categories Abelian C-linear Monoidal (Ob(C),, 1) is a monoid Rigid every object X has left and right duals X Semisimple All objects are direct sums of simple objects Finite rank Finitely many isomorphism classes of simple objects Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
9 Fusion Categories Abelian C-linear Monoidal (Ob(C),, 1) is a monoid Rigid every object X has left and right duals X Semisimple All objects are direct sums of simple objects Finite rank Finitely many isomorphism classes of simple objects 1 is simple Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
10 Modular Categories Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
11 Modular Categories Definition A fusion category C is braided if there is a family of natural isomorphisms C X,Y : X Y Y X satisfying the hexagon axioms. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
12 Modular Categories Definition A fusion category C is braided if there is a family of natural isomorphisms C X,Y : X Y Y X satisfying the hexagon axioms. Definition The Müger center of a braided fusion category C is defined Z 2 (C) = {X C : C Y,X C X,Y = id X Y Y C} Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
13 Modular Categories Definition A fusion category C is braided if there is a family of natural isomorphisms C X,Y : X Y Y X satisfying the hexagon axioms. Definition The Müger center of a braided fusion category C is defined Z 2 (C) = {X C : C Y,X C X,Y = id X Y Y C} Definition A modular category is a braided, spherical fusion category with trivial Müger center. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
14 Classifying Modular Categories Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
15 Classifying Modular Categories Determine the number of simple objects of each dimension Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
16 Classifying Modular Categories Determine the number of simple objects of each dimension Determine fusion rules X i X j = N X k X i,x j X k N X k X i,x j = [X i X j : X k ] Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
17 Frobenius-Perron Dimension Definition The Frobenius-Perron Dimension of a simple object X is the largest nonnegative eigenvalue of the matrix N X of left-multiplication by X. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
18 Frobenius-Perron Dimension Definition The Frobenius-Perron Dimension of a simple object X is the largest nonnegative eigenvalue of the matrix N X of left-multiplication by X. Definition The Frobenius-Perron Dimension of a category C is FPDim(X i ) 2 summed over all isomorphism classes of simple objects X i C. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
19 Frobenius-Perron Dimension Definition The Frobenius-Perron Dimension of a simple object X is the largest nonnegative eigenvalue of the matrix N X of left-multiplication by X. Definition The Frobenius-Perron Dimension of a category C is FPDim(X i ) 2 summed over all isomorphism classes of simple objects X i C. Definition A simple object X is invertible if FPDim(X ) = 1. Equivalently, X X = 1 = X X. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
20 Frobenius-Perron Dimension FPDim(X Y ) = FPDim(X ) + FPDim(Y ) FPDim(X Y ) = FPDim(X )FPDim(Y ) FPDim(X ) = FPDim(X ) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
21 Integral and Weakly Integral Fusion Categories A fusion category C is: pointed if FPDim(X i ) = 1 for all simple X i C integral if FPDim(X i ) Z for all simple X i C weakly integral if FPDim(C) Z Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
22 Integral and Weakly Integral Fusion Categories A fusion category C is: pointed if FPDim(X i ) = 1 for all simple X i C integral if FPDim(X i ) Z for all simple X i C weakly integral if FPDim(C) Z In a weakly integral modular category C: FPDim(X i ) 2 FPDim(C) for all simple objects X i C FPDim(X i ) = n for some n Z + Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
23 Grading of a Fusion Category Definition A fusion category C is graded by a group G if: C = g G C g for abelian subcategories C g C g C h C gh for all g, h G Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
24 Grading of a Fusion Category Definition A fusion category C is graded by a group G if: C = g G C g for abelian subcategories C g C g C h C gh for all g, h G A grading is called faithful if all C g are nonempty. In a faithful grading, all components have dimension FPDim(C) G If a simple object X C g, then X C g 1 C e C ad, the smallest fusion subcategory containing X X for all simple X Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
25 Grading of a Fusion Category Universal Grading Every fusion category is faithfully graded by its universal grading group, U(C) Every faithful grading is a quotient of U(C) In a modular category, U(C) = G(C) C e = C ad Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
26 Grading of a Fusion Category Universal Grading Every fusion category is faithfully graded by its universal grading group, U(C) Every faithful grading is a quotient of U(C) In a modular category, U(C) = G(C) C e = C ad GN-Grading A weakly integral fusion category is faithfully graded by an elementary abelian 2-group E Simple objects are partitioned by dimension: For each g E, there is a distinct square-free positive integer n g with n e = 1 and FPDim(X ) n g Z for all simple X C g C e = C int Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
27 Fusion Rules For a simple object X, X X = 1 C ad y 1 y X =X y z C ad z >1 N z X,X z Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
28 FPDim(C) = 16p FPdim(X i ) {1, 2, 4, 2, 2 2, p, 2 p, 4 p, 2p, 2 2p} for all simple X i ng {1, 2, p, 2p} E {2, 4} Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
29 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
30 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C int = C E Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
31 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C int = C E C int = a + 4b + 16c Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
32 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C int = C E C int = a + 4b + 16c a = C pt = U(C) C pt C int Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
33 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C int = C E C int = a + 4b + 16c a = C pt = U(C) C pt C int E U(C) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
34 FPDim(C) = 16p, GN-Grading dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C int = C E C int = a + 4b + 16c a = C pt = U(C) C pt C int E U(C) E = 2 a {4, 4p, 8, 8p} E = 4 a {4, 4p} Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
35 Example case: E = 2, a = 8 dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C g = 2p = a g + 4b g + 16c g 4 2 lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
36 Example case: E = 2, a = 8 dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C g = 2p = a g + 4b g + 16c g 4 2 a g = 2 in all integral components lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
37 Example case: E = 2, a = 8 dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C g = 2p = a g + 4b g + 16c g 4 2 a g = 2 in all integral components (C ad ) pt = {1, g} = g g is either modular or symmetric lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
38 Example case: E = 2, a = 8 dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n C g = 2p = a g + 4b g + 16c g 4 2 a g = 2 in all integral components (C ad ) pt = {1, g} = g g is either modular or symmetric If g is symmetric, it is either svec or Rep(Z 2 ) lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
39 Case i: B = g is modular Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
40 Case i: B = g is modular For a fusion subcategory D C, we denote the relative center by Z C (D) = {X C : C Y,X C X,Y = id X Y Y D} Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
41 Case i: B = g is modular For a fusion subcategory D C, we denote the relative center by Z C (D) = {X C : C Y,X C X,Y = id X Y Y D} If D C are both modular, then Z C (D) is also modular and C = D Z C (D). Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
42 Case i: B = g is modular For a fusion subcategory D C, we denote the relative center by Z C (D) = {X C : C Y,X C X,Y = id X Y Y D} If D C are both modular, then Z C (D) is also modular and C = D Z C (D). C = B Z C (B) Z C (B) = 8p classified by Bruilliard, Plavnik, and Rowell Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
43 Case ii: g =svec Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
44 Case ii: g =svec If C is modular, then C pt = Z C (C ad ). Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
45 Case ii: g =svec If C is modular, then C pt = Z C (C ad ). If D is premodular and g = svec Z C (D), then g X X for all simple X D. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
46 Case ii: g =svec If C is modular, then C pt = Z C (C ad ). If D is premodular and g = svec Z C (D), then g X X for all simple X D. g = svec C pt = Z C (C ad ) g stabilizes the simple objects of dimension 2 and 4 in C ad, a contradiction Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
47 Case iii: g = Rep(Z 2 ) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
48 Case iii: g = Rep(Z 2 ) Z 2 -de-equivariantization of C new fusion category C Z2 with FPDim(C Z2 ) = FPDim(C) 2 for each simple X C such that g X = X, there are two simple objects in C Z2 with dimension FPDim(X ) 2 for each pair of simple objects X Y such that g X = Y (and g Y = X ), there is one simple object in C Z2 with dimension FPDim(X ) = FPDim(Y ) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
49 Case iii: g = Rep(Z 2 ) dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n The non-integral components of the universal grading of C have either f g 4 p, d g = p fg 4 h g = 2 m g = 1 Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
50 Case iii: g = Rep(Z 2 ) dim p 2 p 4 p 2p 2 2p # simples a b c f d h k l m n The non-integral components of the universal grading of C have either f g 4 p, d g = p fg 4 h g = 2 m g = 1 Simple objects of dimension 2 and 2p are stabilized by g by parity. But 2 2 and 2p 2 cannot be the dimensions of simple objects in a fusion category. So the non-integral component of C must have simple objects of dimension p. Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
51 Case iii: g = Rep(Z 2 ) dim p # simples a b c h Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
52 Case iii: g = Rep(Z 2 ) a = 4 + 2b b = 2c h = 4 dim p # simples a b c h Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
53 Case iii: g = Rep(Z 2 ) a = 4 + 2b b = 2c h = 4 (C Z2 ) int = 4p = 4 + 2b + 8c 2 b dim p # simples a b c h Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
54 Case iii: g = Rep(Z 2 ) a = 4 + 2b b = 2c h = 4 dim p # simples a b c h (C Z2 ) int = 4p = 4 + 2b + 8c 2 b (C Z2 ) pt (C Z2 ) int 4(1 + b p 1 2 ) 4p (b, c) {(0, 2 ), (2p 2, 0)} Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
55 Case iii: g = Rep(Z 2 ) (b, c) {(0, p 1 2 ), (2p 2, 0)} a = 4 + 2b = 4p b = 2c = 0 h = 4 C ad has only two invertibles, so there can be no simple objects of dimension 4 without simple objects of dimension 2. lena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
56 Case iii: g = Rep(Z 2 ) (b, c) {(0, p 1 2 ), (2p 2, 0)} a = 4 + 2b = 4p b = 2c = 0 h = 4 C ad has only two invertibles, so there can be no simple objects of dimension 4 without simple objects of dimension 2. C Z2 is a generalized Tambara-Yamagami category: Generalized Tambara-Yamagami Category non-pointed fusion category the tensor product of two non-invertible simple objects is a direct sum of invertible objects Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
57 Acknowledgements Mentor: Dr. Julia Plavnik TAs: Paul Gustafson, Ola Sobieska Collaborators: Katie Lee REU hosted by Texas A&M University and funded by the National Science Foundation (REU grant DMS ) Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
58 References P. Bruillard, C. Galindo, S.-M. Hong, Y. Kashina, D. Naidu, S. Natale, J. Y. Plavnik, and E. C. Rowell. Classification of integral modular categories of Frobenius-Perron dimension pq 4 and p 2 q P. Bruillard, C. Galindo, S.-H. Ng, J. Plavnik, E. C. Rowell, and Z. Wang. On the classification of weakly integral modular categories P. Bruillard, J. Y. Plavnik, and E. C. Rowell. Modular categories of dimension p 3 m with m square-free P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik. Tensor Categories. American Mathematical Society, Elena Amparo (College of William and Mary)Classifying Strictly Weakly Integral Modular Categories of Dimension July 18, 16p / 23
Classification of Strictly Weakly Integral Modular Categories of Dimension 16p
Classification of Strictly Weakly Integral Modular Categories of Dimension 16p Elena Amparo July 20, 2017 Abstract A modular category is a non-degenerate braided fusion category equipped with a ribbon
More informationarxiv: v1 [math.qa] 14 Jan 2019
INTEGRAL METAPLECTIC MODULAR CATEGORIES arxiv:1901.0446v1 [math.qa] 14 Jan 019 ADAM DEATON, PAUL GUSTAFSON, LESLIE MAVRAKIS, ERIC C. ROWELL, SASHA POLTORATSKI, SYDNEY TIMMERMAN, BENJAMIN WARREN, AND QING
More informationSOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM
SOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM PAVEL ETINGOF The goal of this talk is to explain the classical representation-theoretic proof of Burnside s theorem in finite group theory,
More informationModular Categories and Applications I
I Modular Categories and Applications I Texas A&M University U. South Alabama, November 2009 Outline I 1 Topological Quantum Computation 2 Fusion Categories Ribbon and Modular Categories Fusion Rules and
More informationGENERALIZED NEAR-GROUP CATEGORIES JOSIAH E. THORNTON A DISSERTATION
GENERALIZED NEAR-GROUP CATEGORIES by JOSIAH E. THORNTON A DISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment of the requirements
More informationarxiv: v3 [math.qa] 25 Feb 2010
ON BRAIDED FUSION CATEGORIES I arxiv:0906.0620v3 [math.qa] 25 Feb 2010 VLADIMIR DRINFELD, SHLOMO GELAKI, DMITRI NIKSHYCH, AND VICTOR OSTRIK To Yuri Ivanovich Manin with admiration Abstract. We introduce
More informationarxiv: v3 [math.qa] 29 Sep 2014
FROBENIUS PROPERTY FOR FUSION CATEGORIES OF SMALL INTEGRAL DIMENSION arxiv:1209.1726v3 [math.qa] 29 Sep 2014 JINGCHENG DONG, SONIA NATALE, AND LEANDRO VENDRAMIN Abstract. Let k be an algebraically closed
More informationResearch Statement. Seung-Moon Hong Department of Mathematics and Statistics University of Toledo
esearch Statement Seung-Moon Hong Department of Mathematics and Statistics University of Toledo seungmoon.hong@utoledo.edu 1. Introduction Quantum topology/algebra has developed over the last few decades
More informationMonoidal categories enriched in braided monoidal categories
Monoidal categories enriched in braided monoidal categories AMS JMM Special Session on Fusion Categories and Quantum Symmetries David Penneys joint with Scott Morrison January 5, 2017 Linear categories
More informationSubfactors and Modular Tensor Categories
UNSW Topological matter, strings, K-theory and related areas University of Adelaide September 2016 Outline Motivation What is a modular tensor category? Where do modular tensor categories come from? Some
More informationTopological Quantum Computation, Yang-Baxter Operators and. Operators and Modular Categories
Topological Quantum Computation, Yang-Baxter Operators and Modular Categories March 2013, Cordoba, Argentina Supported by USA NSF grant DMS1108725 Joint work with C. Galindo, P. Bruillard, R. Ng, S.-M.
More informationDefects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter
Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter Iris Cong, Meng Cheng, Zhenghan Wang cong@g.harvard.edu Department of Physics Harvard University, Cambridge, MA January 13th,
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationCategory theory in TQFT
Category theory in TQFT Ethan Lake October 30, 2016 These notes are a summary of some of the aspects of category theory that play an important role in topological field theory, topological quantum computation,
More informationON THE CLASSIFICATION OF THE GROTHENDIECK RINGS OF NON-SELF-DUAL MODULAR CATEGORIES
ON THE CLASSIFICATION OF THE GROTHENDIECK RINGS OF NON-SELF-DUAL MODULAR CATEGORIES SEUNG-MOON HONG AND ERIC ROWELL Abstract. We develop a symbolic computational approach to classifying lowrank modular
More informationA QUATERNIONIC BRAID REPRESENTATION (AFTER GOLDSCHMIDT AND JONES)
A QUATERNIONIC BRAID REPRESENTATION (AFTER GOLDSCHMIDT AND JONES) ERIC C. ROWELL Abstract. We show that the braid group representations associated with the (3, 6)-quotients of the Hecke algebras factor
More informationReductions of Tensor Categories Modulo Primes
Reductions of Tensor Categories Modulo Primes The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Etingof,
More informationarxiv: v1 [math.qa] 6 Apr 2015
EXACT SEQUENCES OF TENSOR CATEGORIES WITH RESPECT TO A ODULE CATEGORY arxiv:1504.01300v1 [math.qa] 6 Apr 2015 PAVEL ETINGOF AND SHLOO GELAKI Abstract. We generalize the definition of an exact sequence
More informationarxiv: v2 [math.qa] 6 Nov 2008
ON FORMAL CODEGREES OF FUSION CATEGORIES arxiv:0810.3242v2 [math.qa] 6 Nov 2008 VICTOR OSTRIK Abstract. We prove a general result which implies that the global and Frobenius- Perron dimensions of a fusion
More informationTENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik
TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik Contents 1. Monoidal categories 4 1.1. The definition of a monoidal category 4 1.2. Basic properties of unit objects in monoidal categories
More informationWeak quasi Hopf algebras, tensor C -categories and conformal field theory
Weak quasi Hopf algebras, tensor C -categories and conformal field theory Claudia Pinzari Sapienza Università di Roma On Noncommutativity and Physics: Hopf algebras in Noncommutative Geometry Bayrischzell
More informationON CLASSIFICATION OF MODULAR CATEGORIES BY RANK PAUL BRUILLARD, SIU-HUNG NG, ERIC C. ROWELL, AND ZHENGHAN WANG
ON CLASSIFICATION OF MODULAR CATEGORIES BY RANK PAUL BRUILLARD, SIU-HUNG NG, ERIC C. ROWELL, AND ZHENGHAN WANG Abstract. The feasibility of a classification-by-rank program for modular categories follows
More informationUniversity of California, Santa Barbara, CA U.S.A. h)
Fermionic modular categories and the 16-fold Way Paul Bruillard, 1, a) César Galindo, 2, b) Tobias Hagge, 1, c) Siu-Hung Ng, 3, d) Julia Yael Plavnik, 4, e) Eric C. Rowell, 4, f) 5, g) and Zhenghan Wang
More informationFrom Hypergroups to Anyonic Twines. Jesse Liptrap
1 From Hypergroups to Anyonic Twines Jesse Liptrap Outline Feudal hypergroups Feudal fusion categories Fermionic Moore-Read twines Fractional quantum Hall wavefunctions 3 Outline Feudal hypergroups Feudal
More informationLOCALIZATION OF UNITARY BRAID GROUP REPRESENTATIONS
LOCALIZATION OF UNITARY BRAID GROUP REPRESENTATIONS ERIC C. ROWELL AND ZHENGHAN WANG Abstract. Governed by locality, we explore a connection between unitary braid group representations associated to a
More informationFrobenius-Perron Theory of Endofunctors
March 17th, 2018 Recent Developments in Noncommutative Algebra and Related Areas, Seattle, WA Throughout let k be an algebraically closed field. Throughout let k be an algebraically closed field. The Frobenius-Perron
More informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
More informationDefects in topological field theory: from categorical tools to applications in physics and representation theory
Defects in topological field theory: from categorical tools to applications in physics and representation theory Christoph Schweigert Mathematics Department Hamburg University based on work with Jürgen
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationThe Frobenius-Schur indicator of Tambara- Yamagami categories
Graduate Theses and Dissertations Iowa State University Capstones, Theses and Dissertations 2014 The Frobenius-Schur indicator of Tambara- Yamagami categories Ryan T. Johnson Iowa State University Follow
More informationAuslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~) ccxi/
International Conference on Operads and Universal Algebra, Tianjin, China, July 5-9, 2010. Auslander- and derived Changchang Xi ( ~) xicc@bnu.edu.cn http://math.bnu.edu.cn/ ccxi/ Abstract In this talk,
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
More informationPast Research Sarah Witherspoon
Past Research Sarah Witherspoon I work on the cohomology, structure, and representations of various types of rings, such as Hopf algebras and group-graded algebras. My research program has involved collaborations
More informationarxiv: v2 [math.rt] 16 Feb 2016
HILBERT BASIS THEOREM AND FINITE GENERATION OF INVARIANTS IN SYMMETRIC FUSION CATEGORIES IN POSITIVE CHARACTERISTIC SIDDHARTH VENKATESH arxiv:1507.05142v2 [math.rt] 16 Feb 2016 Abstract. In this paper,
More informationModeling and Classification of Topological Phases of Matter. Zhenghan Wang Microsoft Station Q & UC Santa Barbara Texas, March 24, 2015
Modeling and Classification of Topological Phases of Matter Zhenghan Wang Microsoft Station Q & UC Santa Barbara Texas, March 24, 2015 Microsoft Station Q Search for non-abelian anyons in topological phases
More informationarxiv: v1 [math.ra] 16 Dec 2018
FROBENIUS-PERRON DIMENSIONS OF INTEGRAL Z + -RINGS AND APPLICATIONS arxiv:1812.06556v1 [math.ra] 16 Dec 2018 PAVEL ETINGOF Abstract. We introduce the notion of the Frobenius-Perron dimension of an integral
More informationThe Structure of Fusion Categories via Topological Quantum Field Theories
The Structure of Fusion Categories via Topological Quantum Field Theories Chris Schommer-Pries Department of Mathematics, MIT April 27 th, 2011 Joint with Christopher Douglas and Noah Snyder Chris Schommer-Pries
More informationCategories, Functors, Natural Transformations
Some Definitions Everyone Should Know John C. Baez, July 6, 2004 A topological quantum field theory is a symmetric monoidal functor Z: ncob Vect. To know what this means, we need some definitions from
More informationSupercategories. Urs July 5, Odd flows and supercategories 4. 4 Braided monoidal supercategories 7
Supercategories Urs July 5, 2007 ontents 1 Introduction 1 2 Flows on ategories 2 3 Odd flows and supercategories 4 4 Braided monoidal supercategories 7 1 Introduction Motivated by the desire to better
More informationarxiv: v2 [math.ct] 12 Oct 2016
THE CENTER FUNCTOR IS FULLY FAITHFUL arxiv:1507.00503v2 [math.ct] 12 Oct 2016 Liang Kong a,b,c, Hao Zheng d 1 a Department of Mathematics and Statistics University of New Hampshire, Durham, NH 03824, USA
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationHolomorphic symplectic fermions
Holomorphic symplectic fermions Ingo Runkel Hamburg University joint with Alexei Davydov Outline Investigate holomorphic extensions of symplectic fermions via embedding into a holomorphic VOA (existence)
More informationTENSOR CATEGORIES IN RATIONAL AND NON-RATIONAL CFT
TENSOR CATEGORIES IN RATIONAL AND NON-RATIONAL CFT J urg hs c en Fu STRASBOURG 10 06 06 p.1/36 TENSOR CATEGORIES IN RATIONAL AND NON-RATIONAL CFT J urg hs c en Fu STRASBOURG 10 06 06 p.1/36 TENSOR CATEGORIES
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationCorrect classes of modules
Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C
More informationSerre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories
Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/0701165 0. Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors 0. Notation k denotes a (ground)
More informationAspects of duality in 2-categories
Aspects of duality in 2-categories Bruce Bartlett PhD student, supervisor Simon Willerton Sheffield University Categories, Logic and Foundations of Physics Imperial College 14th May 2008 Introduction Basic
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationHOPF AUTOMORPHISMS AND TWISTED EXTENSIONS
HOPF AUTOMORPHISMS AND TWISTED EXTENSIONS SUSAN MONTGOMERY, MARIA D. VEGA, AND SARAH WITHERSPOON Abstract. We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra
More informationGraded modules over generalized Weyl algebras
Graded modules over generalized Weyl algebras Advancement to Candidacy Robert Won Advised by: Dan Rogalski December 4, 2014 1 / 41 Overview 1 Preliminaries Graded rings and modules Noncommutative things
More informationCommutative Algebra. Timothy J. Ford
Commutative Algebra Timothy J. Ford DEPARTMENT OF MATHEMATICS, FLORIDA ATLANTIC UNIVERSITY, BOCA RA- TON, FL 33431 Email address: ford@fau.edu URL: http://math.fau.edu/ford Last modified January 9, 2018.
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationReconsidering MacLane. Peter M. Hines
Reconsidering MacLane Coherence for associativity in infinitary and untyped settings Peter M. Hines Oxford March 2013 Topic of the talk: Pure category theory... for its own sake. This talk is about the
More informationCategorical quantum mechanics
Categorical quantum mechanics Chris Heunen 1 / 76 Categorical Quantum Mechanics? Study of compositional nature of (physical) systems Primitive notion: forming compound systems 2 / 76 Categorical Quantum
More informationA Study of Equivariant Hopf Algebras and Tensor Categories
A Study of Equivariant Hopf Algebras and Tensor Categories through Topological Field Theories Dissertation zur Erlangung des Doktorgrades der Fakultät für Mathematik, Informatik und Naturwissenschaften
More informationTopological field theories and fusion categories. Scott Morrison. Sydney Quantum Information Workshop 3 February
(Kevin Walker) Sydney Quantum Information Workshop 3 February 2016 https://tqft.net/coogee-2016 What are 2-dimensional topological field theories? Local 2-d TQFTs fusion categories. A progress report on
More informationHopf Algebras of Dimension p 2
Hopf Algebras of Dimension p 2 Siu-Hung Ng Mathematics Department, Towson University, Baltimore, MD 21252 Abstract Let p be a prime number. It is known that any non-semisimple Hopf algebra of dimension
More informationarxiv:math/ v1 [math.qa] 11 Feb 2003
arxiv:math/030130v1 [math.qa] 11 Feb 003 MODULE CATEGORIES OVER REPRESENTATIONS OF SL q () AND GRAPHS PAVEL ETINGOF AND VIKTOR OSTRIK Abstract. We classify module categories over the category of representations
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationMatilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism
Noncommutative numerical motives and the Tannakian formalism 2011 Motives and Noncommutative motives Motives (pure): smooth projective algebraic varieties X cohomology theories H dr, H Betti, H etale,...
More informationHomework 2 /Solutions
MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element
More informationPartial Transformations: Semigroups, Categories and Equations. Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010
1 Partial Transformations: Semigroups, Categories and Equations Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010 2 What is a zero? 0 S, 0x =0=x0 0 XY : X Y, W f X 0 XY Y g
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationBurnside rings and fusion systems
university of copenhagen Burnside rings and fusion systems Sune Precht Reeh Centre for Symmetry and Deformation Department of Mathematical Sciences UC Santa Cruz, May 21, 2014 Slide 1/16 The Burnside ring
More informationCATEGORICAL STRUCTURES IN CONFORMAL FIELD THEORY
CATEGORICAL STRUCTURES IN CONFORMAL FIELD THEORY J urg hs c en Fu 01 05 07 p.1/32 CATEGORICAL STRUCTURES IN CONFORMAL FIELD THEORY J urg hs c en Fu 01 05 07 p.1/32 CATEGORICAL STRUCTURES IN CONFORMAL FIELD
More informationThe Hecke category (part II Satake equivalence)
The Hecke category (part II Satake equivalence) Ryan Reich 23 February 2010 In last week s lecture, we discussed the Hecke category Sph of spherical, or (Ô)-equivariant D-modules on the affine grassmannian
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationAnyonic Quantum Computing
Anyonic Quantum Computing 1. TQFTs as effective theories of anyons 2. Anyonic models of quantum computing (anyon=particle=quasi-particle) Topological quantum computation: 1984 Jones discovered his knot
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationarxiv: v1 [math.ra] 16 Dec 2014
arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and
More informationTopological Quantum Computation. Zhenghan Wang Microsoft Station Q & UC Sana Barbara Texas, March 26, 2015
Topological Quantum Computation Zhenghan Wang Microsoft Station Q & UC Sana Barbara Texas, March 26, 2015 Classical Physics Turing Model Quantum Mechanics Quantum Computing Quantum Field Theory??? String
More informationRemarks on Fully Extended 3-Dimensional Topological Field Theories
Remarks on Fully Extended 3-Dimensional Topological Field Theories Dan Freed University of Texas at Austin June 6, 2011 Work in progress with Constantin Teleman Manifolds and Algebra: Abelian Groups Pontrjagin
More informationOn set-theoretic solutions to the Yang-Baxter equation. Victoria LEBED (Nantes) with Leandro VENDRAMIN (Buenos Aires)
On set-theoretic solutions to the Yang-Baxter equation Victoria LEBED (Nantes) with Leandro VENDRAMIN (Buenos Aires) Turin, January 2016 1 Yang-Baxter equation X: vector space, ff : X 2 X 2. Yang-Baxter
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationStochastic Processes (Week 6)
Stochastic Processes (Week 6) October 30th, 2014 1 Discrete-time Finite Markov Chains 2 Countable Markov Chains 3 Continuous-Time Markov Chains 3.1 Poisson Process 3.2 Finite State Space 3.2.1 Kolmogrov
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationSaturated fusion systems with parabolic families
Saturated fusion systems with parabolic families Silvia Onofrei The Ohio State University AMS Fall Central Sectional Meeting, Saint Louis, Missouri, 19-21 October 2013 Basics on Fusion Systems A fusion
More informationarxiv:math/ v2 [math.qa] 18 Nov 2003
HOPF ALGEBRAS OF DIMENSION 2p SIU-HUNG NG arxiv:math/0311291v2 [math.qa] 18 Nov 2003 Abstract. Let H be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If H is
More informationMath 110, Summer 2012: Practice Exam 1 SOLUTIONS
Math, Summer 22: Practice Exam SOLUTIONS Choose 3/5 of the following problems Make sure to justify all steps in your solutions Let V be a K-vector space, for some number field K Let U V be a nonempty subset
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More informationarxiv: v1 [math.qa] 17 May 2017
MATHEMATICS OF TOPOLOGICAL QUANTUM COMPUTING ERIC C. ROWELL AND ZHENGHAN WANG arxiv:1705.06206v1 [math.qa] 17 May 2017 Abstract. In topological quantum computing, information is encoded in knotted quantum
More informationHecke modifications. Aron Heleodoro. May 28, 2013
Hecke modifications Aron Heleodoro May 28, 2013 1 Introduction The interest on Hecke modifications in the geometrical Langlands program comes as a natural categorification of the product in the spherical
More informationHigher Structures in Topological Quantum Field Theory
INSTITUTE OF MATHEMATICS UNIVERSITY OF ZÜRICH Higher Structures in Topological Quantum Field Theory Habilitationsschrift submitted to the faculty of Science of the University of Zürich by Dr. Alessandro
More informationON SECOND COHOMOLOGY OF DUALS OF COMPACT GROUPS
ON SECOND COHOMOLOGY OF DUALS OF COMPACT GROUPS SERGEY NESHVEYEV AND LARS TUSET Abstract. We show that for any compact connected group G the second cohomology group defined by unitary invariant 2-cocycles
More informationMATHEMATICS OF TOPOLOGICAL QUANTUM COMPUTING. 1. Introduction
MATHEMATICS OF TOPOLOGICAL QUANTUM COMPUTING ERIC C. ROWELL AND ZHENGHAN WANG Abstract. In topological quantum computing, information is encoded in knotted quantum states of topological phases of matter,
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationEnriched Categories. Stephen Fitz
Enriched Categories Stephen Fitz Abstract I will introduce some of the basic concepts of Enriched Category Theory with examples of enriched categories. Contents 1 Enriched Categories 2 1.1 Introduction..............................
More information