Hasse invariant of an algebra

Last updated

In mathematics, the Hasse invariant of an algebra is an invariant attached to a Brauer class of algebras over a field. The concept is named after Helmut Hasse. The invariant plays a role in local class field theory.

Mathematics Field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure, space, and change.

In mathematics, an algebra over a field is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure, which consists of a set, together with operations of multiplication, addition, and scalar multiplication by elements of the underlying field, and satisfies the axioms implied by "vector space" and "bilinear".

Helmut Hasse German mathematician

Helmut Hasse was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of p-adic numbers to local class field theory and diophantine geometry, and to local zeta functions.

Contents

Local fields

Let K be a local field with valuation v and D a K-algebra. We may assume D is a division algebra with centre K of degree n. The valuation v can be extended to D, for example by extending it compatibly to each commutative subfield of D: the value group of this valuation is (1/n)Z. [1]

In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non-discrete topology. Given such a field, an absolute value can be defined on it. There are two basic types of local fields: those in which the absolute value is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields.

In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible.

There is a commutative subfield L of D which is unramified over K, and D splits over L. [2] The field L is not unique but all such extensions are conjugate by the Skolem–Noether theorem, which further shows that any automorphism of L is induced by a conjugation in D. Take γ in D such that conjugation by γ induces the Frobenius automorphism of L/K and let v(γ) = k/n. Then k/n modulo 1 is the Hasse invariant of D. It depends only on the Brauer class of D. [3]

In ring theory, a branch of mathematics, the Skolem–Noether theorem characterizes the automorphisms of simple rings. It is a fundamental result in the theory of central simple algebras.

The Hasse invariant is thus a map defined on the Brauer group of a local field K to the divisible group Q/Z. [3] [4] Every class in the Brauer group is represented by a class in the Brauer group of an unramified extension of L/K of degree n, [5] which by the Grunwald–Wang theorem and the Albert–Brauer–Hasse–Noether theorem we may take to be a cyclic algebra (L,φ,πk) for some k mod n, where φ is the Frobenius map and π is a uniformiser. [6] The invariant map attaches the element k/n mod 1 to the class. This exhibits the invariant map as a homomorphism

In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.

In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an nth multiple for each positive integer n. Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups.

In algebraic number theory, the Grunwald–Wang theorem is a local-global principle stating that—except in some precisely defined cases—an element x in a number field K is an nth power in K if it is an nth power in the completion for all but finitely many primes of K. For example, a rational number is a square of a rational number if it is a square of a p-adic number for almost all primes p. The Grunwald–Wang theorem is an example of a local-global principle.

The invariant map extends to Br(K) by representing each class by some element of Br(L/K) as above. [3] [4]

For a non-Archimedean local field, the invariant map is a group isomorphism. [3] [7]

In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.

In the case of the field R of real numbers, there are two Brauer classes, represented by the algebra R itself and the quaternion algebra H. [8] It is convenient to assign invariant zero to the class of R and invariant 1/2 modulo 1 to the quaternion class.

In the case of the field C of complex numbers, the only Brauer class is the trivial one, with invariant zero. [9]

Global fields

For a global field K, given a central simple algebra D over K then for each valuation v of K we can consider the extension of scalars Dv = D ⊗ Kv The extension Dv splits for all but finitely many v, so that the local invariant of Dv is almost always zero. The Brauer group Br(K) fits into an exact sequence [8] [9]

where S is the set of all valuations of K and the right arrow is the sum of the local invariants. The injectivity of the left arrow is the content of the Albert–Brauer–Hasse–Noether theorem. Exactness in the middle term is a deep fact from global class field theory.

Related Research Articles

In ring theory and related areas of mathematics a central simple algebra (CSA) over a field K is a finite-dimensional associative algebra A, which is simple, and for which the center is exactly K. As an example, note that any simple algebra is a central simple algebra over its center.

In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.

In mathematics, Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the Chinese remainder theorem to piece together solutions modulo powers of each different prime number. This is handled by examining the equation in the completions of the rational numbers: the real numbers and the p-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution if and only if they have a solution in the real numbers and in the p-adic numbers for each prime p.

