Related papers: A note on lc-trivial fibrations
Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a…
Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if \delta has the tree property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.
We first introduce a weak type of Zariski decomposition in higher dimensions: an $\R$-Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective…
Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…
Let $L$ be a (semi)-positive line bundle over a Kahler manifold, $X$, fibered over a complex manifold $Y$. Assuming the fibers are compact and non-singular we prove that the hermitian vector bundle $E$ over $Y$ whose fibers over points $y$…
Let $X$ be a normal complex projective variety, $T\subseteq X$ a subvariety, $a\colon X\rightarrow A$ a morphism to an abelian variety such that $\rm{Pic}^0(A)$ injects into $\rm{Pic}^0(T)$ and let $L$ be a line bundle on $X$. Denote by…
We study positivity properties of the moduli (b-)divisor associated to a relative log pair $(X,B)/Y$ with relatively trivial log canonical class.
We show that the set of rationally connected projective varieties $X$ of a fixed dimension such that $(X,B)$ is klt, and $-l(K_X+B)$ is Cartier and nef for some fixed positive integer $l$, is bounded modulo flops.
We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small…
Let $(X, \Delta)$ be a projective klt pair of dimension $2$ and let $L$ be a nef $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is nef. As a complement to the Generalized Abundance Conjecture by Lazi\'c and Peternell, we prove…
Given a fibration $f: X \to Y$ with normal general fibre $X_y$, over a field of any characteristic, we establish the Iitaka-type inequality $\kappa(X,-K_X) \leq \kappa(X_y,-K_{X_y})+\kappa(Y,-K_Y)$ whenever the $\mathbb{Q}$-linear series…
We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective…
We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and…
Let $X$ be a normal projective variety. A surjective endomorphism $f:X\to X$ is int-amplified if $f^\ast L - L =H$ for some ample Cartier divisors $L$ and $H$. This is a generalization of the so-called polarized endomorphism which requires…
Let $k$ be a number field and let $\pi \colon X \rightarrow\mathbb{P}_k^1$ be a smooth conic bundle. We show that if $X/k$ has four geometric singular fibers and either $X(\mathbb{A}_k)\neq \emptyset$ or $X/k$ has non-trivial Brauer group,…
The subject of the present paper is Grothendieck's Lefschetz standard conjecture $B(X)$. Our main result is that, if $X$ is a projective smooth variety of dimension $n$ and the conjecture $B({\cal Y})$ holds for the generic fibre ${\cal Y}$…
Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results…
We classify log-canonical pairs $(X, \Delta)$ of dimension two with $K_X+\Delta$ an ample Cartier divisor with $(K_X+\Delta)^2=1$, giving some applications to stable surfaces with $K^2=1$. A rough classification is also given in the case…
Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove…
Let X be a projective variety with terminal singularities and let L be an ample Cartier divisor on X. We prove that if f is a birational contraction associated to an extremal ray $ R \subset \bar {NE(X)}$ such that R.(K_X+(n-2)L)<0, then f…