## Talks

Thursday, July 15, 12:00 ~ 12:35 UTC-3

## Parabolic Hilbert schemes and rational Cherednik algebras

### Monica Vazirani

#### UC Davis, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak3953af14befb2f7ce9b8b6609d378c80').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy3953af14befb2f7ce9b8b6609d378c80 = 'mjv&#97;z&#105;r&#97;n&#105;' + '&#64;'; addy3953af14befb2f7ce9b8b6609d378c80 = addy3953af14befb2f7ce9b8b6609d378c80 + '&#117;cd&#97;v&#105;s' + '&#46;' + '&#101;d&#117;'; var addy_text3953af14befb2f7ce9b8b6609d378c80 = 'mjv&#97;z&#105;r&#97;n&#105;' + '&#64;' + '&#117;cd&#97;v&#105;s' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak3953af14befb2f7ce9b8b6609d378c80').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy3953af14befb2f7ce9b8b6609d378c80 + '\'>'+addy_text3953af14befb2f7ce9b8b6609d378c80+'<\/a>';

One can use the geometry of parabolic Hilbert schemes of points on plane curve singularities to build representations of the rational Cherednik algebra (RCA) in type A. We use an alternate presentation of the RCA to describe these geometric representations. The basis of equivariant homology that comes from torus fixed points has a nice combinatorial description; and furthermore, this basis diagonalizes the action of the Dunkl-Opdam subalgebra of the RCA. We make use of our explicit combinatorial bases as well as the alternate presentation to construct explicit maps between standard modules parameterized by hooks, thus recovering the BGG resolution of the simple module parameterized by the trivial hook.

Joint work with Eugene Gorsky (UC Davis) and José Simental (Max-Planck-Institut für Mathematik).

View abstract PDF

Thursday, July 15, 12:45 ~ 13:20 UTC-3

## Subspace arrangements and submodules of the polynomial representation of the rational Cherednik algebra

### Stephen Griffeth

Representation theory may sometimes be used to study the ideals of varieties with large symmetry groups: for instance, this happens with determinantal varieties. I will discuss the extent to which the representation theory of Cherednik algebras may be applied in this fashion to the ideals of arrangements of linear subspaces, and advertise some related conjectures on the submodule structure of the polynomial representation of the Cherednik algebra of a cyclotomic reflection group.

View abstract PDF

Thursday, July 15, 13:30 ~ 14:05 UTC-3

## Restriction of square integrable representations

### Jorge Vargas

#### Famaf-CIEM, Argentina   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloaka4bfedededbff62560e2574c2ed4b6fa').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addya4bfedededbff62560e2574c2ed4b6fa = 'v&#97;rg&#97;s' + '&#64;'; addya4bfedededbff62560e2574c2ed4b6fa = addya4bfedededbff62560e2574c2ed4b6fa + 'f&#97;m&#97;f' + '&#46;' + '&#117;nc' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r'; var addy_texta4bfedededbff62560e2574c2ed4b6fa = 'v&#97;rg&#97;s' + '&#64;' + 'f&#97;m&#97;f' + '&#46;' + '&#117;nc' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r';document.getElementById('cloaka4bfedededbff62560e2574c2ed4b6fa').innerHTML += '<a ' + path + '\'' + prefix + ':' + addya4bfedededbff62560e2574c2ed4b6fa + '\'>'+addy_texta4bfedededbff62560e2574c2ed4b6fa+'<\/a>';

Let $G$ be a semisimple Lie group, and $(\pi,V)$ a irreducible square integrable representation for $G$. Thus, a model for $V$ is the $L^2$-kernel of a elliptic operator on a fiber bundle over the symmetric space $G/K$ attached to $G$. Let $H$ be a closed reductive subgroup for $G$. We say $\pi$ is $H$-discretely decomposable ( $H$-admissible) if the sum of the closed $H$-irreducible subspaces in $V$ is dense in $V$, ($H$-admissible if it is $H$-discretely decomposable and the multiplicity of each irreducible factor is finite). We give criteria for being $H$-$\cdots$ in language of spherical functions as well as in the language of differential intertwining operators. On a basic exposition we will present an overview of some aspects of branching problems and results in Orsted-Vargas, Branching problems in reproducing kernel spaces, Duke mathematical journal, Vol. 169, 3478-3537, 2020 and some consequences.

