Showing 1–50 of 56 results for author: Frenkel, E

Extremal monomial property of q-characters and polynomiality of the X-series

Authors: Edward Frenkel, David Hernandez

Abstract: The character of every irreducible finite-dimensional representation of a simple Lie algebra has the highest weight property. The invariance of the character under the action of the Weyl group W implies that there is a similar "extremal weight property" for every weight obtained by applying an element of W to the highest weight. In this paper we conjecture an analogous "extremal monomial property"… ▽ More The character of every irreducible finite-dimensional representation of a simple Lie algebra has the highest weight property. The invariance of the character under the action of the Weyl group W implies that there is a similar "extremal weight property" for every weight obtained by applying an element of W to the highest weight. In this paper we conjecture an analogous "extremal monomial property" of the q-characters of simple finite-dimensional modules over the quantum affine algebras, using the braid group action on q-characters defined by Chari. In the case of the identity element of W, this is the highest monomial property of q-characters proved in arXiv:math/9911112. Here we prove it for simple reflections. Somewhat surprisingly, the extremal monomial property for each w in W turns out to be equivalent to polynomiality of the "X-series" corresponding to w, which we introduce in this paper. We show that these X-series are equal to certain limits of the generalized Baxter operators for all w in W. Thus, we find a new bridge between q-characters and the spectra of XXZ-type quantum integrable models associated to quantum affine algebras. This leads us to conjecture polynomiality of all generalized Baxter operators, extending the results of arXiv:1308.3444. △ Less

Submitted 31 March, 2025; originally announced April 2025.

Comments: 35 pages

Extended Baxter relations and QQ-systems for quantum affine algebras

Authors: Edward Frenkel, David Hernandez

Abstract: Generalized Baxter's TQ-relations and the QQ-system are systems of algebraic relations in the category O of representations of the Borel subalgebra of the quantum affine algebra U_q(g^), which we established in our earlier works arXiv:1308.3444 and arXiv:1606.05301. In the present paper, we conjecture a family of analogous relations labeled by elements of the Weyl group W of g, so that the origina… ▽ More Generalized Baxter's TQ-relations and the QQ-system are systems of algebraic relations in the category O of representations of the Borel subalgebra of the quantum affine algebra U_q(g^), which we established in our earlier works arXiv:1308.3444 and arXiv:1606.05301. In the present paper, we conjecture a family of analogous relations labeled by elements of the Weyl group W of g, so that the original relations correspond to the identity element. These relations are closely connected to the W-symmetry of q-characters established in arXiv:2211.09779. We prove these relations for all w in W if g has rank two, and we prove the extended TQ-relations if w is a simple reflection. We also generalize our results and conjectures to the shifted quantum affine algebras. △ Less

Submitted 29 May, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 42 pages, v3: more details added, accepted for publication in Communications in Math. Phys

Journal ref: Comm. Math. Phys. 405 (2024), no. 8, Paper No. 190

A general framework for the analytic Langlands correspondence

Authors: Pavel Etingof, Edward Frenkel, David Kazhdan

Abstract: We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works arXiv:1908.09677, arXiv:2103.01509 and arXiv:2106.05243, in particular including non-split and twisted settings. Then we specialize to the archimedean cases (F=C and F=R) and give a (mostly conjectural) description of the spectrum of the Hecke operators in va… ▽ More We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works arXiv:1908.09677, arXiv:2103.01509 and arXiv:2106.05243, in particular including non-split and twisted settings. Then we specialize to the archimedean cases (F=C and F=R) and give a (mostly conjectural) description of the spectrum of the Hecke operators in various cases in terms of opers satisfying suitable reality conditions, as predicted in part in arXiv:2103.01509, arXiv:2106.05243 and arXiv:2107.01732. We also describe an analogue of the Langlands functoriality principle in the analytic Langlands correspondence over C and show that it is compatible with the results and conjectures of arXiv:2103.01509. Finally, we apply the tools of the analytic Langlands correspondence over archimedean fields in genus zero to the Gaudin model and its generalizations, as well as their q-deformations. △ Less

Submitted 12 February, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: 85 pages; v2: new material added in Section 3, including an analogue of the Langlands functoriality principle in the analytic Langlands correspondence

Weyl group symmetry of q-characters

Authors: Edward Frenkel, David Hernandez

Abstract: We define an action of the Weyl group W of a simple Lie algebra g on a completion of the ring Y, which is the codomain of the q-character homomorphism of the corresponding quantum affine algebra U_q(g^). We prove that the subring of W-invariants of Y is precisely the ring of q-characters, which is isomorphic to the Grothendieck ring of the category of finite-dimensional representations of U_q(g^).… ▽ More We define an action of the Weyl group W of a simple Lie algebra g on a completion of the ring Y, which is the codomain of the q-character homomorphism of the corresponding quantum affine algebra U_q(g^). We prove that the subring of W-invariants of Y is precisely the ring of q-characters, which is isomorphic to the Grothendieck ring of the category of finite-dimensional representations of U_q(g^). This resolves an old puzzle in the theory of q-characters. We also identify the screening operators, which were previously used to describe the ring of q-characters, as the subleading terms of simple reflections from W in a certain limit. Our results have already found applications to the study of the category O of representations of the Borel subalgebra of U_q(g^) in arXiv:2312.13256 and to the categorification of cluster algebras in arXiv:2401.04616. △ Less

Submitted 13 May, 2025; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: 29 pages, v3: minor changes, to appear in Selecta Mathematica

Folded quantum integrable models and deformed W-algebras

Authors: Edward Frenkel, David Hernandez, Nicolai Reshetikhin

Abstract: We propose a novel quantum integrable model for every non-simply laced simple Lie algebra ${\mathfrak g}$, which we call the folded integrable model. Its spectra correspond to solutions of the Bethe Ansatz equations obtained by folding the Bethe Ansatz equations of the standard integrable model associated to the quantum affine algebra $U_q(\hat{\mathfrak g'})$ of the simply-laced Lie algebra… ▽ More We propose a novel quantum integrable model for every non-simply laced simple Lie algebra ${\mathfrak g}$, which we call the folded integrable model. Its spectra correspond to solutions of the Bethe Ansatz equations obtained by folding the Bethe Ansatz equations of the standard integrable model associated to the quantum affine algebra $U_q(\hat{\mathfrak g'})$ of the simply-laced Lie algebra ${\mathfrak g}'$ corresponding to ${\mathfrak g}$. Our construction is motivated by the analysis of the second classical limit of the deformed ${\mathcal W}$-algebra of ${\mathfrak g}$, which we interpret as a "folding" of the Grothendieck ring of finite-dimensional representations of $U_q(\hat{\mathfrak g'})$. We conjecture, and verify in a number of cases, that the spaces of states of the folded integrable model can be identified with finite-dimensional representations of $U_q({}^L\hat{\mathfrak g})$, where $^L\hat{\mathfrak g}$ is the (twisted) affine Kac-Moody algebra Langlands dual to $\hat{\mathfrak g}$. We discuss the analogous structures in the Gaudin model which appears in the limit $q \to 1$. Finally, we describe a conjectural construction of the simple ${\mathfrak g}$-crystals in terms of the folded $q$-characters. △ Less

