Related papers: A remark on Chevalley's ambiguous class number for…

In this article we give an adelic proof of the Chevalley-Gras formula for global fields, which itself is a generalization of the ambiguous class number formula. The idea is to reduce the formula to the Hasse norm theorem, the local and…

This version is a significant improvement of the original paper. It includes a new section where we discuss norm tori in some detail. The new abstract is the following: In this paper we obtain Chevalley's ambiguous class number formula for…

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…

We will give a simple proof of the ambiguous class number formula.

We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.

This paper establishes a relationship between finite extensions and norm groups of formally real quasilocal fields, which yields a generally nonabelian local class field theory, including analogues to the fundamental correspondence, the…

We prove a Chevalley restriction theorem and its double analogue for the cyclic quiver.

This is a survey focusing on the Hasse principle for divisibility of points in commutative algebraic groups and its relation with the Hasse principle for divisibility of elements of the Tate-Shavarevich group in the Weil-Ch\^{a}telet group.…

We give an algebraic proof of a class number formula for dihedral extensions of number fields of degree $2q$, where $q$ is any odd integer. Our formula expresses the ratio of class numbers as a ratio of orders of cohomology groups of units…

In this note a proof of a differential analog of Chevalley's theorem \cite{C} on homomorphism extensions is given. An immediate corollary is a condition of finitenes of extensions of differential algebras and several equivalent definitions…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

A finite extension of global fields $L/K$ satisfies the Hasse norm principle if any nonzero element of $K$ has the property that it is a norm locally if and only if it is a norm globally. In 1931, Hasse proved that any cyclic extension…

Using a bivariant version of cohomological correspondences, we establish a categorical trace-like formula for the non-acyclicity classes introduced by Yang and Zhao (arXiv:2209.11086). As an application, we prove the additivity for the…

We formulate and prove Chevalley's theorem in the setting of affine Nash groups. As a consequence, we show that the semi-direct product of two almost linear Nash groups is still an almost linear Nash group.

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove…

We give an asymptotic formula for the number of biquadratic extensions of the rationals of bounded discriminant that fail the Hasse norm principle.

The proofs of Theorem 1.1 and Theorem 1.5(2) in the authors' paper 'The Hasse norm principle for abelian extensions' are incorrect. We point out the mistakes and provide correct proofs, using techniques of the original paper.

We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded.

Remarks on the Hodge-Grothendieck class of the nearby cycles functor and a generalized local invariant cycles result.