{"title":"Orbifolds and minimal modular extensions","authors":"Chongying Dong , Siu-Hung Ng , Li Ren","doi":"10.1016/j.aim.2025.110103","DOIUrl":null,"url":null,"abstract":"<div><div>Let <em>V</em> be a simple vertex operator algebra and <em>G</em> a finite automorphism group of <em>V</em> such that <span><math><msup><mrow><mi>V</mi></mrow><mrow><mi>G</mi></mrow></msup></math></span> is regular, and the conformal weight of any irreducible <em>g</em>-twisted <em>V</em>-module <em>N</em> for <span><math><mi>g</mi><mo>∈</mo><mi>G</mi></math></span> is nonnegative and is zero if and only if <span><math><mi>N</mi><mo>=</mo><mi>V</mi></math></span>. It is established that if <em>V</em> is holomorphic, then the <span><math><msup><mrow><mi>V</mi></mrow><mrow><mi>G</mi></mrow></msup></math></span>-module category <span><math><msub><mrow><mi>C</mi></mrow><mrow><msup><mrow><mi>V</mi></mrow><mrow><mi>G</mi></mrow></msup></mrow></msub></math></span> is a minimal modular extension of <span><math><mi>E</mi><mo>=</mo><mrow><mi>Rep</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, and is equivalent to the Drinfeld center <span><math><mi>Z</mi><mo>(</mo><msubsup><mrow><mi>Vec</mi></mrow><mrow><mi>G</mi></mrow><mrow><mi>α</mi></mrow></msubsup><mo>)</mo></math></span> as modular tensor categories for some <span><math><mi>α</mi><mo>∈</mo><msup><mrow><mi>H</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>(</mo><mi>G</mi><mo>,</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></math></span> with a canonical embedding of <span><math><mi>E</mi></math></span>. Moreover, the collection <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><mi>E</mi><mo>)</mo></math></span> of equivalence classes of the minimal modular extensions <span><math><msub><mrow><mi>C</mi></mrow><mrow><msup><mrow><mi>V</mi></mrow><mrow><mi>G</mi></mrow></msup></mrow></msub></math></span> of <span><math><mi>E</mi></math></span> for holomorphic vertex operator algebras <em>V</em> with a <em>G</em>-action forms a group, which is isomorphic to a subgroup of <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>(</mo><mi>G</mi><mo>,</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></math></span>. Furthermore, any pointed modular category <span><math><mi>Z</mi><mo>(</mo><msubsup><mrow><mi>Vec</mi></mrow><mrow><mi>G</mi></mrow><mrow><mi>α</mi></mrow></msubsup><mo>)</mo></math></span> is equivalent to <span><math><msub><mrow><mi>C</mi></mrow><mrow><msubsup><mrow><mi>V</mi></mrow><mrow><mi>L</mi></mrow><mrow><mi>G</mi></mrow></msubsup></mrow></msub></math></span> for some positive definite even unimodular lattice <em>L</em>. In general, for any rational vertex operator algebra <em>U</em> with a <em>G</em>-action, <span><math><msub><mrow><mi>C</mi></mrow><mrow><msup><mrow><mi>U</mi></mrow><mrow><mi>G</mi></mrow></msup></mrow></msub></math></span> is a minimal modular extension of the braided fusion subcategory <span><math><mi>F</mi></math></span> generated by the <span><math><msup><mrow><mi>U</mi></mrow><mrow><mi>G</mi></mrow></msup></math></span>-submodules of <em>U</em>-modules. Furthermore, the group <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><mi>E</mi><mo>)</mo></math></span> acts freely on the set of equivalence classes <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> of the minimal modular extensions <span><math><msub><mrow><mi>C</mi></mrow><mrow><msup><mrow><mi>W</mi></mrow><mrow><mi>G</mi></mrow></msup></mrow></msub></math></span> of <span><math><mi>F</mi></math></span> for any rational vertex operator algebra <em>W</em> with a <em>G</em>-action.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"462 ","pages":"Article 110103"},"PeriodicalIF":1.5000,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0001870825000015","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let V be a simple vertex operator algebra and G a finite automorphism group of V such that is regular, and the conformal weight of any irreducible g-twisted V-module N for is nonnegative and is zero if and only if . It is established that if V is holomorphic, then the -module category is a minimal modular extension of , and is equivalent to the Drinfeld center as modular tensor categories for some with a canonical embedding of . Moreover, the collection of equivalence classes of the minimal modular extensions of for holomorphic vertex operator algebras V with a G-action forms a group, which is isomorphic to a subgroup of . Furthermore, any pointed modular category is equivalent to for some positive definite even unimodular lattice L. In general, for any rational vertex operator algebra U with a G-action, is a minimal modular extension of the braided fusion subcategory generated by the -submodules of U-modules. Furthermore, the group acts freely on the set of equivalence classes of the minimal modular extensions of for any rational vertex operator algebra W with a G-action.
期刊介绍:
Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.