Submitted 22 June, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 70 pages; v2: added a reference and Remarks 1.1 and 9.2; v3: minor changes, accepted for publication in Letters in Mathematical Physics

Journal ref: Lett. Math. Phys. 112 (2022), no. 4, Paper No. 80

Analytic Langlands correspondence for PGL(2) on P^1 with parabolic structures over local fields

Authors: Pavel Etingof, Edward Frenkel, David Kazhdan

Abstract: We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced in arXiv:2103.01509 in the case of P^1 over a local field with parabolic structures at finitely many points for the group PGL(2). We establish most of the conjec… ▽ More We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced in arXiv:2103.01509 in the case of P^1 over a local field with parabolic structures at finitely many points for the group PGL(2). We establish most of the conjectures of arXiv:1908.09677, arXiv:2103.01509 in this case. △ Less

Submitted 15 May, 2022; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: 86 pages, latex

Hecke operators and analytic Langlands correspondence for curves over local fields

Authors: Pavel Etingof, Edward Frenkel, David Kazhdan

Abstract: We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F=C, we also conjecture that their joint spectrum is in a natural bijection with the set of oper… ▽ More We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F=C, we also conjecture that their joint spectrum is in a natural bijection with the set of opers on X for the Langlands dual group with real monodromy. This may be viewed as an analytic version of the Langlands correspondence for complex curves. Furthermore, we conjecture an explicit formula relating the eigenvalues of the Hecke operators and the global differential operators studied in our previous paper arXiv:1908.09677. Assuming the compactness conjecture, this formula follows from a certain system of differential equations satisfied by the Hecke operators, which we prove in this paper for G=PGL(n). △ Less

Submitted 23 February, 2024; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 46 pages (footnotes about our more recent work added in Section 5)

Journal ref: Duke Mathematical Journal 172 (2023) 2015-2071

q-Opers, QQ-Systems, and Bethe Ansatz

Authors: Edward Frenkel, Peter Koroteev, Daniel S. Sage, Anton M. Zeitlin

Abstract: We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondenc… ▽ More We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondence between the spectra of a quantum integrable model (IM) and classical geometric objects ($q$-differential equations). If $\mathfrak{g}$ is simply-laced, the Bethe Ansatz equations we obtain coincide with the equations that appear in the quantum integrable model of XXZ-type associated to the quantum affine algebra $U_q \widehat{\mathfrak{g}}$. However, if $\mathfrak{g}$ is non-simply laced, then these equations correspond to a different integrable model, associated to $U_q {}^L\widehat{\mathfrak{g}}$ where $^L\widehat{\mathfrak{g}}$ is the Langlands dual (twisted) affine algebra. A key element in this $q$DE/IM correspondence is the $QQ$-system that has appeared previously in the study of the ODE/IM correspondence and the Grothendieck ring of the category ${\mathcal O}$ of the relevant quantum affine algebra. △ Less

Submitted 24 October, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: v3: 44 pages, minor revisions, to appear in the Journal of the European Mathematical Society

An analytic version of the Langlands correspondence for complex curves

Authors: Pavel Etingof, Edward Frenkel, David Kazhdan

Abstract: The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamiltonians and their complex conjugates) on the moduli space of G-bundles of a complex algebra… ▽ More The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamiltonians and their complex conjugates) on the moduli space of G-bundles of a complex algebraic curve to formulate a function-theoretic correspondence. We conjecture the existence of a canonical self-adjoint extension of the symmetric part of this algebra acting on an appropriate Hilbert space and link its spectrum with the set of opers for the Langlands dual group of G satisfying a certain reality condition, as predicted earlier by Teschner. We prove this conjecture for G=GL(1) and in the simplest non-abelian case. △ Less

Submitted 13 July, 2021; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 71 pages; v3: the proofs in the abelian case simplified; v4: minor edits

Journal ref: Integrability, Quantization, and Geometry, dedicated to Boris Dubrovin, Vol. II, pp. 137-202, Proc. Symp. Pure Math. 103.2, AMS, 2021

Is there an analytic theory of automorphic functions for complex algebraic curves?

Authors: Edward Frenkel

Abstract: The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves over finite fields, both formulations are possible). In a recent preprint, Robert Langlands made a proposal for developing an analytic theory of automorphic for… ▽ More The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves over finite fields, both formulations are possible). In a recent preprint, Robert Langlands made a proposal for developing an analytic theory of automorphic forms on the moduli space of $G$-bundles on a complex algebraic curve. Langlands envisioned these forms as eigenfunctions of some analogues of Hecke operators. In these notes I show that if $G$ is an abelian group then there are well-defined Hecke operators, and I give a complete description of their eigenfunctions and eigenvalues. For non-abelian $G$, Hecke operators involve integration, which presents some difficulties. However, there is an alternative approach to developing an analytic theory of automorphic forms, based on the existence of a large commutative algebra of global differential operators acting on half-densities on the moduli stack of $G$-bundles. This approach (which implements some ideas of Joerg Teschner) is outlined here, as a preview of a joint work with Pavel Etingof and David Kazhdan. △ Less

Submitted 26 May, 2020; v1 submitted 19 December, 2018; originally announced December 2018.

Comments: 31 pages

Journal ref: SIGMA 16 (2020), 042

Quantum Langlands duality of representations of W-algebras

Authors: Tomoyuki Arakawa, Edward Frenkel

Abstract: We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results. We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results. △ Less

Submitted 12 June, 2019; v1 submitted 4 July, 2018; originally announced July 2018.

Comments: 30 pages, to appear in Compositio Mathematica

Journal ref: Compositio Math. 155 (2019) 2235-2262

Quantum Langlands dualities of boundary conditions, D-modules, and conformal blocks

Authors: Edward Frenkel, Davide Gaiotto

Abstract: We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give ris… ▽ More We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give rise to twisted D-modules on the moduli stacks of G-bundles on Riemann surfaces which have applications to the Langlands Program. In particular, we construct a series of vertex algebras for every simple Lie group G which we expect to yield D-module kernels of various quantum Geometric Langlands dualities. We pay particular attention to the full duality group of gauge theory, which enables us to extend the standard qGL duality to a larger duality groupoid. We also discuss various subtleties related to the spin and gerbe structures and present a detailed analysis for the U(1) and SU(2) gauge theories. △ Less

Submitted 2 April, 2020; v1 submitted 1 May, 2018; originally announced May 2018.

Comments: 87 pages, minor edits

Journal ref: Communications in Number Theory and Physics, vol. 14 (2020) 199-313

Quantum q-Langlands Correspondence

Authors: Mina Aganagic, Edward Frenkel, Andrei Okounkov

Abstract: We formulate a two-parameter generalization of the geometric Langlands correspondence, which we prove for all simply-laced Lie algebras. It identifies the q-conformal blocks of the quantum affine algebra and the deformed W-algebra associated to two Langlands dual Lie algebras. Our proof relies on recent results in quantum K-theory of the Nakajima quiver varieties. The physical origin of the corres… ▽ More We formulate a two-parameter generalization of the geometric Langlands correspondence, which we prove for all simply-laced Lie algebras. It identifies the q-conformal blocks of the quantum affine algebra and the deformed W-algebra associated to two Langlands dual Lie algebras. Our proof relies on recent results in quantum K-theory of the Nakajima quiver varieties. The physical origin of the correspondence is the 6d little string theory. The quantum Langlands correspondence emerges in the limit in which the 6d string theory becomes the 6d conformal field theory with (2,0) supersymmetry. △ Less

