Related papers: On the fibration method for rational points

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of…

We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can…

Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the…

In this paper, we examine how well a rational point P on an algebraic variety X can be approximated by other rational points. We conjecture that if P lies on a rational curve, then the best approximations to P on X can be chosen to lie…

Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the development of the basic theory of latent fibrations and…

We prove some results on the fibers and images of rational maps from a hyper-K\"ahler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the…

We introduce a new extragradient iterative process, motivated and inspired by [S. H. Khan, A Picard-Mann Hybrid Iterative Process, Fixed Point Theory and Applications, doi:10.1186/1687-1812-2013-69], for finding a common element of the set…

Let $X$ be a smooth projective variety over a number field $k$. The Green--Griffiths--Lang conjecture relates the question of finiteness of rational points in $X$ to the triviality of rational maps from abelian varieties to $X$ and to…

Point source localisation is generally modelled as a Lasso-type problem on measures. However, optimisation methods in non-Hilbert spaces, such as the space of Radon measures, are much less developed than in Hilbert spaces. Most numerical…

We study weak approximation and the Hilbert property for Campana points, both of importance in recent work on a Manin-type conjecture by Pieropan, Smeets, Tanimoto and Varilly-Alvarado. We show that weak weak approximation implies the…

We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement…

We consider minimization of functions that are compositions of convex or prox-regular functions (possibly extended-valued) with smooth vector functions. A wide variety of important optimization problems fall into this framework. We describe…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Variational methods are employed in situations where exact Bayesian inference becomes intractable due to the difficulty in performing certain integrals. Typically, variational methods postulate a tractable posterior and formulate a lower…

Employing the ideas of non-linear preconditioning and testing of the classical proximal point method, we formalise common arguments in convergence rate and convergence proofs of optimisation methods to the verification of a simple…

A weak bialgebra is known to be a special case of a bialgebroid. In this paper we study the relationship of this fact with the Tannaka theory of bialgebroids as developed in [4]. We obtain a Tannaka representation theorem with respect to a…

We extend Hacon--M\textsuperscript{c}Kernan's rational chain connectedness theorem to the complex analytic setting. As a consequence, we prove that the fibers of any resolution of singularities of complex analytic kawamata log terminal…

With reference to a baseline parametrization, we explore highly efficient fractional factorial designs for inference on the main effects and, perhaps, some interactions. Our tools include approximate theory together with certain carefully…

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…