Showing 1–50 of 80 results for author: Okounkov, A

L-function genera and applications

Authors: David Kazhdan, Andrei Okounkov

Abstract: We introduce equivariant L-genera associated to actions of Galois and related groups on algebraic varieties. We explain the role which these L-genera play in the spectral analysis of Eisenstein series. We also discuss the natural categorification of L-genera and its potential role in enumerative geometry. We introduce equivariant L-genera associated to actions of Galois and related groups on algebraic varieties. We explain the role which these L-genera play in the spectral analysis of Eisenstein series. We also discuss the natural categorification of L-genera and its potential role in enumerative geometry. △ Less

Submitted 7 August, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Combinatorial geometry takes the lead

Authors: Andrei Okounkov

Abstract: This is a popular article about the work of June Huh, 2022 Fields medalist. This is a popular article about the work of June Huh, 2022 Fields medalist. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: To appear in Proceedings of the ICM 2022 copyright International Mathematical Union

The Ising model in our dimension and our times

Authors: Andrei Okounkov

Abstract: This is a popular article about the work of Hugo Duminil-Copin, 2022 Fields medalist. This is a popular article about the work of Hugo Duminil-Copin, 2022 Fields medalist. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: To appear in Proceedings of the ICM 2022 copyright International Mathematical Union

The magic of 8 and 24

Authors: Andrei Okounkov

Abstract: This is a popular article about the work of Maryna Viazovska, 2022 Fields medalist. This is a popular article about the work of Maryna Viazovska, 2022 Fields medalist. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: To appear in Proceedings of the ICM 2022 copyright International Mathematical Union

Rhymes in primes

Authors: Andrei Okounkov

Abstract: This is a popular article about the work of James Maynard, 2022 Fields medalist. This is a popular article about the work of James Maynard, 2022 Fields medalist. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: To appear in Proceedings of the ICM 2022 copyright International Mathematical Union

On the unramified Eisenstein spectrum

Authors: David Kazhdan, Andrei Okounkov

Abstract: For a split reductive group ${}^L G$ over a global field, we determine the spectrum of the spherical Hecke algebra coming from the unramified Eisenstein series for the minimal parabolic ${}^L B$. This is done using a certain decomposition of the Springer stack $T^*(B \backslash G/ B)$ for the Langlands dual group in the additive group of cobordisms of cohomologically proper derived quotient stacks… ▽ More For a split reductive group ${}^L G$ over a global field, we determine the spectrum of the spherical Hecke algebra coming from the unramified Eisenstein series for the minimal parabolic ${}^L B$. This is done using a certain decomposition of the Springer stack $T^*(B \backslash G/ B)$ for the Langlands dual group in the additive group of cobordisms of cohomologically proper derived quotient stacks. △ Less

Submitted 10 June, 2025; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: Comments welcome

Nonabelian stable envelopes, vertex functions with descendents, and integral solutions of $q$-difference equations

Authors: Andrei Okounkov

Abstract: We generalize the construction of elliptic stable envelopes to actions of connected reductive groups and give a direct inductive proof of their existence and uniqueness in a rather general situation. We show these have powerful enumerative applications, in particular, to the computation of vertex functions and their monodromy. We generalize the construction of elliptic stable envelopes to actions of connected reductive groups and give a direct inductive proof of their existence and uniqueness in a rather general situation. We show these have powerful enumerative applications, in particular, to the computation of vertex functions and their monodromy. △ Less

Submitted 28 April, 2021; v1 submitted 25 October, 2020; originally announced October 2020.

Virasoro constraints for stable pairs on toric 3-folds

Authors: M. Moreira, A. Oblomkov, A. Okounkov, R. Pandharipande

Abstract: Using new explicit formulas for the stationary GW/PT descendent correspondence for nonsingular projective toric 3-folds, we show that the correspondence intertwines the Virasoro constraints in Gromov-Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov-Witten theory are known to hold in the toric case, we establish the stationary Vi… ▽ More Using new explicit formulas for the stationary GW/PT descendent correspondence for nonsingular projective toric 3-folds, we show that the correspondence intertwines the Virasoro constraints in Gromov-Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov-Witten theory are known to hold in the toric case, we establish the stationary Virasoro constraints for the theory of stable pairs on toric 3-folds. As a consequence, new Virasoro constraints for tautological integrals over Hilbert schemes of points on surfaces are also obtained. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Comments: 65 pages

Inductive construction of stable envelopes

Authors: Andrei Okounkov

Abstract: We revisit the construction of stable envelopes in equivariant elliptic cohomology [arXiv:1604.00423] and give a direct inductive proof of their existence and uniqueness in a rather general situation. We also discuss the specialization of this construction to equivariant K-theory. We revisit the construction of stable envelopes in equivariant elliptic cohomology [arXiv:1604.00423] and give a direct inductive proof of their existence and uniqueness in a rather general situation. We also discuss the specialization of this construction to equivariant K-theory. △ Less

Submitted 28 April, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

The 2-leg vertex in K-theoretic DT theory

Authors: Ya. Kononov, A. Okounkov, A. Osinenko

