Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPoincare invariants
422
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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) --> Lambda^* H^1(V,Z) x Lambda^* 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.
rate research
Read More
Let X be an irreducible smooth projective curve, of genus at least two, over an algebraically closed field k. Let $mathcal{M}^d_G$ denote the moduli stack of principal G-bundles over X of fixed topological type $d in pi_1(G)$, where G is any almost simple affine algebraic group over k. We prove that the universal bundle over $X times mathcal{M}^d_G$ is stable with respect to any polarization on $X times mathcal{M}^d_G$. A similar result is proved for the Poincare adjoint bundle over $X times M_G^{d, rs}$, where $M_G^{d, rs}$ is the coarse moduli space of regularly stable principal G-bundles over X of fixed topological type d.
The moduli space of stable pairs on a local surface $X=K_S$ is in general non-compact. The action of $mathbb{C}^*$ on the fibres of $X$ induces an action on the moduli space and the stable pair invariants of $X$ are defined by the virtual localization formula. We study the contribution to these invariants of stable pairs (scheme theoretically) supported in the zero section $S subset X$. Sometimes there are no other contributions, e.g. when the curve class $beta$ is irreducible. We relate these surface stable pair invariants to the Poincare invariants of Durr-Kabanov-Okonek. The latter are equal to the Seiberg-Witten invariants of $S$ by work of Durr-Kabanov-Okonek and Chang-Kiem. We give two applications of our result. (1) For irreducible curve classes the GW/PT correspondence for $X = K_S$ implies Taubes GW/SW correspondence for $S$. (2) When $p_g(S) = 0$, the difference of surface stable pair invariants in class $beta$ and $K_S - beta$ is a universal topological expression.
The arithmetic motivic Poincare series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterle series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterle series when $V$ is defined over the integers. This invariant, which is known explicitly for a few classes of singularities, remains quite mysterious. In this paper we study this motivic series when $V$ is an affine toric variety. We obtain a formula for the rational form of this series in terms of the Newton polyhedra of the ideals of sums of combinations associated to the minimal system of generators of the semigroup of the toric variety. In particular, we deduce explicitly a finite set of candidate poles for this invariant.
We investigate the structure of the generalized Weierstrass semigroups at several points on a curve defined over a finite field. We present a description of these semigroups that enables us to deduce properties concerned with the arithmetical structure of divisors supported on the specified points and their corresponding Riemann-Roch spaces. This characterization allows us to show that the Poincare series associated with generalized Weierstrass semigroups carry essential information to describe entirely their respective semigroups.
Let G be a reductive linear algebraic group, H a reductive subgroup of G and X an affine G-variety. Let Y denote the set of fixed points of H in X, and N(H) the normalizer of H in G. In this paper we study the natural map from the quotient of Y by N(H) to the quotient of X by G induced by the inclusion of Y in X. We show that, given G and H, this map is a finite morphism for all G-varieties X if and only if H is G-completely reducible (in the sense defined by J-P. Serre); this was proved in characteristic zero by Luna in the 1970s. We discuss some applications and give a criterion for the map of quotients to be an isomorphism. We show how to extend some other results in Lunas paper to positive characteristic and also prove the following theorem. Let H and K be reductive subgroups of G; then the double coset HgK is closed for generic g in G if and only if the intersection of generic conjugates of H and K is reductive.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