View abstract PDF

Thursday, July 15, 14:35 ~ 15:10 UTC-3

## Theta operators, Macdonald polynomials, and new symmetric function operator identities

### Marino Romero

Theta operators are symmetric function operators that were first introduced by D'Adderio, Iraci and Wyngaerd in order to give the Delta Conjecture a compositional refinement. It was then also conjectured that the Frobenius characteristic of the space of coinvariants in two sets of commuting and two sets of anticommuting variables can be given using the Theta operators (extending a conjecture of Zabrocki). We will present several new symmetric function operator identities that can be specialized to give Theta operator identities. In turn, many identities in the literature regarding Delta eigenoperators of the modified Macdonald basis become consequences of our identities. We will also discuss two of the main tools used in proving our identities: Tesler's Identity and Garsia-Mellit's Five Term Relation, two fundamental identities in the theory of modified Macdonald polynomials. Part of our presentation is based off joint work with Michele D'Adderio.

Joint work with Michele D'Adderio (Université Libre de Bruxelles).

View abstract PDF

Thursday, July 15, 15:20 ~ 15:55 UTC-3

## Uncrowding algorithm for hook-valued tableaux

### Anne Schilling

Whereas set-valued tableaux are the combinatorial objects associated to stable Grothendieck polynomials, hook-valued tableaux are associated to stable canonical Grothendieck polynomials. In this paper, we define a novel uncrowding algorithm for hook-valued tableaux. The algorithm uncrowds'' the entries in the arm of the hooks and yields a set-valued tableau and a column-flagged increasing tableau. We prove that our uncrowding algorithm intertwines with crystal operators. An alternative uncrowding algorithm that uncrowds'' the entries in the leg instead of the arm of the hooks is also given. As an application of uncrowding, we obtain various expansions of the canonical Grothendieck polynomials.

Joint work with Jianping Pan (UC Davis, USA), Joseph Pappe (UC Davis, USA) and Wencin Poh (UC Davis, USA).

View abstract PDF

Friday, July 16, 16:00 ~ 16:35 UTC-3

## Light leaves and its avatars

### Nicolas Libedinsky

#### Universidad de Chile, Chile   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloake6029fac4f7f162888be9def96aff1d0').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addye6029fac4f7f162888be9def96aff1d0 = 'nl&#105;b&#101;d&#105;nsky' + '&#64;'; addye6029fac4f7f162888be9def96aff1d0 = addye6029fac4f7f162888be9def96aff1d0 + '&#117;' + '&#46;' + '&#117;ch&#105;l&#101;' + '&#46;' + 'cl'; var addy_texte6029fac4f7f162888be9def96aff1d0 = 'nl&#105;b&#101;d&#105;nsky' + '&#64;' + '&#117;' + '&#46;' + '&#117;ch&#105;l&#101;' + '&#46;' + 'cl';document.getElementById('cloake6029fac4f7f162888be9def96aff1d0').innerHTML += '<a ' + path + '\'' + prefix + ':' + addye6029fac4f7f162888be9def96aff1d0 + '\'>'+addy_texte6029fac4f7f162888be9def96aff1d0+'<\/a>';

Light leaves are some bases of the morphism spaces between Soergel bimodules. After their apparition, several other incarnations of the same idea have emerged (or are emerging): anti-spherical, indecomposable, canonical, and singular light leaves. I will explain all of these avatars.

Joint work with Ben Elias (University of Oregon), Hankyung Ko (Uppsala University), Leonardo Patimo (University of Freiburg) and Geordie Williamson (University of Sydney).

View abstract PDF

Friday, July 16, 16:45 ~ 17:20 UTC-3

## Quantum geometric Satake and K-theory

### Ben Elias