Abstract: K-theoretic Donaldson-Thomas counts of curves in toric and many related threefolds can be computed in terms of a certain canonical 3-valent tensor, the K-theoretic equivariant vertex. In this paper we derive a formula for the vertex in the case when two out of three entries are nontrivial. We also discuss some applications of this result. K-theoretic Donaldson-Thomas counts of curves in toric and many related threefolds can be computed in terms of a certain canonical 3-valent tensor, the K-theoretic equivariant vertex. In this paper we derive a formula for the vertex in the case when two out of three entries are nontrivial. We also discuss some applications of this result. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 27 pages

GW/PT descendent correspondence via vertex operators

Authors: Alexei Oblomkov, Andrei Okounkov, Rahul Pandharipande

Abstract: We propose an explicit formula for the GW/PT descendent correspondence in the stationary case for nonsingular projective 3-folds. The formula, written in terms of vertex operators, is found by studying the 1-leg geometry. We prove the proposal for all nonsingular projective toric 3-folds. An application to the Virasoro constraints for the stationary descendent theory of stable pairs will appear in… ▽ More We propose an explicit formula for the GW/PT descendent correspondence in the stationary case for nonsingular projective 3-folds. The formula, written in terms of vertex operators, is found by studying the 1-leg geometry. We prove the proposal for all nonsingular projective toric 3-folds. An application to the Virasoro constraints for the stationary descendent theory of stable pairs will appear in a sequel. △ Less

Submitted 7 April, 2020; v1 submitted 2 June, 2018; originally announced June 2018.

Comments: 36 pages, no pictures; few misprints are corrected; to appear in Communications in Mathematical Physics; slight change in the definition of the generating function for GW invariants; many misprints corrected

Journal ref: Comm. Math. Phys. 374 (2020), no. 3, 1321--1359

Takagi lectures on Donaldson-Thomas theory

Authors: Andrei Okounkov

Abstract: These are the notes for my 2017 Takagi lectures on DT counts of curves in algebraic threefolds. We discuss the fundamentals of the subject, its origins, open questions, and certain recent advances. These are the notes for my 2017 Takagi lectures on DT counts of curves in algebraic threefolds. We discuss the fundamentals of the subject, its origins, open questions, and certain recent advances. △ Less

Submitted 9 October, 2018; v1 submitted 30 January, 2018; originally announced February 2018.

Comments: 78 pages, to appear in Japanese Journal of Mathematics

On the crossroads of enumerative geometry and geometric representation theory

Authors: Andrei Okounkov

Abstract: The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [64-66] that reflect a certain range of developments, but even in their totality they cannot be taken as a comprehensive survey. In the format of a 30-page contribution aimed at a general mathematical audience, I have decided to illustrate some of the basic ideas in one very… ▽ More The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [64-66] that reflect a certain range of developments, but even in their totality they cannot be taken as a comprehensive survey. In the format of a 30-page contribution aimed at a general mathematical audience, I have decided to illustrate some of the basic ideas in one very interesting example - that of HilbpC2, nq, hoping to spark the curiosity of colleagues in those numerous fields of study where one should expect applications. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: This is my contribution to the proceedings of ICM 2018

Quasimap counts and Bethe eigenfunctions

Authors: Mina Aganagic, Andrei Okounkov

Abstract: We associate an explicit equivalent descendent insertion to any relative insertion in quantum K-theory of Nakajima varieties. This also serves as an explicit formula for off-shell Bethe eigenfunctions for general quantum loop algebras associated to quivers and gives the general integral solution to the corresponding quantum Knizhnik-Zamolodchikov and dynamical q-difference equations. We associate an explicit equivalent descendent insertion to any relative insertion in quantum K-theory of Nakajima varieties. This also serves as an explicit formula for off-shell Bethe eigenfunctions for general quantum loop algebras associated to quivers and gives the general integral solution to the corresponding quantum Knizhnik-Zamolodchikov and dynamical q-difference equations. △ Less

Submitted 27 April, 2017; originally announced April 2017.

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

Enumerative geometry and geometric representation theory

Authors: Andrei Okounkov

Abstract: This is an introduction to: (1) the enumerative geometry of rational curves in equivariant symplectic resolutions, and (2) its relation to the structures of geometric representation theory. Written for the 2015 Algebraic Geometry Summer Institute. This is an introduction to: (1) the enumerative geometry of rational curves in equivariant symplectic resolutions, and (2) its relation to the structures of geometric representation theory. Written for the 2015 Algebraic Geometry Summer Institute. △ Less

Submitted 3 January, 2017; originally announced January 2017.

Elliptic stable envelopes

Authors: Mina Aganagic, Andrei Okounkov

Abstract: We construct stable envelopes in equivariant elliptic cohomology of Nakajima quiver varieties. In particular, this gives an elliptic generalization of the results of arXiv:1211.1287. We apply them to the computation of the monodromy of $q$-difference equations arising the enumerative K-theory of rational curves in Nakajima varieties, including the quantum Knizhnik-Zamolodchikov equations. We construct stable envelopes in equivariant elliptic cohomology of Nakajima quiver varieties. In particular, this gives an elliptic generalization of the results of arXiv:1211.1287. We apply them to the computation of the monodromy of $q$-difference equations arising the enumerative K-theory of rational curves in Nakajima varieties, including the quantum Knizhnik-Zamolodchikov equations. △ Less

