Related papers: Minimal extension property of direct images

We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…

We prove that a torsion-free sheaf $\mathcal F$ endowed with a singular hermitian metric with semi-positive curvature and satisfying the minimal extension property admits a direct-sum decomposition $\mathcal F \simeq \mathcal U \oplus…

We give new characterizations of plurisubharmonic functions and Griffiths positivity of holomorphic vector bundles with singular Finsler metrics. As applications, we present a different method to prove plurisubharmonic variation of…

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…

We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period…

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…

Building on Fujita-Griffiths method of computing metrics on Hodge bundles, we show that the direct image of an adjoint semi-ample line bundle by a projective submersion has a continuous metric with Griffiths semi-positive curvature. This…

We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are…

Given a fibration $f$ between two projective manifolds $X$ and $Y$, we provide a sufficient condition such that the direct images $f_{\ast}(K_{X/Y}\otimes L\otimes\mathscr{I}(f,\|L\|))$ is nef, where $L$ is a holomorphic line bundle with…

Let $X$ be a projective smooth surface over $\mathbb{C}$ with $H^2(\mathcal{O}_X)=0$. Let $M=M(L,\chi)$ be the moduli space of 1-dimensional semistable sheaves with determinant $\mathcal{O}_X(L)$ and Euler characteristic $\chi$. We have the…

In this paper, with the aim of establishing a structure theorem for a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature, we study a morphism $\phi: X \to Y$ to a compact K\"ahler manifold $Y$ with…

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…

We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex analytic spaces. In the smooth case, our approach is based…

In this short Note we show that the direct image sheaf R 1 $\pi$ * (O X) associated to an analytic family of compact complex manifolds $\pi$ : X $\rightarrow$ S parametrized by a reduced complex space S is a locally free (coherent) sheaf of…

Let f : X --> Y be a holomorphic map of complex manifolds, which is proper, Kahler, and surjective with connected fibers, and which is smooth over Y-Z the complement of an analytic subset Z. Let E be a Nakano semi-positive vector bundle on…

We discuss the local freeness and the numerical semipositivity of direct images of relative pluricanonical bundles for surjective morphisms between smooth projective varieties with connected fibers. We give a desirable semipositivity…

We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base…

We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the…

In this paper, we consider a proper K\"ahler fibration $f \colon X \to Y$ and a singular Hermitian line bundle $(L, h)$ on $X$ with semi-positive curvature. We prove that the direct image sheaf $f_{*}(\mathcal{O}_{X}(K_{X/Y}+L) \otimes…

In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$,…