We use cookies.
By using the site, you agree to our Privacy Policy.

International Laboratory for Mirror Symmetry and Automorphic Forms

Contract number
Time span of the project
Head of the laboratory

As of 01.11.2022

Number of staff members
scientific publications
General information

Many new category structures have been discovered by physicists over the last several years. It is obvious that the language of higher categories suits perfectly for describing the cornerstone concepts in the modern theoretical physics. All of this has lead to the separation of many domains of mathematics into categories. The starting point of the Laboratory's research is homological mirror symmetry. Homological mirror symmetry currently serves as the basis for a wide range of absolutely new studies in mathematics that is promoted and constantly updated by many researchers. One of the main flaws of the rich but very technically complex method of homological mirror symmetry is a lack of applications. Focusing namely on applications, the Laboratory researchers are planning to develop the missing link — geometrisation of the category theory based on the interaction with mathematical physics.

Name of the project: Mirror symmetry and automorphic forms

Goals and objectives

Research directions: Mathematics, mirror symmetry and automorphic forms

Project objective: Uniting efforts of specialists from various domains such as geometry, topology, automorphic form theory and Lie algebras, number theory, mathematical physics for solving the main theoretical problems of mathematics and physics related to mirror symmetry. Study of category, geometry and automorphy, geometric and arithmetic aspects of homological mirror symmetry.

Finding principally new applications of category and Kähler geometry to problems of geometry, to geometric problems of rationality, in automorphic form theory and Lorentzian Kac-Moody algebras.

Geometrization of category theory, and its starting point is the theory of homological mirror symmetry formulated by Maxim Kontsevich.

The practical value of the study

Scientific results:

  • Categorical, algebraic and Kähler geometry

    Our researchers have created the foundations of the theory of spectra (or spectral networks), which is a new categorical generalization of the classical theory of vanishing cycles. We have built a new Hodge type theory — the Hodge theory of extensions which binds the classical theory of partial differential equations with the theory of categories.

    A new approach has been proposed to the mixed non-Abelian Hodge theory from the categorical point of view.

    We are continuing to work successfully on solving the problem of the irrationality of the general four-dimensional cubic. The latter problem has a hundred-year history. To solve it, we are building a radically new theory of spectra that will provide an interpretation off the Landau-Ginzburg theory of models as generalized singularity theory. We are planning to prove that the Gromov-Witten spectrum, i. e. the categorical spectrum, is a birational invariant. Results in this domain will have exceptionally important applications in geometry, mathematical physics and theoretical physics.

    Our researchers have proven the Kontsevich conjecture that the derived category of coherent sheaves on a separable finite-type scheme over a field of characteristic 0 is homotopically finite.

    We have proven the conjecture on mirror symmetry for the three-dimensional projection space.

    The Laboratory has proven the Katzarkov–Kontsevich–Pantev conjecture that binds the Hodge numbers of a Fano manifold and the Hodge numbers of its Landau–Ginzburg model in dimension 2 or 3. We have established the connection of this conjecture with the P = W conjecture that is in the foundation of the modern interpretation of the geometric Langlands program.

    Our researchers have initiated a new approach to proving the conjecture on homological mirror symmetry for manifolds of general type.

    We have provided a proof of the existence of toric Landau-Ginzburg models for the three-dimensional case and for the case of complete intersections. We have provided a description of derived categories of fibrations on a hypersurface of an arbitrary order, groups of homologies of tropical manifolds have been built.

  • Automorphic forms and applications

    We have build a theory of modular theta-blocks and reflective automorphic forms and found important applications to the theory of moduli of polarized hyper-Kähler manifolds and  polarized Kummer surfaces.

    We have provided a complete classification of Lorentzian Kac–Moody algebras, with a Weyl group generated by all the 2-reflections.

    We have proven the conjecture on arithmetic mirror symmetry for a wide class of K3 surfaces.

    Our researchers have provided a solution to the Yoshikawa problem (2000) on the explicit description of Lorentzian Kac-Moody algebras built on the analytical torsion of del Pezzo surfaces.

    In the terminology of automorphic forms we have provided an answer to the long-standing Frenkel-Feingold problem (1982) concerning the possible relation between the Kac-Weyl denominator of affine and hyperbolic Kac–Moody algebras.

    We have obtained new automorphic confirmations of a two-dimensional analog of the famous Taniyama–Shimura conjecture (the Brumer–Kramer  conjecture on the modularity оf Abelian surfaces).

    Our researchers have proven the Rodriguez Villegas conjecture (2003) on the existence  of supercongruences for 14 rigid hypergeometric Calabi-Yau threefolds over Q.

    We have found an expression of values of the Dedekind zeta-functions as periods of real-valued automorphic forms from real-valued Heegner cycles and the rationality and the congruence properties of these zeta-values that follow from this.

    We have proven new lower bounds on large gaps between integers that are sums of two squares.

