Elementary transformations and the rationality of the Moduli Spaces of Vector Bundles on ℙ<Superscript>2</Superscript>

In this work, using elementary transformations and prioritary sheaves, we establish birational maps between certain moduli spaces of stable vector bundles over ² with the same rank and different Chern classes. As an application we give a simple proof of the rationality of the moduli spaces M(r; c ₁, c ₂) of rank r stable vector bundles over ² with given Chern classes for a huge families of the triples (r; c ₁, c ₂).Partially supported by BFM2001-3584 Mathematics Subject Classification (2000):Primary 14D20, 14D05; Secondary 14F05     

Birational properties of moduli spaces of stable locally free rank-2 sheaves on algebraic surfaces

LetX be a smooth algebraic surface over the complex number field. Fix a polarizationL, an invertible sheafc ₁ and an integerc ₂ such that (4c ₂-c ₁ ² ) is positive. letM _L(c ₁,c ₂) be the moduli space ofL-stable locally free rank-2 sheaves onX with chern classesc ₁ andc ₂ respectively, and let ξ be a numerical equivalence class defining a nonempty wall of type (c ₁,c ₂). We study the properties ofE _ξ(c ₁,c ₂) and obtain estimations for its dimension. Then, we discuss the existence of trivial polarizations, and determine the birational structures of moduli spacesM _L(c ₁,c ₂) whenX is a minimal surface of general type and (4c ₂-c ₁ ² ) is sufficiently large.     

Rational surfaces and moduli spaces of vector bundles on rational surfaces

Let X be a smooth algebraic surface, L ? Pic(X) L \in \textrm{Pic}(X) and H an ample divisor on X. Set M_X,H(2; L, c₂) the moduli space of rank 2, H-stable vector bundles F on X with det(F) = L and c₂(F) = c₂. In this paper, we show that the geometry of X and of M_X,H(2; L, c₂) are closely related. More precisely, we prove that for any ample divisor H on X and any L ? Pic(X) L \in \textrm{Pic}(X) , there exists n₀ ? \mathbbZ n_0 \in \mathbb{Z} such that for all n₀ \leqq c₂ ? \mathbbZ n_0 \leqq c_2 \in \mathbb{Z} , M_X,H(2; L, c₂) is rational if and only if X is rational.     

Blowing-Ups Describing the Polarization Change of Moduli Schemes of Semistable Sheaves of General Rank

Let H and H′ be two ample line bundles over a smooth projective surface X, and M(H) (resp. M(H′)) the coarse moduli scheme of H-semistable (resp. H′-semistable) sheaves of fixed type (r, c ₁, c ₂). We construct a sequence of blowing-ups which describes how M(H) differs from M(H′) when r is arbitrary and the wall of fixed type separating H and H′ is not necessarily good. Means we here utilize are elementary transforms and the notion of a sheaf with flag.     

Some aspects of (non) functoriality of natural discrete covers of locales

Abstract

The frame S_c(L) generated by closed sublocales of a locale L is known to be a natural Boolean (“discrete”) extension of a subfit L; also it is known to be its maximal essential extension. In this paper we first show that it is an essential extension of any L and that the maximal essential extensions of L and S_c(L) are isomorphic. The construction S_c is not functorial; this leads to the question of individual liftings of homomorphisms L → M to homomorphisms S_c(L) → S_c(M). This is trivial for Boolean L and easy for a wide class of spatial L, M . Then, we show that one can lift all h : L → 2 for weakly Hausdor? L (and hence the spectra of L and S_c(L) are naturally isomorphic), and finally present liftings of h : L → M for regular L and arbitrary Boolean M.     

On rationality of moduli spaces of vector bundles on real Hirzebruch surfaces

Let X be a real form of a Hirzebruch surface. Let M _H (r,c ₁, c ₂) be the moduli space of vector bundles on X. Under some numerical conditions on r, c ₁ and c ₂, we identify those M _H (r,c ₁,c ₂) that are rational.     

On the moduli space of ’t Hooft bundles

We describe the moduli spaceM ₁ (c ₂) of 't Hooft bundles onP ³, that is instanton bundles having sections at the first twist. We prove that such a moduli space is a rational variety whose singular locus is the moduli space of special 't Hooft bundles studied in [HN]. It turns out thatM ₁ (c ₂) possesses a canonical desingularization provided by the projectivized of a vector bundle on the Hilbert schemeH of the space curves which correspond to 't Hooft bundles in the Serre construction. Moreover, we show that the connected components of such curves are lines or multiple lines, which are scheme-theoretically a product. On such multiple lines every vector bundle splits, and we are able to determine their normal bundle. This allows to reprove the smoothness ofH, already known from [C], and the smoothness ofM ₁, shown in [C] and [NT].

---

Sunto Si descrive lo spazio dei moduliM ₁ (c ₂) dei fibrati vettoriali di 't Hooft suP ³, cioè dei fibrati istantoni che ammettono una sezione lineare. Si dimostra che tale spazio è una varietà razionale il cui luogo singolare è costituito dai fibrati di 't Hooft speciali studiati in [HN]. Si trova, inoltre, una desingolarizzazione diM ₁ (c ₂) data da un aperto di un fibrato proiettivo sullo schema di Hilbert delle curve che sono luoghi degli zeri di sezioni lineari di fibrati di 't Hooft. Le componenti connesse di tali curve sono rette o rette multiple isomorfe a un prodotto. Questo risultato è conseguenza del fatto che ogni retta multiplaZ di genere aritmeticop _a (Z)≤1—deg (Z) fibrata in punti multipli curvilinei è schematicamente isomorfa al multiplo di una sezione di una opportuna superficie rigata razionale.

     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

