Showing 1–50 of 109 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

Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo-Ando geometric means

Authors: Péter E. Frenkel, Milán Mosonyi, Péter Vrana, Mihály Weiner

Abstract: The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal e… ▽ More The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal exponents are only known to be expressible in terms of regularized divergences, resulting in formulas that, while conceptually relevant, practically not very useful. In this paper, we develop further an approach initiated in [Mosonyi, Szilágyi, Weiner, IEEE Trans. Inf. Th. 68(2):1032--1067, 2022] to give improved single-copy bounds on the error exponents by comparing not only individual states from the two hypotheses, but also various unnormalized positive semi-definite operators associated to them. Here, we show a number of equivalent characterizations of such operators giving valid bounds, and show that in the commutative case, considering weighted geometric means of the states, and in the case of two states per hypothesis, considering weighted Kubo-Ando geometric means, are optimal for this approach. As a result, we give a new characterization of the weighted Kubo-Ando geometric means as the only $2$-variable operator geometric means that are block additive, tensor multiplicative, and satisfy the arithmetic-geometric mean inequality. We also extend our results to composite quantum channel discrimination, and show an analogous optimality property of the weighted Kubo-Ando geometric means of two quantum channels, a notion that seems to be new. We extend this concept to defining the notion of superoperator perspective function and establish some of its basic properties, which may be of independent interest. △ Less

Submitted 17 April, 2025; v1 submitted 17 March, 2025; originally announced March 2025.

Comments: 36 pages. v3: Added explicit example with strict improvement in the strong converse exponent using geometric means

The triangulant

Authors: Tamás Bencze, Péter E. Frenkel

Abstract: We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matrices, and relate them to the existence of nontrivially intersecting invariant subspaces of complementary dimensions. We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matrices, and relate them to the existence of nontrivially intersecting invariant subspaces of complementary dimensions. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 16 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

Integral formula for quantum relative entropy implies data processing inequality

Authors: Péter E. Frenkel

Abstract: Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entr… ▽ More Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps -- complete positivity of the map need not be assumed. The latter result was first proved by Müller-Hermes and Reeb, based on work of Beigi. For a simple application of such monotonicities, we consider any `divergence' that is non-increasing under quantum measurements, such as the concavity of von Neumann entropy, or various known quantum divergences. An elegant argument due to Hiai, Ohya, and Tsukada is used to show that the infimum of such a `divergence' on pairs of quantum states with prescribed trace distance is the same as the corresponding infimum on pairs of binary classical states. Applications of the new integral formulae to the general probabilistic model of information theory, and a related integral formula for the classical Rényi divergence, are also discussed. △ Less

Submitted 5 September, 2023; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 16 pages. Accepted to Quantum

Journal ref: Quantum 7, 1102 (2023)

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

Estimating the greatest common divisor of the value of two polynomials

Authors: Péter E. Frenkel, Gergely Zábrádi

Abstract: Let $p$ be a fixed prime, and let $v(a)$ stand for the exponent of $p$ in the prime factorization of the integer $a$. Let $f$ and $g$ be two monic polynomials with integer coefficients and nonzero resultant $r$. Write $S$ for the maximum of $v(\gcd (f(n), g(n)))$ over all integers $n$. It is known that $S \le v(r)$. We give various lower and upper bounds for the least possible value of $v(r)-S$ pr… ▽ More Let $p$ be a fixed prime, and let $v(a)$ stand for the exponent of $p$ in the prime factorization of the integer $a$. Let $f$ and $g$ be two monic polynomials with integer coefficients and nonzero resultant $r$. Write $S$ for the maximum of $v(\gcd (f(n), g(n)))$ over all integers $n$. It is known that $S \le v(r)$. We give various lower and upper bounds for the least possible value of $v(r)-S$ provided that a given power $p^s$ divides both $f(n)$ and $g(n)$ for all $n$. In particular, the least possible value is $ps^2-s$ for $s\le p$ and is asymptotically $(p-1)s^2$ for large $s$. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 12 pages

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.)

On the greatest common divisor of the value of two polynomials

Authors: Péter E. Frenkel, József Pelikán

Abstract: We show that if two monic polynomials with integer coefficients have square-free resultant, then all positive divisors of the resultant arise as the greatest common divisor of the values of the two polynomials at a suitable integer. We show that if two monic polynomials with integer coefficients have square-free resultant, then all positive divisors of the resultant arise as the greatest common divisor of the values of the two polynomials at a suitable integer. △ Less

