Review PaperNo Access

Reduction cohomology of Riemann surfaces

Institute of Mathematics, Czech Academy of Sciences, Zitna 25, Prague, Czech Republic, Europe

https://doi.org/10.1142/S0129055X23300054Cited by:4 (Source: Crossref)

Abstract

We study the algebraic conditions leading to the chain property of complexes for vertex operator algebra n-point functions (with their convergence assumed) with differential being defined through reduction formulas. The notion of the reduction cohomology of Riemann surfaces is introduced. Algebraic, geometrical, and cohomological meanings of reduction formulas are clarified. A counterpart of the Bott–Segal theorem for Riemann surfaces in terms of the reductions cohomology is proven. It is shown that the reduction cohomology is given by the cohomology of n-point connections over the vertex operator algebra bundle defined on a genus g Riemann surface $Σ^{(g)}$ $Σ^{(g)}$ . The reduction cohomology for a vertex operator algebra with formal parameters identified with local coordinates around marked points on $Σ^{(g)}$ $Σ^{(g)}$ is found in terms of the space of analytical continuations of solutions to Knizhnik–Zamolodchikov equations. For the reduction cohomology, the Euler–Poincaré formula is derived. Examples for various genera and vertex operator cluster algebras are provided.

Keywords:

AMSC: 57D30, 57R32, 22A22, 55R40, 57D20

References

