2025-11-20T10:52:14.101012

Higher Tensor Product for sl2 and Webster algebras

Ebert, Rouquier
We construct a model for the tensor product of the regular 2-representation of the enveloping algebra of $\mathfrak{sl}_2^+$ with the vector 2-representation, based on the $\infty$-categorical definition of the second author. Our model contains McMillan's minimal one. Our use of an infinite family of generators provides a simpler model that we prove is equivalent to Webster's tensor product category.
academic

Higher Tensor Product for sl₂ and Webster algebras

Basic Information

  • Paper ID: 2511.15604
  • Title: Higher Tensor Product for sl₂ and Webster algebras
  • Authors: Mark Ebert and Raphaël Rouquier
  • Classification: math.RT (Representation Theory), math.QA (Quantum Algebra)
  • Publication Date: November 20, 2025
  • Paper Link: https://arxiv.org/abs/2511.15604

Abstract

This paper constructs a tensor product model for the canonical 2-representation and vector 2-representation of the sl₂⁺ enveloping algebra, based on the second author's ∞-categorical definition. The model contains McMillan's minimal model and provides a simpler model through the use of an infinite family of generators, proving its equivalence to Webster's tensor product category.

Research Background and Motivation

Problem Background

  1. Development of Higher Representation Theory: Higher representation theory is a version of representation theory where vector spaces are replaced by categories. For sl₂, the original theory was introduced by Chuang and Rouquier, with the graded version considered by Lauda.
  2. Tensor Product Problem for 2-Representations: In Rou3, the second author defined the tensor product of 2-representations and conjectured that the tensor product of simple 2-representations coincides with the 2-representations of Webster's quiver Hecke algebras. However, this tensor product involves ∞-categories, requiring more concrete models.
  3. Need for Concrete Models: While the general theory provides dg-categorical models and actions on derived categories, it is necessary to construct new t-structures to make the action more explicit and establish connections with Webster's category.

Research Motivation

  1. Connecting Different Theoretical Frameworks: Linking the abstract ∞-categorical definition with Webster's concrete algebraic construction
  2. Simplifying Existing Models: McMillan provided a complex description; this paper offers a simpler model through infinite families of generators
  3. Advancing the Crane-Frenkel Program: A step toward describing the braided monoidal category of 2-representations of sl₂

Limitations of Existing Approaches

  • McMillan's model is based on small pre-generators, with very complex descriptions of endomorphism rings and bimodules
  • General ∞-categorical constructions, while theoretically complete, lack computable concrete models
  • Missing explicit equivalence proofs with Webster's algebraic category

Core Contributions

The main contributions of this paper include:

  1. Construction of New t-Structure: Constructs a new t-structure on the derived category D^b(L⊗̃A) making the functor E action exact
  2. Explicit Model: Provides explicit description of the tensor product category through an infinite family of generators {Y_{n,m}}{n,m≥0}, where each Y{n,m} is a two-term complex
  3. Establishing Equivalence: Proves (U,U)-bimodule equivalence between the constructed model and Webster's tensor product category Wy (Theorem 6.2)
  4. Graded Version: Provides equivalence for the graded version (Theorem 6.5), proving equivalence through isomorphism on Grothendieck groups
  5. Simplified Computation: Compared to McMillan's model, the infinite generator method makes computation and relation verification more direct

Detailed Methodology

Task Definition

The core task studied in this paper is:

  • Input: The canonical 2-representation U of sl₂⁺ (as monoidal category self-action) and vector 2-representation L = L₀ ⊕ L₁
  • Output: Explicit categorical model B of tensor product L⊗̃A, equipped with left and right actions of U
  • Constraints: The model must be consistent with the general ∞-categorical construction and equivalent to Webster's category

Foundational Structure

1. Monoidal Category U

U is the monoidal category generated by object E and morphisms x: E → E, τ: E² → E² satisfying Hecke relations:

τ² = 0
(τE)∘(Eτ)∘(τE) = (Eτ)∘(τE)∘(Eτ)  (braid relation)
τ∘(xE) - (Ex)∘τ = 1 = (xE)∘τ - τ∘(Ex)  (commutation relation)

The endomorphism ring satisfies: End_U(E^n)^opp ≅ H_n, where H_n is the nil affine Hecke algebra.

2. Vector 2-Representation

L = L₀ ⊕ L₁, where L_r = ky-mod, functor E: L₀ → L₁ acts as the identity functor, and x acts as multiplication by y.

Model Architecture

Step One: Construction of Base Category B (§4.2)

