Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
382 questions
5
votes
1
answer
898
views
p-adic expansion for elements in algebraic closure of p-adic numbers
In the following I will describe a proposal for the p-adic expansion of the elements of the algebraic closure $\overline{\mathbb{Q}_p}$ of $\mathbb{Q}_p$. My question is if this "conjecture" has been ...
- 596
5
votes
1
answer
905
views
Abelianized fundamental group of a curve over a finite field
Let $X$ be a smooth, projective, and geometrically connected curve over a finite field $\mathbb{F}_q$ and fix a geometric point $\overline{x} : \text{Spec } \overline{\mathbb{F}_q} \to X$. Then there ...
- 3,605
5
votes
1
answer
1k
views
Verlagerung made "explicit"
Suppose given a finite extension $L/K$ of number fields. I would like to develop a better intuition for the Verlagerung giving an embedding $Ver : Gal(K^{ab}/K) \to Gal(L^{ab}/L)$.
For example, let $...
- 2,029
5
votes
1
answer
173
views
Is there a field with finitely many abelian extensions, that is neither separably closed nor real closed?
If $K$ has only finitely many Galois extensions, then $K$ must be either separably closed or real closed. Are there any other fields whose abelianizations are finite extensions (i.e. whose absolute ...
- 2,130
5
votes
1
answer
362
views
Ray class groups through binary quadratic forms
(Cross-posted from https://math.stackexchange.com/questions/2029407/ray-class-groups-through-binary-quadratic-forms)
If $d$ is the discriminant of a quadratic number field, then the primitive classes ...
- 1,521
5
votes
1
answer
516
views
Reference for Local class field theory via witt vectors
I would like to find some books or lecture notes on geometric local class field theory via Witt vectors. I can't find any good paper on this subject.All approaches in the books to local class field ...
- 71
5
votes
1
answer
478
views
Artin map restricted to base field
Let $M/L/K$ be a tower of local fields such that $M/L$ is abelian with Galois group $G$. The Artin map $\psi_{M/L}$ restricted to $K^\times$ is a continuous map to $G$ and thus corresponds to some ...
- 980
5
votes
1
answer
260
views
Positive Primes represented by an indefinite binary form, reducing poly degree from 8 to 4
In his lovely answer at Positive primes represented by indefinite binary quadratic form Noam found that a (positive) odd prime $p$ is represented by the indefinite form $x^2 + 13 x y - 9 y^2$ if and ...
- 25.7k
5
votes
1
answer
485
views
Class numbers of cyclotomic fields and their maximal totally real subfields
Let $\zeta_p$ be a $p$-th root of unity for a prime $p$, let $L:=\mathbb{Q}(\zeta_p)$ and $K$ the maximal totally real subfield of $L$, i.e. $K:=\mathbb{Q}(\zeta_p+\zeta_p^{-1})$. I am trying to prove ...
- 637
5
votes
1
answer
812
views
Density of primes of degree one in Bauer's Theorem (Application of Chebotarev Density)
Let $L$ be a Galois extension of $\mathbb{Q}$ and $M$ a finite extension of $\mathbb{Q}$, both of degrees $> 1$. A Theorem of Bauer tells that $Spl_1(M)\subset Spl(L)$ up to a finite number of ...
- 51
5
votes
0
answers
176
views
Epstein zeta function for non-fundamental discriminant to L-series
Let $Q(x,y) = ax^2+b xy + cy^2$ be a primitive integral positive-definite quadratic form, with associated number field $K$. If $D=b^2-4ac$ is a fundamental discriminant, then it's well-known that $$\...
- 528
5
votes
0
answers
213
views
Essence of relations between central simple algebras and Galois cohomology in canonical morphism of class field theory
I was somewhat puzzled after I finished learning class field theory for several times. My question is about the relations between "classical simple algebras, Brauer groups" and "modern ...
- 709
5
votes
0
answers
127
views
non $p$ part of the class group and analogous results
Washington had proven in 1978 that for $q$ a prime ($q \neq p$), if $q^{e_n}$ exactly divides the class number of $\mathbb{Q}_n$, ie the $n$-th layer in the cyclotomic $\mathbb{Z}_p$ extension, then $...
- 1,283
5
votes
0
answers
206
views
Real field of definition of an abelian variety of CM-type?
Question 0. Can a field of definitions (without automorphisms) of an (almost arbitrary) abelian variety of CM-type, originally defined over ${\mathbb{C}}$,
be chosen to be a totally real number ...
- 14.2k
5
votes
0
answers
121
views
Explicit extensions for Heisenberg groups
Let $G$ be the $p$-adic Heisenberg group $\begin{pmatrix} 1&\mathbb Z_p&\mathbb Z_p\\&1&\mathbb Z_p\\&&1\end{pmatrix}$. Is it possible to write an explicit extension $K/k$, ...
- 621
5
votes
0
answers
758
views
maximal abelian extension of quadratic extension of $\mathbb Q_p$
I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
- 51
5
votes
0
answers
196
views
Analogue of a ring extension splitting in the Kummer case
Background (the Kummer extension case)
Let $R$ be a complete regular local ring (it follws that it's a UFD) with a prime integer $p$ contained in the maximal ideal of $R$ (I'm mostly interested in $R=...
4
votes
2
answers
600
views
How do Brauer groups relate to zeta functions?
There are two approaches to class field theory that I was taught. The first, is the theory of $L$-functions, Dirichlet characters and so forth (which I described succintly in the question What are the ...
- 5,929
4
votes
1
answer
990
views
Non-cyclotomic abelian extensions
Suppose $L|\mathbb{Q}$ is an abelian extension of number fields. Then, all the roots of unity are certainly contained in the maximal abelian extension $L^{ab}$ of $L$. Why is it obvious that if $L \ne ...
- 3,555
4
votes
2
answers
658
views
Intersection of Hilbert class fields of imaginary quadratic fields
In this question Hilbert class field of Quadratic fields it is mentioned that if $d\equiv 1 \mod 4$ then the Hilbert class field of $\mathbb{Q}(\sqrt{-d})$ contains $\mathbb{Q}(i,\sqrt{d})$.
Could ...
- 1,905
4
votes
1
answer
329
views
Fields in which $ -1 $ can't be written as sum of two square elements
We say a field $F$ has the property $*$ if the equation $x^2 + y^2=-1$ has no solution in $F$. For an example if $F$ is a subfield of real numbers then $F$ satisfies $*$. On the other hand if $ F $ is ...
- 923
4
votes
1
answer
1k
views
Cyclotomic character in class field theory
Let $K$ be an extension of $\mathbb{Q}_p$.
By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times \...
- 527
4
votes
1
answer
593
views
Hilbert Symbols, Norms, and p-adic roots of unity
Let $p$ be an odd prime number,
let $\mathbb{Q}_p$ be the field of $p$-adic numbers,
and let $\overline{\mathbb{Q}_p}$ be an algebraic closure of it.
For a primitive $p$-th root of unity $\zeta_p \in ...
- 11.3k
4
votes
1
answer
491
views
group theoretical transfer map and its consequences
I'm trying to understand whether there is a sophisticated reason that forces the transfer map to play its role in class field theory or not. Because, at least in Neukirch's proof (at his book ANT) on ...
- 295
4
votes
1
answer
224
views
Generators of the ideal class group
Theorem 4 of Eric Bach's "Explicit bounds for primality testing and related problems" states the following:
Let $K$ be a number field of degree greater than 1. Let $d$ be the absolute value ...
- 43
4
votes
1
answer
246
views
How do "Kummer closures" of fields look?
Let $F$ be a field and $A$ a finite abelian group. You can ask: does the regular representation $F[A]$ of $A$ split as a direct sum of 1-dimensional representations? This is equivalent to the ...
- 54.6k
4
votes
1
answer
167
views
Existence of lift of (local) Artin map
In a comment to this question, David Loeffler asked if one can show that the (local) Artin map
$$K^\times \to G_K^{ab}$$
does not have a lift to $G_K$. Probably this wouldn't be canonical, but I can't ...
- 4,418
4
votes
1
answer
304
views
Topological structure on higher dimensional local fields
Let $F$ be a $n$-dimensional local field. If $n=0$ or $1$, the topological structure on $F$ was well-known, however if $n>1$ i.e, $F$ is a higher dimensional local field, I don't know something ...
- 479
4
votes
1
answer
190
views
Class numbers in the unramified biquadratic extensions of number fields
Let $K/k$ be an unramified biquadratic extension of number fields (i.e., $\operatorname{Gal}(K/k)\simeq V_4$), and $k_1$, $k_2$ and $k_3$ its three intermediate fields. I know, in general, we can ...
- 65
4
votes
1
answer
418
views
Henselian valued fields for characteristic $0$: a characterization
Let $K=K(v)$ be a valued field of characteritic $0$ with non trivial valuation $v:K\rightarrow\mathbb{R}\cup\{\infty\}$. I'm looking for a proof of following characterization of Henselian property:
$...
- 5,976
4
votes
2
answers
476
views
On class numbers $h(-d)$ and the diophantine equation $x^2+dy^2 = 2^{2+h(-d)}$
Given fundamental discriminant $d \equiv -1 \bmod 8$ such that the quadratic imaginary number field $\mathbb{Q}(\sqrt{-d})$ has odd class number $h(-d)$. Is it true that one can always solve the ...
- 12.6k
4
votes
1
answer
2k
views
Fields whose embeddings into the complex numbers are invariant under complex conjugation
Is there a general notion/description of fields $K$ such that the image of any embedding $K \hookrightarrow \mathbb{C}$ is invariant under complex conjugation, thus inducing an involution on $K$ which ...
- 41
4
votes
1
answer
367
views
Conductor and local Kronecker–Weber theorem
Given an abelian extension $K$ of $\mathbb{Q}$, the global Kronecker–Weber theorem tells us that there exist a positive integer $N$ and a primitive $N$-th root of unity $\zeta_N$ such that $K\subseteq ...
- 549
4
votes
1
answer
267
views
Norm groups of number fields
I came across this proposition in an article about genus class fields.
I have a few questions about the parts that I have underlined in red. I don't understand why the norm map $N_{H/K}: I_H \to P_K$ ...
- 577
4
votes
1
answer
400
views
Dihedral extension of $\mathbb Q$ with small discriminant
Let $K$ be a fixed quadratic number field, say $K=\mathbb Q(\sqrt 5)$. For any integer $n \geq 3,$ I would like to build a number field $D_n$ such that $D_n/\mathbb Q$ is Galois, with Galois group ...
- 1,322
4
votes
1
answer
474
views
Is the localization of the maximal abelian extension still a maximal abelian extension?
Let $K$ be a number field and consider the maximal abelian extension $K^{ab}$ of $K.$ For a finite prime $p,$ letting $K_p$ be the completion of $K$ at $p,$ we have an extension $K_p \subset K_p K^{...
user44591
4
votes
1
answer
702
views
About principal ideal theorem in number fields
I usually consider a cyclic extension $K$ of degree an odd prime $p$ over the rational field $\mathbf{Q}$.
In this case, there is a well-known result that "every ambiguous class in the class group $\...
- 43
4
votes
1
answer
516
views
class groups of unramified cyclic p-extensions of imaginary quadratic fields
Let $K$ be an imaginary quadratic number field with $p$-Sylow-class group $A(K)$ and $L/K$ be an unramified cyclic extension of $K$ of degree $p$ ($p$ prime). Then I am looking for heuristics on
$...
4
votes
1
answer
1k
views
What are the roots of unity in abelian extensions of imaginary quadratic fields?
What roots of unity can be contained in the abelian extensions of an imaginary quadratic number field $K = \mathbb{Q}(\sqrt{-d})$? In particular, I would like to know:
Is $K(\zeta_n)/K$ an abelian ...
- 1,951
4
votes
1
answer
322
views
How to calculate genus number of number field using sage?
I am looking to find real quadratic fields whose Hilbert class field is abelian over $\Bbb Q$. Then I learned about genus numbers and genus field of the number field. It is enough to find a number ...
- 753
4
votes
1
answer
334
views
A Kummer exact sequence involving $\mu_\infty$
Let $k$ be a number field. We have the well-known Kummer exact sequence of etale sheaves on $\mathrm{Spec}\, k$: $$1 \rightarrow \mu_n \rightarrow \mathbb{G}_m \rightarrow \mathbb{G}_m \rightarrow 1.$$...
- 895
4
votes
1
answer
273
views
Kummer congruences for totally real number fields
There is a generalization of the Kummer congruences to totally real number fields with characters due to Deligne-Ribet. For example, see the exposition here, more precisely see Theorem 2.1.
What is ...
- 7,746
4
votes
1
answer
403
views
Examples of norm forms where the numbers represented can be readily described
In case of impatience: the question here is a request for examples, especially degree six or seven where the norm form might represent some prime$p,$ then some $q^2$ but not $q,$ then some $r^3$ but ...
- 25.7k
4
votes
0
answers
166
views
Problem understanding the cup-products for the modified cohomology in David Harari's book "Galois Cohomology and Class Field Theory"
I'm recently reading the very beginning of David Harari's book Galois Cohomology and Class Field Theory, and I met a problem with the definition of cup-products for the modified cohomology.
Before ...
- 525
4
votes
0
answers
66
views
Computing preimage of element under norm map of quadratic extension of $2$-adic fields
Let $F$ be a $2$-adic field, i.e. a finite extension of the $2$-adic numbers $\mathbb{Q}_2$. Suppose that I have a quadratic extension $E = F(\sqrt{d})$ of $F$. Given a unit $\alpha \in \mathcal{O}_F^\...
- 411
4
votes
0
answers
160
views
Reference request: Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields
Disclaimer - cross-posting: I already posted this question on MSE, here. In line with the accepted answer of this meta question, I am also asking it here, since it is a research-level question and it ...
- 411
4
votes
0
answers
147
views
A normal extension of a number field of given degree that does not split over a given set of finite places
Let $K$ be a number field and $S$ be a finite set of non-archimedean places of $K$. Let $n>1$ be a natural number.
Question. Does there exist a normal extension $L/K$ of degree $n$ such that $L\...
- 14.2k
4
votes
0
answers
181
views
The order of the global Galois group
For any profinite group $G$, we can define the order of $G$ using the notion of supernatural number. Now let $K$ be a number field, $S$ a finite set of primes of $K$ and $ G_{K,S} $ the Galois group ...
- 863
4
votes
0
answers
170
views
Does $p$-adic Baker theorem holds in the given case?
Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, and $\mathbb{C}_p$ the completion of the algebraic closure of $\mathbb{Q}_p$. Let $U_p$ be the units $(1+\mathfrak{m})$ of $\...
- 930
4
votes
0
answers
164
views
What are the applications of $\lambda$-rings to class field theory?
In the book Lambda Rings by Yau, he mentions several areas where $\lambda$-rings can be applied, but he doesn't go into much details. He even includes class field theory in the list, mentioning "...
- 804