finitary 2-representations of finitary 2-categories › ~mazor › preprints › doklady ›...
TRANSCRIPT
![Page 1: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/1.jpg)
Finitary 2-representations offinitary 2-categories
Volodymyr MazorĚuk(Uppsala University)
Workshop “Algebraic Lie theory and representation theory”September 2, 2014, Edinburgh, UK
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 1/21
![Page 2: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/2.jpg)
Coauthor
This is a report on a joint project with
Vanessa Miemietz
from University of East Anglia
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 2/21
![Page 3: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/3.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 4: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/4.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 5: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/5.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 6: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/6.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 7: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/7.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 8: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/8.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 9: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/9.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 10: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/10.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 11: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/11.jpg)
Motivating example 1.
g — semi-simple finite dimensional complex Lie algebra
g = n− ⊕ h⊕ n+ — fixed triangular decomposition
O — BGG category O
O0 — the principal block of O
P : O0 → O0 — the 2-category of projective endofunctors of O0
Fact: P has finitely many indecomposables up to isomorphism
Fact: P has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 3/21
![Page 12: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/12.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 13: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/13.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 14: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/14.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 15: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/15.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 16: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/16.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 17: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/17.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 18: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/18.jpg)
Motivating example 2.
G — 2-Kac-Moody algebra of finite type
L(λ) — simple highest weight 2-representation of G
Gλ := G/AnnG(L(λ))
Fact: Gλ has finitely many indecomposables up to isomorphism
Fact: Gλ has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 4/21
![Page 19: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/19.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 20: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/20.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 21: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/21.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 22: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/22.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 23: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/23.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 24: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/24.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 25: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/25.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 26: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/26.jpg)
Motivating example 3.
k — algebraically closed field
A — finite dimensional k-algebra
Definition: A projective endofunctor of A-mod is tensoring with aprojective A–A-bimodule, up to isomorphism
CA — the 2-category of projective endofunctors of A-mod
Fact: CA has finitely many indecomposables up to isomorphism
Fact: CA has finite dimensional spaces of 2-morphisms
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 5/21
![Page 27: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/27.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 28: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/28.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 29: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/29.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 30: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/30.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 31: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/31.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 32: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/32.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 33: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/33.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 34: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/34.jpg)
Finitary k-linear categories.
Definition: An additive k-linear category A is finitary if
I A is idempotent split;I A has finitely many indecomposables;I all morphism spaces in A are finite dimensional (over k).
Example: A-proj for a finite dimensional k-algebra A.
Fact: If A is finitary, then A ∼= A-proj for some A.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 6/21
![Page 35: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/35.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 36: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/36.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 37: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/37.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 38: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/38.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 39: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/39.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 40: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/40.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 41: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/41.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 42: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/42.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 43: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/43.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 44: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/44.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 45: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/45.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 46: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/46.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 47: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/47.jpg)
Finitary 2-categories.
Definition: A 2-category C is finitary over k if
I C has finitely many objects;I each C(i, j) is finitary k-linear;I composition is biadditive and k-bilinear;I identity 1-morphisms are indecomposable.
Examples:
I Projective functors on O0;I Soergel bimodules over the coinvariant algebra;I Gλ;I CA;
Finitary 2-categories are 2-analogues of finite dimensional algebras
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 7/21
![Page 48: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/48.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 49: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/49.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 50: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/50.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 51: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/51.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 52: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/52.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 53: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/53.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 54: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/54.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 55: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/55.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 56: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/56.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 57: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/57.jpg)
Combinatorics of finitary 2-categories.
C — finitary 2-category
Σ(C) — isoclasses of indecomposable 1-morphisms in C
Fact: Σ(C) is a multisemigroup under
F ?G = {H : H is isomorphic to a direct summand of FG}
Left preorder: F ≥L G if F ∈ Σ(C)G
Left cells: equivalence classes w.r.t. ≥L (a.k.a. Green’s L-classes)
Similarly: right and two-sided preorders ≥R and ≥J and right andtwo-sided cells
Example: For Soergel bimodules (projective functors on O0) these areKazhdan-Lusztig orders and cells
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 8/21
![Page 58: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/58.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 59: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/59.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 60: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/60.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 61: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/61.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 62: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/62.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 63: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/63.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 64: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/64.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 65: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/65.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 66: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/66.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 67: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/67.jpg)
More detailed example: CA
A — basic, connected finite dimensional k-algebra
1 = e1 + e2 + · · ·+ en — primitive decomposition of 1 ∈ A
Bij := Aei ⊗k ejA for i , j = 1, 2, . . . , n
Fact: Σ(CA) = {A, Bij : i , j = 1, 2, . . . , n}
For J1 = {A} and J2 = {Bij} we have J2 ≥J J1
Lj := {Bij : i = 1, 2, . . . , n} and Ri := {Bij : j = 1, 2, . . . , n}
J2 = L1 ∪ · · · ∪ Ln = R1 ∪ · · · ∪ Rn
Note: Lj and Lj′ are not ≥L-comparable if j 6= j ′, similarly for the Ri ’s
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 9/21
![Page 68: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/68.jpg)
The egg-box diagram
A J1
J2
Fij
L1 L2 Ln
Rn
R2
R1
Ri
Lj
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 10/21
![Page 69: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/69.jpg)
The egg-box diagram
A J1
J2
Fij
L1 L2 Ln
Rn
R2
R1
Ri
Lj
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 10/21
![Page 70: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/70.jpg)
The egg-box diagram
A J1
J2
Fij
L1 L2 Ln
Rn
R2
R1
Ri
Lj
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 10/21
![Page 71: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/71.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 72: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/72.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 73: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/73.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 74: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/74.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 75: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/75.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 76: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/76.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 77: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/77.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 78: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/78.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 79: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/79.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 80: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/80.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 81: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/81.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 82: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/82.jpg)
Strongly regular two-sided cells
Notable properties of J2 in the above example:
I different left cells inside J2 are not ≥L-comparable;I different right cells inside J2 are not ≥R -comparable;I |Lj ∩Ri | = 1
Definition: A two-sided cell J having the above properties is calledstrongly regular
Examples:
I both 2-sided cells in CAI all 2-sided cells in Gλ
I all two-sided cells for Soergel bimodules (proj. functors) in type A
Note: Fails for Soergel bimodules outside type A in general
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 11/21
![Page 83: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/83.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 84: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/84.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 85: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/85.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 86: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/86.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 87: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/87.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 88: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/88.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 89: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/89.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 90: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/90.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 91: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/91.jpg)
2-representations
C — finitary 2-category
“Definition”: A 2-representation of C is a functorial action of C on asuitable category(ies).
Example: Principal 2-representation Pi := C(i,−) for i ∈ C
Note: 2-representations of C form a 2-category where
I 1-morphisms are 2-natural transformationsI 2-morphisms are modifications
Note: There is a natural notion of equivalence for 2-representations
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 12/21
![Page 92: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/92.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 93: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/93.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 94: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/94.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 95: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/95.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 96: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/96.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 97: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/97.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 98: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/98.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 99: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/99.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 100: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/100.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 101: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/101.jpg)
Cell 2-representations
C — finitary 2-category
L — left cell in C
i — the source for 1-morphisms in L
Pi — the i-th principal 2-representation
QL — 2-subrepresentation of Pi generated by F ≥L L
I — the unique maximal C-invariant ideal in QL
Definition: CL := QL/I — the cell 2-representation of C for L
Example: The defining (tautological) 2-representation of CA is equivalentto CLj for any j = 1, 2, . . . , n.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 13/21
![Page 102: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/102.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 103: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/103.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 104: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/104.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 105: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/105.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 106: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/106.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 107: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/107.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 108: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/108.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 109: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/109.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 110: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/110.jpg)
Transitive 2-representations
C — finitary 2-category
M — 2-representation of C
Definition: M is finitary if M(i) is finitary k-linear for all i
Definition: M is transitive if M is finitary and for any indecomposableX ,Y in M there is a 1-morphism F such that X is isomorphic to a directsummand of F Y
Intuition: Transitive action of a group (for us: a multisemigroup)
Definition: M is simple transitive if M is transitive and has no non-trivialC-invariant ideals.
Example: Cell 2-representations are simple transitive.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 14/21
![Page 111: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/111.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 112: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/112.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 113: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/113.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 114: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/114.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 115: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/115.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 116: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/116.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 117: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/117.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 118: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/118.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 119: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/119.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 120: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/120.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 121: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/121.jpg)
Fiat 2-categories
C — finitary 2-category
Definition: C is fiat if
I there is a weak involution ∗ : C → C;I there are adjunction 2-morphisms α : 1i → FF∗ and β : F∗F→ 1j
such that
F(β) ◦1 αF = idF and βF∗ ◦1 F∗(α) = idF∗
Note: This means that F and F∗ are biadjoint in any 2-representation
Examples:
I Soergel bimodules (projective functors on O0)I Gλ
I CA for A self-injective and weakly symmetric
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 15/21
![Page 122: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/122.jpg)
Artin-Wedderburn Theorem
Theorem. [M-Miemietz]:
Every “simple” fiat 2-category with a strongly regular maximal two-sidedcell is “essentially” CA for A self-injective and weakly symmetric.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 16/21
![Page 123: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/123.jpg)
Artin-Wedderburn Theorem
Theorem. [M-Miemietz]:
Every “simple” fiat 2-category with a strongly regular maximal two-sidedcell is “essentially” CA for A self-injective and weakly symmetric.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 16/21
![Page 124: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/124.jpg)
Artin-Wedderburn Theorem
Theorem. [M-Miemietz]:
Every “simple” fiat 2-category with a strongly regular maximal two-sidedcell is “essentially” CA for A self-injective and weakly symmetric.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 16/21
![Page 125: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/125.jpg)
Artin-Wedderburn Theorem
Theorem. [M-Miemietz]:
Every “simple” fiat 2-category with a strongly regular maximal two-sidedcell is “essentially” CA for A self-injective and weakly symmetric.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 16/21
![Page 126: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/126.jpg)
Simple transitive 2-representations
Theorem. [M-Miemietz]:
Every simple transitive 2-representation of a fiat 2-category with stronglyregular two-sided cells is equivalent to a cell 2-representation.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 17/21
![Page 127: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/127.jpg)
Simple transitive 2-representations
Theorem. [M-Miemietz]:
Every simple transitive 2-representation of a fiat 2-category with stronglyregular two-sided cells is equivalent to a cell 2-representation.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 17/21
![Page 128: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/128.jpg)
Simple transitive 2-representations
Theorem. [M-Miemietz]:
Every simple transitive 2-representation of a fiat 2-category with stronglyregular two-sided cells is equivalent to a cell 2-representation.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 17/21
![Page 129: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/129.jpg)
Simple transitive 2-representations
Theorem. [M-Miemietz]:
Every simple transitive 2-representation of a fiat 2-category with stronglyregular two-sided cells is equivalent to a cell 2-representation.
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 17/21
![Page 130: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/130.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 131: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/131.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 132: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/132.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 133: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/133.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 134: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/134.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 135: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/135.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 136: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/136.jpg)
Inflation
C — finitary 2-category
M — finitary 2-representation of C
A — finitary k-linear category
M�A has the structure of a 2-representation of C where everything in Cacts as the identity on A
Definition: This is called the inflation of M by A
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 18/21
![Page 137: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/137.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 138: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/138.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 139: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/139.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 140: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/140.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 141: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/141.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 142: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/142.jpg)
Isotypic 2-representations
Recall: An A-module is isotypic if all its simple subquotients areisomorphic
M — finitary 2-representation of C
M has weak Jordan-Hölder series and the corresponding weakJordan-Hölder subquotients (simple transitive 2-representations)
Definition: M is isotypic if all its simple transitive subquotients areequivalent
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 19/21
![Page 143: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/143.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 144: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/144.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 145: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/145.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 146: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/146.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 147: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/147.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 148: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/148.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 149: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/149.jpg)
Classification of isotypic 2-representations
Main theorem. [M-Miemietz]
C — fiat 2-category with unique maximal two sided cell J
Assume every non-trivial 2-sided ideal in C contains J
Assume J is strongly regular.
Then every faithful isotypic 2-representation of C is equivalent to aninflation of CL for a left cell L in J .
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 20/21
![Page 150: Finitary 2-representations of finitary 2-categories › ~mazor › PREPRINTS › DOKLADY › edinburgh201… · 2014-09-02 · Finitary 2-representations of finitary 2-categories](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f03d04a7e708231d40ae65b/html5/thumbnails/150.jpg)
THANK YOU!!!
Volodymyr Mazorchuk Finitary 2-representations of finitary 2-categories 21/21