arXiv subjects
Publications and source records attributed to Sergey Shadrin.
In this paper, we initiate the study of the Givental group action on Cohomological Field Theories in terms of homotopical algebra. More precisely, we show that the stabilisers of Topological Field Theories in genus 0 (respectively in genera 0 and 1) are in one-to-one correspondence with commutative homotopy Batalin--Vilkovisky algebras (respectively wheeled commutative homotopy BV-algebras).
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$Δ$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas are given in terms of the Givental graphs, and are proved in two different ways. One proof uses the Givental group action, and the other proof goes through a chain of explicit formulas on resolutions of Hycomm and BV. The second approach gives, in particular, a homological explanation of the Givental group action on Hycomm-algebras.
We endow the de Rham cohomology of any Poisson or Jacobi manifold with a natural homotopy Frobenius manifold structure. This result relies on a minimal model theorem for multicomplexes and a new kind of a Hodge degeneration condition.
To each partition function of cohomological field theory one can associate an Hamiltonian integrable hierarchy of topological type. The Givental group acts on such partition functions and consequently on the associated integrable hierarchies. We consider the Hirota and Lax formulations of the deformation of the hierarchy of N copies of KdV obtained by an infinitesimal action of the Givental group. By first deforming the Hirota quadratic equations and then applying a fundamental lemma to express it in terms of pseudo-differential operators, we show that such deformed hierarchy admits an explicit Lax formulation. We then compare the deformed Hamiltonians obtained from the Lax equations with the analogous formulas obtained in [1, 2], to find that they agree. We finally comment on the possibility of extending the Hirota and Lax formulation on the whole orbit of the Givental group action.
We discuss an analog of the Givental group action for the space of solutions of the commutativity equation. There are equivalent formulations in terms of cohomology classes on the Losev-Manin compactifications of genus 0 moduli spaces; in terms of linear algebra in the space of Laurent series; in terms of differential operators acting on Gromov-Witten potentials; and in terms of multi-component KP tau-functions. The last approach is equivalent to the Losev-Polyubin classification that was obtained via dressing transformations technique.
We establish a link between two different constructions of the action of the twisted loop group on the space of Frobenius structures. The first construction (due to Givental) describes the action of the twisted loop group on the partition functions of formal Gromov-Witten theories. The explicit formulas for the corresponding tangent action were computed by Y.-P. Lee. The second construction (due to van de Leur) describes the action of the same group on the space of Frobenius structures via the multi-component KP hierarchies. Our main theorem states that the genus zero restriction of the Y.-P. Lee formulas coincides with the tangent van de Leur action.
In a series of two preprints, Y.-P. Lee studied relations satisfied by all formal Gromov-Witten potentials, as defined by A. Givental. He called them "universal relations" and studied their connection with tautological relations in the cohomology ring of moduli spaces of stable curves. Building on Y.-P. Lee's work, we give a simple proof of the fact that every tautological relation gives rise to a universal relation (which was also proved by Y.-P. Lee modulo certain results announced by C. Teleman). In particular, this implies that in any semi-simple Gromov-Witten theory where arbitrary correlators can be expressed in genus 0 correlators using only tautological relations, the formal and the geometric Gromov-Witten potentials coincide. As the most important application, we show that our results suffice to deduce the statement of a 1991 Witten conjecture on r-spin structures from the results obtained by Givental for the corresponding formal Gromov-Witten potential. The conjecture in question states that certain intersection numbers on the moduli space of r-spin structures can be arranged into a power series that satisfies the r-KdV (or r-th higher Gelfand-Dikii) hierarchy of partial differential equations.
In [5] I.P. Goulden, D.M. Jackson, and R. Vakil formulated a conjecture relating certain Hurwitz numbers (enumerating ramified coverings of the sphere) to the intersection theory on a conjectural Picard variety. We are going to use their formula to study the intersection theory on this variety (if it is ever to be constructed) by methods close to those of M. Kazarian and S. Lando in [7]. In particular, we prove a Witten-Kontsevich-type theorem relating the intersection theory and integrable hierarchies. We also extend the results of [7] to include the Hodge integrals over the moduli spaces, involving one lambda-class.