Related papers: The Chevalley-Gras formula over global fields

We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil…

Given a field with a set of discrete valuations $V$, we show how the genus of a division algebra over the field is related to the genus of the residue algebras at various valuations in $V$ and the ramification data. When the division…

In this paper we generalize and put in a new light part of ``Fouier analysis on Number fields and Hecke's zeta function''[14] by Tate. We express the relative Euler characteristic using purely adelic language. By using certain natural…

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

We compare different local-global principles for torsors under a reductive group G defined over a semiglobal field F. In particular if the F-group G s a retract rational F-variety, we prove that the local global principle holds for the…

Let $L/K$ be a finite Galois extension of local fields. The Hasse-Arf theorem says that if Gal$(L/K)$ is abelian then the upper ramification breaks of $L/K$ must be integers. We prove the following converse to the Hasse-Arf theorem: Let $G$…

We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…

We formulate and prove the extension of the Rogers integral formula to the adeles of number fields. We also prove the second moment formulas for a few important cases, enabling a number of classical and recent applications of the formula to…

We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and…

We obtain a quantitative version of the classical Chevalley-Weil theorem for curves. Let $\phi : \tilde{C} \to C$ be an unramified morphism of non-singular plane projective curves defined over a number field $K$. We calculate an effective…

In this article we show how the Dedekind-Hasse criterion may be applied to prove a simple result about quadratic number fields that usually is derived as a consequence of the theory of ideals and ideal classes.

The classical Chevalley-Weil theorem asserts that for an \'etale covering of projective varieties over a number field K, the discriminant of the field of definition of the fiber over a K-rational point is uniformly bounded. We obtain a…

It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in…

In this paper we extend methods of Rubin to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field k and prime numbers p which divide the number of roots of unity in k.

We generalize the Hasse invariant of local class field theory to the tame Brauer group of a higher dimensional local field, and use it to study the arithmetic of central simple algebras over such fields, which are given {\it a priori} as…

We investigate local-global principles for multinorm equations over a global field. To this extent, we generalize work of Drakokhrust and Platonov to provide explicit and computable formulae for the obstructions to the Hasse principle and…

Let $F$ be a number field and $\mathcal{O}_F$ its ring of integers. We use Chevalley's ambiguous class number formula to give a criterion for the non-existence of solutions to the unit equation $\lambda + \mu = 1$, $\lambda, \mu \in…

Based on results obtained in a companion paper [MSRI preprint 1997-002], we construct groups of special $S$--units for function fields of characteristic $p>0$, and show that they satisfy Gras--type Conjectures. We use these results in order…

In this paper, we use counting theorems from the geometry of numbers to extend the Riemann-Roch theorem and the Riemann-Hurwitz formula to global fields of arbitrary characteristic.

We prove equidistribution of a generic net of small points in a projective variety X over a function field K. For an algebraic dynamical system over K, we generalize this equidistribution theorem to a small generic net of subvarieties. For…