The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves.
The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and a study of moduli of stable curves with abelian and non-abelian level structure.
We show that the Poincaré bundle gives a fully faithful embedding from the derived category of a curve of sufficiently high genus into the derived category of its moduli space of bundles of rank $r$ with fixed determinant of degree 1. Moreover we show that a twist of the embedding, together with 2 exceptional line bundles, gives the start of a semi-orthogonal decomposition. This generalises results of Narasimhan and Fonarev-Kuznetsov, who embedded the derived category of a single copy of the curve, for rank 2.
We prove a canonical identifications of the spaces of generalized theta functions on the moduli spaces of anti-invariant vector bundles in the ramified case and the conformal blocks associated to twisted Kac-Moody affine algebras.
We establish a striking connection between Abramovich's and Vistoli's twisted bundles and Gieseker vector bundles. This note grew out of an attempt to understand a recent draft of Seshadri.
A $\mathrm{U}(p,q)$-Higgs bundle on a Riemann surface (twisted by a line bundle) consists of a pair of holomorphic vector bundles, together with a pair of (twisted) maps between them. Their moduli spaces depend on a real parameter $α$. In this paper we study wall crossing for the moduli spaces of $α$-polystable twisted $\mathrm{U}(p,q)$-Higgs bundles. Our main result is that the moduli spaces are birational for a certain range of the parameter and we deduce irreducibility results using known results on Higgs bundles. Quiver bundles and the Hitchin-Kobayashi correspondence play an essential rol…
In this paper, we show an extension type theorem for twisted pluricanonical sections on a family of smooth projective manifolds (the twisting line bundle being pseudo-effective and having a prescribed multiplier ideal on the central fiber).
We study polystable Higgs bundles twisted by a line bundle over a compact Kähler manifold. These form a Tannakian category when the first and second Chern classes of the bundle are zero. In this paper we identify the corresponding Tannaka group in the case in which the line bundle is of finite order. This group is described in terms of the pro-reductive completion of the fundamental group of the manifold, and the character associated to the line bundle.
Let $X$ be a smooth complex projective curve of genus $g$ and let $L$ be a line bundle on $X$ with $\mathrm{deg}\,L>0$. Let $\mathbf{M}$ be the moduli space of semistable rank 2 $L$-twisted Higgs bundles with trivial determinant on $X$. Let $\mathbf{M}_{X}$ be the moduli space of stable rank 2 $L$-twisted Higgs bundles with determinant $\mathcal{O}(-x)$ for some $x\in X$ on $X$. We construct a cycle in the product of a stack of rational maps from nonsingular curves to $\mathbf{M}_{X}$ and $\mathrm{Pic}^{2\mathrm{deg}\,L}(X)$ by using Hecke modifications of a stable $L$-twisted Higgs bundle in …
Let $X$ be a Hyperkähler manifold, and let $H$ be an ample divisor on $X$. We give a lower bound in terms of the Beauville-Bogomolov form $q(H)$ for the twisted cotangent bundle $Ω_X \otimes H$ to be pseudoeffective. If $X$ is deformation equivalent to the Hilbert scheme of a K3 surface the lower bound can be written down explicitly and we study its optimality.
Hausel and Rodriguez-Villegas conjectured that the intersection form on the moduli space of stable PGL_n-Higgs bundles on a curve vanishes if the degree is coprime to n. In this note we prove this conjecture. Along the way we show that moduli spaces of stable chains are irreducible for stability parameters larger than the stability condition induced form stability of Higgs bundles.
Twisted ind-Grassmannians are ind-varieties $\GG$ obtained as direct limits of Grassmannians $G(r_m,V^{r_m})$, for $m\in\ZZ_{>0}$, under embeddings $ϕ_m:G(r_m,V^{r_m})\to G(r_{m+1}, V^{r_{m+1}})$ of degree greater than one. It has been conjectured in \cite{PT} and \cite{DP} that any vector bundle of finite rank on a twisted ind-Grassmannian is trivial. We prove this conjecture under the assumption that the ind-Grassmannian $\GG$ is sufficiently twisted, i.e. that $\lim_{m\to\infty}\frac{r_m}{°ϕ_1...\degϕ_m}=0$.
Our main goal in this article is to establish a quantitative version of the positivity properties of twisted relative pluricanonical bundles and their direct images. The notion of "singular Hermitian metric" on vector bundles (together with an appropriate definition of positivity of the associated curvature) plays a major role here, and its properties are studied via a version of Ohsawa-Takegoshi extension theorem. Part of this article is based on the joint work of the first named author with Bo Berndtsson, and it can be seen as an expanded and updated version of it.
The basic admissible locus $\mathcal{F}(G, μ, b)^a$ inside the flag variety $\mathcal{F}(G, μ)$, attached to a reductive group $G$ with a minuscule cocharacter $μ$ of $G$, is a $p$-adic analogue of the complex analytic period spaces. It has an algebraic approximation $\mathcal{F}(G, μ, b)^{wa}$ inside the flag variety, called the weakly admissible locus. On the flag variety $\mathcal{F}(G, μ)$, we have the Newton stratification which has the admissible locus as its unique open stratum. In this paper, we study the relation between the Newton strata and the weakly admissible locus. We show that …
A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these functors are isomorphic, and main components of moduli scheme for semistable admissible pairs are isomorphic to main components of the Gieseker -- Maruyama moduli scheme
In this paper, we provide two different resolutions of structural sheaves of projectivized tangent bundles of smooth complete intersections. These resolutions allow in particular to obtain convenient (and completely explicit) descriptions of cohomology of twisted symmetric powers of cotangent bundles of complete intersections, which are easily implemented on computer. We then provide several applications. First, we recover the known vanishing theorems on the subject, and show that they are optimal via some non-vanishing theorems. Then, we study the symmetric algebra of global sections of symme…
We prove a closed formula counting semistable twisted Higgs bundles of fixed rank and degree over a smooth projective curve defined over a finite field. We also prove a formula for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles over a curve.
Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed space. We show that the category of such representations is an abelian category with enough injectives by constructing an explicit injective resolution. Using this explicit resolution, we find a long exact sequence that computes the Ext groups in this new category in terms of the Ext groups in the old category. The quiver formulation is directly reflected in…
Let C be a generic curve, E a generic vector bundle on C. Then, for every line bundle on C the twisted Petri map P:H^0(C,L\otimes E)\otimes H^0(C, K\otimes L^*\otimes E^{*})--> H^0(C, K) is injective.
Let $X$ be a smooth projective variety over $\mathbb C$. We prove that a twisted Higgs vector bundle $(\calE\, ,θ)$ on $X$ admits an Einstein--Hermitian connection if and only if $(\calE\, ,θ)$ is polystable. A similar result for twisted vector bundles (no Higgs fields) was proved by S. Wang in \cite{Wa}. Our approach is simpler.
Let $S \subset \mathbb{P}^g$ be a smooth $K3$ surface of degree $2g-2$, $g \geq 3$. We classify all the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) \neq 0$ and the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) < h^0(\mathcal{N}_{C/\mathbb{P}^{g-1}}(-2))$ for $C \subset \mathbb{P}^{g-1}$ a general canonical curve section of $S$.
In this paper, we consider the preservation of stability by using the notion of Twisted stability. As applications, (1) we show that moduli spaces of vector bundles on K3 and abelian surfaces are irreducible, (2) we compute Hodge polynomials of some moduli spaces of vector bundles on Enriques surfaces and on elliptic surfaces with a section.
Let $V$ be a vector bundle over a smooth curve $C$. In this paper, we study twisted Brill--Noether loci parametrising stable bundles $E$ of rank $n$ and degree $e$ with the property that $h^0 (C, V \otimes E) \ge k$. We prove that, under conditions similar to those of Teixidor i Bigas and of Mercat, the Brill-Noether loci are nonempty, and in many cases have a component which is generically smooth and of the expected dimension. Along the way, we prove the irreducibility of certain components of both twisted and "nontwisted" Brill--Noether loci. We describe the tangent cones to the twisted Bril…
We study the basic properties of Higgs sheaves over compact Kähler manifolds and we establish some results concerning the notion of semistability; in particular, we show that any extension of semistable Higgs sheaves with equal slopes is semistable. Then, we use the flattening theorem to construct a regularization of any torsion-free Higgs sheaf and we show that it is in fact a Higgs bundle. Using this, we prove that any Hermitian metric on a regularization of a torsion-free Higgs sheaf induces an admissible structure on the Higgs sheaf. Finally, using admissible structures we proved some prop…
In this note, we obtain various formulas for the curvature of the $L^2$ metric on the direct image of the relative canonical bundle twisted by a holomorphic line bundle endowed with a positively curved metric with analytic singularities, generalizing some of Berndtsson's seminal results in the smooth case. When the twist is assumed to be relatively big, we further provide a very explicit lower bound for the curvature of the $L^2$ metric.
In this note we prove a new explicit formula for the invariants of moduli spaces of twisted Higgs bundles over P^1 and we relate these invariants to the invariants of moduli spaces of representations of some infinite symmetric quiver. The formula can be easily implemented for computations and it is in agreement with the existing conjectures for the invariants of twisted Higgs bundles over curves. Results of this note were presented in Oberwolfach in May 2014.
We generalize the classical Beauville-Narasimhan-Ramanan correspondence to the case of parabolic Higgs bundles with regular singularities and Higgs $V$-bundles. Using this correspondence along with Bott-Morse theoretic techniques we provide an exact component count for moduli spaces of maximal parabolic $\text{Sp}\left( 2n,\mathbb{R} \right)$-Higgs bundles with fixed parabolic structure.
We prove the Kobayashi-Hitchin correspondence and the approximate Kobayashi-Hitchin correspondence for twisted holomorphic vector bundles on compact Kähler manifolds. More precisely, if $X$ is a compact manifold and $g$ is a Gauduchon metric on $X$, a twisted holomorphic vector bundle on $X$ is $g-$polystable if and only if it is $g-$Hermite-Einstein, and if $X$ is a compact Kähler manifold and $g$ is a Kähler metric on $X$, then a twisted holomorphic vector bundle on $X$ is $g-$semistable if and only if it is approximate $g-$Hermite-Einstein.
For any admissible subcategory of the bounded derived category of coherent sheaves on a smooth proper variety, we prove that sections of the canonical bundle impose a strong constraint on the supports of the objects of the subcategory or its semiorthogonal complement. We also show that admissible subcategories are rigid under the actions of topologically trivial autoequivalences. As applications of these results, we prove that the derived category of various minimal varieties in the sense of the minimal model program admit no non-trivial semiorthogonal decompositions, generalizing the result f…
We provide a formula describing the G-module structure of the Hurwitz-Hodge bundle for admissible G-covers in terms of the Hodge bundle of the base curve, and more generally, for describing the G-module structure of the push-forward to the base of any sheaf on a family of admissible G-covers. This formula can be interpreted as a representation-ring-valued relative Riemann-Hurwitz formula for families of admissible G-covers.
Given a vector bundle $E$ on a smooth projective curve or surface $X$ carrying the structure of a $V$-twisted Hitchin pair for some vector bundle $V$, we observe that the associated tautological bundle $E^{[n]}$ on the punctual Hilbert scheme of points $X^{[n]}$ has an induced structure of a $((V^\vee)^{[n]})^\vee$-twisted Hitchin pair, where $(V^\vee)^{[n]}$ is a vector bundle on $X^{[n]}$ constructed using the dual $V^\vee$ of $V$. In particular, a Higgs bundle on $X$ induces a logarithmic Higgs bundle on the Hilbert scheme $X^{[n]}$. We then show that the known results on stability of tauto…
In this paper, we study holomorphic rank-2 vector bundles on non-K\" ahler elliptic surfaces. Our main tool for analysing these bundles is of course the spectral cover. However, given the non-Kähler condition, the elliptic surfaces we are considering do not have sections and gerbes naturally arise in this context. The spectral construction presented in this paper is a modification of the Fourier-Mukai transform for elliptic fibrations without a section. After examining some of the properties of this Fourier-Mukai transform, we give a complete classification of vector bundles on these surfaces.
We study twisted vector bundles of infinite rank on gerbes, giving a new spin on Grothendieck's famous problem on the equality of the Brauer group and cohomological Brauer group. We show that the relaxed version of the question has an affirmative answer in many, but not all, cases, including for any algebraic space with the resolution property and any algebraic space obtained by pinching two closed subschemes of a projective scheme. We also discuss some possible theories of infinite rank Azumaya algebras, consider a new class of "very positive" infinite rank vector bundles on projective variet…
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver bundles of type A (affine or finite), obtaining in particular a Harder-Narasimhan-type formula counting semistable U(p,q)-bundles over any sm…
This is a review article on some applications of generalised parabolic structures to the study of torsion free sheaves and $L$-twisted Hitchin pairs on nodal curves. In particular, we survey on the relation between representations of the fundamental group of a nodal curve and the moduli spaces of generalised parabolic bundles and generalised parabolic $L$-twisted Hitchin pairs on its normalisation as well as on an analogue of the Hitchin map for generalised parabolic $L$-twisted Hitchin pairs.
A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main components of reduced moduli scheme for semistable admissible pairs ((\tilde S, \tilde L), \tilde E) are isomorphic to main components of reduced Gieseker -- Maruyama moduli scheme.
Ordinarily, quiver varieties are constructed as moduli spaces of quiver representations in the category of vector spaces. It is also natural to consider quiver representations in a richer category, namely that of vector bundles on some complex variety equipped with a fixed sheaf that twists the morphisms. Representations of A-type quivers in this twisted category --- known in the literature as "holomorphic chains" --- have practical use in questions concerning the topology of the moduli space of Higgs bundles. In that problem, the variety is a Riemann surface of genus at least 2, and the twist…
Given a double quiver, we study homological algebra of twisted quiver sheaves with the moment map relation using the short exact sequence of Crawley-Boevey, Holland, Gothen, and King. Then in a certain one-parameter space of the stability conditions, we obtain a wall-crossing formula for the generalized Donaldson-Thomas invariants of the abelian category of framed twisted quiver sheaves on a smooth projective curve. To do so, we closely follow the approach of Chuang, Diaconescu, and Pan in the ADHM quiver case, which makes use of the theory of Joyce and Song. The invariants virtually count fra…
