We prove two results about vector bundles on singular algebraic surfaces. First, on proper surfaces there are vector bundles of rank two with arbitrarily large second Chern number and fixed determinant. Second, on separated normal surfaces any coherent sheaf is the quotient of a vector bundle. As a consequence, for such surfaces the Quillen K-theory of vector bundles coincides with the Waldhausen K-theory of perfect complexes. Examples show that, on nonseparated schemes, usually many coherent sheaves are not quotients of vector bundles.
A stratified bundle is a vector bundle which is a D-module. We show that regular singularity of stratified bundles on smooth varieties in positive characteristic is preserved by pullback and that regular singularity can be checked on curves, if the ground field is large enough.
Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.
Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.
Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard to handle, it has been shown in a previous paper that there exists a partial resolution of singularities which transforms a bundle of possibly badly singular curves into a bundle of nodal and cuspidal plane cubics. In cases which are of interest for classification theory, the total spaces of these bundles will clearly be projective. It is, however, generall…
Let X be a smooth variety over an algebraically closed field k of positive characteristic. We define and study a general notion of regular singularities for stratified bundles (i.e. O_X-coherent D_X-modules) on X without relying on resolution of singularities. The main result is that the category of regular singular stratified bundles with finite monodromy is equivalent to the category of continuous representations of the tame fundamental group on finite dimensional k-vector spaces. As a corollary we obtain that a stratified bundle with finite monodromy is regular singular if and only if it is…
We substantially refine the theory of singular principal bundles introduced in a former paper. In particular, we show that we need only honest singular principal bundles in our compactification. These are objects which carry the structure of a rational principal bundle in the sense of Ramanathan. Moreover, we arrive at a much simpler semistability condition. In the case of a semisimple group, this is just the Gieseker-version of Ramanathan's semistability condition for the corresponding rational principal $G$-bundle.
In this paper we proof the existence of a linearization for singular principal G-bundles not depending on the base curve. This allow us to construct the relative compact moduli space of δ-(semi)stable singular principal G-bundles over families of reduced projective and connected nodal curves, and to reduce the construction of the universal moduli space over $\overline{M}_{g}$ to the construction of the universal moduli space of swamps.
In this note, we introduce the notion of a singular principal G-bundle, associated to a reductive algebraic group G over the complex numbers by means of a faithful representation $\varrho^\p\colon G\lra \SL(V)$. This concept is meant to provide an analogon to the notion of a torsion free sheaf as a generalization of the notion of a vector bundle. We will construct moduli spaces for these singular principal bundles which compactify the moduli spaces of stable principal bundles.
This is an expository article. In the first part we recall the definition and a few results concerning singular Hermitian metrics on torsion-free coherent sheaves. They offer the perfect platform for the study of properties of direct images of twisted pluricanonical bundles which we will survey in the second part.
We provide several results on splice-quotient singularities: a combinatorial expression of the dimension of the first cohomology of all `natural' line bundles, an equivariant Campillo-Delgado-Gusein-Zade type formula about the dimension of relative sections of line bundles (proving that the equivariant, divisorial multi-variable Hilbert series is topological), a combinatorial description of divisors of analytic function-germs, and an expression for the multiplicity of the singularity from its resolution graph. Additional, we establish a new formula for the Seiberg-Witten invariants of any rati…
We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$.
This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative logcanonical bundles.
We prove that every irreducible component of semi-regular loci of effective line bundles in the Picard scheme of a smooth projective variety has at worst rational singularities. This generalizes Kempf's result on rational singularities of $W^0_d$ for smooth curves. We also work out an example of such loci for a ruled surface.
Studying degenerations of moduli spaces of semistable principal bundles on smooth curves leads to the problem of constructing and studying moduli spaces on singular curves. In this note, we will see that the moduli spaces of $δ$-semistable pseudo bundles on a nodal curve constructed by the first author become, for large values of $δ$, the moduli spaces for semistable singular principal bundles. The latter are reasonable candidates for degenerations and a potential basis of further developments as on irreducible nodal curves. In particular, we find a notion of semistability for principal bundle…
We analyze and completely describe the four cases when the Hitchin fibration on a $2$-dimensional moduli space of irregular Higgs bundles over $\mathbb{C}P^{1}$ has a single singular fiber. The case when the fiber at infinity is of type $I_0^*$ is further analyzed, and we give constructions of all the possible configurations of singular curves inelliptic fibrations having this type of singular fiber at infinity.
In this paper we consider the singularities of the varieties parameterizing stable vector bundles of fixed rank and degree with sections on a smooth curve of genus at least two. In particular, we extend results of Y. Laszlo, and of the second author, regarding the singularities of generalized theta divisors.
A separable, proper morphism of varieties with geometrically connected fibers induces a homotopy exact sequence relating the étale fundamental groups of source, target and fiber. Extending work of dos Santos, we prove the existence of an analogous homotopy exact sequence for fundamental group schemes classifying regular singular stratified bundles, under the additional assumption that the morphism in question can be (partially) compactified to a log smooth morphism.
A $\mathbb Q$-conic bundle is a proper morphism from a threefold with only terminal singularities to a normal surface such that fibers are connected and the anti-canonical divisor is relatively ample. We study the structure of $\mathbb Q$-conic bundles near their singular fibers. One corollary to our main results is that the base surface of every $\mathbb Q$-conic bundle has only Du Val singularities of type A (a positive solution of a conjecture by Iskovskikh). We obtain the complete classification of $\mathbb Q$-conic bundles under the additional assumption that the singular fiber is irreduc…
We apply Ueda theory to a study of singular Hermitian metrics of a (strictly) nef line bundle $L$. Especially we study minimal singular metrics of $L$, metrics of $L$ with the mildest singularities among singular Hermitian metrics of $L$ whose local weights are plurisubharmonic. In some situations, we determine a minimal singular metric of $L$. As an application, we give new examples of (strictly) nef line bundles which admit no smooth Hermitian metric with semi-positive curvature.
We study singular Hermitian metrics on vector bundles. There are two main results in this paper. The first one is on the coherence of the higher rank analogue of multiplier ideals for singular Hermitian metrics defined by global sections. As an application, we show the coherence of the multiplier ideal of some positively curved singular Hermitian metrics whose standard approximations are not Nakano semipositive. The aim of the second main result is to determine all negatively curved singular Hermitian metrics on certain type of vector bundles, for example, certain rank 2 bundles on elliptic cu…
We investigate singular Hermitian metrics on vector bundles, especially strictly Griffiths positive ones. $L^2$ esitimates and vanishing theorems usually require an assumption that vector bundles are Nakano positive. However there is no general definition of the Nakano positivity in singular settings. In this paper, we show various $L^2$ estimates and vanishing theromes by assuming that the vector bundle is strictly Griffiths positive and the base manifold is projective.
We study a singular Hermitian metric of a vector bundle. First, we prove the sheaf of locally square integrable holomorphic sections of a vector bundle with a singular Hermitian metric, which is a higher rank analogy of a multiplier ideal sheaf, is coherent under some assumptions. Second, we prove a Nadel-Nakano type vanishing theorem of a vector bundle with a singular Hermitian metric. We do not use an approximation technique of a singular Hermitian metric. We apply these theorems to a singular Hermitian metric induced by holomorphic sections and a big vector bundle, and we obtain a generaliz…
Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable singular principal bundles on the fibres of f. This generalizes the result of A. Schmitt who studied the case when X is a nodal curve.
In this paper, we give complex geometric descriptions of the notions of algebraic geometric positivity of vector bundles and torsion-free coherent sheaves, such as nef, big, pseudo-effective and weakly positive, by using singular Hermitian metrics. As an applications, we obtain a generalization of Mori's result. We also give a characterization of the augmented base locus by using singular Hermitian metrics on vector bundles and the Lelong numbers.
We give a concrete expression of a minimal singular metric of a big line bundle on a compact Kähler manifold which is the total space of a toric bundle over a complex torus. In this class of manifolds, Nakayama constructed examples which have line bundles admitting no Zariski-decomposition even after any proper modifications. As an application, we discuss the Zariski-closedness of non-nef loci and the openness conjecture of Demailly and Kollár in this class.
A principal Higgs bundle $(P,ϕ)$ over a singular curve $X$ is a pair consisting of a principal bundle $P$ and a morphism $ϕ:X\to\text{Ad}P \otimes Ω^1_X$. We construct the moduli space of principal Higgs G-bundles over an irreducible singular curve $X$ using the theory of decorated vector bundles. More precisely, given a faithful representation $ρ:G\to Sl(V)$ of $G$, we consider principal Higgs bundles as triples $(E,q,ϕ)$ where $E$ is a vector bundle with $\rk{E}=\dim V$ over the normalization $\xtilde$ of $X$, $q$ is a parabolic structure on $E$ and $ϕ:E\ab{}\to L$ is a morphism of bundles, …
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.
We establish the equidistribution of zeros of random holomorphic sections of powers of a semipositive singular Hermitian line bundle, with an estimate of the convergence speed.
We complete the proof of the fact that the moduli space of rank two bundles with trivial determinant embeds into the linear system of divisors on $Pic^{g-1}C$ which are linearly equivalent to $2Θ$. The embedded tangent space at a semi-stable non-stable bundle $ξ\oplusξ^{-1}$, where $ξ$ is a degree zero line bundle, is shown to consist of those divisors in $|2Θ|$ which contain $Sing(Θ_ξ)$ where $Θ_ξ$ is the translate of $Θ$ by $ξ$. We also obtain geometrical results on the structure of this tangent space.
Let $E$ be a holomorphic vector bundle endowed with a singular Hermitian metric $H$. In this paper, we develop the harmonic theory on $(E,H)$. Then we extend several canonical results of J. Kollár and K. Takegoshi to this situation. In the end, we generalise Nakano's vanishing theorem.
We construct a compactification of the universal moduli space of semistable principal $G$-bundles over $\overline{\textrm{M}}_{g}$, the fibers of which over singular curves are the moduli spaces of $δ$-semistable singular principal G-bundles.
We study the motivic and $\ell$-adic realizations of the dg category of singularities of the zero locus of a global section of a line bundle over a regular scheme. We will then use the formula obtained in this way together with a theorem due to D.~Orlov and J.~Burke - M.~Walker to give a formula for the $\ell$-adic realization of the dg category of singularities of the special fiber of a scheme over a regular local ring of dimension $n$.
In a previous paper we have introduced the notion of geometric directional bundle of a singular space, in order to introduce global bi-Lipschitz invariants. Then we have posed the question of whether or not the geometric directional bundle is stabilised as an operation acting on singular spaces. In this paper we give a positive answer in the case where the singular spaces are subanalytic sets, thus providing a new invariant associated with the subanalytic sets.
We introduce a new class of canonical AZD's (called the supercanonical AZD's) on the canonical bundles of smooth projective varieties with pseudoeffective canonical classes. We study the variation of the supercanonical AZD $\hat{h}_{can}$ under projective deformations and give a new proof of the invariance of plurigenera.
If $ D \in X$ is a curve with multiple points in a surface, a parabolic bundle defined on $(X;D)$ away from the singularities can be extended in several ways to a parabolic bundle on a resolution of singularities. We investigate the possible parabolic Chern classes for these extensions.
We prove the logarithmic divergence of equivariant analytic torsion for one-parameter degenerations of projective algebraic manifolds, when the coefficient vector bundle is given by a Nakano semi-positive vector bundle twisted by the relative canonical bundle.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.
Coman, Guedj and Zeriahi proved that, for an ample line bundle $L$ on a projective manifold $X$, any singular positive metric on the line bundle $L|_{V}$ along a subvariety $V \subset X$ can be extended to a global singular positive metric on $L$. In this paper, we prove that the extendability of singular positive metrics on a line bundle along a subvariety implies the ampleness of the line bundle.
Based on the Matsusaka-Ran criterion we give a criterion to characterize when a principal polarized abelian variety is a Jacobian by the existence of Picard bundles.
Our interest is a regularity of a minimal singular metric of a line bundle. One main conclusion of our general result in this paper is the existence of continuous Hermitian metrics with semi-positive curvatures on the so-called Zariski's example of a line bundle defined over the blow-up of $\mathbb{P}^2$ at some twelve points. This is an example of a line bundle which is nef, big, not semi-ample, and whose section ring is not finitely generated. We generalize this result to the higher dimensional case when the stable base locus of a line bundle is a smooth hypersurface with a holomorphic tubul…
We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure associated with the singular hermitian line bundle. Also for any pseudoeffective line bundle on a smooth projective variety, we prove the existence of a rational natural fibration structure associated with the line bundle. We also characterize a numerically trivial singular hermitain line bundle on a smooth projective variety.
We study moduli spaces $M_X(r,c_1,c_2)$ parametrizing slope semistable vector bundles of rank $r$ and fixed Chern classes $c_1, c_2$ on a ruled surface whose base is a rational nodal curve. We show that under certain conditions, these moduli spaces are irreducible, smooth and rational (when non-empty). We also prove that they are non-empty in some cases. We show that for a rational ruled surface defined over real numbers, the moduli space $M_X(r,c_1,c_2)$ is rational as a variety defined over $\mathbb R$.
The purpose of this paper is to give two supplements for vanishing theorems: One is a relative version of the Kawamata-Viehweg-Nadel type vanishing theorem, which is obtained from an observation for the variation of the numerical dimension of singular hermitian line bundles. The other is an analytic injectivity theorem for log canonical pairs on surfaces, which can be seen as a partial answer for Fujino's conjecture.
In \cite{NNM} the author with A. Némethi computed the multiplicity of generic surface singularities, the formula is purely topological computable from the resolution graph of the surface singularity. In the present paper we extend the results partly to the relative case, when there is a pair of resolution graphs $\mathcal{T}_1 \subset \mathcal{T}$, a fixed singularity $\tX_1$ with resolution graph $\mathcal{T}_1$, a relatively generic singularity $\tX$ corresponding to the subsingularity $\tX_1$ with resolution graph $\mathcal{T}$. We determine the base points of the natural line bundles (unde…
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.
We show a Chern-Weil type statement and a Hilbert-Samuel formula for a large class of singular plurisubharmonic metrics on a line bundle over a smooth projective complex variety. For this we use the theory of b-divisors and the so-called multiplier ideal volume function. We apply our results to the line bundle of Siegel-Jacobi forms over the universal abelian variety endowed with its canonical invariant metric. This generalizes a result of the second author for the universal family of elliptic curves to higher degrees.
Let $X$ be a smooth projective algebraic surface of Picard rank one with very ample canonical bundle $K_X$. We further assume that $q -1 \le χ(\mathcal{O}_X$. In this article, we will study the existence of the Ulrich bundle and its stability property of it with respect to $K_X$.
We define Chern and Segre forms, or rather currents, associated with a Griffiths positive singular hermitian metric $h$ with analytic singularities on a holomorphic vector bundle $E$. The currents are constructed as pushforwards of generalized Monge-Ampère products on the projectivization of $E$. The Chern and Segre currents represent the Chern and Segre classes of $E$, respectively, and coincide with the Chern and Segre forms of $E$ and $h$, where $h$ is smooth. Moreover, our currents coincide with the Chern and Segre forms constructed by the first three authors and Ruppenthal in the cases wh…
We examine Higgs bundles for non-compact real forms of SO(4,C) and the isogenous complex group SL(2,C)XSL(2,C). This involves a study of non-regular fibers in the corresponding Hitchin fibrations and provides interesting examples of non-abelian spectral data.
Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$ associated with the ``canonical'' $spin^c$ structure of $M$. Since the Seiberg-Witten theory of the link $M$ provides a rational number for any $spin^c$ structure it was a natural challenge to search for a complete set of conjecturally valid identities, which involve all the Seiberg-Witten invariants (giving an analytic -- i.e. singularity theoretical -- interpreta…
This paper studies intersection theory on the compactified moduli space M(n,d) of holomorphic bundles of rank n and degree d over a fixed compact Riemann surface of genus g > 1 where n and d may have common factors. Because of the presence of singularities we work with the intersection cohomology groups defined by Goresky and MacPherson and the ordinary cohomology groups of a certain partial resolution of singularities of M(n,d). Based on our earlier work, we give a precise formula for the intersection cohomology pairing and provide a method to calculate pairings on the partial resolution of s…
For a stable irreducible curve $X$ and a torsion free sheaf $L$ on $X$ of rank one and degree $d$, D.S. Nagaraj and C.S. Seshadri ([NS]) defined a closed subset $\Cal U_X(r,L)$ in the moduli space of semistable torsion free sheaves of rank $r$ and degree $d$ on $X$. We prove that $\Cal U_X(r,L)$ is irreducible, when a smooth curve $Y$ specializes to $X$ and a line bundle $\Cal L$ on $Y$ specializes to $L$, the specialization of moduli space of semistable rank $r$ vector bundles on $Y$ with fixed determinant $\Cal L$ has underlying set $\Cal U_X(r,L)$. For rank 2 and 3, we show that there is a …
In the mid 70's, Hartshorne conjectured that, for all n > 7, any rank 2 vector bundles on P^n is a direct sum of line bundles. This conjecture remains still open. In this paper, we construct indecomposable rank two vector bundles on a large class of Fano toric varieties. Unfortunately, this class does not contain P^n
We introduce a notion of singular hermitian metrics (s.h.m.) for holomorphic vector bundles and define positivity in view of $L^2$-estimates. Associated with a suitably positive s.h.m. there is a (coherent) sheaf 0-th kernel of a certain $d''$-complex. We prove a vanishing theorem for the cohomology of this sheaf. All this generalizes to the case of higher rank known results of Nadel for the case of line bundles. We introduce a new semi-positivity notion, $t$-nefness, for vector bundles, establish some of its basic properties and prove that on curves it coincides with ordinary nefness. We part…
Consider the scheme B_{2,L}^k of stable vector bundles of rank two and fixed determinant L which have at least k sections. Under suitable numerical conditions and for generic L, we show the existence of a component of the expected dimension of B_{2,L}^k.
Let $\mathcal{T}$ be an arbitrary resolution graph and $(X, 0)$ a generic complex analytic normal surface singularity, and $\tilde{X}$ a generic resolution corresponding to it. Fix an effective integer cycle $Z$ supported on the exceptional curve and also an arbitrary Chern class $Z' \in L'$. In this article we aim to compute the cohomology numbers $h^1(\mathcal{O}_{Z}(Z'))$. Notice, that the case $Z'_v < 0, v \in |Z|$ was discussed in \cite{NNA2}, where the main theorem was, that in this special case these cohomology numbers equal to the cohomology numbers of the generic line bundle in $\text…
We study constraints on the Chern classes of a vector bundle on a singular variety. We use this constraint to study a variety which carries a Hodge cycle that are not a linear combination of Chern classes of vector bundles on it.
