Or: Cell theory for algebras
In this series of talks we explain how representation theory of monoids, algebras and monoidal categories can all be based on the theory of cells.
This is part 2 of 3.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Cell theory for monoid
In this series of talks we explain how representation theory of monoids, algebras and monoidal categories can all be based on the theory of cells.
This is part 1 of 3.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Representation theory of monoids and monoidal categoriesDaniel Tubbenhauer
Or: Cells and actions
This talk explains a (in my opinion cute) relationship between the representation theory of monoids and monoidal categories. The connection is cell theory, a.k.a. Green's relations.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Representing symmetries
This talk is a summary and a motivation why one should study representation theory and its categorification.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: Cell theory for monoidal categories
In this series of talks we explain how representation theory of monoids, algebras and monoidal categories can all be based on the theory of cells.
This is part 3 of 3.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Cell theory for monoid
In this series of talks we explain how representation theory of monoids, algebras and monoidal categories can all be based on the theory of cells.
This is part 1 of 3.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Representation theory of monoids and monoidal categoriesDaniel Tubbenhauer
Or: Cells and actions
This talk explains a (in my opinion cute) relationship between the representation theory of monoids and monoidal categories. The connection is cell theory, a.k.a. Green's relations.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Representing symmetries
This talk is a summary and a motivation why one should study representation theory and its categorification.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: Cell theory for monoidal categories
In this series of talks we explain how representation theory of monoids, algebras and monoidal categories can all be based on the theory of cells.
This is part 3 of 3.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Beyond linear.
Abstract: Equivariant neural networks are neural networks that incorporate symmetries. The nonlinear activation functions in these networks result in interesting nonlinear equivariant maps between simple representations, and motivate the key player of this talk: piecewise linear representation theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
The mathematics of AI (machine learning mathematically)Daniel Tubbenhauer
Or: Forward, loss, backward
Abstract: This presentation is an introduction to the mathematics that govern neural networks in machine learning.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
Or: SO3 webs in action
I will explain how to use a representation theoretical gadget called webs to prove the four color theorem.
There is still a computer component involved.
The slides and their source code can be found on the website www.dtubbenhauer.com
Abstract: Computer algebra is about developing tools for the exact solution of equations. Here equation can mean differential equations, linear or polynomial equations or inequalities, recurrences, equations in groups, algebras or categories, tensor equations etc. It is widely used to experiment in mathematics, science and engineering. In fact, it is used everywhere in mathematics, even while working on "very abstract" questions.
This talk is a short and friendly introduction to some of the main ideas of exact yet fast algorithms in computation with the focus on multiplications of numbers and polynomials.
Or: Quantum algebra = geometry + algebra
You may not have heard of knot theory, the mathematical study of knots. Inspired by real-world knots such as those in shoelaces and ropes, knot theory is a fairly new field of mathematics which nowadays sits in the intersection of algebra and geometry, with applications beyond mathematics itself. This talk is a friendly overview of how knots and algebra fit together nicely.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Invariant theory, magnetism, subfactors and skein
This talk is a very biased collection of my attempt to understand the history of category theory, from Eilenberg and MacLane to monoidal categories and alike.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: ADE and all that
This talk is a summary of the history of subfactors, starting with the analytic definitions, to Jones' subfactors to skein theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: Invariant theory, magnetism, subfactors and skein
This talk is a summary of the history of the Temperley-Lieb calculus, starting with famous works of Rumer-Teller-Weyl and Temperley-Lieb, over subfactors to skein theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: From ice to R-matrices
This talk is a summary of the history of quantum groups, describe how they arose from questions in statistical mechanics. The keyword is the Yang-Baxter equation, which was crucial for the development of the field.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
This slide is special for master students (MIBS & MIFB) in UUM. Also useful for readers who are interested in the topic of contemporary Islamic banking.
Executive Directors Chat Leveraging AI for Diversity, Equity, and InclusionTechSoup
Let’s explore the intersection of technology and equity in the final session of our DEI series. Discover how AI tools, like ChatGPT, can be used to support and enhance your nonprofit's DEI initiatives. Participants will gain insights into practical AI applications and get tips for leveraging technology to advance their DEI goals.
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
Introduction to AI for Nonprofits with Tapp NetworkTechSoup
Dive into the world of AI! Experts Jon Hill and Tareq Monaur will guide you through AI's role in enhancing nonprofit websites and basic marketing strategies, making it easy to understand and apply.
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
Or: Beyond linear.
Abstract: Equivariant neural networks are neural networks that incorporate symmetries. The nonlinear activation functions in these networks result in interesting nonlinear equivariant maps between simple representations, and motivate the key player of this talk: piecewise linear representation theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
The mathematics of AI (machine learning mathematically)Daniel Tubbenhauer
Or: Forward, loss, backward
Abstract: This presentation is an introduction to the mathematics that govern neural networks in machine learning.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
Or: SO3 webs in action
I will explain how to use a representation theoretical gadget called webs to prove the four color theorem.
There is still a computer component involved.
The slides and their source code can be found on the website www.dtubbenhauer.com
Abstract: Computer algebra is about developing tools for the exact solution of equations. Here equation can mean differential equations, linear or polynomial equations or inequalities, recurrences, equations in groups, algebras or categories, tensor equations etc. It is widely used to experiment in mathematics, science and engineering. In fact, it is used everywhere in mathematics, even while working on "very abstract" questions.
This talk is a short and friendly introduction to some of the main ideas of exact yet fast algorithms in computation with the focus on multiplications of numbers and polynomials.
Or: Quantum algebra = geometry + algebra
You may not have heard of knot theory, the mathematical study of knots. Inspired by real-world knots such as those in shoelaces and ropes, knot theory is a fairly new field of mathematics which nowadays sits in the intersection of algebra and geometry, with applications beyond mathematics itself. This talk is a friendly overview of how knots and algebra fit together nicely.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides (if I need to update the slides): tubbenhauer.com/talks.html
Or: Invariant theory, magnetism, subfactors and skein
This talk is a very biased collection of my attempt to understand the history of category theory, from Eilenberg and MacLane to monoidal categories and alike.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: ADE and all that
This talk is a summary of the history of subfactors, starting with the analytic definitions, to Jones' subfactors to skein theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: Invariant theory, magnetism, subfactors and skein
This talk is a summary of the history of the Temperley-Lieb calculus, starting with famous works of Rumer-Teller-Weyl and Temperley-Lieb, over subfactors to skein theory.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Slides: dtubbenhauer.com/talks.html
Or: From ice to R-matrices
This talk is a summary of the history of quantum groups, describe how they arose from questions in statistical mechanics. The keyword is the Yang-Baxter equation, which was crucial for the development of the field.
Disclaimer: No one is perfect, so please mind that there might be mistakes and typos.
dtubbenhauer@gmail.com
Corrected slides: dtubbenhauer.com/talks.html
This slide is special for master students (MIBS & MIFB) in UUM. Also useful for readers who are interested in the topic of contemporary Islamic banking.
Executive Directors Chat Leveraging AI for Diversity, Equity, and InclusionTechSoup
Let’s explore the intersection of technology and equity in the final session of our DEI series. Discover how AI tools, like ChatGPT, can be used to support and enhance your nonprofit's DEI initiatives. Participants will gain insights into practical AI applications and get tips for leveraging technology to advance their DEI goals.
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
Introduction to AI for Nonprofits with Tapp NetworkTechSoup
Dive into the world of AI! Experts Jon Hill and Tareq Monaur will guide you through AI's role in enhancing nonprofit websites and basic marketing strategies, making it easy to understand and apply.
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
2024.06.01 Introducing a competency framework for languag learning materials ...Sandy Millin
http://sandymillin.wordpress.com/iateflwebinar2024
Published classroom materials form the basis of syllabuses, drive teacher professional development, and have a potentially huge influence on learners, teachers and education systems. All teachers also create their own materials, whether a few sentences on a blackboard, a highly-structured fully-realised online course, or anything in between. Despite this, the knowledge and skills needed to create effective language learning materials are rarely part of teacher training, and are mostly learnt by trial and error.
Knowledge and skills frameworks, generally called competency frameworks, for ELT teachers, trainers and managers have existed for a few years now. However, until I created one for my MA dissertation, there wasn’t one drawing together what we need to know and do to be able to effectively produce language learning materials.
This webinar will introduce you to my framework, highlighting the key competencies I identified from my research. It will also show how anybody involved in language teaching (any language, not just English!), teacher training, managing schools or developing language learning materials can benefit from using the framework.
A workshop hosted by the South African Journal of Science aimed at postgraduate students and early career researchers with little or no experience in writing and publishing journal articles.
South African Journal of Science: Writing with integrity workshop (2024)
Representation theory of algebras
1. Representation theory of algebras
Or: Cell theory for algebras
Daniel Tubbenhauer
Part 1: Reps of monoids; Part 3: Reps of monoidal cats
August 2022
Cell theory for algebras Representation theory of algebras August 2022 1 / 7
2. Where do we want to go?
Groups Monoids
Fusion mon-
oidal cats
Fiat mon-
oidal cats
Group reps Monoid reps
Fusion reps Fiat reps
generalize
“categorify”
rep theory
I Green, Clifford, Munn, Ponizovskiı̆ ∼1940+
+ + many others
Representation theory of (finite) monoids
I Goal Find some categorical analog
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
3. Where do we want to go?
Groups Monoids
Fusion mon-
oidal cats
Fiat mon-
oidal cats
Group reps Monoid reps
Fusion reps Fiat reps
generalize
“categorify”
rep theory
I Green, Clifford, Munn, Ponizovskiı̆ ∼1940+
+ + many others
Representation theory of (finite) monoids
I Goal Find some categorical analog
“Categorify”
!
is motivated by
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
4. Where do we want to go?
I Today: off track Interlude on H-reduction for algebras
I We will discover the H-reduction for algebras in real time!
I Examples we discuss The good, the ugly and the bad
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
5. The good
Connect 4 points at the bottom with 4 points at the top, potentially turning back:
{1, −4}, {2, 4}, {3, −2}, {−1, −3}
!
or
{1, 2}, {3, 4}, {−1, −3}, {−2, −4}
!
We just invented the Brauer monoid Br4 on {1, ..., 4} ∪ {−1, ..., −4}
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
6. The good
× =
= δ ·
Fix some field K and δ ∈ K, evaluate circles to δ ⇒ Brauer algebra Br4(δ)
The Brauer monoid is the non-linear version of Br4(1)
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
7. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
8. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Crucial notion in the linear world:
Pseudo idempotent ee = δe for δ 6= 0
◦ = δ·
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
9. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Crucial notion in the linear world:
Pseudo idempotent ee = δe for δ 6= 0
◦ = δ·
Pseudo idempotent can be normalized to idempotents
ee = δe ⇒ e
δ
e
δ
= e
δ
Green, Clifford, Munn, Ponizovskiı̆ ⇒ pseudo idempotents are good!
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
10. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Example (cells of Br3(δ) for δ 6= 0, pseudo idempotent cells colored)
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
11. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Example (cells of Br3(δ) for δ 6= 0, pseudo idempotent cells colored)
Example (cells of Br3(δ) for δ = 0, pseudo idempotent cells colored)
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
12. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Theorem (Brown ∼1953, Fishel–Grojnowski ∼1995)
H-reduction works for the Brauer algebra
(a) J-cells ! through strands, all J-cells are pseudo idempotent for δ 6= 0
and H(e) are symmetric groups in the through strands
(b) For δ = 0 similar but with J0 having no pseudo idempotent
The top cell:
etc. are nilpotent for δ = 0
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
13. The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Theorem (Brown ∼1953, Fishel–Grojnowski ∼1995 and folklore)
H-reduction works for other diagram algebra and quantum versions
More details on the exercise sheets
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
14. The ugly
S4 :
I Symmetric groups Sn of order n! are the symmetry groups of (n−1) simplices
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
15. The ugly
S4 : , S5 :
I Kazhdan–Lusztig (KL) ∼1979, Lusztig ∼1984, folklore Use a J-reduction approach
I Lusztig’s approach gives an H-reduction way of classifying simple Sn reps
I Aside The character table of Sn is integral ⇒ categorification!
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
16. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
17. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Green cells in linear
B = {x, y, z, ...} fix basis of an algebra A
⊂
+ = has a nonzero coefficient when expressed via B
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
18. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Example (groups and monoids)
For B=monoid basis: linear cells = Green cells
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
19. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Example (groups and monoids)
For B=monoid basis: linear cells = Green cells
Example (group-like)
All invertible basis elements form the smallest cell (well, kind of...)
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
20. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Example (groups and monoids)
For B=monoid basis: linear cells = Green cells
Example (group-like)
All invertible basis elements form the smallest cell (well, kind of...)
Example (diagram algebras)
For B=diagram basis: linear cells = Green cells
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
21. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
22. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (no specific algebra)
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
23. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (cells for S2 = h1i and S3 = h1, 2i over C, pseudo idempotent cells colored)
For B=KL basis bw , ∼
=s = up to scaling (more on the exercise sheets)
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
24. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (cells for S2 = h1i and S3 = h1, 2i over Z/2Z, pseudo idempotent cells colored)
For B=KL basis bw , ∼
=s = up to scaling (more on the exercise sheets)
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
25. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
The notion of an apex makes sense for the pair (Sn, BKL) J-reduction
“Apex = fish” means that the KL basis elements in the red bubble do not annihilate your rep and the others do
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
26. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
27. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
For the record
(b) works over any field but with p-restricted partitions
There is also a quantum version
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
28. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
Example (symmetric group S3)
The simple reps over C corresponding to the three J (e) cells via
χ2 ! J∅, χ3 ! Jm, χ1 ! Jw0 ,
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
29. The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
Example (symmetric group S3)
The simple reps over K with char(K) = 2 corresponding to the two J (e) cells via
χ1 = χ2 ! J∅, χ3 ! Jm,
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
30. The bad
D4
,
D4
I Dihedral groups Dn of order 2n are the symmetry groups of n gons
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
31. The bad
D4 : , D5 :
I Kazhdan–Lusztig (KL) ∼1979, Lusztig ∼1984, folklore Use a J-reduction approach
I Lusztig’s approach almost gives an H-reduction way of classifying simple Dn reps
I Aside The character table of Dn is not integral ⇒ looks bad for categorification
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
32. The bad
The (linear) cell orders and equivalences for a fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I H-cells = intersections of left and right cells
I Slogan Cells measure information loss
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
33. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
34. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (cells for D4, D5 = h1, 2i over C, pseudo idempotent cells colored)
D4:
D5:
For B=KL basis bw , ∼
=s = up to scaling (more on the exercise sheets)
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
35. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (Lusztig ∼80ish, folklore)
For Dn, n odd there exists a basis B such that:
(a) All simple Dn modules have a unique apex
(b) There are three J-cells, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to C or C[Z/(n−1
2
)Z]
There is also a slightly more involved version for general K
(c) H-reduction works for Dn
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
36. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (dihedral group D5)
The simple reps over C corresponding to the three J (e) cells via
χ2 ! J∅, χ3, χ4 ! Jm, χ1 ! Jw0 ,
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
37. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Example (dihedral group D5)
The simple reps over C corresponding to the three J (e) cells via
χ2 ! J∅, χ3, χ4 ! Jm, χ1 ! Jw0 ,
Example (dihedral group D5)
The simple reps over K with char(K) = 2 corresponding to the two J (e) cells via
χ2 ! J∅, χ3, χ4 ! Jm, χ1 ! Jw0 ,
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
38. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (Lusztig ∼80ish, folklore)
The J-reduction (notion of an apex) makes sense for all Coxeter groups
But H-reduction only works in type A and odd dihedral type
H-reduction Powerful, but doesn’t work in general
J-reduction General, but not so powerful
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
39. The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
J-reduction often doesn’t get you far
A middle cell in type E8 where dim SJ = 202671840 and zillions of associated simples:
Ak,l = H-cells of size A arranged in a (k × l)-matrix
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
40. The good, the ugly and the bad – comparison
I For monoids all H-cells within one J-cell are of the same size
I For the good, the ugly and the odd bad the same is true
I For the even bad this is false
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
41. The good, the ugly and the bad – comparison
I For monoids all H-cells within one J-cell are of the same size
I For the good, the ugly and the odd bad the same is true
I For the even bad this is false
Strategy (Brown ∼1953, König–Xi ∼1999, folklore)
Find axioms ensuring that
H-cells within one J-cell are of the same size
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
42. The good, the ugly and the bad – comparison
Sandwich datum:
Sλ = sandwiched algebras
A sandwich cellular algebra A: sandwich datum + some axioms such as
xcλ
D,b,U ≡
X
S∈Mλ,a∈B
r(S, D) · cλ
S,a,U + higher order friends
Cellular = all Sλ
∼
= K = all H-cells are of size one
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
43. The good, the ugly and the bad – comparison
Sandwich datum:
Sλ = sandwiched algebras
A sandwich cellular algebra A: sandwich datum + some axioms such as
xcλ
D,b,U ≡
X
S∈Mλ,a∈B
r(S, D) · cλ
S,a,U + higher order friends
Cellular = all Sλ
∼
= K = all H-cells are of size one
Approximate picture to keep in mind
D0
U0
b0
D
U
b
≡ r(U0
, D)·
D0
U
b0
b
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
44. The good, the ugly and the bad – comparison
Sandwich datum:
Sλ = sandwiched algebras
A sandwich cellular algebra A: sandwich datum + some axioms such as
xcλ
D,b,U ≡
X
S∈Mλ,a∈B
r(S, D) · cλ
S,a,U + higher order friends
Cellular = all Sλ
∼
= K = all H-cells are of size one
Approximate picture to keep in mind
D0
U0
b0
D
U
b
≡ r(U0
, D)·
D0
U
b0
b
H-cells are of equal size, by definition! As free K vector spaces:
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
45. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
46. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
For sandwich cellular algebras
The J-reduction (notion of an apex) makes sense
The H-reduction works
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
47. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example
All algebras are sandwich cellular with Λ = {•} and S• = A
We get the fantastic H-reduction tautology:
(
simples of
A
)
=
(
simples with
apex •
)
one-to-one
←
−
−
−
−
→
(
simples of
S•
)
=
(
simples of
A
)
The point is to find a good sandwich datum!
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
48. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example (cf. talk 1)
Many monoid algebras with the monoid basis
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
49. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example (cf. talk 1)
Many monoid algebras with the monoid basis
Example
Diagram algebras with the diagram basis
The good
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
50. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example (cf. talk 1)
Many monoid algebras with the monoid basis
Example
Diagram algebras with the diagram basis
The good
Example
Sn with the KL basis
The ugly
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
51. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example (cf. talk 1)
Many monoid algebras with the monoid basis
Example
Diagram algebras with the diagram basis
The good
Example
Sn with the KL basis
The ugly
Example
Dn, n odd with the KL basis
The odd bad
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
52. The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Example (cf. talk 1)
Many monoid algebras with the monoid basis
Example
Diagram algebras with the diagram basis
The good
Example
Sn with the KL basis
The ugly
Example
Dn, n odd with the KL basis
The odd bad
Nonexample
Dn, n even with the KL basis
The even bad
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
53. Where do we want to go?
Groups Monoids
Fusion mon-
oidal cats
Fiat mon-
oidal cats
Group reps Monoid reps
Fusion reps Fiat reps
generalize
“categorify”
rep theory
I Green, Clifford, Munn, Ponizovskiı̆ ∼1940+
+ + many others
Representation theory of (finite) monoids
I Goal Find some categorical analog
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
Where do we want to go?
I Today: off track Interlude on H-reduction for algebras
I We will discover the H-reduction for algebras in real time!
I Examples we discuss The good, the ugly and the bad
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Example (cells of Br3(δ) for δ 6= 0, pseudo idempotent cells colored)
Example (cells of Br3(δ) for δ = 0, pseudo idempotent cells colored)
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
The ugly
S4 :
I Symmetric groups Sn of order n! are the symmetry groups of (n−1) simplices
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
Example (symmetric group S3)
The simple reps over C corresponding to the three J (e) cells via
χ2 ! J∅, χ3 ! Jm, χ1 ! Jw0 ,
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
The bad
D4
,
D4
I Dihedral groups Dn of order 2n are the symmetry groups of n gons
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (Lusztig ∼80ish, folklore)
The J-reduction (notion of an apex) makes sense for all Coxeter groups
But H-reduction only works in type A and odd dihedral type
H-reduction Powerful, but doesn’t work in general
J-reduction General, but not so powerful
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
There is still much to do...
Cell theory for algebras Representation theory of algebras August 2022 7 / 7
54. Where do we want to go?
Groups Monoids
Fusion mon-
oidal cats
Fiat mon-
oidal cats
Group reps Monoid reps
Fusion reps Fiat reps
generalize
“categorify”
rep theory
I Green, Clifford, Munn, Ponizovskiı̆ ∼1940+
+ + many others
Representation theory of (finite) monoids
I Goal Find some categorical analog
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
Where do we want to go?
I Today: off track Interlude on H-reduction for algebras
I We will discover the H-reduction for algebras in real time!
I Examples we discuss The good, the ugly and the bad
Cell theory for algebras Representation theory of algebras August 2022 2 / 7
The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
The good
Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence
simples with
apex J (e)
one-to-one
←
−
−
−
−
→
simples of (any)
H(e) ⊂ J (e)
Reps of monoids are controlled by H(e)-cells
I Brn(δ) is not a monoid ⇒ H-reduction does not apply
I My favorite strategy Ignore problems and just go for it
Example (cells of Br3(δ) for δ 6= 0, pseudo idempotent cells colored)
Example (cells of Br3(δ) for δ = 0, pseudo idempotent cells colored)
Cell theory for algebras Representation theory of algebras August 2022 3 / 7
The ugly
S4 :
I Symmetric groups Sn of order n! are the symmetry groups of (n−1) simplices
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
The ugly
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (KL ∼1979, Lusztig ∼1984, folklore)
For Sn there exists a basis B such that:
(a) All simple Sn modules have a unique apex
(b) For char(K) = 0, J-cells ! partitions of n, all J-cells are pseudo idempotent
and all corresponding SH are isomorphic to K
(c) H-reduction works for Sn
Example (symmetric group S3)
The simple reps over C corresponding to the three J (e) cells via
χ2 ! J∅, χ3 ! Jm, χ1 ! Jw0 ,
Cell theory for algebras Representation theory of algebras August 2022 4 / 7
The bad
D4
,
D4
I Dihedral groups Dn of order 2n are the symmetry groups of n gons
I Frobenius ∼1895+
+ Their (complex) rep theory is well understood
I They are groups ⇒ Green’s cell theory is boring
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
The bad
The (linear) cell orders and equivalences for fixed basis B:
Left, right and two-sided cells (a.k.a. L, R and J-cells): equivalence classes
I Get algebras SJ , SH by killing higher order terms
I Pseudo idempotents make SJ , SH unital
Theorem (Lusztig ∼80ish, folklore)
The J-reduction (notion of an apex) makes sense for all Coxeter groups
But H-reduction only works in type A and odd dihedral type
H-reduction Powerful, but doesn’t work in general
J-reduction General, but not so powerful
Cell theory for algebras Representation theory of algebras August 2022 5 / 7
The good, the ugly and the bad – comparison
In spirit of Clifford, Munn, Ponizovskiı̆ ∼1940+
+ H-reduction
There is a one-to-one correspondence (under some conditions on K and Sλ)
simples with
apex λ
one-to-one
←
−
−
−
−
→
simples of
Sλ
Reps are controlled by the sandwiched algebras
I Each simple has a unique maximal λ ∈ Λ where having a pseudo idempotent is
replaced by a paring condition Apex
I In other words (smod means the category of simples):
S-smodλ ' Sλ-smod
Cell theory for algebras Representation theory of algebras August 2022 6 / 7
Thanks for your attention!
Cell theory for algebras Representation theory of algebras August 2022 7 / 7