Submitted 4 August, 2018; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 116 pages, 4 figures. Minor changes. Version accepted for publication in Trudy Moskovskogo Matematicheskogo Obshchestva. (Transactions of the Moscow Mathematical Society.)

Spectra of quantum KdV Hamiltonians, Langlands duality, and affine opers

Authors: Edward Frenkel, David Hernandez

Abstract: We prove a system of relations in the Grothendieck ring of the category O of representations of the Borel subalgebra of an untwisted quantum affine algebra U_q(g^) introduced in [HJ]. This system was discovered in [MRV1, MRV2], where it was shown that solutions of this system can be attached to certain affine opers for the Langlands dual affine Kac-Moody algebra of g^, introduced in [FF5]. Togethe… ▽ More We prove a system of relations in the Grothendieck ring of the category O of representations of the Borel subalgebra of an untwisted quantum affine algebra U_q(g^) introduced in [HJ]. This system was discovered in [MRV1, MRV2], where it was shown that solutions of this system can be attached to certain affine opers for the Langlands dual affine Kac-Moody algebra of g^, introduced in [FF5]. Together with the results of [BLZ3, BHK], which enable one to associate quantum g^-KdV Hamiltonians to representations from the category O, this provides strong evidence for the conjecture of [FF5] linking the spectra of quantum g^-KdV Hamiltonians and affine opers for the Langlands dual affine algebra. As a bonus, we obtain a direct and uniform proof of the Bethe Ansatz equations for a large class of quantum integrable models associated to arbitrary untwisted quantum affine algebras, under a mild genericity condition. We also conjecture analogues of these results for the twisted quantum affine algebras and elucidate the notion of opers for twisted affine algebras, making a connection to twisted opers introduced in [FG]. △ Less

Submitted 7 March, 2018; v1 submitted 16 June, 2016; originally announced June 2016.

Comments: 54 pages (v3: some examples added; opers for twisted affine algebras elucidated). Accepted for publication in Communications in Mathematical Physics

Journal ref: Commun. Math. Phys. 362, 361--414 (2018)

Surface Operators and Separation of Variables

Authors: Edward Frenkel, Sergei Gukov, Joerg Teschner

Abstract: Alday, Gaiotto, and Tachikawa conjectured relations between certain 4d N=2 supersymmetric field theories and 2d Liouville conformal field theory. We study generalizations of these relations to 4d theories with surface operators. For one type of surface operators the corresponding 2d theory is the WZW model, and for another type - the Liouville theory with insertions of extra degenerate fields. We… ▽ More Alday, Gaiotto, and Tachikawa conjectured relations between certain 4d N=2 supersymmetric field theories and 2d Liouville conformal field theory. We study generalizations of these relations to 4d theories with surface operators. For one type of surface operators the corresponding 2d theory is the WZW model, and for another type - the Liouville theory with insertions of extra degenerate fields. We show that these two 4d theories with surface operators exhibit an IR duality, which reflects the known relation (the so-called separation of variables) between the conformal blocks of the WZW model and the Liouville theory. Furthermore, we trace this IR duality to a brane creation construction relating systems of M5 and M2 branes in M-theory. Finally, we show that this duality may be expressed as an explicit relation between the generating functions for the changes of variables between natural sets of Darboux coordinates on the Hitchin moduli space. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: 56 pages

Baxter's Relations and Spectra of Quantum Integrable Models

Authors: Edward Frenkel, David Hernandez

Abstract: Generalized Baxter's relations on the transfer-matrices (also known as Baxter's TQ relations) are constructed and proved for an arbitrary untwisted quantum affine algebra. Moreover, we interpret them as relations in the Grothendieck ring of the category O introduced by Jimbo and the second author in arXiv:1104.1891 involving infinite-dimensional representations constructed in arXiv:1104.1891, whic… ▽ More Generalized Baxter's relations on the transfer-matrices (also known as Baxter's TQ relations) are constructed and proved for an arbitrary untwisted quantum affine algebra. Moreover, we interpret them as relations in the Grothendieck ring of the category O introduced by Jimbo and the second author in arXiv:1104.1891 involving infinite-dimensional representations constructed in arXiv:1104.1891, which we call here "prefundamental". We define the transfer-matrices associated to the prefundamental representations and prove that their eigenvalues on any finite-dimensional representation are polynomials up to a universal factor. These polynomials are the analogues of the celebrated Baxter polynomials. Combining these two results, we express the spectra of the transfer-matrices in the general quantum integrable systems associated to an arbitrary untwisted quantum affine algebra in terms of our generalized Baxter polynomials. This proves a conjecture of Reshetikhin and the first author formulated in 1998 (arXiv:math/9810055). We also obtain generalized Bethe Ansatz equations for all untwisted quantum affine algebras. △ Less

Submitted 7 May, 2014; v1 submitted 15 August, 2013; originally announced August 2013.

Comments: 41 pages (v3: New Section 5.6 added in which Bethe Ansatz equations are written explicitly for all untwisted quantum affine algebras. New examples, references, and historical comments added plus some minor edits. v4: References added.)

Journal ref: Duke Math. J. 164, no. 12 (2015), 2407-2460

Gauge Theory and Langlands Duality

Authors: Edward Frenkel

Abstract: The Langlands Program was launched in the late 60s with the goal of relating Galois representations and automorphic forms. In recent years a geometric version has been developed which leads to a mysterious duality between certain categories of sheaves on moduli spaces of (flat) bundles on algebraic curves. Three years ago, in a groundbreaking advance, Kapustin and Witten have linked the geometri… ▽ More The Langlands Program was launched in the late 60s with the goal of relating Galois representations and automorphic forms. In recent years a geometric version has been developed which leads to a mysterious duality between certain categories of sheaves on moduli spaces of (flat) bundles on algebraic curves. Three years ago, in a groundbreaking advance, Kapustin and Witten have linked the geometric Langlands correspondence to the S-duality of 4D supersymmetric gauge theories. This and subsequent works have already led to striking new insights into the geometric Langlands Program, which in particular involve the Homological Mirror Symmetry of the Hitchin moduli spaces of Higgs bundles on algebraic curves associated to two Langlands dual Lie groups. △ Less

Submitted 15 June, 2009; originally announced June 2009.

Comments: 32 pages. Text of Bourbaki Seminar given by the author on June 13, 2009

Gromov-Witten Gauge Theory I

Authors: Edward Frenkel, Constantin Teleman, A. J. Tolland

Abstract: We introduce a geometric completion of the stack of maps from stable marked curves to the quotient stack [point/GL(1)], and use it to construct some gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the generalization of these invariants to the quotient stacks [X/GL(1)], where X is a smooth proper complex algebraic variety. We introduce a geometric completion of the stack of maps from stable marked curves to the quotient stack [point/GL(1)], and use it to construct some gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the generalization of these invariants to the quotient stacks [X/GL(1)], where X is a smooth proper complex algebraic variety. △ Less

