Difference between revisions of "Brauer group"
m (moved subhead above MSC) |
m (link to Hasse invariant) |
||
Line 17: | Line 17: | ||
$$ 0 \to \Br(k) \to \sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z} \to 0,$$ | $$ 0 \to \Br(k) \to \sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z} \to 0,$$ | ||
− | where $v$ runs through all possible norms of the field $k$, $k_v$ are the respective completions of $k$, and the homomorphism $\Br(k) \to \sum_v \Br(k_v)$ is induced by the natural embeddings $k \to k_v$. The image of an element from $\Br(k)$ in $\Br(k_v)$ is called a local invariant, the homomorphism $\sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z}$ is the summation of local invariants. This fact is established in global class-field theory. | + | where $v$ runs through all possible norms of the field $k$, $k_v$ are the respective completions of $k$, and the homomorphism $\Br(k) \to \sum_v \Br(k_v)$ is induced by the natural embeddings $k \to k_v$. The image of an element from $\Br(k)$ in $\Br(k_v)$ is called a local [[Hasse invariant]], the homomorphism $\sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z}$ is the summation of local invariants. This fact is established in global class-field theory. |
If $k$ is a field of algebraic functions in one variable over an algebraically closed field of constants, then its Brauer group is zero (Tsen's theorem). The case of an arbitrary field of constants is treated in {{Cite|Fa}} and in {{Cite|Gr}}. | If $k$ is a field of algebraic functions in one variable over an algebraically closed field of constants, then its Brauer group is zero (Tsen's theorem). The case of an arbitrary field of constants is treated in {{Cite|Fa}} and in {{Cite|Gr}}. |
Revision as of 22:02, 16 August 2013
of a field $k$ $ \newcommand{\Br}{\mathrm{Br}} $
The group of classes of finite-dimensional central simple algebras (cf. Central simple algebra) over $k$ with respect to the equivalence defined as follows. Two central simple $k$-algebras $A$ and $B$ of finite $k$-dimension are equivalent if there exist positive integers $m$ and $n$ such that the tensor products $A \otimes_k M_m(k)$ and $B \otimes_k M_n(k)$ are isomorphic $k$-algebras (here $M_r(k)$ is the algebra of square matrices of size $r$ over $k$). The tensor multiplication of algebras induces an Abelian group structure on the set of equivalence classes of finite-dimensional central simple algebras. This group is also known as the Brauer group of $k$ and is denoted by $\Br(k)$. The zero element of this group is the class of full matrix algebras, while the element inverse to the class of an algebra $A$ is the class of its opposite algebra. Each non-zero class contains, up to isomorphism, exactly one division algebra over $k$ (i.e. a skew-field over $k$).
Brauer groups were defined and studied in several publications by R. Brauer, E. Noether, A. Albert, H. Hasse and others, starting in the 1920s (see, for example, [De]). The most complete results, including the computation of the Brauer group, were obtained for number fields in connection with the development of class field theory. The general form of the reciprocity law is formulated in terms of Brauer groups.
The Brauer group is zero for any separably-closed field and any finite field. For the field of real numbers the Brauer group is a cyclic group of order two and its non-zero element is the class of the quaternion algebra. If $k$ is the field of $p$-adic numbers or any locally compact field that is complete with respect to a discrete valuation, then its Brauer group is isomorphic to $\mathbb{Q}/\mathbb{Z}$, where $\mathbb{Q}$ is the additive group of rational numbers and $\mathbb{Z}$ is the additive group of integers. This fact is of importance in local class-field theory.
Let $k$ be an algebraic number field of finite degree or a field of algebraic functions in one variable with a finite field of constants. Then there exists an exact sequence of groups
$$ 0 \to \Br(k) \to \sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z} \to 0,$$
where $v$ runs through all possible norms of the field $k$, $k_v$ are the respective completions of $k$, and the homomorphism $\Br(k) \to \sum_v \Br(k_v)$ is induced by the natural embeddings $k \to k_v$. The image of an element from $\Br(k)$ in $\Br(k_v)$ is called a local Hasse invariant, the homomorphism $\sum_v \Br(k_v) \to \mathbb{Q}/\mathbb{Z}$ is the summation of local invariants. This fact is established in global class-field theory.
If $k$ is a field of algebraic functions in one variable over an algebraically closed field of constants, then its Brauer group is zero (Tsen's theorem). The case of an arbitrary field of constants is treated in [Fa] and in [Gr].
The Brauer group depends functorially on $k$, i.e. if $K$ is an extension of the field $k$, a homomorphism $\Br(k)\to \Br(K)$ is defined. Its kernel, denoted by $\Br(K/k)$, consists of classes of algebras splitting over $K$.
The construction of cross products with the aid of factor systems [Ch] results in a cohomological interpretation of Brauer groups. For any normal extension $K/k$ there exists an isomorphism
$$\Br(K/k) \simeq H^2(K, K^*)$$
where $H^2(K, K^*)$ is the second Galois cohomology group with coefficients in the multiplicative group $K^*$ of $K$. Moreover, the group $\Br(k)$ is isomorphic to $H^2(\bar{k},\bar{k}^*)$, where $\bar{k}$ is the separable closure of $k$. A central simple algebra is assigned its class in the Brauer group by the coboundary operator
$$\delta: H^1(K,\mathrm{PGL}(n,K)) \to H^2(K,K^*)$$
in the cohomology sequence corresponding to the exact group sequence
$$1 \to K^* \to \mathrm{GL}_n(K) \to \mathrm{PGL}_n(K) \to 1$$
where $\mathrm{GL}_n(K)$ and $\mathrm{PGL}_n(K)$ are the linear and the projective matrix groups of size $n$. Here the set $H^1(K,\mathrm{PGL}_n(K))$ is interpreted as the set of $k$-isomorphism classes of central simple algebras of dimension $n^2$ over the field $k$ which split over $K$, or as the set of classes of $k$-isomorphic Brauer–Severi varieties of dimension $n-1$, possessing a point that is rational over $K$ (cf. Brauer–Severi variety).
All Brauer groups are torsion groups. The order of any of its elements is a divisor of the number $n$, where $n$ is the rank of the skew-field representing this element.
The cohomological interpretation of the Brauer group makes it possible to consider it as the group of classes of extensions of the Galois group of the separable closure $\bar{k}/k$ by the group $\bar{k}^*$.
A generalization of the concept of a Brauer group is the Brauer–Grothendieck group, whose definition is analogous to that of the Brauer group, except that the central simple algebras are replaced by Azumaya algebras [Gr]. An algebra $A$ over a commutative ring $R$ is an Azumaya algebra if it is finitely generated and central over $R$ and separable.
References
[Bo] | N. Bourbaki, "Elements of mathematics. Algebra: Algebraic structures. Linear algebra", 1, Addison-Wesley (1974) pp. Chapt.1;2 (Translated from French) MR0354207 |
[CaFr] | J.W.S. Cassels (ed.) A. Fröhlich (ed.), Algebraic number theory, Acad. Press (1967) MR0215665 Zbl 0153.07403 |
[Ch] | N.G. Chebotarev, "Introduction to the theory of algebra...", Moscow-Leningrad (1949) (In Russian) |
[De] | M. Deuring, "Algebren", Springer (1935) MR0228526 Zbl 0011.19801 Zbl 61.0118.01 |
[Fa] | D.K. Faddeev, "On the theory of algebras over fields of algebraic functions in one variable" Vestnik Leningrad. Univ. : 7 (1957) pp. 45–51 (In Russian) (English summary) MR89191 |
[Gr] | A. Grothendieck, "Le groupe de Brauer I, II, III" A. Grothendieck (ed.) J. Giraud (ed.) et al. (ed.), Dix exposés sur la cohomologie des schémas, North-Holland & Masson (1968) pp. 46–188 |
[Mi] | J.S. Milne, "Etale cohomology", Princeton Univ. Press (1980) MR0559531 Zbl 0433.14012 |
[Se] | J.-P. Serre, "Cohomologie Galoisienne", Springer (1964) MR0180551 Zbl 0128.26303 |
Comments
For the construction of cross products with the aid of factor systems see also Cross product; Extension of a group. The latter article contains the notion of a system of factors.
A recent result in the theory of Brauer groups is a theorem of Merkuryev and Suslin [Su], which in its simplest form asserts that $\Br(k)$ is generated by the classes of algebras that split over a cyclic extension of $k$, provided that $k$ is a field of characteristic zero containing all roots of unity. The proof is based on the close relationship between the theory of Brauer groups and algebraic K-theory.
References
[Su] | A. Suslin, "Plenary adress" A.M. Gleason (ed.), Proc. Internat. Congress Mathematicians (Berkeley, 1986), Amer. Math. Soc. (1987) pp. 1195–1209 |
Brauer group. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Brauer_group&oldid=25498