arXiv subjects

Peter Samuelson

Publications and source records attributed to Peter Samuelson.

16 recordsLinked to original sources

arXiv2025

Stated Skeins and DAHAs

Skein algebras of surfaces quantize character varieties of topological surfaces, and in low genus, these quantizations are often related to algebras arising in representation theory. For example, Terwilliger defined a universal $SL_2$ spherical double affine Hecke algebra $A$; a combination of results in the literature shows $A$ is isomorphic to the $SL_2$ skein algebra of the punctured torus. Stated skein algebras are a generalization which quantize decorated character varieties. In this paper, we used stated skein algebras to construct a new embedding of $A$ into a rank 6 quantum torus, and we show that each marked 3-manifold with a torus boundary produces a module over $A$. We also determine a generating set for the stated skein algebra of $T^2\setminus D^2$, and we find many relations; however, finding a complete list of relations is still an open problem.

math.QA↗

arXiv2025

Hall algebras and shifted quantum affine algebras

In \cite{FT19}, Finkelberg and Tsymbaliuk introduced the notion of shifted quantum affine algebras and described their role in the study of quantized Coulomb branches associated to certain 3D $N = 4$ quiver gauge theories. We describe a new geometric construction of a deformation of one of these shifted quantum affine algebras as the Hall algebra of the category of representations of a certain quiver $Q_{\textrm{Rud}}$ (modulo relations). This quiver first arose in the work of Rudakov in the study of the tame blocks of the category of restricted representations of the Lie algebra $\mathfrak{sl}_2(\mathbb{F}_q)$.

math.RT↗

arXiv2024

The Temperley-Lieb Tower and the Weyl Algebra

We define a monoidal category $\operatorname{\mathbf{W}}$ and a closely related 2-category $\operatorname{\mathbf{2Weyl}}$ using diagrammatic methods. We show that $\operatorname{\mathbf{2Weyl}}$ acts on the category $\mathbf{TL} :=\bigoplus_n \operatorname{TL}_n\mathrm{-mod}$ of modules over Temperley-Lieb algebras, with its generating 1-morphisms acting by induction and restriction. The Grothendieck groups of $\operatorname{\mathbf{W}}$ and a third category we define $\operatorname{\mathbf W}^\infty$ are closely related to the Weyl algebra. We formulate a sense in which $K_0(\operatorname{\mathbf W}^\infty)$ acts asymptotically on $K_0(\mathbf{TL})$.

math.QA↗

arXiv2020

On the genus two skein algebra

We study the skein algebra of the genus 2 surface and its action on the skein module of the genus 2 handlebody. We compute this action explicitly, and we describe how the module decomposes over certain subalgebras in terms of polynomial representations of double affine Hecke algebras. Finally, we show that this algebra is isomorphic to the $t=q$ specialisation of the genus two spherical double affine Hecke algebra recently defined by Arthamonov and Shakirov.

math.QA↗

arXiv2019

DAHAs and skein theory

We give a skein-theoretic realization of the $\mathfrak{gl}_n$ double affine Hecke algebra of Cherednik using braids and tangles in the punctured torus. We use this to provide evidence of a relationship we conjecture between the classical skein algebra of the punctured torus and the elliptic Hall algebra of Burban and Schiffmann.

math.QA↗

arXiv2019

The Kauffman skein algebra of the torus

We give a presentation of the Kauffman (BMW) skein algebra of the torus, which is the "type BCD" analogue of the Homflypt skein algebra of torus which was computed by the first and third authors. In the appendix we show this presentation is compatible with the Frohman-Gelca description of the Kauffman bracket (Temperley-Lieb) skein algebra of the torus [FG00].

math.QA↗

arXiv2019

Cyclotomic Expansion of Generalized Jones Polynomials

In previous work of the first and third authors, we proposed a conjecture that the Kauffman bracket skein module of any knot in $S^3$ carries a natural action of the rank 1 double affine Hecke algebra $SH_{q,t_1, t_2}$ depending on 3 parameters $q, t_1, t_2$. As a consequence, for a knot $K$ satisfying this conjecture, we defined a three-variable polynomial invariant $J^K_n(q,t_1,t_2)$ generalizing the classical colored Jones polynomials $J^K_n(q)$. In this paper, we give explicit formulas and provide a quantum group interpretation for the generalized Jones polynomials $J^K_n(q,t_1,t_2)$. Our formulas generalize the so-called cyclotomic expansion of the classical Jones polynomials constructed by K.\ Habiro: as in the classical case, they imply the integrality of $J^K_n(q,t_1,t_2)$ and, in fact, make sense for an arbitrary knot $K$ independent of whether or not it satisfies our earlier conjecture. When one of the Hecke deformation parameters is set to be 1, we show that the coefficients of the (generalized) cyclotomic expansion of $J^K_n(q,t_1)$ are determined by Macdonald orthogonal polynomials of type $A_1$.

math.QA↗

arXiv2019

The Hall Algebras of Annuli

We refine and prove the central conjecture of our first paper for annuli with at least two marked intervals on each boundary component by computing the derived Hall algebras of their Fukaya categories.

math.QA↗

arXiv2017

The Hall Algebras of Surfaces I

We study the derived Hall algebra of the partially wrapped Fukaya category of a surface. We give an explicit description of the Hall algebra for the disk with m marked intervals and we give a conjectural description of the Hall algebras of all surfaces with enough marked intervals. Then we use a functoriality result to show that a graded version of the HOMFLY-PT skein relation holds among certain arcs in the Hall algebras of general surfaces.

math.SG↗

arXiv2016

Affine cubic surfaces and character varieties of knots

