Why (categorical) representation theory?

Why (categorical) representation theory?
Or: Representing symmetries
Daniel Tubbenhauer
7→ 1
August 2021
Daniel Tubbenhauer Why (categorical) representation theory? August 2021 1 / 6

Where are we?
The six main fields of pure mathematics algebra , analysis , geometry ,
topology , logic , discrete mathematics

Where are we?
Today
Black box. Representation theory and its categorical analog (brief) My research area
Dashed box. Where I like to apply them My research outreach
Applications beyond my current research? The future (within OIST?)

Representation theory – symmetries in vector spaces
· 1 g h
1 1 g h
g g h 1
h h 1 g
e.g. gh = 1
1
g
h

· 1 g h
1 1 g h
g g h 1
h h 1 g
e.g. gh = 1
1
g
h
Symmetry is everywhere

· 1 g h
1 1 g h
g g h 1
h h 1 g
e.g. gh = 1
1
g
h
Symmetry is everywhere
Symmetry in mathematics
Discrete symmetries (finite groups)
Smooth symmetries (Lie groups and Lie algebras) I like these
Algebras I like these
More...

What symmetries satisfy
(a) We have a composition rule ◦(g, h) = gh Multiplication
(b) We have g(hf ) = (gh)f Associativity
(c) There is a do nothing operation 1g = g = g1 Unit
(d) There is an undo operation gg−1
= 1 = g−1
g Inverse
Do nothing r=60° rotation rr rrr rrrr rrrrr
s=reflection sr=rrrrrs srr=rrrrs srrr=rrrs srrrr=rrs srrrrr=rs

= 1 = g−1
g Inverse
We have just discovered abstract group theory!
(Categorical) representation realizes (a)-(d) in something familiar

Representation theory associates linear objects to symmetries, e.g.
1
g
h
1 7→

1 0
0 1

g 7→
−1
2 −
√
3
2
√
3
2 −1
2
!
h 7→
−1
2
√
3
2
−
√
3
2 −1
2
!
• Representations are in the realm of linear algebra (matrices, vector spaces, etc.)
• Upshots. We can now talk about simple representations (the elements of the
theory), we can vary the underlying scalars, and play other games

The study of symmetries/actions is of fundamental importance in mathematics and
related field, but it is also very hard
Representation theory approach. The analog linear problems, e.g. classifying
simple representations, have often satisfying answers
Problem involving
an action
G X
Problem involving
a linear action
K[G] KX
“Decomposition of
the problem”
K[G]
L
Vi
new
insights?

Problem involving
an action
G X
Problem involving
a linear action
K[G] KX
“Decomposition of
the problem”
K[G]
L
Vi
new
insights?
Representation theory has been unreasonable successful in mathematics
Wikipedia quote “Representation theory is pervasive across fields of mathematics”
In all the six main fields!
I will zoom into one aspect that I like and have worked on momentarily

Problem involving
an action
G X
Problem involving
a linear action
K[G] KX
“Decomposition of
the problem”
K[G]
L
Vi
new
insights?
Representation theory has been unreasonable successful in mathematics
Wikipedia quote “Representation theory is pervasive across fields of mathematics”
In all the six main fields!
I will zoom into one aspect that I like and have worked on momentarily
Representation theory has been unreasonable successful in the sciences
What is Representation Theory?
Current Research in Representation Theory
Algebraic Voting Theory
Π Summer Program
Other Current Research
2014 Π Summer Graduate Program
Modern Applications of Representation Theory
University of Chicago
Representation Theory in Cyro-Electron Microscopy
Representation Theory in Computational Complexity
Representation Theory in Digital Signal Processing
Representation Theory in Fast Matrix Multiplication
Representation Theory in Machine Learning (and Pattern
Recognition)
Representation Theory in Quantum Computation (and
Holographic Algorithms)
Representation Theory and Random Processes
Representation Theory in Compressive Sensing
Representation Theory in Identity Management
Representation Theory in Phylogenetics
Representation Theory in Statistics
A. Misseldine Applied Representation Theory
What is Representation Theory?
Current Research in Representation Theory
Algebraic Voting Theory
Π Summer Program
Other Current Research
Other Applications of Representation Theory
Telephone network designs
Robotics
Radar/Antenna Design
Stereo Systems
Error-Correcting Codes
Computer Security
Crystallography
Voting
A. Misseldine Applied Representation Theory
Also nice: https://yetanothermathblog.com/2016/08/06/real-world-applications-of-representation-theory/
I would like to learn more about these!

Representation theory and knots – this is green and red
A knot/link is a string in three-space

A projection (called a knot/link diagram) is a 2d shadow
Left Trefoil Right Knotted protein

Projections might vary drastically
Knot theory is mostly the search for knot invariants – numerical data computed
from a projection that depends only on the knot:
invariants different ⇒ knots different

Witten–Reshetikhin–Turaev (WRT, ∼1990): use representation theory!
1
↑ ev
V ⊗V
↑ id⊗ev⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ id⊗coev⊗id
V ⊗V
↑ coev
1
(a) Put the projection in a Morse position
(b) To each generic horizontal slice associate a representation of a quantum group
“A non-commutative symmetry”
(c) To each basic piece associate a linear map
(d) The whole construction gives a family of invariants

1
↑ ev
V ⊗V
↑ id⊗ev⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ id⊗coev⊗id
V ⊗V
↑ coev
1
WRT opened a new field of mathematics – quantum algebra
If you ask me at 2am in the morning
“What are you doing for a living?”
I might answer “Quantum algebra”

