Search arXiv⌕ Search

arXiv · math/0003016

Sur le morphisme de Barth

Abstract

Let ${\rm F}$ be a rank-2 semi-stable sheaf on the projective plane, with Chern classes $c_{1}=0,c_{2}=n$. The curve $β_{\rm F}$ of jumping lines of ${\rm F}$, in the dual projective plane, has degree $n$. Let ${\rm M}_{n}$ be the moduli space of equivalence classes of semi-stables sheaves of rank 2 and Chern classes $(0,n)$ on the projective plane and ${\cal C}_{n}$ be the projective space of curves of degree $n$ in the dual projective plane. The Barth morphism $$β: {\rm M}_{n}\longrightarrow{\cal C}_{n}$$ associates the point $β_{\rm F}$ to the class of the sheaf ${\rm F}$. We prove that this morphism is generically injective for $n\geq 4.$ The image of $β$ is a closed subvariety of dimension $4n-3$ of ${\cal C}_{n}$; as a consequence of our result, the degree of this image is given by the Donaldson number of index $4n-3$ of the projective plane.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joseph Le Potier, Alexander Tikhomirov. 2000-03-02. Sur le morphisme de Barth. https://arxiv.org/abs/math/0003016

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Geometric Detection and Finiteness of Log Crystalline Local Systems

We prove a geometric detection theorem for log crystalline local systems in the smooth proper setting with a normal crossings boundary. The associated special-fiber log $F$-isocrystal detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the pullback to the geometric generic fiber. The main ingredient is a determinant argument combining a finite-order rank-one reduction, logarithmic period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to geometrically constant rank-one twists, of geometrically absolutely irreducible log crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of $\mathbb Q_p$, and no bound on the Hodge--Tate weights is imposed.

math.AG↗

Betti Numbers of Odd Biisotropic Symplectic Grassmannians

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

math.AG↗

Motivic $C_p$-power operations in $\mathrm{MGL}$

In this paper, we give a new proof of the Hopkins-Morel-Hoyois theorem for fields $k$ of characteristic unequal to $p$ containing all primitive $p$-power roots of unity for a fixed prime $p$. This new proof follows Quillen's proof for the structure of the homotopy groups of $\mathrm{MU}$ which utilizes topological power operations. To this end we define a motivic analog of the Steenrod power operations, using the theory of normed motivic spectra as developed by Bachmann--Hoyois and their application for the definition of motivic colimits as developed by Bachmann-Elmanto-Heller.

math.AG↗