#### University of Oregon, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak1b9bda0a408335441b89718349ce5ac3').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy1b9bda0a408335441b89718349ce5ac3 = 'b&#101;l&#105;&#97;s' + '&#64;'; addy1b9bda0a408335441b89718349ce5ac3 = addy1b9bda0a408335441b89718349ce5ac3 + '&#117;&#111;r&#101;g&#111;n' + '&#46;' + '&#101;d&#117;'; var addy_text1b9bda0a408335441b89718349ce5ac3 = 'b&#101;l&#105;&#97;s' + '&#64;' + '&#117;&#111;r&#101;g&#111;n' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak1b9bda0a408335441b89718349ce5ac3').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy1b9bda0a408335441b89718349ce5ac3 + '\'>'+addy_text1b9bda0a408335441b89718349ce5ac3+'<\/a>';

We explain a new (conjectural) quantum version of the geometric Satake equivalence, using K-theoretic Soergel bimodules. We explain the connection with an earlier quantum geometric Satake equivalence, which uses a q-deformation of ordinary Soergel bimodules.

Joint work with Geordie Williamson (U. Sydney).

View abstract PDF

Friday, July 16, 17:30 ~ 18:05 UTC-3

## Mixed perverse sheaves on flag varieties of Coxeter groups

### Cristian Vay

#### UNC & CONICET, Argentina   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak152b7552ac883bf53eaebeb3dc7c3e8f').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy152b7552ac883bf53eaebeb3dc7c3e8f = 'cr&#105;st&#105;&#97;n.v&#97;y' + '&#64;'; addy152b7552ac883bf53eaebeb3dc7c3e8f = addy152b7552ac883bf53eaebeb3dc7c3e8f + '&#117;nc' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r'; var addy_text152b7552ac883bf53eaebeb3dc7c3e8f = 'cr&#105;st&#105;&#97;n.v&#97;y' + '&#64;' + '&#117;nc' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r';document.getElementById('cloak152b7552ac883bf53eaebeb3dc7c3e8f').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy152b7552ac883bf53eaebeb3dc7c3e8f + '\'>'+addy_text152b7552ac883bf53eaebeb3dc7c3e8f+'<\/a>';

We construct an abelian category of mixed perverse sheaves'' attached to any realization of a Coxeter group, in terms of the associated Elias-Williamson diagrammatic category. This construction extends previous work of Achar and Riche, where they worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias-Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.

Joint work with Pramod N. Achar (Louisiana State University, USA) and Simon Riche (Université Clermont Auvergne, France).

View abstract PDF

Friday, July 16, 18:35 ~ 19:10 UTC-3

## Combinatorial invariance conjecture for $\widetilde{A}_2$

### David Plaza

#### Universidad de Talca, Chile   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak90eb5074749405a07afc3c941c1d9490').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy90eb5074749405a07afc3c941c1d9490 = 'd&#97;v&#105;dr&#105;c&#97;rd&#111;pl&#97;z&#97;' + '&#64;'; addy90eb5074749405a07afc3c941c1d9490 = addy90eb5074749405a07afc3c941c1d9490 + 'gm&#97;&#105;l' + '&#46;' + 'c&#111;m'; var addy_text90eb5074749405a07afc3c941c1d9490 = 'd&#97;v&#105;dr&#105;c&#97;rd&#111;pl&#97;z&#97;' + '&#64;' + 'gm&#97;&#105;l' + '&#46;' + 'c&#111;m';document.getElementById('cloak90eb5074749405a07afc3c941c1d9490').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy90eb5074749405a07afc3c941c1d9490 + '\'>'+addy_text90eb5074749405a07afc3c941c1d9490+'<\/a>';

The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, i.e., $P_{x,y}(q)=P_{x',y'}(q)$. In this talk we prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first non-trivial case where this conjecture is verified for an infinite group.

Joint work with Gastón Burrul (The University of Sidney, Australia), and Nicolás Libedinsky (Universidad de Chile, Chile).

View abstract PDF

Friday, July 16, 19:20 ~ 19:55 UTC-3

## Costandard Whittaker modules and contravariant pairings

### Anna Romanov