Hasse–Minkowski theorem

The Hasse–Minkowski theorem is a fundamental result in number theory which states that two quadratic forms over a number field are equivalent if and only if they are equivalent locally at all places, i.e. equivalent over every completion of the field. A related result is that a quadratic space over a number field is isotropic if and only if it is isotropic locally everywhere, or equivalently, that a quadratic form over a number field nontrivially represents zero if and only if this holds for all completions of the field. The theorem was proved in the case of the field of rational numbers by Hermann Minkowski and generalized to number fields by Helmut Hasse. The same statement holds even more generally for all global fields.

In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L/K acts in a natural way on some abelian groups, for example those constructed directly from L, but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor.

In mathematics, a Severi–Brauer variety over a field K is an algebraic variety V which becomes isomorphic to a projective space over an algebraic closure of K. The varieties are associated to central simple algebras in such a way that the algebra splits over K if and only if the variety has a point rational over K. Francesco Severi (1932) studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group.

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

In mathematics, a field F is called quasi-algebraically closed (or C1) if every non-constant homogeneous polynomial P over F has a non-trivial zero provided the number of its variables is more than its degree. The idea of quasi-algebraically closed fields was investigated by C. C. Tsen, a student of Emmy Noether, in a 1936 paper (Tsen 1936); and later by Serge Lang in his 1951 Princeton University dissertation and in his 1952 paper (Lang 1952). The idea itself is attributed to Lang's advisor Emil Artin.

In mathematics, the Hasse–Witt matrixH of a non-singular algebraic curve C over a finite field F is the matrix of the Frobenius mapping with respect to a basis for the differentials of the first kind. It is a g × g matrix where C has genus g. The rank of the Hasse–Witt matrix is the Hasse or Hasse–Witt invariant.

In mathematics, the Hasse invariant of a quadratic form Q over a field K takes values in the Brauer group Br(K). The name "Hasse–Witt" comes from Helmut Hasse and Ernst Witt.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In mathematics, a Witt group of a field, named after Ernst Witt, is an abelian group whose elements are represented by symmetric bilinear forms over the field.

In mathematics, specifically in local class field theory, the Hasse–Arf theorem is a result concerning jumps of the upper numbering filtration of the Galois group of a finite Galois extension. A special case of it when the residue fields are finite was originally proved by Helmut Hasse, and the general result was proved by Cahit Arf.

In algebraic number theory, the Albert–Brauer–Hasse–Noether theorem states that a central simple algebra over an algebraic number field K which splits over every completion Kv is a matrix algebra over K. The theorem is an example of a local-global principle in algebraic number theory and leads to a complete description of finite-dimensional division algebras over algebraic number fields in terms of their local invariants. It was proved independently by Richard Brauer, Helmut Hasse, and Emmy Noether and by Abraham Adrian Albert.

In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor K-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime and any natural number . John Milnor speculated that this theorem might be true for and all , and this question became known as Milnor's conjecture. The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of L-functions. The norm residue isomorphism theorem was proved by Vladimir Voevodsky using a number of highly innovative results of Markus Rost.

In mathematics, an algebraic number fieldF is a finite degree field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector space over Q.

In mathematics, the Rost invariant is a cohomological invariant of an absolutely simple simply connected algebraic group G over a field k, which associates an element of the Galois cohomology group H3(k, Q/Z(2)) to a principal homogeneous space for G. Here the coefficient group Q/Z(2) is the tensor product of the group of roots of unity of an algebraic closure of k with itself. Markus Rost (1991) first introduced the invariant for groups of type F4 and later extended it to more general groups in unpublished work that was summarized by Serre (1995).

References

  1. ↑ Serre (1967) p.137
  2. ↑ Serre (1967) pp.130,138
  3. 1 2 3 4 Serre (1967) p.138
  4. 1 2 Lorenz (2008) p.232
  5. ↑ Lorenz (2008) pp.225–226
  6. ↑ Lorenz (2008) p.226
  7. ↑ Lorenz (2008) p.233
  8. 1 2 Serre (1979) p.163
  9. 1 2 Gille & Szamuely (2006) p.159

Further reading

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.