skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: 𝚤Hall algebra of the projective line and 𝑞-Onsager algebra
The ı \imath Hall algebra of the projective line is by definition the twisted semi-derived Ringel-Hall algebra of the category of 1 1 -periodic complexes of coherent sheaves on the projective line. This ı \imath Hall algebra is shown to realize the universal q q -Onsager algebra (i.e., ı \imath quantum group of split affine A 1 A_1 type) in its Drinfeld type presentation. The ı \imath Hall algebra of the Kronecker quiver was known earlier to realize the same algebra in its Serre type presentation. We then establish a derived equivalence which induces an isomorphism of these two ı \imath Hall algebras, explaining the isomorphism of the q q -Onsager algebra under the two presentations.  more » « less
Award ID(s):
2001351
PAR ID:
10417987
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Transactions of the American Mathematical Society
Volume:
376
Issue:
2
ISSN:
0002-9947
Page Range / eLocation ID:
1475 - 1505
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract. We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copies in the algebra of symmetric functions embedded in the elliptic Hall algebra of Burban and Schiffmann. As a corollary, we deduce an explicit raising operator formula for the nabla operator applied to any LLT polynomial. In particular, we obtain a formula for ∇msλ which serves as a starting point for our proof of the Loehr-Warrington conjecture in a companion paper to this one 
    more » « less
  2. Suppose C is a cyclic Galois cover of the projective line branched at the three points 0, 1, and ∞. Under a mild condition on the ramification, we determine the structure of the graded Lie algebra of the lower central series of the fundamental group of C in terms of a basis which is well-suited to studying the action of the absolute Galois group of Q. 
    more » « less
  3. Abstract We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copies Λ ( X m , n ) E \Lambda(X^{m{,}n})\subset\mathcal{E}of the algebra of symmetric functions embedded in the elliptic Hall algebra ℰ of Burban and Schiffmann.As a corollary, we deduce an explicit raising operator formula for the ∇ operator applied to any LLT polynomial.In particular, we obtain a formula for m s λ \nabla^{m}s_{\lambda}which serves as a starting point for our proof of the Loehr–Warrington conjecture in a companion paper to this one. 
    more » « less
  4. Abstract The double Dyck path algebra$$\mathbb {A}_{q,t}$$ A q , t and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra$$\mathbb {B}_{q,t}$$ B q , t was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra$$\mathbb {B}_{q,t}$$ B q , t . We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces. 
    more » « less
  5. Novikov, Krichever (Ed.)
    In [TV19a] the equivariant quantum differential equation (qDE) for a projective space was considered and a compatible system of difference qKZ equations was introduced; the space of solutions to the joint system of the qDE and qKZ equations was identified with the space of the equivariant K-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant K-theory algebra. This paper is a continuation of [TV19a]. We describe the relation between solutions to the joint system of the qDE and qKZ equations and the topological-enumerative solution to the qDE only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant K-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant K-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani. 
    more » « less