We describe genus g>1 potentials of semisimple Frobenius structures. Our formula can be considered as a definition in the axiomatic context of Frobenius manifolds. In Gromov-Witten theory, it becomes a conjecture expressing higher genus GW-invariants in terms of genus 0 GW-invariants of symplectic manifolds with generically semisimple quantum cup-product. The conjecture is supported by the corresponding theorem about equivariant GW-invariants of tori actions with isolated fixed points. The parallel theory of gravitational descendents is also presented.
We introduce and study a superversion of Dubrovin's notion of semisimple Frobenius manifolds. We establish a correspondence between semisimple Frobenius (super)manifolds and special solutions to the (supersymmetric) Schlesinger equations. Finally, we calculate the Schlesinger initial conditions for solutions describing quantum cohomology of projective spaces.
We study critical behaviour and connection problem for a Painleve' 6 equation. We construct solutions of WDVV eqs. using the isomonodromic deformation method and the Painleve' equations. We find algebraic solutions of WDVV and Gromov-Witten invariants of projective space.
We give a criterion for extending a generically semisimple (not necessarily conformal) Frobenius manifold locally near a smooth point of the discriminant to a cohomological field theory. As an application, we show that a large set of tautological relations related to the Givental--Teleman classification for any generically semisimple cohomological field theories follow from Pixton's generalized Faber--Zagier relations.
We represent the genus two free energy of an arbitrary semisimple Frobenius manifold as a sum of contributions associated with dual graphs of certain stable algebraic curves of genus two plus the so-called "genus two G-function". Conjecturally the genus two G-function vanishes for a series of important examples of Frobenius manifolds associated with simple singularities as well as for ${\bf P}^1$-orbifolds with positive Euler characteristics. We explain the reasons for such Conjecture and prove it in certain particular cases.
Let $X$ be a smooth proper genus 2 curve over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the the moduli space $M\_X$ of semi-stable rank 2 vector bundles over $X$, which is isomorphic to a 3-dimensional projective space. Y. Laszlo and C. Pauly recently gave the equations of $F$ for an ordinary $X$. Using deformation, we give these equations for a supersingular $X$ and draw some consequences such as the base locus of $F$ (one point), or the stability of the complementary Zariski open set.
Let X be a general proper and smooth curve of genus 2 (resp. of genus 3) defined over an algebraically closed field of characteristic p. When 3\leq p \leq 7, the action of Frobenius on rank 2 semi-stable vector bundles with trivial determinant is completely determined by its restrictions to the 30 lines (resp. the 126 Kummer surfaces) that are invariant under the action of some order 2 line bundle over X. Those lines (resp. those Kummer surfaces) are closely related to the elliptic curves (resp. the abelian varieties of dimension 2) that appear as the Prym varieties associated to double étale …
We study stable rank 2 vector bundles with trivial determinant whose Frobenius pull back is non stable over a general curve of genus g>1. In genus 2, we apply recent results about the theta divisor associated to the bundle B of locally exact differential forms and we derive a scheme-theoretic description of the Frobenius inverse image of the semi-stable boundary of the moduli space.
In this paper, we give a simple formula for the generating function of genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology, and use this formula to prove the genus-2 Virasoro conjecture for such manifolds.
We extend the analytic theory of Frobenius manifolds to semisimple points with coalescing eigenvalues of the operator of multiplication by the Euler vector field. We clarify which freedoms, ambiguities and mutual constraints are allowed in the definition of monodromy data, in view of their importance for conjectural relationships between Frobenius manifolds and derived categories. Detailed examples and applications are taken from singularity and quantum cohomology theories. We explicitly compute the monodromy data at points of the Maxwell Stratum of the A3-Frobenius manifold, as well as at the…
We give explicit formulas for the Kawazumi-Zhang invariant and Faltings delta-invariant of a compact and connected Riemann surface of genus three. The formulas are in terms of two integrals over the associated jacobian, one integral involving the standard Riemann theta function, and another involving a theta function particular to genus three that was discovered by Frobenius. We review part of Frobenius' work on his theta function and connect our results with a formula due to Bloch, Hain and Bost describing the archimedean height pairing of Ceresa cycles in genus three.
Let X be a projective manifold, and let H be the associated small phase space; this is a Frobenius manifold with canonical choice of fundamental solution for the Dubrovin connection. The large phase space of X may be identified with the jet-space of curves in H. In this paper, we formulate the differential equations satisfied by the higher-genus potentials F_g of X, such as topological recursion relations and the Virasoro constraints, in an intrinsic fashion on the jet space of H, that is, in such a way that the equations do not depend on the choice of fundamental solution. This effort is rewa…
Let $X$ be genus 2 curve defined over an algebraically closed field of characteristic $p$ and let $X\_1$ be its $p$-twist. Let $M\_X$ (resp. $M\_{X\_1}$) be the (coarse) moduli space of semi-stable rank 2 vector bundles with trivial determinant over $X$ (resp. $X\_1$). The moduli space $M\_X$ is isomorphic to the 3-dimensional projective space and is endowed with an action of the group $J[2]$ of order 2 line bundles over $X$. When $3\leq p \leq 7$, we show that the Verschiebung (i.e., the separable part of the action of Frobenius by pull-back) $V : M\_{X\_1} \dashrightarrow M\_X$ is completely…
For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C.
For an arbitrary Frobenius manifold a system of Virasoro constraints is constructed. In the semisimple case these constraints are proved to hold true in the genus one approximation. Particularly, the genus $\leq 1$ Virasoro conjecture of T.Eguchi, K.Hori, M.Jinzenji, and C.-S.Xiong and of S.Katz is proved for smooth projective varieties having semisimple quantum cohomology.
We prove that the genus-0 invariants in K-theoretic Gromov--Witten theory are governed by an integrable hierarchy of hydrodynamic type. If the K-theoretic quantum product is semisimple, then we also prove the completeness of the hierarchy.
We use the theory of p-curvature of connections to analyze stable vector bundles of rank 2 on curves of genus 2 which pull back to unstable bundles under the Frobenius morphism. We take two approaches, first using explicit formulas for p-curvature to analyze low-characteristic cases, and then using degeneration techniques to obtain an answer for a general curve by degenerating to an irreducible rational nodal curve, and applying the results of math.AG/0409145 and math.AG/0407445. We also apply our explicit formulas to give a new description of the strata of curves of genus 2 of different p-ran…
Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of distributions of G, which, for example, explains the subsumed G-equivariant nature of the Frobenius splitting of the flag variety of G.
This is an expository paper based on the results in [12] and [16]. The main goal is to prove the following two conjectures for genus up to two. (1) Witten's conjecture on the relations between higher spin curves and Gelfand-Dickey Hierarchies. (2) Virasoro conjecture for conformal semisimple Frobenius manifolds.
In a recent paper [8], it is proved that the genus two free energy of an arbitrary semisimple Frobenius manifold can be represented as a sum of contributions associated with dual graphs of certain stable algebraic curves of genus two plus the so called genus two G-function, and for a certain class of Frobenius manifolds it is conjectured that the associated genus two G-function vanishes. In this paper, we prove this conjecture for the Frobenius manifolds associated with simple singularities of type A.
Lecture 1. Algebraic properties of correlators in 2D topological field theory. Moduli of a 2D TFT and WDVV equations of associativity. Lecture 2. Equations of associativity and Frobenius manifolds. Deformed flat connection and its monodromy at the origin. Lecture 3. Semisimplicity and canonical coordinates. Lecture 4. Classification of semisimple Frobenius manifolds. Lecture 5. Monodromy group and mirror construction for semisimple Frobenius manifolds.
Let X be a smooth projective curve of genus $g\geq 2$ defined over an algebraically closed field k of characteristic $p>0$ and let $F:X\rightarrow X_{1}$ be the relative k-linear Frobenius map. We prove (Theorem 1.1) E is a stable bundle on $X_{1}$ with $I(E)= (p-1)(2g-2)$ if and only if E is the direct image of some stable bundle W on $X$.
The paper is dedicated to the study of algebraic manifolds whose quantum cohomology or a part of it is a semisimple Frobenius manifold. Theorem 1.8.1 says, roughly speaking, that the sum of $(p,p)$--cohomology spaces is a maximal Frobenius submanifold that has chances to be semisimple. Theorem 1.8.3 provides a version of the Reconstruction theorem, assuming semisimplicity but not $H^2$--generation. Theorem 3.6.1 establishes the semisimplicity for all del Pezzo surfaces, providing an evidence for the conjecture that semisimplicity is related to the existence of a full system of exceptional shea…
In this paper, we generalize the Givental theory for Frobenius manifolds and cohomological field theories to flat F-manifolds and F-cohomological field theories. In particular, we define a notion of Givental cone for flat F-manifolds, and we provide a generalization of the Givental group as a matrix loop group acting on them. We show that this action is transitive on semisimple flat F-manifolds. We then extend this action to F-cohomological field theories in all genera. We show that, given a semisimple flat F-manifold and a Givental group element connecting it to the constant flat F-manifold a…
The purpose of the notes is to reiterate and expand the viewpoint, outlined in the paper math.AG/0110142 of T. Coates and the author, which recasts the concept of Frobenius manifold in terms of linear symplectic geometry and exposes the role of the twisted loop group L^{(2)}GL_N of hidden symmetries. New applications include a several line proof of the genus 0 Virasoro constraints and the quantum Hirzebruch-Riemann-Roch theorem in the theory of cobordism-valued Gromov-Witten invariants.
We prove an explicit formula for the genus-one Fan-Jarvis-Ruan-Witten invariants associated to the quintic threefold, verifying the genus-one mirror conjecture of Huang, Klemm, and Quackenbush. The proof involves two steps. The first step uses localization on auxiliary moduli spaces to compare the usual Fan-Jarvis-Ruan-Witten invariants with a semisimple theory of twisted invariants. The second step uses the genus-one formula for semisimple cohomological field theories to compute the twisted invariants explicitly.
The existence of universal unfoldings of certain germs of meromorphic connections is established. This is used to prove a general construction theorem for Frobenius manifolds. A particular case is Dubrovin's theorem on semisimple Frobenius manifolds. Another special case starts with variations of Hodge structures. This case is used to compare two constructions of Frobenius manifolds, the one in singularity theory and the Barannikov-Kontsevich construction. For homogeneous polynomials which give Calabi-Yau hypersurfaces certain Frobenius submanifolds in both constructions are isomorphic.
A finite quiver $Q$ without loops or 2-cycles defines a 3CY triangulated category $D(Q)$ and a finite heart $A(Q)$. We show that if $Q$ satisfies some (strong) conditions then the space of stability conditions $Stab(A(Q))$ supported on this heart admits a natural family of semisimple Frobenius manifold structures, constructed using the invariants counting semistable objects in $D(Q)$. In the case of $A_n$ evaluating the family at a special point we recover a branch of the Saito Frobenius structure of the $A_n$ singularity $y^2 = x^{n+1}$. We give examples where applying the construction to eac…
The Landau-Ginzburg A-model, given by FJRW theory, defines a cohomological field theory, but in most examples is very difficult to compute, especially when the symmetry group is not maximal. We give some methods for finding the A-model structure. In many cases our methods completely determine the previously unknown A-model Frobenius manifold structure. In the case where these Frobenius manifolds are semisimple, this can be shown to determine the structure of the higher genus potential as well. We compute the Frobenius manifold structure for 27 of the previously unknown unimodal and bimodal sin…
A Frobenius manifold has tri-hamiltonian structure if it is even-dimensional and its spectrum is maximally degenerate. We focus on the case of dimension four and show that, under the assumption of semisimplicity, the corresponding isomonodromic Fuchsian system is described by the Painlevé VI$μ$ equation. This yields an explicit procedure associating to any semisimple Frobenius manifold of dimension three a tri-hamiltonian Frobenius manifold of dimension four. We carry out explicit examples for the case of Frobenius structures on Hurwitz spaces.
In this paper we study the relation between the Frobenius manifolds of GW theory and Hurwitz-Frobenius manifold. We prove that orbifold GW theory of \PP^1(2,2,2,2) is isomorphic to the submanifold in the Hurwitz-Frobenius manifold of ramified coverings of the sphere by the genus 1 curve with the ramification profile (2,2,2,2) over infinity.
In this paper we generalize the formula of Frobenius-Stickelberger and the formula of Kiepert to genus-three case. The latter is well-known determinant expression for any division polynomial of any elliptic curve.
Let $G$ denote a connected semisimple and simply connected algebraic group over an algebraically closed field $k$ of positive characteristic and let $g$ denote a regular element of $G$. Let $X$ denote any equivariant embedding of $G$. We prove that the closure of the conjugacy class of $g$ within $X$ is normal and Cohen-Macaulay. Moreover, when $X$ is smooth we prove that this closure is a local complete intersection. As a consequence, the closure of the unipotent variety within $X$ share the same geometric properties.
In this work we give an explicit solution to the problem of differentiation of hyperelliptic functions in genus $4$ case. It is a genus $4$ analogue of the classical result of F. G. Frobenius and L. Stickelberger [F. G. Frobenius, L. Stickelberger, "Uber die Differentiation der elliptischen Functionen nach den Perioden und Invarianten", J. Reine Angew. Math., 92 (1882), 311-337] in the case of elliptic functions. An explicit solution in the genus $2$ case was given in [V. M. Buchstaber, "Polynomial dynamical systems and Korteweg-de Vries equation", Proc. Steklov Inst. Math., 294 (2016), 176-20…
We show that if $M$ is a Frobenius manifold of dimension $n$ such that $T_{x} M$ is semisimple for every $x \in M$, then there exists a canonical 2-vector bundle $\mathcal{B}$ over $M$ of rank $n$. This 2-vector bundle encodes the information about the maximal category of $D$-branes associated to the open closed topological field theories defined by the Frobenius algebras $T_{x} M$. In particular this construction answers a conjecture of Graeme Segal in~\cite{segal07:_what_is_ellip_objec}. We also explain the relation of the labels of the $D$-branes to Azumaya algebras and twisted vector bundl…
We explain the homological relation between the Frobenius structure on the deformation space of Calabi-Yau manifold and the gauge theory of Kodaira-Spencer gravity. We show that the genus zero generating function of descendant invariants on Calabi-Yau manifolds from Barannikov's semi-infinite variation of Hodge structures is equivalent to the Kodaira-Spencer gauge theory at tree level.
Let G be a semisimple algebraic group over an algebraically closed field of positive characteristic p. Generalizing the construction of the PBW filtration on Weyl modules for G we construct a G-stable filtration on tensor products of Weyl modules which we call the induced PBW filtration. We use this filtration to give some purely representation-theoretic conditions which are equivalent to the existence of a Frobenius splitting of the double flag variety $G/B \times G/B$ that maximally compatibly splits the diagonal. In particular, this gives a sufficient condition for Wahl's conjecture to hold…
Hurwitz spaces parameterizing covers of the Riemann sphere can be equipped with a Frobenius structure. In this review, we recall the construction of such Hurwitz Frobenius manifolds as well as the correspondence between semisimple Frobenius manifolds and the topological recursion formalism. We then apply this correspondence to Hurwitz Frobenius manifolds by explaining that the corresponding primary invariants can be obtained as periods of multidifferentials globally defined on a compact Riemann surface by topological recursion. Finally, we use this construction to reply to the following questi…
We construct a generalization of the variations of Hodge structures on Calabi-Yau manifolds. It gives a Mirror partner for the theory of genus=0 Gromov-Witten invariants
For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the invariants of length 4 and show that, besides a special invariant, all genus zero Gromov-Witten invariants can be reconstructed from the invariants of length 4. In dimension 4, we compute the special invariant by solving a curve counting problem. We show that the generating function of genus zero Gromov-Witten invariants has a positive radius of convergence. We…
For an arbitrary calibrated Frobenius manifold, we construct an infinite dimensional Lie algebra, called the Virasoro-like algebra, which is a deformation of the Virasoro algebra of the Frobenius manifold. By using the Virasoro-like algebra we give a family of quadratic PDEs that are satisfied by the genus-zero free energy of the Frobenius manifold. We also derive, under the semisimplicity assumption, the Virasoro constraints for the corresponding abstract Hodge partition function.
Let π: V \rightarrow M be a (real or holomorphic) vector bundle whose base has an almost Frobenius structure (\circ_{M},e_{M}, g_{M}) and typical fiber has the structure of a Frobenius algebra (\circ_{V},e_{V},g_{V}). Using a connection D on the bundle V and a morphism α: V \rightarrow TM, we construct an almost Frobenius structure (\circ,e_{V},g) on the manifold V and we study when it is Frobenius. We describe all (real) positive-definite Frobenius structures on V, obtained in this way, when M is a semisimple Frobenius manifold with non-vanishing rotation coefficients. In the holomorphic sett…
