arXiv subjects
Publications and source records attributed to Laurent Moret-Bailly.
We prove, with no claim to originality, a relative version of the Fujita-Zariski theorem. When the base is a field, this result is due to Fujita (1983) and states that if an invertible sheaf on a proper variety is ample on its base locus, its sufficiently high powers are globally generated. The special case where the base locus is finite was proved by Zariski (1962), whence the name.
We prove an analogue of the Weierstrass preparation theorem for henselian pairs, generalizing the local case recently proved by Bouthier and {\v C}esnavi{\v c}ius. As an application, we construct a henselian analogue of the resultant of p-adic series defined by Berger.
We investigate topological properties of torsors in algebraic geometry over adelic rings.
Étant donné un anneau de valuation $V$, de corps résiduel $F$ et de groupe des valeurs $Γ$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $Γ$. Lorsque $V$ contient un corps $k$, ce résultat est appliqué à la construction d'un anneau de valuation contenant $V$ et une extension donnée $k'$ de $k$, de groupe $Γ$ et de corps résiduel engendré par $k'$ et $F$. Cela s'avère possible, notamment, lorsque $k'$ ou $F$ est séparable sur $k$. Given a valuation ring $V$, with residue field $F$ and value group $Γ$, we give a sufficient condition for a local ring dominating $V$ to be a valuation ring with the same value group. When $V$ contains a field $k$, we apply this result to the problem of constructing a valuation ring $W$ containing $V$ and a prescribed extension $k'$ of $k$, with value group $Γ$ and residue field generated by $k'$ and $F$; this is possible in particular when either $k'$ or $F$ is separable over $k$.
Soit $f:X\to S$ un morphisme surjectif et de présentation finie de schémas intègres. Lorsque $S$ est de type fini sur un corps ou sur $\mathbb{Z}$, et de dimension $>0$, Poonen a montré qu'il existe un point $x\in X$ dont le corps résiduel $κ(x)$ est une extension radicielle de $κ(f(x))$. Dans ce travail, on prolonge ce résultat de plusieurs façons. D'abord, on peut choisir $x$ tel que $f(x)$ soit un point de codimension $1$ de $S$; si $S$ est lisse sur un corps $k$, on peut exiger que $κ(f(x))$ soit séparable sur $k$. Dans une autre direction, on montre des résultats analogues pour d'autres classes de schémas $S$, par exemple les schémas noethériens intègres de dimension $\geq2$. Let $f:X\to S$ be a morphism of integral schemes, which is surjective and of finite presentation. When $S$ is of finite type over a field or over $\mathbb{Z}$, of positive dimension, Poonen has shown that there is a point $x\in X$ whose residue field $κ(x)$ is purely inseparable over $κ(f(x))$. In this paper, we extend this result in several ways. First we prove that we can take $x$ such that $f(x)$ is a codimension $1$ point of $S$; if $S$ is smooth over a fiel $k$, we can require $κ(f(x))$ to be separable over $k$. In another direction, we prove that similar results hold for other schemes $S$, such as noetherian integral schemes of dimension $\geq2$.
Let (K,v) be a valued field, Y a K-variety, G an algebraic group over K (not necessarily smooth), and f: X->Y a G-torsor over Y. We consider the induced map X(K)-->Y(K), which is continuous for the topologies deduced from the valuation. Let I denote the image of this map. We prove that if (K,v) is henselian and its completion is a separable extension, then: - I is locally closed in Y(K); - the induced surjection X(K)-->I is a principal bundle with group G(K) (also topologized by the valuation).
We study conditions on a commutative ring R which are equivalent to the following requirement; whenever X is a projective scheme over S = Spec(R) of fiber dimension \leq d for some integer d \geq 0, there is a finite morphism from X to P^d_S over S such that the pullbacks of coordinate hyperplanes give prescribed subschemes of X provided these subschemes satisfy certain natural conditions. We use our results to define a new kind of capacity for adelic subsets of projective schemes X over global fields. This capacity can be used to generalize the converse part of the Fekete-Szegő Theorem.
We extend Greenberg's strong approximation theorem to schemes of finite presentation over valuation rings with arbitrary value group, using the ultraproduct method of Becker, Denef, Lipshitz and van den Dries. As an application, we prove a closed image theorem (in the strong topology on rational points) for proper morphisms of varieties over valued fields.
Let K be an algebraically closed valued field, and let f:X--->Y be a universally open morphism of K-schemes of finite type. We show that the induced map on K-rational points is open for the topologies deduced from the absolute value of K. ------ Soit K un corps valué algébriquement clos, et soit f:X--->Y un morphisme universellement ouvert de K-schémas de type fini. On montre que l'application de X(K) dans Y(K) induite par f est ouverte pour les topologies déduites de la valeur absolue sur K.
Let $K$ be a one-variable function field over a field of constants of characteristic 0. Let $R$ be a holomorphy subring of $K$, not equal to $K$. We prove the following undecidability results for $R$: If $K$ is recursive, then Hilbert's Tenth Problem is undecidable in $R$. In general, there exist $x_1,...,x_n \in R$ such that there is no algorithm to tell whether a polynomial equation with coefficients in $\Q(x_1,...,x_n)$ has solutions in $R$.
We investigate the rings in which the set of nonzero elements is positive-existential (i.e. a finite union of projections of "algebraic" sets). In the case of Noetherian domains, we prove in particular that this condition is satisfied whenever the ring in question is not local Henselian, while it is not satisfied for any excellent local Henselian domain which is not a field. As a byproduct, we obtain an answer to a question of Popescu on strong approximation for Henselian pairs.
Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we prove the Diophantine undecidability of: (1) A, in all cases; (2) K, when k is (formally) real and V has a real point; (3) K, when k is a subfield of a p-adic field, for some odd prime p. To achieve this, we use Denef's method: from an elliptic curve E over Q, without complex multiplication, one constructs a quadratic twist E' of E over Q(t), which has Mordell-Weil rank one. Most of the paper is devoted to proving (using a theorem of R. Noot) that one can choose f in K, vanishing at D, such that the group E'(K) deduced from the field extension K/Q(f)=Q(t) is equal to E'(Q(t)). Then we mimic the arguments of Denef (for the real case) and of Kim and Roush (for the p-adic case).
We give criteria for R-equivalence of torsors under finite constant group schemes over a field. In paticular, using bitorsors, we obtain a Galois devissage result which formalises and generalises a theorem of Philippe Gille in the case of local fields; for instance, Gille's theorem is shown to extend to higher local fields.