We prove an existence result for stable vector bundles with arbitrary rank on an algebraic surface, and determine the birational structure of certain moduli space of stable bundles on a rational ruled surface.
We investigate stratified-algebraic vector bundles on a real algebraic variety X. A stratification of X is a finite collection of pairwise disjoint, Zariski locally closed subvarieties whose union is X. A topological vector bundle on X is called a stratified-algebraic vector bundle if, roughly speaking, there exists a stratification of X such that the restriction of the bundle to each stratum is an algebraic vector bundle. In particular, every algebraic vector bundle on X is stratified-algebraic. It turns out that stratified-algebraic vector bundles have many surprising properties, which disti…
Let $(X, H)$ be a polarized smooth projective algebraic surface and $E$ is globally generated, stable vector bundle on $X$. Then the Syzygy bundle $M_E$ associated to it is defined as the kernel bundle corresponding to the evaluation map. In this article we will study the stability property of $M_E$ with respect to $H$.
In this note, we study monodromies of algebraic connections on the trivial vector bundle. We prove that on a smooth complex affine curve, any monodromy arises as the underlying local system of an algebraic connection on the trivial bundle. We give a generalization of this for rank one monodromies in higher dimension.
We extend the notion of the spectrum of semistable rank two bundles (initially constructed on ${\bf P}^3$ by Barth and Elencwajg) to a certain class of compact complex algebraic threefolds.
We give a theorem of Leray-Hirsch type for Chow groups and use it to study the Hogde and Grothendieck's standard conjectures for algebraic fiber bundles of Leray-Hirsch type. Morevoer, the Hodge conjecture for product varieties will also be considered.
Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an algebraically closed field, then M_L is slope-stable for any sufficiently positive L.
Let X be a geometrically connected smooth projective curve of genus one, defined over the field of real numbers, such that X does not have any real points. We classify the isomorphism classes of all stable real algebraic vector bundles over X.
This article is based in part on lecture notes prepared for the summer school "The Geometry, Topology and Physics of Moduli Spaces of Higgs Bundles" at the Institute for Mathematical Sciences at the National University of Singapore in July of 2014. The aim is to provide a brief introduction to algebraic stacks, and then to give several constructions of the moduli stack of Higgs bundles on algebraic curves. The first construction is via a "bootstrap" method from the algebraic stack of vector bundles on an algebraic curve. This construction is motivated in part by Nitsure's GIT construction of a…
Lee and Pandharipande studied a "double point" algebraic cobordism theory of varieties equipped with vector bundles, and speculated that some features of that story might extend to the case of varieties with principal G-bundles. This note shows that this expectation holds rationally, and more generally after inverting the torsion index of the group, for reductive G. We show that (after inverting the torsion index) the full theory for bundles on varieties is an extension of scalars of standard algebraic cobordism, that the theory for a point is dual to Omega^*(BG), and describe how the theory f…
Algebraic parabolic bundles on smooth projective curves over algebraically closed field of positive characteristic is defined. It is shown that the category of algebraic parabolic bundles is equivalent to the category of orbifold bundles defined in \cite{KP}. Tensor, dual, pullback and pushforward operations are also defined for parabolic bundles.
We study the spaces of stable real and quaternionic vector bundles on a real algebraic curve. The basic relationship is established with unitary representations of an extension Z/2 by the fundamental group. By comparison with the space of real or quaternionic connections, some of the basic topological invariants of these spaces are calculated.
In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.
Let $L$ be a globally generated line bundle over a smooth irreducible complex projective surface $X$. The syzygy bundle $M_{L}$ is the kernel of the evaluation map $H^0(L)\otimes\mathcal O_X\to L$. We prove the $L$-stability of $M_L$ for Hirzebruch surfaces, del Pezzo surfaces and Enriques surfaces. The $(-K_X)$-stability of syzygy bundles $M_L$ over del Pezzo surfaces is also obtained.
Vector bundles in positive characteristics have a tendency to be destabilized after pulling back by the Frobenius morphism. In this paper, we closely examine vector bundles over curves that are, in an appropriate sense, maximally destabilized by the Frobenius morphism. Then we prove that such bundles of rank 2 exist over any curve in characteristic 3, and are unique up to twisting by a line bundle. We also give an application of such bundles to the study of ample vector bundles, which is valid in all characteristics.
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In this paper we introduce a different approach to this problem which allows to extend the results to normal, connected and strongly pseudo-proper algebraic stack of finite type over an arbitrary field $k$.
We show that under some assumptions on the monodromy group some combinations of higher Chern classes of flat vector bundles are torsion in the Chow group. Similar results hold for flat vector bundles that deform to such flat vector bundles (also in case of quasi-projective varieties). The results are motivated by Bloch's conjecture on Chern classes of flat vector bundles on smooth complex projective varities but in some cases they give a more precise information. We also study Higgs version of Bloch's conjecture and analogous problems in the positive characteristic case.
Let $k$ be an algebraic closure of finite fields with odd characteristic $p$ and a smooth projective scheme $\mathbf{X}/W(k)$. Let $\mathbf{X}^0$ be its generic fiber and $X$ the closed fiber. For $\mathbf{X}^0$ a curve Faltings conjectured that semistable Higgs bundles of slope zero over $\mathbf{X}^0_{\mathbb{C}_p}$ correspond to genuine representations of the algebraic fundamental group of $\mathbf{X}^0_{\mathbb{C}_p}$ in his $p$-adic Simpson correspondence. This paper intends to study the conjecture in the characteristic $p$ setting. Among other results, we show that isomorphism classes of…
We study the geometry of the moduli stack of vector bundles of fixed rank and degree over an algebraic curve by introducing a filtration made of open substacks build from $(k, l)$-stable vector bundles. $(k, l)$-stability was introduced by Narasimhan and Ramanan to study the geometry of the coarse moduli space of stable bundles. We will exhibit the stacky picture and analyse the geometric and cohomological properties of the moduli stacks of $(k, l)$-stable vector bundles. For particular pairs $(k, l) $ of integers we also show that these moduli stacks admit coarse moduli spaces and we discuss …
Stratified-algebraic vector bundles on real algebraic varieties have many desirable features of algebraic vector bundles but are more flexible. We give a characterization of the compact real algebraic varieties having the following property: There exists a positive integer r such that for any topological vector bundle E on X, the direct sum of r copies of E is isomorphic to a stratified-algebraic vector bundle. In particular, each compact real algebraic variety of dimension at most 8 has this property. Our results are expressed in terms of K-theory.
An orthogonal bundle over a curve has an isotropic Segre invariant determined by the maximal degree of a Lagrangian subbundle. This invariant, and the induced stratifications on moduli spaces of orthogonal bundles, were studied for bundles of even rank in [4]. In this paper, we obtain analogous results for bundles of odd rank. We obtain a sharp upper bound on the isotropic Segre invariant. We show the irreducibility of the induced strata on the moduli spaces of orthogonal bundles of odd rank, and compute their dimensions. As a key ingredient of the proofs, we study the correspondence between L…
Given two nonsingular real algebraic varieties V and W, we consider the problem of deciding whether a smooth map f: V -> W can be approximated by regular maps in the space of smooth maps from V to W. Our main result is a complete solution to this problem in case W is the usual 2-dimensional sphere and V is a real algebraic surface of negative Kodaira dimension.
In this paper, we study the $(k,l)$-stable vector bundles over non-singular projective curve $X$ of genus $g\geq 2,$ its relation with stability and Segre invariants. For rank 2 and 3, we give an explicit description and relation of $(k,l)$-stability and Brill-Noether loci.
Apart from math.AG/0608569, it contains the following applications of it. Let M be a simply connected, irreducible smooth complex projective variety of dimension $n$ such that the Picard number of $M$ is one. If the canonical line bundle $K_M$ is ample, then the algebraic holonomy of $TM$ is $\text{GL}(n, {\mathbb C})$. If $K^{-1}_M$ is ample, $\text{rank}(\text{NS}(M)) = 1$, the biholomorphic automorphism group of $M$ is finite, and $M$ admits a Kähler--Einstein metric, then the algebraic holonomy of $TM$ is ${\rm GL}(n, {\mathbb C})$.
In this paper, we remove a technical hypothesis from a previous paper. This allows us to construct stable bundles of rank 2 with Clifford index significantly smaller than the classical Clifford index on suitably chosen curves of any genus $\ge13$.
Let X be a smooth complex projective curve of genus g bigger or equal to 1. If g is bigger than 1 assume further that X is either bielliptic or with general moduli. Under a natural condition on slopes, we prove that there exists a short exact sequence of semistable vector bundles with given ranks and degrees. The importance of the paper consists of the new method adopted for the proves.
Among recently introduced new notions in real algebraic geometry is that of regulous functions. Such functions form a foundation for the development of regulous geometry. Several interesting results on regulous varieties and regulous sheaves are already available. In this paper, we define and investigate regulous vector bundles. We establish algebraic and geometric properties of such vector bundles, and identify them with stratified-algebraic vector bundles. Furthermore, using new results on curve-rational functions, we characterize regulous vector bundles among families of vector spaces param…
We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global functions). The interest of this result is given by the fact that the classification of smooth group k-schemes is reduced to the classification of quasi-abelian varieties and of certain affine group schemes.
Let $f: X \to S$ be flat morphism over an algebraically closed field $k$ with a relative normal crossings divisor $Y\subset X$, $(E, \nabla)$ be a bundle with a connection with log poles along $Y$ and curvature with values in $f^*Ω^2_{k(S)}$. Then the Gauß-Manin sheaf $R^if_*(Ω^*_{X/S}({\rm log} Y)\otimes E)$ carries a Gauß-Manin connection $GM^i(\nabla)$. We establish a Riemann-Roch formula relating the algebraic Chern-Simons invariants of $\nabla$, $GM^i(\nabla)$ and the top Chern class of $Ω^1_{X/S}({\rm log}Y)$.
The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the global geometry of the manifold $X$. Among the results we prove are these: \quad If $X$ is a projective manifold, and ${\cal E} \subset T_X$ is an ample locally free sheaf with $n-2\ge rk {\cal E}\ge n$, then $X \simeq \EP_n$. \quad Let $X$ be a projective manifold. If $X$ is rationally connected, then there exists a free $T_X$-ample family of (rational) cur…
We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable bundle, then a large enough direct sum $V^{\oplus n}$ has ample deformations unless there is an obvious numerical reason why it cannot. Previous work in this area has mostly focused on rank two bundles and relied primarily on classical constructions such as the Serre construction. In contrast, we use recent advances in moduli of vector bundles to obtain strong…
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
The Mehta-Ramanathan theorem ensures that the restriction of a stable vector bundle to a sufficiently high degree complete intersection curve is again stable. We improve the bounds for the "sufficiently high degree" and propose a possibly optimal conjecture.
We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components.
This is the third of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous two. Let $f:X\to S$ be a map of a smooth projective real algebraic 3-fold to a surface $S$ whose general fibers are rational curves. Assume that the set of real points of $X$ is an orientable 3-manifold $M$. The aim of the paper is to give a topological description of $M$. It is shown that $M$ is either Seifert fibered or a connected sum of lens spaces. Much stronger results hold if $S$ is rational.
Given a curve over a finite field, we compute the number of stable bundles of not necessarily coprime rank and degree over it. We apply this result to compute the virtual Poincare polynomials of the moduli spaces of stable bundles over a curve. A similar formula for the virtual Hodge polynomials and motives is conjectured.
Using monads, we construct a large class of stable bundles of rank 2 and 3 on 3-fold hypersurfaces, and study the set of all possible Chern classes of stable vector bundles.
The aim of this note is to describe the restriction map from the moduli space of stable rank 2 bundle with small $c_2$ on a jacobian $X$ of dimension 2, to the moduli space of stable rank 2 bundles on the corresponding genus 2 curve $C$ embedded in $X$.
For an abelian surface $A$, we explicitly construct two new families of stable vector bundles on the generalized Kummer variety $K_n(A)$ for $n\geqslant 2$. The first is the family of tautological bundles associated to stable bundles on $A$, and the second is the family of the "wrong-way" fibers of a universal family of stable bundles on the dual abelian surface $\widehat{A}$ parametrized by $K_n(A)$. Each family exhibits a smooth connected component in the moduli space of stable bundles on $K_n(A)$, which is holomorphic symplectic but not simply connected, contrary to the case of K3 surfaces.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.
We study stable rank 2 vector bundles with trivial determinant whose Frobenius pull back is non stable over a general curve of genus g>1. In genus 2, we apply recent results about the theta divisor associated to the bundle B of locally exact differential forms and we derive a scheme-theoretic description of the Frobenius inverse image of the semi-stable boundary of the moduli space.
We study Nahm transformation for parabolic Higgs bundles on the projective line \PP^1, with logarithmic singularities on a finite set P. Such a Higgs bundle can be given by its spectral data: a Hirzebruch surface Z together with a coherent sheaf M on Z, supported in dimension 1 and away from infinity. We describe the transform in terms of these data. The main technical tool is the notion of proper transform of a coherent sheaf with respect to a blow-up. Finally, we prove the main properties of the induced map on moduli spaces: involutibility and preservation of the hyper-Kaehler structure.
Let C be a curve of genus g and L a line bundle of degree 2g on C . Let M be the kernel of the evaluation map from the trivial bundle with fibre H^0(C,L) into L . We show that when L is general enough, the rank g bundle M and its exterior powers are stable and admit a reducible theta divisor.
A generic strictly semistable bundle of degree zero over a curve X has a reducible theta divisor, given by the sum of the theta divisors of the stable summands of the associated graded bundle. The converse is not true: Beauville and Raynaud have each constructed stable bundles with reducible theta divisors. For X of genus at least 5, we construct stable vector bundles over X of rank $r$ for all $r \geq 5$, with reducible and nonreduced theta divisors. We also adapt the construction to symplectic bundles. In the appendix, Raynaud's original example of a stable rank 2 vector bundle with reducibl…
Let $π: X = \mathbb{P}_C(E) \longrightarrow C$ be a ruled surface over an algebraically closed field $k$ of characteristic 0, with a fixed polarization $L$ on $X$. In this paper, we show that pullback of a (semi)stable Higgs bundle on $C$ under $π$ is a $L$-(semi)stable Higgs bundle. Conversely, if $(V,θ)$ is a $L$-(semi)stable Higgs bundle on $X$ with $c_1(V)= π^*(\bf d \rm)$ for some divisor $\bf d \rm $ of degree $d$ on $C$ and $c_2(V)=0$, then there exists a (semi)stable Higgs bundle $(W,ψ)$ of degree $d$ on $C$ whose pullback under $π$ is isomorphic to $(V,θ)$. As a consequence, we get an…