Submitted 12 January, 2016; v1 submitted 30 April, 2009; originally announced April 2009.

Comments: v3: Shorter, cleaner proof of main theorem. Accepted version

MSC Class: 14D21 (Primary); 14D20; 14F05

Journal ref: Advances in Mathematics (2016), pp. 201-239

Langlands duality for finite-dimensional representations of quantum affine algebras

Authors: Edward Frenkel, David Hernandez

Abstract: We describe a correspondence (or duality) between the q-characters of finite-dimensional representations of a quantum affine algebra and its Langlands dual in the spirit of q-alg/9708006 and 0809.4453. We prove this duality for the Kirillov-Reshetikhin modules and their irreducible tensor products. In the course of the proof we introduce and construct "interpolating (q,t)-characters" depending on… ▽ More We describe a correspondence (or duality) between the q-characters of finite-dimensional representations of a quantum affine algebra and its Langlands dual in the spirit of q-alg/9708006 and 0809.4453. We prove this duality for the Kirillov-Reshetikhin modules and their irreducible tensor products. In the course of the proof we introduce and construct "interpolating (q,t)-characters" depending on two parameters which interpolate between the q-characters of a quantum affine algebra and its Langlands dual. △ Less

Submitted 5 March, 2011; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: 40 pages; several results and comments added. Accepted for publication in Letters in Mathematical Physics

MSC Class: 17B37; 17B10; 81R50

Journal ref: Lett.Math.Phys.96:217-261,2011

Gerbal Representations of Double Loop Groups

Authors: Edward Frenkel, Xinwen Zhu

Abstract: A crucial role in representation theory of loop groups of reductive Lie groups and their Lie algebras is played by their non-trivial second cohomology classes which give rise to their central extensions (the affine Kac-Moody groups and Lie algebras). Loop groups embed into the group GL_\infty of continuous automorphisms of C((t)), and these classes come from a second cohomology class of GL_\inft… ▽ More A crucial role in representation theory of loop groups of reductive Lie groups and their Lie algebras is played by their non-trivial second cohomology classes which give rise to their central extensions (the affine Kac-Moody groups and Lie algebras). Loop groups embed into the group GL_\infty of continuous automorphisms of C((t)), and these classes come from a second cohomology class of GL_\infty. In a similar way, double loop groups embed into a group of automorphisms of C((t))((s)), denoted by GL_{\infty,\infty}, which has a non-trivial third cohomology. In this paper we explain how to realize a third cohomology class in representation theory of a group: it naturally arises when we consider representations on categories rather than vector spaces. We call them "gerbal representations." We then construct a gerbal representation of GL_{\infty,\infty} (and hence of double loop groups), realizing its non-trivial third cohomology class, on a category of modules over an infinite-dimensional Clifford algebra. This is a two-dimensional analogue of the fermionic Fock representations of the ordinary loop groups. △ Less

Submitted 17 November, 2008; v1 submitted 8 October, 2008; originally announced October 2008.

Comments: 60 pages

Instantons beyond topological theory II

Authors: E. Frenkel, A. Losev, N. Nekrasov

Abstract: The present paper is the second part of our project in which we describe quantum field theories with instantons in a novel way by using the "infinite radius limit" (rather than the limit of free field theory) as the starting point. The theory dramatically simplifies in this limit, because the correlation functions of all, not only topological (or BPS), observables may be computed explicitly in t… ▽ More The present paper is the second part of our project in which we describe quantum field theories with instantons in a novel way by using the "infinite radius limit" (rather than the limit of free field theory) as the starting point. The theory dramatically simplifies in this limit, because the correlation functions of all, not only topological (or BPS), observables may be computed explicitly in terms of integrals over finite-dimensional moduli spaces of instanton configurations. In Part I (arXiv:hep-th/0610149) we discussed in detail the one-dimensional (that is, quantum mechanical) models of this type. Here we analyze the supersymmetric two-dimensional sigma models and four-dimensional Yang--Mills theory, using the one-dimensional models as a prototype. We go beyond the topological (or BPS) sectors of these models and consider them as full-fledged quantum field theories. We study in detail the space of states and find that the Hamiltonian is not diagonalizable, but has Jordan blocks. This leads to the appearance of logarithms in the correlation functions. We find that our theories are in fact logarithmic conformal field theories (theories of this type are of interest in condensed matter physics). We define jet-evaluation observables and consider in detail their correlation functions. They are given by integrals over the moduli spaces of holomorphic maps, which generalize the Gromov--Witten invariants. These integrals generally diverge and require regularization, leading to an intricate logarithmic mixing of the operators of the sigma model. A similar structure arises in the four-dimensional Yang--Mills theory as well. △ Less

Submitted 23 March, 2008; originally announced March 2008.

Comments: 125 pages, 9 figures

Geometric Endoscopy and Mirror Symmetry

Authors: Edward Frenkel, Edward Witten

Abstract: The geometric Langlands correspondence has been interpreted as the mirror symmetry of the Hitchin fibrations for two dual reductive groups. This mirror symmetry, in turn, reduces to T-duality on the generic Hitchin fibers, which are smooth tori. In this paper we study what happens when the Hitchin fibers on the B-model side develop orbifold singularities. These singularities correspond to local… ▽ More The geometric Langlands correspondence has been interpreted as the mirror symmetry of the Hitchin fibrations for two dual reductive groups. This mirror symmetry, in turn, reduces to T-duality on the generic Hitchin fibers, which are smooth tori. In this paper we study what happens when the Hitchin fibers on the B-model side develop orbifold singularities. These singularities correspond to local systems with finite groups of automorphisms. In the classical Langlands Program local systems of this type are called endoscopic. They play an important role in the theory of automorphic representations, in particular, in the stabilization of the trace formula. Our goal is to use the mirror symmetry of the Hitchin fibrations to expose the special role played by these local systems in the geometric theory. The study of the categories of A-branes on the dual Hitchin fibers allows us to uncover some interesting phenomena associated with the endoscopy in the geometric Langlands correspondence. We then follow our predictions back to the classical theory of automorphic functions. This enables us to test and confirm them. The geometry we use is similar to that which is exploited in recent work by B.-C. Ngo, a fact which could be significant for understanding the trace formula. △ Less

Submitted 5 April, 2008; v1 submitted 31 October, 2007; originally announced October 2007.

Comments: 130 pages, to appear in Communications in Number Theory and Physics (the appearance of the figures corrected in this version)

Quantization of soliton systems and Langlands duality

Authors: Boris Feigin, Edward Frenkel

