Pith. sign in

REVIEW 6 cited by

Local Modules in Braided Monoidal 2-Categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2307.02843 v1 pith:T4VI2RK3 submitted 2023-07-06 math.CT cond-mat.str-elhep-thmath.QA

classification math.CTcond-mat.str-elhep-thmath.QA
keywords categorybraidedlocalmodulesmonoidalalgebramodulecategories
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Proliferation Transitions for Non-Abelian Anyons

    cond-mat.str-el 2026-08 conditional novelty 8.0 of 10

    A SymTFT-based construction realizes proliferation transitions for any condensable algebra in a modular tensor category, with the symmetry fixed by the transparent lines of the algebra's generated subcategory.

  2. Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism

    hep-th 2026-08 conditional novelty 7.0 of 10

    For G=(Z2,Z2,triv,1), the authors classify anomalies via oriented and spin bordism in spacetime dimensions d<=5 and derive the (3+1)D SymTFT boundary conditions, including the equivalence of the anomalous symmetry cat...

  3. The Classification of 3+1d Symmetry Enriched Topological Order

    math-ph 2025-09 conditional novelty 7.0 of 10

    Finite-group-enriched 3+1d topological orders are classified by 2SVect-enriched G-crossed braided fusion 2-categories, with gauging obstructions living in SW^5(BG).

  4. Syllepses from 3-shifted Poisson structures and second-order integration of infinitesimal 2-braidings

    math.QA 2025-05 conditional novelty 7.0 of 10

    A coherent totally symmetric strict infinitesimal 2-braiding gives a second-order deformation quantization to a braided monoidal cochain 2-category, and 3-shifted Poisson structures induce syllepses.

  5. On \'Etale Algebras and Bosonic Fusion 2-Categories

    math.CT 2024-11 conditional novelty 7.0 of 10

    Connected and Lagrangian étale algebras in Z_1(2Vect^π_G) are classified by subgroups, braided fusion categories with group actions, and 4-group morphism data; this yields a parametrization of bosonic fusion 2-categories.

  6. Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories

    math.QA 2026-06 unverdicted novelty 6.5 of 10

    Explicit construction of dual bimodules from Frobenius algebras in monoidal 2-categories, with promotion of coherent duals and proof that special Frobenius algebras in 2Vect are rigid.

Pith tools