1. L. Ahlfors , Some remarks on Teichmüller’s space of Riemann surfaces, Ann. Math. 74 (1961) 171–191. Crossref, Web of Science, Google Scholar
2. H. F. Baker , Abel’s Theorem and the Allied Theory Including the Theory of Theta Functions (Cambridge University Press, Cambridge, 1995). Google Scholar
3. A. Belavin, A. Polyakov and A. Zamolodchikov , Infinite conformal symmetry in two-dimensional quantum field theory, Nucl. Phys. B 241 (1984) 333–380. Crossref, Web of Science, ADS, Google Scholar
4. D. Ben-Zvi and E. Frenkel , Vertex Algebras on Algebraic Curves, 2nd edn. (American Mathematical Society, 2004). Google Scholar
5. L. Bers , Inequalities for finitely generated Kleinian groups, J. Anal. Math. 18 (1967) 23–41. Crossref, Web of Science, Google Scholar
6. L. Bers , Automorphic forms for Schottky groups, Adv. Math. 16 (1975) 332–361. Crossref, Web of Science, Google Scholar
7. A. Bobenko , Introduction to compact Riemann surfaces, in Computational Approach to Riemann Surfaces, eds. A. Bobenko and C. Klein (Springer-Verlag, Berlin, Heidelberg, 2011). Crossref, Google Scholar
8. R. E. Borcherds , Vertex algebras, Kac–Moody algebras and the monster, Proc. Natl. Acad. Sci. 83 (1986) 3068–3071. Crossref, Web of Science, ADS, Google Scholar
9. R. Bott and G. Segal , The cohomology of the vector fields on a manifold, Topology 16(4) (1977) 285–298. Crossref, Google Scholar
10. K. Bringmann, M. Krauel and M. Tuite , Zhu reduction for Jacobi n-point functions and applications, Trans. Amer. Math. Soc. 373(5) (2020) 3261–3293. Crossref, Web of Science, Google Scholar
11. W. Burnside , On a class of automorphic functions, Proc. Lond. Math. Soc. 23 (1891) 49–88. Crossref, Google Scholar
12. G. Codogni, Vertex algebras and Teichmuller modular forms (2019); arXiv:1901.03079. Google Scholar
13. P. Ph. Di Francesco and R. Kedem , Q-systems as cluster algebras. II, Lett. Math. Phys. 89(3) (2009) 183–216. Crossref, Web of Science, ADS, Google Scholar
14. P. Ph. Di Francesco, P. Mathieu and D. Senechal , Conformal Field Theory, Springer Graduate Texts in Contemporary Physics (Springer-Verlag, New York, 1997). Crossref, Google Scholar
15. L. Dolan, P. Goddard and P. Montague , Conformal field theories, representations and lattice constructions, Commun. Math. Phys. 179 (1996) 61–129. Crossref, Web of Science, ADS, Google Scholar
16. C. Dong and J. Lepowsky , Generalized Vertex Algebras and Relative Vertex Operators, Progress in Mathematics, Vol. 112 (Birkhäuser, Boston, 1993). Crossref, Google Scholar
17. T. Eguchi and H. Ooguri , Conformal and current algebras on a general Riemann surface, Nucl. Phys. B 282 (1987) 308–328. Crossref, Web of Science, ADS, Google Scholar
18. H. M. Farkas and I. Kra , Riemann Surfaces (Springer-Verlag, New York, 1980). Crossref, Google Scholar
19. J. D. Fay , Theta Functions on Riemann Surfaces, Lecture Notes in Mathematics, Vol. 352 (Springer-Verlag, Berlin-New York, 1973). Crossref, Google Scholar
20. B. L. Feigin , Conformal field theory and Cohomologies of the Lie algebra of holomorphic vector fields on a complex curve, in Proc. ICM, Kyoto, Japan (Math. Soc., Japan Tokyo, 1991), pp. 71–85. Google Scholar
21. I. Frenkel, Y.-Z. Huang and J. Lepowsky , On Axiomatic Approaches to Vertex Operator Algebras and Modules, Memoirs American Mathematical Society, Vol. 104 (American Mathematical Society, 1993). Google Scholar
22. I. Frenkel, J. Lepowsky and A. Meurman , Vertex Operator Algebras and the Monster, Pure and Applied Mathematics, Vol. 134 (Academic Press, Boston, 1988). Google Scholar
23. V. Fock and A. Goncharov , Moduli spaces of local systems and higher Teichmüller theory, Publ. Math. Inst. Hautes Études Sci. 103 (2006) 1–211. Crossref, Web of Science, Google Scholar
24. V. Fock and A. Goncharov , Cluster ensembles, quantization and the dilogarithm, Ann. Sci. Éc. Norm. Supér. (4) 42(6) (2009) 865–930. Crossref, Web of Science, Google Scholar
25. V. Fock and A. Goncharov , Cluster ensembles, quantization and the dilogarithm. II: The Intertwiner, Algebra, Arithmetic, and Geometry, Honor of Yu. I. Manin . Vol. I, Progress in Mathematics, Vol. 269 (Birkhäuser Boston, Inc., Boston, MA, 2009), pp. 655–673. Crossref, Google Scholar
26. V. Fock and A. Goncharov , Dual Teichmüller and lamination spaces, in Handbook of Teichmüller Theory, Vol. I, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 11 (European Mathematical Society, Zürich, 2007), pp. 647–684. Crossref, Google Scholar
27. S. Fomin, M. Shapiro and D. Thurston , Cluster algebras and triangulated surfaces, part I: Cluster complexes, Acta Math. 201 (2008) 83–146. Crossref, Web of Science, Google Scholar
28. S. Fomin and A. Zelevinsky , Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15(2) (2002) 7–529. Web of Science, Google Scholar
29. S. Fomin and A. Zelevinsky , Cluster algebras. II. Finite type classification, Invent. Math. 154(1) (2003) 63–121. Crossref, Web of Science, ADS, Google Scholar
30. S. Fomin and A. Zelevinsky , Cluster algebras. IV. Coefficients, Compos. Math. 143(1) (2007) 112–164. Crossref, Web of Science, Google Scholar
31. L. R. Ford , Automorphic Functions (AMS-Chelsea, Providence, 2004). Google Scholar
32. D. Freidan and S. Shenker , The analytic geometry of two-dimensional conformal field theory, Nucl. Phys. B 281 (1987) 509–545. Crossref, Web of Science, ADS, Google Scholar
33. D. B. Fuks , Cohomology of Infinite Dimensional Lie Algebras (Consultant Bureau, New York, London, 1986). Crossref, Google Scholar
34. Ch. Geiss, B. Leclerc and J. Schröer , Cluster structures on quantum coordinate rings, Selecta Math. (N.S.) 19(2) (2013) 337–397. Crossref, Web of Science, Google Scholar
35. M. Gekhtman, M. Shapiro and A. Vainshtein , Cluster algebras and Poisson geometry, Mosc. Math. J. 3(3) (2003) 899–934. Crossref, Web of Science, Google Scholar
36. M. Gekhtman, M. Shapiro and A. Vainshtein , Cluster algebras and Weil–Petersson forms, Duke Math. J. 127(2) (2005) 291–311. Crossref, Web of Science, Google Scholar
37. M. Gekhtman, M. Shapiro and A. Vainshtein , Cluster Algebras and Poisson Geometry, Mathematical Surveys and Monographs, Vol. 167 (American Mathematical Society, Providence, RI, 2010). Crossref, Google Scholar
38. T. Gilroy and M. Tuite, Genus two Zhu theory for vertex operator algebras (2015); arXiv:1511.07664. Google Scholar
39. R. C. Gunning , Lectures on Vector Bundles Over Riemann Surfaces, Volume 6, Mathematical Notes, Vol. 105 (Princeton University Press, 1968). Crossref, Google Scholar
40. D. Hernandez and B. Leclerc , Cluster algebras and quantum affine algebras, Duke Math. J. 154(2) (2010) 265–341. Crossref, Web of Science, Google Scholar
41. Y.-Zh. Huang , Two-Dimensional Conformal Geometry and Vertex Operator Algebras, Progress in Mathematics, Vol. 148 (Birkhäuser, Boston, 1997). Google Scholar
42. Y.-Zh. Huang , A cohomology theory of grading-restricted vertex algebras, Comm. Math. Phys. 327(1) (2014) 279–307. Crossref, Google Scholar
43. Y.-Zh. Huang , The first and second cohomologies of grading-restricted vertex algebras, Commun. Math. Phys. 327 (2014) 261–278. Crossref, Web of Science, ADS, Google Scholar
44. V. Kac , Vertex Algebras for Beginners, University Lecture Series, Vol. 10, 2nd edn. (American Mathematical Society, 1998). Crossref, Google Scholar
45. N. Kawazumi , On the complex analytic Gel’fand–Fuks cohomology of open Riemann surfaces, Ann. Inst. Fourier (Grenoble) 43(3) (1993) 655–712. Crossref, Web of Science, Google Scholar
46. B. Keller , Cluster algebras, quiver representations and triangulated categories, Triangulated Categories, London Mathematical Society Lecture Note Series (Cambridge University Press, Cambridge, 2010), pp. 76–160. Crossref, Google Scholar
47. B. Keller, Quantum loop algebras, quiver varieties, and cluster algebras, in Representations of Algebras and Related Topics, EMS Series of Congress Reports (European Mathematical Society, Zürich, 2011), pp. 117–152. Google Scholar
48. V. G. Knizhnik , Multiloop amplitudes in the theory of quantum strings and complex geometry, Sov. Phys. Usp. 32 (1989) 945–971. Crossref, ADS, Google Scholar
49. V. G. Knizhnik and A. B. Zamolodchikov , Current algebra and Wess–Zumino model in two-dimensions, Nucl. Phys. B 247(1) (1984) 83–103. Crossref, Web of Science, ADS, Google Scholar
50. M. Kontsevich and Y. Soibelman, Stability structures, Donaldson–Thomas invariants and cluster transformations (2008); arXiv:0811.2435. Google Scholar
51. S. Lang , Introduction to Modular Forms (Springer, Berlin, 1976). Google Scholar
52. S. Lang , Elliptic Functions (Springer-Verlag, New York, 1987). Crossref, Google Scholar
53. J. Lepowsky and H. Li , Introduction to Vertex Algebras, Progress in Mathematics, Vol. 227 (Birkhäuser, Boston, 2004). Google Scholar
54. H. Li , Symmetric invariant bilinear forms on vertex operator algebras, J. Pure Appl. Algebra 96 (1994) 279–297. Crossref, Web of Science, Google Scholar
55. G. Mason and M. P. Tuite , Vertex operators and modular forms, in A Window into Zeta and Modular Physics, Mathematical Sciences Research Institute Publications, Vol. 57 (Cambridge University Press, Cambridge, 2010), pp. 183–278. Google Scholar
56. G. Mason and M. P. Tuite , Torus chiral n-point functions for free Boson and lattice vertex operator algebras, Commun. Math. Phys. 235 (2003) 47–68. Crossref, Web of Science, ADS, Google Scholar
57. G. Mason and M. P. Tuite , On genus two Riemann surfaces formed from sewn tori, Commun. Math. Phys. 270 (2007) 587–634. Crossref, Web of Science, ADS, Google Scholar
58. G. Mason and M. P. Tuite , Free bosonic vertex operator algebras on genus two Riemann surfaces I, Commun. Math. Phys. 300 (2010) 673–713. Crossref, Web of Science, ADS, Google Scholar
59. G. Mason and M. P. Tuite , Free bosonic vertex operator algebras on genus two Riemann surfaces II, in Conformal Field Theory, Automorphic Forms and Related Topics, Contributions in Mathematical and Computational Sciences, Vol. 8 (Springer Verlag, Berlin, Heidelberg, 2014), pp. 183–225. Crossref, Google Scholar
60. G. Mason, M. P. Tuite and A. Zuevsky , Torus n-point functions for R-graded vertex operator superalgebras and continuous fermion orbifolds, Commun. Math. Phys. 283(2) (2008) 305–342. Crossref, Web of Science, ADS, Google Scholar
61. A. Matsuo and K. Nagatomo , Axioms for a Vertex Algebra and the Locality of Quantum Fields, Mathematical Society of Japan Memoirs, Vol. 4 (Tokyo, 1999). Crossref, Google Scholar
62. A. McIntyre, Analytic torsion and Faddeev–Popov ghosts, SUNY PhD thesis (2002), hdl.handle.net/11209/10688. Google Scholar
63. A. McIntyre and L. A. Takhtajan , Holomorphic factorization of determinants of Laplacians on Riemann surfaces and a higher genus generalization of Kronecker’s first limit formula, GAFA, Geom. Funct. Anal. 16 (2006) 1291–1323. Crossref, Web of Science, Google Scholar
64. M. Miyamoto , Modular invariance of vertex operator algebras satisfying $C_{2}$ $C_{2}$ -cofiniteness, Duke Math. J. 122(1) (2004) 51–91. Crossref, Web of Science, Google Scholar
65. D. Mumford , Tata Lectures on Theta I and II (Birkhäuser, Boston, 1983). Crossref, Google Scholar
66. H. Nakajima , Quiver varieties and cluster algebras, Kyoto J. Math. 51(1) (2011) 71–126. Crossref, Web of Science, Google Scholar
67. T. Nakanishi , Dilogarithm identities for conformal field theories and cluster algebras: Simply laced case, Nagoya Math. J. 202 (2011) 23–43. Crossref, Web of Science, Google Scholar
68. T. Nakanishi, Periodicities in cluster algebras and dilogarithm identities, in Representations of Algebras and Related Topics, EMS Series of Congress Reports (European Mathematical Society, Zürich, 2011), pp. 407–443. Google Scholar
69. A. Odesskii, Deformations of complex structures on Riemann surfaces and integrable structures of Whitham type hierarchies (2015); arXiv:1505.07779. Google Scholar
70. F. Patras and J.-C. Thomas , Cochain algebras of mapping spaces and finite group actions, Topology Appl. 128(2–3) (2003) 189–207. Crossref, Google Scholar
71. B. Ponsot , Monodromy of solutions of the Knizhnik–Zamolodchikov equation: SL(2,C)/SU(2) WZNW model, Nucl. Phys. B 642(1–2) (2002) 114–138. Crossref, Web of Science, ADS, Google Scholar
72. M. V. Saveliev , Integro-differential nonlinear equations and continual Lie algebras, Comm. Math. Phys. 121(2) (1989) 283–290. Crossref, Web of Science, ADS, Google Scholar
73. M. V. Saveliev and A. M. Vershik , Continuum analogues of contragredient Lie algebras, Commun. Math. Phys. 126 (1989) 367–378. Crossref, Web of Science, ADS, Google Scholar
74. M. V. Saveliev and A. M. Vershik , New examples of continuum graded Lie algebras, Phys. Lett. A 143 (1990) 121–128. Crossref, Web of Science, ADS, Google Scholar
75. R. Schiffler , On cluster algebras arising from unpunctured surfaces. II, Adv. Math. 223(6) (2010) 1885–1923. Crossref, Web of Science, Google Scholar
76. J.-P. Serre , A Course in Arithmetic (Springer, New York, 1973). Crossref, Google Scholar
77. A. Tsuchiya and Y. Kanie , Vertex Operators in Conformal Field Theory on P(1) and Monodromy Representations of Braid Group, Advanced Studies in Pure Mathematics, Vol. 16 (World Scientific, 1988), pp. 297–372; Erratum, Vol. 19 (1988), pp. 675–682. Crossref, Google Scholar
78. A. Tsuchiya, K. Ueno and Y. Yamada , Conformal Field Theory on Universal Family of Stable Curves with Gauge Symmetries, Advanced Studies in Pure Mathematics, Vol. 19 (Kinokuniya Company Ltd., Tokyo, 1989), pp. 459–566. Crossref, Google Scholar
79. M. P. Tuite , The Heisenberg generalized vertex operator algebra on a Riemann surface, Lie Groups, Number Theory, and Vertex Algebras, Contemporary Mathematics, Vol. 768 (American Mathematical Society, Providence, RI, 2021), pp. 321–342. Crossref, Google Scholar
80. M. P. Tuite and A. Zuevsky , The Bosonic vertex operator algebra on a genus g Riemann surface, RIMS Kokyuroko 1756 (2011) 81–93. Google Scholar
81. M. P. Tuite and A. Zuevsky , The Szego kernel on a sewn Riemann surface, Commun. Math. Phys. 306 (2011) 617–645. Crossref, Web of Science, ADS, Google Scholar
82. M. P. Tuite and A. Zuevsky , Genus two partition and correlation functions for fermionic vertex operator superalgebras I, Commun. Math. Phys. 306 (2011) 419–447. Crossref, Web of Science, ADS, Google Scholar
83. M. P. Tuite and A. Zuevsky, Genus two partition and correlation functions for fermionic vertex operator superalgebras II (2013); arXiv:1308.2441. Google Scholar
84. M. P. Tuite and M. Welby, General genus Zhu recursion for vertex operator algebras (2019); arXiv:1911.06596. Google Scholar
85. A. Vershik, Lie algebras generated by dynamical systems, Algebra Anal. 4(6) (1992) 103–113; Reprinted in St. Petersburg Math. J. 4(6) (1993) 1143–1151. Google Scholar
86. F. Wagemann , Differential graded cohomology and Lie algebras of holomorphic vector fields, Comm. Math. Phys. 208(2) (1999) 521–540. Crossref, Web of Science, ADS, Google Scholar
87. A. Yamada , Precise variational formulas for abelian differentials, Kodai. Math. J. 3 (1980) 114–143. Crossref, Google Scholar
88. Y. Zhu , Modular-invariance of characters of vertex operator algebras, J. Amer. Math. Soc. 9(1) (1996) 237–302. Crossref, Web of Science, Google Scholar
89. A. Zuevsky , Cluster algebras based on vertex operator algebras, Int. J. Mod. Phys. B 30(28–29) (2016) 1640030, 13 pp. Web of Science, Google Scholar
90. A. Zuevsky , Schottky vertex operator cluster algebras, Int. J. Mod. Phys. A 37(17) (2022) 2250111, 21 pp. Link, Web of Science, Google Scholar
91. A. Zuevsky , Clusterization of correlation functions, Groups, Modules, and Model Theory — Surveys and Recent Developments (Springer, Cham, 2017), pp. 459–464. Crossref, Google Scholar
92. A. Zuevsky , The simplest cohomological invariants for vertex algebras, J. Geom. Phys. 168 (2021) 104306, 17 pp. Crossref, Web of Science, Google Scholar
93. A. Zuevsky , Associative algebra twisted bundles over compact topological spaces, J. Geom. Phys. 170 (2021) 104393, 8 pp. Crossref, Web of Science, Google Scholar
94. A. Zuevsky , Geometric kernel formula relating prime forms, Adv. Theor. Math. Phys. 22(7) (2018) 1823–1829. Crossref, Web of Science, Google Scholar
95. A. Zuevsky , Cosimplicial meromorphic functions cohomology on complex manifolds, Rev. Math. Phys. 33 (2023) 2330002, 22 pp. Google Scholar