Abstract: We consider the problem of quantization of classical soliton integrable systems, such as the KdV hierarchy, in the framework of a general formalism of Gaudin models associated to affine Kac--Moody algebras. Our experience with the Gaudin models associated to finite-dimensional simple Lie algebras suggests that the common eigenvalues of the mutually commuting quantum Hamiltonians in a model assoc… ▽ More We consider the problem of quantization of classical soliton integrable systems, such as the KdV hierarchy, in the framework of a general formalism of Gaudin models associated to affine Kac--Moody algebras. Our experience with the Gaudin models associated to finite-dimensional simple Lie algebras suggests that the common eigenvalues of the mutually commuting quantum Hamiltonians in a model associated to an affine algebra should be encoded by affine opers associated to the Langlands dual affine algebra. This leads us to some concrete predictions for the spectra of the quantum Hamiltonians of the soliton systems. In particular, for the KdV system the corresponding affine opers may be expressed as Schroedinger operators with spectral parameter, and our predictions in this case match those recently made by Bazhanov, Lukyanov and Zamolodchikov. This suggests that this and other recently found examples of the correspondence between quantum integrals of motion and differential operators may be viewed as special cases of the Langlands duality. △ Less

Submitted 12 October, 2009; v1 submitted 17 May, 2007; originally announced May 2007.

Comments: 70 pages. Final version, to appear in Proceedings of the conference in honor of A. Tsuchiya (Nagoya, March 2007), published in the series Advanced Studies of Pure Mathematics

Notes on instantons in topological field theory and beyond

Authors: E. Frenkel, A. Losev, N. Nekrasov

Abstract: This is a brief summary of our studies of quantum field theories in a special limit in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full-fledged quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS),… ▽ More This is a brief summary of our studies of quantum field theories in a special limit in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full-fledged quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observables may be studied explicitly in these models, and the spectrum may be computed exactly. An interesting feature is that the Hamiltonian is not always diagonalizable, but may have Jordan blocks, which leads to the appearance of logarithms in the correlation functions. We also find that in the models defined on Kahler manifolds the space of states exhibits holomorphic factorization. In particular, in dimensions two and four our theories are logarithmic conformal field theories. △ Less

Submitted 19 February, 2007; originally announced February 2007.

Comments: 20 pages

Journal ref: Nucl.Phys.Proc.Suppl.171:215-230,2007

Gaudin models with irregular singularities

Authors: B. Feigin, E. Frenkel, V. Toledano-Laredo

Abstract: We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras… ▽ More We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras. We show that these algebras are isomorphic to algebras of functions on the spaces of opers on P^1 with regular as well as irregular singularities at finitely many points. We construct eigenvectors of these Hamiltonians, using Wakimoto modules of critical level, and show that their spectra on finite-dimensional representations are given by opers with trivial monodromy. We also comment on the connection between the generalized Gaudin models and the geometric Langlands correspondence with ramification. △ Less

Submitted 23 September, 2009; v1 submitted 27 December, 2006; originally announced December 2006.

Comments: Latex, 72 pages. Final version to appear in Advances in Mathematics

Journal ref: Adv.Math.223:873-948,2010

Ramifications of the geometric Langlands Program

Authors: Edward Frenkel

Abstract: The global geometric Langlands correspondence relates Hecke eigensheaves on the moduli stack of G-bundles on a smooth projective algebraic curve X and holomorphic G'-bundles with connection on X, where G' is the Langlands dual group of G. This correspondence is relatively well understood when the connection has no singularities, i.e., is unramified. But what should happen if the connection has s… ▽ More The global geometric Langlands correspondence relates Hecke eigensheaves on the moduli stack of G-bundles on a smooth projective algebraic curve X and holomorphic G'-bundles with connection on X, where G' is the Langlands dual group of G. This correspondence is relatively well understood when the connection has no singularities, i.e., is unramified. But what should happen if the connection has singularities, or ramification, at finitely many points of X? In this case we expect to attach to it a category of Hecke eigensheaves on a suitable moduli stack of G-bundles on X with parabolic (or level) structures at the ramification points. In this paper I review an approach to constructing these categories developed by D.Gaitsgory and myself. It uses representations of affine Kac-Moody algebras of critical level and localization functors from these representations to D-modules on the moduli spaces of bundles with parabolic (or level) structures. As explained in hep-th/0512172, these D-modules may be viewed as sheaves of conformal blocks naturally arising in the framework of Conformal Field Theory. △ Less

Submitted 24 November, 2006; v1 submitted 9 November, 2006; originally announced November 2006.

Comments: Latex, 73 pp., to appear in Proceedings of the CIME Summer School "Representation Theory and Complex Analysis", Venice, June 2004

Instantons beyond topological theory I

Authors: E. Frenkel, A. Losev, N. Nekrasov

Abstract: Many quantum field theories in one, two and four dimensions possess remarkable limits in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observ… ▽ More Many quantum field theories in one, two and four dimensions possess remarkable limits in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observables may be studied explicitly in these models, and the spectrum may be computed exactly. An interesting feature is that the Hamiltonian is not always diagonalizable, but may have Jordan blocks, which leads to the appearance of logarithms in the correlation functions. We also find that in the models defined on Kahler manifolds the space of states exhibits holomorphic factorization. We conclude that in dimensions two and four our theories are logarithmic conformal field theories. △ Less

Submitted 12 October, 2006; originally announced October 2006.

Comments: 99 pages

Report number: ITEP-TH-40/06, IHES-P/06/42

Lectures on the Langlands Program and Conformal Field Theory

Authors: Edward Frenkel

Abstract: These lecture notes give an overview of recent results in geometric Langlands correspondence which may yield applications to quantum field theory. We start with a motivated introduction to the Langlands Program, including its geometric reformulation, addressed primarily to physicists. I tried to make it as self-contained as possible, requiring very little mathematical background. Next, we descri… ▽ More These lecture notes give an overview of recent results in geometric Langlands correspondence which may yield applications to quantum field theory. We start with a motivated introduction to the Langlands Program, including its geometric reformulation, addressed primarily to physicists. I tried to make it as self-contained as possible, requiring very little mathematical background. Next, we describe the connections between the Langlands Program and two-dimensional conformal field theory that have been found in the last few years. These connections give us important insights into the physical implications of the Langlands duality. △ Less

Submitted 15 December, 2005; originally announced December 2005.

Comments: Based on the lectures given by the author at the Les Houches School "Number Theory and Physics" in March of 2003 and at the DARPA Workshop "Langlands Program and Physics" at the Institute for Advanced Study in March of 2004

Local geometric Langlands correspondence and affine Kac-Moody algebras

Authors: Edward Frenkel, Dennis Gaitsgory

Abstract: By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the formal loop group G((t)). We propose a conjectural description of these categories as categories of representations of the corresponding affine Kac-Moody algebr… ▽ More By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the formal loop group G((t)). We propose a conjectural description of these categories as categories of representations of the corresponding affine Kac-Moody algebra of critical level, and, in some cases, as categories of D-modules on the ind-schemes G((t))/K. We describe in detail these categories and interrelations between them and provide supporting evidence for our conjectures. In particular, we prove that a certain quotient category of representations of critical level is equivalent to the category of quasicoherent sheaves on a thickening of the scheme of nilpotent opers associated to the Langlands dual group. △ Less

Submitted 11 July, 2006; v1 submitted 19 August, 2005; originally announced August 2005.

Comments: 156 pages

Mirror symmetry in two steps: A-I-B

Authors: Edward Frenkel, Andrei Losev

