-
Poincare invariants
Authors:
M. Duerr,
A. Kabanov,
Ch. Okonek
Abstract:
We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface V, our obstruction theory determines a virtual fundamental class $[[ \Hilb^m_V ]]$, which we use to define Poincare invariants
(P^+_V,P^-_V): H^2(V,Z) --> Λ^…
▽ More
We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface V, our obstruction theory determines a virtual fundamental class $[[ \Hilb^m_V ]]$, which we use to define Poincare invariants
(P^+_V,P^-_V): H^2(V,Z) --> Λ^* H^1(V,Z) x Λ^* H^1(V,Z).
These maps are invariant under deformations, satisfy a blow-up formula, and a wall crossing formula for surfaces with $p_g(V)=0$. We determine the invariants completely for ruled surfaces, and rederive from this classical results of Nagata and Lange. The invariant $(P^+_V,P^-_V)$ of an elliptic fibration is computed in terms of its multiple fibers.
We conjecture that our Poincare invariants coincide with the full Seiberg-Witten invariants of Okonek-Teleman computed with respect to the canonical orientation data. The main evidence for this conjecture is based on the existence of an Kobayashi-Hitchin isomorphism which identifies the moduli spaces of monopoles with the corresponding Hilbert schemes. We expect that this isomorphism identifies also the corresponding virtual fundamental classes. This more conceptual conjecture is true in the smooth case.
△ Less
Submitted 10 August, 2004;
originally announced August 2004.
-
A Change of Coordinates on the Large Phase Space of Quantum Cohomology
Authors:
Alexandre Kabanov,
Takashi Kimura
Abstract:
The Gromov-Witten invariants of a smooth, projective variety $V$, when twisted by the tautological classes on the moduli space of stable maps, give rise to a family of cohomological field theories and endow the base of the family with coordinates. We prove that the potential functions associated to the tautological $ψ$ classes (the large phase space) and the $κ$ classes are related by a change o…
▽ More
The Gromov-Witten invariants of a smooth, projective variety $V$, when twisted by the tautological classes on the moduli space of stable maps, give rise to a family of cohomological field theories and endow the base of the family with coordinates. We prove that the potential functions associated to the tautological $ψ$ classes (the large phase space) and the $κ$ classes are related by a change of coordinates which generalizes a change of basis on the ring of symmetric functions. Our result is a generalization of the work of Manin--Zograf who studied the case where $V$ is a point. We utilize this change of variables to derive the topological recursion relations associated to the $κ$ classes from those associated to the $ψ$ classes.
△ Less
Submitted 14 July, 1999;
originally announced July 1999.
-
Intersection Numbers on the Moduli Spaces of Stable Maps in Genus 0
Authors:
Alexandre Kabanov,
Takashi Kimura
Abstract:
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 number…
▽ More
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 special case.
△ Less
Submitted 21 March, 1998; v1 submitted 1 January, 1998;
originally announced January 1998.
-
Intersection Numbers and Rank One Cohomological Field Theories in Genus One
Authors:
Alexandre Kabanov,
Takashi Kimura
Abstract:
We obtain a simple, recursive presentation of the tautological (κ, ψ, and λ) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating functions for their intersection numbers which allow us to prove a simple relationship between the genus zero and genus one potentials. As an application, we describe the…
▽ More
We obtain a simple, recursive presentation of the tautological (κ, ψ, and λ) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating functions for their intersection numbers which allow us to prove a simple relationship between the genus zero and genus one potentials. As an application, we describe the moduli space of normalized, even, rank one cohomological field theories in genus one in coordinates which are additive under taking tensor products. Our results simplify and generalize those of Kaufmann, Manin, and Zagier.
△ Less
Submitted 26 June, 1997; v1 submitted 5 June, 1997;
originally announced June 1997.
-
The Second Cohomology with Symplectic Coefficients of the Moduli Space of Smooth Projective Curves
Authors:
Alexandre Kabanov
Abstract:
Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed Hodge structure on it. Specifically, we prove that if g>5, then the natural map IH^2(MS_g;\V)-->H^2(M_g;\V) is an isomorphism where MS_g is the Satake compac…
▽ More
Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed Hodge structure on it. Specifically, we prove that if g>5, then the natural map IH^2(MS_g;\V)-->H^2(M_g;\V) is an isomorphism where MS_g is the Satake compactification of M_g. Using the work of Saito we conclude that the mixed Hodge structure on H^2(M_g;\V) is pure of weight 2+r if \V underlies a variation of Hodge structure of weight r. We also obtain estimates on the weight of the mixed Hodge structure on H^2(M_g;\V) for 2<g<6. Results of this article can be applied in the study of relations in the Torelli group T_g.
△ Less
Submitted 4 November, 1996;
originally announced November 1996.