#### University of Sydney, Australia   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloakec6039a06bc4c044c72abace7f5cefca').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addyec6039a06bc4c044c72abace7f5cefca = '&#97;nn&#97;.r&#111;m&#97;n&#111;v' + '&#64;'; addyec6039a06bc4c044c72abace7f5cefca = addyec6039a06bc4c044c72abace7f5cefca + 'sydn&#101;y' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;&#117;'; var addy_textec6039a06bc4c044c72abace7f5cefca = '&#97;nn&#97;.r&#111;m&#97;n&#111;v' + '&#64;' + 'sydn&#101;y' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;&#117;';document.getElementById('cloakec6039a06bc4c044c72abace7f5cefca').innerHTML += '<a ' + path + '\'' + prefix + ':' + addyec6039a06bc4c044c72abace7f5cefca + '\'>'+addy_textec6039a06bc4c044c72abace7f5cefca+'<\/a>';

In 1997, Milicic—Soergel introduced a category N of modules over a semisimple Lie algebra which includes both category O and all Whittaker modules. In many ways, the structure of this category is similar to category O: objects are finite-length, simple objects arise as unique irreducible quotients of parabolically-induced standard modules, and composition multiplicities are given by Kazhdan—Lusztig polynomials. However, in other ways, the category is surprising: the objects are not weight modules, and standard modules do not admit unique contravariant forms. In particular, the lack of weight-space decompositions means that the duality in category O cannot be naively extended to category N. In ongoing work with Brown, we classify contravariant pairings between standard Whittaker modules and Verma modules, which leads to a natural algebraic definition of costandard objects in category N. We show that these costandard objects align with costandard (twisted) Harish-Chandra sheaves under Beilinson—Bernstein localization, and that with this set of costandard objects, category N has the structure of a highest weight category.

Joint work with Adam Brown (Institute of Science and Technology, Austria).

View abstract PDF

Tuesday, July 20, 16:00 ~ 16:35 UTC-3

## Braid varieties, weaves, and positroids.

### José Simental Rodríguez

#### Max Planck Institute for Mathematics, Germany   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak0c78e933e4233b0aac9897513ba51ca5').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy0c78e933e4233b0aac9897513ba51ca5 = 'j&#111;s&#101;' + '&#64;'; addy0c78e933e4233b0aac9897513ba51ca5 = addy0c78e933e4233b0aac9897513ba51ca5 + 'mp&#105;m-b&#111;nn' + '&#46;' + 'mpg' + '&#46;' + 'd&#101;'; var addy_text0c78e933e4233b0aac9897513ba51ca5 = 'j&#111;s&#101;' + '&#64;' + 'mp&#105;m-b&#111;nn' + '&#46;' + 'mpg' + '&#46;' + 'd&#101;';document.getElementById('cloak0c78e933e4233b0aac9897513ba51ca5').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy0c78e933e4233b0aac9897513ba51ca5 + '\'>'+addy_text0c78e933e4233b0aac9897513ba51ca5+'<\/a>';

To a positive braid we associate an affine algebraic variety that we call the braid variety. These varieties are closely related to and in some cases generalize well-known varieties that appear in Lie theory such as Richardson, positroid and open Bott-Samelson varieties. They are also closely related to the augmentation variety of a Legendrian link associated to the corresponding positive braid. I will define the braid varieties and explain some of their properties and the connections mentioned above as well as a diagrammatic calculus, the weaves from the title, to study them that is closely related to Soergel calculus but differs from it in key aspects. Time permitting, I will also explore the question on how to define these varieties for braid words which are not necessarily positive, and explain consequences for positroid varieties.

Joint work with Roger Casals (University of California, Davis), Eugene Gorsky (University of California, Davis) and Mikhail Gorsky (Université de Picardie Jules Verne).

View abstract PDF

Tuesday, July 20, 16:45 ~ 17:20 UTC-3

## Tautological classes and symmetry in Khovanov-Rozansky homology

### Eugene Gorsky

#### University of California, Davis, United States   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak12278f6e697a25c88f2c44821fac025e').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy12278f6e697a25c88f2c44821fac025e = '&#101;g&#111;rsk&#105;y' + '&#64;'; addy12278f6e697a25c88f2c44821fac025e = addy12278f6e697a25c88f2c44821fac025e + 'm&#97;th' + '&#46;' + '&#117;cd&#97;v&#105;s' + '&#46;' + '&#101;d&#117;'; var addy_text12278f6e697a25c88f2c44821fac025e = '&#101;g&#111;rsk&#105;y' + '&#64;' + 'm&#97;th' + '&#46;' + '&#117;cd&#97;v&#105;s' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak12278f6e697a25c88f2c44821fac025e').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy12278f6e697a25c88f2c44821fac025e + '\'>'+addy_text12278f6e697a25c88f2c44821fac025e+'<\/a>';

