Related papers: Almost nef regular foliations and Fujita's decompo…
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 cotangent bundle of a non-uniruled projective manifold is generically nef, due to a theorem of Miyaoka. We show that the cotangent bundle is actually generically ample, if the manifold is of general type and study in detail the case of…
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…
Generalising a classical theorem by Ueno, we prove structure results for manifolds with nef or semiample cotangent bundle.
As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of…
In this paper, we prove that a compact K\"ahler manifold $X$ with the nef anti-canonical bundle $-K_{X}$ admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected manifold and the base $Y$ is a…
In a recent preprint, H. Tsuji gave a number of interesting assertions on the structure of pseudo-effective line bundles on projective manifolds. In particular, he postulated the existence of an almost-holomorphic "reduction map", whose…
Let $(X,\Delta)$ be a projective klt pair, and $f:X\to Y$ a fibration to a smooth projective variety $Y$ with strictly nef relative anti-log canonical divisor $-(K_{X/Y}+\Delta)$. We prove that $f$ is a locally constant fibration with…
Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…
Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…
We investigate the positivity properties of the direct image $f_{\ast}(K_{X/Y} \otimes L)$ of the adjoint line bundle associated with a big and nef line bundle $L$, under a smooth fibration $f: X\to Y$ between projective varieties. We show…
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…
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering…
We study the geometry of projective manifolds whose tangent bundles are nef on sufficiently general curves (i.e. the tangent bundle is generically nef) and show that manifolds whose anticanonical bundles are semi-ample have this property.…
We first provide details for the proof of Fujita's second theorem for K\"ahler fibre spaces over a curve, asserting that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and…
Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…
The goal of this work is to study positivity of subvarieties with nef normal bundle in the sense of intersection theory. After Ottem's work on ample subschemes, we introduce the notion of a nef subscheme, which generalizes the notion of a…
Given a morphism between smooth projective varieties $f: W \to X$, we study whether $f$-relatively free rational curves imply the existence of $f$-relatively very free rational curves. The answer is shown to be positive when the fibers of…
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…
We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…