Submitted 11 March, 2020; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: to appear in JAMS

Quantum difference equation for Nakajima varieties

Authors: Andrei Okounkov, Andrey Smirnov

Abstract: For an arbitrary Nakajima quiver variety $X$, we construct an analog of the quantum dynamical Weyl group acting in its equivariant K-theory. The correct generalization of the Weyl group here is the fundamental groupoid of a certain periodic locally finite hyperplane arrangement in $Pic(X)\otimes {\mathbb{C}}$. We identify the lattice part of this groupoid with the operators of quantum difference e… ▽ More For an arbitrary Nakajima quiver variety $X$, we construct an analog of the quantum dynamical Weyl group acting in its equivariant K-theory. The correct generalization of the Weyl group here is the fundamental groupoid of a certain periodic locally finite hyperplane arrangement in $Pic(X)\otimes {\mathbb{C}}$. We identify the lattice part of this groupoid with the operators of quantum difference equation for $X$. The cases of quivers of finite and affine type are illustrated by explicit examples. △ Less

Submitted 27 April, 2022; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: 105 pages, 3 figures

Lectures on K-theoretic computations in enumerative geometry

Authors: Andrei Okounkov

Abstract: These are notes from my lectures on quantum K-theory of Nakajima quiver varieties and K-theoretic Donaldson-Thomas theory of threefolds given at Columbia and Park City Mathematics Institute. They contain an introduction to the subject and a number of new results. In particular, we prove the main conjecture of arXiv:hep-th/0412021 and the conjecture of arXiv:1404.2323 in the simplest case of reduce… ▽ More These are notes from my lectures on quantum K-theory of Nakajima quiver varieties and K-theoretic Donaldson-Thomas theory of threefolds given at Columbia and Park City Mathematics Institute. They contain an introduction to the subject and a number of new results. In particular, we prove the main conjecture of arXiv:hep-th/0412021 and the conjecture of arXiv:1404.2323 in the simplest case of reduced smooth curves. We also prove the the absence of quantum corrections to the capped vertex with descendents for sufficiently large framing (and polarization), which is a property we call large framing vanishing. The shift operators for minuscule shift are shown to be given by qKZ operators, which is a K-theoretic analog of the result of arXiv:1211.1287. △ Less

Submitted 3 January, 2017; v1 submitted 23 December, 2015; originally announced December 2015.

Noncommutative geometry and Painlevé equations

Authors: Andrei Okounkov, Eric Rains

Abstract: We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces. We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Journal ref: Algebra Number Theory 9 (2015) 1363-1400

Hilbert schemes and multiple q-zeta values

Authors: Andrei Okounkov

Abstract: We present several conjectures on multiple q-zeta values and on the role they play in certain problems of enumerative geometry. We present several conjectures on multiple q-zeta values and on the role they play in certain problems of enumerative geometry. △ Less

Submitted 15 April, 2014; originally announced April 2014.

Membranes and Sheaves

Authors: Nikita Nekrasov, Andrei Okounkov

Abstract: Our goal in this paper is to discuss a conjectural correspondence between enumerative geometry of curves in Calabi-Yau 5-folds $Z$ and 1-dimensional sheaves on 3-folds $X$ that are embedded in $Z$ as fixed points of certain $\mathbb{C}^\times$-actions. In both cases, the enumerative information is taken in equivariant $K$-theory, where the equivariance is with respect to all automorphisms of the p… ▽ More Our goal in this paper is to discuss a conjectural correspondence between enumerative geometry of curves in Calabi-Yau 5-folds $Z$ and 1-dimensional sheaves on 3-folds $X$ that are embedded in $Z$ as fixed points of certain $\mathbb{C}^\times$-actions. In both cases, the enumerative information is taken in equivariant $K$-theory, where the equivariance is with respect to all automorphisms of the problem. In Donaldson-Thomas theories, one sums up over all Euler characteristics with a weight $(-q)^χ$, where $q$ is a parameter, informally referred to as the boxcounting parameter. The main feature of the correspondence is that the 3-dimensional boxcounting parameter $q$ becomes in $5$ dimensions the equivariant parameter for the $\mathbb{C}^\times$-action that defines $X$ inside $Z$. The 5-dimensional theory effectively sums up the $q$-expansion in the Donaldson-Thomas theory. In particular, it gives a natural explanation of the rationality (in $q$) of the DT partition functions. Other expected as well as unexpected symmetries of the DT counts follow naturally from the 5-dimensional perspective. These involve choosing different $\mathbb{C}^\times$-actions on the same $Z$, and thus relating the same 5-dimensional theory to different DT problems. The important special case $Z=X \times \mathbb{C}^2$ is considered in detail in Sections 7 and 8. If $X$ is a toric Calabi-Yau threefold, we compute the theory in terms of a certain index vertex. We show the refined vertex found combinatorially by Iqbal, Kozcaz, and Vafa is a special case of the index vertex. △ Less

Submitted 8 April, 2014; originally announced April 2014.

Comments: 77 pages, 5 figures

Five dimensional gauge theories and vertex operators

Authors: Erik Carlsson, Nikita Nekrasov, Andrei Okounkov