Submitted 29 August, 2016; originally announced August 2016.

Comments: 6 pages

MSC Class: 11N32; 11C08; 11C20; 11A05; 13P15; 12E05; 15A03; 15A21

Journal ref: Amer. Math. Monthly 124 (2017), no. 5, 446--450

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)

Measuring cones and other thick subsets in free groups

Authors: Elizaveta Frenkel, Vladimir N. Remeslennikov

Abstract: In this paper we investigate the special automata over finite rank free groups and estimate asymptotic characteristics of sets they accept. We show how one can decompose an arbitrary regular subset of a finite rank free group into disjoint union of sets accepted by special automata or special monoids. These automata allow us to compute explicitly generating functions, $λ-$measures and Cesaro measu… ▽ More In this paper we investigate the special automata over finite rank free groups and estimate asymptotic characteristics of sets they accept. We show how one can decompose an arbitrary regular subset of a finite rank free group into disjoint union of sets accepted by special automata or special monoids. These automata allow us to compute explicitly generating functions, $λ-$measures and Cesaro measure of thick monoids. Also we improve the asymptotic classification of regular subsets in free groups. △ Less

Submitted 9 March, 2016; originally announced March 2016.

Comments: 18 pages, 4 figures

Convergence of graphs with intermediate density

Authors: Péter E. Frenkel

Abstract: We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph… ▽ More We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs. We introduce tentative limit objects that we call graphonings because they are common generalizations of graphons and graphings. Special forms of these, called Hausdorff and Euclidean graphonings, involve geometric measure theory. We construct Euclidean graphonings that provide limits of hypercubes and of finite projective planes, and, more generally, of a wide class of regular sequences of large essential girth. For any convergent sequence of large essential girth, we construct weaker limit objects: an involution invariant probability measure on the sub-Markov space of consistent measure sequences (this is unique), or an acyclic reversible sub-Markov kernel on a probability space (non-unique). We also pose some open problems. △ Less

Submitted 26 December, 2017; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 41 pages. Minor errors have been corrected

On endomorphisms of the Einstein gyrogroup in arbitrary dimension

Authors: Péter E. Frenkel

Abstract: We determine the automorphisms and the continuous endomorphisms of the Einstein gyrogroup in arbitrary dimension. This generalizes a recent result of Lajos Molnár and Dániel Virosztek, who have determined the continuous endomorphisms in the three-dimensional case. We determine the automorphisms and the continuous endomorphisms of the Einstein gyrogroup in arbitrary dimension. This generalizes a recent result of Lajos Molnár and Dániel Virosztek, who have determined the continuous endomorphisms in the three-dimensional case. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 4 pages

MSC Class: 83A05

Journal ref: J. Math. Phys. 57 (2016), no. 3, 032301, 3 pp

Chromatic roots and limits of dense graphs

Authors: Peter Csikvari, Peter E. Frenkel, Jan Hladky, Tamas Hubai

Abstract: In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation. In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation. △ Less

Submitted 4 November, 2016; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 9 pages

Journal ref: Discrete Math. 340 (2017), no. 5, 1129-1135

Polynomial identities for matrices over the Grassmann algebra

Authors: Péter E. Frenkel

Abstract: We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper. We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper. △ Less

Submitted 10 May, 2016; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: 9 pages

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

Knapsack problems in products of groups

Authors: Elizaveta Frenkel, Andrey Nikolaev, Alexander Ushakov

Abstract: The classic knapsack and related problems have natural generalizations to arbitrary (non-commutative) groups, collectively called knapsack-type problems in groups. We study the effect of free and direct products on their time complexity. We show that free products in certain sense preserve time complexity of knapsack-type problems, while direct products may amplify it. Our methods allow to obtain… ▽ More The classic knapsack and related problems have natural generalizations to arbitrary (non-commutative) groups, collectively called knapsack-type problems in groups. We study the effect of free and direct products on their time complexity. We show that free products in certain sense preserve time complexity of knapsack-type problems, while direct products may amplify it. Our methods allow to obtain complexity results for rational subset membership problem in amalgamated free products over finite subgroups. △ Less

Submitted 10 August, 2015; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: 15 pages, 5 figures. Updated to include more general results, mostly in Section 4

MSC Class: 03D15; 20F65; 20F10; 68Q45

Matchings in Benjamini-Schramm convergent graph sequences

