输入𝐼𝐼的量子子群:𝔩_{𝔑}。局部模块的对称性

Communications of the American Mathematical Society Pub Date : 2023-05-01 DOI:10.1090/cams/19

Cain EDIE-MICHELL

{"title":"输入𝐼𝐼的量子子群:𝔩_{𝔑}。局部模块的对称性","authors":"Cain EDIE-MICHELL","doi":"10.1090/cams/19","DOIUrl":null,"url":null,"abstract":"This paper is the first of a pair that aims to classify a large number of the type <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper I upper I\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>I</mml:mi>\n <mml:mi>I</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">II</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> quantum subgroups of the categories <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript r plus 1 Baseline comma k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>r</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{r+1}, k)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. In this work we classify the braided auto-equivalences of the categories of local modules for all known type <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper I\">\n <mml:semantics>\n <mml:mi>I</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">I</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> quantum subgroups of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript r plus 1 Baseline comma k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>r</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{r+1}, k)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript 2 Baseline comma 16 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 2 right-parenthesis Superscript 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>2</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mn>16</mml:mn>\n <mml:msubsup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>Rep</mml:mi>\n <mml:mo>⁡</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>2</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:mn>0</mml:mn>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{2}, 16)^0_{\\operatorname {Rep}(\\mathbb {Z}_{2})}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript 3 Baseline comma 9 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 3 right-parenthesis Superscript 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>3</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mn>9</mml:mn>\n <mml:msubsup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>Rep</mml:mi>\n <mml:mo>⁡</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>3</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:mn>0</mml:mn>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{3}, 9)^0_{\\operatorname {Rep}(\\mathbb {Z}_{3})}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript 4 Baseline comma 8 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 4 right-parenthesis Superscript 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>4</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mn>8</mml:mn>\n <mml:msubsup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>Rep</mml:mi>\n <mml:mo>⁡</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>4</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:mn>0</mml:mn>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{4}, 8)^0_{\\operatorname {Rep}(\\mathbb {Z}_{4})}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper C left-parenthesis German s German l Subscript 5 Baseline comma 5 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 5 right-parenthesis Superscript 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">s</mml:mi>\n <mml:mi mathvariant=\"fraktur\">l</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>5</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mn>5</mml:mn>\n <mml:msubsup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>Rep</mml:mi>\n <mml:mo>⁡</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>5</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:mn>0</mml:mn>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {C}(\\mathfrak {sl}_{5}, 5)^0_{\\operatorname {Rep}(\\mathbb {Z}_{5})}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>.\n\nWe develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of <inline-formula content-type=\"math/mathml\"","PeriodicalId":285678,"journal":{"name":"Communications of the American Mathematical Society","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Type 𝐼𝐼 quantum subgroups of 𝔰𝔩_{𝔑}. ℑ: Symmetries of local modules\",\"authors\":\"Cain EDIE-MICHELL\",\"doi\":\"10.1090/cams/19\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper is the first of a pair that aims to classify a large number of the type <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper I upper I\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>I</mml:mi>\\n <mml:mi>I</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">II</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> quantum subgroups of the categories <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript r plus 1 Baseline comma k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>r</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{r+1}, k)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. In this work we classify the braided auto-equivalences of the categories of local modules for all known type <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper I\\\">\\n <mml:semantics>\\n <mml:mi>I</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">I</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> quantum subgroups of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript r plus 1 Baseline comma k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>r</mml:mi>\\n <mml:mo>+</mml:mo>\\n <mml:mn>1</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{r+1}, k)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript 2 Baseline comma 16 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 2 right-parenthesis Superscript 0\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>2</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mn>16</mml:mn>\\n <mml:msubsup>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>Rep</mml:mi>\\n <mml:mo>⁡</mml:mo>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>2</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:mn>0</mml:mn>\\n </mml:msubsup>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{2}, 16)^0_{\\\\operatorname {Rep}(\\\\mathbb {Z}_{2})}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript 3 Baseline comma 9 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 3 right-parenthesis Superscript 0\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>3</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mn>9</mml:mn>\\n <mml:msubsup>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>Rep</mml:mi>\\n <mml:mo>⁡</mml:mo>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>3</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:mn>0</mml:mn>\\n </mml:msubsup>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{3}, 9)^0_{\\\\operatorname {Rep}(\\\\mathbb {Z}_{3})}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript 4 Baseline comma 8 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 4 right-parenthesis Superscript 0\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>4</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mn>8</mml:mn>\\n <mml:msubsup>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>Rep</mml:mi>\\n <mml:mo>⁡</mml:mo>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>4</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:mn>0</mml:mn>\\n </mml:msubsup>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{4}, 8)^0_{\\\\operatorname {Rep}(\\\\mathbb {Z}_{4})}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>, and <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper C left-parenthesis German s German l Subscript 5 Baseline comma 5 right-parenthesis Subscript upper R e p left-parenthesis double-struck upper Z 5 right-parenthesis Superscript 0\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi class=\\\"MJX-tex-caligraphic\\\" mathvariant=\\\"script\\\">C</mml:mi>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"fraktur\\\">s</mml:mi>\\n <mml:mi mathvariant=\\\"fraktur\\\">l</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>5</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:mn>5</mml:mn>\\n <mml:msubsup>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi>Rep</mml:mi>\\n <mml:mo>⁡</mml:mo>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:msub>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi>\\n </mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mn>5</mml:mn>\\n </mml:mrow>\\n </mml:msub>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:mn>0</mml:mn>\\n </mml:msubsup>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {C}(\\\\mathfrak {sl}_{5}, 5)^0_{\\\\operatorname {Rep}(\\\\mathbb {Z}_{5})}</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>.\\n\\nWe develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of <inline-formula content-type=\\\"math/mathml\\\"\",\"PeriodicalId\":285678,\"journal\":{\"name\":\"Communications of the American Mathematical Society\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Communications of the American Mathematical Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/cams/19\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communications of the American Mathematical Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/cams/19","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文是对范畴C (sl r+1, k) \mathcal {C}(\mathfrak {sl}_{r+1}， k)的大量II II型量子子群进行分类的第一个对。本文对C (sl r+1, k) \mathcal {C}(\mathfrak {sl}_{r+1}， k)的所有已知I I型量子子群的局部模范畴的编织自等价进行了分类。我们发现除了四种情况(直到水平-秩对偶)外，对称性都是非例外的。这些例外情况是轨道C (s 1,2, 16) Rep (Z 2) 0 \mathcal {C}(\mathfrak {sl}_{2}， 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})}，C (sl 3,9) Rep (z3) 0 \mathcal {C}(\mathfrak {sl}_{3}， 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})}，C (sl 1,8) Rep (Z 4) 0 \mathcal {C}(\mathfrak {sl}_{4}， 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})}，和C (s 1,5,5) Rep (z5) 0 \mathcal {C}(\mathfrak {sl}_{5}， 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})}我们在这项工作中开发了几个技术工具。本文给出了本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Type 𝐼𝐼 quantum subgroups of 𝔰𝔩_{𝔑}. ℑ: Symmetries of local modules

This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ⁡ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ⁡ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ⁡ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ⁡ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} .

We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Communications of the American Mathematical Society

自引率

0.00%

发文量