GetWiki
Brauer group
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Brauer group
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
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.The Brauer group arose out of attempts to classify division algebras over a field. It can also be defined in terms of Galois cohomology. More generally, the Brauer group of a scheme is defined in terms of Azumaya algebras, or equivalently using projective bundles.- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Construction
A central simple algebra (CSA) over a field K is a finite-dimensional associative K-algebra A such that A is a simple ring and the center of A is equal to K. Note that CSAs are in general not division algebras, though CSAs can be used to classify division algebras.For example, the complex numbers C form a CSA over themselves, but not over R (the center is C itself, hence too large to be CSA over R). The finite-dimensional division algebras with center R (that means the dimension over R is finite) are the real numbers and the quaternions by a theorem of Frobenius, while any matrix ring over the reals or quaternions â€“ M(n, R) or M(n, H) â€“ is a CSA over the reals, but not a division algebra (if n > 1).We obtain an equivalence relation on CSAs over K by the Artinâ€“Wedderburn theorem (Wedderburn's part, in fact), to express any CSA as a M(n, D) for some division algebra D. If we look just at D, that is, if we impose an equivalence relation identifying M(m, D) with M(n, D) for all positive integers m and n, we get the Brauer equivalence relation on CSAs over K. The elements of the Brauer group are the Brauer equivalence classes of CSAs over K.Given central simple algebras A and B, one can look at their tensor product A âŠ— B as a K-algebra (see tensor product of R-algebras). It turns out that this is always central simple. A slick way to see this is to use a characterization: a central simple algebra A over K is a K-algebra that becomes a matrix ring when we extend the field of scalars to an algebraic closure of K. This result also shows that the dimension of a central simple algebra A as a K-vector space is always a square. The degree of A is defined to be the square root of its dimension.As a result, the isomorphism classes of CSAs over K form a monoid under tensor product, compatible with Brauer equivalence, and the Brauer classes are all invertible: the inverse of an algebra A is given by its opposite algebra Aop (the opposite ring with the same action by K since the image of K â†’ A is in the center of A). Explicitly, for a CSA A we have A âŠ— Aop = M(n2, K), where n is the degree of A over K.The Brauer group of any field is a torsion group. In more detail, define the period of a central simple algebra A over K to be its order as an element of the Brauer group. Define the index of A to be the degree of the division algebra that is Brauer equivalent to A. Then the period of A divides the index of A (and hence is finite).Farb & Dennis (1993), Proposition 4.16.Examples
- In the following cases, every finite-dimensional central division algebra over a field K is K itself, so that the Brauer group Br(K) is trivial:
- K is an algebraically closed field.
- K is a finite field (Wedderburn's theorem).Serre (1979), p. 162. Equivalently, every finite division ring is commutative.
- K is the function field of an algebraic curve over an algebraically closed field (Tsen's theorem).Gille & Szamuely (2006), Theorem 6.2.8. More generally, the Brauer group vanishes for any C1 field.
- K is an algebraic extension of Q containing all roots of unity.
- The Brauer group Br(R) of the field R of real numbers is the cyclic group of order two. There are just two non-isomorphic real division algebras with center R: R itself and the quaternion algebra H.Serre (1979), p. 163. Since H âŠ— H â‰… M(4, R), the class of H has order two in the Brauer group.
- Let K be a non-Archimedean local field, meaning that K is complete under a discrete valuation with finite residue field. Then Br(K) is isomorphic to Q/Z.Serre (1979), p. 193.
Severiâ€“Brauer varieties
Another important interpretation of the Brauer group of a field K is that it classifies the projective varieties over K that become isomorphic to projective space over an algebraic closure of K. Such a variety is called a Severiâ€“Brauer variety, and there is a one-to-one correspondence between the isomorphism classes of Severiâ€“Brauer varieties of dimension nâˆ’1 over K and the central simple algebras of degree n over K.Gille & Szamuely (2006), section 5.2.For example, the Severiâ€“Brauer varieties of dimension 1 are exactly the smooth conics in the projective plane over K. For a field K of characteristic not 2, every conic over K is isomorphic to one of the form ax2 + by2 = z2 for some nonzero elements a and b of K. The corresponding central simple algebra is the quaternion algebraGille & Szamuely (2006), Theorem 1.4.2.
(a,b) = Klangle i,jrangle/(i^2=a, j^2=b, ij=-ji).
The conic is isomorphic to the projective line P1 over K if and only if the corresponding quaternion algebra is isomorphic to the matrix algebra M(2, K).Cyclic algebras
For a positive integer n, let K be a field in which n is invertible such that K contains a primitive nth root of unity Î¶. For nonzero elements a and b of K, the associated cyclic algebra is the central simple algebra of degree n over K defined by
(a,b)_{zeta} = Klangle u,vrangle/(u^n=a, v^n=b, uv=zeta vu).
Cyclic algebras are the best-understood central simple algebras. (When n is not invertible in K or K does not have a primitive nth root of unity, a similar construction gives the cyclic algebra (Ï‡, a) associated to a cyclic Z/n-extension Ï‡ of K and a nonzero element a of K.Gille & Szamuely (2006), Proposition 2.5.2.)The Merkurjevâ€“Suslin theorem in algebraic K-theory has a strong consequence about the Brauer group. Namely, for a positive integer n, let K be a field in which n is invertible such that K contains a primitive nth root of unity. Then the subgroup of the Brauer group of K killed by n is generated by cyclic algebras of degree n.Gille & Szamuely (2006), Theorem 2.5.7. Equivalently, any division algebra of period dividing n is Brauer equivalent to a tensor product of cyclic algebras of degree n. Even for a prime number p, there are examples showing that a division algebra of period p need not be actually isomorphic to a tensor product of cyclic algebras of degree p.Gille & Szamuely (2006), Remark 2.5.8.It is a major open problem (raised by Albert) whether every division algebra of prime degree over a field is cyclic. This is true if the degree is 2 or 3, but the problem is wide open for primes at least 5. The known results are only for special classes of fields. For example, if K is a global field or local field, then a division algebra of any degree over K is cyclic, by Albertâ€“Brauerâ€“Hasseâ€“Noether.Pierce (1982), section 18.6. A "higher-dimensional" result in the same direction was proved by Saltman: if K is a field of transcendence degree 1 over the local field Qp, then every division algebra of prime degree l â‰ p over K is cyclic.Saltman (2007).The period-index problem
For any central simple algebra A over a field K, the period of A divides the index of A, and the two numbers have the same prime factors.Gille & Szamuely (2006), Proposition 4.5.13. The period-index problem is to bound the index in terms of the period, for fields K of interest. For example, if A is a central simple algebra over a local field or global field, then Albertâ€“Brauerâ€“Hasseâ€“Noether showed that the index of A is equal to the period of A.For a central simple algebra A over a field K of transcendence degree n over an algebraically closed field, it is conjectured that ind(A) divides per(A)nâˆ’1. This is true for n â‰¤ 2, the case n = 2 being an important advance by de Jong, sharpened in positive characteristic by de Jongâ€“Starr and Lieblich.de Jong (2004).Class field theory
The Brauer group plays an important role in the modern formulation of class field theory. If K'v is a non-Archimedean local field, local class field theory gives a canonical isomorphism invv: Br(K'v) â†’ Q/Z, the Hasse invariant.The case of a global field K (such as a number field) is addressed by global class field theory. If D is a central simple algebra over K and v is a place of K, then D âŠ— K'v is a central simple algebra over K'v, the completion of K at v. This defines a homomorphism from the Brauer group of K into the Brauer group of Kv. A given central simple algebra D splits for all but finitely many v, so that the image of D under almost all such homomorphisms is 0. The Brauer group Br(K) fits into an exact sequence constructed by Hasse:Gille & Szamuely (2006), p. 159.Pierce (1982), section 18.5.
0rightarrow textrm{Br}(K)rightarrow bigoplus_{vin S} textrm{Br}(K_v)rightarrow mathbf{Q}/mathbf{Z} rightarrow 0,
where S is the set of all places of K and the right arrow is the sum of the local invariants; the Brauer group of the real numbers is identified with (1/2)Z/Z. The injectivity of the left arrow is the content of the Albertâ€“Brauerâ€“Hasseâ€“Noether theorem.The fact that the sum of all local invariants of a central simple algebra over K is zero is a typical reciprocity law. For example, applying this to a quaternion algebra (a, b) over Q gives the quadratic reciprocity law.Galois cohomology
For an arbitrary field K, the Brauer group can be expressed in terms of Galois cohomology as follows:Serre (1979), pp. 157â€“159.
textrm{Br}(K) cong H^2(K, G_m),
where Gm denotes the multiplicative group, viewed as an algebraic group over K. More concretely, the cohomology group indicated means H2(Gal(K's/K), K's*), where Ks denotes a separable closure of K.The isomorphism of the Brauer group with a Galois cohomology group can be described as follows. The automorphism group of the algebra of n Ã— n matrices is the projective linear group PGL(n). Since all central simple algebras over K become isomorphic to the matrix algebra over a separable closure of K, the set of isomorphism classes of central simple algebras of degree n over K can be identified with the Galois cohomology set H1(K, PGL(n)). The class of a central simple algebra in H2(K, Gm) is the image of its class in H1 under the boundary homomorphism
H^1(K, PGL(n)) rightarrow H^2(K, G_m)
associated to the short exact sequence 1 â†’ Gm â†’ GL(n) â†’ PGL(n) â†’ 1.The Brauer group of a scheme
The Brauer group was generalized from fields to commutative rings by Auslander and Goldman. Grothendieck went further by defining the Brauer group of any scheme.There are two ways of defining the Brauer group of a scheme X, using either Azumaya algebras over X or projective bundles over X. The second definition involves projective bundles that are locally trivial in the Ã©tale topology, not necessarily in the Zariski topology. In particular, a projective bundle is defined to be zero in the Brauer group if and only if it is the projectivization of some vector bundle.The cohomological Brauer group of a quasi-compact scheme X is defined to be the torsion subgroup of the Ã©tale cohomology group H2(X, Gm). (The whole group H2(X, Gm) need not be torsion, although it is torsion for regular schemes X.Milne (1980), Corollary IV.2.6.) The Brauer group is always a subgroup of the cohomological Brauer group. Gabber showed that the Brauer group is equal to the cohomological Brauer group for any scheme with an ample line bundle (for example, any quasi-projective scheme over a commutative ring).de Jong, A result of Gabber.The whole group H2(X, Gm) can be viewed as classifying the gerbes over X with structure group Gm.For smooth projective varieties over a field, the Brauer group is a birational invariant. It has been fruitful. For example, when X is also rationally connected over the complex numbers, the Brauer group of X is isomorphic to the torsion subgroup of the singular cohomology group H3(X, Z), which is therefore a birational invariant. Artin and Mumford used this description of the Brauer group to give the first example of a unirational variety X over C that is not stably rational (that is, no product of X with a projective space is rational).Colliot-ThÃ©lÃ¨ne (1995), Proposition 4.2.3 and section 4.2.4.Relation to the Tate conjecture
Artin conjectured that every proper scheme over the integers has finite Brauer group.Milne (1980), Question IV.2.19. This is far from known even in the special case of a smooth projective variety X over a finite field. Indeed, the finiteness of the Brauer group for surfaces in that case is equivalent to the Tate conjecture for divisors on X, one of the main problems in the theory of algebraic cycles.Tate (1994), Proposition 4.3.For a regular integral scheme of dimension 2 which is flat and proper over the ring of integers of a number field, and which has a section, the finiteness of the Brauer group is equivalent to the finiteness of the Tateâ€“Shafarevich group Ð¨ for the Jacobian variety of the general fiber (a curve over a number field).Grothendieck (1968), Le groupe de Brauer III, Proposition 4.5. The finiteness of Ð¨ is a central problem in the arithmetic of elliptic curves and more generally abelian varieties.The Brauerâ€“Manin obstruction
Let X be a smooth projective variety over a number field K. The Hasse principle would predict that if X has a rational point over all completions Kv of K, then X has a K-rational point. The Hasse principle holds for some special classes of varieties, but not in general. Manin used the Brauer group of X to define the Brauerâ€“Manin obstruction, which can be applied in many cases to show that X has no K-points even when X has points over all completions of K.Notes
{{reflist|2}}References
- {{Citation | last1=Colliot-ThÃ©lÃ¨ne | first1=Jean-Louis | author1-link=Jean-Louis Colliot-ThÃ©lÃ¨ne | chapter=Birational invariants, purity and the Gersten conjecture | mr=1327280 | year=1995 | title=K-Theory and Algebraic Geometry: Connections with Quadratic Forms and Division Algebras (Santa Barbara, 1992) | pages=1â€“64 | publisher=American Mathematical Society | series=Proceedings of Symposia in Pure Mathematics | volume=58, Part 1 | isbn=978-0821803394 | url=http://www.math.u-psud.fr/~colliot/SantaBarbara1992_95.pdf }}
- {{Citation | last1=de Jong | first1=Aise Johan | author1-link=Aise Johan de Jong | title=The period-index problem for the Brauer group of an algebraic surface | journal=Duke Mathematical Journal | volume=123 | year=2004 | pages=71â€“94 | doi=10.1215/S0012-7094-04-12313-9 | mr=2060023 }}
- BOOK, Farb, Benson, Benson Farb, Dennis, R. Keith, Noncommutative Algebra, Graduate Texts in Mathematics, 144, Springer-Verlag, 1993, 978-0387940571, 1233388,
- BOOK, Gille, Philippe, Szamuely, TamÃ¡s, Central Simple Algebras and Galois Cohomology, Cambridge Studies in Advanced Mathematics, 101, Cambridge, Cambridge University Press, 2006, 0-521-86103-9, 2266528,
- {{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | editor1-last=Giraud | editor1-first=Jean | editor1-link=Jean Giraud (mathematician) | editor2-last=Grothendieck | editor2-first=Alexander | editor2-link=Alexander Grothendieck | editor3-last=Kleiman | editor3-first=Steven L. | editor3-link=Steven Kleiman | editor4-last=Raynaud | editor4-first=MichÃ¨le | display-editors = 3| title=Dix ExposÃ©s sur la Cohomologie des SchÃ©mas | url=http://www.math.jussieu.fr/~leila/grothendieckcircle/DixExp.pdf | publisher=North-Holland | location=Amsterdam | series=Advanced Studies in Pure Mathematics | mr=0244271 | year=1968 | volume=3 | chapter=Le groupe de Brauer, Iâ€“III | pages=46â€“66, 67â€“87, 88â€“188}}
- {{eom|id=B/b017610|author=V.A. Iskovskikh|title=Brauer group of a field k}}
- {{Citation | author1-last=Milne | author1-first=James S. | author1-link=James Milne (mathematician) | title=Ã‰tale Cohomology | publisher=Princeton University Press | series=Princeton Mathematical Series | isbn=978-0-691-08238-7 | mr=0559531 | year=1980 | volume=33}}
- BOOK, Richard, Pierce, Associative Algebras, Graduate Texts in Mathematics, 88, Springer-Verlag, New Yorkâ€“Berlin, 1982, 0-387-90693-2, 0674652,
- BOOK, Saltman, David J., Lectures on Division Algebras, Regional Conference Series in Mathematics, 94, Providence, RI, American Mathematical Society, 1999, 0-8218-0979-2, 1692654,
- {{Citation | last1=Saltman | first1=David J. | title=Cyclic algebras over p-adic curves | journal=Journal of Algebra | volume=314 | year=2007 | pages=817â€“843 | doi=10.1016/j.jalgebra.2007.03.003 | mr=2344586| arxiv=math/0604409 }}
- BOOK, Serre, Jean-Pierre, Jean-Pierre Serre, Local Fields, Marvin Jay, Greenberg, Marvin Greenberg, Graduate Texts in Mathematics, 67, Springer-Verlag, 1979, 0-387-90424-7, 0554237,
- {{Citation | authorlink=John Tate | last1=Tate | first1=John | chapter=Conjectures on algebraic cycles in l-adic cohomology | title=Motives | series=Proceedings of Symposia in Pure Mathematics | volume=55, Part 1 | pages=71â€“83 | year=1994 | publisher=American Mathematical Society | isbn=0-8218-1636-5 | mr=1265523}}
External links
- content above as imported from Wikipedia
- "Brauer group" does not exist on GetWiki (yet)
- time: 4:20pm EDT - Wed, Apr 24 2019
- "Brauer group" does not exist on GetWiki (yet)
- time: 4:20pm EDT - Wed, Apr 24 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
Culture
© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED