In this paper we explore noninvertible symmetries in general (not necessarily rational) SCFTs and their topological B-twists for Calabi-Yau manifolds. We begin with a detailed overview of defects in the topological B model. For trivial reasons, all defects in the topological B model are topological operators, and define (often noninvertible) symmetries of that topological field theory, but only a subset remain topological in the physical (i.e., untwisted) theory. For a general target space Calabi-Yau X, we discuss geometric realizations of those defects, as simultaneously A- and B-twistable complex Lagrangian and complex coisotropic branes on X \times X, and discuss their fusion products. To be clear, the possible noninvertible symmetries in the B model are more general than can be described with fusion categories. That said, we do describe realizations of some Tambara-Yamagami categories in the B model for an elliptic curve target, and also argue that elliptic curves can not admit Fibonacci or Haagerup structures. We also discuss how decomposition is realized in this language.
This paper investigates noninvertible symmetries in general (not necessarily rational) superconformal field theories (SCFTs) and their topological B-twist on Calabi-Yau manifolds. The article first provides a detailed overview of defects in the topological B model. In the topological B model, all defects are topological operators that define (typically noninvertible) symmetries of the topological field theory, though only a subset remain topological in the physical (untwisted) theory. For a general target space Calabi-Yau X, the paper discusses the geometric realization of these defects as complex Lagrangians and complex coisotropic submanifolds on X×X that are simultaneously A-twisted and B-twisted, and discusses their fusion products. The possible noninvertible symmetries in the B model are more general than those describable by fusion categories. The paper describes realizations of some Tambara-Yamagami categories in the B model with elliptic curve targets, and argues that elliptic curves cannot admit Fibonacci or Haagerup structures.
Core Problem: Understanding the role of noninvertible symmetries in string theory compactifications on Calabi-Yau manifolds, particularly their concrete realization within the B model topological field theory framework.
Significance:
Noninvertible symmetries are important concepts in modern quantum field theory, especially in 2D theories
The B model provides a concrete mathematical framework (derived categories) for studying noninvertible symmetries
Important for understanding the structure of symmetries in string theory compactifications
Existing Limitations:
Conventional noninvertible symmetry research is typically limited to finite fusion categories
Lack of concrete realizations in general Calabi-Yau geometry
Derived categories are richer than fusion categories, but their relationship remains unclear
Research Motivation:
Utilize the concreteness of derived categories in the B model to understand noninvertible symmetries
Establish correspondence between topological defects and derived category objects
Provide geometric understanding of noninvertible symmetries in Calabi-Yau compactifications
Established a complete mathematical framework for B model defects: Describing line operators and defects through integral transforms in the derived category D^b(X×X)
Demonstrated that derived categories satisfy most fusion category axioms: Except for finiteness and semisimplicity conditions
Constructed concrete noninvertible symmetry structures on elliptic curves:
Realized Z_n×Z_n Tambara-Yamagami structures
Proved that elliptic curves cannot admit Fibonacci or Haagerup structures
Provided geometric criteria for topological defects in physical theories: Complex Lagrangians and complex coisotropic submanifolds that are simultaneously A and B-twisted
Described decomposition and condensation defects: Their realization in derived category language
Provided concrete computational methods for quantum dimensions: Through alternating sums of Ext groups
A defect remains topological in the physical theory if and only if it can be simultaneously A-twisted and B-twisted. This requires the support manifold S to satisfy:
S is a complex coisotropic submanifold of X×X
Curvature condition: F + π₁B₁ - π₂B₂ = 0 on S
Almost para-complex structure condition: (ω⁻¹F)² = +1
The paper contains extensive references covering classical D-brane theory through the latest noninvertible symmetry research, providing readers with comprehensive background knowledge and directions for further investigation.