Authors: Miklos Abért, Péter Csikvári, Péter Frenkel, Gábor Kun

Abstract: We introduce the matching measure of a finite graph as the uniform distribution on the roots of the matching polynomial of the graph. We analyze the asymptotic behavior of the matching measure for graph sequences with bounded degree. A graph parameter is said to be estimable if it converges along every Benjamini-Schramm convergent sparse graph sequence. We prove that the normalized logarithm of… ▽ More We introduce the matching measure of a finite graph as the uniform distribution on the roots of the matching polynomial of the graph. We analyze the asymptotic behavior of the matching measure for graph sequences with bounded degree. A graph parameter is said to be estimable if it converges along every Benjamini-Schramm convergent sparse graph sequence. We prove that the normalized logarithm of the number of matchings is estimable. We also show that the analogous statement for perfect matchings already fails for d-regular bipartite graphs for any fixed d at least 3. The latter result relies on analyzing the probability that a randomly chosen perfect matching contains a particular edge. However, for any sequence of d-regular bipartite graphs converging to the d-regular tree, we prove that the normalized logarithm of the number of perfect matchings converges. This applies to random d-regular bipartite graphs. We show that the limit equals to the exponent in Schrijver's lower bound on the number of perfect matchings. Our analytic approach also yields a short proof for the Nguyen-Onak (also Elek--Lippner) theorem saying that the matching ratio is estimable. In fact, we prove the slightly stronger result that the independence ratio is estimable for claw-free graphs. △ Less

Submitted 30 August, 2021; v1 submitted 13 May, 2014; originally announced May 2014.

Comments: 21 pages. Changes compared to the previous (published) version: In Lemma 4.3, formula (4.3) and its proof have been corrected. As a consequence, the formula for the variance in Theorem 4.5 has been modified

MSC Class: 05C31; 05C70; 05C80; 05C30

Journal ref: Trans. Amer. Math. Soc. 368 (2016), no. 6, 4197--4218

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

Geometric Langlands Correspondence Near Opers

Authors: Edward Frenkel, Constantin Teleman

Abstract: We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic group). We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic group). △ Less

Submitted 4 June, 2013; originally announced June 2013.

Comments: 21 pages. To appear in the Proceedings of the Chennai Colloquium celebrating the work of C. S. Seshadri, on the occasion of his 80th birthday

The subgroup membership problem in amalgamated products of finitely generated free groups

Authors: Andrew Duncan, Elizaveta Frenkel

Abstract: Stallings folding theory is modified, using double coset representatives, and to applied to the study of subgroups of amalgamated products of finite rank free groups. As a first application the subgroup membership problem for such groups is shown to be decidable. An algorithm for this problem is constructed and its complexity is analysed. Groups in this class are also shown to possess the Howson p… ▽ More Stallings folding theory is modified, using double coset representatives, and to applied to the study of subgroups of amalgamated products of finite rank free groups. As a first application the subgroup membership problem for such groups is shown to be decidable. An algorithm for this problem is constructed and its complexity is analysed. Groups in this class are also shown to possess the Howson property. △ Less

Submitted 21 May, 2013; v1 submitted 19 May, 2013; originally announced May 2013.

Comments: 66 pages, 21 figures The paper has been withdrawn as the conclusions are incorrect

Double cosets in free groups

Authors: Elizaveta Frenkel, Vladimir N. Remeslennikov

Abstract: In this paper we study double cosets of finite rank free groups. We focus our attention on cancellation types in double cosets and their formal language properties. In this paper we study double cosets of finite rank free groups. We focus our attention on cancellation types in double cosets and their formal language properties. △ Less

Submitted 2 July, 2013; v1 submitted 17 March, 2013; originally announced March 2013.

Comments: Minor changes

Journal ref: IJAC, Vol. 23 No 5 (2013) pp. 1225- 1241

Mathematics, Love, and Tattoos

Authors: Edward Frenkel

Abstract: Reflections on the film "Rites of Love and Math" (directed by Reine Graves and the author) and its "formula of love". Reflections on the film "Rites of Love and Math" (directed by Reine Graves and the author) and its "formula of love". △ Less

Submitted 14 November, 2012; originally announced November 2012.

Comments: 10 pages. Contribution to the Proceedings of the annual Symposium "Matematica e Cultura" in Venice (Italy), where the film was shown (March, 2012). To be published by Springer Verlag

