Searcharxiv⌕ Search

arXiv subjects

Ch. Okonek

Publications and source records attributed to Ch. Okonek.

7 recordsLinked to original sources
arXiv2004

Relations for virtual fundamental classes of Hilbert schemes of curves on surfaces

In [DKO] we constructed virtual fundamental classes $[[ Hilb^m_V ]]$ for Hilbert schemes of divisors of topological type m on a surface V, and used these classes to define the Poincare invariant of V: (P^+_V,P^-_V): H^2(V,Z) --> Λ^* H^1(V,Z) x Λ^* H^1(V,Z) We conjecture that this invariant coincides with the full Seiberg-Witten invariant computed with respect to the canonical orientation data. In this note we prove that the existence of an integral curve $C \subset V$ induces relations between some of these virtual fundamental classes $[[Hilb^m_V ]]$. The corresponding relations for the Poincare invariant can be considered as algebraic analoga of the fundamental relations obtained in [OS].

math.AG↗
arXiv2004

Poincare invariants

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.

math.AG↗
arXiv2002

Comparing virtual fundamental classes: Gauge theoretical Gromov-Witten invariants for toric varieties

In general, a Kobayashi-Hitchin correspondence establishes an isomorphism between a moduli space of stable algebraic geometric objects and a moduli space of solutions of a certain (generalized) Hermite-Einstein equation. We believe that, for a large class of moduli problems, this correspondence respects the virtual fundamental classes defined in the two categories. We prove this statement in an interesting case, namely the moduli problem associated with the symplectic factorization problem which yields the complete toric varieties. Therefore, our main objects are the moduli spaces of "twisted" linear sigma models associated with this symplectic factorization problem. We describe these moduli spaces in both gauge theoretic and algebraic geometric frameworks and we identify the correponding virtual fundamental classes.

math.DG↗
arXiv2002

Gauge theoretical equivariant Gromov-Witten invariants and the full Seiberg-Witten invariants of ruled surfaces

Let $(F,J,ω)$ be an almost Kähler manifold, $α$ a $J$-holomorphic action of a compact Lie group $\hat K$ on $F$, and $K$ a closed normal subgroup of $\hat K$ which leaves $ω$ invariant. We introduce gauge theoretical invariants for such triples $(F,α,K)$. The invariants are associated with moduli spaces of solutions of a certain vortex type equation on a Riemann surface. We give explicite descriptions of the moduli spaces associated with the triple $(\Hom(\C^r,\C^{r_0}), α_{\rm can},U(r))$, where $α_{\rm can}$ denotes the canonical action of $\hat K=U(r)\times U(r_0)$ on $\Hom(\C^r,\C^{r_0})$. In the abelian case $r=1$, the new invariants can be computed expliciteley and identified with the full Seiberg-Witten invariants of ruled surfaces.

math.SG↗
arXiv1996

Quaternionic Monopoles

We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated with Spin^h(4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kahler surface the quaternionic monopole equations decouple and lead to the projective vortex equation for holomorphic pairs. This vortex equation comes from a moment map and gives rise to a new complex-geometric stability concept. The moduli spaces of quaternionic monopoles on Kahler surfaces have two closed subspaces, both naturally isomorphic with moduli spaces of canonically stable holomorphic pairs. These components intersect along Donaldsons instanton space and can be compactified with Seiberg-Witten moduli spaces. This should provide a link between the two corresponding theories. Notes: To appear in CMP The revised version contains more details concerning the Uhlenbeck compactfication of the moduli space of quaternionic monopoles, and possible applications are discussed. Attention ! Due to an ununderstandable mistake, the duke server had replaced all the symbols "=" by "=3D" in the tex-file of the revised version we sent on February, the 2-nd. The command "\def{\ad}" had also been damaged !

alg-geom↗
arXiv1995

The Coupled Seiberg-Witten Equations, vortices, and Moduli spaces of stable pairs

We introduce coupled Seiberg-Witten equations, and we prove, using a generalized vortex equation, that, for Kaehler surfaces, the moduli space of solutions of these equations can be identified with a moduli space of holomorphic stable pairs. In the rank 1 case, one recovers Witten's result identifying the space of irreducible monopoles with a moduli space of divisors. As application, we give a short proof of the fact that a rational surface cannot be diffeomorphic to a minimal surface of general type.

alg-geom↗