It is known that the fundamental group homomorphism $\pi_1(T^2) \to \pi_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of knots arise from the natural (restriction) map induced by the above homomorphism on the $\mathrm{SL}_2$-character varieties of the corresponding fundamental groups. In our earlier work [BS16], we proposed a conjecture that the classical restriction map admits a canonical 2-parameter deformation into a smooth cubic surface. In this paper, we show that (modulo some mild technical conditions) our conjecture follows from a known conjecture of Brumfiel and Hilden [BH95] on the algebraic structure of the peripheral system of a knot. We then confirm the Brumfiel-Hilden conjecture for an infinite class of knots, including all torus knots, 2-bridge knots, and certain pretzel knots. We also show the class of knots for which the Brumfiel-Hilden conjecture holds is closed under taking connect sums and certain knot coverings.

math.GT↗

arXiv2016

The Elliptic Hall algebra and the deformed Khovanov Heisenberg category

We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined by Licata and Savage. We also show that as an algebra, it is isomorphic to "half" of a central extension of the elliptic Hall algebra of Burban and Schiffmann, specialized at $\sigma = \bar\sigma^{-1} = q$. A key step in the proof may be of independent interest: we show that the sum (over $n$) of the Hochschild homologies of the positive affine Hecke algebras $\mathrm{AH}_n^+$ is again an algebra, and that this algebra injects into both the elliptic Hall algebra and the trace of the $q$-Heisenberg category. Finally, we show that a natural action of the trace algebra on the space of symmetric functions agrees with the specialization of an action constructed by Schiffmann and Vasserot using Hilbert schemes.

math.QA↗

arXiv2014

The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra

We give a generators and relations presentation of the HOMFLYPT skein algebra $H$ of the torus $T^2$, and we give an explicit description of the module corresponding to the solid torus. Using this presentation, we show that $H$ is isomorphic to the $t=q$ specialization of the elliptic Hall algebra of Burban and Schiffmann [BS12]. As an application, for an iterated cable $K$ of the unknot, we use the elliptic Hall algebra to construct a 3-variable polynomial that specializes to the $\lambda$-colored Homflypt polynomial of $K$. We show that this polynomial also specializes to one constructed by Cherednik and Danilenko [CD14] using the $\mathfrak{gl}_N$ double affine Hecke algebra. This proves one of the Connection Conjectures in [CD14].

math.QA↗

arXiv2014

Iterated torus knots and double affine Hecke algebras

We give a topological realization of the (spherical) double affine Hecke algebra $\mathrm{SH}_{q,t}$ of type $A_1$, and we use this to construct a module over $\mathrm{SH}_{q,t}$ for any knot $K \subset S^3$. As an application, we give a purely topological interpretation of Cherednik's 2-variable polynomials $P_n(r,s; q,t)$ of type $A_1$ from [Che13] (where $r,s \in \mathbb{Z}$ are relatively prime), and we give a new proof that these specialize to the colored Jones polynomials of the $r,s$ torus knot. We then generalize Cherednik's construction (for $\mathcal{sl}_2$) to all iterated cables of the unknot and prove the corresponding specialization property. Finally, in the appendix we compare our polynomials associated to iterated torus knots to the ones recently defined in [CD14], in the specialization $t=-q^2$.

math.QA↗

arXiv2014

Double affine Hecke algebras and generalized Jones polynomials

In this paper, we propose and discuss implications of a general conjecture that there is a canonical action of a rank 1 double affine Hecke algebra on the Kauffman bracket skein module of the complement of a knot $K \subset S^3$. We prove this in a number of nontrivial cases, including all $(2,2p+1)$ torus knots, the figure eight knot, and all 2-bridge knots (when $q=\pm 1$). As the main application of the conjecture, we construct 3-variable polynomial knot invariants that specialize to the classical colored Jones polynomials introduced by Reshetikhin and Turaev in \cite{RT90}. We also deduce some new properties of the classical Jones polynomials and prove that these hold for all knots (independently of the conjecture). We furthermore conjecture that the skein module of the unknot is a submodule of the skein module of an arbitrary knot. We confirm this for the same example knots, and we show that this implies the colored Jones polynomials of $K$ satisfy an inhomogeneous recursion relation.

math.QA↗

arXiv2012

Dunkl Operators and Quasi-invariants of Complex Reflection Groups

These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding a few interesting results and proofs from the literature. In a broad sense, our goal is to give an introduction to representation theory of rational Cherednik algebras and some of its recent applications. More specifically, we focus on the two concepts featuring in the title (Dunkl operators and quasi-invariants) and explain the relation between them. The course was originally designed for graduate students and nonexperts in representation theory. In these notes, we tried to preserve an informal style, even at the expense of making imprecise claims and sacrificing rigor.

math.QA↗

arXiv2011

Character algebras of decorated SL_2(C)-local systems

Let S be a path-connected, locally-compact CW-complex, and let M be a subcomplex with finitely-many components. A `decorated SL_2(C)-local system' is an SL_2(C)-local system on S, together with a choice of `decoration' at each component of M (a section of the stalk of an associated vector bundle). We study the (decorated SL_2(C)-)character algebra of (S,M), those functions on the space of decorated SL_2(C)-local systems on (S,M) which are regular with respect to the monodromy. The character algebra is presented explicitly. The character algebra is then shown to correspond to the algebra spanned by collections of oriented curves in S modulo simple graphical rules. As an intermediate step, we obtain an invariant-theory result of independent interest: a presentation of the algebra of SL_2(C)-invariant functions on End(V)^m + V^n, where V is the tautological representation of SL_2(C).

math.RT↗