-
The Temperley-Lieb Tower and the Weyl algebra
Authors:
Matthew Harper,
Peter Samuelson
Abstract:
We define a monoidal category Weyl and a closely related 2-category W' using diagrammatic methods. We show that W' acts on the category T, which is the direct sum of module categories over the Temperley-Lieb algebras. We give a conjectural description of the Grothendieck group of Weyl, which is closely related to the Weyl algebra.
We define a monoidal category Weyl and a closely related 2-category W' using diagrammatic methods. We show that W' acts on the category T, which is the direct sum of module categories over the Temperley-Lieb algebras. We give a conjectural description of the Grothendieck group of Weyl, which is closely related to the Weyl algebra.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Report of the 1st Workshop on Generative AI and Law
Authors:
A. Feder Cooper,
Katherine Lee,
James Grimmelmann,
Daphne Ippolito,
Christopher Callison-Burch,
Christopher A. Choquette-Choo,
Niloofar Mireshghallah,
Miles Brundage,
David Mimno,
Madiha Zahrah Choksi,
Jack M. Balkin,
Nicholas Carlini,
Christopher De Sa,
Jonathan Frankle,
Deep Ganguli,
Bryant Gipson,
Andres Guadamuz,
Swee Leng Harris,
Abigail Z. Jacobs,
Elizabeth Joh,
Gautam Kamath,
Mark Lemley,
Cass Matthews,
Christine McLeavey,
Corynne McSherry
, et al. (10 additional authors not shown)
Abstract:
This report presents the takeaways of the inaugural Workshop on Generative AI and Law (GenLaw), held in July 2023. A cross-disciplinary group of practitioners and scholars from computer science and law convened to discuss the technical, doctrinal, and policy challenges presented by law for Generative AI, and by Generative AI for law, with an emphasis on U.S. law in particular. We begin the report…
▽ More
This report presents the takeaways of the inaugural Workshop on Generative AI and Law (GenLaw), held in July 2023. A cross-disciplinary group of practitioners and scholars from computer science and law convened to discuss the technical, doctrinal, and policy challenges presented by law for Generative AI, and by Generative AI for law, with an emphasis on U.S. law in particular. We begin the report with a high-level statement about why Generative AI is both immensely significant and immensely challenging for law. To meet these challenges, we conclude that there is an essential need for 1) a shared knowledge base that provides a common conceptual language for experts across disciplines; 2) clarification of the distinctive technical capabilities of generative-AI systems, as compared and contrasted to other computer and AI systems; 3) a logical taxonomy of the legal issues these systems raise; and, 4) a concrete research agenda to promote collaboration and knowledge-sharing on emerging issues at the intersection of Generative AI and law. In this report, we synthesize the key takeaways from the GenLaw workshop that begin to address these needs. All of the listed authors contributed to the workshop upon which this report is based, but they and their organizations do not necessarily endorse all of the specific claims in this report.
△ Less
Submitted 2 December, 2023; v1 submitted 10 November, 2023;
originally announced November 2023.
-
On the genus two skein algebra
Authors:
Juliet Cooke,
Peter Samuelson
Abstract:
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 aff…
▽ More
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.
△ Less
Submitted 26 October, 2021; v1 submitted 28 August, 2020;
originally announced August 2020.
-
DAHAs and skein theory
Authors:
Hugh Morton,
Peter Samuelson
Abstract:
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.
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.
△ Less
Submitted 23 February, 2021; v1 submitted 24 September, 2019;
originally announced September 2019.
-
The Kauffman skein algebra of the torus
Authors:
Hugh Morton,
Alexander Pokorny,
Peter Samuelson
Abstract:
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].
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].
△ Less
Submitted 4 September, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Cyclotomic Expansion of Generalized Jones Polynomials
Authors:
Yuri Berest,
Joseph Gallagher,
Peter Samuelson
Abstract:
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)$ generalizin…
▽ More
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$.
△ Less
Submitted 11 November, 2019; v1 submitted 12 August, 2019;
originally announced August 2019.
-
The Hall Algebras of Annuli
Authors:
Benjamin Cooper,
Peter Samuelson
Abstract:
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.
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.
△ Less
Submitted 7 April, 2020; v1 submitted 27 February, 2019;
originally announced February 2019.
-
The Hall Algebras of Surfaces I
Authors:
Benjamin Cooper,
Peter Samuelson
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
Affine cubic surfaces and character varieties of knots
Authors:
Yuri Berest,
Peter Samuelson
Abstract:
It is known that the fundamental group homomorphism $π_1(T^2) \to π_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.…
▽ More
It is known that the fundamental group homomorphism $π_1(T^2) \to π_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.
△ Less
Submitted 27 October, 2016;
originally announced October 2016.
-
The Elliptic Hall algebra and the deformed Khovanov Heisenberg category
Authors:
Sabin Cautis,
Aaron D. Lauda,
Anthony Licata,
Peter Samuelson,
Joshua Sussan
Abstract:
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 $σ= \barσ^{-1} = q$. A key step in the proof may be of independent interest: we show that the sum (over $n$) of…
▽ More
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 $σ= \barσ^{-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.
△ Less
Submitted 12 September, 2016;
originally announced September 2016.
-
The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra
Authors:
Hugh Morton,
Peter Samuelson
Abstract:
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…
▽ More
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 $λ$-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].
△ Less
Submitted 14 May, 2015; v1 submitted 3 October, 2014;
originally announced October 2014.
-
Iterated torus knots and double affine Hecke algebras
Authors:
Peter Samuelson
Abstract:
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 prim…
▽ More
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$.
△ Less
Submitted 1 August, 2017; v1 submitted 3 August, 2014;
originally announced August 2014.
-
Double affine Hecke algebras and generalized Jones polynomials
Authors:
Yuri Berest,
Peter Samuelson
Abstract:
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 applicati…
▽ More
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.
△ Less
Submitted 20 April, 2014; v1 submitted 24 February, 2014;
originally announced February 2014.
-
Dunkl Operators and Quasi-invariants of Complex Reflection Groups
Authors:
Yuri Berest,
Peter Samuelson
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 14 June, 2012; v1 submitted 6 March, 2012;
originally announced March 2012.
-
Character algebras of decorated SL_2(C)-local systems
Authors:
Greg Muller,
Peter Samuelson
Abstract:
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 decora…
▽ More
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).
△ Less
Submitted 17 July, 2011;
originally announced July 2011.