Abstract: We study supersymmetric gauge theories in five dimensions, using their relation to the K-theory of the moduli spaces of torsion free sheaves. In the spirit of the BPS/CFT correspondence the partition function and the expectation values of the chiral, BPS protected observables are given by the matrix elements and more generally by the correlation functions in some q-deformed conformal field theory… ▽ More We study supersymmetric gauge theories in five dimensions, using their relation to the K-theory of the moduli spaces of torsion free sheaves. In the spirit of the BPS/CFT correspondence the partition function and the expectation values of the chiral, BPS protected observables are given by the matrix elements and more generally by the correlation functions in some q-deformed conformal field theory in two dimensions. We show that the coupling of the gauge theory to the bi-fundamental matter hypermultiplet inserts a particular vertex operator in this theory. In this way we get a generalization of the main result of \cite{CO} to $K$-theory. The theory of interpolating Macdonald polynomials is an important tool in our construction. △ Less

Submitted 12 August, 2013; originally announced August 2013.

Comments: 33 pages

MSC Class: 17B69; 14C05

Quantum Groups and Quantum Cohomology

Authors: Davesh Maulik, Andrei Okounkov

Abstract: In this paper, we study the classical and quantum equivariant cohomology of Nakajima quiver varieties for a general quiver Q. Using a geometric R-matrix formalism, we construct a Hopf algebra Y_Q, the Yangian of Q, acting on the cohomology of these varieties, and show several results about their basic structure theory. We prove a formula for quantum multiplication by divisors in terms of this Yang… ▽ More In this paper, we study the classical and quantum equivariant cohomology of Nakajima quiver varieties for a general quiver Q. Using a geometric R-matrix formalism, we construct a Hopf algebra Y_Q, the Yangian of Q, acting on the cohomology of these varieties, and show several results about their basic structure theory. We prove a formula for quantum multiplication by divisors in terms of this Yangian action. The quantum connection can be identified with the trigonometric Casimir connection for Y_Q; equivalently, the divisor operators correspond to certain elements of Baxter subalgebras of Y_Q. A key role is played by geometric shift operators which can be identified with the quantum KZ difference connection. In the second part, we give an extended example of the general theory for moduli spaces of sheaves on C^2, framed at infinity. Here, the Yangian action is analyzed explicitly in terms of a free field realization; the corresponding R-matrix is closely related to the reflection operator in Liouville field theory. We show that divisor operators generate the quantum ring, which is identified with the full Baxter subalgebras. As a corollary of our construction, we obtain an action of the W-algebra W(gl(r)) on the equivariant cohomology of rank $r$ moduli spaces, which implies certain conjectures of Alday, Gaiotto, and Tachikawa. △ Less

Submitted 6 June, 2018; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: 277 pages, to appear in Asterisque

Quantum cohomology of the Springer resolution

Authors: Alexander Braverman, Davesh Maulik, Andrei Okounkov

Abstract: Let G denote a complex, semisimple, simply-connected group. We identify the equivariant quantum differential equation for the cotangent bundle to the flag variety of G with the affine Knizhnik-Zamolodchikov connection of Cherednik and Matsuo. This recovers Kim's description of quantum cohomology of the flag variety itself as a limiting case. A parallel result is proven for resolutions of the Slo… ▽ More Let G denote a complex, semisimple, simply-connected group. We identify the equivariant quantum differential equation for the cotangent bundle to the flag variety of G with the affine Knizhnik-Zamolodchikov connection of Cherednik and Matsuo. This recovers Kim's description of quantum cohomology of the flag variety itself as a limiting case. A parallel result is proven for resolutions of the Slodowy slices. Extension to arbitrary symplectic resolutions is discussed. △ Less

Submitted 5 January, 2010; v1 submitted 30 December, 2009; originally announced January 2010.

Noncommutative geometry of random surfaces

Authors: Andrei Okounkov

Abstract: We associate a noncommutative curve to a periodic, bipartite, planar dimer model with polygonal boundary. It determines the inverse Kasteleyn matrix and hence all correlations. It may be seen as a quantization of the limit shape construction of Kenyon and the author in arXiv:math-ph/0507007. We also discuss various directions in which this correspondence may be generalized. We associate a noncommutative curve to a periodic, bipartite, planar dimer model with polygonal boundary. It determines the inverse Kasteleyn matrix and hence all correlations. It may be seen as a quantization of the limit shape construction of Kenyon and the author in arXiv:math-ph/0507007. We also discuss various directions in which this correspondence may be generalized. △ Less

Submitted 14 July, 2009; originally announced July 2009.

The quantum differential equation of the Hilbert scheme of points in the plane

Authors: Andrei Okounkov, Rahul Pandharipande

Abstract: We discuss here basic properties of the quantum differential equation of the Hilbert scheme of points in the plane. Our emphasis is on intertwining operators (which shift equivariant parameters) and their applications. In particular, we obtain an exact solution to the connection problem from the Donaldson-Thomas point q=0 to the Gromov-Witten point q=-1. The paper is an expanded version of what wa… ▽ More We discuss here basic properties of the quantum differential equation of the Hilbert scheme of points in the plane. Our emphasis is on intertwining operators (which shift equivariant parameters) and their applications. In particular, we obtain an exact solution to the connection problem from the Donaldson-Thomas point q=0 to the Gromov-Witten point q=-1. The paper is an expanded version of what was once the last Section of arXiv:math/0411210. △ Less

