Classifying Strictly Weakly Integral Modular Categories of Dimension 16p

Size: px
Start display at page:

Download "Classifying Strictly Weakly Integral Modular Categories of Dimension 16p"

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 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 information

arxiv: v1 [math.qa] 14 Jan 2019

arxiv: 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 information

SOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM

SOLVABLE 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 information

Modular Categories and Applications I

Modular 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 information

GENERALIZED NEAR-GROUP CATEGORIES JOSIAH E. THORNTON A DISSERTATION

GENERALIZED 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 information

arxiv: v3 [math.qa] 25 Feb 2010

arxiv: 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 information

arxiv: v3 [math.qa] 29 Sep 2014

arxiv: 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 information

Research Statement. Seung-Moon Hong Department of Mathematics and Statistics University of Toledo

Research 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 information

Monoidal categories enriched in braided monoidal categories

Monoidal 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 information

Subfactors and Modular Tensor Categories

Subfactors 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 information

Topological Quantum Computation, Yang-Baxter Operators and. Operators and Modular Categories

Topological 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 information

Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter

Defects 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 information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus 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 information

Category theory in TQFT

Category 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 information

ON 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 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 information

A QUATERNIONIC BRAID REPRESENTATION (AFTER GOLDSCHMIDT AND JONES)

A 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 information

Reductions of Tensor Categories Modulo Primes

Reductions 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 information

arxiv: v1 [math.qa] 6 Apr 2015

arxiv: 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 information

arxiv: v2 [math.qa] 6 Nov 2008

arxiv: 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 information

TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik

TENSOR 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 information

Weak quasi Hopf algebras, tensor C -categories and conformal field theory

Weak 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 information

ON 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 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 information

University of California, Santa Barbara, CA U.S.A. h)

University 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 information

From Hypergroups to Anyonic Twines. Jesse Liptrap

From 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 information

LOCALIZATION OF UNITARY BRAID GROUP REPRESENTATIONS

LOCALIZATION 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 information

Frobenius-Perron Theory of Endofunctors

Frobenius-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 information

Lecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.

Lecture 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 information

Defects 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 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 information

Quantizations and classical non-commutative non-associative algebras

Quantizations 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 information

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY 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 information

The Frobenius-Schur indicator of Tambara- Yamagami categories

The 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 information

Auslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~) ccxi/

Auslander-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 information

Noncommutative motives and their applications

Noncommutative 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 information

Past Research Sarah Witherspoon

Past 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 information

arxiv: v2 [math.rt] 16 Feb 2016

arxiv: 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 information

Modeling 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 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 information

arxiv: v1 [math.ra] 16 Dec 2018

arxiv: 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 information

The Structure of Fusion Categories via Topological Quantum Field Theories

The 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 information

Categories, Functors, Natural Transformations

Categories, 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 information

Supercategories. Urs July 5, Odd flows and supercategories 4. 4 Braided monoidal supercategories 7

Supercategories. 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 information

arxiv: v2 [math.ct] 12 Oct 2016

arxiv: 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 information

MATH 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. 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 information

Holomorphic symplectic fermions

Holomorphic 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 information

TENSOR CATEGORIES IN RATIONAL AND NON-RATIONAL CFT

TENSOR 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 information

D-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 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 information

Correct classes of modules

Correct 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 information

Serre 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/ 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 information

Aspects of duality in 2-categories

Aspects 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 information

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

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 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 information

HOPF AUTOMORPHISMS AND TWISTED EXTENSIONS

HOPF 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 information

Graded modules over generalized Weyl algebras

Graded 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 information

Commutative Algebra. Timothy J. Ford

Commutative 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 information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note 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 information

Reconsidering MacLane. Peter M. Hines

Reconsidering 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 information

Categorical quantum mechanics

Categorical 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 information

A Study of Equivariant Hopf Algebras and Tensor Categories

A 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 information

Topological field theories and fusion categories. Scott Morrison. Sydney Quantum Information Workshop 3 February

Topological 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 information

Hopf Algebras of Dimension p 2

Hopf 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 information

arxiv:math/ v1 [math.qa] 11 Feb 2003

arxiv: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 information

Introduction to Groups

Introduction 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 information

Matilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism

Matilde 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 information

Homework 2 /Solutions

Homework 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 information

Partial Transformations: Semigroups, Categories and Equations. Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010

Partial 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 information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES 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 information

Burnside rings and fusion systems

Burnside 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 information

CATEGORICAL STRUCTURES IN CONFORMAL FIELD THEORY

CATEGORICAL 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 information

The Hecke category (part II Satake equivalence)

The 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 information

Categories and functors

Categories 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 information

Exercises on chapter 4

Exercises 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 information

Anyonic Quantum Computing

Anyonic 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 information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC 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 information

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

MATH 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 information

Commutative algebra and representations of finite groups

Commutative 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 information

arxiv: v1 [math.ra] 16 Dec 2014

arxiv: 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 information

Topological 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 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 information

Remarks on Fully Extended 3-Dimensional Topological Field Theories

Remarks 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 information

On 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) 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 information

Math 250: Higher Algebra Representations of finite groups

Math 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 information

Stochastic Processes (Week 6)

Stochastic 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 information

Lecture 17: Invertible Topological Quantum Field Theories

Lecture 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 information

An 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 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 information

Notes on p-divisible Groups

Notes 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 information

A Little Beyond: Linear Algebra

A 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 information

Saturated fusion systems with parabolic families

Saturated 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 information

arxiv:math/ v2 [math.qa] 18 Nov 2003

arxiv: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 information

Math 110, Summer 2012: Practice Exam 1 SOLUTIONS

Math 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 information

Transcendental Numbers and Hopf Algebras

Transcendental 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 information

arxiv: v1 [math.qa] 17 May 2017

arxiv: 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 information

Hecke modifications. Aron Heleodoro. May 28, 2013

Hecke 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 information

Higher Structures in Topological Quantum Field Theory

Higher 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 information

ON SECOND COHOMOLOGY OF DUALS OF COMPACT GROUPS

ON 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 information

MATHEMATICS OF TOPOLOGICAL QUANTUM COMPUTING. 1. Introduction

MATHEMATICS 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 information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 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 information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE 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 information

Frobenius Green functors

Frobenius 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 information

On embedding all n-manifolds into a single (n + 1)-manifold

On 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 information

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. 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 information

LECTURE 11: SOERGEL BIMODULES

LECTURE 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 information

Realizing Families of Landweber Exact Theories

Realizing 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 information

Enriched Categories. Stephen Fitz

Enriched 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