Commutators cannot be proper powers in metric small-cancellation torsion-free groups

Authors: Elizaveta Frenkel, Anton A. Klyachko

Abstract: A nontrivial commutator cannot be a proper power in a torsion-free group satisfying C'(λ) small cancellation condition with sufficiently small λ. A nontrivial commutator cannot be a proper power in a torsion-free group satisfying C'(λ) small cancellation condition with sufficiently small λ. △ Less

Submitted 13 September, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: 14 pages, 13 figures. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: a minor correction of the proof of Lemma 3 made and an acknowledgement added. V3: minor corrections in Lemma 2 and the far-from-junction-collision lemma

Minkowski's inequality and sums of squares

Authors: Péter E. Frenkel, Péter Horváth

Abstract: Positive polynomials arising from Muirhead's inequality, from classical power mean and elementary symmetric mean inequalities and from Minkowski's inequality can be rewritten as sums of squares. Positive polynomials arising from Muirhead's inequality, from classical power mean and elementary symmetric mean inequalities and from Minkowski's inequality can be rewritten as sums of squares. △ Less

Submitted 14 January, 2013; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: 8 pages

MSC Class: 26D05

Journal ref: Cent. Eur. J. Math. 12 (2014), no. 3, 510--516

Benjamini--Schramm continuity of root moments of graph polynomials

Authors: Péter Csikvári, Péter E. Frenkel

Abstract: Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converg… ▽ More Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converges to a harmonic real function outside a bounded disc. In this paper we generalize their work to a wide class of graph polynomials, namely, multiplicative graph polynomials of bounded exponential type. A special case of our results is that for any fixed complex number $v_0$ the measures arising from the Tutte polynomial $Z_{G_n}(z,v_0)$ converge in holomorphic moments if the sequence $(G_n)$ of finite graphs is Benjamini--Schramm convergent. This answers a question of Abért and Hubai in the affirmative. Even in the original case of the chromatic polynomial, our proof is considerably simpler. △ Less

Submitted 19 February, 2015; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: 22 pages. Minor corrections made

MSC Class: 05C31 (Primary); 05C15; 05C40; 05C60 (Secondary)

Journal ref: European J. Combin. 52 (2016), part B, 302--320

Langlands Program, Trace Formulas, and their Geometrization

Authors: Edward Frenkel

Abstract: The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After giving an introduction to the Langlands Program and its geometric version, which applies to curves over finite fields and over the complex field, I give a survey of… ▽ More The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After giving an introduction to the Langlands Program and its geometric version, which applies to curves over finite fields and over the complex field, I give a survey of my recent joint work with Robert Langlands and Ngo Bao Chau (arXiv:1003.4578 and arXiv:1004.5323) on a new approach to proving the Functoriality Conjecture using the trace formulas, and on the geometrization of the trace formulas. In particular, I discuss the connection of the latter to the categorification of the Langlands correspondence. △ Less

Submitted 6 November, 2014; v1 submitted 9 February, 2012; originally announced February 2012.

Comments: Notes for the AMS Colloquium Lectures given by the author at the 2012 Joint Mathematics Meetings in Boston, January 4-6, 2012. Version 2: small changes in Sections 5.9 and 6.4

Journal ref: Bulletin of AMS, vol. 50 (2013), pp. 1-55

Amalgamated Products of Groups II: Measures of Random Normal Forms

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a serie… ▽ More Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a series of previous work about classical algorithmic problems, it was shown that standard algorithms work fast on elements of the first stratum and nothing is known about their work on the second stratum. In main theorems A and B of this paper we give probabilistic and asymptotic estimates of these strata. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 37 pages

Geometrization of Trace Formulas

Authors: Edward Frenkel, Ngo Bao Chau

Abstract: Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also suggest a conjectural framework of geometric trace formulas for curves defined over the complex field, which exploits the categorical version of the geometric Langla… ▽ More Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also suggest a conjectural framework of geometric trace formulas for curves defined over the complex field, which exploits the categorical version of the geometric Langlands correspondence. △ Less

Submitted 5 April, 2011; v1 submitted 29 April, 2010; originally announced April 2010.

Comments: 62 pages; conjectural Atiyah-Bott-Lefschetz fixed point formula for stacks is elucidated. To appear in Bulletin of Mathematical Sciences, Springer-Verlag

On vector configurations that can be realized in the cone of positive matrices

Authors: Péter E. Frenkel, Mihály Weiner

