The symmetry actions and dualizability conjectures for higher categories

About 12 years old · traced to

Let Cat⁡\operatorname{Cat} be the category of categories, let (∞,n)Cat⁡(\infty,n)\operatorname{Cat} denote an (∞,n)(\infty,n)-category of higher categories, and let Ho⁡((∞,n)Cat⁡)\operatorname{Ho}((\infty,n)\operatorname{Cat}) be its homotopy category. For nn-fold categories and dg-categories, consider the indicated enhancements of the inclusions into higher categories. Higher-categorical symmetry conjectures. The following explanations should hold: the opposite ∞\infty-groupoid Π∞(Y)\Pi_{\infty}(Y) gives the mirror of YY; the generating trivial cofibration ∗↪{∗⇆∗}\ast\hookrightarrow\{\ast\leftrightarrows\ast\} should represent the Higgs boson or Higgs symmetry; the action of (Z/2)n(\mathbb{Z}/2)^n on Ho⁡((∞,n)Cat⁡)\operatorname{Ho}((\infty,n)\operatorname{Cat}) should explain nn-dualizable objects and the classification of TQFTs by fully dualizable objects; the analogous action for dg-categories should explain Tamarkin's proof of Deligne's conjecture and the action of 22-discs on Hochschild cohomology; and analogous enhancements should expose symmetries for manifolds and coefficient categories in algebraic geometry. These are speculative connections to higher-categorical formulations of mirror symmetry, TQFT, Higgs phenomena, and Deligne's conjecture, and the source gives no resolution.

References

Primary source

Hugo V. Bacard, “Symmetries”, arXiv:1407.2203 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.