Related papers: $\Cal M_{15}$ is rationally connected

Relational properties arise in many settings: relating two versions of a program that use different data representations, noninterference properties for security, etc. The main ingredient of relational verification, relating aligned pairs…

Let U be an open subset of a unirational variety. We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U. As a consequence we obtain new proofs of the theorems of Harbater…

Let $M(2,\textbf{\underline{w}},\chi)$ be the moduli space of rank $2$ torsion-free sheaves over a reducible nodal curve with each component having utmost two nodal singularities. We show that in each component of…

We extend the notions of higher Du Bois and higher rational singularities to pairs in the sense of the minimal model program. We extend numerous results to these higher pairs, including Bertini type theorems, stability under finite maps and…

The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the…

This is the second of two papers on the birational geometry of $\bar{M}_{g,1}$. We construct rational maps from $\bar{M}_{5,1}$ and $\bar{M}_{6,1}$ to lower-dimensional moduli spaces. As a consequence, we identify geometric divisors that…

Let $(M,h)$ be a compact K\"ahler manifold. Under a rather weak spectral positivity assumption we prove that $M$ is rationally connected and thus simply connected, projective with $h^{p,0}(M)=\{0\}$ for each $p>0$. Then, in the second part…

This short, expository note proves the existence of the maximal quotient of a variety by free rational curves.

Let k be a p-adic field. Some time ago, D. Harbater [9] proved that any finite group G may be realized as a regular Galois group over the rational function field in one variable k(t), namely there exists a finite field extension $F/k(t)$,…

We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of…

Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H)…

In this short note we give an elementary combinatorial argument, showing that the Conjecture of J. Fern\'andez de Bobadilla, I. Luengo, A. Melle-Hern\'andez, A. N\'emethi follows from the results of M. Borodzik and C. Livingston in the case…

It is known that any rational abstract numeration system is faithfully, and effectively, represented by an N-rational series. A simple proof of this result is given which yields a representation of this series which in turn allows a simple…

Given a rational number $x$ and a bound $\varepsilon$, we exhibit $m,n$ such that $|x-12 s(m,n)|<\varepsilon$. Here $s(m,n)$ is the classical Dedekind sum and the parameters $m$ and $n$ are completely explicit in terms of $x$ and…

We consider the problem of approaching real numbers with rational numbers with prime denominator and with a single numerator allowed for each denominator. We obtain basic results, both probabilistic and deterministic, draw connections to…

We pose some questions about spaces parametrizing rational curves on rationally connected varieties. We give a partial answer for cubic threefolds. Many of our results were previously proved by Iliev, Markushevich and Tikhimirov by…

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…

Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it…

This paper shows that the basic logic induced by the parallel recurrence of Computability Logic is a proper superset of the basic logic induced by the branching recurrence. The latter is known to be precisely captured by the cirquent…

Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that…