Timeline for "Inverse problem" for Brauer groups
Current License: CC BY-SA 3.0
15 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
Mar 2, 2014 at 12:20 | answer | added | Idanps | timeline score: 6 | |
May 20, 2013 at 20:51 | vote | accept | Noah Schweber | ||
May 17, 2013 at 17:25 | answer | added | Name | timeline score: 8 | |
May 16, 2013 at 5:55 | comment | added | Noah Schweber | Ah, I see. Within this question, I'm just interested in the isomorphism types of Brauer groups, not how they interact with each other (although the latter is definitely the "right" way of looking at things in general); I just want to know what groups are Brauer groups of some field. | |
May 16, 2013 at 4:13 | comment | added | Chandan Singh Dalawat | When I say direct sum, I mean the direct sum of B(R) and B(Q_p) for all primes p. The sum is indexed by the places of Q, not by the natural numbers. | |
May 16, 2013 at 4:09 | comment | added | Chandan Singh Dalawat | B(Q) might be abstractly isomorphic to this direct sum (and that might suffice for an algebraist), but the point is that B(Q_p) is naturally isomorphic to Q/Z and B(R) to Z/2Z, and that there are natural maps from B(Q) to B(Q_p) and to B(R) which embed B(Q) into the direct sum; this natural embedding is not an isomorphism. | |
May 16, 2013 at 3:23 | comment | added | Noah Schweber | Hm, I got that value for the Brauer group from pg. 20 of "Lectures on division algebras" by Saltman (books.google.com/…). What is $Br(\mathbb{Q})$? | |
May 16, 2013 at 3:05 | comment | added | Chandan Singh Dalawat | only those which are coherent in the sense that their invariants add up to 0. This is a manifestation of reciprocity laws in arithmetic. | |
May 16, 2013 at 3:05 | comment | added | Chandan Singh Dalawat | B(Q) is not quite equal to the direct sum you write in the edit in response to Emerton's comment. It injects into the direct sum, and the image is equal to the kernel of the "sum of the components" from this direct sum onto Q/Z. This is a way of expressing the fact that a central simple algebra over Q gives rise to a family of central simple algebras over Q_p (for every prime p, including p=\infty), but you don't get all such local families from a global object, | |
May 16, 2013 at 2:09 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 207 characters in body
|
May 16, 2013 at 2:06 | comment | added | Noah Schweber | Thanks! I didn't know that. I've edited appropriately. | |
May 16, 2013 at 2:04 | comment | added | Emerton | Dear Noah, The Brauer groups of all local and global fields (e.g. all number fields, including $\mathbb Q$) are known, by local/global class field theory. Regards, | |
May 16, 2013 at 1:32 | history | edited | Noah Schweber |
edited tags
|
|
May 16, 2013 at 0:18 | history | asked | Noah Schweber | CC BY-SA 3.0 |