Related papers: La connexit\'e rationnelle en arithm\'etique
It is well known that a smooth projective Fano variety is rationally connected. Recently Zhang (and later Hacon and McKernan as a special case of their work on the Shokurov RC-conjecture) proved that the same conclusion holds for a klt pair…
In this paper, we study $\mathbb{A}^1$-connected varieties from log geometry point of view, and prove a criterion for $\mathbb{A}^1$-connectedness. As applications, we provide many interesting examples of $\mathbb{A}^1$-connected varieties…
We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…
One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear…
Corvaja and Zannier conjectured that an abelian variety over a number field satisfies a modified version of the Hilbert property. We investigate their conjecture for products of elliptic curves using Kawamata's structure result for ramified…
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in the presence of greatest fixpoints. One such example is the…
Criteria are given for determining whether an irreducible sextic equation with rational coefficients is algebraically solvable over the complex numbers.
In this paper, combining the works of Miyanishi-Tsunoda and Keel-McKernan, we prove the log Castelnuovo's rationality criterion for smooth quasiprojective surfaces over complex numbers.
The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.
In this short note, we will gives several remarks on rational points of varieties whose cotangent bundles are generated by global sections. For example, we will show that if the sheaf of differentials of a projective variety X over a number…
We investigate to what extent renormalization can be understood as an algebraic manipulation on concatenated one-loop integrals. We find that the resulting algebra indicates a useful connection to knot theory as well as number theory and…
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)$,…
Enriched motivic $\mathcal A$-spaces are introduced and studied in this paper, where $\mathcal A$ is an additive category of correspondences. They are linear counterparts of motivic $\Gamma$-spaces. It is shown that rational special…
In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the…
We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.
This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of…
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 study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other…
We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…
This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…