Abstract: We suggest an interpretation of mirror symmetry for toric varieties via an equivalence of two conformal field theories. The first theory is the twisted sigma model of a toric variety in the infinite volume limit (the A-model). The second theory is an intermediate model, which we call the I-model. The equivalence between the A-model and the I-model is achieved by realizing the former as a deforma… ▽ More We suggest an interpretation of mirror symmetry for toric varieties via an equivalence of two conformal field theories. The first theory is the twisted sigma model of a toric variety in the infinite volume limit (the A-model). The second theory is an intermediate model, which we call the I-model. The equivalence between the A-model and the I-model is achieved by realizing the former as a deformation of a linear sigma model with a complex torus as the target and then applying to it a version of the T-duality. On the other hand, the I-model is closely related to the twisted Landau-Ginzburg model (the B-model) that is mirror dual to the A-model. Thus, the mirror symmetry is realized in two steps, via the I-model. In particular, we obtain a natural interpretation of the superpotential of the Landau-Ginzburg model as the sum of terms corresponding to the components of a divisor in the toric variety. We also relate the cohomology of the supercharges of the I-model to the chiral de Rham complex and the quantum cohomology of the underlying toric variety. △ Less

Submitted 26 December, 2005; v1 submitted 16 May, 2005; originally announced May 2005.

Comments: 50 pages; revised version

Journal ref: Commun.Math.Phys.269:39-86,2006

Gaudin model and opers

Authors: Edward Frenkel

Abstract: This is a review of our previous works (some of them joint with B. Feigin and N. Reshetikhin) on the Gaudin model and opers. We define a commutative subalgebra in the tensor power of the universal enveloping algebra of a simple Lie algebra g. This algebra includes the hamiltonians of the Gaudin model, hence we call it the Gaudin algebra. It is constructed as a quotient of the center of the compl… ▽ More This is a review of our previous works (some of them joint with B. Feigin and N. Reshetikhin) on the Gaudin model and opers. We define a commutative subalgebra in the tensor power of the universal enveloping algebra of a simple Lie algebra g. This algebra includes the hamiltonians of the Gaudin model, hence we call it the Gaudin algebra. It is constructed as a quotient of the center of the completed enveloping algebra of the affine Kac-Moody algebra g^ at the critical level. We identify the spectrum of the Gaudin algebra with the space of opers associated to the Langlands dual Lie algebra of g on the projective line with regular singularities at the marked points. Next, we recall the construction of the eigenvectors of the Gaudin algebra using the Wakimoto modules over g^ of critical level. The Wakimoto modules are naturally parameterized by Miura opers (or, equivalently, Cartan connections), and the action of the center on them is given by the Miura transformation. This allows us to relate solutions of the Bethe Ansatz equations to Miura opers and ultimately to the flag varieties associated to the Langlands dual Lie algebra of g. △ Less

Submitted 8 March, 2005; v1 submitted 30 July, 2004; originally announced July 2004.

Comments: 60 pages. Contribution to the Proceedings of the Workshop "Infinite dimensional algebras and quantum integrable systems" in Faro, Portugal, in July of 2003

Opers on the projective line, flag manifolds and Bethe Ansatz

Authors: Edward Frenkel

Abstract: We consider the problem of diagonalization of the hamiltonians of the Gaudin model, which is a quantum chain model associated to a simple Lie algebra. The hamiltonians of this model act on the tensor product of finite-dimensional representations of this Lie algebra. We show that the eigenvalues of the Gaudin hamiltonians are encoded by the so-called "opers" on the projective line, associated to… ▽ More We consider the problem of diagonalization of the hamiltonians of the Gaudin model, which is a quantum chain model associated to a simple Lie algebra. The hamiltonians of this model act on the tensor product of finite-dimensional representations of this Lie algebra. We show that the eigenvalues of the Gaudin hamiltonians are encoded by the so-called "opers" on the projective line, associated to the Langlands dual Lie algebra. These opers have regular singularities at the marked points with prescribed residues and trivial monodromy representation. The Bethe Ansatz is a procedure to construct explicitly the eigenvectors of the generalized Gaudin hamiltonians. We show that each solution of the Bethe Ansatz equations defines what we call a "Miura oper" on the projective line. Moreover, we show that the space of Miura opers is a union of copies of the flag manifold (of the dual group), one for each oper. This allows us to prove that all solutions of the Bethe Ansatz equations, corresponding to a fixed oper, are in one-to-one correspondence with the points of an open dense subset of the flag manifold. The Bethe Ansatz equations can be written for an arbitrary Kac-Moody algebra, and we prove an analogue of the last result in this more general setting. For the Lie algebras of types A,B,C similar results were obtained by other methods by I.Scherbak and A.Varchenko and by E.Mukhin and A.Varchenko. △ Less

Submitted 8 March, 2005; v1 submitted 27 August, 2003; originally announced August 2003.

Comments: 54 pages, Latex

Affine Kac-Moody algebras, integrable systems and their deformations

Authors: Edward Frenkel

Abstract: This is the text of the Hermann Weyl Prize lecture given by the author at the XXIV Colloquium on Group Theoretical Methods in Physics, Paris, July 2002 (to appear in the Proceedings of the Colloquium). This is the text of the Hermann Weyl Prize lecture given by the author at the XXIV Colloquium on Group Theoretical Methods in Physics, Paris, July 2002 (to appear in the Proceedings of the Colloquium). △ Less

Submitted 14 May, 2003; originally announced May 2003.

Comments: 12 pages

Lectures on Wakimoto modules, opers and the center at the critical level

Authors: Edward Frenkel

Abstract: Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In these lectures we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical l… ▽ More Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In these lectures we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical level with the algebra of functions on the space of opers for the Langlands dual group on the punctured disc. These results were originally obtained by B. Feigin and the author. △ Less

Submitted 5 November, 2002; v1 submitted 2 October, 2002; originally announced October 2002.

Comments: 85 pages, Latex

Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras

Authors: Edward Frenkel, Evgeny Mukhin

Abstract: We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental representations is reducible if and only if at least one of the corresponding normalized R-matrices has a pole. We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental representations is reducible if and only if at least one of the corresponding normalized R-matrices has a pole. △ Less

Submitted 6 October, 2000; v1 submitted 15 November, 1999; originally announced November 1999.

Comments: 35 pages, Latex

Journal ref: Commun.Math.Phys. 216 (2001) 23-57

Integrable Hierarchies and Wakimoto Modules

Authors: Boris Feigin, Edward Frenkel

Abstract: In our earlier papers we proposed a new approach to integrable hierarchies of soliton equations and their quantum deformations. We have applied this approach to the Toda field theories and the generalized KdV and modified KdV (mKdV) hierarchies. In this paper we apply our approach to the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy and its generalizations. In particular, we show that the free fie… ▽ More In our earlier papers we proposed a new approach to integrable hierarchies of soliton equations and their quantum deformations. We have applied this approach to the Toda field theories and the generalized KdV and modified KdV (mKdV) hierarchies. In this paper we apply our approach to the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy and its generalizations. In particular, we show that the free field (Wakimoto) realization of an affine algebra naturally appears in the context of the generalized AKNS hierarchies. This is analogous to the appearance of the free field (quantum Miura) realization of a W-algebra in the context of the generalized KdV equations. As an application, we give here a new proof of the existence of the Wakimoto realization. △ Less

