Koszul duality and Soergel bimodules for dihedral groups
HTML articles powered by AMS MathViewer
- by Marc Sauerwein PDF
- Trans. Amer. Math. Soc. 370 (2018), 1251-1283 Request permission
Abstract:
Every Coxeter system $(W,S)$ gives rise to a Hecke algebra $\textbf {H} _{(W,S)}$ which can be categorified by the additive monoidal category of Soergel bimodules $\mathcal S\mathcal B$. Under this isomorphism the Kazhdan-Lusztig basis $\{\underline {H}_x\}_{x\in W}$ corresponds to certain indecomposable Soergel bimodules $\{B_x\}_{x\in W}$ (up to shift). In this thesis we study the structure of the endomorphism algebra (of maps of all degrees) $\mathcal A:= \operatorname {End}^\bullet _{\mathcal S\mathcal B}\left (\bigoplus _{x\in W} B_x \right )\otimes _R\mathbb {R}$. Via category $\mathcal {O}$ it has been proven for all Weyl groups that $\mathcal A$ is a self-dual Koszul algebra. We extend this result to all dihedral groups by purely algebraic methods using representation theory of quivers and Soergel calculus.References
- István Ágoston, Vlastimil Dlab, and Erzsébet Lukács, Quasi-hereditary extension algebras, Algebr. Represent. Theory 6 (2003), no. 1, 97–117. MR 1960515, DOI 10.1023/A:1022373620471
- I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand, A certain category of ${\mathfrak {g}}$-modules, Funkcional. Anal. i Priložen. 10 (1976), no. 2, 1–8 (Russian). MR 0407097
- Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
- Benjamin Cooper and Vyacheslav Krushkal, Categorification of the Jones-Wenzl projectors, Quantum Topol. 3 (2012), no. 2, 139–180. MR 2901969, DOI 10.4171/QT/27
- S. Donkin, The $q$-Schur algebra, London Mathematical Society Lecture Note Series, vol. 253, Cambridge University Press, Cambridge, 1998. MR 1707336, DOI 10.1017/CBO9780511600708
- Ben Elias and Mikhail Khovanov, Diagrammatics for Soergel categories, Int. J. Math. Math. Sci. , posted on (2010), Art. ID 978635, 58. MR 3095655, DOI 10.1155/2010/978635
- Ben Elias, The two-color Soergel calculus, Compos. Math. 152 (2016), no. 2, 327–398. MR 3462556, DOI 10.1112/S0010437X15007587
- Ben Elias and Geordie Williamson, Soergel calculus, Represent. Theory 20 (2016), 295–374. MR 3555156, DOI 10.1090/ert/481
- Ben Elias and Geordie Williamson, The Hodge theory of Soergel bimodules, Ann. of Math. (2) 180 (2014), no. 3, 1089–1136. MR 3245013, DOI 10.4007/annals.2014.180.3.6
- Peter Fiebig, The combinatorics of Coxeter categories, Trans. Amer. Math. Soc. 360 (2008), no. 8, 4211–4233. MR 2395170, DOI 10.1090/S0002-9947-08-04376-6
- Igor B. Frenkel and Mikhail G. Khovanov, Canonical bases in tensor products and graphical calculus for $U_q({\mathfrak {s}}{\mathfrak {l}}_2)$, Duke Math. J. 87 (1997), no. 3, 409–480. MR 1446615, DOI 10.1215/S0012-7094-97-08715-9
- Igor Frenkel, Catharina Stroppel, and Joshua Sussan, Categorifying fractional Euler characteristics, Jones-Wenzl projectors and $3j$-symbols, Quantum Topol. 3 (2012), no. 2, 181–253. MR 2901970, DOI 10.4171/QT/28
- I. Herrmann, Untersuchungen zu den Kazhdan-Lusztig-Polynomen und zu dazupassenden Bimoduln, Diplomarbeit, University of Freiburg, July 1999, available at http://immi.karimmi.de/paper/diplom.ps.
- James E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, Cambridge, 1990. MR 1066460, DOI 10.1017/CBO9780511623646
- Jens Carsten Jantzen, Lectures on quantum groups, Graduate Studies in Mathematics, vol. 6, American Mathematical Society, Providence, RI, 1996. MR 1359532, DOI 10.1090/gsm/006
- V. F. R. Jones, Braid groups, Hecke algebras and type $\textrm {II}_1$ factors, Geometric methods in operator algebras (Kyoto, 1983) Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., Harlow, 1986, pp. 242–273. MR 866500
- David Kazhdan and George Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), no. 2, 165–184. MR 560412, DOI 10.1007/BF01390031
- Louis H. Kauffman and Sóstenes L. Lins, Temperley-Lieb recoupling theory and invariants of $3$-manifolds, Annals of Mathematics Studies, vol. 134, Princeton University Press, Princeton, NJ, 1994. MR 1280463, DOI 10.1515/9781400882533
- Nicolas Libedinsky, Équivalences entre conjectures de Soergel, J. Algebra 320 (2008), no. 7, 2695–2705 (French, with French summary). MR 2441995, DOI 10.1016/j.jalgebra.2008.05.030
- Nicolas Libedinsky, Sur la catégorie des bimodules de Soergel, J. Algebra 320 (2008), no. 7, 2675–2694 (French, with French summary). MR 2441994, DOI 10.1016/j.jalgebra.2008.05.027
- Nicolas Libedinsky, Presentation of right-angled Soergel categories by generators and relations, J. Pure Appl. Algebra 214 (2010), no. 12, 2265–2278. MR 2660912, DOI 10.1016/j.jpaa.2010.02.026
- W. B. Raymond Lickorish, An introduction to knot theory, Graduate Texts in Mathematics, vol. 175, Springer-Verlag, New York, 1997. MR 1472978, DOI 10.1007/978-1-4612-0691-0
- Hideya Matsumoto, Générateurs et relations des groupes de Weyl généralisés, C. R. Acad. Sci. Paris 258 (1964), 3419–3422 (French). MR 183818
- Volodymyr Mazorchuk, Serge Ovsienko, and Catharina Stroppel, Quadratic duals, Koszul dual functors, and applications, Trans. Amer. Math. Soc. 361 (2009), no. 3, 1129–1172. MR 2457393, DOI 10.1090/S0002-9947-08-04539-X
- Lev Rozansky, An infinite torus braid yields a categorified Jones-Wenzl projector, Fund. Math. 225 (2014), no. 1, 305–326. MR 3205575, DOI 10.4064/fm225-1-14
- Wolfgang Soergel, Kategorie $\scr O$, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe, J. Amer. Math. Soc. 3 (1990), no. 2, 421–445 (German, with English summary). MR 1029692, DOI 10.1090/S0894-0347-1990-1029692-5
- Wolfgang Soergel, Kazhdan-Lusztig polynomials and a combinatoric[s] for tilting modules, Represent. Theory 1 (1997), 83–114. MR 1444322, DOI 10.1090/S1088-4165-97-00021-6
- Wolfgang Soergel, Combinatorics of Harish-Chandra modules, Representation theories and algebraic geometry (Montreal, PQ, 1997) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 514, Kluwer Acad. Publ., Dordrecht, 1998, pp. 401–412. MR 1653039
- Wolfgang Soergel, Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen, J. Inst. Math. Jussieu 6 (2007), no. 3, 501–525 (German, with English and German summaries). MR 2329762, DOI 10.1017/S1474748007000023
- Wolfgang Soergel, private communication, 2014.
- Catharina Stroppel, Category ${\scr O}$: gradings and translation functors, J. Algebra 268 (2003), no. 1, 301–326. MR 2005290, DOI 10.1016/S0021-8693(03)00308-9
- Catharina Stroppel, Category $\scr O$: quivers and endomorphism rings of projectives, Represent. Theory 7 (2003), 322–345. MR 2017061, DOI 10.1090/S1088-4165-03-00152-3
- Hans Wenzl, On sequences of projections, C. R. Math. Rep. Acad. Sci. Canada 9 (1987), no. 1, 5–9. MR 873400
Additional Information
- Marc Sauerwein
- Affiliation: Department of Mathematics, University of Bonn, 53115 Bonn, Germany
- Email: sauerwein@math.uni-bonn.de
- Received by editor(s): June 15, 2015
- Received by editor(s) in revised form: May 31, 2016, and June 27, 2016
- Published electronically: October 18, 2017
- © Copyright 2017 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 370 (2018), 1251-1283
- MSC (2010): Primary 16S37; Secondary 20F55
- DOI: https://doi.org/10.1090/tran/7014
- MathSciNet review: 3729500