Related papers: A reduction map for nef line bundles
Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized…
We prove that the pull back of an ample line bundle by an almost holomorphic Lagrangian fibration is nef. As an application, we show birational semi rigidity of Lagrangian fibrations.
Much inspired by J. A. Wi\'sniewski's nef-value function method, we prove that in a smooth projective family over the unit disk, if the adjoint bundle of the canonical line bundle with a relatively semiample line bundle is nef on one fiber,…
We show the stability of certain syzygies of line bundles on curves, which we call transforms, and are kernels of the evaluation map on subspaces of the space of global sections. For the transforms constructed, we prove the existence of…
Is a given map between compact topological manifolds homotopic to the projection map of a fiber bundle? In this paper obstructions to this question are introduced with values in higher algebraic K-theory. Their vanishing implies that the…
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves…
Let X be a smooth projective threefold, and let A be an ample line bundle such that $K_X+A$ is nef. We show that if $K_X$ or $-K_X$ is pseudoeffective, the adjoint bundle $K_X+A$ has global sections. We also give a very short proof of the…
Suppose a sequence $M_j$ of Alexandrov spaces collapses to a space $X$ with only weak singularities. Yamaguchi constructed a map $f_j:M_j\to X$ called an almost Lipschitz submersion for large $j$. We prove that if $M_j$ has a uniform…
We study rank $1$ flat bundles over solvmanifolds whose cohomologies are non-trivial. By using Hodge theoretical properties for all topologically trivial rank $1$ flat bundles, we represent the structure theorem of K\"ahler solvmanifolds as…
We restate the semistable reduction theorem from geometric invariant theory in the context of spaces of morphisms on $\mathbb{P}^{n}$. For every complete curve $C$ downstairs, we get a $\mathbb{P}^{n}$-bundle on an abstract curve $D$…
We introduce a new method to study mixed characteristic deformation of line bundles. In particular, for sufficiently large smooth projective families $f : \mathscr{X} \to \mathscr{S}$ defined over the ring of $N$-integers…
We set up a BNR correspondence for moduli spaces of Higgs bundles over a curve with a parabolic structure over any algebraically closed field. This leads to a concrete description of generic fibers of the associated strongly parabolic…
For $k \in \mathbb{Z}_{>0}$, let $\mathcal{H}^{(k)}_{g,n}$ denote the vector bundle over $\mathfrak{M}_{g,n}$ whose every fiber consists of meromorphic $k$-differentials with poles of order at most $k-1$ on a fixed Riemman surface of genus…
Generalising a classical theorem by Ueno, we prove structure results for manifolds with nef or semiample cotangent bundle.
The sub-Finslerian geometry means that the metric $F$ is defined only on a given subbundle of the tangent bundle, called a horizontal bundle. In the paper, a version of the Hopf-Rinow theorem is proved in the case of sub-Finslerian…
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…
We present a smooth, complete toric threefold with no nontrivial nef line bundles. This is a counterexample to a recent conjecture of Fujino.
Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely…
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…
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…