Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
365
questions
73
votes
10
answers
17k
views
Intuition for Group Cohomology
I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence ...
- 15.1k
73
votes
2
answers
10k
views
Please check my 6-line proof of Fermat's Last Theorem.
Kidding, kidding. But I do have a question about an $n$-line outline of a proof of the first case of FLT, with $n$ relatively small.
Here's a result of Eichler (remark after Theorem 6.23 in ...
- 8,417
66
votes
17
answers
12k
views
Shortest/Most elegant proof for $L(1,\chi)\neq 0$
Let $\chi$ be a Dirichlet character and $L(1,\chi)$ the associated L-function evaluated at $s=1$. What would be the 'shortest' proof of the non-vanishing of $L(1,\chi)$?
Background: The non-vanishing ...
- 6,693
66
votes
8
answers
12k
views
Why are powers of $\exp(\pi\sqrt{163})$ almost integers?
I've been prodded to ask a question expanding this one on Ramanujan's constant $R=\exp(\pi\sqrt{163})$.
Recall that $R$ is very close to an integer; specifically $R=262537412640768744 - \epsilon$ ...
- 13.9k
63
votes
3
answers
4k
views
Class field theory - a "dead end"?
I found the claim in the title a bit astonishing when I first read it recently in an interview with Michael Rapoport in the German magazine Spiegel (8 February 2019). And I was wondering how he comes ...
- 2,714
58
votes
9
answers
15k
views
Learning Class Field Theory: Local or Global First?
I've noticed that there seem to be two approaches to learning class field theory. The first is to first learn about local fields and local class field theory, and then prove the basic theorems about ...
- 15.1k
50
votes
13
answers
6k
views
Erratum for Cassels-Froehlich
Edit 25 April 2010: I have a physical copy of the new printing of the book. I can only assume the LMS is now selling it (but have no details).
IMPORTANT EDIT: THE RESULTS ARE IN! Ok, the deadline has ...
47
votes
1
answer
3k
views
A three-line proof of global class field theory?
There is an idea (I think originally due to Tate) that class field theory is fundamentally a consequence of Pontrjagin duality and Hilbert Theorem 90. I'm curious whether this can phrased using modern ...
- 7,902
43
votes
2
answers
7k
views
Why is Class Field Theory the same as Langlands for GL_1?
I've heard many people say that class field theory is the same as the Langlands conjectures for GL_1 (and more specifically, that local Langlands for GL_1 is the same as local class field theory). ...
- 15.1k
41
votes
2
answers
5k
views
Motivating Lubin-Tate theory
The Lubin-Tate theory gives an amazingly clean and streamlined way of constructing the subfield (usually denoted) $F_\pi\subset F^\mathrm{ab}$ for a local field $F$ fixed by the Artin map associated ...
- 900
38
votes
1
answer
2k
views
Degree 17 number fields ramified only at 2
The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...
- 20k
37
votes
3
answers
4k
views
Topological Langlands?
In a workshop about the geometry of $\mathbb{F}_1$ I attended recently, it came up a question related to a mysterious but "not-so-secret-anymore" seminar about... an hypothetical Topological Langlands ...
- 2,962
36
votes
5
answers
6k
views
Tips on cohomology for number theory
I am curious about what is a good approach to the machinery of cohomology, especially in number-theoretic settings, but also in algebraic-geometric settings.
Do people just remember all the rules and ...
36
votes
1
answer
3k
views
Artin reciprocity $\implies $ Cubic reciprocity
I asked this on math.SE a few days ago with no reply, so I'm reposting it here. Hope this is not considered too elementary for MO (feel free to close if so).
I'm trying to understand the proof of ...
- 1,167
35
votes
5
answers
8k
views
A reference for geometric class field theory?
The classic reference of this topic is Serre's Algebraic Groups and Class Fields. However, many parts of this book use Weil's language, which I find quite hard to follow. Is there another reference ...
- 805
34
votes
4
answers
3k
views
$A_5$-extension of number fields unramified everywhere
So I was having tea with a colleague immensely more talented than myself and we were discussing his teaching algebraic number theory. He told me that he had given a few examples of abelian and ...
- 10.3k
32
votes
1
answer
4k
views
Integers not represented by $ 2 x^2 + x y + 3 y^2 + z^3 - z $
EDIT, 9 March 2014: when I asked this in 2010, I did not have the courage of my convictions, and so did not ask for an if and only if proof, as Kevin Buzzard quite properly pointed out. Such problems ...
- 25.4k
31
votes
2
answers
3k
views
Elementary Aspects of Galois Deformation
Galois deformations are an important tool in Wiles' arsenal
for proving FLT. Are there any more elementary aspects (I'm
thinking of 1-dimensional Galois representations attached to
number fields) ...
- 32.2k
28
votes
9
answers
15k
views
Suggestions for good books on class field theory
Recently I tried to learn class field theory, but I find it is difficult. I have read the book "Algebraic Number Theory" by J. W. S. Cassels and A. Frohlich. In the book, the approach to class field ...
27
votes
5
answers
3k
views
A problem of Shimura and its relation to class field theory
In Chapter II.10 of The Map of My Life, Goro Shimura mentions a certain problem:
The second topic concerns a polynomial $F(x)$ with integer coefficients. Take
$$
F(x) = x^3 + x^2 - 2x - 1,
$$
...
- 1,764
26
votes
4
answers
3k
views
Why do congruence conditions not suffice to determine which primes split in non-abelian extensions?
How does one prove that the splitting of primes in a non-abelian extension of number fields is not determined by congruence conditions?
user19475
24
votes
2
answers
4k
views
Primes of the form $x^2+ny^2$ and congruences.
The answer of following classical problem is surely known, but I can't find a reference
For which positive integer $n$ is the set $S_n$ of primes of the form $x^2+n y^2$ ($x$, $y$ integers) ...
- 25.7k
24
votes
1
answer
3k
views
On the history of the Artin Reciprocity Law
At the beginning of Milne's notes on class field theory, he has a quote by Emil Artin (as recalled by Mattuck in Recountings: Conversations with MIT mathematicians):
I will tell you a story about ...
- 7,646
23
votes
1
answer
2k
views
Any open Langlands Conjectures for GL_1?
Are there any general conjectures/properties (in the Langlands Program) for automorphic representations of $GL_n$ which are still open for $n=1$?
- 1,579
23
votes
1
answer
4k
views
Chapters 1--4 of the Artin-Tate notes on Class Field Theory
Emil Artin and John Tate held a seminar on class field theory at Princeton University in 1951--1952. Their notes were published in 1967 by Benjamin (New York), but the first four chapters covering (...
- 18.5k
22
votes
1
answer
2k
views
Are class numbers encoded in the absolute Galois group of ${\mathbb Q}$?
The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), ...
- 5,293
22
votes
1
answer
2k
views
Can one prove complex multiplication without assuming CFT?
The Kronecker-Weber Theorem, stating that any abelian extension of $\mathbb Q$ is contained in a cyclotomic extension, is a fairly easy consequence of Artin reciprocity in class field theory (one just ...
- 15.1k
22
votes
0
answers
1k
views
Most "natural" proof of the existence of Hilbert class fields
Assume that you have proved the two inequalities of class field theory, and that you want to show that the Hilbert class field, i.e., the maximal unramified abelian extension, of a number field $K$ ...
- 32.2k
21
votes
0
answers
764
views
Class field theory and the class group
Let $k$ be a finite abelian extension of $\mathbb{Q}$. Class field theory states that $k$ corresponds to some open subgroup of finite index $U_k \subset \mathbb{A}_{\mathbb{Q}}^*/ \mathbb{Q}^*$ where $...
- 20.8k
20
votes
1
answer
1k
views
Class number parity in pure cubic number fields
Consider the family of pure cubic number fields
$K = {\mathbb Q}(\sqrt[3]{m})$ for $m = a^3 \pm 3$.
Proposition. If $4 \mid a$ and $m$ is cubefree, then the
class number of $K$ is even.
Proof. Let $...
- 32.2k
19
votes
3
answers
1k
views
The Teichmüller's algebraic interpretation of $H^3$ in group cohomology
In the book "Cohomology of Groups" of Kenneth S. Brown, it is told in the introduction that Teichmüller arrived to $H^3$ in an algebraic context, i.e. that Teichmüller worked with an ...
19
votes
3
answers
2k
views
Where does the principal ideal theorem (from CFT) go?
My impression is that one of the celebrated results of class field theory the principal ideal theorem namely that given a number field $K$ and its maximum unramified abelian extension L, every ideal ...
- 6,942
18
votes
1
answer
2k
views
What's the Hilbert class field of an elliptic curve?
My question points in a direction similar to Qiaochu's, but it's not the same (or so I think). Let me provide you with a little bit of background first.
Let E be an elliptic curve defined over some ...
- 32.2k
17
votes
5
answers
2k
views
What is the "ray" in ray class group?
I have never seen any algebraic number theory book discuss the origin of the term "ray class group." Does anyone know where the word "ray" comes from in this context? I always thought it might be a ...
- 15.1k
17
votes
3
answers
3k
views
L'un des problèmes fondamentaux de la théorie des nombres
In his 1951 report Sur la théorie du corps de classes, Weil writes that
La recherche d'une interprétation de $C_k$ si $k$ est un corps de
nombres, analogue en quelque manière
à l'interprétation ...
- 18.5k
17
votes
3
answers
1k
views
Kummer generator for the Ribet extension
Let $p$ be an odd prime and let $k\in[2,p-3]$ be an even integer such that $p$ divides (the numerator of) the Bernoulli number $B_k$ (the coefficient of $T^k/k!$ in the $T$-expansion of $T/(e^T-1)$). ...
- 18.5k
17
votes
4
answers
2k
views
What's the use of group cohomology for class field theory?
I'm a graduate student studying now for the first time class field theory.
It seems that how to teach class field theory is a problem over which many have already written on MathOverflow.
For example ...
- 189
17
votes
1
answer
1k
views
Embedding number fields in fields with class number 1
(Apologies if this question isn't quite research-level: a colleague came across it while preparing a non-examinable bonus lecture on class field theory for an undergraduate algebraic number theory ...
- 36.1k
17
votes
0
answers
760
views
Lubin-Tate vs cohomological approach to local CFT
Local class field theory ("local CFT") can be developed in various ways, among them is a cohomological approach and an explicit approach due to Lubin and Tate (both can be found in Milne's CFT notes ...
- 171
16
votes
3
answers
2k
views
An explicit computation in class field theory
Let $K$ be the imaginary quadratic field obtained by joining $\sqrt{-1}$ to the field of rational numbers $Q$. I would like to describe the extension $K^{ab}/Q^{ab}$, where for $F$ a number field, $F^{...
- 163
16
votes
2
answers
1k
views
Central simple algebras approach to class field theory, merits of
As noted earlier, I found reading Weil's book "Basic Number Theory" to be a harrowing experience, and I find his writing to be intrinsically hard to understand, though it is perfectly ...
- 7,272
15
votes
5
answers
4k
views
Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$?
Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$? I am going to be on the road soon, so pleas don't be offended if I don't respond quickly to a comment.
- 203
15
votes
3
answers
2k
views
Ideal classes fixed by the Galois group
Let $K$ be a number field and let $G$ be the group of automorphisms of $K$ over $\mathbf Q$. The group $G$ acts in a natural way on the ideal class group of $K$. I would like to know if there are any ...
- 1,001
15
votes
1
answer
3k
views
Solvable class field theory
Is/should there be a theory of finite solvable extensions over a given base field? Could it be based on/use class field theory? Assume the base field isn't a local field.
- 243
15
votes
1
answer
1k
views
Quickest and/or most elementary proof of "principal iff splits completely"?
Let $L$ be the Hilbert class field of a number field $K$, and let $\mathfrak{p}$ be a prime ideal of $K$. Then $\mathfrak{p}$ splits completely in $L$ if and only if $\mathfrak{p}$ is a principal ...
user74319
15
votes
1
answer
732
views
comparison of completion and Henselization in class field theory
Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...
- 1,338
14
votes
5
answers
3k
views
What is the "reason" for modularity results?
The question is a little wishy-washy, but I take my cues from other popular questions that relate to the philosophy behind the mathematics as Why do Groups and Abelian Groups feel so different? .
I ...
14
votes
6
answers
3k
views
Reference for Learning Global Class Field Theory Using the Original Analytic Proofs?
Hi Everyone!
I'm wondering if anyone knows of a reference for learning global class field theory using the original analytic proofs developed in the 1920s and 1930s. Almost every book I can find ...
- 15.1k
14
votes
5
answers
2k
views
What is the Hilbert class field of a cyclotomic field?
In the answers to Qiaochu's post on defining representations of finite groups over the algebraic integers, it came out that which fields a representation of a finite group is defined over might depend ...
- 43.9k
14
votes
2
answers
2k
views
Elliptic Curves with CM and Class Field Theory
Let $K$ be an imaginary quadratic field with Hilbert class field $H$, and let $E$ be an elliptic curve defined over $H$ with complex multiplication by the ring of integers $O_K$ of $K$. It is known ...
- 235