Abstract
We construct a family of infinitedimensional positive subcoalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These subcoalgebras have as structure constants the 3point genus zero Gromov–Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram’s formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with socalled ‘ice configurations’ on a cylindrical square lattice, which define the asymmetric sixvertex model in statistical mechanics. A key ingredient of our construction is an extension of the bosonfermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing’s vertex operators of Hall–Littlewood functions in terms of the sixvertex transfer matrices on the infinite planar lattice.
1 Introduction
Positivity phenomena attract a lot of attention within mathematics as they usually point towards links between different areas such as combinatorics, representation theory and geometry, and it has proved very fruitful in the past to investigate these connections. Combinatorial Hopf algebras are one particular example where such connections can be observed. Probably the simplest and beststudied example of a combinatorial Hopf algebra is the ring of symmetric functions \(\Lambda =\lim \limits _{\longleftarrow }{\mathbb {C}}[y_1,\ldots ,y_k]^{S_k}\) [39], where the structure constants with respect to the multiplication of two Schur functions are the Littlewood–Richardson coefficients, certain nonnegative integers. For the latter there exist combinatorial interpretations in terms of polytopes, a representation theoretic interpretation in terms of tensor multiplicites of the general linear group, and a geometric interpretation in terms of intersection numbers of Schubert varieties; see e.g. [9].
In another development, there have been several applications of exactly solved models in statistical mechanics [2] to problems in combinatorics and enumerative geometry; see e.g. [40] and references therein. Two prominent examples are the proof of the alternating sign matrix conjecture via the sixvertex model [25] and the combinatorics underlying the RazumovStroganov conjecture [32]. The latter works revived the connection between statistical lattice models and combinatorics which goes back to the early works of Kasteleyn [21] and TemperleyFisher [35] in the 1960s.
In this article we shall combine these two strands, positivity phenomena and statistical mechanics models, by focussing on certain positive subcoalgebras within the ring of symmetric functions \(\Lambda \). This will be done via Gromov–Witten invariants of Grassmannians, which are a known geometric generalisation of Littlewood–Richardson numbers. They count algebraic curves intersecting Schubert varieties, and we are interested in a combinatorial algebraic structure, where these invariants are interpreted as structure constants. It turns out that this can be achieved by considering certain linear subspaces of \(\Lambda \) which are closed with respect to the coproduct [23]: instead of multiplying Schur functions, one considers the separation of variables for socalled cylindric generalisations of Schur functions which form a subcoalgebra in \(\Lambda \). In order to describe the underlying combinatorics we identify the cylindric skew Schur function with the statistical mechanics partition function of the asymmetric sixvertex model on the cylinder. This yields a richer algebraic structure, which underlies an isomorphism between the ring of symmetric functions and the Grothendieck ring of Hecke algebras of type A. The long term aim is to generalise our approach to Hecke algebras of other types and, thus, to Gromov–Witten invariants of a larger class of varieties.
Denote by \(\mathcal {H}_m=\mathcal {H}_m(t)\) the IwahoriHecke algebra of type A defined over \({\mathbb {C}}(t)\) with t an indeterminate. We shall recall the definition of \(\mathcal {H}_m\) in the text, for the moment it suffices to think of the Hecke algebra as a tdeformation of the symmetric group algebra \({\mathbb {C}}[S_m]\). Let \(\mathcal {R}^m(t)\) be the Grothendieck group of finitedimensional \(\mathcal {H}_m\)modules and \(\mathcal {R}(t)=\bigoplus _{m\ge 0}\mathcal {R}^m(t)\) the associated Grothendieck ring. Throughout this article we shall identify each \(M\in \mathcal {R}^m(t)\) with its corresponding character \(\chi ^M_t\in {\text {Hom}}_{{\mathbb {C}}(t)}(\mathcal {H}_m,{\mathbb {C}}(t))\). Similar to the case of the symmetric group, the irreducible \(\mathcal {H}_m\)characters \(\chi _t^\mu \) are labelled by partitions \(\mu \in P^+\) with \(\mu \vdash m\). Fix some integers \(n\ge 2\) and \(0\le k\le n\) and denote by \(P_{k,n}^+\subset P^+\) the subset of partitions satisfying the constraints \(\lambda _1\le nk\), \(\ell (\lambda )\le k\), where \(\ell (\lambda )\) is the number of nonzero parts.
Using techniques from exactly solvable models in statistical mechanics, we shall construct an infinite set of virtual Hecke characters
which naturally arises in the computation of the partition function of the asymmetric sixvertex model, describing ice and ferroelectrics on a cylindrical lattice of circumference n. The integer k is the number of ‘down spins’. The symbol \(\lambda [d]\) denotes a socalled cylindric loop, an infinite periodic continuation of the outline of the Young diagram of \(\lambda \) viewed as a lattice path in \(\mathbb {Z}\times \mathbb {Z}\) and shifted d times in the direction \((k,nk)\). All these notions will be further explained in the text. The noteworthy property of these virtual characters is that they span a positive infinitedimensional \(\mathbb {Z}\)coalgebra in \(\mathcal {R}(t)\) with respect to the restriction functor \({\text {Res}}:\mathcal {R}(t)\rightarrow \mathcal {R}(t)\otimes \mathcal {R}(t)\). Our main result is the following:
Theorem 1.1
Let \(\lambda \in P^+_{k,n}\), \(d\ge 0\) an integer and set \(m=\lambda +dn\). Then for any decomposition \(m=m'+m''\) we have
where \(C^{\lambda ,d}_{\mu \nu }\in \mathbb {Z}_{\ge 0}\) are the 3point genus 0 Gromov–Witten invariants of the Grassmannian \({\text {Gr}}_k({\mathbb {C}}^n)\) of khyperplanes in \({\mathbb {C}}^n\) and the sums run over all pairs \((\mu ,d'),(\nu ,d'')\in P^+_{k,n}\times \mathbb {Z}_{\ge 0}\) such that \(d'+d''\le d\), \(\mu =m'd'n\), \(\nu =m''d''n\).
For \(d=0\) the expansion (1.1) specialises to the familiar decomposition rule for the irreducible characters \(\chi ^\lambda _t=\chi ^{\lambda [0]}_t\) with \(C^{\lambda ,0}_{\mu \nu }=c^{\lambda }_{\mu \nu }\) being the Littlewood–Richardson coefficients. In addition to (1.1) we state an explicit combinatorial formula for the direct computation of the virtual characters \(\chi ^{\lambda [d]}_t\) with \(d>0\) in terms of cylindric broken rim hook tableaux that generalises Ram’s formula [31] for the irreducible Hecke characters \(\chi ^{\lambda [0]}_t=\chi ^\lambda _t\). Alternatively, the characters can be obtained by the weighted counting of ice configurations (see Figs. 1 and 2 for examples) using the sixvertex model with a particular choice of Boltzmann weights. Within the physics community working on integrable or exactly solvable lattice models, the symmetric sixvertex model is one of the prototypical systems which is related to the quantum XXZ magnet or Heisenberg spinchain [2]. In this article we focus on the lesser studied asymmetric sixvertex model instead.
To motivate the result (1.1) let us first recall the case of ordinary cohomology \(H^*({\text {Gr}}_{k}({\mathbb {C}}^n))\): one combinatorial method of computing the Littlewood–Richardson coefficient \(c^{\lambda }_{\mu \nu }\), the intersection number of three hyperplanes in general position, is to consider (semistandard) tableaux of shape \(\lambda \) and decompose these into subtableaux of shape \(\mu \subset \lambda \) and skew shape \(\lambda /\mu \). Counting the number of skew tableaux that rectify under Schützenberger’s jeudetaquin to an arbitrary but fixed tableau of shape \(\nu \) then gives \(c^{\lambda }_{\mu \nu }\); see e.g. the textbook [9], § 5.1,Cor 1 & Prop 2] for details. Algebraically, this method of calculating intersection numbers corresponds to computing the coproduct of Schur functions \(s_\lambda \) in the ring of symmetric functions \(\Lambda \). There exists a wellknown (Hopf algebra) isomorphism which identifies the ring of symmetric functions with the Grothendieck ring of symmetric groups, the socalled characteristic map [28, Ch.I.7], and a perhaps somewhat lesser known tdeformation \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)=\Lambda \otimes _{{\mathbb {C}}}{\mathbb {C}}(t)\) of this map for the Grothendieck ring \(\mathcal {R}(t)\) of Hecke algebras [8, 37]. Under these isomorphisms the computation of the coproduct of Schur functions becomes the computation of the restriction functor acting on an irreducible character in \(\mathcal {R}(t)\).
Theorem 1.1 is a generalisation of this algebraic approach to Gromov–Witten invariants, since the cohomology \(H^*({\text {Gr}}_{k}({\mathbb {C}}^n))\) of Grassmannians can be viewed as a finitedimensional subcoalgebra of the infinitedimensional coalgebra (1.1).
1.1 Asymmetric Ice and the bosonfermion correspondence
For the combinatorial computation of the virtual characters \(\chi _t^{\lambda [d]}\) in Theorem 1.1 we employ a bijection between broken rim hook tableaux and ice configurations on a cylindrical lattice, the socalled asymmetric sixvertex model. We start, however, with the infinite lattice and then project on the cylinder in the final step which will facilitate some of the computations involved.
In the infinite lattice limit, and under suitable boundary conditions, the transfer matrices of the asymmetric sixvertex model are related to the GeckRouquier central elements [10] spanning \(\mathcal {Z}(t)=\bigoplus _{m\ge 0}\mathcal {Z}(\mathcal {H}_m(t))\), where \(\mathcal {Z}(\mathcal {H}_m(t))\) is the centre of the Hecke algebra \(\mathcal {H}_m(t)\). The proof exploits the commutative diagram (1.2) of algebra isomorphisms given below, which is a tdeformation of an analogous diagram explaining why the character table of the symmetric groups provides a change of basis between Schur functions and power sums in the ring of symmetric functions; see e.g. [28, Ch.I.7].
The isomorphism \(\mathcal {R}(t)\overset{\sim }{\rightarrow }\mathcal {Z}(t)\) on the top of the diagram (1.2) is given via the trace map, which sends each \(M\in \mathcal {R}^m(t)\) to its trace function \(\chi _t^M={\text {Tr}}_M\in {\text {Hom}}_{{\mathbb {C}}(t)}(\mathcal {H}_m,{\mathbb {C}}(t))\) which in turn defines an element in \(\mathcal {Z}(\mathcal {H}_m)\) by fixing the coefficients with respect to the GeckRouqier basis in \(\mathcal {Z}(\mathcal {H}_m)\). The map \(F_t:\mathcal {Z}(t)\rightarrow \Lambda (t)\) is a textension of the Frobenius map defined in [37], which sends the GeckRouquier elements to certain symmetric functions which are a tdeformation of the power sums, while the quantum characteristic map \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)\) sends the irreducibles to the basis of Schur functions in \(\Lambda (t)=\Lambda \otimes _{{\mathbb {C}}}{\mathbb {C}}(t)\). Thus, the expansion of Schur functions into the symmetric functions that are the image of the GeckRouquier central elements then yields the character table \(\{\chi _t^\lambda ~~\lambda \vdash m\}\) of the Hecke algebra \(\mathcal {H}_m(t)\), where the partitions \(\lambda \vdash m\) label the irreducible modules in \(\mathcal {R}^m(t)\).
There is an alternative, ‘fermionic’, version of the upper right triangle of the diagram (1.2): on the left side of the diagram we identify the partitions \(\lambda \) labelling the irreducible Hecke characters in \(\mathcal {R}(t)\) with socalled Maya diagrams \(\sigma (\lambda ,c):\mathbb {Z}\rightarrow \{0,1\}\) of fixed charge \(c\in \mathbb {Z}\), a binary sequence satisfying certain boundary conditions at infinity. The linear span of these Maya diagrams is isomorphic to the infinite wedge space \(\bigwedge ^{\frac{\infty }{2},c}V\), which is called the fermionic Fock s pace in the physics literature [18]. Each such Maya diagram is mapped to a ‘spinconfiguration’ of the sixvertex model: a 1letter corresponding to a spin pointing down, a 0letter to a spin pointing up. The transfer matrices of the sixvertex model therefore act naturally on this space forming a commutative subalgebra in \({\text {End}}\bigwedge ^{\frac{\infty }{2},c}V(t)\) with \(\bigwedge ^{\frac{\infty }{2},c}V(t)=\bigwedge ^{\frac{\infty }{2},c}V\otimes _{{\mathbb {C}}}{\mathbb {C}}(t)\). In the next step we then use the bosonfermion correspondence \(\imath : \bigwedge ^{\frac{\infty }{2},c}V\rightarrow \Lambda \) to map each Maya diagram fixed by a partition \(\lambda \) to the Schur function \(s_\lambda \). Changing base to \({\mathbb {C}}(t)\) and using the quantum characteristic map \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)\) from (1.2) we prove that its image, the Schur function \(s_\lambda \), is the partition function of the asymmetric sixvertex model at the socalled free fermion point.
Let \(\langle \,\cdot \,,\,\cdot \,\rangle :\bigwedge ^{\frac{\infty }{2},c}V(t)\otimes \bigwedge ^{\frac{\infty }{2},c}V(t)\rightarrow \bigwedge ^{\frac{\infty }{2},c}V(t)\) be the unique bilinear form with respect to which the Maya diagrams are an orthonormal basis. Fix an infinite alphabet \(X=x_1+x_2+\cdots \) of commuting indeterminates, the socalled ‘spectral parameters’ of the sixvertex model, which are related to the Miwa variables \(Y=y_1+y_2+\cdots \) of the ring of symmetric functions \(\Lambda \) by the plethystic substitution \(Y=(t1)X\). Then we have the following combinatorial description of the bosonfermion correspondence for Hecke algebras:
Proposition 1.2
The algebra isomorphism \(\imath _t=\imath \otimes 1:\bigwedge ^{\frac{\infty }{2},c}V\otimes _{{\mathbb {C}}}{\mathbb {C}}(t)\rightarrow \Lambda \otimes _{{\mathbb {C}}}{\mathbb {C}}(t)\) takes the explicit form
where \(A(x_i,t)=\sum _{r\ge 0}x_i^rA_r(t)\) is the asymmetric sixvertex (rowtorow) transfer matrix^{Footnote 1}, i.e. the matrix element is a weighted sum over ice configurations in a single lattice row.
The proof of the proposition rests on a bijection between sixvertex lattice configurations and broken rim hook tableaux, examples of which are shown in Figs. 1 and 2. There exists by now a plethora of different combinatorial applications of the sixvertex model, see e.g. [40], but to the best of the author’s knowledge the bijection discussed in this article is new. In particular, we prove that the action of the Aoperator in the fermionic Fock space is described by the same textension of the MurnaghanNakayama rule as the one for Hecke characters derived in [31]. The latter is a generalisation of the MurnaghanNakayama rule that allows one to recursively compute the values of irreducible characters \(\chi ^{\lambda }\) of the symmetric group \(S_{m}\): fix a cycle \(\sigma \in S_{m}\) of length \(\ell \) and let \(\pi \in S_{m}\) be of cycle type \(\mu \vdash m'=m\ell \) containing the remaining \(m\ell \) letters on which \(S_{m}\) acts by permutations. Then
where the sum runs over all partitions \(\nu \vdash m'\) such that the skew diagram \(\lambda /\nu \) is a connected rim hook or border strip (the precise definition will be given in the text below) and \(r(\lambda /\nu )\) is the number of rows it occupies. In the case of the Hecke algebra the above rule becomes tdeformed and one has to allow for broken, disconnected, rim hooks as well. It is only at the level of the Hecke algebra that one can fully see the connection with the asymmetric sixvertex model, albeit a degenerate version of it, describing cylindric versions of symmetric group characters [23], can be defined in the \(t\rightarrow 1\) limit.
As a ‘byproduct’ of the proof of Proposition 1.2 we derive novel expressions for Jing’s vertexoperators \(\Phi ^\pm (x;t):\Lambda (t)\rightarrow \Lambda (t)\) describing Hall–Littlewood functions at generic t [20] in terms of the sixvertex transfer matrix. Vertex operators play an important role in the representation theory of KacMoody algebras and conformal field theory. The precise connection is as follows: define another, tdeformed, bilinear form \(\langle \,\cdot \,,\,\cdot \,\rangle _t:\bigwedge ^{\frac{\infty }{2},c}V(t)\otimes \bigwedge ^{\frac{\infty }{2},c}V(t)\rightarrow \bigwedge ^{\frac{\infty }{2},c}V(t)\) by ‘pulling back’ the scalar product \(\langle s_\lambda ,s_\mu \rangle _t=\langle s_\lambda [(1t)Y],s_\mu [Y]\rangle \) from \(\Lambda (t)\) to \(\bigwedge ^{\frac{\infty }{2},c}V(t)\) via the isomorphism \(\imath _t\) in (1.3).
Proposition 1.3
Let A(x; t) be the transfer matrix of the asymmetric sixvertex model from (1.3) and denote by \(A^{1}(x;t)\) and \(A^*(x;t)\) its inverse and adjoint with respect to the inner product \(\langle \,\cdot \,,\,\cdot \,\rangle _t\), respectively. Then we have the identities
where \(\imath _t:\bigwedge ^{\frac{\infty }{2},c}V(t)\rightarrow \Lambda (t)\) is the isomorphism defined in (1.3).
While connections between the symmetric sixvertex model and vertex operators are part of the Kyoto School approach [19] to the computation of correlation functions, where one heavily exploits the underlying quantum group symmetry, we stress that this algebraic structure is not available here, since we are dealing with the asymmetric sixvertex model and consider solutions to the YangBaxter equations which are not derived from intertwiners of quantum group representations but instead have a geometric origin, socalled convolution algebras [14].
The vertex operators \(\Phi ^\pm (x;t)\) we will consider in this article play an important role in several areas of mathematics: their specialisation at \(t=0\) yields the vertex operators of the free boson conformal field theory with central charge \(c=1\), which form the simplest example of a vertex operator algebra. They also simplify the study of Hall–Littlewood functions and connected geometric representation theory; see e.g. [15] and references therein. Finally, there are connections with classical integrable hierarchies, systems of nonlinear PDEs that have soliton solutions [18]: at \(t=1\) one obtains the vertex operators connected to Schur’s Qfunctions. Similar to how Schur functions (\(t=0\)) are polynomial solutions to the KP hierarchy [7], Schur’s Qfunctions (\(t=1\)) are solutions to the BKP hierarchy [6]. Proposition 1.3 thus establishes a direct link between the asymmetric sixvertex model and these classical integrable hierarchies. This connection we plan to explore further in future work. In this article, we limit ourselves to deriving new simple (fermionic) formulae for the vertex operators \(\Phi ^\pm (x;t)\) in terms of the sixvertex transfer matrices as we do not wish the present discussion to distract from the main result, which is Theorem 1.1.
1.2 Quasiperiodic boundary conditions and small quantum cohomology
Quantum cohomology had its origin in mathematical physics [11, 16, 36, 38] in connection with fusion rings of Wess–Zumino–Witten conformal field theories before becoming a subject of mathematical study in its own right. One of the first and best studied examples is the quantum cohomology of Grassmannians. Denote by \(qH^*({\text {Gr}}_k({\mathbb {C}}^n))\) the small quantum cohomology ring of the Grassmannian \({\text {Gr}}_k({\mathbb {C}}^n)\), the variety of khyperplanes in \({\mathbb {C}}^n\), whose structure constants are the Gromov–Witten invariants appearing in Theorem 1.1. There is a known presentation of this ring as a quotient of the ring of symmetric functions due to Siebert and Tian [34]. In this article, we exploit the socalled rim hook algorithm [3] to describe the projection \(\pi _{k,n}:\Lambda \twoheadrightarrow qH^*({\text {Gr}}_k({\mathbb {C}}^n))\). The latter, in conjunction with the bosonfermion correspondence, induces a fermionic analogue of the rim hook algorithm, \(\pi '_{k,n}:\bigwedge ^{\frac{\infty }{2},k}V\twoheadrightarrow \bigoplus _{d\ge 0}q^d\otimes \bigwedge ^k{\mathbb {C}}^n\), such that the following diagram commutes:
The isomorphism \(\varphi :\bigoplus _{d\ge 0}q^d\otimes \bigwedge ^k{\mathbb {C}}^n\rightarrow qH^*({\text {Gr}}_k({\mathbb {C}}^n))\) at the bottom of the diagram is the simplest case of the Satake correspondence which maps finite wedge products to Schubert classes; see [13] and references therein.
In terms of the asymmetric sixvertex model the projection \(\pi '_{k,n}\) corresponds to changing from the infinite square lattice to a cylindrical lattice of circumference n and with quasiperiodic boundary conditions, where the quantum parameter q of quantum cohomology is identified with the quasiperiodicity parameter of the lattice model; similar as it has been discussed previously in [22] for certain fivevertex degenerations of the sixvertex model where one Boltzmann weight is set to zero. The dimension k of the hyperplanes is fixed by the number of fermions or down spins, which is left invariant under the action of the transfer matrix. The resulting cylindrical versions of the MurnaghanNakayama rules then define—via the inverse characteristic map—the virtual character set \(\mathcal {R}_{k,n}(t)\). In fact, we will introduce the following cylindrical analogue of the bosonfermion correspondence (1.3), \(\jmath _{k,n}:\bigwedge ^k{\mathbb {C}}^n(t)\otimes _{{\mathbb {C}}}{\mathbb {C}}[\!\![q]\!\!]\rightarrow \Lambda (t)\otimes _{{\mathbb {C}}}{\mathbb {C}}[\!\![q]\!\!]\),
where \(\{v_\lambda ~:~\lambda \in P^+_{k,n}\}\) is the preimage of the basis of Schubert classes under the Satake correspondence \(\varphi \) in (1.5) and H(x; t) is the sixvertex transfer matrix for the periodic lattice (up to an important normalisation factor) satisfying, \(\pi '_{k,n}\circ A(x;t)=H(x;t)\circ \pi '_{k,n}\). The matrix element has the physical interpretation of being the partition function of the asymmetric sixvertex model on the infinite cylinder and is mathematically a formal power series in the quantum parameter q whose coefficients are symmetric functions in the spectral variables \(x_i\).
The expansion formula (1.1) is proved by using the Bethe ansatz, a wellestablished technique in quantum integrable systems, which allows us to describe the spectrum of the transfer matrices H for the cylindrical lattice. Namely, using that the eigenbasis of the asymmetric sixvertex transfer matrices coincides with the basis of idempotents in \(qH^*({\text {Gr}}_k({\mathbb {C}}^n))\), one shows that the partition functions for the cylindrical lattice with quasiperiodic boundary conditions are tdeformations of the cylindric Schur functions considered in [12, 26, 29] and [23]. We show that the preimage of these cylindric Schur functions with respect to the quantum characteristic map \({\text {ch}}_t\) in (1.2) are the virtual characters in \(\mathcal {R}_{k,n}(t)\) of Theorem 1.1.
1.3 Outline of the article
Section 2 reviews some of the preliminary results and combinatorial notions needed for the discussion, such as the bosonfermion correspondence, the quantum characteristic map and the computation of Hecke characters via broken rim hook tableaux.
Section 3 generalises the bosonfermion correspondence to Hecke algebras and states explicit ‘fermionic’ expressions of the operators \(A,A^{1}\) in Proposition 1.3 before identifying them with socalled bosonic ‘halfvertex operators’ acting on the ring of symmetric functions. The latter are the image of the basis dual to the GeckRouqier central elements under the Frobenius map in the diagram (1.2).
Section 4 introduces the asymmetric sixvertex model as a combinatorial tool and shows that the operator A is a sixvertex transfer matrix on the infinite lattice with special boundary conditions. It also discusses the underlying solutions of the YangBaxter equation and the resulting YangBaxter algebras, which are described in terms of broken rim hook tableaux. The discussion is then extended to quasiperiodic boundary conditions to motivate the definition of cylindric broken rim hook tableaux. The section ends with a discussion of the eigenvalue problem of the transfer matrix for quasiperiodic boundary conditions using the Bethe ansatz. The latter leads to a set of polynomial equations whose quotient ring is the small quantum cohomology of Grassmannians. The main result states that the sixvertex transfer matrix with quasiperiodic boundary conditions corresponds to multiplication by certain (tdeformed) linear combinations of Chern classes of the tautological and quotient bundle in \(qH^*({\text {Gr}}_k({\mathbb {C}}^n))\).
Section 5 gives the definition of cylindric Hecke characters in terms of the asymmetric sixvertex model on the cylinder. We show that the latter are virtual characters in \(\mathcal {R}(t)\) and compute their coproduct proving Theorem 1.1. We also prove that the cylindric Hecke characters are mapped to cylindric Schur functions under the quantum characteristic map.
2 Combinatorial Preliminaries
In order to keep this article selfcontained we briefly review the bosonfermion correspondence and some connected combinatorial notions. We then recall known formulae for the computation of Hecke characters and the quantum characteristic map from (1.2).
2.1 Maya diagrams and the fermionic Fock space
A Maya diagram is an infinite binary string \(\sigma :\mathbb {Z}\rightarrow \{0,1\}\) such that there exists integers \(n_\pm (\sigma )\in \mathbb {Z}\) with \(\sigma _i=1\) for all \(i\le n_\) and \(\sigma _i=0\) for all \(i\ge n_+\). We call
the charge of the Maya diagram. The set of Maya diagrams of fixed charge \(c\in \mathbb {Z}\) is in bijection with the set of partitions \(P^+\): given a partition \(\lambda =(\lambda _1,\ldots ,\lambda _\ell ,0,\ldots )\) define the Maya diagram \(\sigma (\lambda )\) by setting
In particular, the empty partition \(\varnothing =(0,0,\ldots )\) corresponds to the Maya diagram \(\sigma _i=1\) for \(i\le c\) and \(\sigma _i=0\) for \(i>c\). We adopt the common notations \(\sigma (\lambda )\overset{\text {def}}{=}\lambda \) for the weight of a partition, i.e. the sum of its parts, and \(\ell (\sigma )\overset{\text {def}}{=}\ell (\lambda )\) for its length, i.e. the number of nonzero parts. Note that \(\ell (\lambda )=\sum _{i>n_}\sigma _i(\lambda )\) and \(\lambda _1=\sum _{i<n_+}(1\sigma _i(\lambda ))\). Conversely, fix \(\lambda \) and \(c\in \mathbb {Z}\), then we have that \(n_(\sigma (\lambda ,c))=c\ell (\lambda )\) and \(n_+(\sigma (\lambda ,c))=c+1+\lambda _1\). A graphical depiction of the bijection (2.2) is shown in Fig. 1.
The fermionic Fock space is defined as the direct sum \(\mathcal {F}=\bigoplus _{c\in \mathbb {Z}}\mathcal {F}_c\), where \(\mathcal {F}_c\) is the formal \({\mathbb {C}}\)linear span of Maya diagrams \(\sigma :\mathbb {Z}\rightarrow \{0,1\}\) of charge c (not their pointwise addition). The space \(\mathcal {F}\) is naturally endowed with an action of the Clifford algebra \(\text {Cl}\) with generators \(\{\psi _i^{\pm }~:~i\in \mathbb {Z}\}\) and relations
Namely, define maps \(\psi ^\pm _i:\mathcal {F}_c\rightarrow \mathcal {F}_{c\pm 1}\) by setting
where \(\epsilon _i:\mathbb {Z}\rightarrow \{0,1\}\) is the map \(j\mapsto \delta _{ij}\) and the maps \(\sigma \pm \epsilon _i:\mathbb {Z}\rightarrow \{0,1\}\) are defined via pointwise summation, \((\sigma \pm \epsilon _i)(j)=\sigma _j\pm \delta _{ij}\). In particular, both are welldefined Maya diagrams. In words, modulo a sign factor, acting with \(\psi _i^\) on a Maya diagram changes a oneletter at position i into a zeroletter or, if there is none, gives the null vector. Similarly, \(\psi ^+_i\) changes a zeroletter at position i into a oneletter.
Remark 2.1
Instead of using Maya diagrams it is often customary to identify the basis elements in the fermionic Fock space \(\mathcal {F}_c\) with ‘semiinfinite wedge products’. Namely, let \(\bigwedge ^{\frac{\infty }{2},c}V\) with \(V=\bigoplus _{i\in \mathbb {Z}}{\mathbb {C}} v_i\) be the \({\mathbb {C}}\)linear span of wedge products of the form
for some \(r\in \mathbb {Z}_{\ge 0}\) and fixed charge \(c\in \mathbb {Z}\). This is the notation used in the introduction. These wedge products should be understood as formal symbols which are antisymmetric under the exchange of the basis vectors \(v_i\) of V. Given a Maya diagram \(\sigma \in \mathcal {F}_c\) we define the map \(\sigma \mapsto v_{i_1(\sigma )}\wedge v_{i_2(\sigma )}\wedge \cdots \), where the set of integers \(i_1(\sigma )>i_2(\sigma )>\ldots \) is given by the positions of 1letters in the Maya diagram, i.e. \(\sigma (i_j)=1\) for all \(j\in \mathbb {N}\). This bijection between Maya diagrams and wedge products induces a vector space isomorphism \(\mathcal {F}_c\cong \bigwedge ^{\frac{\infty }{2},c}V\). The action of the Clifford algebra (2.4) is now more easily described by the familiar actions
and
where the rth factor in the wedge product on the right hand side has been omitted. In this article we have used the language of Maya diagrams instead in order to elucidate the connection with the sixvertex model.
2.2 The bosonfermion correspondence
Denote by \(\mathfrak {h}\) the Heisenberg algebra with generators \(\{p_r,p_{r}\}_{r\in \mathbb {N}}\) and relations
As usual, we will identify the commutative subalgebra \(\mathfrak {h}^+={\mathbb {C}}[p_1,p_2,\ldots ]\subset \mathfrak {h}\) with the ring of symmetric functions \(\Lambda =\lim \limits _{\longleftarrow }\Lambda _k\), where \(\Lambda _k={\mathbb {C}}[y_1,y_2,\ldots ,y_k]^{S_k}\), by mapping its generators \(p_r\) to the power sums, \(p_r\mapsto p_r[Y]\overset{\text {def}}{=}\sum _{i\ge 0}y_i^r\). Here \(Y=y_1+y_2+\cdots \) is some infinite auxiliary alphabet of commuting indeterminates, the socalled Miwa variables. Recall that the set \(\{p_\lambda =p_{\lambda _1}p_{\lambda _2}\ldots ~~\lambda \in P^+\}\) forms a \(\mathbb {Q}\)basis of \(\Lambda \) [28]. The following bilinear form \(\Lambda \otimes \Lambda \rightarrow {\mathbb {C}}\),
is known as the Hall inner product. We let \(\mathfrak {h}\) act on \(\Lambda \) by identifying for \(r>0\) the \(p_r\) as multiplication operators and \(p_{r}\mapsto r\partial /\partial p_r\) as differential operators. Following the literature we call \(\mathfrak {h}^+\cong \Lambda \) the bosonic Fock space.
It is wellknown that the following operators on the fermionic Fock space \(\mathcal {F}_c\) of fixed charge \(c\in \mathbb {Z}\),
also define a representation \(\rho _c:\mathfrak {h}\rightarrow {\text {End}}\mathcal {F}_c\) of the Heisenberg algebra by mapping \(p_r\mapsto P_r\). Note that \(P_{r}\sigma (\varnothing ,c)=0\) for all \(r\in \mathbb {N},c\in \mathbb {Z}\) and, hence, the representation is highest weight. In fact, all the \(P_r\) are locally nilpotent, i.e. for each \(\sigma \in \mathcal {F}\) there exists \(N=N_\sigma \in \mathbb {N}\) such that \(P_r^N\sigma =0\).
Fix an inner product on \(\mathcal {F}\) by setting
for any two Maya diagrams \(\sigma ,\sigma '\). Then \((\psi _i^+)^*=\psi _i^\) and \(P_r^*=P_{r}\). Let z be some indeterminate. An essential part of the bosonfermion correspondence is the following statement:
Theorem 2.2
The linear map \(\imath :\mathcal {F}\rightarrow {\mathbb {C}}[z,z^{1}]\otimes {\mathbb {C}}[p_1,p_2,\ldots ]\) defined via
where \(H[Y]=\sum _{r>0}(p_r[Y]/r) P_{r}\) is called the ‘Hamiltonian’, is an isomorphism of \(\mathfrak {h}\)modules. That is, we have the identity \(\imath \circ P_r=p_r\circ \imath \) for all \(r\ne 0\). Moreover, \(\imath \) is an isometry with respect to the inner products (2.6) and (2.8).
In light of the isomorphism (2.9) it is convenient to enlarge the Heisenberg algebra \(\mathfrak {h}\) by the central element \(p_0\overset{\text {def}}{=}z(\partial /\partial z)\) and introduce on \(\mathcal {F}\) the ‘charge operator’ \(P_0\) satisfying
Remark 2.3
The variables \(t_r=p_r/r\) are interpreted as generalised time parameters in the context of the KP hierarchy, which explains why one calls H the Hamiltonian. Moreover, the image of the Maya diagram \(\sigma (\lambda ,c)\) under the bosonfermion correspondence is the Schur function \(z^c\otimes s_\lambda [Y]\) which is a known polynomial solution of the KP equation [7]. In fact, all polynomial solutions are linear combinations of Schur functions. Expressing each Schur polynomial \(s_\lambda \) in terms of the power sums gives the irreducible characters \(\chi ^\lambda \) of the symmetric group \(S_m\) with \(m=\lambda \). The map \(\chi ^\lambda \mapsto s_\lambda \) constitutes a ring isomorphism \(\mathcal {R}\rightarrow \Lambda \) known as the characteristic map, where \(\mathcal {R}=\bigoplus _m\mathcal {R}^m\) is the Grothendieck ring finitedimensional modules of the symmetric groups; see [28, Ch.I.7].
2.3 The quantum characteristic map
Following the exposition in [37] the following is a brief summary of the connection between the centres of Hecke algebras and the ring of symmetric functions. Let t be an indeterminate, the ‘deformation parameter’, then the Hecke algebra \(\mathcal {H}_m=\mathcal {H}_m(t)\) is the \({\mathbb {C}}(t)\)algebra generated by \(\{T_1,\ldots ,T_{m1}\}\) subject to the relations
Because of the latter relations the algebra \(\mathcal {H}_m\) can be viewed as a tdeformation of the symmetric group algebra \({\mathbb {C}}[S_m]\). Given a permutation \(w\in S_m\), let \(w=s_{i_1}\ldots s_{i_r}\) be a reduced expression in terms of the elementary transpositions \(s_i\in S_m\), then we set \(T_w=T_{i_1}\ldots T_{i_r}\). The relations (2.10) ensure that the element \(T_w\) is independent of the choice of the reduced expression for w. Moreover, the elements \(\{T_w\}_{w\in S_m}\) form a basis of \(\mathcal {H}_m\).
It is wellknown that the finitedimensional representations of the Hecke algebras \(\mathcal {H}_m\) carry the structure of a Hopf algebra. Namely, let \(\mathcal {R}(t)=\bigoplus _{m\ge 0}{\mathbb {C}}(t)\otimes _{\mathbb {Z}}\mathcal {R}^m(t)\), where \(\mathcal {R}^m(t)\) is the Grothendieck group of finitedimensional \(\mathcal {H}_m\)modules M and we set \(\mathcal {R}^0(t)={\mathbb {C}}(t)\). Define a graded algebra structure on \(\mathcal {R}(t)\) by introducing a product \(\mathcal {R}^m(t)\times \mathcal {R}^n(t)\rightarrow \mathcal {R}^{m+n}(t)\) via the induction functor
where M is a \(\mathcal {H}_m\)module, N a \(\mathcal {H}_n\)module and one uses the natural embedding \(S_{m}\times S_{n}\hookrightarrow S_{m+n}\) to identify \(\mathcal {H}_{m}\otimes \mathcal {H}_{n}\) as a subalgebra in \(\mathcal {H}_{m+n}\).^{Footnote 2} In fact, \(\mathcal {R}(t)\) can be turned into a graded Hopf algebra by defining a coproduct \(\Delta :\mathcal {R}^m(t)\rightarrow \bigoplus _{m'+m''=m}\mathcal {R}^{m'}(t)\otimes \mathcal {R}^{m''}(t)\) via the restriction functor,
In what follows, we will identify elements in \(M\in \mathcal {R}^m(t)\) with their trace functions \(\chi ^M_t\in {\text {Hom}}_{{\mathbb {C}}(t)}(\mathcal {H}_m,{\mathbb {C}}(t))\). Set \(T^{\vee }_w=t^{\ell (w)}T_{w^{1}}\) with \(\ell (w)\) denoting the length of the permutation \(w\in S_m\). Then given a trace function \(\chi _t\in \mathcal {R}^m(t)\) we assign to it the element \(\sum _{w\in S_m}\chi _t(T_w)T^{\vee }_w\) in the centre \(\mathcal {Z}(\mathcal {H}_m)\). This map defines a bijection \(\mathcal {R}^m(t)\rightarrow \mathcal {Z}(\mathcal {H}_m)\) and its extension \(\mathcal {R}(t)\rightarrow \mathcal {Z}(t)\) with \(\mathcal {Z}(t)=\bigoplus _{m\ge 0}\mathcal {Z}(\mathcal {H}_m(t))\) then induces a (Hopf) algebra structure on \(\mathcal {Z}(t)\) by demanding that the latter is a (Hopf) algebra isomorphism. Here we have set \(\mathcal {Z}(\mathcal {H}_0)={\mathbb {C}}(t)\).
In order to formulate an analogue of the Frobenius map for \(\mathcal {H}_m\), one first has to fix a basis in each of the centres \(\mathcal {Z}(\mathcal {H}_m)\). The latter is a tdeformation of the basis of class sums in the centre \(\mathcal {Z}({\mathbb {C}} S_m)\) of the symmetric group algebra. Recall that the conjugacy classes \(C_\alpha \subset S_m\) consist of all permutations of fixed cycle type \(\alpha =(\alpha _1,\ldots ,\alpha _\ell )\) where \(\alpha \) is a partition of m. Define the following minimal length element in \(C_\alpha \),
For any \(w\in S_m\) there exist \(f_{\alpha }(w)\in {\mathbb {C}}[t,t^{1}]\) such that \(T_w\equiv \sum _{\alpha \vdash m}f_{\alpha }(w)T_{w_\alpha }\mod [\mathcal {H}_m,\mathcal {H}_m]\) [31, Thm 5.1]. The following elements, known as GeckRouquier central elements,
are welldefined and can be shown to specialise to the class sums \(\sum _{w\in C_\alpha }w\in \mathcal {Z}({\mathbb {C}} S_m)\) in the limit \(t\rightarrow 1\).
Theorem 2.4
(GeckRouquier). The set \(\{c_\alpha ~~\alpha \vdash m\}\) forms a basis of \(\mathcal {Z}(\mathcal {H}_m)\).
Other choices of bases and the transition matrices between them can be found in [27, 37] and in the references cited therein.
Denote by \(\Lambda ^m(t)=\Lambda ^m\otimes {\mathbb {C}}(t)\), where \(\Lambda ^m\) is the set of homogeneous symmetric functions of degree m. Following [37] define the quantum Frobenius map \(F_t:\mathcal {Z}(t)\rightarrow \Lambda (t)\) with \(\Lambda (t)=\bigoplus _{m\ge 0}\Lambda ^m(t)\) as
where (using plethystic notation^{Footnote 3}) \(m_\alpha [Y/(t1)]\) denotes the monomial symmetric function with the alphabet \(Y=y_1+y_2+\cdots \), replaced by the alphabet \(X=Y/(t1)\); see e.g. [28].
Theorem 2.5
(WanWang). The quantum Frobenius map \(F_t:\mathcal {Z}(t)\rightarrow \Lambda (t)\) is an algebra isomorphism.
Note that the Frobenius map is ‘degree preserving’, that is \(F_t(\mathcal {Z}(\mathcal {H}_m))=\Lambda ^m(t)\). The quantum characterictic map \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)\) is then defined as the unique map such that the following diagram commutes for all \(m\ge 0\),
2.4 Hecke characters and rim hook tableaux
In order to describe the quantum characteristic map \({\text {ch}}_t\) explicitly, we now recall the following textension of the Frobenius formula, which is due to Ram [31].
Given two partitions \(\lambda ,\mu \in P^{+}\) such that \(\mu \subset \lambda \) we say that the skew Young diagram \(\lambda /\mu \) is a (connected) rim hook h if it consists of a sequence of squares along the SE corner of the Young diagram of \(\lambda \) such that two consecutive squares \(s,s^{\prime }\in h\) share exactly one edge and \(\lambda /\mu \) does not contain a \(2\times 2\) block of squares. The length h of a rim hook is simply the number of squares it contains.
A broken rim hook b is a finite sequence of rim hooks such that \( h,h^{\prime }\in b\) share at most a common corner but not an edge. Denote by \(b=\sum _{h\in b}h\) the length of a broken rim hook.
Define a (skew rim hook) tableau \(\mathcal {T}\) of shape \(\lambda /\mu \) and content \(\alpha \) to be a sequence of partitions \((\lambda ^{(0)},\lambda ^{(1)},\ldots ,\lambda ^{(\ell )})\) such that \(\lambda ^{(0)}=\mu \), \(\lambda ^{(\ell )}=\lambda \) and each \(\lambda ^{(i)}/\lambda ^{(i1)}\) is a broken rim hook \(b_{i}\) of length \(\alpha _i\). We can interpret such a sequence as a map \(\mathcal {T}:\lambda /\mu \rightarrow \{1,\ldots ,\ell \}\) by filling the squares in \(\lambda ^{(i)}/\lambda ^{(i1)}\) with the integer i.
Given a broken rim hook tableau \(\mathcal {T}\) define the following weight function via
where for each broken rim hook \(b=\lambda ^{(i)}/\lambda ^{(i1)}\) in \(\mathcal {T}\) we set
with r(h) denoting the number of rows a rim hook \(h\in b\) occupies, by c(h) the number of columns and by \(\#b\) the number of (connected) rim hooks h contained in b.
Example 2.6
Set \(\lambda =(6,6,5,3,2,2,2,2,1)\) and \(\mu =(6,4,3,3,2,1,1)\). The skew diagram \(\lambda /\mu \) is a broken rim hook which has two connected components \(h_1,h_2\), and thus \(\#b=2\), of length 4 and 5; see Fig. 1. We read off from the diagram in Fig. 1 that \(r(h_1)=2,c(h_1)=4\) and \(r(h_2)=4,c(h_2)=2\).
Theorem 2.7
(Ram). (i) Any trace function \(\chi _t\in \mathcal {R}^m(t) \) is completely determined by the values \(\chi _t(\alpha )\overset{\text {def}}{=}\chi _t(T_{w_\alpha })\), where \(T_{w_\alpha }\in \mathcal {H}_m\) is the element fixed by (2.13). (ii) One has the following textension of the Frobenius formula,
where \(s_\lambda \in \Lambda \) denotes the Schur function and \(\chi ^\lambda _t\) is the character obtained from the irreducible \(\mathcal {H}_m\)module fixed by the partition \(\lambda \vdash m\). (iii) One has the following combinatorial sum formula for the irreducible characters,
where the sum runs over all broken rim hook tableaux \(\mathcal {T}\) of shape \(\lambda \) and content \(\alpha \).
The ‘inverse’ of the characteristic map is described by the following dual version of the Frobenius formula [37, Prop 5.3]:
Proposition 2.8
(WanWang).
In particular, it follows from (2.142.18) and (2.20) that \({\text {ch}}_t(\chi _t^\lambda )=s_\lambda \) which completely fixes the quantum characteristic map (2.15).
2.5 Skew Schur functions and the restriction functor
We now recall the Hopf algebra structure on \(\Lambda (t)\). Using the basis of Schur functions \(\{s_\lambda :\lambda \in P^+\}\) define the following product, coproduct, unit, counit and antipode on \(\Lambda (t)\),
where \(f(t)\in {\mathbb {C}}(t)\), \(\lambda '\) denotes the conjugate partition of \(\lambda \), and \(c^{\lambda }_{\mu \nu }\in \mathbb {Z}_{\ge 0}\) are the Littlewood–Richardson coefficients which are fixed via
or, alternatively,
By construction, one then obtains:
Proposition 2.9
(i) The maps (2.21), (2.22) turn \(\Lambda (t)\) into a graded Hopf algebra. (ii) The quantum characteristic map \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)\) defined in (2.15) extends to a graded Hopf algebra isomorphism.
Proof
The first part is due to Zelevinsky [39] and involves a straightforward checking of the Hopf algebra axioms. The second follows from (2.20) and that the monomial symmetric functions \(\{m_\lambda ~~\lambda \in P^+\}\) form a basis [28, Ch.I]. \(\quad \square \)
Our main interest in this article will be the following generalisation of the Frobenius formula (2.142.18) and its dual version (2.20) to skew diagrams: define the (virtual) skew character
then we have the following:
Corollary 2.10
and
where the sums run respectively over all partitions \(\lambda \) and \(\nu \) such that \(\lambda =\mu +\nu \).
Proof
Set \(\overline{h}_\mu [Y]=h_\mu [(t1)Y]/(t1)^{\ell (\mu )}\) and \(\underline{m}_\mu =(t1)^{\ell (\mu )}m_\mu [Y/(t1)]\). Both sets of symmetric functions form dual bases with respect to the Hall inner product, \(\langle \overline{h}_\lambda ,\underline{m}_\mu \rangle =\delta _{\lambda \mu }\) [37]. Thus,
Here we have used in the first line the known expansion of skew Schur functions into Schur functions and in the second line that \(s_\mu ^*s_{\lambda }=s_{\lambda /\mu }\), where \(s_\mu ^*\) is the adjoint of the operator which multiplies with the Schur function \(s_\mu \). The latter identity follows from \(\langle \Delta (f),g\otimes h\rangle =\langle f, gh\rangle \) which holds for all \(f,g,h\in \Lambda (t)\); see e.g. [28]. \(\quad \square \)
The skew character (2.25) can be obtained combinatorially by summing over all broken rim hook tableaux of skew shape \(\lambda /\nu \) and naturally appears in connection with the Hopfalgebra structure on \(\mathcal {R}(t)\) via (2.24), \({\text {Res}}^{\mathcal {H}_m}_{\mathcal {H}_{m'}\otimes \mathcal {H}_{m''}}\chi _t^{\lambda }=\sum _{\mu \subset \lambda }\chi _t^\mu \otimes \chi _t^{\lambda /\mu }\). Note that \(\chi _t^{\lambda /\mu }\) is identically zero unless \(\mu \subset \lambda \), i.e. the Young diagram of \(\lambda \) contains the Young diagram of \(\mu \). It follows at once that for fixed integers \(0\le k\le n\) the corresponding subset
of irreducible characters spans a finitedimensional subcoalgebra of \(\mathcal {R}(t)\). Recall that the cohomology ring \(H^*({\text {Gr}}_k({\mathbb {C}}^n))\) of the Grassmannian has a natural Frobenius algebra structure (see e.g. [1]) and, thus, a coproduct.
Corollary 2.11
The \(\mathbb {Z}\) subcoalgebra \(\subset \mathcal {R}(t)\) spanned by the elements in \(\mathcal {R}'_{k,n}(t)\) is isomorphic to \(H^*({\text {Gr}}_k({\mathbb {C}}^n)) \) when viewed as a \(\mathbb {Z}\)coalgebra.
The main result (1.1) of this article is a generalisation of the last statement to the quantum cohomology of Grassmannians.
3 A Hecke Version of the BosonFermion Correspondence
In this section we extend the bosonfermion correspondence (2.9) to Hecke algebras. That is, we perform the plethystic variable substitution \(Y\rightarrow X=(t1)Y\) in the Hamiltonian \(H=H[Y]\) and then show that the matrix element on the right hand side in (2.9) can be rewritten in terms of certain fermionic operators \(A\in {\text {End}}(\mathcal {F}_c\otimes {\mathbb {C}}(t))\) whose matrix elements give Hecke instead of symmetric group characters. We identify these operators via the bosonfermion correspondence with socalled ‘halfvertex operators’ acting on the bosonic Fock space \(\Lambda (t)\) and relate them to known (bosonic) vertex operators in the literature [20]. In a subsequent section we then show that these fermionic operators are the transfer matrices of the asymmetric sixvertex model on the infinite lattice and, thus, that the matrix element in (2.9) can be identified with its partition function under the plethystic variable transformation \(Y\rightarrow X=(t1)Y\).
3.1 A tdeformation of the Clifford algebra
Set \(\mathcal {F}(t)=\mathcal {F}\otimes {\mathbb {C}}(t)\) and define the following tdeformation of the fermion fields (2.4) in \({\text {End}}\mathcal {F}(t)\),
and
Via a straightforward computation one obtains the following:
Lemma 3.1
We have the commutation relations
as well as
where \(i,j\in \mathbb {Z}\).
Note that \(\psi _i^\pm (1)=\psi ^\pm _i\), so the above operators are a deformation of the Clifford algebra representation (2.4). Set \(E_{ij}(t)=(1t)\psi _i^(t)\psi ^+_j(t)\) and define the following ‘halfvertex’ operator
where x is a formal variable, the ‘spectral parameter’ of the sixvertex model discussed in one of the subsequent sections. The operator A(x; t) should be understood as a formal power series in the variable x,
with coefficients \(A_r(t)\in {\text {End}}\mathcal {F}(t)\). Our motivation for introducing the above operator is Proposition 1.2 from the introduction.
Proposition 3.2
Consider the following textension
of the bosonfermion correspondence (2.9). Then for any \(f\in {\mathbb {C}}(t)\), \(v\in \mathcal {F}\),
where \(\langle v\otimes f, v'\otimes g\rangle =\langle v,v'\rangle f\bar{g}\) is the extension of the bilinear form (2.8) and the variables \(X=x_1+x_2+\cdots \) are related to the variables \(Y=y_1+y_2+\cdots \) in \(\Lambda \) via the plethystic substitution \(X=Y/(t1)\).
We prove the proposition via a couple of lemmata.
Lemma 3.3
The operator \(E_{ij}(t)=(1t)\psi _i^(t)\psi ^+_j(t)\) with \(i<j\) acts on Maya diagrams via
where the (connected) rim hook \(h=\lambda /\mu \) starts at position i and ends at position j under the bijection (2.2).
Proof
Recall that \(p_rs_\mu \) is a sum of Schur polynomials \(s_\lambda \) for which \(\lambda /\mu \) is a rim hook of length r; see e.g. [28, Ch.I]. Since \(\lim _{t\rightarrow 1}E_{ij}(t)/(1t)=\psi ^_i\psi ^+_j\) and \(P_r=\sum _{ji=r}\psi ^_i\psi ^+_j\), we infer immediately from the bosonfermion correspondence that \(E_{ij}(t)\sigma (\mu ,c)\) must be a Maya diagram \(\sigma (\lambda ,c)\) with \(\lambda /\mu \) being a rim hook of length \(r=ji\) provided that \(\sigma _i(\mu ,c)=1\) and \(\sigma _j(\mu ,c)=0\). For each 1letter between positions i and j, i.e. \(\sigma _l=1\) with \(i<l<j\), there is a power of \(t^{1}\). Under the bijection (2.2) each such 1letter corresponds to a row in \(\lambda \) intersecting the rim hook \(\lambda /\mu \). If either \(\sigma _i(\mu ,c)=0\) or \(\sigma _j(\mu ,c)=1\) than such a rim hook cannot be added and \(E_{ij}(t)\sigma (\mu ,c)=0\) by the definitions (3.13.2), (3.13.2). \(\quad \square \)
The second result we require to prove Proposition 3.2 is the following description of the action of the coefficients of the halfvertex operator (3.3).
Lemma 3.4
Under the textension (3.4) of the bosonfermion correspondence the Aoperator (3.3) is given by multiplication with the function \(h_r[(t1)Y]\). That is, we have the identity
for all \(r\in \mathbb {Z}_{\ge 0}\). In particular, we have the following expression in terms of the Heisenberg algebra:
Note that it follows from (3.6) that the operators \(A_r(t)\in {\text {End}}\mathcal {F}(t)\) commute with each other.
Proof
The case \(r=0\) is trivial. Let \(r>0\) then we infer from the definition (3.3) that
Thus, by the previous lemma we must have that \(A_r\sigma (\mu ,c)\) is a linear combination of Maya diagrams \(\sigma (\lambda ,c)\) with \(b=\lambda /\mu \) being a broken rim hook of length r and with \(0<\#b\le s\). According to Lemma 3.3 each rim hook \(h\in b\) gives rise to a factor
But since \(\sum _{h\in b}h=r\) we arrive at
where the sum runs over all partitions \(\lambda \) such that \(\lambda /\mu \) is a broken rim hook of length r. The assertion now follows from (2.26) and \(\imath _t(\sigma (\lambda ,c))=s_\lambda \). \(\quad \square \)
Proof of Proposition 3.2
Repeated application of Lemma 3.4 together with formulae (2.26) and (2.27) now yields the following: for any partition \(\mu \) and charge \(c\in \mathbb {Z}\) one has
where the last sum runs over all partitions \(\lambda \) containing \(\mu \). To see this, first observe that the right hand side of (3.7) can be rewritten as
Employing the generalised Cauchy identity [28]
together with the Littlewood–Richardson expansion of products of Schur functions,
we arrive at (3.8) using that \(\imath _t(\sigma (\lambda ,c))=z^c\otimes s_\lambda [Y]\) for any \(c\in \mathbb {Z}\). Upon setting \(\mu =\varnothing \) and \(X=Y/(t1)\) we obtain the identity (3.5) for \(v=\sigma (\lambda ,c)\). Since the Maya diagrams span \(\mathcal {F}=\bigoplus _{c\in \mathbb {Z}}\mathcal {F}_c\) the assertion then follows. \(\quad \square \)
We call Proposition 3.2 a Hecke version of the bosonfermion correspondence (2.9) because the halfvertex operator (3.3) generates a basis which is related to the Schurbasis via the character table of Hecke algebras.
Corollary 3.5
Given any partition \(\mu \) and \(c\in \mathbb {Z}\) set
Then \(\{\eta _{\mu ,c}~~\mu \in P^+,c\in \mathbb {Z}\}\) forms a basis and the transformation matrix to the basis \(\{\sigma (\lambda ,c)~~\lambda \in P^+,c\in \mathbb {Z}\}\) is given by the character table of Hecke algebras, i.e. \( \eta _{\mu ,c}=\sum _{\lambda }\chi ^{\lambda }_t(\mu )\sigma (\lambda ,c) \). More generally, we have
Proof
This is a direct consequence of the identity (2.142.18), \(\imath _t(\sigma (\lambda ,c))=z^c\otimes s_\lambda [Y]\) and (3.6). \(\quad \square \)
In order to make contact with vertex operators previously defined in the literature, we also compute the inverse of the operator (3.3).
Corollary 3.6
The operator (3.3) is invertible. That is, we have the identities
and, thus, \(A^{1}(x;t)=A(xt;t^{1})\). Explicitly,
Furthermore,
and
where \(A^{1}(x;t)=\sum _{r\ge 0}x^rA^{1}_r(t)\) and \(\lambda '\), \(\mu '\) denote the conjugate partitions of \(\lambda \) and \(\mu \), respectively.
Proof
The first assertion (3.10) can be easily deduced from (3.7). The rest of the proof then follows along similar steps as the proof of Proposition 3.2 using Lemma 3.4. We therefore omit the details. \(\quad \square \)
Remark 3.7
Note that while (3.13.2), (3.13.2) are defined in \({\text {End}}\mathcal {F}(t)\) the matrix elements of the operators (3.3) and (3.11) are both polynomial in t. This can be seen from (3.8) and (3.12), respectively. The skew Schur functions in both expressions acquire only a polynomial dependence on t under the plethystic substitutions \(X\rightarrow (t1)X\) and \(X\rightarrow (1t)X\). In particular, we can view the operator coefficients \(A_r(t)\) and \(A^{1}_r(t)\) as elements in \({\text {End}}\mathcal {F}[t]\) with \(\mathcal {F}[t]=\mathcal {F}\otimes {\mathbb {C}}[t]\). Only when making the plethystic substitution \(X=Y/(t1)\) in (3.5) do we need to work over the rational functions in t.
3.2 Vertex operators and Hall–Littlewood functions
We now relate the operator (3.3) and its inverse (3.11) to Jing’s vertex operators for Hall–Littlewood functions [20]: define on the bosonic Fock space \(\Lambda (t)\) the bilinear form
and introduce the vertex operators
and
where \(\Phi ^+\) is the adjoint of \(\Phi ^\) with respect to the inner product (3.14). The latter are known to obey the commutation relations
Equivalently, the \(\Phi _i^(t)\) obey the relations
In order to make the connection with the the operators (3.3) and (3.11) we need first to introduce the analogue of the basis \(\{s_\lambda [(1t)Y]\}\) appearing in (3.14) in the fermionic Fock space \(\mathcal {F}(t)\).
Lemma 3.8
Define \(\sigma _t(\lambda ,c)=\det (A^{1}(t)_{\lambda _ii+j})_{1\le i,j\le \ell (\lambda )}\,\sigma (\varnothing ,c)\) for any \(c\in \mathbb {Z}\). Then
and, thus, introducing the bilinear form \(\mathcal {F}(t)\otimes \mathcal {F}(t)\rightarrow \mathcal {F}(t)\) fixed via
turns the isomorphism \(\imath _t:\mathcal {F}(t)\rightarrow \bigoplus _{c\in \mathbb {Z}}z^c\otimes \Lambda (t)\) into an isometry with respect to the inner product (3.14).
Proof
It follows from (3.6) and (3.10) that \(A^{1}_r(t)\) corresponds to multiplying with \(h_r[(1t)Y]\) in \(\Lambda (t)\). The assertions are now immediate from the known JacobiTrudi identity [28, Ch.I] \(s_\lambda =\det (h_{\lambda _ij+1})_{1\le 1,j,\le \ell (\lambda )}\). \(\quad \square \)
The following corollary, Proposition 1.3 in the introduction, now states the precise relationship between (3.3) and the above vertex operators:
Corollary 3.9
Set \(x^*=x^{1}\). Then we have the following identities under the bosonfermion correspondence:
Moreover, introduce the operators \(\Psi _m=\sum _{rs=m}A_r^{1}A^*_s\). Then,
and given any partition \(\lambda \) of length \(\ell \), the image of the vectors
under the bosonfermion correspondence are the Hall–Littlewood functions \(Q_\lambda (y;t)\).
Proof
We have done all the computational work in previous lemmata: the identity (3.7) and (3.10) allows us to identify (3.3) and (3.11) as the halfvertex operators \(\exp \left( \pm \sum _{r>0}\frac{t^r1}{r}p_r[Y]x^r\right) \) in the defintion of \(\Phi ^\pm (x;t)\). Using the inner product from the previous lemma then uniquely defines their adjoint operators in \({\text {End}}\mathcal {F}(t)\). The assertion regarding Hall–Littlewood functions is a direct consequence of the known result [20] for the bosonic vertex operators \(\Phi ^\pm \) and exploiting the bosonfermion correspondence (3.5). \(\quad \square \)
4 The Asymmetric SixVertex Model
In this section we develop a ‘graphical calculus’ for computing the matrix elements of the halfvertex operators (3.3) and (3.11), the Hecke characters, using a known exactly solvable lattice model from statistical mechanics [2]. While the model is known, its combinatorial description and connection to Hecke characters presented here are new.
4.1 Definition of the sixvertex model
Consider a square lattice \(\Gamma \subset \mathbb {Z}\times \mathbb {Z}\). We call each point \(\mathrm {v}=(i,j)\in \Gamma \) a vertex and two neighbouring vertices \(\mathrm {v}=(i,j)\), \(\mathrm {v'}=(i',j')\) an edge if either \(i'=i\) and \(j'=j\pm 1\) or \(i'=i\pm 1\) and \(j'=j\). Denote by \(\mathbb {E}\) the set of lattice edges and given a vertex \(\mathrm {v}=(i,j)\), we label the four edges \(\{((i,j1),(i,j)),((i1,j),(i,j)),((i,j),(i+1,j)),((i,j),(i+1,j))\}\) by W(est), N(orth), E(ast), S(outh). A lattice configuration \(\mathcal {C}\) is a map \(\mathbb {E}\rightarrow \{0,1\}\). We assign each configuration \(\mathcal {C}\) a ‘Boltzmann weight’^{Footnote 4} by setting
where the values \(\Omega (\mathrm {v})=\Omega (\mathrm {W,N,E,S})=\omega _i\), \(i=1,\ldots ,6\) for six individual vertex configurations are displayed in Fig. 3. All other remaining vertex configurations are forbidden, i.e. they have probability or weight zero. If \(\omega _1=\omega _2\), \(\omega _3=\omega _4\) and \(\omega _5=\omega _6\) the model is called symmetric, otherwise asymmetric. While the set of allowed vertex configurations will remain the same across the square lattice, we will vary below the weights \(\{\omega _1,\ldots ,\omega _6\}\) depending on the lattice row number i, that is consider different weights \(\omega _{r}=\omega _{r}(i)\). In addition, we will impose certain conditions on some lattice edges at the boundary of \(\Gamma \), i.e. fix their values.
In order to compute the actual probability \({\text {Prob}}(\mathcal {C})\) for a certain lattice configuration \(\mathcal {C}\) to occur we must divide by the partition function, i.e. \({\text {Prob}}(\mathcal {C})=\Omega (\mathcal {C})/Z\), where Z is the weighted sum over all lattice configurations,
Here we have tacitly assumed that all of the above expressions are finite. We will show this for the infinite lattice below by imposing suitable boundary conditions. One of our results will be to identify the matrix element in (3.5) for \(v=\sigma (\lambda ,c)\) as the partition function (4.1) for the infinite lattice and a special choice of Boltzmann weights.
4.2 Transfer matrices and YangBaxter algebras
We start by looking at the partition functions for single lattice rows, which yield socalled transfer matrices.
Definition 4.1
Given \(\alpha ,\beta \in \{0,1\}\) fixed and any two binary strings \(\sigma ,\sigma '\in \{0,1\}^{\times n}\), denote by \(\langle \sigma T_{\beta \alpha }\sigma '\rangle \) the weighted sums over all possible configurations of a single lattice row with \(\alpha ,\beta ,\sigma ,\sigma '\) fixing the values of the outer right horizontal edge, left outer horizontal edge and the vertical edges on bottom and top, respectively. Then we call the matrix \(T_{\beta \alpha }=(\langle \sigma T_{\beta \alpha }\sigma '\rangle )_{\sigma ,\sigma '}\) a rowtorow transfer matrix.
The partition function (4.1) for the full lattice can be expressed in terms of products of these transfer matrices; see equation (4.15) below. For this reason, we will consider the eigenvalue problem of the transfer matrices in a later section to compute its matrix products more easily. The choice of vertex configurations in Fig. 3 allows one to express the transfer matrices in terms of solutions to the YangBaxter equation which greatly simplifies solving their eigenvalue problem using familiar techniques from exactly solvable systems [2].
Introduce the complex vector space \(V=\mathbb {C}v_{0}\oplus \mathbb {C}v_{1}\cong \mathbb {C}^{2}\) and identify the values \(\sigma =0,1\) assigned to each lattice edge under a configuration \(\mathcal {C}:\mathbb {E}\rightarrow \{0,1\}\) with the basis vectors \( v_{0},v_{1}\) in V. Let \(V^{*}\) be the dual space and denote by \( v^{\sigma }\) the dual basis vectors, i.e. \(\langle v^{\sigma },v_{\sigma ^{\prime }}\rangle =\delta _{\sigma \sigma ^{\prime }}\). Identify the Boltzmann weights \(\omega _{r}\) as matrix elements of an operator \( R:{\mathbb {C}}[\omega ]\otimes V\otimes V\rightarrow {\mathbb {C}}[\omega ]\otimes V\otimes V\),
Here \(\rho ,\rho ',\sigma ,\sigma '\in \{0,1\}\) are respectively the value of the W, N, E, S edge of a vertex. Explicitly,
and \(\Omega (\rho ,\rho ',\sigma ,\sigma ')=0\) for any other 4tuple of edge values; see Fig. 3. If the map \(R=R(\omega )\) satisfies the YangBaxter equation then the lattice model is called exactly solvable, meaning that we can make exact statements regarding the nature and properties of the partition function [2].
Define \(e_{01}=\left( {\begin{matrix} 0 &{} 1 \\ 0 &{} 0 \end{matrix}} \right) ,\;e_{10}=\left( {\begin{matrix} 0 &{} 0 \\ 1 &{} 0 \end{matrix}} \right) ,\;e_{00}=\left( {\begin{matrix} 1 &{} 0 \\ 0 &{} 0 \end{matrix}} \right) ,\;e_{11}=\left( {\begin{matrix} 0 &{} 0 \\ 0 &{} 1 \end{matrix}} \right) \) to be the \(2\times 2\) unit matrices acting on \(V\cong \mathbb {C} ^{2}\) via \(e_{01}v_{1}=v_{0}\), \(e_{10}v_{0}=v_{1}\) and \(e_{\sigma \sigma }v_{\sigma ^{\prime }}=\delta _{\sigma \sigma ^{\prime }}v_{\sigma }\). Then the Boltzmann weights \(\omega =(\omega _{1},\ldots ,\omega _{6})\) of the asymmetric sixvertex model define the Rmatrix
For the moment we are treating the weights \(\omega \) as indeterminates assuming that \(\omega _{1},\omega _{3}\) are invertible. Consider the following two ratios,
Let \(\omega \), \(\omega '\), \(\omega ''\) be three choices of vertex weights and set \(\mathbb {V}={\mathbb {C}}[\omega ]\otimes V\), \(\mathbb {V}'={\mathbb {C}}[\omega ']\otimes V\) and \(\mathbb {V}''={\mathbb {C}}[\omega '']\otimes V\). Denote by \(\mathbb {k}\) the ring \({\mathbb {C}}[\omega ,\omega ',\omega '']\) localised at \(\omega _1,\omega _3,\ldots \) and modulo the relations
Note that we allow for \(\omega =\omega '=\omega ''\) or \(\omega =\omega '\) etc. We identify elements in \(\mathbb {V}\otimes \mathbb {V}'\otimes \mathbb {V}''\) with elements in \(W=\mathbb {k}\otimes V\otimes V\otimes V\) in the natural way, \(f(\omega )u\otimes g(\omega ')v\otimes h(\omega '')w\mapsto f(\omega )g(\omega ')h(\omega '') u\otimes v\otimes w\).
Proposition 4.2
(Baxter). The three Rmatrices associated with the weights \(\omega \), \(\omega '\), \(\omega ''\) obey the YangBaxter equation
in \({\text {End}}(W)\), where \(R_{ij}\) acts nontrivially only in the ith and jth factor of the tensor product \(V^{\otimes 3}\).
Proof
A straightforward but lengthy computation; see [2] for details. \(\quad \square \)
Consider the tensor product \(\mathcal {V}=\mathbb {k} \otimes V^{\otimes n}\), the socalled quantum space, and define the row monodromy matrix \(V\otimes \mathcal {V}\rightarrow V\otimes \mathcal {V}\) as
where we identify the matrix elements \(A=A(\omega ),B=B(\omega ),C=C(\omega ),D=D(\omega )\) as maps \(\mathcal {V} \rightarrow \mathcal {V}\). The operators A, B, C, D generate a representation of the YangBaxter algebra in \({\text {End}}\mathcal {V}\) whose commutation relations are given by the YangBaxter equation or RTTrelation.
Corollary 4.3
The monodromy matrices satisfy the YangBaxter equation
The latter equation implies the following commutation relations between the monodromy matrix elements,
and
as well as
Here \(A'=A(\omega ')\), \(A''=A(\omega '')\) etc.
Let the square lattice \(\Gamma \subset \mathbb {Z}\times \mathbb {Z}\) have n columns and k rows, i.e. \(\Gamma =\{(i,j):1\le i\le k,\;1\le j\le n\}\). Fix the values of the top vertical lattice edges to be \(\sigma _1,\ldots ,\sigma _n\), the ones at the bottom to be \(\sigma '_1,\ldots ,\sigma '_n\) and the values of the horizontal boundary edges to be \(\alpha _1,\ldots ,\alpha _k\) on the left and \(\beta _1,\ldots ,\beta _k\) on the right; see Fig. 4.
Lemma 4.4
The partition function (4.1) of the asymmetric sixvertex model with the boundary conditions as described above is given by the following matrix element,
where \(T_{\beta \alpha }(\omega )\) are the matrix elements of the monodromy matrix (4.9). That is, \(T_{00}=A\), \(T_{01}=B\) etc.
Proof
A straightforward computation which is standard in integrable lattice models and follows from the definition of the monodromy matrix. \(\quad \square \)
In the following section we give a combinatorial realisation of the YangBaxter algebra in terms of broken rim hooks.
4.3 A combinatorial description of the YangBaxter algebra
Given a basis vector \(v_{\sigma _{1}}\otimes \cdots \otimes v_{\sigma _{n}}\in V^{\otimes n}\) with \(V={\mathbb {C}}^2\), the corresponding binary string \(\sigma =(\sigma _1,\ldots ,\sigma _n)\) of length n can be associated with a partition \(\lambda (\sigma )\) that is an ncore via the map , \(\sigma \mapsto \lambda (\sigma )=(i_kk,i_{k1}k1,\ldots ,i_11)\), where \(i_1<i_2<\cdots <i_k\) are the positions of 1letters in \(\sigma \). This is a finite size analogue of the bijection (2.2) discussed earlier with \(c=k\). Consider the following decomposition \(V^{\otimes n}\cong \bigoplus _{k=0}^{n}V_{k }\), where \(V_{k}\) is spanned by
Denote by \(\{v^\lambda ~:~\lambda \in P^+_{k,n}\}\) the dual basis. In order to describe the action of the YangBaxter algebra, we first note that by construction the matrix elements
with \(X=A,B,C,D\) are polynomial in the Boltzmann weights. Then each generator \(X=A,B,C,D\) of the YangBaxter algebra can be decomposed into a sum \(X=\sum _{r\ge 0}X_{r}\) such that the nonvanishing matrix elements \(\langle \lambda X_{r}\mu \rangle \in {\mathbb {C}}[\omega _1,\ldots ,\omega _6]\) are all of degree r in the variables \(\omega _2,\omega _4,\omega _6\). We ignore the degrees in the variables \(\omega _1,\omega _3,\omega _5\). In what follows we describe the action of each of the \(X_r\) rather than the action of the corresponding generator X.
Define the following sixvertex Boltzmann weight (probability) of a broken rim hook \(b=\lambda /\mu \),
and set \(\overline{\Omega }(b;\omega _{1},\ldots ,\omega _{6})= \Omega (b;\omega _{4},\omega _{3},\omega _{2},\omega _{1},\omega _{6},\omega _{5})\). Here \(\bar{r}(b)\) and \(\bar{c}(b)\) denote the number of rows and columns in \(\lambda \) which do not intersect b. The definition of \(r(b),c(b),\#b\) is the same as in (2.17). The following proposition links broken rim hooks to the asymmetric sixvertex model.
Proposition 4.5
Let \(A_{r},D_{r}\) be the degree \(r=1,\ldots ,n1\) components of the diagonal matrix elements of the monodromy matrix (4.9) with respect to the Boltzmann weights \(\omega _2,\omega _4,\omega _6\). Then for any ncore \(\mu \in P^+_{\ell ,n}\) of length \(\ell (\mu )=\ell \) we have that
where the sum runs over all \(\lambda \in P_{\ell ,n }^{+}\) such that respectively \(\lambda /\mu \) and \(\mu /\lambda \) are broken rim hooks b of length r and \(nr\). For \(A_0\) and \(D_n\) we include the case of the empty broken rim hook, i.e. \(\lambda =\mu \).
Proof
Recall that the Aoperator is the sum over sixvertex lattice configurations where the left and right outer horizontal lattice edge always have value 0. One then easily deduces from Fig. 3 the following rules:

Rule 1.
The vertex at the left boundary of the lattice row must either have weight \(\omega _1,\omega _3\) or \(\omega _6\). The vertex at the right boundary must either have weight \(\omega _1,\omega _3\) or \(\omega _5\).

Rule 2.
Each vertex with weight \(\omega _5\), say in lattice column j, must be preceded by a vertex with weight \(\omega _6\) in some column i with \(i<j\) such that the vertices in columns \(i<k<j\) must have either weight \(\omega _2\) or \(\omega _4\).

Rule 3.
Each vertex between a vertex of weight \(\omega _5\) in column i that precedes a vertex of weight \(\omega _6\) in column j (and not being of either type) must have weight \(\omega _1\) or \(\omega _3\). The same applies to vertices that lie between the left boundary and a vertex of weight \(\omega _6\) or vertices between a vertex of weight \(\omega _5\) and the right boundary. If there are no vertices with weight \(\omega _5\) or \(\omega _6\) then each vertex has either weight \(\omega _1\) or \(\omega _3\).
Consider the matrix element \(\langle \lambda A\mu \rangle \) for \(\lambda ,\mu \in P_{\ell ,n }^{+}\), then we need to show that \(\langle \lambda A\mu \rangle =\Omega (b)\) if \(\lambda /\mu \) is a broken rim hook and vanishes otherwise.
First we note that it follows from Rule 2 that the vertices with weight \(\omega _5\) and \(\omega _6\) always occur in pairs. This implies that the corresponding binary strings \(\sigma (\lambda ) \), \(\sigma (\mu )\) must have the same number of 1letters. Hence, \(\langle \lambda A\mu \rangle =0\) if \(\lambda \in P_{\ell ',n}^{+}\) and \(\mu \in P_{\ell ,n }^{+}\) with \(\ell \ne \ell ^{\prime }\). Furthermore, all paths segments in Fig. 3 propagate either downward or to the right. Therefore, each of the 1letter positions in \(\sigma (\lambda )\) must be greater or equal than the ones in \(\sigma (\mu )\) (when numbering 1letters from left to right). Employing the correspondence between 01words and partitions we can conclude that \(\mu \subset \lambda \).
We claim that each set of r consecutive vertices starting with a vertex of weight \(\omega _6\) in column i and ending with one of weight \(\omega _5\) in column j corresponds to adding a ribbon or rim hook h of length \(r=ji\) to \(\mu \). According to Rule 2, there is a 1letter in \(\sigma (\mu )\) and a 0letter in \(\sigma (\lambda )\) at position i, while there is 0letter in \(\sigma (\mu )\) and a 1letter in \(\sigma (\lambda )\) at position j. Strictly in between positions i and j the binary strings \(\sigma (\mu )\) and \(\sigma (\lambda )\) must be identical. According to the bijection (2.2) with \(c=\ell \) this corresponds to adding a box with diagonal or content k for each \(i\le k<j\). One then easily verifies that the second and fourth vertex configurations in Fig. 3 correspond to having two consecutive squares in a column and row of \(\lambda /\mu \), respectively. The fifth and sixth vertex configuration signal the start and the end of the rim hook h.
Similarly, it follows from Rule 3 that the substrings of \(\sigma (\mu )\) and \(\sigma (\lambda )\) in between the end of one rim hook and the start of another must be identical. Thus, the first (third) vertex in lattice column (row) j corresponds to having no square \(s=(x,y)\) in \(\lambda /\mu \) with diagonal \(yx=jn1\). If there are no rim hooks added then we must have trivially that \(\sigma (\mu )=\sigma (\lambda )\) and \(\lambda =\mu \).
Since the map (2.2) is a bijection, we deduce that for each given broken rim hook b each of the above statements can be reversed. For each rim hook \(h\in b\) starting at position i and ending at position j we must have that the 01substrings of \(\sigma (\mu ),\sigma (\lambda )\) in between these positions are identical. Hence, Rule 2 follows. Because we only consider partitions with \(\lambda _1\le n\ell \) and \(\ell (\lambda )\le \ell \) one obtains Rule 1: either there is a rim hook starting (ending) in the first (last) column, or there is not. Similarly, Rule 3 is obtained by considering columns in \(\lambda \) which do not intersect \(\lambda /\mu \), with the last case (no vertices of type \(\omega _5\) or \(\omega _6\)) corresponding to \(\lambda =\mu \), the empty skew diagram.
For the Doperator the argument is similar, but now the bijection between a row configuration and a skew diagram \(\mu /\lambda \) which is a broken rim hook is different. Namely, given a row configuration where the values of the top vertical edges are fixed by \(\sigma (\mu )\) and the ones on the bottom by \( \sigma (\lambda )\), remove a square from the Young diagram Y of \(\mu \) for each unoccupied horizontal lattice edge (value 0) between two 1letters starting at the bottom. For instance, suppose there are k unoccupied horizontal lattice edges between the leftmost lattice site and the first 1letter position in \(\sigma (\mu )\), then we would remove k squares from the bottom row of Y. If there are \(k^{\prime }\) unoccupied edges between the first and second 1letter position in \(\sigma (\mu )\), then we remove \(k^{\prime }\) squares from the second row from the the bottom, etc. We omit the further steps in proving the bijection as they are analogous to the ones used in the case of the Aoperator. \(\quad \square \)
Example 4.6
Consider the example shown in Fig. 5. For the Aoperator we infer from the skew tableau on the right that there are two rim hooks, so \( \#b=2\), and \(\bar{r}(b)=2\), \(\bar{c}(b)=1\). Moreover, since one rim hook consists just of a single square we have \(r(h_{1})=c(h_{1})=1\), while for the other rim hook we find \(r(h_{2})=c(h_{2})=2\). Hence the associated weight is \(\Omega (b)=\omega _{1}\omega _{2}\omega _{3}^{2}\omega _{4}(\omega _{5}\omega _{6})^{2}\) which matches the product over the vertex weights displayed in Fig. 5. For the Doperator configuration shown in Fig. 5 we also have \(\#b=2\), but now \(\bar{r}(b)=1\), \(\bar{c}(b)=2\). We obtain similarly as before that \( r(h_{1})=c(h_{1})=1\) and \(r(h_{2})=c(h_{2})=2\), whence \(\overline{\Omega }(b) =\omega _{1}\omega _{2}\omega _{3}\omega _{4}^{2}(\omega _{5}\omega _{6})^{2}\).
We now consider the offdiagonal elements of the monodromy matrix (4.9 ) of the asymmetric sixvertex model. As before we decompose \(B=\sum _{r\ge 0}B_{r}\) and \(C=\sum _{r\ge 0}C_{r}\) where the nonvanishing matrix elements of \(B_{r},C_{r}\) are all of degree r in the variables \(\omega _2,\omega _4,\omega _6\).
Proposition 4.7
Let \(\mu \in P_{\ell ,n}^+\). Then
where the first sum runs over all partitions \(\lambda \in P_{\ell +1,n}^{+}\) such that \(\lambda ^{+}/\mu \) is a broken rim hook b of length r with \( \lambda ^{+}=(\lambda _{1}+1,\ldots ,\lambda _{\ell +1}+1)\) and the second over all \(\lambda \in P_{\ell 1,n}^{+}\) such that \(\mu ^{+}/\lambda \) is a broken rim hook b of length \(n+1r\).
Note that the coefficients in (4.18) are still polynomial in the \(\omega _i\), \(i=1,\ldots ,6\) because each Bconfiguration contains at least one vertex with weight \(\omega _6\) and each Cconfiguration at least one vertex with weight \(\omega _5\). Thus, \(\Omega (b)\) and \(\overline{\Omega }(b)\) each contain at least one factor \(\omega _6\) and \(\omega _5\), respectively.
Proof
Note that for the Boperator we can use the previous bijection proved for the Aoperator by prepending a vertex configuration of weight \(\omega _6\); see Fig. 6. This results in a rim hook starting in the first column of \(\lambda ^+\) and increasing the number of 1letters by one. Because of adding this extra vertex we then need to divide the resulting weight \(\Omega (b)\) of the broken rim hook \(b=\lambda ^+/\mu \) by \(\omega _6\).
The argument for the Coperator is analogous: prepend a vertex of weight \(\omega _5\) to the lattice row configuration to obtain a row configuration of the Doperator and use the previous bijection from Proposition 4.5 to deduce the result. \(\quad \square \)
Example 4.8
See the top configuration in Fig. 6. For the Boperator we use the same bijection as in the case of the Aoperator to arrive at the broken rim hook b displayed on the right. One has \(\bar{c}(b)=1\), \(\bar{r} (b)=2\), \(\#b=2\) and \(r(h_{1,2})=2,2,c(h_{1,2})=2,3\). Hence, \(\Omega (b)/\omega _{6}=\omega _{1}\omega _{2}^{2}\omega _{3}^{2}\omega _{4}^{3}\omega _{5}(\omega _{5}\omega _{6})\).
The bottom configuration in Fig. 6 displayes a possible row configuration for the Coperator. We now use the previous bijection from the Doperator to verify the last proposition also in this case.
4.4 The infinite lattice and vertex operators
We now make contact with our previous discussion of Hecke characters and vertex operators. Namely, we will show that the halfvertex operator (3.3) is the transfer matrix of the asymmetric sixvertex model on the infinite lattice \(\Gamma =\mathbb {Z}\times \mathbb {Z}\) under the following choice of Boltzmann weights in Fig. 3:
N.B. these weights belong to the values \(\Delta =0\) and \(\Gamma =tx^2\) in (4.6). In order for the transfer matrix and partition function (4.1) to be finite, we need to impose special boundary conditions on the lattice. Consider a single (infinite) lattice row, which we identify with \(\mathbb {Z}\), and for two arbitrary but fixed Maya diagrams \(\sigma ,\sigma '\) restrict the model to those lattice row configurations \(\mathcal {C}=\mathcal {C}(\sigma ,\sigma ')\), where the value of the upper vertical edge (N) of each vertex \(\mathrm{v}_i\) is fixed by \(\sigma _i\) and the value of the lower vertical edge (S) by \(\sigma '_i\) with \(i\in \mathbb {Z}\). In line with the definition of Maya diagrams and Rule 1 in the proof of Proposition 4.5, we impose the boundary conditions that for \(i\ll 1\) only vertex configurations with weight \(\omega _3\) and for \(i\gg 1\) only vertices of weight \(\omega _1\) occur. Due to these boundary conditions, and because of the choice (4.19), we deduce that \(\Omega (\mathrm{v}_i)=1\) except for finitely many \(i\in \mathbb {Z}\).
Proposition 4.9
The matrix elements of the ‘halfvertex operator’ (3.3) are given by the sixvertex row partition function with Boltzmann weights (4.19),
Proof
This is a direct consequence of the bijection between sixvertex lattice configurations and broken rim hooks for finite lattices in Proposition 4.5, which extends in a straightforward manner to the infinite lattice due to the chosen boundary conditions for the configurations \(\mathcal {C}(\sigma ,\sigma ')\) with \(\sigma ,\sigma '\) being Maya diagrams. Under the choice (4.19) we then have that any broken rim hook \(b=\lambda (\sigma ')/\mu (\sigma )\) and the corresponding sixvertex lattice configuration \(\mathcal {C}(\mathcal {T})\) have equal weights, \(\Omega (b)=(t1){\text {wt}}(b)\). \(\quad \square \)
It is evident from (3.10) that we can express the inverse vertex operator \(A^{1}(x;t)\) through the following ‘local change’ of sixvertex Boltzmann weights:
Corollary 4.10
Making the choice
for the sixvertex Boltzmann weights in Fig. 3 we obtain
Proof
The proof is analogous to showing (4.20) by using (3.10). We therefore omit it.
\(\square \)
N.B. it follows from (4.19) and (4.20) that the expansion coefficients \(A_r(t)\) of the operator (3.3) are polynomial in t, i.e. \(A_r(t)\in {\text {End}}\mathcal {F}_c[t]\) with \(\mathcal {F}_c[t]=\mathcal {F}_c\otimes {\mathbb {C}}[t]\) and, thus, A(x; t) restricts to an operator \(\mathcal {F}_c[t]\rightarrow \Lambda [t]\) for any charge \(c\in \mathbb {Z}\). The same argument applies to the inverse \(A^{1}(x;t)\) using (4.21). While the polynomial dependence on t is not immediately obvious from the definitions (3.3) and (3.11), it immediately follows from (3.8) and (3.12); see our earlier Remark 3.7.
4.5 Quasiperiodic boundary conditions and cylindric rim hooks
Let q be an indeterminate, called the twist parameter, and define the operator
which is called the rowtorow transfer matrix with quasiperiodic boundary conditions and \(\tau _r\) are the components of degree r in the Boltzmann weights \(\omega _2,\omega _4,\omega _6\). Comparison with Fig. 3 shows that r is the number of horizontal edges having value 1 in the corresponding lattice row configuration \(\mathcal {C}\). In order to see that each matrix element of \(\tau _r\) corresponds to a single row partition function with quasiperiodic boundary conditions, note that if the left and right outer horizontal lattice edges in a row both have value 0, then we obtain a matrix element of the \(A_r\)operator and if they have instead value 1, then we obtain a matrix element of the \(D_r\)operator. The indeterminate q is introduced to keep track of the ‘winding number’ d around the cylinder. In particular, according to (4.15) we have:
Lemma 4.11
The partition function of a finite cylinder of circumference n and height \(\ell \) is given by
Proof
This is a special case of the identity (4.15), where we we fix the boundary conditions \(\alpha =\beta \) and then sum over all binary strings \(\alpha \). \(\quad \square \)
We now wish to extend our previous result (4.17) to the case of periodic boundary conditions with the aim of introducing cylindric analogues of Hecke characters.
First, we recall the notion of cylindric loops. The latter were introduced by Gessel and Krattenthaler [12] in the context of cylindric plane partitions. We adopt here the notation used in [30].
Fix two integers \(n\ge 2\) and \(0\le k\le n\). Given a partition \(\lambda \in P^+_{k,n}\), define for every \(r\in \mathbb { Z}\) a cylindric loop \(\lambda [r]\) as the following infinite integer sequence,
We interpret the latter as a map \(\mathbb {Z}\rightarrow \mathbb {Z}\) subject to the condition \(\lambda _{i+k}[r]=\lambda _i[r]n+k\). The cylindric loop can therefore be visualised as a path on the cylinder \(\mathbb {Z}\times \mathbb {Z}/(k,nk)\mathbb {Z}\); see Fig. 7.
A cylindric skew diagram is the set of squares in \(\mathbb {Z}\times \mathbb {Z}\) between two cylindric loops: suppose \(\lambda ,\mu \in P^+_{k,n}\) then we shall denote by \(\lambda /d/\mu \) the set of points between the two lines \(\lambda [d]\) and \(\mu [0]\) modulo integer shifts by the vector \((k,nk)\),
Note that for \(d=0\) we recover the familiar skewdiagram of two partitions, i.e. \(\lambda /0/\mu =\lambda /\mu \).
We extend the definition of the Boltzmann weight (4.16) to cylindric broken rim hooks \(b=\lambda /d/\mu \) as follows: let h be a cylindric rim hook, then set r(b) to be the number of rows with \(1\le i\le k\) of \(\lambda [d]\) which intersect h and let c(h) be the number of columns j in which there exists a square \(s=(i,j)\in h\) with \(1\le i\le k\). Similarly, we extend the definition of \(\bar{r}(b)\) to be the number of rows \(1\le i\le k\) of \(\lambda [d]\) which do not intersect b and \(\bar{c}(b)\) to be the number of columns j in which there is no square \(s=(i,j)\in b\) with \(1\le i\le k\). Set \(\#b\) to be the number of distinct cylindric rim hooks in b, where we call two cylindric rim hooks \(h,h'\) distinct if h cannot be obtained from \(h'\) by a shift in the direction \((k,nk)\). With these conventions in place define the Boltzmann weight of a cylindric broken rim hook \(b=\lambda /d/\mu \) as
where the product now runs over all distinct rim hooks \(h\in \lambda /d/\mu \).
Example 4.12
Set \(n=9\) and \(k=4\). Let \(\lambda =(4,3,2,1)\) and \(\mu =(5,5,2,2)\). The cylindric skew shape \(\lambda /1/\mu \) is shown in Fig. 7. There are two distinct rim hooks \(h,h'\) of length 2 and 3, respectively. We find that \(r(h)=1\), \(c(h)=2\), \(r(h')=c(h')=2\) and \(\bar{r}(b)=\bar{c}(b)=1\). Thus, we obtain \(\Omega (\lambda /d/\mu )=\omega _1\omega _3(\omega _5\omega _6)^2\omega _2\omega _4^2\). This cylindric broken rim hook corresponds to the Doperator configuration shown in the lower half of Fig. 5 and one verifies that the Boltzmann weights of the lattice configuration coincides with the weight of \(\lambda /d/\mu \).
In complete analogy with the noncylindric case we define a cylindric broken rim hook tableau to be a sequence \(\mathcal {T}=(\lambda ^{(0)},\lambda ^{(1)},\ldots ,\lambda ^{(\ell )})\) of cylindric loops such that each \(b_{i}=\lambda ^{(i)}/d_{i}/\lambda ^{(i1)}\) is a broken rim hook of length \(b_i<n\) and set \(\Omega (\mathcal {T})=\prod _{i=1}^\ell \Omega (\lambda ^{(i)}/d_i/\lambda ^{(i1)})\). We call \(\alpha =(\alpha _1,\ldots ,\alpha _\ell )\) with \(\alpha _i=\lambda ^{(i)}/d_{i}/\lambda ^{(i1)}<n\) the weight of \(\mathcal {T}\). For an example of a cylindric broken rim hook tableau see Fig. 8.
N.B. we have excluded the case of broken rim hooks of length greater or equal than n. First note that \(\tau _r=0\) for \(r>n\) by definition of the transfer matrix. Furthermore, \(\tau _nV_k=qD_nV_k=q\omega _2^k\omega _4^{nk}\cdot 1V_k\). Because the circumference of the cylinder is n, any rim hook of length n must be connected and, thus, is just a ribbon winding around the cylinder yielding a factor of \(q \omega _2^k\omega _4^{nk}\).
Corollary 4.13
Let \(0\le \alpha _i<n\) for \(i=1,\ldots ,\ell \). Then the matrix elements of the transfer matrix for periodic boundary conditions are given by
where the sum runs over all cylindric broken rim hook tableaux
of weight \(\alpha \) and degree \(d=d_1+\cdots +d_\ell \) with \(0\le d_i\le 1\).
Proof
Because \(\Omega (\mathcal {T})\) factorises into a product, it suffices to prove the assertion for \(\ell =1\). If \(d=0\) then we have the case of the Aoperator and our previous result from (4.17) applies. Thus, we only need to focus on the case when \(d=1\), the Doperator. Recall from (4.17) that without the cylindric shift \(D_rv_\mu \) is a linear combination of vectors \(v_\lambda \) such that \(\mu /\lambda \) is a broken rim hook of length \(nr\). We wish to show that this implies that \(\lambda /1/\mu \) is cylindric broken rim hook of length r. According to its definition the path \(\lambda [d]\) is obtained from \(\lambda [0]\) be adding an nribbon to the latter. This nribbon must contain the boxes of \(\mu /\lambda \) since the latter is a broken rim hook of length \(nr<n\). Thus, \(\lambda /1/\mu \) must also be a broken rim hook that contains those boxes of the added nribbon that are not in \(\mu /\lambda \) and, hence, is of length r. Furthermore, we have that \( \overline{\Omega }(\mu /\lambda )=\Omega (\lambda /d/\mu ) \), which follows from the relations \(\#(\mu /\lambda )=\#(\lambda /1/\mu )\) and
The latter are a direct consequence of the definition of the cylindric broken rim hook \(\lambda /1/\mu \) from \(\mu /\lambda \). The first one is obvious: since \(\lambda /1/\mu \) is the complement of the (connected) nribbon added to \(\lambda \) with respect to \(\mu /\lambda \), the cylindric broken rim hook must have as many connected components as \(\mu /\lambda \). To show the remaining two relations, observe that for each column (row) not intersecting \(\mu /\lambda \) there must be a corresponding square in a rim hook \(h\in \lambda /1/\mu \). But because \(\lambda [1]\) is obtained by adding a connected nribbon to \(\lambda \) for each such rim hook h there is one additional square in the column (row) to the right (below). \(\quad \square \)
4.6 Hecke characters and the free fermion point
So far we have kept the discussion completely general with respect to the possible choice of Boltzmann weights \(\omega \) in Figure (3) other than that \(\omega _1\) and \(\omega _3\) have inverses; see (4.6). In order to connect with the previous discussion of Hecke characters, we now make the following special choice for the Boltzmann weights \(\omega \):
Note that under the choice (4.27) the first quadric in (4.6) vanishes, \(\Delta =0\), while \(\Gamma =abx_i^2\). For the symmetric sixvertex model the case \(\Delta =0\) is usually referred to as the free fermion point in the physics literature.
Setting \(a=1\), \(b=t\) we recover (4.19), while setting \(a=t\) and \(b=1\) we obtain (4.21). Thus, by introducing the variables a, b in (4.27) we can treat both cases at once. We shall think of the \(x_i\), the ‘spectral parameters’, as commuting indeterminates with the label i being the lattice row in which the respective vertex weights occur, that is, we choose the Boltzmann weights \(\omega \) differently in each lattice row and denote the transfer matrix corresponding to the ith row by \(\tau (x_i)=\tau (x_i;a,b)\). Analogous to the previous discussion of vertex operators, we interpret \(\tau (x_i)=\sum _{r\ge 0}x_i^r\tau _r\) as ‘generating series’ in the formal variable \(x_i\) with the coefficients \(\tau _r\) being endomorphisms of the vector space \(\mathcal {V}={\mathbb {C}}[a,b]\otimes V^{\otimes n}\).
The next proposition shows, for the more general case of quasiperiodic boundary conditions, that under the choice (4.27) the asymmetric sixvertex transfer matrices factorises into two fivevertex transfer matrices of the socalled vicious and osculating walker models; see [22] and references therein.
Proposition 4.14
Let \(\tau ^{\prime }(x_{i})=\tau (x_i;0,1)\), \(\tau ^{\prime \prime }(x_i)=\tau (x_{i};1,0)\) denote respectively the transfer matrices of the vicious walker and osculating walker model at the free fermion point where we set \(a=0,b=1\) and \(a=1,b=0\) in (4.27). Then we have the factorisation
In particular, setting \(q=0\) we obtain that \(A(x;a,b)=A'(a x)A''(b x)\), which describes a case of open boundary conditions on the finite lattice with n sites.
Proof
Decompose \(V\otimes V\cong W\oplus W^{\perp }\) where \(W=\mathbb {C} w_{0}\oplus \mathbb {C}w_{1}\), \(W^{\perp }=\mathbb {C}w_{2}\oplus \mathbb {C} w_{3}\) and the isomorphism is given by \(v_{0}\otimes v_{0}\mapsto w_{0}\), \( v_{0}\otimes v_{1}+v_{1}\otimes v_{0}\mapsto w_{1}\), \(v_{0}\otimes v_{1}v_{1}\otimes v_{0}\mapsto w_{2}\) and \(v_{1}\otimes v_{1}\mapsto w_{3}\).
Let \(R^{\prime }=R^{\prime }(x_{i};a=0,b=1)\) be the vicious walker Rmatrix and \( R^{\prime \prime }=R^{\prime \prime }(x_{i};a=0,b=1)\) the osculating Rmatrix. Then one shows by a direct computation that the following block decomposition with respect to the above isomorphism \(V\otimes V\cong W\oplus W^{\perp }\) holds true,
The assertion now easily follows from the definition of the transfer matrices \(\tau ',\tau ''\) as partial traces of the monodromy matrices \(T',T''\) which consist of products of \(R',R''\)matrices. \(\quad \square \)
The transfer matrices of the vicious and osculating walker models are known to commute; see e.g. [22]. Therefore, it follows that any two sixvertex transfer matrices with different choices of (a, b) in (4.27) must commute as well. More generally, we can consider the YangBaxter algebras defined in terms of the monodromy matrices (4.9) for two such independent choices of (a, b) in (4.27). While the first quadric \(\Delta \) in (4.6) vanishes, the second quadric \(\Gamma \) in general differs for different values of a, b, violating the condition (4.7) of Proposition 4.2. Nevertheless, we have the following result (possibly known to experts, but which I was unable to find in the literature):
Proposition 4.15
The monodromy matrices of the sixvertex model with weights (4.27) satisfy the YangBaxter equation
where \(R(x_i,x_j)=R(x_i,x_j;a,a',b,b')\) is the asymmetric sixvertex Rmatrix with Boltzmann weights
Proof
It suffices to check this for a lattice with one site, as the monodromy matrix T consists of a product of Rmatrices. The computation is somewhat tedious and lengthy but straightforward and consists of checking individual matrix elements. We omit the computational details. \(\quad \square \)
Remark 4.16
Note that some of the Rmatrices in (4.104.29) can become singular for particular choices of \(a,a',b,b'\). Nevertheless, one can show using (4.28) that the corresponding transfer matrices commute, since the transfer matrices \(\tau '(u)\) and \(\tau ''(v)\) commute for any pair of formal variables u, v; see e.g. [22].
4.7 Bethe ansatz equations and quantum cohomology
The main purpose of this section is to describe the eigenvalues of the sixvertex transfer matrix with quasiperiodic boundary conditions and Boltzmann weights (4.27). First, we use the Bethe ansatz to obtain an algebraic description of the eigenvalues as symmetric functions in the socalled Bethe roots, solutions to a set of polynomial equations called the Bethe ansatz equations. In the second half of this section we then describe the transfer matrix as a multiplication operator in a particular quotient of the ring of symmetric functions that we show to be a twoparameter extension of the small quantum cohomology ring of the Grassmannian.
Consider the decomposition \(\mathcal {V}=\bigoplus _{k=0}^n\mathcal {V}_k\) with \(\mathcal {V}_k\cong {\mathbb {C}}[a,b]\otimes V_k\).
Proposition 4.17
For each \(k=0,1,\ldots ,n\) the restricted transfer matrix \(\tau (x;a,b)\mathcal {V}_k\) has eigenvalues
where \(\xi _1,\ldots ,\xi _k\) are k distinct solutions of the Bethe ansatz equations, i.e. satisfy
In particular, the Bethe ansatz is ‘complete’, that is all eigenvalues of the transfer matrix are obtained this way and the latter is diagonalisable.
Proof
The solution of the eigenvalue problem of the transfer matrix is a standard computation using the algebraic Bethe ansatz or the quantum inverse scattering method and has been carried out for the fivevertex transfer matrices \(\tau '\), \(\tau ''\) in [22]. It then follows at once from (4.28) that the common eigenbasis constructed previously for \(\tau '\), \(\tau ''\) is also an eigenbasis of \(\tau \). We therefore describe only briefly the various steps involved.
One makes the ansatz that the eigenvectors of the transfer matrix \(\tau =A+qD\) are of the form \(y\rangle =B(y_1)B(y_2)\cdots B(y_k)v_0\) with the socalled ‘pseudovacuum’ vector \(v_0\) spanning \(V_0\cong {\mathbb {C}}\). Using the YangBaxter algebra relations (4.104.29) one commutes the transfer matrix \(\tau =A+qD\) past the Boperators and, noting that \(\tau v_0=(1+q\omega _4^n)v_0\), one derives necessary conditions on the \(y_i\) for \(y\rangle \) to be an eigenvector. This computation yields the equations (4.33). For the 5vertex models \(\tau '\), \(\tau ''\) the eigenvectors have been shown [22] to be of the following explicit form,
where the sum runs over all partitions \(\lambda \in P^+_{k,n}\), \(s_\lambda \) is the Schur polynomial in k variables and \(\xi =(\xi _1,\ldots ,\xi _k)\) are k solutions to (4.33) with the \(\xi _j\) being mutually distinct.
From the same computation one also infers the form (4.32) of the eigenvalues as the action of \(\tau \) on \(v_0\) can be easily computed. Finally, one verifies that the solutions to (4.33) give rise to \(\left( {\begin{array}{c}n\\ k\end{array}}\right) =\dim V_k\) distinct eigenvectors, because the Boperators mutually commute, whence the Bethe ansatz is ‘complete’. \(\quad \square \)
Note that neither the eigenvectors (4.34) nor the Bethe ansatz equations (4.33) depend on x or a, b. Since the matrix entries of each \(\tau _r\) are elements in \(\mathbb {Z}[a,b]\) for \(r=1,\ldots ,n\), it follows that their eigenvalues are elements in \(\mathbb {Z}[a,b]\) as well. The latter are obtained via a series expansion of (4.32) with respect to x, which must terminate after \(n+1\) terms as each matrix entry \(\tau (x;a,b)\) is at most of degree n in x.
Lemma 4.18
Suppose that \(q^{\pm 1/n}\) exist and that under complex conjugation \(\overline{q^{1/n}}=q^{\frac{1}{n}}\). Then the solutions of the Bethe ansatz equations (4.33) for fixed n and k are given by the following discrete set in \({\mathbb {C}}[q^{\pm 1/n}]^k\),
For a proof see e.g. [24, Prop 10.4]. Note that we need both roots, \(q^{\pm 1/n}\), as the eigenvalues of the transfer matrix will depend on \(\xi _j\) and the eigenvectors (4.34) depend on \(\xi _j^{1}\).
Since the Boperators mutually commute, the coefficients of the eigenvectors (4.34) are symmetric polynomials in the Bethe roots \(\xi ^{1}_j\) and the eigenvalues of the transfer matrix symmetric polynomials in the \(\xi _j\). Therefore, we are interested in describing the properties of symmetric polynomials when the latter are evaluated at solutions of (4.33).
Introduce the symmetric polynomial \(\Delta (y)=\prod _{1\le i,j\le k, i\ne j}(y_iy_j)\) and consider the localisation of \(\Lambda _k[q^{\pm \frac{1}{n}}]={\mathbb {C}}[q^{\pm \frac{1}{n}}][y_1,\ldots ,y_k]^{S_k}\) at \(\Delta \), which we shall denote by \(\Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1}]\). The latter is needed to capture the property that the Bethe roots \(\xi _j\) of (4.33) are mutually distinct.
Lemma 4.19
Let \(\mathcal {I}_{k,n}=\mathcal {I}(\Xi _{k,n})\) be the vanishing ideal of \(\Xi _{k,n}\) in \(\Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1}]\) and denote by \(h_r\) the complete symmetric polynomials in the \(y_i\). Then
and, vice versa, the set of zeroes of the ideal \(\langle h_{n+1k},\ldots ,h_{n1},h_n+(1)^kq\rangle \) is given by \(\Xi _{k,n}\).
Proof
One first shows that \(\mathcal {I}_{k,n}\) is radical and then uses Hilbert’s Nullstellensatz. The proof follows the same lines as [24, Proof of Theorem 6.20] and we therefore omit the details. \(\quad \square \)
The coordinate ring \(R_{k,n}=\Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1}]/\mathcal {I}_{k,n}\) is known to be isomorphic to \(qH^*({\text {Gr}}_{k}({\mathbb {C}}^n);\mathbb {Z})\otimes _\mathbb {Z}{\mathbb {C}}[q^{\pm \frac{1}{n}}]\), where
is the small quantum cohomology ring of the Grassmannian \({\text {Gr}}_k({\mathbb {C}}^n)\) and the \(e_i\) are the elementary symmetric polynomials in the variables \(y=(y_1,\ldots ,y_k)\).
Remark 4.20
The presentation (4.37) of the small quantum cohomology ring \(qH^*({\text {Gr}}_k({\mathbb {C}}^n);\mathbb {Z})\) is due to Siebert and Tian [34]. Geometrically, the polynomials \(e_i\) and \(h_i\) can be identified with the Chern classes of the tautological and the quotient bundle, respectively. The corresponding Chern polynomials are the eigenvalues of the transfer matrices \(\tau ',\tau ''\) in (4.28); see [22]. The Schur polynomials, which can be expressed as the determinants \(\{s_\lambda =\det (h_{\lambda _ii+j})_{1\le i,j\le k}~~\lambda _1\le nk\}\), then represent the Schubert classes, which form a basis of the ring. Changing the base to \({\mathbb {C}}[q^{\pm \frac{1}{n}}]\) yields a semisimple ring; see e.g. [5, 34] and [1, Prop 6.5]. In the latter works the Bethe roots are the Chern roots, which can be identified with the critical points of a LandauGinzburg potential when representing \(qH^*({\text {Gr}}_k({\mathbb {C}}^n);\mathbb {Z})\) as a Jacobialgebra.
Denote by \({\text {Func}}(P^+_{k,n},{\mathbb {C}}[q^{\pm \frac{1}{n}}])\) the set of functions \(f:P^+_{k,n}\rightarrow {\mathbb {C}}[q^{\pm \frac{1}{n}}]\) endowed with the operations of pointwise addition and multiplication.
Proposition 4.21
There exists a ring isomorphism \({\text {ev}}:R_{k,n}\rightarrow {\text {Func}}(P^+_{k,n},{\mathbb {C}}[q^{\pm \frac{1}{n}}])\) which assigns to each symmetric polynomial F(y) the function \(f(\lambda )=F(\xi _\lambda )\), where \(\xi _\lambda \) is the solution (4.35) fixed by \(\lambda \in P^+_{k,n}\).
Proof
We verify the isomorphism \({\text {ev}}\) by identifying the idempotents in both rings. For each \(\lambda \in P^+_{k,n}\) introduce the polynomials
Because of the identity (see e.g. [24])
the \(F_\lambda \) map under \({\text {ev}}\) to the functions \(\delta _\lambda :P^+_{k,n}\rightarrow {\mathbb {C}}[q^{\pm \frac{1}{n}}]\) defined by \(\delta _{\lambda }(\mu )=\delta _{\lambda \mu }\). The latter are obviously the idempotents of \({\text {Func}}(P^+_{k,n},{\mathbb {C}}[q^{\pm \frac{1}{n}}])\).
In order to see that the \(F_\lambda \) are the idempotents of \(R_{k,n}\), note that
Inserting the Bertram–Vafa–Intriligator formula^{Footnote 5} [4, 16, 36] for the Gromov–Witten invariants \(q^dC_{\alpha \beta }^{\gamma ,d}\),
and performing the summation over \(\alpha ,\beta \) we obtain
\(\square \)
This concludes the analysis of the solutions of the Bethe ansatz equations (4.33). We now turn to the description of the eigenvalues (4.32) of the sixvertex transfer matrix with Boltzmann weights (4.27) and quasiperiodic boundary conditions using (4.28). In light of the expression (4.32) we consider the generating function
in the formal variable x, which implicitly defines the symmetric polynomials \(h_r(y;a,b)\in \Lambda _k\otimes {\mathbb {C}}[a,b]\). The latter contain the elementary \(e_r(y)=h_r(y;1,0)\) and the complete symmetric polynomials \(h_r(y)=h_r(y;0,1)\) as special cases.
Lemma 4.22
The Bethe ansatz equations (4.33) imply the identities
Conversely, if the above identities hold and the inverse of the element
exists, then each of the variables \(y=(y_1,\ldots ,y_k)\) must satisfy (4.33).
Proof
Assume that \(\xi =(\xi _1,\ldots ,\xi _k)\) is a solution of (4.33). Then it follows that (4.32) is an eigenvalue of the transfer matrix \(\tau (x;a,b)\). The matrix elements of the latter are polynomial in x and at most of degree n and therefore it follows that (4.32) must be polynomial in x as well. N.B. the Bethe eigenvectors (4.34) of the transfer matrix do not depend on x. Hence, the series expansion of (4.32) at \(x=0\) must terminate after n terms giving the second relation in (4.41). Noting further that
with the omitted terms having coefficients of degree strictly less than n in x, one arrives at the first relation in (4.41).
To show that (4.41) implies (4.33), first note that the former relations imply that (4.32) is polynomial in x, as just discussed. Hence, the residues of (4.32) at \(x=(b y_i)^{1}\) for each \(i=1,\ldots ,k\) must vanish,
This gives (4.33), provided that \(a y_i+b y_j\ne 0\) for all \(i,j=1,\ldots ,k\). \(\quad \square \)
Define symmetric polynomials \(f_i\in \Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1}]\otimes {\mathbb {C}}[a,b]=\Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1},a,b]\) with \(i=0,1,\ldots ,k1\) via
and set \(\mathcal {J}_{k,n}=\langle f_0,f_1,\ldots ,f_{k1}\rangle \).
Lemma 4.23
We have the following equality of localised ideals,
and, thus, there is a ring isomorphism
where the right hand side is the localisation of the coordinate ring \(R_{k,n}\otimes {\mathbb {C}}[a,b]\) introduced earlier at the element (4.42).
Proof
We first show that \(\mathcal {J}_{k,n}[\Delta ^{1}_{a,b}]\subset (\mathcal {I}_{k,n}\otimes {\mathbb {C}}[a,b])[\Delta ^{1}_{a,b}]\). Recall that setting the polynomials in (4.36) to be identically zero is equivalent to the following identity^{Footnote 6} in the dummy variable x,
To see this, note that the first bracket containing the \(e_i\) equals the product \(\prod _{i=1}^k(1xy_i)\). Dividing by the latter in (4.45) we obtain
Comparing coefficients of \(x^j\) with \(j=nk+1,\ldots ,n\) then yields the relations of the ideal (4.36). Note that we have k independent variables, so the remaining relations for other values of j must be algebraically dependent.
Inserting the identity (4.45) with \(x\rightarrow b x\) in (4.32) we arrive at
which is obviously polynomial of maximal degree n in x with leading coefficient \(a^kb^{nk}e_kh_{nk}=qa^kb^{nk}\). Because the generating relations (4.41) of \(\mathcal {J}_{k,n}[\Delta ^{1}_{a,b}]\) are equivalent to showing that (4.32) is polynomial of degree n in x with leading coefficient \(qa^kb^{nk}\), see Lemma 4.22, we have shown that \(\mathcal {J}_{k,n}[\Delta ^{1}_{a,b}]\subset (\mathcal {I}_{k,n}\otimes {\mathbb {C}}[a,b])[\Delta ^{1}_{a,b}]\).
We now show the converse, i.e. that \((\mathcal {I}_{k,n}\otimes {\mathbb {C}}[a,b])[\Delta ^{1}_{a,b}]\subset \mathcal {J}_{k,n}[\Delta ^{1}_{a,b}]\). Consider the generating function identity
where \(s_{(ij)}=s_{(i+1,1^j)}=h_{i+1}e_jh_{i+2}e_{j1}+\ldots +(1)^jh_{i+j+1}\) is the hook Schur function. Then
The coefficient of \(a^jb^i\) in the expansion (4.46) is \( s_{(i1j)}+s_{(ij1)}=h_ie_j\;. \) Thus, for \(i+j=n\) we obtain from \(h_n(a,b)+q(1)^kb^nqa^kb^{nk}\) that \(h_{nj}e_j\) with \(j=1,\ldots ,k1\) lies in the ideal \(\mathcal {J}_{k,n}\). For \(j=k\) we obtain the additional relation \(h_{nk}e_kq=0\) in (4.45), while for \(i=n,j=0\) one arrives at \(h_{n}+q(1)^k=0\).
We now show the ring isomorphism. Let \(S={\mathbb {C}}[a,b]\). Because the sequence
is exact, we also have that \( 0\rightarrow \mathcal {I}_{k,n}\otimes S\rightarrow \Lambda _k[q^{\pm \frac{1}{n}},\Delta ^{1}]\otimes S\rightarrow R_{k,n}\otimes S\rightarrow 0 \) is exact and after localising at the element \(\Delta _{a,b}\) the assertion follows. \(\quad \square \)
In summary, Lemma 4.23 allows us to identify the eigenvalue problem of the sixvertex transfer matrix with Boltzmann weights (4.27) with multiplication in the quotient ring (4.44).
4.8 A fermionic version of the rim hook algorithm
Having established a correspondence between the coordinate ring describing the solutions of the Bethe ansatz equations (4.33) and the small quantum cohomology of the Grassmannians, we can apply the following result, known as ‘rim hook algorithm’ [3].
Recall that for n fixed the ncore \(\dot{\lambda }\) of a partition \(\lambda \) is obtained by deleting a maximal number of (connected) nrim hooks from its Young diagram; see e.g. [28, Ch.I.1]. The resulting ncore is unique. In particular, it does not depend on the choice of nrim hooks removed. The nweight \(d(\lambda )\) of \(\lambda \) is the maximal number of nrim hooks which can be removed.
Lemma 4.24
(Bertram, CiocanFontanine, Fulton). Let \(\lambda \) be a partition and denote by \(\dot{\lambda }\) its ncore. The following describes the projection \(\pi _{k,n}:\Lambda \twoheadrightarrow qH^*({\text {Gr}}_k({\mathbb {C}}^n);\mathbb {Z})\) with respect to the basis of Schur functions,
where \({\text {sgn}}(\lambda )=(1)^{\sum _{i=1}^d(r(h_i)1)}\) and the sum in the exponent runs over all nrim hooks \(h_i\) which have been removed to obtain \(\dot{\lambda }\).
For the proof of the above lemma we refer the reader to [3]. We now state the fermionic analogue of Lemma 4.24 in terms of Maya diagrams by exploiting the bosonfermion correspondence.
The process of finding the ncore \(\dot{\lambda }\) of \(\lambda \) in (4.47) can be nicely described in terms of the Maya diagram \(\sigma (\lambda ,c)\) (where \(c\in \mathbb {Z}\) is arbitrary) as follows [17]: form an abacus with n infinite vertical runners (oriented south to north) where we place a bead on the ith runner at height \(h\in \mathbb {Z}\) if \(\sigma _{j}=1\) for \(j=i+hn\) with \(i=0,1,\ldots ,n1\). For \(h\ll 0\) the runners will be filled with beads without any gaps due to the definition of the Maya diagram. The ncore is now obtained by moving on each runner the beads downwards as far as they can go. The resulting Maya diagram \(\dot{\sigma }\) of charge c corresponds uniquely to a partition \(\dot{\lambda }\) under the bijection (2.2), which is the ncore of \(\lambda \).
There is one more ingredient we need from the abacus configuration associated with \(\lambda \): starting from the lowest row of the abacus in which there exists a gap, number the beads consecutively from left to right and then move up to the next row. Following [17, Section 2.7] we call this a natural numbering of the beads. Keeping the numbering unchanged move the individual beads downwards as far as they go to obtain the ncore \(\dot{\lambda }\). The resulting numbering of the beads for \(\dot{\lambda }\) will in general differ from the natural numbering for \(\dot{\lambda }\). Let \(w_\lambda \) be the permutation which sends the natural numbering of \(\dot{\lambda }\) to the numbering obtained from \(\lambda \) as described above.
Lemma 4.25
We have the following equality of sign factors, \({\text {sgn}}(w_\lambda )={\text {sgn}}(\lambda )\), where the factor on the right hand side has been defined in Lemma 4.24.
Proof
The proof is a straightforward computation using the bijection (2.2). \(\quad \square \)
Let \(\bigwedge {\mathbb {C}}^n\) denote the exterior or Grassmann algebra and \(\{\epsilon _i\}_{i=1}^n\) the standard basis of \({\mathbb {C}}^n\). Being a graded algebra \(\bigwedge {\mathbb {C}}^n\) has the decomposition \(\bigwedge {\mathbb {C}}^n=\bigoplus _{k=0}^n\bigwedge ^k{\mathbb {C}}^n\), where we denote as usual by \(\bigwedge ^k{\mathbb {C}}^n\) the subspace of degree k spanned by vectors of the form \(w=\epsilon _{i_1}\wedge \cdots \wedge \epsilon _{i_k}\) and set \(\bigwedge ^0{\mathbb {C}}^n={\mathbb {C}}\). It will be convenient to label the basis vectors
in terms of binary strings of length n (finite Maya diagrams), i.e. maps \(\sigma :\{1,\ldots ,n\}\rightarrow \{0,1\}\) with \(\sigma _i=1\) if \(i=i_j\) for some \(j=1,\ldots ,k\) and \(\sigma _i=0\) otherwise. While we have used here the same symbol as in (2.2) it will be clear from the context when \(\sigma \) describes a finite or an infinite binary string.
Denote by \(P_n^+\subset P^+\) the set of ncores \(\lambda \) which obey \(\lambda _1+\lambda '_1=n\) and by \(P^+_{k,n}\subset P^+\) the subset for which \(\ell (\lambda )=\lambda '_1=k\).
Lemma 4.26
The set \(P_n^+=\bigsqcup _{0\le k\le n}P^+_{k,n}\) is in bijection with the set of binary strings \(\sigma =(\sigma _1,\ldots ,\sigma _n)\) of length n and, hence, with the basis vectors (4.48) of the Grassmann algebra \(\bigwedge {\mathbb {C}}^n\). In particular, the elements of \(P^+_{k,n}\) are mapped to the basis vectors (4.48) in \(\bigwedge ^k{\mathbb {C}}^n\) under this bijection.
Proof
Recall the map (2.2), \(\lambda \mapsto \sigma (\lambda ,k)\) with \(c=k\) and then restrict the resulting Maya diagram to the set \(\{1,\ldots ,n\}\). That is, \(i_j=k+1+\lambda _jj\) for \(j=1,\ldots ,\ell (\lambda )=k\) in (4.48).
Recall that any binary string \(\sigma =(\sigma _1,\ldots ,\sigma _n)\) of length n can be associated with a basis vector \(v_\lambda =v_{\sigma _{1}}\otimes \cdots \otimes v_{\sigma _{n}}\in V^{\otimes n}\) with \(\lambda (\sigma )=\dot{\lambda }\) being the ncore fixed by \(\sigma \). According to Lemma 4.26 we can think of \(\lambda (\sigma )\) as labelling a basis element (4.48) in the exterior algebra \(\bigwedge {\mathbb {C}}^n\), where the length \(\ell (\lambda )=k\) of the ncore fixes the degree of the basis element. In what follows we identify \(V^{\otimes n}\cong \bigwedge {\mathbb {C}}^n\) as vector spaces by mapping
where \(1\le i_1<\ldots <i_k\le n\) are the positions of 1letters in \(\sigma \). By abuse of notation we shall denote both basis vectors with \(v_\lambda \) where \(\lambda =\lambda (\sigma )\) is the ncore fixed by the finite binary string \(\sigma \). In particular, we have that \(V_k\rightarrow \bigwedge ^k{\mathbb {C}}^n\) under this isomorphism.
Define for charge \(c=k\) with \(0\le k\le n\) the following fermionic version of the projection map \(\pi '_{k,n}:\bigwedge ^{\frac{\infty }{2},k}V\twoheadrightarrow \bigoplus _{d\ge 0}q^d\otimes \bigwedge ^k{\mathbb {C}}^n\) via
where, as before in Lemma 4.24, \(d(\lambda )\) is the nweight of \(\lambda \) and the \(h_i\) are the nrim hooks removed from \(\lambda \) to obtain the ncore \(\dot{\lambda }\).
Lemma 4.27
Let \(\pi _{k,n}:\Lambda \twoheadrightarrow qH^*({\text {Gr}}_{k}({\mathbb {C}}^n))\) be the projection from the rim hook algorithm. Then the following diagram commutes:
where \(\varphi \) is the Satake correspondence, \(\varphi :q^d\otimes v_\lambda \mapsto q^d s_\lambda \).
Proof
It suffices to verify this for the bases of Maya diagrams and Schur functions in \(\bigwedge ^{\frac{\infty }{2},k}V\) and \(\Lambda \), respectively. Recall that \(\imath (\sigma (\lambda ,k))=s_\lambda \) under the bosonfermion correspondence. Moreover, define \(\varphi :\bigoplus \limits _{d\ge 0}q^d\otimes \bigwedge ^k{\mathbb {C}}^n\rightarrow qH^*({\text {Gr}}_k({\mathbb {C}}^n))\) as stated above by \(q^d\otimes v_\lambda \mapsto q^d s_\lambda \), where \(v_\lambda =\epsilon _{i_1}\wedge \cdots \wedge \epsilon _{i_k}\) as defined after (4.49), \(s_\lambda =\det (h_{\lambda _ii+j})_{1\le i,j\le k}\) and \(\lambda \in P^+_{k,n}\). The latter map is the simplest example of the Satake isomorphism extended to \(qH^*({\text {Gr}}_{k}({\mathbb {C}}^n))\); see e.g. [13]. The assertion now follows from the definition of the projection map \(\pi '_{k,n}\). \(\quad \square \)
5 Cylindric Hecke Characters
In this section we introduce the cylindric Hecke characters of Theorem 1.1. In light of the identities (3.9), (3.13) and (4.20), (4.22) we define the latter as matrix elements of a ‘renormalised’ sixvertex transfer matrix with quasiperiodic boundary conditions, where the normalisation factor is fixed by the projection (4.50) resulting from the rim hook algorithm of Lemma 4.24.
5.1 Rim hook projection of the transfer matrix
Define the following infinite family of operators \(\{H_r(a,b)\mathcal {V}_k\}_{r\in \mathbb {Z}_{\ge 0}}\) on each \(\mathcal {V}_k\cong \bigwedge ^k{\mathbb {C}}^n\otimes {\mathbb {C}}[a,b]\) with \(k=0,1,\ldots ,n\) by setting
For \(\mathcal {V}\cong \bigwedge {\mathbb {C}}^n\otimes {\mathbb {C}}[a,b]\) denote by \(H_r(a,b)\in {\text {End}}\mathcal {V}\) the operator that blockdecomposes into the \(H_r(a,b)\mathcal {V}_k\) for \(k=0,1,\ldots ,n\). In terms of formal power series in the spectral variable x the relationship between the sixvertex transfer matrix and the operators \(H_r(a,b)\mathcal {V}_k\) is compactly written as
where \((1+(1)^kqb^nx^n)^{1}=\sum _{r\ge 0}x^{rn}((1)^{k1})qb^n)^r\). Thus, we have in particular that
As an immediate consequence of the Bethe ansatz for the sixvertex transfer matrix we then obtain the following:
Corollary 5.1
The operators \(H_r(a,b)\) all commute with each other and \(H_r(a,b)\mathcal {V}_k\) has eigenvalues \(h_r(\xi ;a,b)\) where \(\xi \) is a solution of the Bethe ansatz equation (4.33). Moreover,
Our motivation to introduce (5.1) is the following result, which states that this ‘renormalised’ sixvertex transfer matrix is the projection of the halfvertex operators (3.3) and (3.11) under the rim hook algorithm.
Lemma 5.2
Let \((\pi '_{k,n}\otimes 1):\bigwedge ^{\frac{\infty }{2},k}V\otimes {\mathbb {C}}[t]\twoheadrightarrow \bigwedge ^k{\mathbb {C}}^n\otimes {\mathbb {C}}[t]\) be the projection induced by the rim hook algorithm via (4.51) when evaluating either at \(a=1,b=t\) or at \(a=t,b=1\). Then in the former case we have
and in the latter case
where A(x; t) and \(A^{1}(x;t)\) are the halfvertex operators (3.3) and (3.11), respectively.
Proof
Set \(a=1\) and \(b=t\). Employing the bosonfermion correspondence the action of \(A_r\) corresponds to multiplying with \(h_r[(t1)y]\) in \(\Lambda [t]=\Lambda \otimes {\mathbb {C}}[t]\), while under the Satake correspondence \(H_r(1,t)\) corresponds to multiplying with \(h_r[(t1)y]\) in \(qH^*({\text {Gr}}_k({\mathbb {C}}^n))\otimes {\mathbb {C}}[t]\). The assertion then follows from the commutativity of the diagram (4.51) . The proof of the second relation is analogous. \(\quad \square \)
5.2 A cylindric Murnaghan–Nakayama rule
Let \(\lambda ,\mu \in P^+_{k,n}\) and \(\nu \in P^+\). Then we define cylindric skew Hecke characters \(\chi _{t}^{\lambda /d/\mu }\) via the following matrix elements
where \(H_r=H_r(t,1)\) are the operators defined in (5.1) with \(a=t\), \(b=1\) and \(d\in \mathbb {Z}_{\ge 0}\) (otherwise the matrix element vanishes). Note that we have used the conjugate partitions \(\lambda ',\mu '\in P^+_{nk,n}\) in the definition (5.4), the reason for this will become apparent below when relating the cylindric characters to cylindric Schur functions; see Corollary 5.12. The definition (5.4) should be seen as a generalisation of the identity (3.13). Setting \(\mu =\varnothing \) we obtain the cylindric nonskew Hecke characters from Theorem 1.1, \(\chi _t^{\lambda [d]}=\chi _t^{\lambda /d/\varnothing }\), which only depend on the cylindric loop \(\lambda [d]\). These loops naturally occur in connection with the shifted level n action of the extended affine symmetric group \(\hat{S}_k\) on the weight lattice; see e.g. [23].
Lemma 5.3
(cylindric MurnaghanNakayama rule). The cylindric Hecke characters (5.4) satisfy the following relations

(i)
\(\chi _{t}^{\lambda /d/\mu }(\nu _1,\ldots ,\nu _i+n,\ldots ,\nu _\ell )= (1)^{k1}\;\chi _{t}^{\lambda /d1/\mu }(\nu ),\quad i=1,\ldots ,\ell \)

(ii)
\({\chi _{t}^{\lambda /d/\mu }(\nu ,m)= \left\{ \begin{array}{ll} \sum \limits _{\rho \in P^+_{k,n}}\chi _{t}^{\lambda /d/\rho }(\nu )\chi _{t}^{\rho /\mu }(m)+ \sum \limits _{\rho \in P^+_{k,n}}\chi _{t}^{\lambda /d1/\rho }(\nu )\chi _{t}^{\rho /1/\mu }(m),&{} 0<m< n\\ (1)^k\frac{t^{nk}1}{t1}\,\chi _{t}^{\lambda /d1/\mu }(\nu ),&{} m=n \end{array} \right. ,}\)
where
is the noncylindric Hecke character and
is the cylindric part. The latter vanishes unless \(\mu +m\rho =n\). The two properties (i) and (ii) suffice to compute cylindric Hecke characters recursively.
Proof
The first property follows directly from the definition of the cylindric Hecke characters and (5.1), \( \langle \lambda 'H_{\nu _1}\cdots H_{\nu _i+n}\cdots H_{\nu _\ell }\mu '\rangle = (1)^{k1}q\langle \lambda 'H_{\nu _1}\cdots H_{\nu _i}\cdots H_{\nu _\ell }\mu '\rangle \). To prove the second property we first observe that \( \langle \lambda 'H_{\nu }H_r\mu '\rangle =\sum _{\rho \in P^+_{k,n}}\langle \lambda 'H_{\nu }\rho '\rangle \langle \rho ' H_{r}\mu '\rangle \). Because of the first property we may assume that \(0<r\le n\). But then \(H_r=\tau _r\) for \(r<n\) and \(H_n=(1)^{k}q(t^{nk}1)\) according to its definition (5.1). \(\quad \square \)
Note that for \(d=0\) property (i) is void and the second sum in property (ii) becomes zero, thus yielding the known recurrence relation for (noncylindric) skew Hecke characters \(\chi _t^{\lambda /\mu }\) [31].
Remark 5.4
While we have been working over \({\mathbb {C}}(t)\) we point out that the symmetric group characters can be recovered in the limit \(t\rightarrow 1\) by noting the identities [37, Lem 4.8]
where \(z_\lambda =\prod _{i>0}m_i(\lambda )!i^{m_i(\lambda )}\). Denote by \(\chi ^{\lambda /d/\mu }(\nu )=\lim _{t\rightarrow 1}\chi ^{\lambda /d/\mu }(\nu )\) the cylindric version of a skew character for the symmetric group. The cylindric MurnaghanNakayama rule (ii) then simplifies to
where the first sum runs over all partitions \(\rho \in P^+_{k,n}\) such that \(\rho /\mu \) is an unbroken rim hook of length m and the second sum runs over all partitions such that \(\rho /1/\mu \) is an unbroken cylindric rim hook of length m. Thus, the combinatorics to compute the characters considerably simplifies when \(t\rightarrow 1\), while the coproduct expansion (1.1) remains valid; c.f. the discussion in [23]. However, the connection with the asymmetric sixvertex model is lost: only lattice configurations where each lattice row has at most one vertex with Boltzmann weight \(\omega _6\) (and thus also a vertex of weight \(\omega _5\) according to Rule 1) survive in this limit and, thus, only a small subset of sixvertex lattice configurations remains.
5.3 Bethe ansatz formula
As an alternative to the cylindric MurnaghanNakayama rule of Lemma 5.3 we obtain from the Bethe ansatz the following expression for cylindric Hecke characters in terms of the Bethe roots (4.35).
Lemma 5.5
We have the following alternative expression for cylindric Hecke characters,
where the sum runs over all solutions \(\xi \) of the Bethe ansatz equations (4.33) with k replaced by \(nk\). It follows that \(\chi _{t}^{\lambda /d/\mu }(\nu )=0\) unless \(\lambda +dn=\mu +\nu \).
Proof
A direct computation using the Bethe ansatz eigenbasis (4.34) of the operators \(H_r=H_r(t,1)\),
where the sums run over all the solutions \(\xi \) of (4.33). Here we have made use of the relation (4.38). To deduce the vanishing of the cylindric Hecke character for \(\lambda +dn\ne \mu +\nu \) we observe that the symmetric polynomials in (5.5) are all homogeneous of degree \(\nu \), \(\lambda \), \(\mu \), respectively. It then follows from the explicit dependence of the Bethe roots \(\xi \) on the twist parameter \(q^{\frac{1}{n}}\) given in (4.35), that the qdependence of the right hand side of (5.5) is given by an overall factor \(q^{\frac{\nu +\mu \lambda }{n}}\). Recall that \(\bar{q}^{\frac{1}{n}}=q^{\frac{1}{n}}\). To arrive at the assertion we note that \(d\in \mathbb {Z}_{\ge 0}\) on the left hand side of (5.5) according to the definition (5.4) and because the matrix elements of \(H(x;t,1)\) are formal power series in q. \(\quad \square \)
The expression (5.5) is stating that an alternative definition of the cylindric Hecke characters can be given via the (localised) quotient ring from Lemma 4.23 when specialising to \(a=t,b=1\) (and replacing k with \(nk\)).
Corollary 5.6
Recall the definition of the quotient ring \(R_{k,n}[t,1,\Delta _{t,1}^{1}]\) from Lemma 4.23. Then we have for any \(\mu \in P^+\) and \(\lambda ,\nu \in P^+_{k,n}\) the following multiplication formula in this ring (c.f. (2.26)),
where \(d n=\mu +\nu \lambda \).
Proof
Employing the ring isomorphism from Proposition 4.21 and Lemma 4.23 this is a direct consequence of the previous formula (5.5) and (2.26). \(\quad \square \)
Since the localised quotient ring is a tdeformation of the quantum cohomology ring, see Lemma 4.23, the following is now not a surprise.
Corollary 5.7
We have the following decomposition of skew cylindric Hecke characters into nonskew ones,
where \(C^{\lambda ,d}_{\mu \nu }\) are the 3point genus 0 Gromov–Witten invariants.
Proof
The proof employs once more the Bertram–Vafa–Intriligator formula (4.39). Inserting the latter in the right hand side of the asserted equality we find for any partition \(\rho \) that
where \(d'n=\rho \nu \) and we have again made use of (4.38) with k replaced by \(nk\). The asserted expansion then follows by recalling that \(C^{\lambda ',d}_{\mu '\nu '}=C^{\lambda ,d}_{\mu \nu }\) as the rings \(qH^*({\text {Gr}}_k({\mathbb {C}}^n))\) and \(qH^*({\text {Gr}}_{nk}({\mathbb {C}}^n))\) are canonically isomorphic. \(\quad \square \)
5.4 The coalgebra of cylindric Hecke characters
First we establish that the cylindric Hecke characters (5.4) are virtual characters, i.e. integer linear combinations of the irreducible characters in \(\mathcal {R}(t)\).
Proposition 5.8
(rim hook expansion for cylindric Hecke characters). We have the following expansion of cylindric skew Hecke characters into (noncylindric) skew Hecke characters,
where the sum runs over all partitions \(\nu \in P^+\) of nweight d with \(\dot{\nu }=\lambda \) and which satisfy in addition that \(\nu _1=\ell (\nu ')\le k\). The coefficient \(\varepsilon (\nu '/\lambda ')\in \{0,\pm 1\}\) is the same as the coefficient in (4.47) and (4.50).
Setting \(\mu =\varnothing \) in (5.8) we obtain the expansion of cylindric nonskew characters \(\chi _t^{\lambda [d]}=\chi _t^{\lambda /d/\varnothing }\) into irreducible Hecke characters \(\chi _t^{\nu }\).
Proof
Let \(\mu \in P^+_{k,n}\). Since \(\mu \) is an ncore, we have
Here we have used (5.3) to arrive at the second line, noting that \(H(x;t,1)=H(x;t,1)\). Comparing coefficients in both expansions after applying (4.50) in the last line yields the desired identity. \(\quad \square \)
Lemma 5.9
The cylindric (nonskew) Hecke characters \(\{\chi _{t}^{\lambda [d]}~~d\in \mathbb {Z}_{\ge 0},\;\lambda \in P^+_{k,n}\}\) are linearly independent.
Proof
According to (5.8) each pair \(\chi ^{\lambda [d]}_{t}=\chi ^{\lambda /d/\varnothing }_{t}\), \(\chi ^{\mu [d']}_{t}=\chi ^{\mu /d'/\varnothing }_{t}\) with \((\lambda ,d)\ne (\mu ,d')\) has linear expansions into mutually disjoint sets of irreducible Hecke characters.
\(\square \)
We have at last assembled all the ingredients to prove Theorem 1.1.
Proof of Theorem 1.1
Let \(\lambda \in P^+_{k,n}\) and \(d\ge 0\). Then according to (5.8) we have that \(\chi ^{\lambda [d]}_{t}=\chi _t^{\lambda /d/\varnothing }\in \mathcal {R}^m(t)\) with \(m=\lambda +dn\). Let \(m=m'+m''\) be any decomposition and \(\alpha \vdash m'\), \(\beta \vdash m''\) arbitrary but fixed. Then
where \(d'=(\mu +m'\lambda )/n\) and \(d''=(m''\mu )/n\) according to Lemma 5.5. Inserting the expansion (5.7) for the cylindric skew character \(\chi _t^{\lambda /d'/\mu }\) yields the desired expansion formula (1.1). \(\quad \square \)
5.5 Cylindric Schur functions
We complete this section by relating the cylindric Hecke characters to cylindric Schur functions and, thus, motivating the definition (5.4). Cylindric Schur functions have been considered by several authors previously in the literature; see e.g. [12, 26, 29, 30] and [23]. We recall their definition.
Let \(\lambda ,\mu \in P^+_{k,n}\) and \(d\ge 0\) such that \(\lambda /d/\mu \) is a welldefined cylindric skew diagram. A map \(\mathcal {T}:\lambda /d/\mu \rightarrow \mathbb {N}\) is called a cylindric tableau of shape \(\lambda /d/\mu \) if it satisfies \(\mathcal {T}(i,j)=\mathcal {T}(i+k,jn+k)\) and
Similar to the noncylindric case, we refer to the vector \(\theta (\mathcal {T})=(\theta _1,\theta _2,\ldots )\) with
as the weight of \(\mathcal {T}\). The cylindric skew Schur function \(s_{\lambda /d/\mu }\in \Lambda \) is then defined as the weighted sum over all cylindric tableaux of shape \(\lambda /d/\mu \),
The following result is due to McNamara [29].
Theorem 5.10
(McNamara). For any cylindric skew shape \(\lambda /d/\mu \) with \(\lambda ,\mu \in P^+_{k,n}\), \(d\ge 0\), one has the following expansion of cylindric skew Schur functions into skew Schur functions,
where the sum runs over all partitions \(\nu \) of nweight d and \(\dot{\nu }=\lambda \) and which satisfy in addition that \(\nu _1\le nk\). The coefficient \(\varepsilon (\nu '/\lambda ')\) is the same as in (5.8).
Consider the map \(\jmath _{k,n}:\bigwedge ^k{\mathbb {C}}^n(t)\otimes {\mathbb {C}}[\!\![q]\!\!]\rightarrow \Lambda (t)\otimes {\mathbb {C}}[\!\![q]\!\!]\) defined via
where the matrix element is a formal power series in q with coefficients in \({\mathbb {C}}(t)\).
Proposition 5.11
Let \(\lambda \in P^+_{k,n}\). Then we have the following identity in terms of formal power series in q,
where \(s_{\lambda /d/\varnothing }\) is the cylindric Schur function defined in (5.9)
Proof
Making use of the completeness of the Bethe ansatz we can work in the eigenbasis (4.34) of the operators \(H_r(a,b)\) with \(a=t,b=1\) and apply the Cauchy identity [28]
to arrive at
where \(S_{\mu '}\) is the unique operator with eigenvalues \(s_{\mu '}(\xi )\) and \(\xi \) is a solution to the Bethe ansatz equations (4.33). Thus, we can employ the rim hook algorithm (4.50) to compute the matrix element
where \(d=d(\mu ')\) is the nweight of \(\mu '\) and the \(h_i\) denote again the nrim hooks removed to obtain the ncore \(\dot{\mu }'\). As before we denote the sign factor resulting from the rim hook algorithm by \(\varepsilon (\mu '/\lambda ')\). Then
Noting that \((1)^{\mu }s_{\mu '}[(1t)X]=s_\mu [(t1)X]\), the assertion now follows from the expansion (5.10) of the cylindric Schur functions into Schur functions. \(\quad \square \)
Corollary 5.12
Let \(\lambda \in P^+_{k,n}\) and \(d\ge 0\). Then \({\text {ch}}_t(\chi ^{\lambda /d/\varnothing }_t)=s_{\lambda /d/\varnothing }\), where \({\text {ch}}_t\) is the quantum characteristic map (2.15).
Proof
Using the following expansion into monomial symmetric functions,
the result follows from (5.12) upon making the (plethystic) variable substitution \(X=Y/(t1)\). \(\quad \square \)
Since the quantum characteristic map \({\text {ch}}_t:\mathcal {R}(t)\rightarrow \Lambda (t)\) is a Hopf algebra isomorphism, it follows from the last corollary that the cylindric (nonskew) Schur functions \(s_{\lambda /d/\varnothing }\) span a subcoalgebra in \(\Lambda (t)\) whose structure constants are also the GomovWitten invariants; c.f. [23].
Notes
A precise definition will be given later in the text; see (3.3) and (4.20). For experts familiar with the algebraic Bethe ansatz, the operator in question is an infinite lattice version of the familiar Aoperator from the YangBaxter algebra, which plays the role of the transfer matrix under a particular choice of boundary conditions.
Namely, define a map \(\mathcal {H}_m\otimes \mathcal {H}_n\hookrightarrow \mathcal {H}_{m+n}\) by setting \(T_i\otimes 1\mapsto T_i\) for \(i=1,\ldots ,m1\) and \(1\otimes T_{i}\mapsto T_{i+m}\) for \(i=1,\ldots ,n1\).
The plethystic substitution \(X\rightarrow X/(t1)\) in terms of power sums is the unique ring isomorphism determined by \(p_r[Y]\rightarrow p_r[Y/(t1)]=p_{r}(y_1,y_2,\ldots )/(t^r1)\).
For a proper probability the values must lie in the interval [0, 1], but here we loosely borrow the term from statistical mechanics.
We use here the variant as stated in [33, Corollary 6.2].
References
Abrams, L.: The quantum Euler class and the quantum cohomology of the Grassmannians. Isr. J. Math. 117(1), 335–352 (2000)
Baxter, R.J.: Exactly Solved Models in Statistical Mechanics. Elsevier, Amsterdam (2016)
Bertram, A., CiocanFontanine, I., Fulton, W.: Quantum multiplication of Schur polynomials. J. Algebra 219(2), 728–746 (1999)
Bertram, A., CiocanFontanine, I., Kim, B.: Two proofs of a conjecture of Hori and Vafa. Duke Math. J. 126(1), 101–136 (2005)
Bertram, A., Daskalopoulos, G., Wentworth, R.: Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians. J. Am. Math. Soc. 9(2), 529–571 (1996)
Date, E., Jimbo, M., Kashiwara, M., Miwa, T.: Transformation groups for soliton equations: IV. A new hierarchy of soliton equations of KPtype. Physica D Nonlinear Phenomena 4(3), 343–365 (1982)
Miwa, T., Jimbo, M., Date, E.: Solitons: Differential Equations, Symmetries and Infinite Dimensional Algebras, vol. 135. Cambridge University Press, Cambridge (2000)
Fomin, S., Thibon, J.Y.: Inverting the Frobenius map. Algebra i Analiz 10(3), 183–192 (1998)
Fulton, W.: Young Tableaux: With Applications to Representation Theory and Geometry, vol. 35. Cambridge University Press, Cambridge (1997)
Geck, M., Rouquier, R.: Centers and simple modules for Iwahori–Hecke algebras. In: Finite Reductive Groups: Related Structures and Representations, pp. 251–272. Springer (1997)
Gepner, D.: Fusion rings and geometry. Commun. Math. Phys. 141(2), 381–411 (1991)
Gessel, I., Krattenthaler, C.: Cylindric partitions. Trans. Am. Math. Soc. 349(2), 429–479 (1997)
Golyshev, V., Manivel, L.: Quantum cohomology and the Satake isomorphism. arxiv preprint arXiv:1106.3120 (2011)
Gorbounov, V., Korff, C., Stroppel, C.: YangBaxter algebras as convolution algebras: the Grassmannian case. Russ. Math. Surv. (accepted for publication); arXiv:1802.09497
Haiman, M.: Combinatorics, symmetric functions, and Hilbert schemes. Curr. Dev. Math. 39–111, 2002 (2002)
Intriligator, K.: Fusion residues. Modern Phys. Lett. A 6(38), 3543–3556 (1991)
James, G., Kerber, A.: The Representation Theory of the Symmetric Group. Encyclopedia of Mathematics and its Applications, vol. 16. AddisonWesley Publishing Co., Reading, MA (1981)
Jimbo, M., Miwa, T.: Solitons and infinite dimensional Lie algebras. Publ. Res. Inst. Math. Sci. 19(3), 943–1001 (1983)
Jimbo, M., Miwa, T.: Algebraic Analysis of Solvable Lattice Models, vol. 85. American Mathematical Society, Providence (1994)
Jing, N.: Vertex operators and Hall–Littlewood symmetric functions. Adv. Math. 87(2), 226–248 (1991)
Kasteleyn, P.W.: Dimer statistics and phase transitions. J. Math. Phys. 4(2), 287–293 (1963)
Korff, C.: Quantum cohomology via vicious and osculating walkers. Lett. Math. Phys. 104(7), 771–810 (2014)
Korff, C., Palazzo, D.: Cylindric symmetric functions and positivity. arXiv preprint arXiv:1804.05647 (2018)
Korff, C., Stroppel, C.: The \(sl(n)_{k}\)WZNW fusion ring: a combinatorial construction and a realisation as quotient of quantum cohomology. Adv. Math. 225(1), 200–268 (2010)
Kuperberg, G.: Another proof of the alternativesign matrix conjecture. Int. Math. Res. Not. 1996(3), 139–150 (1996)
Lam, T.: Affine Stanley symmetric functions. Am. J. Math. 128(6), 1553–1586 (2006)
Lascoux, A.: The Hecke algebra and structure constants of the ring of symmetric polynomials. arXiv preprint math/0602379 (2006)
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford University Press, Oxford (1998)
McNamara, P.: Cylindric skew Schur functions. Adv. Math. 205(1), 275–312 (2006)
Postnikov, A.: Affine approach to quantum schubert calculus. Duke Math. J. 128(3), 473–509 (2005)
Ram, A.: A Frobenius formula for the characters of the Hecke algebras. Invent. Math. 106(1), 461–488 (1991)
Razumov, A.V., Stroganov, Y.G.: Combinatorial nature of the groundstate vector of the O(1) loop model. Theor. Math. Phys. 138(3), 333–337 (2004)
Rietsch, K.: Quantum cohomology rings of Grassmannians and total positivity. Duke Math. J. 110(3), 523–553 (2001)
Siebert, B., Tian, G.: On quantum cohomology rings of Fano manifolds and a formula of Vafa and Intriligator. Asian J. Math. 1(4), 679–695 (1997)
Temperley, H.N.V., Fisher, M.E.: Dimer problem in statistical mechanicsan exact result. Philos. Mag. 6(68), 1061–1063 (1961)
Vafa, C.: Topological mirrors and quantum rings. Essays on Mirror Manifolds, pp. 96–119 (1992)
Wan, J., Wang, W.: Frobenius map for the centers of Hecke algebras. Trans. Am. Math. Soc. 367(8), 5507–5520 (2015)
Witten, E.: The Verlinde algebra and the cohomology of the Grassmannian. In: Geometry, topology and physics, Conf. Proc. Lecture Notes Geom. Topology, IV, pp. 357–422 (1995)
Zelevinsky, A.V.: Representations of Finite Classical Groups: A Hopf Algebra Approach. Lecture Notes in Mathematics, vol. 869. Springer, Berlin (1981)
ZinnJustin, P.: Sixvertex, loop and tiling models: integrability and combinatorics. arXiv preprint arXiv:0901.0665 (2009)
Acknowledgements
The author wishes to thank Gwyn Bellamy, Sira Gratz and Greg Stevenson for sharing knowledge and valuable discussions as well as the anonymous reviewer whose detailed comments helped to improve this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. ZinnJustin
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Notation. Throughout this article tensor products \(\otimes \) are always understood to be tensor products over the complex numbers, \({\otimes }_{{\mathbb {C}}}\), unless stated otherwise.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Korff, C. Cylindric Hecke Characters and Gromov–Witten Invariants via the Asymmetric SixVertex Model. Commun. Math. Phys. 381, 591–640 (2021). https://doi.org/10.1007/s0022002003906x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0022002003906x