Let $f,g:\cc^2\ra\cc$ be two quasi-homogeneous polynomials. We compute the $V$-filtration of the restriction of $f$ to any plane curve $C_t=g^{-1}(t)$ and show that the Gorenstein generator $dx\wedge dy/dg$ is a primitive form. Using results of A. Douai and C. Sabbah, we conclude that base space of the miniversal unfolding of $f_t:=f|_{C_t}$ is a Frobenius manifold. At the singular fibre $C_0$ we obtain a non-massive Frobenius manifold.
We give examples of families of Frobenius type structures on the punctured plane and we study their limits at the boundary. We then discuss the existence of a limit Frobenius manifold. We also give an example of a logarithmic Frobenius manifold.
Graduate School of Mathematical Sciences, University of Tokyo（东京大学大学院数理科学研究科）；Department of Mathematics, Faculty of Science, Saitama University（埼玉大学理学部数学系）
The base space of a semiuniversal unfolding of a hypersurface singularity carries a rich geometry. By work of K. Saito and M. Saito is can be equipped with the structure of a Frobenius manifold. By work of Cecotti and Vafa it can be equipped with tt* geometry if the singularity is quasihomogeneous. tt* geometry generalizes the notion of variation of Hodge structures. In the second part of this paper (chapters 6-8) Frobenius manifolds and tt* geometry are constructed for any hypersurface singularity, using essentially oscillating integrals; and the intimate relationship between polarized mixed …
We show that the Frobenius manifold associated to the pair of a cusp singularity and it's canonical primitive form is isomorphic to the one constructed from the Gromov--Witten theory for an orbifold projective line with at most three orbifold points. We also calculate the intersection form of the Frobenius manifold.
We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga-Gorenstein rings of finite GP type. We also apply our method to representation theory, obt…
K. Saito's theory of primitive forms gives a natural semi-simple Frobenius manifold structure on the space of miniversal deformations of an isolated singularity. On the other hand, Givental introduced the notion of a total ancestor potential for every semi-simple point of a Frobenius manifold and conjectured that in the settings of singularity theory his definition extends analytically to non-semisimple points as well. In this paper we prove Givental's conjecture by using the Eynard--Orantin recursion.
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.
Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes remarkable relationships between these, sometimes rather distant, mathematical theories.
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.
By a famous result of K. Saito, the parameter space of the miniversal deformation of the $A_{r-1}$-singularity carries a Frobenius manifold structure. The Landau-Ginzburg mirror symmetry says that, in the flat coordinates, the potential of this Frobenius manifold is equal to the generating series of certain integrals over the moduli space of $r$-spin curves. In this paper we show that the parameters of the miniversal deformation, considered as functions of the flat coordinates, also have a simple geometric interpretation using the extended $r$-spin theory, first considered by T. J. Jarvis, T. …
The goal of this paper is to introduce the notion of $G$-Frobenius manifolds for any finite group $G$. This work is motivated by the fact that any $G$-Frobenius algebra yields an ordinary Frobenius algebra by taking its $G$-invariants. We generalize this on the level of Frobenius manifolds. To define a $G$-Frobenius manifold as a braided-commutative generalization of the ordinary commutative Frobenius manifold, we develop the theory of $G$-braided spaces. These are defined as $G$-graded $G$-modules with certain braided-commutative "rings of functions", generalizing the commutative rings of pow…
It was shown in \cite{DVV} for $2d$ topological Conformal field theory (TCFT) \cite{EY,W} and more recently in \cite{BSZ}-\cite{BB2} for the non-critical String theory \cite{P}-\cite{BAlZ} that a number of models of these two types can be exactly solved using their connection with the Frobenius manifold (FM) structure introduced by Dubrovin\cite{Dub}. More precisely these models are connected with a special case of FMs, so called Saito Frobenius manifolds (SFM)\cite{Saito} (originally called Flat structure together with the Flat coordinate system), which arise on the space of the versal deform…
For any non-degenerate, quasi-homogeneous hypersurface singularity W and an admissible group of diagonal symmetries G, Fan, Jarvis, and Ruan have constructed a cohomological field theory which is a candidate for the mathematical structure behind the Landau-Ginzburg A-model. When using the orbifold Milnor ring of a singularity W as a B-model, and the Frobenius algebra H_{W,G} constructed by Fan, Jarvis, and Ruan, as an A-model, the following conjecture is obtained: For a quasi-homogeneous singularity W and a group G of symmetries of W, there is a dual singularity W^T such that the orbifold A-mo…
The base space of a semi-universal unfolding of a hypersurface singularity carries a rich geometric structure, which was axiomatized as a CDV-structure by C. Hertling. For any CDV-structure on a Frobenius manifold M, the pull-back of the (1,0)-tangent bundle of M to the product of M by the complex line carries two natural holomorphic structures equipped with flat meromorphic connections. We show that, for any semi-simple CDV-structure, there is a formal isomorphism between these two bundles compatible with connections. Moreover, if we assume that the super-symmetric index Q vanishes, we give a…
A well known construction of B. Dubrovin and K. Saito endows the parameter space of a universal unfolding of a simple singularity with a Frobenius manifold structure. In our paper we present a generalization of this construction for the singularities of types $A$ and $D$, that gives a solution of the open WDVV equations. For the $A$-singularity the resulting solution describes the intersection numbers on the moduli space of $r$-spin disks, introduced recently in a work of the second author, E. Clader and R. Tessler. In the second part of the paper we describe the space of homogeneous polynomia…
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…
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…
In this paper, we will prove that the quantum ring of the quasi-homogeneous polynomial $X^{p}+XY^{q}(p\ge 2,q>1)$ with some admissible symmetry group $G$ defined by Fan-Jarvis-Ruan-Witten theory is isomorphic to the Milnor ring of its mirror dual polynomial $X^{p}Y+Y^{q}$. We will construct an concrete isomorphism between them. The construction is a little bit different in case $(p-1,q)=1$ and case $(p-1,q)=d>1$. Some other problems including the correspondence between the pairings of both Frobenius algebras has also been discussed.
Let $D$ be the ring of Grothendieck differential operators of the ring $R$ of polynomials in $d\geq3$ variables with coefficients in a perfect field of positive characteristic $p.$ We compute the $D$-module length of the first local cohomology module $H^1_f(R)$ of $R$ with respect to an irreducible polynomial $f$ with an isolated singularity, for $p$ large enough. The expression we give is in terms of the Frobenius action on the top coherent cohomology of the structure sheaf of the exceptional divisor of a resolution of the singularity. Our proof rests on a tight closure computation due to Har…
In this paper we compute explicitly the double ramification hierarchy and its quantization for the $D_4$ Dubrovin-Saito cohomological field theory obtained applying the Givental-Teleman reconstruction theorem to the $D_4$ Coxeter group Frobenius manifold, or equivalently the $D_4$ Fan-Jarvis-Ruan-Witten cohomological field theory (with respect to the non-maximal diagonal symmetry group $\langle J\rangle = \mathbb{Z}_3$). We then prove its equivalence to the corresponding Dubrovin-Zhang hierarchy, which was known to coincide with the $D_4$ Drinfeld-Sokolov hierarchy. Our techniques provide henc…
