Related papers: Arithmetic of Chatelet surfaces under extensions o…
We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…
Among other things, it is shown that there exist Banach spaces $Z$ and $W$ such that $Z^{**}$ and $W$ have bases, and for every $p\in[1,2)$ there is an operator $T:W\to Z$ that is not $p$-nuclear but $T^{**}$ is $p$-nuclear.
We construct an Enriques surface X over Q with empty \'etale-Brauer set (and hence no rational points) for which there is no algebraic Brauer-Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on…
Projecting fields between different meshes commonly arises in computational physics. This operation requires a supermesh construction and its computational cost is proportional to the number of cells of the supermesh $n$. Given any two…
We construct new examples of cubic surfaces, for which the Hasse principle fails. Thereby, we show that, over every number field, the counterexamples to the Hasse principle are Zariski dense in the moduli scheme of non-singular cubic…
We show that if over some number field there exists a certain diagonal plane cubic curve that is locally solvable everywhere, but that does not have points over any cubic galois extension of the number field, then the algebraic part of the…
We prove that skew systems with a sufficiently expanding base have approximate exponential decay of correlations, meaning that the exponential rate is observed modulo an error. The fiber maps are only assumed to be Lipschitz regular and to…
Wirsing's theorem on approximating algebraic numbers by algebraic numbers of bounded degree is a generalization of Roth's theorem in Diophantine approximation. We study variations of Wirsing's theorem where the inequality in the theorem is…
The strong maximum principle is proved to hold for weak (in the sense of support functions) sub- and super-solutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for $C^0$ spacelike hypersurfaces…
We give a reformuation of the Tate conjecture for a surface over a finite field in terms of suitable affine open subsets. We then present three attempts to prove this reformulation, each of them falling short. Interestingly, the last two…
Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…
For $\theta$ a non-algebraic point on a quasi projective variety over a number field, I prove that $\theta$ has an approximation by a series of algebraic points of bounded height and degree which is essentially best possible. Applications…
We study the notion of strongly badly approximable matrices in the field of power series over a field $K$. We prove a transference principle in this setting, and show that such matrices exist when $K$ is infinite.
There exists a function f: N -> N such that for every positive integer d, every quasi-finite field K and every projective hypersurface X of degree d and dimension at least f(d), the set X(K) is non-empty. This is a special case of a more…
We consider surface area approximations by Lagrange and Crouzeix--Raviart interpolations on triangulations. For Lagrange interpolation, we give an alternative proof for Young's classical result that claims the areas of inscribed polygonal…
In response to a question of B. Poonen, we exhibit for each global field k an algebraic curve over k which violates the Hasse Principle. In fact we can find such examples among Atkin-Lehner twists of certain elliptic modular curves and --…
The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…
Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…
We are interested in extending normal bases of $\mathbf{F}_{\!2^n}/\mathbf{F}_{\!2}$ to bases of $\mathbf{F}_{\!2^{nd}}/\mathbf{F}_{\!2}$ which allow fast arithmetic in $\mathbf{F}_{\!2^{nd}}$. This question has been recently studied by…