We review progress on the generalized Witten conjecture and some of its major ingredients. This conjecture states that certain intersection numbers on the moduli space of higher spin curves assemble into the logarithm of the tau function of a semiclassical limit of the r-th Gelfand-Dickey (or KdV_r) hierarchy. Additionally, we prove that tensor products of the Frobenius manifolds associated to such hierarchies admit a geometric interpretation in terms of moduli spaces of higher spin structures. We also elaborate upon the analogy to Gromov-Witten invariants of a smooth, projective variety.
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.
Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$, $\M^s_X(r,d)$ the moduli space of stable vector bundles of rank $r$ and degree $d$ on $X$. We study the Frobenius stratification of $\M^s_X(r,d)$ in terms of Harder-Narasimhan polygons of Frobenius pull backs of stable vector bundles and obtain the irreducibility and dimension of each non-empty Frobenius stratum in case $(p,g,r)=(3,2,3)$.
Let $X$ be a smooth projective curve of genus $g\geq 2$ over an algebraically closed field $k$ of characteristic $p>0$, $F_X:X\rightarrow X$ the absolute Frobenius morphism. Let $\M^s_X(r,d)$ be the moduli space of stable vector bundles of rank $r$ and degree $d$ on $X$. We study the Frobenius stratification of $\M^s_X(3,0)$ in terms of Harder-Narasimhan polygons of Frobenius pull backs of stable vector bundles and obtain the irreducibility and dimension of each non-empty Frobenius stratum in the case $(p,g)=(3,2)$.
We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse special situations like vector bundles on the projective line and relations with infinite Grassmannians.
It is known that generalized deformation in the sense of Hitchin-Gaultieri is a geometric realization of the degree-2 component of Kontsevich-Barannikov's homological approach to extended deformation. Through extended deformation, one associates a Frobenius structure to the extended moduli space. In this notes, we prove that on primary Kodaira manifolds the restriction of the Frobenius structure on the degree-2 component of the extended moduli space is trivial. It generalizes the author's past observation on Kodaira surface.
We review the role played by tau functions of special type - called {\it Bergman} tau functions in various areas: theory of isomonodromic deformations, solutions of Einstein's equations, theory of Dubrovin-Frobenius manifolds, geometry of moduli spaces and spectral theory of Riemann surfaces. These tau functions are natural generalizations of Dedekind's eta-function to higher genus. Study of their properties allows to get an explicit form of Einstein's metrics, obtain new relations in Picard groups of various moduli spaces and derive holomorphic factorization formulas of determinants of Laplac…
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 prove the genus zero part of the generalized Witten conjecture relating moduli spaces of spin curves to Gelfand-Dickey hierarchies. That is, we show that intersection numbers on the moduli space of stable r-spin curves assemble into a generating function which yields a solution of the semiclassical limit of the KdV_r equations. We formulate axioms for a cohomology class on this moduli space which allow one to construct a cohomological field theory of rank $r-1$ in all genera. In genus zero it produces a Frobenius manifold which is isomorphic to the Frobenius manifold structure on the base o…
This is the second of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a there is dg--PROP action of a version of Sullivan Chord diagrams which acts on the normalized Hochschild co-chains of a Frobenius algebra. These actions lift to operadic correlation functions on the co--cycles. In particular, the PROP action gives an action on the homology of a loop space of a compact simply--connected manifold. In this second part, we discret…
Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 (with determinant equal to a theta characteristic) whose Frobenius pull-back is not semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.
This is the first of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a there is dg--PROP action of a version of Sullivan Chord diagrams which acts on the normalized Hochschild co-chains of a Frobenius algebra. These actions lift to operadic correlation functions on the co--cycles. In particular, the PROP action gives an action on the homology of a loop space of a compact simply--connected manifold. In this first part, we set up th…
Let $X$ be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli space of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 with determinant equal to a theta characteristic whose Frobenius pull-back is not stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.
We introduce the operation of forming the tensor product in the theory of analytic Frobenius manifolds. Building on the results for formal Frobenius manifolds which we extend to the additional structures of Euler fields and flat identities, we prove that the tensor product of pointed germs of Frobenius manifolds exists. Furthermore, we define the notion of a tensor product diagram of Frobenius manifolds with factorizable flat identity and prove the existence such a diagram and hence a tensor product Frobenius manifold. These diagrams and manifolds are unique up to equivalence. Finally, we deri…
Let X be a smooth projective curve of genus g>1 over an algebraically closed field of characteristic 2. Pull-back by the (absolute) Frobenius on X only defines a rational morphism on the moduli scheme of rank-2 vector bundles on X, because the Frobenius pull-back may destory stability of a vector bundle. This paper introduces and studies a Harder-Narasimhan type stratification on the moduli scheme and proves that the family of semi-stable rank-2 vector bundles (with a fixed degree) whose Frobenius pull-back are not semi-stable is parameterized by an irreducible subscheme of dimension 3g-4.
Let $X$ be an ordinary smooth curve defined over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the moduli space $M_X$ of rank 2 vector bundles with fixed trivial determinant. If the genus of $X$ is 2, the moduli space $M_X$ is isomorphic to projective space of dimension 3 (as over the complex numbers). In this case we explicitly give the equations of $F$, which enables us to determine, for example, its base locus (one point) and its image (different from $M_X$).
For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT contains a G-Frobenius algebra, a G-equivariant generalization of a Frobenius algebra, and that the "quotient" by G agrees with the obvious Frobenius algebra structure on the space of G-invariants, after re…
The paper studies three classes of Frobenius manifolds: Quantum Cohomology (topological sigma-models), unfolding spaces of singularities (K. Saito's theory, Landau-Ginzburg models), and the recent Barannikov-Kontsevich construction starting with the Dolbeault complex of a Calabi-Yau manifold and conjecturally producing the B--side of the Mirror Conjecture in arbitrary dimension. Each known construction provides the relevant Frobenius manifold with an extra structure which can be thought of as a version of ``non-linear cohomology''. The comparison of thesestructures sheds some light on the gene…
I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization …
Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips its local moduli space with a Frobenius lifting and canonical multiplicative coordinates. A variant of this theory has been obtained for ordinary K3 surfaces by Nygaard and Ogus. In this paper, we construct canonical liftings modulo $p^2$ of varieties with trivial canonical class which are ordinary in the weak sense that the Frobenius acts bijectively on the top cohomology of the structure sheaf. Consequently, we obtain a Fr…
In this paper, we give an expression and some estimates of the curvature tensor of the Hodge metric over the moduli space of a polarized Calabi-Yau threefold. The symmetricity of the Yukawa coupling is also studied. In the last section of this paper, an extra restriction of the limiting Hodge structure for the degeneration of Calabi-Yau threefolds is given.
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…
We construct Frobenius structures of "dual type" on the moduli space of ramified coverings of $\mathbb{P}^1$ with given ramification type over two points, generalizing a construction of Dubrovin. A complete hierarchy of hydrodynamic type is obtained from the corresponding deformed flat connection. This provides a suitable framework for the Whitham theory of an enlarged class of integrable hierarchies; we treat as examples the q-deformed Gelfand-Dickey hierarchy and the sine-Gordon equation, and compute the corresponding solutions of the WDVV equations.
We construct some extension ({\it Stable Field Theory}) of Cohomological Field Theory. The Stable Field Theory is a system of homomorphisms to some vector spaces generated by spheres and disks with punctures. It is described by a formal tensor series, satisfying to some system of "differential equations". In points of convergence the tensor series generate special noncommutative analogues of Frobenius algebras, describing 'Open-Closed' Topological Field Theories.
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.
We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such def…
We study new families of curves that are suitable for efficiently parametrizing their moduli spaces. We explicitly construct such families for smooth plane quartics in order to determine unique representatives for the isomorphism classes of smooth plane quartics over finite fields. In this way, we can visualize the distributions of their traces of Frobenius. This leads to new observations on fluctuations with respect to the limiting symmetry imposed by the theory of Katz and Sarnak.
It is shown that the relative distance in Frobenius norm of a real symmetric order-$d$ tensor of rank two to its best rank-one approximation is upper bounded by $\sqrt{1-(1-1/d)^{d-1}}$. This is achieved by determining the minimal possible ratio between spectral and Frobenius norm for symmetric tensors of border rank two, which equals $\left(1-{1}/{d}\right)^{(d-1)/{2}}$. These bounds are also verified for arbitrary real rank-two tensors by reducing to the symmetric case.
In this paper we extend our correlation functions to the open/closed case. This gives rise to actions of an open/closed version of the Sullivan PROP as well as an action of the relevant moduli space. There are several unexpected structures and conditions that arise in this extension which are forced upon us by considering the open sector. For string topology type operations, one cannot just consider graphs, but has to take punctures into account and one has to restrict the underlying Frobenius algebras. In the moduli space, one first has to pass to a smaller moduli space which is closed under …
We describe mirror symmetry for weak toric Fano manifolds as an equivalence of D-modules equipped with certain filtrations. We discuss in particular the logarithmic degeneration behavior at the large radius limit point, and express the mirror correspondence as an isomorphism of Frobenius manifolds with logarithmic poles. The main tool is an identification of the Gauss-Manin system of the mirror Landau-Ginzburg model with a hypergeometric D-module, and a detailed study of a natural filtration defined on this differential system. We obtain a solution of the Birkhoff problem for lattices defined …
We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank-one tensors, finding application in statistics.
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 $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a spe…
In this note we show that the restriction of the cotangent bundle $Ω_{\mathbb P}^2$ of the projective plane to a Fermat curve $C$ of degree $d$ in characteristic $p \equiv -1 \mod 2d$ is, up to tensoration with a certain line bundle, isomorphic to its Frobenius pull-back. This leads to a Frobenius periodicity $F^*({\mathcal E}) \cong {\mathcal E} $ on the Fermat curve of degree 2d, where ${\mathcal E}= {\rm Syz}(U^2,V^2,W^2)(3)$.
Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,ϕ), where E is a torsion free sheaf on X and ϕis a symmetric nondegenerate (in the open set where E is locally free) bilinear form on E. We also consider special orthogonal sheaves, by adding a trivialization ψof the determinant of E such that det(ϕ)=ψ^2 ; and symplectic sheaves, by considering a form which is skewsymmetric. More generally, we consider semistable tensors, i.e. multilinea…
Let X be a smooth projective curve of genus g \geq 2 over an algebraically closed field k of characteristic p > 0. Let M_X be the moduli space of semistable rank-2 vector bundles over X with trivial determinant. The relative Frobenius map F: X \to X_1 induces by pull-back a rational map V: M_{X_1} \to M_{X}. In this paper we show the following results. 1) For any line bundle L over X, the rank-p vector bundle F_*L is stable. 2) The rational map V has base points, i.e., there exist stable bundles E over X_1 such that F^* E is not semistable. 3) Let B \subset M_{X_1} denote the scheme-theoretica…
We prove a general formula for the intersection form of two arbitrary monomials in boundary divisors. Furthermore we present a tree basis of the cohomology of $\overline {M}_{0,n}$. With the help of the intersection form we determine the Gram matrix for this basis and give a formula for its inverse. This enables us to calculate the tensor product of the higher order multiplications arising in quantum cohomology and formal Frobenius manifolds. In the context of quantum cohomology this establishes the explicit Künneth formula.
Given a polarized abelian scheme with action by a ring, and a projective finitely presented module over that ring, Serre's tensor construction produces a new abelian scheme. We show that to equip these abelian schemes with polarizations it's enough to equip the projective modules with non-degenerate positive-definite hermitian forms. As an application, we relate certain moduli spaces of principally polarized abelian schemes with action by the ring of integers of a CM field. More specifically, we consider integral models of zero-dimensional Shimura varieties associated to compact unitary groups…
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 G be a reductive group over an algebraically closed field of positive characteristic. Let C be a smooth projective curve over k. We give a description of the moduli space of flat G-bundles in terms of the moduli space of G-Higgs bundles over the Frobenius twist C' of C. This description can be regarded as the non-abelian Hodge theory for curves in positive characteristic.
We prove several results about p-divisible groups and Rapoport-Zink spaces. Our main goal is to prove that Rapoport-Zink spaces at infinite level are naturally perfectoid spaces, and to give a description of these spaces purely in terms of p-adic Hodge theory. This allows us to formulate and prove duality isomorphisms between basic Rapoport-Zink spaces at infinite level in general. Moreover, we identify the image of the period morphism, reproving results of Faltings. For this, we give a general classification of p-divisible groups over the ring of integers of a complete algebraically closed fi…
In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of…
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…
Let $M^K_n$ be the moduli space of framed $K$-instantons with instanton number $n$ when $K$ is a compact simple Lie group of classical type. Due to Donaldson's theorem, its scheme structure is given by the regular locus of a GIT quotient of $μ^{-1}(0)$ where $μ$ is the moment map on the associated symplectic vector space of ADHM data. A main theorem of this paper asserts that $μ$ is flat for $K=SO(3,\mathbb{R})$ and any $n\ge0$. Hence we complete the interpretation of the K-theoretic Nekrasov partition function for the classical groups in Nekrasov-Shadchin's work in term of Hilbert series of t…
For an arbitrary semisimple Frobenius manifold we construct Hodge integrable hierarchy of Hamiltonian partial differential equations. In the particular case of quantum cohomology the tau-function of a solution to the hierarchy generates the intersection numbers of the Gromov--Witten classes and their descendents along with the characteristic classes of Hodge bundles on the moduli spaces of stable maps. For the one-dimensional Frobenius manifold the Hodge hierarchy is a deformation of the Korteweg--de Vries hierarchy depending on an infinite number of parameters. Conjecturally this hierarchy is…
The Kähler cone of a compact Kähler manifold carries a natural Riemannian metric, given by the intersection product of its cohomology ring. We give cohomological expressions for the Levi-Civita connection and curvature tensor of this metric, and determine when the metric is complete.
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…
