Dimers and cluster integrable systems

Alexander B. Goncharov; Richard Kenyon

Annales scientifiques de l'École Normale Supérieure (2013)

  • Volume: 46, Issue: 5, page 747-813
  • ISSN: 0012-9593

Abstract

top
We show that the dimer model on a bipartite graph Γ on a torus gives rise to a quantum integrable system of special type, which we call acluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space Ł Γ of line bundles with connections on the graph Γ . The sum of Hamiltonians is essentially the partition function of the dimer model. We say that two such graphs Γ 1 and Γ 2 areequivalentif the Newton polygons of the corresponding partition functions coincide up to translation. We define elementary transformations of bipartite surface graphs, and show that two equivalent minimal bipartite graphs are related by a sequence of elementary transformations. For each elementary transformation we define a birational Poisson isomorphism Ł Γ 1 Ł Γ 2 providing an equivalence of the integrable systems. We show that it is a cluster Poisson transformation, as defined in [10]. We show that for any convex integral polygon N there is a non-empty finite set of minimal graphs Γ for which N is the Newton polygon of the partition function related to  Γ . Gluing the varieties Ł Γ for graphs Γ related by elementary transformations via the corresponding cluster Poisson transformations, we get a Poisson space 𝒳 N . It is a natural phase space for the integrable system. The Hamiltonians are functions on  𝒳 N , parametrized by the interior points of the Newton polygon N . We construct Casimir functions whose level sets are the symplectic leaves of  𝒳 N . The space 𝒳 N has a structure of a cluster Poisson variety. Therefore the algebra of regular functions on  𝒳 N has a non-commutative q -deformation to a * -algebra 𝒪 q ( 𝒳 N ) . We show that the Hamiltonians give rise to a commuting family of quantum Hamiltonians. Together with the quantum Casimirs, they provide a quantum integrable system. Applying the general quantization scheme [11], we get a * -representation of the * -algebra 𝒪 q ( 𝒳 N ) in a Hilbert space. The quantum Hamiltonians act by commuting unbounded selfadjoint operators. For square grid bipartite graphs on a torus we getdiscrete quantum integrable systems, where the evolution is a cluster automorphism of the * -algebra 𝒪 q ( 𝒳 N ) commuting with the quantum Hamiltonians. We show that theoctahedral recurrence, closely related to Hirota’s bilinear difference equation[20], appears this way. Any graph G on a torus 𝕋 gives rise to a bipartite graph Γ G on  𝕋 . We show that the phase space  𝒳 related to the graph Γ G has a Lagrangian subvariety , defined in each coordinate system by a system of monomial equations. We identify it with the space parametrizing resistor networks on  G . The pair ( 𝒳 , ) has a large group of cluster automorphisms. In particular, for a hexagonal grid graph we get a discrete quantum integrable system on  𝒳 whose restriction to  is essentially given by thecube recurrence[33], [4]. The set of positive real points 𝒳 N ( > 0 ) of the phase space is well defined. It is isomorphic to the moduli space of simple Harnack curves with divisors studied in [26]. The Liouville tori of the real integrable system are given by the product of ovals of the simple Harnack curves. In the sequel [17] to this paper we show that the set of complex points 𝒳 N ( ) of the phase space is birationally isomorphic to a finite cover of the Beauville complex algebraic integrable system related to the toric surface assigned to the polygon N .

How to cite

top

Goncharov, Alexander B., and Kenyon, Richard. "Dimers and cluster integrable systems." Annales scientifiques de l'École Normale Supérieure 46.5 (2013): 747-813. <http://eudml.org/doc/272193>.

