Related papers: Shokurov's Rational Connectedness Conjecture

Let $k$ be a perfect field, and $X$ an irreducible smooth projective curve over $k$. We give a criterion for a vector bundle over $X$ to admit a logarithmic connection singular over a finite subset of $X$ with given residues, where residues…

A conjecture, recently stated by Flach and Morin, relates the action of the monodromy on the Galois invariant part of the p-adic Beilinson-Hyodo-Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to…

We prove a conjecture of Batryev which states that the family of all Fano varieties with kawamata log terminal singularities and fixed index, forms a bounded family.

Let C be a curve over a complete valued field with infinite residue field whose skeleton is a chain of loops with generic edge lengths. We prove that any divisor on the chain of loops that is rational over the value group lifts to a divisor…

Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$…

It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of…

Following Shokurov's ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension d implies that any klt pair of dimension d has a log minimal model or a Mori fibre space. Thus, in…

We use birational geometry to show that the existence of rational points on proper rationally connected varieties over fields of characteristic $0$ is a consequence of the existence of rational points on terminal Fano varieties. We discuss…

Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…

We use sheaves and algebraic L-theory to construct the rational Pontryagin classes of fiber bundles with fiber R^n. This amounts to an alternative proof of Novikov's theorem on the topological invariance of the rational Pontryagin classes…

The authors prove that $\Cal M_{15}$ is rationally connected

In his study of Nekrasov-Okounkov type formulas on "partition theoretic" expressions for families of infinite products, Han discovered seemingly unrelated $q$-series that are supported on precisely the same terms as these infinite products.…

We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structure: it states that any such graph is acyclic and the number…

We construct the canonical structure of an irreducible projective variety on the set of connected curves of degree $d$ in $\Bbb P^n$ with rational components (some components can be multiple). The set of rational curves is open subset in…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

A smooth, proper, retract rational variety over a field $k$ is known to be $\mathbb{A}^1$-connected. We improve on this result, in the case when $k$ is infinite, showing that such varieties are naively $\mathbb{A}^1$-connected.

We give a proof of the existence of radial (smooth) parallel sections of vector bundles endowed with a linear connection.

We prove the "Gluing Conjecture" on the spectral side of the categorical geometric Langlands correspondence. The key tool is the structure of crystal on the category of singularities, which allows to reduce the conjecture to the question of…

Consider a one-parameter family of smooth, irreducible, projective curves of genus $g\ge 2$ defined over a number field. Each fiber contains at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show…

In 2014, during a study on the connectivity structures of quantum entanglement, I specifically introduced the notion of ''the connectivity structure of a family of random variables'' -- a structure that expresses the dependency relations…