We propose an approach via Frobenius manifolds to the study (began in math.AG/0407254) of the relation between rational Gromov-Witten invariants of nonabelian quotients X//G and those of the corresponding ``abelianized'' quotients X//T, for T a maximal torus in G. The ensuing conjecture expresses the Gromov-Witten potential of X//G in terms of the potential of X//T. We prove this conjecture when the nonabelian quotients are partial flag manifolds.
The nonabelian Hodge correspondence for vector bundles over noncompact curves is adequately described by implementing a weighted filtration on the objects involved. In order to establish a full correspondence between a Dolbeault and a de Rham space for a general complex reductive group $G$, we introduce torsors given by parahoric group schemes in the sense of Bruhat--Tits. Combined with existing results on the Riemann--Hilbert correspondence for logarithmic parahoric connections, this gives a full nonabelian Hodge correspondence from Higgs bundles to fundamental group representations over a no…
The abelian-nonabelian correspondence outlined by Bertram, Ciocan-Fontanine, and Kim gives a broad conjectural relationship between (twisted) Gromov-Witten invariants of related GIT quotients. This paper proves a case of the correspondence explicitly relating genus zero m-pointed Gromov-Witten invariants of Grassmannians Gr(2,n) and products of projective space $\PP^{n-1} \times \PP^{n-1}$. Localization is used to compute twisted Gromov-Witten invariants of $\PP^{n-1} \times \PP^{n-1}$, and comparison of the moduli spaces of stable maps completes the proof.
In this paper, we study the bigraded vector space structure of Landau-Ginzburg orbifolds. We prove the formula for the generating function of the Hodge numbers of possibly nonabelian Landau-Ginzburg orbifolds. As an application, we calculate the Hodge numbers for all nondegenerate quintic homogeneous polynomials with five variables. These results yield an evidence for the Calabi-Yau/Landau-Ginzburg correspondence between the Calabi-Yau geometries and the Landau-Ginzburg B-models.
We prove an extension of the nonabelian Hodge theorem in which the underlying objects are twisted torsors over a smooth complex projective variety. In the prototypical case of $GL_n$-torsors, one side of this correspondence consists of vector bundles equipped with an action of a sheaf of twisted differential operators in the sense of Beilinson and Bernstein; on the other side, we endow them with appropriately defined twisted Higgs data. The proof we present here is formal, in the sense that we do not delve into the analysis involved in the classical nonabelian Hodge correspondence. Instead, we…
The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty.
We prove the abelian-nonabelian correspondence for quasimap $I$-functions. That is, if $Z$ is an affine l.c.i. variety with an action by a complex reductive group $G$, we prove an explicit formula relating the quasimap $I$-functions of the GIT quotients $Z//_θ G$ and $Z//_θ T$ where $T$ is a maximal torus of $G$. We apply the formula to compute the $J$-functions of some Grassmannian bundles on Grassmannian varieties and Calabi-Yau hypersurfaces in them.
The nonabelian Hodge correspondence (Corlette-Simpson correspondence), between the polystable Higgs bundles with vanishing Chern classes on a compact Kähler manifold $X$ and the completely reducible flat connections on $X$, is extended to the Fujiki class $\mathcal C$ manifolds.
The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of "vectors" or by bi-operads and another based on "matrices" or props. These are the two languages of [Har17], but we omit the involutions which brings considerable simplifications. Once one understands the delicate commutativity condition one can proceed following Grothendieck footsteps exactly. The square matrices, when viewed up to conjugation, give us new commutative rings w…
We define the $p^m$-curvature map on the sheaf of differential operators of level $m$ on a scheme of positive characteristic $p$ as dual to some divided power map on infinitesimal neighborhhods. This leads to the notion of $p^m$-curvature on differential modules of level $m$. We use this construction to recover Kaneda's description of a semi-linear Azumaya splitting of the sheaf of differential operators of level $m$. Then, using a lifting modulo $p^2$ of Frobenius, we are able to define a Frobenius map on differential operators of level $m$ as dual to some divided Frobenius on infinitesimal n…
On a complex curve, we establish a correspondence between integrable connections with irregular singularities, and Higgs bundles such that the Higgs field is meromorphic with poles of any order. The moduli spaces of these objects are obtained by fixing at each singularity the polar part of the connection. We prove that they carry hyperKahler metrics, which are complete when the residue of the connection if semisimple.
We exhibit a direct correspondence between the potential defining the H^{1,1} small quantum module structure on the cohomology of a Calabi-Yau manifold and the asymptotic data of the A-model variation of Hodge structure. This is done in the abstract context of polarized variations of Hodge structure and Frobenius modules.
The main goal of this paper is to introduce the notion of a primitive form for a generic family of Hurwitz covers of $\mathbb{P}^1$ with a fixed ramification profile over infinity. We prove that primitive forms are in one-to-one correspondence with semi-simple Frobenius structures on the base of the family. Furthermore, we introduce the notion of a polynomial primitive form and show that the corresponding class of Frobenius manifolds contains the Hurwitz Frobenius manifolds of Dubrovin. Finally, we apply our theory to investigate the relation between the Eynard--Orantin recursion and Frobenius…
Let X/k be an abelian variety over an algebraically closed field k of characteristic p > 0. In this paper, using the Azumaya property of the sheaf of crystalline differential operators and the Morita equivalence, we show that etale locally over the Hitchin base, the moduli stack of Higgs bundles on the Frobenius twist X' is equivalent to that of local systems on X. We follow the approach of [Gro16].
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 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 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.
In this paper we prove that the GW invariants of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are quasi-modular forms. Our method is based on Givental's higher genus reconstruction formalism applied to the settings of Saito's Frobenius structures for simple elliptic singularities. Our results are part of a larger project whose goal is to prove the Landau-Ginzburg/Calabi-Yau correspondence for simple elliptic singularities. The correspondence describes a relation between Gromov-Witten theory (of a certain hypersurface) and Fan-Jarvis-Ruan-Witten theory (of a certain La…
The J-function in Gromov-Witten theory is a generating function for one-point genus zero Gromov-Witten invariants with descendants. Here we give formulas for the quantum K-theoretic J-functions of type A flag manifolds and conjectural formulas for other types. Some K-theoretic tools for computation are also provided. As an application, we prove the quantum K-theoretic J-function version of the abelian-nonabelian correspondence for Grassmannians and products of projective space.
Arising from a topological twist of $\mathcal{N} = 4$ super Yang-Mills theory are the Kapustin-Witten equations, a family of gauge-theoretic equations on a four-manifold parametrized by $t\in\mathbb{P}^1$. The parameter corresponds to a linear combination of two super charges in the twist. When $t=0$ and the four-manifold is a compact Kähler surface, the equations become the Simpson equations, which was originally studied by Hitchin on a compact Riemann surface, as demonstrated independently in works of Nakajima and the third-named author. At the same time, there is a notion of $λ$-connection …