Submitted 9 June, 2019; v1 submitted 19 June, 2009; originally announced June 2009.

Comments: Final version from 2010

Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds

Authors: D. Maulik, A. Oblomkov, A. Okounkov, R. Pandharipande

Abstract: We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting. We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 46 pages

Exts and Vertex Operators

Authors: Erik Carlsson, Andrei Okounkov

Abstract: The direct product of two Hilbert schemes of the same surface has natural K-theory classes given by the alternating Ext groups between the two ideal sheaves in question, twisted by a line bundle. We express the Chern classes of these virtual bundles in terms of Nakajima operators. The direct product of two Hilbert schemes of the same surface has natural K-theory classes given by the alternating Ext groups between the two ideal sheaves in question, twisted by a line bundle. We express the Chern classes of these virtual bundles in terms of Nakajima operators. △ Less

Submitted 8 November, 2017; v1 submitted 16 January, 2008; originally announced January 2008.

Comments: 21 pages, 0 figures

MSC Class: 14C05 (Primary); 17B69 (Secondary)

Journal ref: Duke Math. J. 161, no. 9 (2012), 1797-1815

Geometry of planar log-fronts

Authors: Grigory Mikhalkin, Andrei Okounkov

Abstract: The log-front of two plane curves P(z,w)=0 and Q(z,w)=0 is the locus of (a,b) such that Q(az,bw)=0 is tangent to P(z,w)=0. Log-fronts generalize dual curves, wave fronts, and arise naturally in the theory of random surfaces. Our goal in this paper is to prove analogs of Plucker and Klein formulas for log-fronts. The log-front of two plane curves P(z,w)=0 and Q(z,w)=0 is the locus of (a,b) such that Q(az,bw)=0 is tangent to P(z,w)=0. Log-fronts generalize dual curves, wave fronts, and arise naturally in the theory of random surfaces. Our goal in this paper is to prove analogs of Plucker and Klein formulas for log-fronts. △ Less

Submitted 1 August, 2006; originally announced August 2006.

Comments: Dedicated to Askold Khovanskii on the occasion of his 60th birthday

Limits of BC-type orthogonal polynomials as the number of variables goes to infinity

Authors: Andrei Okounkov, Grigori Olshanski

Abstract: We describe the asymptotic behavior of the multivariate BC-type Jacobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B,C,D or BC by the spherical functions of the corresponding finite-dimensional symmetric spa… ▽ More We describe the asymptotic behavior of the multivariate BC-type Jacobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B,C,D or BC by the spherical functions of the corresponding finite-dimensional symmetric spaces. Similar results for the Jack polynomials were established in our earlier paper (Intern. Math. Res. Notices 1998, no. 13, 641-s682; arXiv:q-alg/9709011). The main results of the present paper were obtained in 1997. △ Less

Submitted 4 June, 2006; originally announced June 2006.

Comments: 39 pages, to appear in: "Jack, Hall-Littlewood and Macdonald polynomials", Contemporary Mathematics, AMS

MSC Class: 33C52; 43A90

Journal ref: In: Jack, Hall-Littlewood and Macdonald Polynomials (E.B.Kuznetsov and S.Sahi,eds). Amer. Math. Soc., Contemporary Math. vol. 417, 2006

Random partitions and instanton counting

Authors: Andrei Okounkov

Abstract: In this expository paper we summarize the connection between random partitions and 4-dimensional supersymmetric gauge theories discovered in hep-th/0306238. There is also a brief section about how this extends to 3-dimensional partitions which is best read together with math-ph/0412008. In this expository paper we summarize the connection between random partitions and 4-dimensional supersymmetric gauge theories discovered in hep-th/0306238. There is also a brief section about how this extends to 3-dimensional partitions which is best read together with math-ph/0412008. △ Less

Submitted 28 January, 2006; originally announced January 2006.

Comments: 24 pages, 9 figures

The local Donaldson-Thomas theory of curves

Authors: A. Okounkov, R. Pandharipande

Abstract: The local Donaldson-Thomas theory of curves is solved by localization and degeneration methods. The results complete a triangle of equivalences relating Gromov-Witten theory, Donaldson-Thomas theory, and the quantum cohomology of the Hilbert scheme of points of the plane. The quantum differential equation of the Hilbert scheme of points of the plane has a natural interpretation in the local Do… ▽ More The local Donaldson-Thomas theory of curves is solved by localization and degeneration methods. The results complete a triangle of equivalences relating Gromov-Witten theory, Donaldson-Thomas theory, and the quantum cohomology of the Hilbert scheme of points of the plane. The quantum differential equation of the Hilbert scheme of points of the plane has a natural interpretation in the local Donaldson-Thomas theory of curves. The solution determines the 1-legged equivariant vertex. △ Less

Submitted 26 December, 2005; originally announced December 2005.

Comments: 75 pages

Limit shapes and the complex burgers equation

Authors: Richard Kenyon, Andrei Okounkov