We define a new family of commuting operators $F_k$ in Khovanov-Rozansky link homology, similar to the action of tautological classes in cohomology of character varieties. We prove that $F_2$ satisfies "hard Lefshetz property" and hence exhibits the symmetry in Khovanov-Rozansky homology conjectured by Dunfield, Gukov and Rasmussen.

Joint work with Matt Hogancamp (Northeastern University, USA) and Anton Mellit (University of Vienna, Austria).

View abstract PDF

Tuesday, July 20, 17:30 ~ 18:05 UTC-3

## Link homologies and Hilbert schemes via representation theory

### Tina Kanstrup

#### University of Massachusetts Amherst, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak6a5dc159336ae703cc88492c4069b739').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy6a5dc159336ae703cc88492c4069b739 = 't&#105;n&#97;.k&#97;nstr&#117;p' + '&#64;'; addy6a5dc159336ae703cc88492c4069b739 = addy6a5dc159336ae703cc88492c4069b739 + 'gm&#97;&#105;l' + '&#46;' + 'c&#111;m'; var addy_text6a5dc159336ae703cc88492c4069b739 = 't&#105;n&#97;.k&#97;nstr&#117;p' + '&#64;' + 'gm&#97;&#105;l' + '&#46;' + 'c&#111;m';document.getElementById('cloak6a5dc159336ae703cc88492c4069b739').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy6a5dc159336ae703cc88492c4069b739 + '\'>'+addy_text6a5dc159336ae703cc88492c4069b739+'<\/a>';

The aim of this joint work in progress with Roman Bezrukavnikov is to unite different approaches to Khovanov-Rozansky triply graded link homology. The original definition is completely algebraic in terms of Soergel bimodules. It has been conjectured by Gorsky, Negut and Rasmussen that it can also be calculated geometrically in terms of cohomolgy of sheaves on Hilbert schemes. Motivated by string theory Oblomkov and Rozansky constructed a link invariant in terms of matrix factorizations on related spaces and later proved that it coincides with Khovanov-Rozansky homology. In this talk I'll discuss a direct relation between the different constructions and how one might invent these spaces starting directly from definitions.

View abstract PDF

Tuesday, July 20, 18:50 ~ 19:25 UTC-3

## Upsilon-like invariants from Khovanov homology

### Melissa Zhang

#### University of Georgia, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloakfc6c962c4bac0553fe0cf53978b514e1').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addyfc6c962c4bac0553fe0cf53978b514e1 = 'm&#101;l&#105;ss&#97;.zh&#97;ng' + '&#64;'; addyfc6c962c4bac0553fe0cf53978b514e1 = addyfc6c962c4bac0553fe0cf53978b514e1 + '&#117;g&#97;' + '&#46;' + '&#101;d&#117;'; var addy_textfc6c962c4bac0553fe0cf53978b514e1 = 'm&#101;l&#105;ss&#97;.zh&#97;ng' + '&#64;' + '&#117;g&#97;' + '&#46;' + '&#101;d&#117;';document.getElementById('cloakfc6c962c4bac0553fe0cf53978b514e1').innerHTML += '<a ' + path + '\'' + prefix + ':' + addyfc6c962c4bac0553fe0cf53978b514e1 + '\'>'+addy_textfc6c962c4bac0553fe0cf53978b514e1+'<\/a>';

I will survey link concordance invariants coming from Khovanov homology, particularly those similar in spirit to Ozsváth-Stipsicz-Szabó's Upsilon, a 1-parameter family of invariants coming from knot Floer homology. This is related to my joint work with Linh Truong on annular link concordance invariants as well as ongoing work with Ross Akhmechet.

Joint work with Linh Truong (University of Michigan, USA) and Ross Akhmechet (University of Virginia, USA).

View abstract PDF