Abstract: Let $v_1$,..., $v_n$ be $n$ vectors in an inner product space. Can we find a natural number $d$ and positive (semidefinite) complex matrices $A_1$,..., $A_n$ of size $d \times d$ such that ${\rm Tr}(A_kA_l)= <v_k, v_l>$ for all $k,l=1,..., n$? For such matrices to exist, one must have $<v_k, v_l> \geq 0$ for all $k,l=1,..., n$. We prove that if $n<5$ then this trivial necessary condition is also… ▽ More Let $v_1$,..., $v_n$ be $n$ vectors in an inner product space. Can we find a natural number $d$ and positive (semidefinite) complex matrices $A_1$,..., $A_n$ of size $d \times d$ such that ${\rm Tr}(A_kA_l)= <v_k, v_l>$ for all $k,l=1,..., n$? For such matrices to exist, one must have $<v_k, v_l> \geq 0$ for all $k,l=1,..., n$. We prove that if $n<5$ then this trivial necessary condition is also a sufficient one and find an appropriate example showing that from $n=5$ this is not so --- even if we allowed realizations by positive operators in a von Neumann algebra with a faithful normal tracial state. The fact that the first such example occurs at $n=5$ is similar to what one has in the well-investigated problem of positive factorization of positive (semidefinite) matrices. If the matrix $(<v_k, v_l>)$ has a positive factorization, then matrices $A_1$,..., $A_n$ as above exist. However, as we show by a large class of examples constructed with the help of the Clifford algebra, the converse implication is false. △ Less

Submitted 5 April, 2010; originally announced April 2010.

Comments: 8 pages

MSC Class: 15B48

Journal ref: Linear Alg. Appl. 459 (2014), 465--474

Formule des Traces et Fonctorialité: le Début d'un Programme

Authors: Edward Frenkel, Robert Langlands, Ngo Bao Chau

Abstract: We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most… ▽ More We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it may be analyzed using the Poisson summation formula. Our main result is that the leading term of the dual sum (the value at 0) is precisely the dominant term of the trace formula (the contribution of the trivial representation). This gives us hope that the full Poisson summation formula would reveal the patterns predicted by functoriality. △ Less

Submitted 29 September, 2010; v1 submitted 24 March, 2010; originally announced March 2010.

Comments: 54 pages. Final version, to appear in Annales des Sciences Mathematiques du Quebec

Remarks on the $α$--permanent

Authors: Péter E. Frenkel

Abstract: We recall Vere-Jones's definition of the $α$--permanent and describe the connection between the (1/2)--permanent and the hafnian. We establish expansion formulae for the $α$--permanent in terms of partitions of the index set, and we use these to prove Lieb-type inequalities for the $\pmα$--permanent of a positive semi-definite Hermitian $n\times n$ matrix and the $α/2$--permanent of a positive s… ▽ More We recall Vere-Jones's definition of the $α$--permanent and describe the connection between the (1/2)--permanent and the hafnian. We establish expansion formulae for the $α$--permanent in terms of partitions of the index set, and we use these to prove Lieb-type inequalities for the $\pmα$--permanent of a positive semi-definite Hermitian $n\times n$ matrix and the $α/2$--permanent of a positive semi-definite real symmetric $n\times n$ matrix if $α$ is a nonnegative integer or $α\ge n-1$. We are unable to settle Shirai's nonnegativity conjecture for $α$--permanents when $α\ge 1$, but we verify it up to the $5\times 5$ case, in addition to recovering and refining some of Shirai's partial results by purely combinatorial proofs. △ Less

Submitted 5 December, 2009; originally announced December 2009.

Comments: 9 pages

MSC Class: 15A15

Journal ref: Math. Res. Lett. 17 (2010), no. 4, 795--802

Soliton equations, vertex operators, and simple singularities

Authors: E. Frenkel, A. Givental, T. Milanov