Submitted 17 March, 2001; v1 submitted 17 February, 1999; originally announced February 1999.

Comments: 36 pages, Latex2e

Spectral Curves, Opers and Integrable Systems

Authors: David Ben-Zvi, Edward Frenkel

Abstract: We establish a general link between integrable systems in algebraic geometry (expressed as Jacobian flows on spectral curves) and soliton equations (expressed as evolution equations on flat connections). Our main result is a natural isomorphism between a moduli space of spectral data and a moduli space of differential data, each equipped with an infinite collection of commuting flows. The spectr… ▽ More We establish a general link between integrable systems in algebraic geometry (expressed as Jacobian flows on spectral curves) and soliton equations (expressed as evolution equations on flat connections). Our main result is a natural isomorphism between a moduli space of spectral data and a moduli space of differential data, each equipped with an infinite collection of commuting flows. The spectral data are principal G-bundles on an algebraic curve, equipped with an abelian reduction near one point. The flows on the spectral side come from the action of a Heisenberg subgroup of the loop group. The differential data are flat connections known as opers. The flows on the differential side come from a generalized Drinfeld-Sokolov hierarchy. Our isomorphism between the two sides provides a geometric description of the entire phase space of the Drinfeld-Sokolov hierarchy. It extends the Krichever construction of special algebro-geometric solutions of the n-th KdV hierarchy, corresponding to G=SL(n). An interesting feature is the appearance of formal spectral curves, replacing the projective spectral curves of the classical approach. The geometry of these (usually singular) curves reflects the fine structure of loop groups, in particular the detailed classification of their Cartan subgroups. To each such curve corresponds a homogeneous space of the loop group and a soliton system. Moreover the flows of the system have interpretations in terms of Jacobians of formal curves. △ Less

Submitted 19 November, 2002; v1 submitted 10 February, 1999; originally announced February 1999.

Comments: 64 pages, Latex, final version to appear in Publications IHES

The q-characters of representations of quantum affine algebras and deformations of W-algebras

Authors: Edward Frenkel, Nicolai Reshetikhin

Abstract: We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of cer… ▽ More We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz. △ Less

Submitted 10 November, 2008; v1 submitted 8 October, 1998; originally announced October 1998.

Comments: 47 pages, Latex2e

Five Lectures on Soliton Equations

Authors: Edward Frenkel

Abstract: This is a self-contained review of a new approach to soliton equations of KdV type developed by the author together with B. Feigin and B. Enriquez. This is a self-contained review of a new approach to soliton equations of KdV type developed by the author together with B. Feigin and B. Enriquez. △ Less

Submitted 30 November, 1997; originally announced December 1997.

Comments: 42 pages, Latex2e; Contribution to Surveys in Differential Geometry, Vol. 3, International Press

Deformations of W-algebras associated to simple Lie algebras

Authors: Edward Frenkel, Nicolai Reshetikhin

Abstract: Deformed $\W$--algebra $\W_{q,t}(\g)$ associated to an arbitrary simple Lie algebra $\g$ is defined together with its free field realizations and the screening operators. Explicit formulas are given for generators of $\W_{q,t}(\g)$ when $\g$ is of classical type. These formulas exhibit a deep connection between $\W_{q,t}(\g)$ and the analytic Bethe Ansatz in integrable models associated to quant… ▽ More Deformed $\W$--algebra $\W_{q,t}(\g)$ associated to an arbitrary simple Lie algebra $\g$ is defined together with its free field realizations and the screening operators. Explicit formulas are given for generators of $\W_{q,t}(\g)$ when $\g$ is of classical type. These formulas exhibit a deep connection between $\W_{q,t}(\g)$ and the analytic Bethe Ansatz in integrable models associated to quantum affine algebras $U_q(\G)$ and $U_t(\GL)$. The scaling limit of $\W_{q,t}(\g)$ is closely related to affine Toda field theories. △ Less

Submitted 24 September, 1997; v1 submitted 4 August, 1997; originally announced August 1997.

Comments: 33 pages, Latex2e. Extended version

Geometric interpretation of the Poisson structure in affine Toda field theories

Authors: Benjamin Enriquez, Edward Frenkel

Abstract: We express the Poisson brackets of local fields of the affine Toda field theories in terms of the Drinfeld-Sokolov dressing operator. For this, we introduce a larger space of fields, containing ``half screening charges'' and ``half integrals of motions''. In addition to local terms, the Poisson brackets contain nonlocal terms related to trigonometric r-matrices. We express the Poisson brackets of local fields of the affine Toda field theories in terms of the Drinfeld-Sokolov dressing operator. For this, we introduce a larger space of fields, containing ``half screening charges'' and ``half integrals of motions''. In addition to local terms, the Poisson brackets contain nonlocal terms related to trigonometric r-matrices. △ Less

Submitted 2 July, 1996; v1 submitted 27 June, 1996; originally announced June 1996.

Comments: 32 pages, AMSLATEX

Equivalence of Two Approaches to the mKdV Hierarchies

Authors: Benjamin Enriquez, Edward Frenkel

Abstract: The equivalence between the approaches of Drinfeld-Sokolov and Feigin-Frenkel to the mKdV hierarchies is established. A new derivation of the mKdV equations in the zero curvature form is given. Connection with the Baker-Akhiezer function and the tau-function is also discussed. The equivalence between the approaches of Drinfeld-Sokolov and Feigin-Frenkel to the mKdV hierarchies is established. A new derivation of the mKdV equations in the zero curvature form is given. Connection with the Baker-Akhiezer function and the tau-function is also discussed. △ Less

Submitted 5 June, 1996; originally announced June 1996.

Comments: 23 pages, AMSLATEX

Journal ref: Commun.Math.Phys. 185 (1997) 211-230

Deformations of the KdV hierarchy and related soliton equations

Authors: Edward Frenkel

Abstract: We define hierarchies of differential--q-difference equations, which are q-deformations of the equations of the generalized KdV hierarchies. We show that these hierarchies are bihamiltonian, one of the hamiltonian structures being that of the q-deformed classical W-algebra of sl(N), defined by Reshetikhin and the author. We also find q-deformations of the mKdV hierarchies and the affine Toda equ… ▽ More We define hierarchies of differential--q-difference equations, which are q-deformations of the equations of the generalized KdV hierarchies. We show that these hierarchies are bihamiltonian, one of the hamiltonian structures being that of the q-deformed classical W-algebra of sl(N), defined by Reshetikhin and the author. We also find q-deformations of the mKdV hierarchies and the affine Toda equations. △ Less

Submitted 5 November, 1995; originally announced November 1995.

Comments: 19 pages, AMSLATEX

Quantum W-algebras and Elliptic Algebras

Authors: Boris Feigin, Edward Frenkel