Abstract: In this paper we study surfaces in R^3 that arise as limit shapes in a class of random surface models arising from dimer models. The limit shapes are minimizers of a surface tension functional, that is, they minimize, for fixed boundary conditions, the integral of a quantity (the surface tension) depending only on the slope of the surface. The surface tension as a function of the slope has singu… ▽ More In this paper we study surfaces in R^3 that arise as limit shapes in a class of random surface models arising from dimer models. The limit shapes are minimizers of a surface tension functional, that is, they minimize, for fixed boundary conditions, the integral of a quantity (the surface tension) depending only on the slope of the surface. The surface tension as a function of the slope has singularities and is not strictly convex, which leads to formation of facets and edges in the limit shapes. We find a change of variables that reduces the Euler-Lagrange equation for the variational problem to the complex inviscid Burgers equation (complex Hopf equation). The equation can thus be solved in terms of an arbitrary holomorphic function, which is somewhat similar in spirit to Weierstrass parametrization of minimal surfaces. We further show that for a natural dense set of boundary conditions, the holomorphic function in question is, in fact, algebraic. The tools of algebraic geometry can thus be brought in to study the the minimizers and, especially, the formation of their singularities. This is illustrated by several explicitly computed examples. △ Less

Submitted 8 March, 2007; v1 submitted 1 July, 2005; originally announced July 2005.

Comments: minor changes

Pillowcases and quasimodular forms

Authors: Alex Eskin, Andrei Okounkov

Abstract: We prove that natural generating functions for enumeration of branched coverings of the pillowcase orbifold are level 2 quasimodular forms. This gives a way to compute the volumes of the strata of the moduli space of quadratic differentials. We prove that natural generating functions for enumeration of branched coverings of the pillowcase orbifold are level 2 quasimodular forms. This gives a way to compute the volumes of the strata of the moduli space of quadratic differentials. △ Less

Submitted 12 July, 2005; v1 submitted 25 May, 2005; originally announced May 2005.

Comments: 30 pages, an appendix with examples added

Random skew plane partitions and the Pearcey process

Authors: Andrei Okounkov, Nicolai Reshetikhin

Abstract: We study random skew 3D partitions weighted by $q^{\textup{vol}}$ and, specifically, the $q\to 1$ asymptotics of local correlations near various points of the limit shape. We obtain sine-kernel asymptotics for correlations in the bulk of the disordered region, Airy kernel asymptotics near a general point of the frozen boundary, and a Pearcey kernel asymptotics near a cusp of the frozen boundary. We study random skew 3D partitions weighted by $q^{\textup{vol}}$ and, specifically, the $q\to 1$ asymptotics of local correlations near various points of the limit shape. We obtain sine-kernel asymptotics for correlations in the bulk of the disordered region, Airy kernel asymptotics near a general point of the frozen boundary, and a Pearcey kernel asymptotics near a cusp of the frozen boundary. △ Less

Submitted 25 April, 2005; v1 submitted 23 March, 2005; originally announced March 2005.

MSC Class: 68R05; 82B05

A New Approach to the Representation Thoery of the Symmetric Groups. 2

Authors: A. M. Vershik, A. Yu. Okounkov

Abstract: The new approach to the theory of complex representrations of the finite symmetric groups which based on the notions of Coxeter generators., Gelfand-Zetlin algebras, Hecke algebra, Young-Jucys-Murphi generators and which hardly used inductive structure - is systematically developed. The appearence of Young diagrams, tables is naturally explained - the set of content vectors of all Young tables i… ▽ More The new approach to the theory of complex representrations of the finite symmetric groups which based on the notions of Coxeter generators., Gelfand-Zetlin algebras, Hecke algebra, Young-Jucys-Murphi generators and which hardly used inductive structure - is systematically developed. The appearence of Young diagrams, tables is naturally explained - the set of content vectors of all Young tables is the spectra of Gel'fand-Zetlin algebra. The first steps of the theory (the list of the irrediucible representatinos, branching rule, Young orthopgonal form, Murnagan-Nakayama rule etc.)are established.This appraoch canbe used for other classical series, wreath products with symmetric groups. This paper is the revcised version of the paper of the same authors which was published in Selecta MAth. (New Series) V.2(1996). △ Less

Submitted 20 April, 2005; v1 submitted 2 March, 2005; originally announced March 2005.

Comments: 25p

MSC Class: 05E05; 81R05

Journal ref: Zapiski Seminarod POMI (In Russian) v.307, 2004

Random surfaces enumerating algebraic curves

Authors: Andrei Okounkov

Abstract: These are notes from my lecture at 4ECM in Stockholm (June 2004). These are notes from my lecture at 4ECM in Stockholm (June 2004). △ Less

Submitted 2 December, 2004; originally announced December 2004.

Comments: 24 pages, 7 figures

Quantum cohomology of the Hilbert scheme of points in the plane

Authors: A. Okounkov, R. Pandharipande

Abstract: We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for loca… ▽ More We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven. △ Less

Submitted 15 April, 2008; v1 submitted 9 November, 2004; originally announced November 2004.

Comments: Revised version. Results related to Jack symmetric functions moved to an upcoming paper

Gromov-Witten theory and Donaldson-Thomas theory, II

