Related papers: Higher direct images of the structure sheaf via th…

Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,\chi)$ of pure sheaves…

Given a family $(F,h) \to X \times S$ of Hermite-Einstein bundles on a compact K\"ahler manifold $(X,g)$ we consider the higher direct image sheaves $R^q p_* \mathcal{O}(F)$ on $S$, where $p: X \times S \to S$ is the projection. On the…

This paper investigates the curvature properties of higher direct images $ R^qf_*\Omega_{X/S}^p(E)$, where $f: X\rightarrow S$ is a family of compact K\"ahler manifolds equipped with a hermitian vector bundle $E \rightarrow X$. We derive a…

Let $\mhu$ be the moduli space of semi-stable pure sheaves of class $u$ on a smooth complex projective surface $X$. We specify $u=(0,L,\chi(u)=0),$ i.e. sheaves in $u$ are of dimension $1$. There is a natural morphism $\pi$ from the moduli…

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and…

Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula…

Given a holomorphic family $f:\mathcal{X} \to S$ of compact complex manifolds of dimension $n$ and a relatively ample line bundle $L\to \mathcal{X}$, the higher direct images $R^{n-p}f_*\Omega^p_{\mathcal{X}/S}(L)$ carry a natural hermitian…

Let $M(d,\chi)$ be the moduli space of semistable 1-dimensional sheaves supported at curves of degree $d$ on $\mathbb{P}^2$, with Euler characteristic $\chi$. We have the Hilbert-Chow morphism $\pi: M(d,\chi)\rightarrow |dH|$ sending each…

We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the…

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…

Let $X$ be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on $X$, i.e. $\mhu$ with $u=(0,L,\chi(u)=0)$ and $L$ an effective line bundle on $X$, together with a series of…

In this article we are interested in the differential geometric properties of certain higher direct images of exterior powers of the sheaf of relative differentials twisted with a line bundle. We obtain explicit curvature formulas,…

Given a projective morphism $f:X\to Y$ from a complex space to a complex manifold, we prove the Griffiths semi-positivity and minimal extension property of the direct image sheaf $f_\ast(\mathscr{F})$. Here, $\mathscr{F}$ is a coherent…

For a smooth projective variety $P$, we construct a Cartier divisor supported on the incidence locus in $\mathscr{C}_a (P) \times \mathscr{C}_{\dim(P)-a-1}(P)$. There is a natural definition of the corresponding line bundle on a product of…

The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion…

We show that the moduli space M(r,c) of semistable sheaves on n-dimensional projective space with support of dimension one, with multiplicity r and with Euler characteristic c is isomorphic to M(r,-c).

Given a field of Hilbert spaces there are two ways to endow it with a smooth structure: the standard and geometrical notion of Hilbert (or Hermitian) bundle and the analytical notion of smooth field of Hilbert spaces. We study the…

Let $\pi\,:\, X \,\longrightarrow\, Y$ be a finite morphism of smooth projective varieties defined over an algebraically closed field of characteristic zero. We study the necessary and sufficient criteria for $\pi$ such that there exists a…

Let M be the moduli scheme of canonically polarized manifolds with Hilbert polynomial h. We construct for a given finite set I of natural numbers m>1 with h(m)>0 a projective compactification M' of the reduced scheme underlying M such that…