Higher Idempotent Completion for Soergel Bimodules
Isabela Recio

TL;DR
This paper explores higher idempotent completions in higher categories, revealing new structures in link homology and higher representation theory, including recoveries of singular Soergel bimodules and a local decomposition theorem.
Contribution
It introduces novel applications of higher idempotent completion to recover singular Soergel bimodules and formulates a local decomposition theorem for deformed coloured link homology.
Findings
Singular Soergel bimodules can be obtained via partial 2-categorical idempotent completions.
Assembled singular bimodules form a semistrict monoidal 2-category in type A.
Provided a local decomposition theorem for deformed coloured link homology.
Abstract
We present two applications of the concept of higher idempotent completion to higher categories relevant in link homology theory and higher representation theory. We show that singular Soergel bimodules can be recovered from Soergel bimodules through partial 2-categorical idempotent completions. Specializing to type A, we further assemble singular Soergel bimodules into a semistrict monoidal 2-category and identify certain quotients as semistrict monoidal 2-categories of gl_N foams. Our second main result uses 2-categorical idempotent completions to formulate a higher categorical branching rule for such foam theories, which underlie the Lee-Gornik-Rasmussen-Wu deformations of coloured gl_N link homology. In particular, we provide a fully local version of Rose-Wedrich's decomposition theorem on deformed coloured link homology.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Geometric and Algebraic Topology