Authors: D. Maulik, N. Nekrasov, A. Okounkov, R. Pandharipande

Abstract: We discuss the GW/DT correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov-Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson-Thomas theory. Relative constraints in Gromov-Witten theory are conjectured to correspond in Donaldson-Thomas theory to cohomology classes of the Hilbert scheme of points of the relati… ▽ More We discuss the GW/DT correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov-Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson-Thomas theory. Relative constraints in Gromov-Witten theory are conjectured to correspond in Donaldson-Thomas theory to cohomology classes of the Hilbert scheme of points of the relative divisor. Independent of the conjectural framework, we prove degree 0 formulas for the absolute and relative Donaldson-Thomas theories of toric varieties. △ Less

Submitted 9 January, 2005; v1 submitted 5 June, 2004; originally announced June 2004.

Comments: 28 pages, revised version

The theta characteristic of a branched covering

Authors: Alex Eskin, Andrei Okounkov, Rahul Pandharipande

Abstract: We give a group-theoretic description of the parity of a pull-back of a theta characteristic under a branched covering. It involves lifting monodromy of the covering to the semidirect product of the symmetric and Clifford groups, known as the Sergeev group. As an application, we enumerate torus coverings with respect to their ramification and parity and, in particular, show that the correspondin… ▽ More We give a group-theoretic description of the parity of a pull-back of a theta characteristic under a branched covering. It involves lifting monodromy of the covering to the semidirect product of the symmetric and Clifford groups, known as the Sergeev group. As an application, we enumerate torus coverings with respect to their ramification and parity and, in particular, show that the corresponding all-degree generating functions are quasimodular forms. △ Less

Submitted 9 December, 2003; originally announced December 2003.

Comments: 22 pages, 5 figures

Gromov-Witten theory and Donaldson-Thomas theory, I

Authors: D. Maulik, N. Nekrasov, A. Okounkov, R. Pandharipande

Abstract: We conjecture an equivalence between the Gromov-Witten theory of 3-folds and the holomorphic Chern-Simons theory of Donaldson-Thomas. For Calabi-Yau 3-folds, the equivalence is defined by the change of variables, exp(iu)=-q, where u is the genus parameter of GW theory and q is charge parameter of DT theory. The conjecture is proven for local Calabi-Yau toric surfaces. We conjecture an equivalence between the Gromov-Witten theory of 3-folds and the holomorphic Chern-Simons theory of Donaldson-Thomas. For Calabi-Yau 3-folds, the equivalence is defined by the change of variables, exp(iu)=-q, where u is the genus parameter of GW theory and q is charge parameter of DT theory. The conjecture is proven for local Calabi-Yau toric surfaces. △ Less

Submitted 5 June, 2004; v1 submitted 2 December, 2003; originally announced December 2003.

Comments: 31 pages, revised version

Report number: ITEP-TH-61/03, IHES/M/03/67

Planar dimers and Harnack curves

Authors: Richard Kenyon, Andrei Okounkov

Abstract: In this paper we study the connection between dimers and Harnack curves discovered in math-ph/0311005. We prove that every Harnack curve arises as a spectral curve of some dimer model. We also prove that the space of Harnack curve of given degree is homeomorphic to a closed octant and that the areas of the amoeba holes and the distances between the amoeba tentacles give these global coordinates.… ▽ More In this paper we study the connection between dimers and Harnack curves discovered in math-ph/0311005. We prove that every Harnack curve arises as a spectral curve of some dimer model. We also prove that the space of Harnack curve of given degree is homeomorphic to a closed octant and that the areas of the amoeba holes and the distances between the amoeba tentacles give these global coordinates. We characterize Harnack curves of genus zero as spectral curves of isoradial dimers and also as minimizers of the volume under their Ronkin function with given boundary conditions. △ Less

Submitted 18 October, 2004; v1 submitted 5 November, 2003; originally announced November 2003.

Comments: 29 pages, 8 figures

Dimers and Amoebae

Authors: Richard Kenyon, Andrei Okounkov, Scott Sheffield

Abstract: We study random surfaces which arise as height functions of random perfect matchings (a.k.a. dimer configurations) on an weighted, bipartite, doubly periodic graph G embedded in the plane. We derive explicit formulas for the surface tension and local Gibbs measure probabilities of these models. The answers involve a certain plane algebraic curve, which is the spectral curve of the Kasteleyn oper… ▽ More We study random surfaces which arise as height functions of random perfect matchings (a.k.a. dimer configurations) on an weighted, bipartite, doubly periodic graph G embedded in the plane. We derive explicit formulas for the surface tension and local Gibbs measure probabilities of these models. The answers involve a certain plane algebraic curve, which is the spectral curve of the Kasteleyn operator of the graph. For example, the surface tension is the Legendre dual of the Ronkin function of the spectral curve. The amoeba of the spectral curve represents the phase diagram of the dimer model. Further, we prove that the spectral curve of a dimer model is always a real curve of special type, namely it is a Harnack curve. This implies many qualitative and quantitative statement about the behavior of the dimer model, such as existence of smooth phases, decay rate of correlations, growth rate of height function fluctuations, etc. △ Less

Submitted 5 November, 2003; originally announced November 2003.

Comments: 33 pages, 12 figures