Rational curves on moduli spaces of vector bundles

We identify the spaces Hom_i(ℙ¹,M) fori = 1, 2, whereM is the moduli space of vector bundles of rank 2 and determinant isomorphic to ,x ₀ ∈X, on a compact Riemann surface of genusg ≥ 2.     

On the Brill-Noether theory for K3 surfaces

Let (S, H) be a polarized K3 surface. We define Brill-Noether filtration on moduli spaces of vector bundles on S. Assume that (c ₁(E), H) > 0 for a sheaf E in the moduli space. We give a formula for the expected dimension of the Brill-Noether subschemes. Following the classical theory for curves, we give a notion of Brill-Noether generic K3 surfaces.     

Parabolic bundles and representations¶of the fundamental group

Let X be a smooth complex projective variety with Neron–Severi group isomorphic to ℤ, and D an irreducible divisor with normal crossing singularities. Assume 1<r≤ 3. We prove that if π₁(X) doesn't have irreducible PU(r) representations, then π₁(X- D) doesn't have irreducible U(r) representations. The proof uses the non-existence of certain stable parabolic bundles. We also obtain a similar result for GL(2) when D is smooth. Received: 20 December 1999 / Revised version: 7 May 2000     

Bubble tree compactification of moduli spaces of vector bundles on surfaces

We announce some results on compactifying moduli spaces of rank 2 vector bundles on surfaces by spaces of vector bundles on trees of surfaces. This is thought as an algebraic counterpart of the so-called bubbling of vector bundles and connections in differential geometry. The new moduli spaces are algebraic spaces arising as quotients by group actions according to a result of Kollár. As an example, the compactification of the space of stable rank 2 vector bundles with Chern classes c ₁ = 0, c ₁ = 2 on the projective plane is studied in more detail. Proofs are only indicated and will appear in separate papers.     

Ergodic theorems for contractions in Orlicz-Kantorovich lattices

We obtain some versions of ergodic theorems for positive contractions in the Orlicz-Kantorovich lattices L _M (m) associated with a measure m taking values in the algebra of measurable real functions. The proof is carried out by representing L _M (m) as measurable bundles of classical Orlicz function spaces.     

Finite metric spaces needing high dimension for lipschitz embeddings in banach spaces

We construct a sequence of metric spaces (M _n) with cardM _n=3n satisfying that for everyc<2, there exists a real numbera(c)>0 such that, if the Lipschitz distance fromM _n to a subset of a Banach spaceE is less thanc, then dim(E) ≥a(c)n. We also prove several results about embeddings of metric spaces whose non-zero distance values are in the interval [1,2].     

Explicit valuations of division polynomials¶of an elliptic curve

In this paper, we estimate valuations of division polynomials and compute them explicitely at singular primes. We show that ν_?(ψ _m (M)) is asymptotically equal to ν_?(m) for a non-torsion point M such that M mod ? is non-zero and non-singular, and it is asymptotically equal to c ₁ m ¹ for some constant c ₁ for a non-torsion point M such that M mod ? is either singular or zero. Furthermore, we show that the common factors of φ _m (M) and ψ _m ²(M) have valuations at ? asymptotically equal to c ₂ m ² for some constant c ₂ when M mod ? is singular, which is a generalization of M. Ayad's result. Received: 10 July 1997 / Revised version: 11 May 1998     

Grothendieck Spaces of Compact Operators

In this paper we study the Grothendieck spaces among the operator spaces L_e(E'_c, F). Conditions under which L_e(E'_c, F) contains complemented copy of c₀ are given. We apply these results to spaces of the type C_b(X; F) endowed with strict topologies.     

Jumping conics on a smooth quadric in $${\mathbb {P}_3}$$

We investigate the jumping conics of stable vector bundles E of rank 2 on a smooth quadric surface Q with the first Chern class c₁ = O_Q(-1,-1){c_1= \mathcal{O}_Q(-1,-1)} with respect to the ample line bundle O_Q(1,1){\mathcal {O}_Q(1,1)} . We show that the set of jumping conics of E is a hypersurface of degree c ₂(E) − 1 in \mathbb P₃^*{\mathbb {P}_3^{*}} . Using these hypersurfaces, we describe moduli spaces of stable vector bundles of rank 2 on Q in the cases of lower c ₂(E).     

Critical values of autonomous Lagrangian systems

Let M be a closed manifold and a convex superlinear Lagrangian. We consider critical values of Lagrangians as defined by R. Ma?é in [5]. Let c _u (L) denote the critical value of the lift of L to the universal covering of M and let c _a (L) denote the critical value of the lift of L to the abelian covering of M. It is easy to see that in general, . Let c ₀ (L) denote the strict critical value of L defined as the smallest critical value of where ranges among all possible closed 1-forms. We show that c _a (L) = c ₀ (L). We also show that if there exists k such that the Euler-Lagrange flow of L on the energy level k' is Anosov for all , then . Afterwards, we exhibit a Lagrangian on a compact surface of genus two which possesses Anosov energy levels with energy , thus answering in the negative a question raised by Ma?é. This example also shows that the inequality could be strict. Moreover, by a result of M.J. Dias Carneiro [4] these Anosov energy levels do not have minimizing measures. Finally, we describe a large class of Lagrangians for which c _u (L) is strictly bigger than the maximum of the energy restricted to the zero section of TM. Received: October 2, 1996