Abstract: We define quantum W-algebras generalizing the results of Reshetikhin and the second author, and Shiraishi-Kubo-Awata-Odake. The quantum W-algebra associated to sl_N is an associative algebra depending on two parameters. For special values of parameters it becomes the ordinary W-algebra of sl_N, or the q-deformed classical W-algebra of sl_N. We construct free field realizations of the quantum W-a… ▽ More We define quantum W-algebras generalizing the results of Reshetikhin and the second author, and Shiraishi-Kubo-Awata-Odake. The quantum W-algebra associated to sl_N is an associative algebra depending on two parameters. For special values of parameters it becomes the ordinary W-algebra of sl_N, or the q-deformed classical W-algebra of sl_N. We construct free field realizations of the quantum W-algebras and the screening currents. We also point out some interesting elliptic structures arising in these algebras. In particular, we show that the screening currents satisfy elliptic analogues of the Drinfeld relations in U_q(n^). △ Less

Submitted 17 August, 1995; originally announced August 1995.

Comments: 26 pages, AMSLATEX

Journal ref: Commun.Math.Phys. 178 (1996) 653-678

Affine Algebras, Langlands Duality and Bethe Ansatz

Authors: Edward Frenkel

Abstract: We review various aspects of representation theory of affine algebras at the critical level, geometric Langlands correspondence, and Bethe ansatz in the Gaudin models. Geometric Langlands correspondence relates D-modules on the moduli space of G-bundles on a complex curve X and flat G^L-bundles on X. Beilinson and Drinfeld construct it by applying a localization functor to representations of aff… ▽ More We review various aspects of representation theory of affine algebras at the critical level, geometric Langlands correspondence, and Bethe ansatz in the Gaudin models. Geometric Langlands correspondence relates D-modules on the moduli space of G-bundles on a complex curve X and flat G^L-bundles on X. Beilinson and Drinfeld construct it by applying a localization functor to representations of affine algebras of critical level. We show that in genus zero the corresponding D-modules are closely related to the diagonalization problem in the Gaudin model associated to G. This allows us to give a new interpretation of the Bethe ansatz and Sklyanin's separation of variables in the Gaudin model in terms of Langlands correspondence. △ Less

Submitted 22 September, 1999; v1 submitted 5 June, 1995; originally announced June 1995.

Comments: 34 pages, Latex

Thermodynamic Bethe Ansatz and Dilogarithm Identities I

Authors: Edward Frenkel, Andras Szenes

Abstract: We consider the (A_n,A_1) Y-system arising in the Thermodynamic Bethe Ansatz. We prove the periodicity of solutions of this Y-system conjectured by Al.B. Zamolodchikov, and the dilogarithm identities conjectured by F. Gliozzi and R. Tateo. We consider the (A_n,A_1) Y-system arising in the Thermodynamic Bethe Ansatz. We prove the periodicity of solutions of this Y-system conjectured by Al.B. Zamolodchikov, and the dilogarithm identities conjectured by F. Gliozzi and R. Tateo. △ Less

Submitted 20 August, 1995; v1 submitted 2 July, 1995; originally announced June 1995.

Comments: 15 pages, AMSLATEX

Quantum Affine Algebras and Deformations of the Virasoro and W-algebras

Authors: Edward Frenkel, Nikolai Reshetikhin

Abstract: We generalize some results concerning affine algebras at the critical level to the corresponding quantum algebras. In particular, we show that the Wakimoto realization provides a homomorphism of Poisson algebras from the center of a quantum affine algebra to a Heisenberg-Poisson algebra. This homomorphism is a q-deformation of the Miura transformation. It is given by the same formulas as the spe… ▽ More We generalize some results concerning affine algebras at the critical level to the corresponding quantum algebras. In particular, we show that the Wakimoto realization provides a homomorphism of Poisson algebras from the center of a quantum affine algebra to a Heisenberg-Poisson algebra. This homomorphism is a q-deformation of the Miura transformation. It is given by the same formulas as the spectra of transfer-matrices of the corresponding quantum integrable models. The image of the center in the Heisenberg-Poisson algebra is a Poisson subalgebra of the latter, which is a q-deformation of the corresponding classical W-algebra. The relations in this Poisson algebra are explicitly computed in the case of sl(n)^. △ Less

Submitted 22 May, 1995; originally announced May 1995.

Comments: 31 pages, AMSLATEX

Free field realizations in representation theory and conformal field theory

Authors: Edward Frenkel

Abstract: Invited lecture at the International Congress of Mathematicians, Zuerich, August 3-11, 1994 (extended version), reviews free field realizations of affine Kac-Moody and W-algebras and their applications. Invited lecture at the International Congress of Mathematicians, Zuerich, August 3-11, 1994 (extended version), reviews free field realizations of affine Kac-Moody and W-algebras and their applications. △ Less

Submitted 18 August, 1994; originally announced August 1994.

Comments: 20 pages

W_{1+\infty} and W(gl_N) with central charge N

Authors: E. Frenkel, V. Kac, A. Radul, W. Wang

Abstract: We study representations of the central extension of the Lie algebra of differential operators on the circle, the W-infinity algebra. We obtain complete and specialized character formulas for a large class of representations, which we call primitive; these include all quasi-finite irreducible unitary representations. We show that any primitive representation with central charge N has a canonical… ▽ More We study representations of the central extension of the Lie algebra of differential operators on the circle, the W-infinity algebra. We obtain complete and specialized character formulas for a large class of representations, which we call primitive; these include all quasi-finite irreducible unitary representations. We show that any primitive representation with central charge N has a canonical structure of an irreducible representation of the W-algebra W(gl_N) with the same central charge and that all irreducible representations of W(gl_N) with central charge N arise in this way. We also establish a duality between "integral" modules of W(gl_N) and finite-dimensional irreducible modules of gl_N, and conjecture their fusion rules. △ Less

Submitted 3 October, 1994; v1 submitted 18 May, 1994; originally announced May 1994.

Comments: 29 pages, Latex, uses file amssym.def (a few remarks added, typos corrected)

Journal ref: Commun.Math.Phys. 170 (1995) 337-358

Gaudin Model, Bethe Ansatz and Critical Level

Authors: Boris Feigin, Edward Frenkel, Nikolai Reshetikhin

Abstract: We propose a new method of diagonalization of hamiltonians of the Gaudin model associated to an arbitrary simple Lie algebra, which is based on Wakimoto modules over affine algebras at the critical level. We construct eigenvectors of these hamiltonians by restricting certain invariant functionals on tensor products of Wakimoto modules. In conformal field theory language, the eigenvectors are giv… ▽ More We propose a new method of diagonalization of hamiltonians of the Gaudin model associated to an arbitrary simple Lie algebra, which is based on Wakimoto modules over affine algebras at the critical level. We construct eigenvectors of these hamiltonians by restricting certain invariant functionals on tensor products of Wakimoto modules. In conformal field theory language, the eigenvectors are given by certain bosonic correlation functions. Analogues of Bethe ansatz equations naturally appear as Kac-Kazhdan type equations on the existence of certain singular vectors in Wakimoto modules. We use this construction to expalain a connection between Gaudin's model and correlation functions of WZNW models. △ Less

Submitted 3 April, 1994; v1 submitted 3 February, 1994; originally announced February 1994.

Comments: 40 pages, postscript-file (references added and corrected)

Journal ref: Commun.Math.Phys. 166 (1994) 27-62