1
↑ ev
V ⊗V
↑ id⊗ev⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ id⊗coev⊗id
V ⊗V
↑ coev
1
WRT opened a new field of mathematics – quantum algebra
I might answer “Quantum algebra”
Quantum algebra is strongly merged with diagrammatic representation theory
For example, there are colorful proofs of symmetries with knot invariants:
(Picture from one of my papers – using representations of Hecke and super Lie algebras)

Categorical representation theory – this is green and red
Categorification in a nutshell
set N
category Vect

set N
category Vect
1
2
3
6
n

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.
all n-dim.
vector spaces
V
f
W
A universe itself!

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.
all n-dim.
vector spaces
V
f
W
A universe itself!
all rank 1
2−1-matrices
K2
g
K
A universe itself!

set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.
all n-dim.
vector spaces
V
f
W
A universe itself!
all rank 1
2−1-matrices
K2
g
K
A universe itself!
The idea underlying categorification
The category Vect has the whole power of linear algebra at hand!
There is nothing comparable for N:
N is just a shadow of Vect

Categorical representation theory
2-category categories functors nat. trafos
1-category vector spaces linear maps
0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies

0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies
Representation theory lives here

0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies
Classical representation theory lives here
Categorical representation theory lives here

0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies
What one can hope for.
Problem involving
an action
G X
Problem involving
a categorical
action
Decomposition of
the problem
into 2-simples
“lift”
new
insights?

What one can hope for.
Problem involving
an action
G X
Problem involving
a categorical
action
Decomposition of
the problem
into 2-simples
“lift”
new
insights?
These ideas opened a new field of mathematics – categorification
I might answer “Categorification”

Applications of categorical representation theory:
Khovanov others ∼1999+
+. Knot homologies are instances of
2-representation theory. Low-dim. topology Math. Physics
Khovanov–Seidel others ∼2000+
+. Faithful 2-modules of braid groups.
Low-dim. topology Symplectic geometry
Chuang–Rouquier ∼2004. Proof of the Broué conjecture using 2-representation
theory. p-RT of finite groups Geometry Combinatorics
Elias–Williamson ∼2012. Proof of the Kazhdan–Lusztig conjecture using ideas
from 2-representation theory. Combinatorics RT Geometry
Riche–Williamson ∼2015. Tilting characters using 2-representation theory.
p-RT of reductive groups Geometry
Many more...

Applications of categorical representation theory:
Khovanov others ∼1999+
+. Knot homologies are instances of
2-representation theory. Low-dim. topology Math. Physics
Khovanov–Seidel others ∼2000+
+. Faithful 2-modules of braid groups.
Low-dim. topology Symplectic geometry
Chuang–Rouquier ∼2004. Proof of the Broué conjecture using 2-representation
theory. p-RT of finite groups Geometry Combinatorics
Elias–Williamson ∼2012. Proof of the Kazhdan–Lusztig conjecture using ideas
from 2-representation theory. Combinatorics RT Geometry
Riche–Williamson ∼2015. Tilting characters using 2-representation theory.
p-RT of reductive groups Geometry
Many more...
Functoriality of Khovanov–Rozansky’s invariants ∼2017
L0 ∈ R3
L ∈ R3
link
cobordism
functoriality
7−
−
−
−
−
−
→
JL0K
JLK
linear
map
(Picture from one of my papers – using categorical representation theory)
This was conjectured from about 10 years,
but seemed infeasible to prove,
and has some impact on 4-dim. topology

Where are we?
· 1 g h
1 1 g h
g g h 1
h h 1 g
e.g. gh = 1
1
g
h
= 1 = g−1
g Inverse
1
g
h
1 7→

1 0
0 1

g 7→
−1
2 −
√
3
2
√
3
2 −1
2
!
h 7→
−1
2
√
3
2
−
√
3
2 −1
2
!
1
↑ ev
V ⊗V
↑ id⊗ev⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ id⊗coev⊗id
V ⊗V
↑ coev
1
set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.
all n-dim.
vector spaces
V
f
W
A universe itself!
all rank 1
2−1-matrices
K2
g
K
A universe itself!
0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies
There is still much to do...

Where are we?
· 1 g h
1 1 g h
g g h 1
h h 1 g
e.g. gh = 1
1
g
h
= 1 = g−1
g Inverse
1
g
h
1 7→

1 0
0 1

g 7→
−1
2 −
√
3
2
√
3
2 −1
2
!
h 7→
−1
2
√
3
2
−
√
3
2 −1
2
!
1
↑ ev
V ⊗V
↑ id⊗ev⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ β⊗id
V ⊗V ⊗V ⊗V
↑ id⊗coev⊗id
V ⊗V
↑ coev
1
set N
category Vect
1
2
3
6
n
K
K2
K3
K6
Kn
dim.
+
⊕
·
⊗

sur.
inj.
all n-dim.
vector spaces
V
f
W
A universe itself!
all rank 1
2−1-matrices
K2
g
K
A universe itself!
0-category numbers
relate relate
relate
categorify
categorify
categorify
forms
forms
forms
categorifies
categorifies
Thanks for your attention!

Why (categorical) representation theory?

More Related Content

Similar to Why (categorical) representation theory? (20)

More from Daniel Tubbenhauer (12)

Recently uploaded (20)

Why (categorical) representation theory?