Related papers: Shokurov's Rational Connectedness Conjecture
We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field…
F. Campana had asked whether a certain threefold is rational. In arXiv:1310.3569v1 [mathAG], this variety was shown to be birational to a specific conic bundle and then to be unirational. We prove that this conic bundle is rational.
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We…
Voskresenskii conjectured that stably rational tori are rational. Klyachko proved this assertion for a wide class of tori by general principles. We re-prove Klyachko's result by providing simple explicit birational isomorphisms, and…
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…
We formulate a generalization of Vojta's conjecture in terms of log pairs and variants of multiplier ideals. In this generalization, a variety is allowed to have singularities. It turns out that the generalized conjecture for a log pair is…
This paper is concerned with a sufficient criterion to guarantee that a given foliation on a normal variety has algebraic and rationally connected leaves. Following ideas from a preprint of Bogomolov-McQuillan and using recent works of…
This is a survey on the recent fundamental paper by V.V. Shokurov on the existence of log flips.
Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.
Rational pairs generalize the notion of rational singularities to reduced pairs $(X,D)$. In this paper we deal with the problem of determining whether a normal variety $X$ has a rationalizing divisor, i.e. a reduced divisor $D$ such that…
We prove Shokurov's global index conjecture for foliations in dimension at most three. This answers a question of the first author, Meng, and Xie in dimension three. The main result of this paper is partially obtained by generative AI,…
We extend the simply-typed guarded $\lambda$-calculus with discrete probabilities and endow it with a program logic for reasoning about relational properties of guarded probabilistic computations. This provides a framework for programming…
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…
Let X be any generalized flag variety with Picard group of rank one. Given a degree d, consider the Gromov-Witten variety of rational curves of degree d in X that meet three general points. We prove that, if this Gromov-Witten variety is…
The purpose of this paper is to lay the foundations for the theory of higher rank b-divisorial algebras of Shokurov type. We develop techniques to deal with such objects and propose two natural conjectures regarding Shokurov algebras and…
We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary,…
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 relations between the finite generation of Cox ring, the rationality of Euler-Chow series and Poincar\'e series and Zariski's conjecture on dimensions of linear systems. We prove that if the Cox ring of a smooth projective…
We prove that the link of a complex normal surface singularity is an L--space if and only if the singularity is rational. This via a recent result of Hanselman, J. Rasmussen, S. D. Rasmussen and Watson (proving the conjecture of Boyer,…
We prove that a degeneration rationally connected varieties over a field of characteristic zero always contains a geometrically irreducible subvariety which is rationally connected.