Random trees and moduli of curves

Authors: Andrei Okounkov

Abstract: These are (not updated) notes from the lectures I gave in St.Petersburg in July of 2001. Their goal is to give an expository account of the proof of Kontsevich's combinatorial formula for intersections on moduli spaces of curves following math.AG/0101147. These are (not updated) notes from the lectures I gave in St.Petersburg in July of 2001. Their goal is to give an expository account of the proof of Kontsevich's combinatorial formula for intersections on moduli spaces of curves following math.AG/0101147. △ Less

Submitted 4 September, 2003; originally announced September 2003.

Comments: 44 pages, 22 figures

Symmetric functions and random partitions

Authors: Andrei Okounkov

Abstract: These are (not updated) notes from the lectures I gave at the NATO ASI ``Symmetric Functions 2001'' at the Isaac Newton Institute in Cambridge (June 25 -- July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions. These are (not updated) notes from the lectures I gave at the NATO ASI ``Symmetric Functions 2001'' at the Isaac Newton Institute in Cambridge (June 25 -- July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions. △ Less

Submitted 4 September, 2003; originally announced September 2003.

Comments: 35 pages, 11 figures

The uses of random partitions

Authors: Andrei Okounkov

Abstract: These are extended notes for my talk at the ICMP 2003 in Lisbon. Our goal here is to demonstrate how natural and fundamental random partitions are from many different points of view. We discuss various natural measures on partitions, their correlation functions, limit shapes, and how they arise in applications, in particular, in the Gromov-Witten and Seiberg-Witten theory. These are extended notes for my talk at the ICMP 2003 in Lisbon. Our goal here is to demonstrate how natural and fundamental random partitions are from many different points of view. We discuss various natural measures on partitions, their correlation functions, limit shapes, and how they arise in applications, in particular, in the Gromov-Witten and Seiberg-Witten theory. △ Less

Submitted 4 September, 2003; originally announced September 2003.

Comments: 36 pages, 10 figures

Virasoro constraints for target curves

Authors: Andrei Okounkov, Rahul Pandharipande

Abstract: We prove generalized Virasoro constraints for the relative Gromov-Witten theories of all nonsingular target curves. Descendents of the even cohomology classes are studied first by localization, degeneration, and completed cycle methods. Descendents of the odd cohomology are then controlled by monodromy and geometric vanishing relations. As an outcome of our results, the relative theories of targ… ▽ More We prove generalized Virasoro constraints for the relative Gromov-Witten theories of all nonsingular target curves. Descendents of the even cohomology classes are studied first by localization, degeneration, and completed cycle methods. Descendents of the odd cohomology are then controlled by monodromy and geometric vanishing relations. As an outcome of our results, the relative theories of target curves are completely and explicitly determined. △ Less

Submitted 11 August, 2003; originally announced August 2003.

Comments: 80 pages, 6 figures

Hodge integrals and invariants of the unknot

Authors: A Okounkov, R Pandharipande

Abstract: We prove the Gopakumar-Marino-Vafa formula for special cubic Hodge integrals. The GMV formula arises from Chern-Simons/string duality applied to the unknot in the three sphere. The GMV formula is a q-analog of the ELSV formula for linear Hodge integrals. We find a system of bilinear localization equations relating linear and special cubic Hodge integrals. The GMV formula then follows easily from… ▽ More We prove the Gopakumar-Marino-Vafa formula for special cubic Hodge integrals. The GMV formula arises from Chern-Simons/string duality applied to the unknot in the three sphere. The GMV formula is a q-analog of the ELSV formula for linear Hodge integrals. We find a system of bilinear localization equations relating linear and special cubic Hodge integrals. The GMV formula then follows easily from the ELSV formula. An operator form of the GMV formula is presented in the last section of the paper. △ Less

Submitted 3 June, 2004; v1 submitted 15 July, 2003; originally announced July 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper17.abs.html

MSC Class: 14H10; 57M27

Journal ref: Geom. Topol. 8 (2004) 675-699

Seiberg-Witten Theory and Random Partitions

Authors: Nikita Nekrasov, Andrei Okounkov

Abstract: We study N=2 supersymmetric four dimensional gauge theories, in a certain N=2 supergravity background, called Omega-background. The partition function of the theory in the Omega-background can be calculated explicitly. We investigate various representations for this partition function: a statistical sum over random partitions, a partition function of the ensemble of random curves, a free fermion… ▽ More We study N=2 supersymmetric four dimensional gauge theories, in a certain N=2 supergravity background, called Omega-background. The partition function of the theory in the Omega-background can be calculated explicitly. We investigate various representations for this partition function: a statistical sum over random partitions, a partition function of the ensemble of random curves, a free fermion correlator. These representations allow to derive rigorously the Seiberg-Witten geometry, the curves, the differentials, and the prepotential. We study pure N=2 theory, as well as the theory with matter hypermultiplets in the fundamental or adjoint representations, and the five dimensional theory compactified on a circle. △ Less

Submitted 25 June, 2003; v1 submitted 24 June, 2003; originally announced June 2003.

Comments: 90 pp. plain TeX, 15 pictures

Report number: IHES-P/03/43, PUMD-2003, ITEP-36/03