Objects of category B_n are triples M ← N, where:

  • M is an H_ny-module
  • N is an H_y-module
  • γ: N → M is an H_y-module homomorphism satisfying (y - x_n)γ(m) = 0

Morphism spaces:

Hom_{B_n}([M ← N], [M' ← N']) = {(f,g) | f∘γ = γ'∘g}

Pre-generators:

  • P⁺_n = H_ny ← 0
  • P⁻_n = H_nι₀ ← H_y

Step Two: Construction of Left Action (§4.3)

Functor E: B_n → Comp^b(B_{n+1}) is defined as a complex (Proposition 4.2):

E([M ← N]) = 
  [H_{n+1}[y]⊗M → H_{n+1}ι₀⊗M]
  ↑                    ↑
  [H_n[y]⊗N    →    M]

where vertical maps involve combinations of τ_n and x_n. The key property is that E is an exact functor.

Step Three: Construction of New t-Structure (§5)

Key Element Δ_n (§5.1): Define

Δ_n = Σ_{1≤r≤n} τ_r···τ_{n-1} ⊗ τ_1···τ_{r-1} ∈ H_nι₀ ⊗ ι₁H_n

Lemma 5.1 proves: aΔ_n = Δ_n a for all a ∈ H_n (centrality).

Generator Complex Y_n (§5.2):

Y_n = [H_n[y] --a↦aΔ_n--> H_nι₀⊗ι₁H_n]
      [  0    ---------->   ι₁H_n   ]

Key computation in Lemma 5.4:

s_{n-1}···s_1(x_n-y)···(x_2-y)·Δ_n = 1⊗1

This proves Δ_n generates the entire module (Lemma 5.5).

Step Four: Comparison with Webster Category (§6)

Webster Category W: Generated by object ∗ and morphisms ρ: ∗E → E∗, λ: E∗ → ∗E satisfying relations:

λ∘ρ = ∗x,  ρ∘λ = x∗
ρE∘∗τ∘λE - Eλ∘τ∗∘Eρ = E∗E

and other commutation and braid relations.

Functor Construction (Proposition 6.1): Define Φ: Wy → (Σ_y⊗Σ_y)*T, where:

Φ(∗) = Y_{0,0} = [k[y] ← 0]
Φ(λ) = [id, 0]: Y_{1,0} → Y_{0,1}
Φ(ρ) = [x_1-y, 0]: Y_{0,1} → Y_{1,0}

Technical Innovations

  1. Infinite Generator Method:
    • Unlike McMillan's use of a single small pre-generator P⁺_n ⊕ P⁻_n
    • Uses infinite family {Y_{n,m}}, each a two-term complex
    • Greatly simplifies computation and relation verification
  2. Discovery of Δ_n Element:
    • This special element encodes key geometric information
    • Its centrality (Lemma 5.1) is a crucial property
    • Obtained through refined Hecke algebra computation
  3. Utilization of Graded Structure (§6.3):
    • Proves equivalence through isomorphism on Grothendieck group K₀
    • Uses q-Shapovalov form to establish isomorphism
    • Avoids direct verification of all morphism space equivalences
  4. Systematic Compatibility Verification:
    • Verifies compatibility of various constructions through commutative diagrams (e.g., Figure 3)
    • Uses projectivity and exactness to simplify proofs
    • Establishes compatibility with L₀⊗̃A (§4.4)

Experimental Setup

As a pure mathematics theory paper, this work contains no traditional experimental setup. However, it includes extensive mathematical verification and computation:

Key Computational Verifications

  1. Hecke Algebra Computations (§5.1):
    • Verification of centrality of Δ_n (Lemma 5.1)
    • Computation of properties of ν'_n (Lemma 5.2)
    • Verification of commutative diagrams (Lemma 5.3)
  2. Exact Sequences (Lemma 5.2):
0 → ι₁H_{n+1} --ν_n--> H_n[y]⊕H_n[y]⊗ι₁H_n --> H_nι₀⊗ι₁H_n → 0
  1. Quasi-isomorphism Verification (Proposition 5.6):
    • Proves f_n: Y_{n+1} → X_n is a quasi-isomorphism
    • Inductively establishes quasi-isomorphism of h_n: Y_n → E^n(Y₀)

Category Theory Verification

  1. Generation (Lemma 5.11):
    • Proves {Y_{0,m}, Y_{1,m}} generates D^b(B) as a thick subcategory
  2. Faithfulness (Lemma 6.3):
    • Proves faithfulness of Φ through composition Q∘Φ = R
    • Uses Webster's result We, Proposition 4.16
  3. Isomorphism Verification (Lemma 6.4):
    • Establishes isomorphism at K₀ level
    • Verifies through computation of bilinear forms

Experimental Results

Main Results

Theorem 5.12 (Explicit Model of Tensor Product): There exists a (U,U)-bimodule equivalence:

Ho^b(T) ≅ D^b(B)

where T is the full subcategory with objects {Y_{n,m}}.

Theorem 6.2 (Equivalence with Webster Category): Functor Φ is a (U,U)-bimodule isomorphism:

W[y] ≅ (Σ_y⊗Σ_y)*T

Theorem 6.5 (Graded Version): Φ is a graded (U-gr, U-gr)-bimodule isomorphism:

W[y]-gr ≅ (Σ_y⊗Σ_y)*T-gr

Key Lemmas and Propositions

  1. Proposition 4.2: Exactness of E, crucial for the entire construction
  2. Lemma 5.4: Key identity
s_{n-1}···s_1(x_n-y)···(x_2-y)·Δ_n = 1⊗1
  1. Lemma 5.5: Δ_n generates the entire H_nι₀⊗ι₁H_n as an H_ny-module
  2. Lemma 5.8: Injectivity of morphism spaces, ensuring faithfulness of functor Υ

Technical Verifications

  1. Commutativity Verification (§4.6):
    • Commutativity of left and right actions
    • Through explicit isomorphism E((?)E) ≅ (E(?))E
  2. Compatibility (§4.4):
    • Compatibility with projection L → L₀
    • Realized through quasi-isomorphism φ₊
  3. Exactness:
    • Lemma 5.2 provides two important exact sequences
    • Proved through exactness of tensor products and projectivity

Related Work

Foundations of Higher Representation Theory

  1. Chuang-Rouquier ChRou:
    • Introduced categorification theory for sl₂
    • Established derived equivalences for symmetric groups and sl₂-categorification
  2. Lauda Lau:
    • Provided categorification of quantum sl(2)
    • Introduced graded structures
  3. Rouquier Rou1, Rou2:
    • Developed 2-Kac-Moody algebra theory
    • Studied quiver Hecke algebras and 2-Lie algebras

Tensor Product Theory

  1. Rouquier Rou3:
    • Defined tensor product of 2-representations (∞-categorical framework)
    • Proposed conjecture on tensor products of simple 2-representations
    • Theoretical foundation of this paper
  2. McMillan Mc:
    • Provided tensor 2-product of sl(2)⁺
    • Uses small pre-generators with complex descriptions
    • Model contained and simplified by this paper

Webster Algebras

  1. Webster We:
    • Introduced Webster tensor product category
    • Established connections with knot invariants
    • Proved key isomorphism properties (Proposition 4.39)
    • This paper proves equivalence with his category

Positioning of This Work

  • Theoretical Deepening: Concretizes abstract ∞-categorical constructions
  • Bridge Building: Establishes connections between Rouquier's theory and Webster algebras
  • Technical Simplification: Provides simpler model than McMillan
  • Program Advancement: Progresses toward Crane-Frenkel's braided monoidal category goal

Conclusions and Discussion

Main Conclusions

  1. Construction of Explicit Model:
    • Successfully constructs explicit categorical model B of L⊗̃A
    • Simplifies description through infinite family of generators {Y_{n,m}}
    • New t-structure makes E action exact
  2. Establishment of Equivalence:
    • Proves (U,U)-bimodule equivalence with Webster category Wy
    • Verifies Rouquier's conjecture on tensor products (in sl₂⁺ case)
    • Proves both graded and non-graded versions
  3. Technical Contributions:
    • Discovery of key element Δ_n and its centrality
    • Establishes systematic Hecke algebra computation framework
    • Simplifies equivalence proof through K₀ group isomorphism

Limitations

  1. Scope Restrictions:
    • Addresses only sl₂⁺ (positive part), not complete sl₂
    • Considers only tensor product of canonical and vector 2-representations
    • Does not discuss more general 2-representation tensor products
  2. Technical Complexity:
    • While simplified from McMillan, still requires deep Hecke algebra computations
    • High background knowledge in ∞-categories required
    • Some proofs depend on unpublished Rou3
  3. Computational Challenges:
    • Explicit form of Δ_n difficult to compute for large n
    • Complete description of morphism spaces remains complex
    • Some verifications require case-by-case computation

Future Directions

  1. Extension to Complete sl₂:
    • Include negative and Cartan parts
    • Construct complete braided monoidal category
  2. More General Tensor Products:
    • Tensor products of arbitrary simple 2-representations
    • Verification of Rouquier's general conjecture
  3. Computational Tools:
    • Develop algorithms for effective computation of Δ_n and related elements
    • Establish computer-assisted verification tools
  4. Application Directions:
    • Connections with knot theory (through Webster's work)
    • Four-dimensional topological quantum field theory (Crane-Frenkel program)
    • Other applications in representation theory

In-Depth Evaluation

Strengths

  1. Significant Theoretical Contribution:
    • Solves the concretization problem of ∞-categorical constructions
    • Bridges two important theoretical frameworks
    • Provides crucial step for Crane-Frenkel program
  2. Technical Innovation:
    • Discovery of Δ_n element has deep significance
    • Infinite generator method is elegant and effective
    • Systematic utilization of graded structures
  3. Rigorous Proofs:
    • All key steps have detailed proofs
    • Hecke algebra computations are thorough and complete
    • Commutative diagrams and compatibility verifications are sufficient
  4. Clear Exposition:
    • Well-organized structure, progressing from simple to complex
    • Key concepts clearly defined
    • Good balance between technical details and overall narrative
  5. Mathematical Depth:
    • Synthesizes category theory, representation theory, and homological algebra
    • Connects abstract theory with concrete computation
    • Demonstrates core ideas of higher representation theory

Weaknesses

  1. High Accessibility Threshold:
    • Requires deep background in category theory and representation theory
    • High demands on ∞-category knowledge
    • Not sufficiently accessible to non-specialists
  2. Dependence on Unpublished Work:
    • Key reference Rou3 remains unpublished
    • Some foundational definitions require external references
    • Affects complete independence of results
  3. Tedious Computational Details:
    • Computations in §5.1, while necessary, are lengthy
    • Some verifications could be more concise
    • Lacks geometric or intuitive explanations
  4. Insufficient Discussion of Applications:
    • Limited discussion of connections with physics or topology
    • Lacks concrete examples or computational examples
    • Practical application value not sufficiently clear

Impact

  1. Contribution to the Field:
    • Advances core problems in higher representation theory
    • Paves way for complete categorification of sl₂
    • May inspire similar constructions for other Lie algebras
  2. Theoretical Value:
    • Verifies important conjecture (local case)
    • Provides new technical tools (Δ_n element)
    • Establishes deep connections between theoretical frameworks
  3. Methodological Significance:
    • Infinite generator method is generalizable
    • K₀ group method simplifies equivalence proofs
    • Provides paradigm for similar problems
  4. Subsequent Research:
    • Will inspire research on complete sl₂ case
    • May generalize to higher rank Lie algebras
    • Connections with topology and physics deserve exploration

Applicable Scenarios

  1. Higher Representation Theory Research:
    • Study of Lie algebra categorification
    • Construction of tensor products of 2-representations
    • Development of categorified quantum group theory
  2. Hecke Algebra Theory:
    • Module categories of affine Hecke algebras
    • Geometry of quiver Hecke algebras
    • Study of category O
  3. Topological Quantum Field Theory:
    • Connection with knot invariants through Webster's work
    • Crane-Frenkel four-dimensional TQFT program
    • Algebraic tools for low-dimensional topology
  4. Theoretical Physics:
    • Categorification of quantum groups
    • Algebraic structures in conformal field theory
    • Dualities in gauge theory

References

Key references cited in this paper include:

  1. ChRou Chuang-Rouquier, Derived equivalences for symmetric groups and sl₂-categorification, Annals of Math. 167 (2008)
    • Foundational work on sl₂ categorification
  2. CrFr Crane-Frenkel, Four-dimensional topological quantum field theory, Hopf categories, and the canonical bases, J. Math. Phys. 35 (1994)
    • Proposes four-dimensional TQFT program
  3. Lau Lauda, A categorification of quantum sl(2), Adv. Math. 225 (2010)
    • Categorification of quantum sl(2)
  4. Mc McMillan, A tensor 2-product of 2-representations of sl(2)⁺, preprint arXiv:2209.06782
    • Prior work improved by this paper
  5. Rou3 Rouquier, Tensor Products for 2-Representations, I, in preparation
    • Theoretical foundation of this paper (unpublished)
  6. We Webster, Knot Invariants and Higher Representation Theory, Memoirs of the AMS 1191, 2017
    • Original definition of Webster category

Overall Assessment: This is a high-quality pure mathematics theory paper making important contributions to higher representation theory. Through clever technical innovations—particularly the Δ_n element and infinite generator method—the authors successfully concretize abstract ∞-categorical constructions and establish equivalence with Webster's algebraic category. The paper is rigorously proven, technically profound, and provides a crucial step toward complete categorification of sl₂ and the Crane-Frenkel program. Despite high accessibility thresholds, this is essential reading for researchers in higher representation theory.