Related papers: Descent theory of simple sheaves on $C_1$-fields
Given a $G$-Galois branched cover of the projective line over a number field $K$, we study whether there exists a closed point of $\mathbb{P}^1_K$ with a connected fiber such that the $G$-Galois field extension induced by specialization…
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
We study extension of scalars for sheaves of vector spaces, assembling results that follow from well-known statements about vector spaces, but also developing some complements. In particular, we formulate Galois descent in this context, and…
Let S be a smooth projective surface over the complex field. Under certain technical assumptions, we prove that the degeneracy locus of the universal sheaf over the moduli space of stable sheaves is either empty or an irreducible…
Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…
This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the \'etale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois…
Let $K$ be a field, $L$ a finite Galois extension of $K$, and $X$ an abelian variety defined over $L$. If $X$ is isogenous over $L$ to an abelian variety defined over $K$, then the $\ell$-adic Galois representations associated to $X$ extend…
Let $f \colon X \to Y$ be the blow-up of a smooth projective variety $Y$ along its codimension two smooth closed subvariety. In this paper, we show that the moduli space of stable sheaves on $X$ and $Y$ are connected by a sequence of…
We study the conormal sheaves and singular schemes of 1-dimensional foliations on smooth projective varieties $X$ of dimension 3 and Picard rank 1. We prove that if the singular scheme has dimension 0, then the conormal sheaf is…
We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of…
Let X be a projective complex K3 surface. Beauville and Voisin singled out a 0-cycle c_X on X of degree 1: it is represented by any point lying on a rational curve in X. Huybrechts proved that the second Chern class of a rigid simple…
Let $X$ be a compact normal K\"ahler space whose canonical sheaf is a rank-one free $\mathcal O_X$ module and whose singularities are isolated, rational and quasi-homogeneous. We prove then that under a topological hypothesis the…
Let ${\mathcal L}/{\mathcal K}$ be a finite Galois extension and let $X$ be an affine algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides necessary and sufficient conditions for $X$ to be definable over…
Let $K$ be a field of characteristic 0. Fix integers $r,d$ coprime with $r \geq 2$. Let $X_K$ be a smooth, projective, geometrically connected curve of genus $g \geq 2$ defined over K. Assume there exists a line bundle $L_K$ on $X_K$ of…
We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…
Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…
A variety X over a field K is of Hilbert type if the set of rational points X(K) is not thin. We prove that if f: X\to S is a dominant morphism of K-varieties and both S and all fibers f^{-1}(s), s in S(K), are of Hilbert type, then so is…
In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3…