Searcharxiv⌕ Search

arXiv subjects

Sergey Galkin

Publications and source records attributed to Sergey Galkin.

At least 19 recordsLinked to original sources
arXiv2025

A-D-E diagrams, Hodge--Tate hyperplane sections and semisimple quantum cohomology

It is known that the semisimplicity of quantum cohomology implies the vanishing of off-diagonal Hodge numbers (Hodge--Tateness). We investigate which hyperplane sections of homogeneous varieties possess either of the two properties. We provide a new efficient criterion for non-semisimplicity of the small quantum cohomology ring of Fano manifolds that depends only on the Fano index and Betti numbers. We construct a bijection between Dynkin diagrams of types A, D or E, and complex Grassmannians with Hodge-Tate smooth hyperplane sections. By applying our criteria and using monodromy action, we completely characterize the semisimplicity of the small quantum cohomology of smooth hyperplane sections in the case of complex Grassmannians, and verify a conjecture of Benedetti and Perrin in the case of (co)adjoint Grassmannians.

math.AG↗
arXiv2024

Revisiting Gamma conjecture I: counterexamples and modifications

We continue investigation of asymptotics of quantum differential equation for Fano manifolds, with a special regard to Gamma conjecture I and its underlying Conjecture $\mathcal{O}$. We introduce the A-model conifold value, a symplectic invariant of a Fano manifold, and propose modifications for Gamma conjecture I based on this new definition. We discuss an interplay of birational transformations with an extension of Gamma conjecture I over the K\"ahler moduli space. These heuristics are applied to rigorously identify the principal asymptotic class in the case of $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$. We observe, in particular, that for $X_n$ of dimension at least four, the Conjecture $\mathcal{O}$ holds just for even values of $n$, and in these cases we falsify the original non-modified Gamma conjecture I.

math.AG↗
arXiv2023

On automorphic forms of small weight for fake projective planes

On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique, otherwise). Earlier we conjectured that any such cubic root must be acyclic. In the present note we give two short proofs of this statement and show acyclicity of some other line bundles on the fake projective planes with at least $9$ automorphisms. Similarly to our earlier work we employ simple representation theory for non-abelian finite groups. The first proof is based on the observation that if some line bundle is non-linearizable with respect to a finite abelian group, then it should be linearized by a finite, \emph{non-abelian}, Heisenberg group. For the second proof, we also demonstrate vanishing of odd Betti numbers for a class of abelian covers, and use linearization of an auxiliary line bundle as well.

math.AG↗
arXiv2022

Singular symplectic spaces and holomorphic membranes

We set up a topological framework for degenerations of symplectic manifolds into singular spaces paying a special attention to the behavior of Lagrangian manifolds and their (holomorphic) membranes. We show that degenerations into singular toric varieties provide a source of exotic Lagrangian tori.

math.SG↗
arXiv2022

Graph potentials and symplectic geometry of moduli spaces of vector bundles

We give the first examples of Fano manifolds with multiple optimal tori, i.e.~we construct monotone Lagrangian tori $L$, such that the weighted number of holomorphic Maslov index two discs with boundary on $L$ equals the upper bound given by the symplectic invariant $\limsup_n ([m_0(L)^n]_{x^0})^{1/n}$, where $m_0(L)$ is the Floer potential. To every trivalent graph $\gamma$ of genus $g$ we associate an optimal torus $L_\gamma$ on the celebrated symplectic Fano manifold $\mathcal{N}_g$ (of complex dimension $3g-3$) with $\mathrm{T}_{\mathcal{N}_g} = 8g-8$), given by the character variety of rank 2 on a genus $g$ surface with prescribed odd monodromy at a puncture, We moreover show that all pairs $(\mathcal{N}_g,L_\gamma)$ are pairwise non-isotopic. In particular, we confirm a form of mirror symmetry between the A-model of the pairs $(\mathcal{N}_g,L_\gamma)$ (and also spaces $\mathcal{N}_g$ standalone) and B-model of graph potentials, a family of Laurent polynomials we introduced in earlier work. A crucial input from outside of symplectic geometry is an analysis of Manon's toric degenerations of algebro-geometric models $\mathrm{M}_C(2,\mathcal{L})$ for the spaces $\mathcal{N}_g$, as moduli spaces of stable rank $2$ bundles on an algebraic curve with a fixed determinant, constructed using conformal field theory.

math.AG↗
arXiv2022

Graph potentials and topological quantum field theories

We introduce graph potentials, which are Laurent polynomials associated to (colored) trivalent graphs. We show that the birational type of the graph potential only depends on the homotopy type of the colored graph, and use this to define a topological quantum field theory. A similar construction was recently introduced independently by Kontsevich--Odesskii under the name of multiplicative kernels. We end our paper by giving an efficient computational method to compute its partition function. This is the first paper in a series, and we give a survey of the applications of graph potentials in the other parts.

math.AG↗
arXiv2020