Implemented results of research:

The research has high multidisciplinary importance within theoretical mathematics (Kähler, algebraic and differential geometry, the theory of infinite-dimensional Lie algebras, the theory of automorphic forms, numbers theory) and modern theoretical physics (quantum field theory, quantum gravitation, string theory). 

Education and career development:

During six years, employees of the Laboratory have defended 4 Doctor of Sciences and 5 Candidate of Sciences dissertations, delivered more than 60 original lecture courses. 135 young researchers, specialists and lecturers have completed occupational retraining (additional training) at the Laboratory in the domain of the scientific research project. Every year the Laboratory stages summer student schools in geometry in Novosibirsk, student schools were also organized in Saint Petersburg (2017) and on the grounds of the Training Center of the Higher School of Economics in Voronovo (2019). 

Other results:

  • The research fellow of the laboratory Alexander Yefimov received Gold Medal of the Russian Academy of Sciences with a prize for young scientists in 2017. He also received an award from the European Mathematical Society in 2020.
  • The deputy chair of the Laboratory Viktor Przhilkovskiy received an award from the Government of Moscow and a grant of the President of the Russian Federation for young scientists in 2019.
  • The employees of the Laboratory Valeriy Gritsenko and Andrey Levin have supervised the ANR-RSF French-Russian grant «Symmetries and moduli spaces in  algebraic geometry and physics» for the years 2021-2023. The uniqueness of this success is that the employees of the International Laboratory for Mirror Symmetry and Automorphic Forms lead both parts of the grant: Valeriy Gritsenko heads the French team, Andrey Levin leads the Russian part. The grant encompasses research in the domain of mathematical physics. The budget of the project for 2021-2023: Russian Science Foundation – 6 000 000 rubles per year, ANR – 700 000 Euro per  year.


  • Novosibirsk State University, Mathematical Center in Akademgorodok, Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences (Russia): joint international conferences, annual joint summer student school «Current advancements in geometry», joint research.
  • Institut des Hautes Études Scientifiques (France): joint scientifc research.
  • Steklov Institute of Mathematics of the Russian Academy of Sciences (Russia): joint international conferences, scientific seminars, research projects.
  • The Institute of the Mathematical Sciences of the Americas at the University of Miami (USA): joint scientific seminars, workshops, conferences.
  • International Center for Mathematical Sciences – Sofia – Bulgarian Academy of Sciences (Bulgaria): joint international scientific conferences in Bulgaria and Russia, academic exchange. 

Hide Show full
Haiden F., Katzarkov L., Kontsevich M.
Flat Surfaces and Stability Structures. Publications math´ematiques de l’IHES 126(1): 247–318 (2017)
Dimitrov G., Katzarkov L.
Some new categorical invariants // Selecta Mathematica, New Series. 2019. Vol. 25:45. P. 1-60.
Katzarkov L., Pandit P., Spaide T.
Calabi-Yau structures, spherical functors, and shifted symplectic structures // Advances in Mathematics. 2021. Vol. 392
Gritsenkо V.
Reflective modular forms and applications // Russian Math. Surveys. 2018. Vol. 73:5. P. 797-864.
Efimov A.
Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration // Inventiones Mathematicae. 2020. Vol. 222. No. 2. P. 667-694.
Efimov A.
Homotopy finiteness of some DG categories from algebraic geometry // Journal of the European Mathematical Society. 2020. Vol. 22. No. 9. P. 2879-2942.
Przyjalkowski V.
Toric Landau–Ginzburg models // Russian Math. Surveys. 2018. Vol. 73:6. P. 1033–1118.
Kondyrev G., Prikhodko A.
Equivariant Grothendieck–Riemann–Roch theorem via formal deformation theory // Cambridge Journal of Mathematics. 2021. Vol. 9. No. 4. P. 809-899.
Dietmann R., Elsholtz C., Kalmynin A., Maynard J., Konyagin S.
Longer Gaps Between Values of Binary Quadratic Forms // International Mathematics Research Notices. 2022. Vol. 2022. P. 1-26.
V. Gritsenko, V. Spiridonov
Partition Functions and Automorphic Forms. Springer Publishing Company, 2020. 415 pp., монография, https://doi.org/10.1007/ 978-3-030-42400-8_2
Other laboratories and scientists
Hosting organization
Field of studies
Invited researcher
Time span of the project
Laboratory «Nonlinear and nonlocal equations and their applications»

Peoples' Friendship University of Russia - (RUDN University)



Kuksin Sergei Borisovich

Russia, France


Probabilistic Methods in Analysis

Saint Petersburg State University - (SPbU)


St. Petersburg

Hedenmalm Haakan Per



Laboratory for Inter-disciplinary Power Engineering Problems

Ulyanovsk State Technical University - (UlSTU)



Simos Theodore Elias