Related papers: Nonsplit conics in the reduction of an arithmetic …

In algebraic geometry there is a well-known categorical equivalence between the category of normal proper integral curves over a field $k$ and the category of finitely generated field extensions of $k$ of transcendence degree $1$. In this…

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct…

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field…

Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a finite separable extension of $K$ with a complete set…

If K/F is a finite abelian Galois extension of global fields whose Galois group has exponent t, we prove that there exists a short exact sequence that has as a consequence that if t is square free, then Dec(K/F)=Br_{t}(K/F) which we use to…

Given a $2$-adic field $K$, we give formulae for the number of totally ramified quartic field extensions $L/K$ with a given discriminant valuation and Galois closure group. We use these formulae to prove a refinement of Serre's mass…

For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any…

Let $k$ be a field. Let $X/k$ be a stable curve whose geometric irreducible components are smooth rational curves. Taking Stein factorization of its normalization, we get a conic. We show the conic is non-split in certain cases. As an…

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

We study arithmetic progressions of squares over quadratic extensions of number fields. Using a method inspired by an approach of Mordell, we characterize such progressions as quadratic points on a genus $5$ curve. Specifically, we…

Let $G$ be an algebraic group, $X$ a generically free $G$-variety, and $K=k(X)^G$. A field extension $L$ of $K$ is called a splitting field of $X$ if the image of the class of $X$ under the natural map $H^1(K, G) \mapsto H^1(L, G)$ is…

Suppose that $(K,v_0)$ is a valued field, $f(x)\in K[x]$ is a monic and irreducible polynomial and $(L,v)$ is an extension of valued fields, where $L=K[x]/(f(x))$. Let $A$ be a local domain with quotient field $K$ dominated by the valuation…

If $K$ is a field with enough roots of unity and $V$ an abelian group, the $K$-algebra $K[V]$ of the group $V$ is split semisimple, so that the canonical morphism $K[V]\to K^{V^\sharp}$, where $V^\sharp$ denotes the dual group of $V$ (which…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

Let $X$ be a smooth projective curve over a finite field $\mathbb{F}_q$, $k$ be its function field, and $G$ be a simply connected almost simple split group over $\mathbb{F}_q$. We also write $G$ for its structure over $k$. We calculate the…

Let G be an algebraic group defined over an algebraically closed field k of characteristic zero. We give a simple proof of the following result: if H^1(L, G) = {1} for some finitely generated field extension L/k of transcendence degree \ge…

Given a totally real number field $F$, we show that there are only finitely many totally real extensions of $K$ of a fixed degree that admit a universal quadratic form defined over $F$. We further obtain several explicit classification…

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…