Tuesday, July 20, 19:35 ~ 20:10 UTC-3

## Generators and relations for $\text{Rep}(Sp_{2n})$

### Elijah Bodish

#### University of Oregon, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak18d87cf4f8853859d23cbd2632625455').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy18d87cf4f8853859d23cbd2632625455 = '&#101;b&#111;d&#105;sh' + '&#64;'; addy18d87cf4f8853859d23cbd2632625455 = addy18d87cf4f8853859d23cbd2632625455 + '&#117;&#111;r&#101;g&#111;n' + '&#46;' + '&#101;d&#117;'; var addy_text18d87cf4f8853859d23cbd2632625455 = '&#101;b&#111;d&#105;sh' + '&#64;' + '&#117;&#111;r&#101;g&#111;n' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak18d87cf4f8853859d23cbd2632625455').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy18d87cf4f8853859d23cbd2632625455 + '\'>'+addy_text18d87cf4f8853859d23cbd2632625455+'<\/a>';

Let $\text{Rep}(G)$ be the monoidal category of finite dimensional representations of a semisimple Lie group. Kuperberg’s 1996 paper “Spiders for rank 2 Lie algebras” proposed studying $\text{Rep}(G)$ by first studying $\text{Fund}(G)$, the full monoidal subcategory generated by finite dimensional irreducible modules with highest weight a fundamental weight. Kuperberg went on to give generators and relations for $\text{Fund}(G)$ when $G = SL_3$, $Spin_5$, $Sp_4$, and $G_2$. The problem of giving analogous generators and relations for$\text{Fund}(SL_n)$ was solved in 2012 by Cautis—Kamnitzer—Morrison.

In joint work with Elias, Rose, and Tatham (https://arxiv.org/abs/2103.14997) we define a category by generators and relations and argue there is functor from the generators and relations category to $\text{Fund}(Sp_{2n})$. Combining skein theoretic arguments with combinatorial results due to Sundaram, as well as exploiting a well known relation between BMW algebras and symplectic groups, we deduce the functor is an equivalence of monoidal categories, solving Kuperberg’s problem for $\text{Fund}(Sp_{2n})$.

In the talk I will begin with an expanded discussion of the history outlined above. Then state our results and try to give an idea of how some of the arguments work by illustrating them in the case of $Sp_4$ and $Sp_6$.

Joint work with Ben Elias (University of Oregon), David Rose (UNC-Chapel Hill) and Logan Tatham (UNC-Chapel Hill).

View abstract PDF

Tuesday, July 20, 20:20 ~ 20:55 UTC-3

## The Kauffman/BMW skein algebra of the torus

### Peter Samuelson

#### University of California, Riverside, United States   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak3e069cfb8622b97c8e5ef85f7d936d06').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy3e069cfb8622b97c8e5ef85f7d936d06 = 'ps&#97;m&#117;&#101;ls' + '&#64;'; addy3e069cfb8622b97c8e5ef85f7d936d06 = addy3e069cfb8622b97c8e5ef85f7d936d06 + '&#117;cr' + '&#46;' + '&#101;d&#117;'; var addy_text3e069cfb8622b97c8e5ef85f7d936d06 = 'ps&#97;m&#117;&#101;ls' + '&#64;' + '&#117;cr' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak3e069cfb8622b97c8e5ef85f7d936d06').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy3e069cfb8622b97c8e5ef85f7d936d06 + '\'>'+addy_text3e069cfb8622b97c8e5ef85f7d936d06+'<\/a>';

The BMW algebra surjects onto centralizer algebras of tensor powers of the defining representation of the type BCD quantum groups (like the Hecke algebra in type A). Kauffman found that skein relations defining this algebra can be used to define invariants of knots in $\mathbb{R}^3$. These skein relations associate algebras to surfaces, and we give a presentation of the algebra associated to the torus. At the end we ask whether there is a $q,t$ deformation of this algebra which can be used to describe BCD knot homology of (iterated) torus knots, similar to the Hall algebra of elliptic curves defined by Burban and Schiffmann.

Joint work with Hugh Morton (University of Liverpool) and Alex Pokorny (University of California, Riverside).

View abstract PDF