Related papers: Notes on rational chain connectedness
We study rational curves on algebraic varieties, especially on normal affine varieties endowed with a $\C^*$-action. For varieties with an isolated singularity, we show that the presence of sufficiently many rational curves outside the…
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 determine the relationship between the contact structure induced by a fibered knot, K, in the three-sphere and the contact structures induced by its various cables. Understanding this relationship allows us to classify fibered cable…
We present a study of unification for rational trees in the context of miniKanren. We give the definition of rational trees, specify the unification algorithm and prove some of its properties. We also introduce a number of heuristic…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…
The authors prove that $\Cal M_{15}$ is rationally connected
In this paper we look for necessary and sufficient conditions for a genus one fibration to have rational curves. We show that a projective variety with log terminal singularities that admits a relatively minimal genus one fibration…
In 2009, de Fernex and Hacon proposed a generalization of the notion of the singularities to normal varieties that are not Q-Gorenstein. Based on their work, we generalize Kleiman's transversality theorem to subvarieties with log terminal…
We study the problem of counting the number of varieties in families which have a rational point. We give conditions on the singular fibres that force very few of the varieties in the family to contain a rational point, in a precise…
An abstract linking result for Cerami sequences is proved without the Cerami condition. It is applied directly in order to prove the existence of critical points for a class of indefinite problems in infinite dimensional Hilbert Spaces. The…
We establish a characterization of the Du Bois complex of a reduced pair $(X,Z)$ when $X\smallsetminus Z$ has rational singularities. As an application, when $X$ has normal Du Bois singularities and $Z$ is the locus of non-rational…
This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$.
We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…
A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact…
These expository notes discuss the arithmetic of rationally connected varieties. Detailed proofs of theorems of Koll\'ar, of Koll\'ar and Szab\'o and of Esnault about rationally connected varieties over finite fields and local fields are…
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 introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we…
We extend the notion of F-rationality to other closure operations, inspired by the work of Smith, Epstein and Schwede, and Ma and Schwede, which describe F-rationality in terms of the canonical module and top local cohomology module. We…
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been…