Abstract: We prove the equivalence of two hierarchies of soliton equations associated to a simply-laced finite Dynkin diagram. The first was defined by Kac and Wakimoto using the principal realization of the basic representations of the corresponding affine Kac-Moody algebra. The second was defined in arXiv:math/0307176 using the Frobenius structure on the local ring of the corresponding simple singularit… ▽ More We prove the equivalence of two hierarchies of soliton equations associated to a simply-laced finite Dynkin diagram. The first was defined by Kac and Wakimoto using the principal realization of the basic representations of the corresponding affine Kac-Moody algebra. The second was defined in arXiv:math/0307176 using the Frobenius structure on the local ring of the corresponding simple singularity. We also obtain a deformation of the principal realization of the basic representation over the space of miniversal deformations of the corresponding singularity. As a by-product, we compute the operator product expansions of pairs of vertex operators defined in terms of Picard-Lefschetz periods for more general singularities. Thus, we establish a surprising link between twisted vertex operators and deformation theory of singularities. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Regular sets and counting in free groups

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely gener… ▽ More In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely generated subgroups of F and also to analyze relative sizes of regular prefixed-closed subsets in F. △ Less

Submitted 16 June, 2009; originally announced June 2009.

Comments: 33 pp, 5 figures

MSC Class: 20E05

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

A rigid irregular connection on the projective line

Authors: Edward Frenkel, Benedict Gross

Abstract: In this paper we construct a connection on the trivial G-bundle on the projective line for any simple complex algebraic group G, which is regular outside of the points 0 and infinity, has a regular singularity at the point 0, with principal unipotent monodromy, and has an irregular singularity at the point infinity, with slope 1/h, the reciprocal of the Coxeter number of G. This connection, whic… ▽ More In this paper we construct a connection on the trivial G-bundle on the projective line for any simple complex algebraic group G, which is regular outside of the points 0 and infinity, has a regular singularity at the point 0, with principal unipotent monodromy, and has an irregular singularity at the point infinity, with slope 1/h, the reciprocal of the Coxeter number of G. This connection, which admits the structure of an oper in the sense of Beilinson and Drinfeld, appears to be the characteristic 0 counterpart of a hypothetical family of l-adic representations, which should parametrize a specific automorphic representation under the global Langlands correspondence. These l-adic representations, and their characteristic 0 counterparts, have been constructed in some cases by Deligne and Katz. Our connection is constructed uniformly for any simple algebraic group, and characterized using the formalism of opers. It provides an example of the geometric Langlands correspondence with wild ramification. We compute the de Rham cohomology of our connection with values in representations of G, and describe its differential Galois group as a subgroup of G. △ Less

Submitted 29 June, 2009; v1 submitted 14 January, 2009; originally announced January 2009.

Comments: 38 pages, the version accepted for publication in Annals of Mathematics (Section 5.1 added about twisted opers)

Any flat bundle on a punctured disc has an oper structure

Authors: Edward Frenkel, Xinwen Zhu

Abstract: We prove that any flat G-bundle, where G is a complex connected reductive algebraic group, on the punctured disc admits the structure of an oper. This result is important in the local geometric Langlands correspondence proposed in arXiv:math/0508382. Our proof uses certain deformations of the affine Springer fibers which could be of independent interest. As a byproduct, we construct representati… ▽ More We prove that any flat G-bundle, where G is a complex connected reductive algebraic group, on the punctured disc admits the structure of an oper. This result is important in the local geometric Langlands correspondence proposed in arXiv:math/0508382. Our proof uses certain deformations of the affine Springer fibers which could be of independent interest. As a byproduct, we construct representations of affine Weyl groups on the homology of these deformations generalizing representations constructed by Lusztig. △ Less

Submitted 27 January, 2010; v1 submitted 19 November, 2008; originally announced November 2008.

Comments: 12 pages

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

Langlands duality for representations of quantum groups

Authors: Edward Frenkel, David Hernandez

Abstract: We establish a correspondence (or duality) between the characters and the crystal bases of finite-dimensional representations of quantum groups associated to Langlands dual semi-simple Lie algebras. This duality may also be stated purely in terms of semi-simple Lie algebras. To explain this duality, we introduce an "interpolating quantum group" depending on two parameters which interpolates betwee… ▽ More We establish a correspondence (or duality) between the characters and the crystal bases of finite-dimensional representations of quantum groups associated to Langlands dual semi-simple Lie algebras. This duality may also be stated purely in terms of semi-simple Lie algebras. To explain this duality, we introduce an "interpolating quantum group" depending on two parameters which interpolates between a quantum group and its Langlands dual. We construct examples of its representations, depending on two parameters, which interpolate between representations of two Langlands dual quantum groups. △ Less

Submitted 5 March, 2011; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: 37 pages. References added. Accepted for publication in Mathematische Annalen

MSC Class: 17B37; 17B10; 81R50

Journal ref: Math. Ann. 349 (2011), no. 3, 705--746