@article{Goncharov2013,
abstract = {We show that the dimer model on a bipartite graph $\Gamma $ on a torus gives rise to a quantum integrable system of special type, which we call acluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space $\{Ł\}_\Gamma $ of line bundles with connections on the graph $\Gamma $. The sum of Hamiltonians is essentially the partition function of the dimer model. We say that two such graphs $\Gamma _1$ and $\Gamma _2$ areequivalentif the Newton polygons of the corresponding partition functions coincide up to translation. We define elementary transformations of bipartite surface graphs, and show that two equivalent minimal bipartite graphs are related by a sequence of elementary transformations. For each elementary transformation we define a birational Poisson isomorphism $\{Ł\}_\{\Gamma _1\} \rightarrow \{Ł\}_\{\Gamma _2\}$ providing an equivalence of the integrable systems. We show that it is a cluster Poisson transformation, as defined in [10]. We show that for any convex integral polygon $N$ there is a non-empty finite set of minimal graphs $\Gamma $ for which $N$ is the Newton polygon of the partition function related to $\Gamma $. Gluing the varieties $\{Ł\}_\Gamma $ for graphs $\Gamma $ related by elementary transformations via the corresponding cluster Poisson transformations, we get a Poisson space $\{\mathcal \{X\}\}_N$. It is a natural phase space for the integrable system. The Hamiltonians are functions on $\{\mathcal \{X\}\}_N$, parametrized by the interior points of the Newton polygon $N$. We construct Casimir functions whose level sets are the symplectic leaves of $\{\mathcal \{X\}\}_N$. The space $\{\mathcal \{X\}\}_N$ has a structure of a cluster Poisson variety. Therefore the algebra of regular functions on $\{\mathcal \{X\}\}_N$ has a non-commutative $q$-deformation to a $\ast $-algebra $\{\mathcal \{O\}\}_q(\{\mathcal \{X\}\}_N)$. We show that the Hamiltonians give rise to a commuting family of quantum Hamiltonians. Together with the quantum Casimirs, they provide a quantum integrable system. Applying the general quantization scheme [11], we get a $\ast $-representation of the $\ast $-algebra $\{\mathcal \{O\}\}_q(\{\mathcal \{X\}\}_N)$ in a Hilbert space. The quantum Hamiltonians act by commuting unbounded selfadjoint operators. For square grid bipartite graphs on a torus we getdiscrete quantum integrable systems, where the evolution is a cluster automorphism of the $\ast $-algebra $\{\mathcal \{O\}\}_q(\{\mathcal \{X\}\}_N)$ commuting with the quantum Hamiltonians. We show that theoctahedral recurrence, closely related to Hirota’s bilinear difference equation[20], appears this way. Any graph $G$ on a torus $\{\mathbb \{T\}\}$ gives rise to a bipartite graph $\Gamma _G$ on $\{\mathbb \{T\}\}$. We show that the phase space $\{\mathcal \{X\}\}$ related to the graph $\Gamma _G$ has a Lagrangian subvariety $\{\mathcal \{R\}\}$, defined in each coordinate system by a system of monomial equations. We identify it with the space parametrizing resistor networks on $G$. The pair $(\{\mathcal \{X\}\}, \{\mathcal \{R\}\})$ has a large group of cluster automorphisms. In particular, for a hexagonal grid graph we get a discrete quantum integrable system on $\{\mathcal \{X\}\}$ whose restriction to $\{\mathcal \{R\}\}$ is essentially given by thecube recurrence[33], [4]. The set of positive real points $\{\mathcal \{X\}\}_N(\{\mathbb \{R\}\}_\{&gt;0\})$ of the phase space is well defined. It is isomorphic to the moduli space of simple Harnack curves with divisors studied in [26]. The Liouville tori of the real integrable system are given by the product of ovals of the simple Harnack curves. In the sequel [17] to this paper we show that the set of complex points $\{\mathcal \{X\}\}_N(\mathbb \{C\})$ of the phase space is birationally isomorphic to a finite cover of the Beauville complex algebraic integrable system related to the toric surface assigned to the polygon $N$.},
author = {Goncharov, Alexander B., Kenyon, Richard},
journal = {Annales scientifiques de l'École Normale Supérieure},
keywords = {integrable systems; dimers; cluster algebras},
language = {eng},
number = {5},
pages = {747-813},
publisher = {Société mathématique de France},
title = {Dimers and cluster integrable systems},
url = {http://eudml.org/doc/272193},
volume = {46},
year = {2013},
}

TY - JOUR
AU - Goncharov, Alexander B.
AU - Kenyon, Richard
TI - Dimers and cluster integrable systems
JO - Annales scientifiques de l'École Normale Supérieure
PY - 2013
PB - Société mathématique de France
VL - 46
IS - 5
SP - 747
EP - 813
AB - We show that the dimer model on a bipartite graph $\Gamma $ on a torus gives rise to a quantum integrable system of special type, which we call acluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space ${Ł}_\Gamma $ of line bundles with connections on the graph $\Gamma $. The sum of Hamiltonians is essentially the partition function of the dimer model. We say that two such graphs $\Gamma _1$ and $\Gamma _2$ areequivalentif the Newton polygons of the corresponding partition functions coincide up to translation. We define elementary transformations of bipartite surface graphs, and show that two equivalent minimal bipartite graphs are related by a sequence of elementary transformations. For each elementary transformation we define a birational Poisson isomorphism ${Ł}_{\Gamma _1} \rightarrow {Ł}_{\Gamma _2}$ providing an equivalence of the integrable systems. We show that it is a cluster Poisson transformation, as defined in [10]. We show that for any convex integral polygon $N$ there is a non-empty finite set of minimal graphs $\Gamma $ for which $N$ is the Newton polygon of the partition function related to $\Gamma $. Gluing the varieties ${Ł}_\Gamma $ for graphs $\Gamma $ related by elementary transformations via the corresponding cluster Poisson transformations, we get a Poisson space ${\mathcal {X}}_N$. It is a natural phase space for the integrable system. The Hamiltonians are functions on ${\mathcal {X}}_N$, parametrized by the interior points of the Newton polygon $N$. We construct Casimir functions whose level sets are the symplectic leaves of ${\mathcal {X}}_N$. The space ${\mathcal {X}}_N$ has a structure of a cluster Poisson variety. Therefore the algebra of regular functions on ${\mathcal {X}}_N$ has a non-commutative $q$-deformation to a $\ast $-algebra ${\mathcal {O}}_q({\mathcal {X}}_N)$. We show that the Hamiltonians give rise to a commuting family of quantum Hamiltonians. Together with the quantum Casimirs, they provide a quantum integrable system. Applying the general quantization scheme [11], we get a $\ast $-representation of the $\ast $-algebra ${\mathcal {O}}_q({\mathcal {X}}_N)$ in a Hilbert space. The quantum Hamiltonians act by commuting unbounded selfadjoint operators. For square grid bipartite graphs on a torus we getdiscrete quantum integrable systems, where the evolution is a cluster automorphism of the $\ast $-algebra ${\mathcal {O}}_q({\mathcal {X}}_N)$ commuting with the quantum Hamiltonians. We show that theoctahedral recurrence, closely related to Hirota’s bilinear difference equation[20], appears this way. Any graph $G$ on a torus ${\mathbb {T}}$ gives rise to a bipartite graph $\Gamma _G$ on ${\mathbb {T}}$. We show that the phase space ${\mathcal {X}}$ related to the graph $\Gamma _G$ has a Lagrangian subvariety ${\mathcal {R}}$, defined in each coordinate system by a system of monomial equations. We identify it with the space parametrizing resistor networks on $G$. The pair $({\mathcal {X}}, {\mathcal {R}})$ has a large group of cluster automorphisms. In particular, for a hexagonal grid graph we get a discrete quantum integrable system on ${\mathcal {X}}$ whose restriction to ${\mathcal {R}}$ is essentially given by thecube recurrence[33], [4]. The set of positive real points ${\mathcal {X}}_N({\mathbb {R}}_{&gt;0})$ of the phase space is well defined. It is isomorphic to the moduli space of simple Harnack curves with divisors studied in [26]. The Liouville tori of the real integrable system are given by the product of ovals of the simple Harnack curves. In the sequel [17] to this paper we show that the set of complex points ${\mathcal {X}}_N(\mathbb {C})$ of the phase space is birationally isomorphic to a finite cover of the Beauville complex algebraic integrable system related to the toric surface assigned to the polygon $N$.
LA - eng
KW - integrable systems; dimers; cluster algebras
UR - http://eudml.org/doc/272193
ER -

References

top
  1. [1] R. J. Baxter, Exactly solved models in statistical mechanics, Academic Press Inc., 1989. Zbl0723.60120MR998375
  2. [2] A. Berenstein & A. Zelevinsky, Quantum cluster algebras, preprint arXiv:math/0404446. MR2146350
  3. [3] A. I. Bobenko & Y. B. Suris, Discrete differential geometry, Graduate Studies in Math. 98, Amer. Math. Soc., 2008. MR2467378
  4. [4] G. D. Carroll & D. E. Speyer, The cube recurrence, Electron. J. Combin. 11 (2004), Research Paper 73. Zbl1060.05004MR2097339
  5. [5] M. Ciucu, A complementation theorem for perfect matchings of graphs having a cellular completion, J. Combin. Theory Ser. A81 (1998), 34–68. Zbl0897.05063MR1492868
  6. [6] Y. Colin de Verdière, Réseaux électriques planaires. I, Comment. Math. Helv. 69 (1994), 351–374. MR1289333
  7. [7] E. B. Curtis, D. Ingerman & J. A. Morrow, Circular planar graphs and resistor networks, Linear Algebra Appl.283 (1998), 115–150. Zbl0931.05051MR1657214
  8. [8] P. Di Francesco & R. Kedem, Q -systems, heaps, paths and cluster positivity, Comm. Math. Phys.293 (2010), 727–802. Zbl1194.05165MR2566162
  9. [9] V. V. Fock & A. B. Goncharov, Moduli spaces of local systems and higher Teichmüller theory, Publ. Math. I.H.É.S. 103 (2006), 1–211. Zbl1099.14025MR2233852
  10. [10] V. V. Fock & A. B. Goncharov, Cluster ensembles, quantization and the dilogarithm, Ann. Sci. Éc. Norm. Supér. 42 (2009), 865–930. Zbl1180.53081MR2567745
  11. [11] V. V. Fock & A. B. Goncharov, The quantum dilogarithm and representations of quantum cluster varieties, Invent. Math.175 (2009), 223–286. Zbl1183.14037MR2470108
  12. [12] S. Fomin & A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), 497–529. Zbl1021.16017MR1887642
  13. [13] S. Fomin & A. Zelevinsky, The Laurent phenomenon, Adv. in Appl. Math.28 (2002), 119–144. Zbl1012.05012MR1888840
  14. [14] W. Fulton, Introduction to toric varieties, Annals of Math. Studies 131, Princeton Univ. Press, 1993. Zbl0813.14039MR1234037
  15. [15] M. Gekhtman, M. Shapiro & A. Vainshtein, Cluster algebras and Poisson geometry, Mathematical Surveys and Monographs 167, Amer. Math. Soc., 2010. Zbl1217.13001MR2683456
  16. [16] M. Gekhtman, M. Shapiro & A. Vainshtein, Poisson geometry of directed networks in an annulus, preprint arXiv:0901.0020. Zbl1238.53060MR2881305
  17. [17] A. B. Goncharov & R. W. Kenyon, in preparation. 
  18. [18] A. Harnack, Ueber die Vieltheiligkeit der ebenen algebraischen Curven, Math. Ann. 10 (1876), 189–198. MR1509883
  19. [19] A. Henriques & D. E. Speyer, The multidimensional cube recurrence, Adv. Math.223 (2010), 1107–1136. Zbl1227.05041MR2565555
  20. [20] R. Hirota, Discrete analogue of a generalized Toda equation, J. Phys. Soc. Japan50 (1981), 3785–3791. MR638804
  21. [21] A. Ishii & K. Ueda, Dimer models and the special McKay correspondence, preprint arXiv:0905.0059. Zbl06533817
  22. [22] P. W. Kasteleyn, Dimer statistics and phase transitions, J. Mathematical Phys.4 (1963), 287–293. MR153427
  23. [23] A. E. Kennelly, Equivalence of triangles and stars in conducting networks, Electrical World and Engineer34 (1989), 413–414. 
  24. [24] R. W. Kenyon, The Laplacian and Dirac operators on critical planar graphs, Invent. Math.150 (2002), 409–439. Zbl1038.58037MR1933589
  25. [25] R. W. Kenyon, Spanning forests and the vector bundle Laplacian, Ann. Probab.39 (2011), 1983–2017. Zbl1252.82029MR2884879
  26. [26] R. W. Kenyon & A. Okounkov, Planar dimers and Harnack curves, Duke Math. J.131 (2006), 499–524. Zbl1100.14047MR2219249
  27. [27] R. W. Kenyon, J. G. Propp & D. B. Wilson, Trees and matchings, Electron. J. Combin. 7 (2000), Research Paper 25. Zbl0939.05066MR1756162
  28. [28] I. G. Korepanov, Vacuum curves and classical integrable systems in 2 + 1 discrete dimensions, J. Math. Sciences94 (1999), 1620–1629. MR1856102
  29. [29] A. Kuniba, T. Nakanishi & J. Suzuki, T-systems and Y-systems in integrable systems, preprint arXiv:1010.1344. Zbl1222.82041
  30. [30] L. Lovász & M. D. Plummer, Matching theory, North-Holland Mathematics Studies 121, North-Holland Publishing Co., 1986. Zbl0618.05001MR859549
  31. [31] G. Mikhalkin, Real algebraic curves, the moment map and amoebas, Ann. of Math.151 (2000), 309–326. Zbl1073.14555MR1745011
  32. [32] G. Mikhalkin & H. Rullgård, Amoebas of maximal area, Int. Math. Res. Not.2001 (2001), 441–451. Zbl0994.14032MR1829380
  33. [33] T. Miwa, On Hirota’s difference equations, Proc. Japan Acad. Ser. A Math. Sci.58 (1982), 9–12. Zbl0508.39009MR649054
  34. [34] N. A. Nekrasov & S. L. Shatashvili, Quantization of integrable systems and four dimensional gauge theories, in XVIth International Congress on Mathematical Physics, World Sci. Publ., Hackensack, NJ, 2010, 265–289. Zbl1214.83049MR2730782
  35. [35] A. Postnikov, Total positivity, Grassmannians and networks, preprint arXiv:math/0609764. 
  36. [36] D. E. Speyer, Perfect matchings and the octahedron recurrence, J. Algebraic Combin.25 (2007), 309–348. Zbl1119.05092MR2317336
  37. [37] D. Thurston, From dominos to hexagons, preprint arXiv:math/0405482. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.