Let X be a proper scheme over a field k which satisfies Serre's condition S2 and G a reductive group over k. We prove that the functor of principal G-bundles defined away from a non-fixed closed subset in X of codimension at least 3, is an algebraic stack in the sense of Artin.
We establish a general "affine representability" result in ${\mathbb A}^1$-homotopy theory over a general base. We apply this result to obtain representability results for vector bundles in ${\mathbb A}^1$-homotopy theory. Our results simplify and significantly generalize F. Morel's ${\mathbb A}^1$-representability theorem for vector bundles.
We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under isotropic reductive groups over infinite fields analogous to the Bass--Quillen conjecture for vector bundles. Putting these ingredients together, we deduce representability theorems for generically trivial torsors under isotropic reductive groups and for associated homogeneous spaces in ${\mathbb A}^1$--homotopy theory.
The classification of affine line bundles on a compact complex space $X$ is a difficult problem. We study the affine analogue of the Picard functor and the representability problem for this functor. For a fixed Chern class $c$, we introduce the affine Picard functor $Picaff_{X,x_0}^c:An^{op}\to Set$ which assigns to a complex space $T$ the set of families of linearly $x_0$-framed affine line bundles on $X$ with Chern class $c$ parameterized by $T$. Our main result states that this functor is representable if and only if the map $h^0:Pic^c(X)\to\mathbb{N}$ is constant. If this is the case, the …
In this paper we look at two naturally occurring situations where the following question arises. When one can find a metric so that a Chern-Weil form can be represented by a given form ? The first setting is semi-stable Hartshorne-ample vector bundles on complex surfaces where we provide evidence for a conjecture of Griffiths by producing metrics whose Chern forms are positive. The second scenario deals with a particular rank-2 bundle (related to the vortex equations) over a product of a Riemann surface and the sphere.
Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T) = Hom(E_T,F_T)$ where $E_T$ and $F_T$ are the pull-backs of $E$ and $F$ to $X_T = X\times_S T$. A basic result of Grothendieck ([EGA] III 7.7.8, 7.7.9) says that if $F$ is flat over $S$ then $Hom_{E,F}$ is representable for all $E$. We prove the converse of the above, in fact, we show that if $L$ is a relatively ample line bundle on $X$ over $S$ such that th…
We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability theorem in derived analytic geometry, which has been established in our previous work. The representability theorem provides us sufficient and necessary conditions for an analytic moduli functor to possess the structure of a derived analytic stack. In order to verify the conditions of the representability theorem, we prove several general results in the context…
Let $X$ be a smooth scheme over an algebraically closed field. When $X$ is proper, it was proved in \cite{me1} that the moduli of $\ell$-adic continuous representations of $π_1^\et(X)$, $\LocSys(X)$, is representable by a (derived) $\Ql$-analytic space. However, in the non-proper case one cannot expect that the results of \cite{me1} hold mutatis mutandis. Instead, assuming $\ell$ is invertible in $X$, one has to bound the ramification at infinity of those considered continuous representations. The main goal of the current text is to give a proof of such representability statements in the open …
We consider the algebraization problem for principal bundles with reductive structure group, defined on the complement of a closed subset Z in a proper formal scheme. We show that, when Z is of codimension at least 3, an algebraization always exists. For codimension 2 we show that an algebraization exists precisely when a certain additional condition is satisfied.
Let X be a smooth projective variety defined over an algebraically closed field k. Nori constructed a category of vector bundles on X, called essentially finite vector bundles, which is reminiscent of the category of representations of the fundamental group (in characteristic zero). In fact, this category is equivalent to the category of representations of a pro--finite group scheme which controls all finite torsors. We show that essentially finite vector bundles coincide with those which become trivial after being pulled back by some proper and surjective morphism to X.
Let $X$ be a smooth complex projective curve of genus $g\geq 2$ and let $K$ be its canonical bundle. In this note we show that a stable vector bundle $E$ on $X$ is very stable, i.e. $E$ has no non-zero nilpotent Higgs field, if and only if the restriction of the Hitchin map to the vector space of Higgs fields $H^0(X, \mathrm{End}(E) \otimes K)$ is a proper map.
Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero.
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$.
The purpose of this note is to extend Beilinson and Drinfeld's "very good" property to moduli stacks of parabolic vector bundles on curves of genuses $g = 0$ and $g = 1$. Beilinson and Drinfeld show that for $g > 1$ a trivial parabolic structure is sufficient for the moduli stacks to be "very good". We give a necessary and sufficient condition on the parabolic structure for this property to hold in the case of lower genus.
Let $X$ be a smooth proper curve defined over a field $k$. The representability of the relative Picard functor is obstructed by a class $α\in\mathrm{Br}(\mathrm{Pic}_{X/k})$. We show the associated division algebra on $\mathrm{Pic}^0_{X/k}$ has natural involutions. We show the class $α$ splits at some height one points in $\mathrm{Pic}_{X/k}$.
Let $X$ be a projective and smooth variety over an algebraically closed field $k$. Let $f:Y\rightarrow X$ be a proper and surjective morphism of $k$-varieties. Assuming that $f$ is separable, we prove that the Tannakian category associated to the vector bundles $E$ on $X$ such that $f^*E$ is trivial is equivalent to the category of representations of a finite and etale group scheme. We give a counterexample to this conclusion in the absence of separability.
Let $(V,q)$ be a vector bundle on a smooth projective curve $X$ together with a quadratic form $q: \mathrm{Sym}^2(V) \ra \mathcal{O}_X$ (respectively symplectic form $q: Λ^2V \ra \mathcal{O}_X$). Fixing the degeneracy locus of the quadratic form induced on $V/\ker(q)$, we construct a coarse moduli of such objects. Further, we prove semi-stable reduction theorem for equivalence classes of such objects. In particular, the case when degeneracies of $q$ are higher than one is that of principal interest. We also provide a proof of properness of polystable orthogonal bundles without appealing to Bru…
We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another "mod $3$" invariant. We review Zorn's "vector matrix" construction of octonion algebras, generalized to rings…
Given a compact complex manifold $M$, we investigate the holomorphic vector bundles $E$ on $M$ such that $φ^* E$ is trivial for some surjective holomorphic map $φ$, to $M$, from some compact complex manifold. We prove that these are exactly those holomorphic vector bundles that admit a flat holomorphic connection with finite monodromy homomorphism. A similar result is proved for holomorphic principal $G$-bundles, where $G$ is a connected reductive complex affine algebraic group.
In this paper we prove that, over a Hilbertian ground field, surfaces with two conic fibrations whose fibres have non-zero intersection product have the Hilbert property. We then give an application of this result, namely the verification of the Hilbert property for certain del Pezzo varieties.
Let $X$ be a Fano manifold which is the zero scheme of a general global section $s$ in an irreducible homogenous vector bundle over a Grassmannian. We prove that the restriction of the Plücker embedding embeds $X$ projectively normal, and that every small deformation of $X$ comes from a deformation of the section $s$. These results are strengthened in the case of Fano 4-folds.
We show that principal bundles for a semisimple group on an arbitrary affine curve over an algebraically closed field are trivial, provided the order of $π_1$ of the group is invertible in the ground field, or if the curve has semi-normal singularities. Several consequences and extensions of this result (and method) are given. As an application, we realize conformal blocks bundles on moduli stacks of stable curves as push forwards of line bundles on (relative) moduli stacks of principal bundles on the universal curve.