Decompositions of moduli spaces of vector bundles and graph potentials

We propose a conjectural semiorthogonal decomposition for the derived category of the moduli space of stable rank 2 bundles with fixed determinant of odd degree, independently formulated by Narasimhan. We discuss some evidence for, and furthermore propose semiorthogonal decompositions with additional structure. We also discuss two other decompositions. One is a decomposition of this moduli space in the Grothendieck ring of varieties, which relates to various known motivic decompositions. The other is the critical value decomposition of a candidate mirror Landau-Ginzburg model given by graph potentials, which in turn is related under mirror symmetry to Munoz's decomposition of quantum cohomology. This corresponds to an orthogonal decomposition of the Fukaya category. We will explain how these decompositions can be seen as evidence for the conjectural semiorthogonal decomposition.

math.AG↗
arXiv2020

Projective bundles and blow-ups of Projective spaces

The aim of this note is to investigate the relation between two types of non-singular projective varieties of Picard rank 2, namely the Projective bundles over Projective spaces and certain Blow-up of Projective spaces.

math.AG↗
arXiv2018

Degenerations, transitions and quantum cohomology

Given a singular variety I discuss the relations between quantum cohomology of its resolution and smoothing. In particular, I explain how toric degenerations helps with computing Gromov--Witten invariants, and the role of this story in Fanosearch programme. The challenge is to formulate enumerative symplectic geometry of complex $3$-folds in a way suitable for extracting invariants under blowups, contractions, and transitions.

math.AG↗
arXiv2018

Fano-Mathieu correspondence

We show that $G$-Fano threefolds are mirror-modular. 1. Mirror maps are inversed reversed Hauptmoduln for moonshine subgroups of $SL_2(\mathbb{R})$. 2. Quantum periods, shifted by an integer constant (eigenvalue of quantum operator on primitive cohomology) are expansions of weight 2 modular forms (theta-functions) in terms of inversed Hauptmoduln. 3. Products of inversed Hauptmoduln with some fractional powers of shifted quantum periods are very nice cuspforms (eta-quotients). The latter cuspforms also appear in work of Mason and others: they are eta-products, related to conjugacy classes of sporadic simple groups, such as Mathieu group $M_{24}$ and Conway's group of isometries of Leech lattice. This gives a strange correspondence between deformation classes of $G$-Fano threefolds and conjugacy classes of Mathieu group $M_{24}$.

math.AG↗
arXiv2018

Gamma conjecture via mirror symmetry

The asymptotic behaviour of solutions to the quantum differential equation of a Fano manifold F defines a characteristic class A_F of F, called the principal asymptotic class. Gamma conjecture of Vasily Golyshev and the present authors claims that the principal asymptotic class A_F equals the Gamma class G_F associated to Euler's $Γ$-function. We illustrate in the case of toric varieties, toric complete intersections and Grassmannians how this conjecture follows from mirror symmetry. We also prove that Gamma conjecture is compatible with taking hyperplane sections, and give a heuristic argument how the mirror oscillatory integral and the Gamma class for the projective space arise from the polynomial loop space.

math.AG↗
arXiv2018

Examples violating Golyshev's canonical strip hypotheses

We give the first examples of smooth Fano and Calabi-Yau varieties violating the (narrow) canonical strip hypothesis, which concerns the location of the roots of Hilbert polynomials of polarised varieties. They are given by moduli spaces of rank 2 bundles with fixed odd-degree determinant on curves of sufficiently high genus, hence our Fano examples have Picard rank 1, index 2, are rational, and have moduli. The hypotheses also fail for several other closely related varieties.

math.AG↗
arXiv2016

Apéry constants of homogeneous varieties

For Fano manifolds we define Apéry constants and Apéry class as particular limits of ratios of coefficients of solutions of the quantum differential equation. We do numerical computations in case of homogeneous varieties. These numbers are identified to be polynomials in the values of Riemann zeta-function with natural arguments.

math.NT↗
arXiv2015

Gamma classes and quantum cohomology of Fano manifolds: Gamma conjectures

We propose Gamma Conjectures for Fano manifolds which can be thought of as a square root of the index theorem. Studying the exponential asymptotics of solutions to the quantum differential equation, we associate a principal asymptotic class A_F to a Fano manifold F. We say that F satisfies Gamma Conjecture I if A_F equals the Gamma class G_F. When the quantum cohomology of F is semisimple, we say that F satisfies Gamma Conjecture II if the columns of the central connection matrix of the quantum cohomology are formed by G_F Ch(E_i) for an exceptional collection {E_i} in the derived category of coherent sheaves D^b_coh(F). Gamma Conjecture II refines part (3) of Dubrovin's conjecture. We prove Gamma Conjectures for projective spaces and Grassmannians.

math.AG↗
arXiv2015

On a zeta-function of a dg-category

We define a zeta-function of a pre-triangulated dg-category and investigate its relationship with the motivic zeta-function in the geometric case.

math.AG↗