相关论文: $\Cal M_{15}$ is rationally connected

We prove that the moduli space of plane curves of degree d is rational for all sufficiently large d.

In this paper, we identify a class of solutions to multidimensional difference equation with rational generating function.

We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov-Witten invariant with two point insertions, then it…

The existence of Hamiltonian cycles in 1-planar graphs with higher connectivity has attracted considerable attention. Recently, the authors and Dong proved that 4-connected 1-planar chordal graphs are Hamiltonian-connected. In this paper,…

The authors review results implicit in their recent paper [2] on the product/quotient representation of rationals by rationals of the type $( an + b )/ ( An+ B )$ and give a detailed account of a particular related non-intuitive…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.

This paper gives new and elementary combinatorial topological proofs of the classification of unoriented and oriented rational knots and links. These proofs are based on the known classification of alternating knots through flyping, and the…

We present a standard calculus for logical grounding based on well-established grounding principles [Schnieder, 2011, Fine, 2012, Correia, 2014, Correia, 2024] and provide a very direct characterisation of the provable grounding claims…

A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when…

In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the…

The present paper constructs three new systems of clarithmetic (arithmetic based on computability logic --- see http://www.cis.upenn.edu/~giorgi/cl.html): CLA8, CLA9 and CLA10. System CLA8 is shown to be sound and extensionally complete…

Let $G$ be a locally compact amenable group. We say that G has property (M) if every closed subgroup of finite covolume in G is cocompact. A classical theorem of Mostow ensures that connected solvable Lie groups have property (M). We prove…

We study metrical properties of various subsequences associated to the sequence of rational approximants coming from the continued fraction of an irrational number. Our methods build upon Bosma, Jager and Wiedijk's proof of the…

In this paper we will give a short and elementary proof that critical relations unfold transversally in the space of rational maps.

We determine all of lines in the moduli space $M$ of stable bundles for arbitrary rank and degree. A further application of minimal rational curves is also given in last section.

We prove that rationally connected varieties over the function field of a complex curve satisfy weak approximation for places of good reduction.

We prove that a closed, simply connected, positively curved, cohomogeneity-three manifold whose quotient space has no boundary is rationally elliptic, thus providing a generalization of similar results regarding rational ellipticity of…

Let X be a smooth, projective variety defined over a local field K. Following Manin, two K-points of X are called R-equivalent if they can be joined by a rational curve defined over K. The main result of this note shows that if there are…

Finite (word) state transducers extend finite state automata by defining a binary relation over finite words, called rational relation. If the rational relation is the graph of a function, this function is said to be rational. The class of…

We introduce a class of rational functions $A:\,\mathbb C\mathbb P^1\rightarrow \mathbb C\mathbb P^1$ which can be considered as a natural extension of the class of Latt\`es maps and establish basic properties of functions from this class.