Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
299
questions
0
votes
1answer
197 views
Coboundary operators, 1-cocycles and computing cohomology
My question is about the compatibility and consistency between two definitions of cohomology in two books.
I asked this question about 10 days ago on MathSE
and I set a bounty on it, but I didn't ...
3
votes
3answers
371 views
Is $(\mathbb{Z}_p\times \mathbb{R})/\mathbb{Z}$ connected?
I was reading this question The connected component of the idele class group but I am very confused about the structure of the solenoids $(\widehat{\mathbb{Z}}\times\mathbb{R})/\mathbb{Z}$, (where $\...
5
votes
0answers
210 views
The Tate-Nakayama theorem and inflation
Let $K$ be a nonarchimedean local field,
and $L/K$ be a finite Galois extension with Galois group $G={\rm Gal}(L/K)$ of order $n=[L:K]$.
By local class field theory, there is a canonical isomorphism
$$...
6
votes
1answer
186 views
Explicit cocycles for the first Galois cohomology of a $p$-adic torus
Let $K$ be a $p$-adic field (a finite extension of the field of $p$-adic numbers ${\mathbb Q}_p$).
Let $T$ be a $K$-torus with character group $X={\sf X}^*(T)$ and cocharacter group $Y={\sf X}_*(T)=X^\...
2
votes
0answers
117 views
Conditions for being an entry in a trace compatible sequence
$\DeclareMathOperator\Tr{Tr}$Let $K$ be a local field and let $q$ be the size of the residue field of $K$. $\pi$ will be a uniformizer of $K$. Let $f(X) = \pi X + X^q$. Then there is a unique formal ...
8
votes
1answer
189 views
A question about mod $p$ local Langlands for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$
In the mod $p$ local Langlands correspondence for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$, the irreducible supercuspidal representation $\left(\mathrm{ind}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}_{\mathrm{GL}_{2}(...
12
votes
1answer
386 views
Finite Galois module whose Ш¹ is nonzero?
In algebraic number theory, we constantly make use of the nine-term Poitou-Tate sequence: Let $K$ be a number field and $M$ a finite $K$-Galois module. Then we have the nine-term exact sequence
$$
H^0(...
4
votes
1answer
185 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 ...
2
votes
0answers
80 views
Is there data base of quadratic fields which have abelian Hilbert class field?
I did not find it in LMFDB. However, I am looking for a Database; please feel free to navigate me to any paper, which might be helpful.
I really appreciate any help you can provide.
3
votes
0answers
155 views
Explicit invariant map in local class field theory
Let $K$ be a $p$-adic field with algebraic closure $\overline{K}$. Then if $K^\text{nr}$ is the maximal unramified extension of $K$ in $\overline{K}$, there is an explicit invariant map:
$$
H^2(\...
4
votes
1answer
175 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.$$...
2
votes
0answers
68 views
Field extension corresponding to a quotient of units of local fields
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $\mathcal{O}$ be its ring of integers and $\mathfrak{m}$ the maximal ideal. Pick a uniformiser $\pi$. The construction using theory of Lubin--Tate ...
3
votes
0answers
152 views
Reference request for Kummer-Artin-Schreier-Witt theory
I cannot find the following 4 papers by Sekiguchi–Suwa in their works on Kummer–Artin–Schreier–Witt theory:
On the unified Kummer–Artin–Schreier–Witt theory, Prépublications du laboratoire de ...
3
votes
0answers
156 views
Simplification of links between idele class group and étale cohomology
I posted this question over on stack exchange and was told it would work better here.
For interest I have been looking at links between class field theory and étale cohomology. Let $k$ be a global ...
3
votes
0answers
137 views
Central division algebras over $ \mathbb{Q} $
Quaternions over $ \mathbb{Q} $ are an example of a Central Division algebra over $\mathbb{Q} $ for which the basis elements $\{ i,j,ij \} $ other than $1$ are represented by skew-symmetric matrices ...
2
votes
0answers
135 views
Construction of genus class fields
Given a finite extension $K/\mathbb{Q}$, the genus class field $L$ is defined to be the maximal abelian extension of $\mathbb{Q}$ that is a subfield of the Hilbert class field $H$ of $K$. I am trying ...
4
votes
1answer
114 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$ ...
3
votes
1answer
137 views
Centralizer of the absolute Galois group of a number field
By this answer, we know that if $K/\mathbb{Q}_p$ is a finite extension, the centralizer of $G_K$ in $G_{\mathbb{Q}_p}$ is trivial. The argument there uses that the abelinization of $G_K$ is the pro-...
3
votes
0answers
147 views
Are class numbers of number fields with prime degree often $1$?
I have taken a look at the class number statistics of the L-functions and Modular Forms Database:
https://www.lmfdb.org/NumberField/stats, table "Distribution by class number".
It appears ...
3
votes
2answers
311 views
Dedekind Zeta functions of Biquadratic fields
Let $F/ \mathbb{Q}$ be a biquadratic field of Galois group $C_2 \times C_2$. Then I know that the Dedekind Zeta function of $F$ can be factored into $L$-functions as; $$\zeta_F(s) = \zeta(s) L(s, \...
2
votes
0answers
95 views
How do elliptic units generate the module of Euler systems over abelian extensions of imaginary quadratic fields?
I am trying to undesrtand the analogy between the Euler systems over abelian extensions of the rationals and the Euler systems over abelian extensions of imaginary quadratic fields.
As Soogil Seo ...
2
votes
1answer
115 views
Are the maximal cyclotomic field contained in a number field and its Hilbert class group the same?
Let $K$ be a number field. If $d$ be the smallest even integer such that $\Bbb Q (\zeta_d) \subset K,$ then I wanted to prove that if $d'>d$ then $\Bbb Q (\zeta_{d'}) \not\subset H(K),$ where $H(...
8
votes
1answer
509 views
how to compute Hilbert class field of $\Bbb Q(\zeta_{23})$?
I want to construct the Hilbert class field of $K=\Bbb Q(\zeta_{23}).$ I have no clue how to construct it except that I know that $[H(K):K]=3$ from Sage. Any references or comments are appreciated.
2
votes
1answer
144 views
Relation between the Selmer group and the ideal class group
Let $E/K$ be an elliptic curve defined over the number field $K$. Does exist any relation between the $p$-Selmer groups of $E/K$ and the ideal class group $Cl(K)$ of $K$?
0
votes
1answer
152 views
English translation of Hasse's "Arithmetische Theorie der kubischen Zahlkorper auf klassenkorpertheoretischer Grundlage"
I want to read through Hasse's paper about cubic number fields: Arithmetische Theorie der kubischen Zahlkorper auf klassenkorpertheoretischer Grundlage, Mathematische Zeitschrift 31 (1930) pages 565-...
1
vote
1answer
102 views
$0$-th Galois cohomology with topological Milnor K-groups coefficients
In local class field theory, the reciprocity map is constructed by using the isomorphism ${\rm Br}(F)\simeq \mathbb{Q/Z}$, where $F$ is a local field and ${\rm Br}(F)$ is its Brauer group. The ...
2
votes
0answers
118 views
Totally ramified extensions of p-adic fields
Let $\mathbb{Q}_p$ denote the field of p-adic numbers. For a prime number $q$ ($\neq p$), does exist a totally ramified extension $K/\mathbb{Q}_p$ with Galois group isomorphis to $\mathbb{Z}_q \times \...
6
votes
1answer
946 views
Set of quadratic forms that represents all primes
A SPECIFIC CASE:
Any prime number can be classified as either $p \equiv 1 \pmod 3$ or $p \equiv 2 \pmod 3$.
If $p = 3$ or $p = 1 \pmod 3$, then the prime $p$ can be represented by the quadratic form $ ...
2
votes
1answer
143 views
Does K and its Hilbert class field have same conductor?
Let $K$ be an abelian number field and $H(K)$ be the Hilbert class field of $K.$
Definition: (conductor of a abelian number field) Let $K$ be a number field with the abelian Galois group over $\Bbb{Q}....
3
votes
0answers
249 views
Etale cohomology and Kummer theory
If $K$ is a field and $n \geq 1$ is such that $n \in K^{\times}$, then $H^1_{et}(\mathrm{Spec}(K),\mu_n)=K^{\times} / (K^{\times})^n$. This is easy to prove, see for instance Tamme, Etale Cohomology, ...
0
votes
0answers
122 views
Field of algebraic functions
We assume $K$ as a field of characteristic zero. By a field of algebraic functions of one variable over $K$ we mean a field $R$ satisfying $R=K(x,y)$ with $x$ being transcendental over $K$, and $R$ is ...
1
vote
0answers
143 views
Definition of Euler system of cyclotomic units
I am not sure about my understanding of Euler system of cyclotomic unit. This is what I have learnt:
Let $F=\mathbb{Q}(\mu_m)$.
Let $\mathcal{I}(m)$ = {positive square free integers divisible only by ...
2
votes
1answer
145 views
What are conditions to satisfied by rational prime p so that every prime lying above p is a prime of order 1 and generates class group?
I was reading a paper on Euclidean ideals by H Graves and M. Ram Murthy. I have a problem in understanding one of the claims.
setup
Let $K$ be a number field and $H(K)$ is its Hilbert class field. ...
8
votes
1answer
328 views
Artin reciprocity via Shimura varieties
The point of Shimura varieties, as far as I've understood it, is that for a given Shimura datum $(G,D)$, there exist models, by which I mean that for congruence subgroups $\Gamma$ there exists a ...
4
votes
0answers
322 views
Euler Systems and Coleman’s Conjecture
I’m trying to work on Coleman’s conjecture for abelian extensions of imaginary quadratic fields. I’ve read most papers by Seo regarding circular distributions. However, I’m a still confused about what ...
0
votes
0answers
90 views
When is the natural map of Tate cohomology an isomorphism?
First of all I want to say that I am not at all an expert in Group cohomology . Recently I attended a seminar where the speaker mentioned about something called Tate cohomology groups which in ...
2
votes
0answers
73 views
Maximal order of $x^n-d$ and its dependence on $d$
It's well known that the structure of the maximal order of $\mathbb{Q}[\sqrt{d}]$ depends on $d$ modulo $4$: (assuming $d$ is squarefree), the maximal order is $\mathbb{Z}\left[\frac{1+\sqrt{d}}{2}\...
4
votes
1answer
214 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 ...
0
votes
0answers
61 views
Image of extension ideal classes homomorphism in ideal class group under Artin map in class field theory
Let $K/P$ be a finite extension of number fields and $\epsilon_{K/P}:[\mathfrak{a}] \in Cl(P) \rightarrow [\mathfrak{a}.\mathcal{O}_K]\in Cl(K)$ be the ideal class transfer homomorphism. It's well ...
12
votes
2answers
494 views
Conceptual explanations of the class numbers for the first few $\mathbb{Q}(\sqrt{p})$ with odd conductor
It's known that the class number of $\mathbb{Q}(\sqrt{p})$ is $1$ for all primes $p<229$.
Question: What would it be like for conceptual explanations of $h(\mathbb{Q}(\sqrt{p}))=1$ for the first ...
0
votes
0answers
2k views
Necessary and sufficient condition for a prime to be represented by an arbitrary positive definite binary quadratic form $ax^2+bxy+cy^2$
Given an arbitrary (but fixed) positive definite primitive integral binary quadratic form $g(x, y)=ax^2+bxy+cy^2$, and let $m$ be an arbitrary integer. We will denote the discriminant of $g$ by $D=D_g=...
1
vote
1answer
132 views
Theory of extensions of non-archimedian local fields
I'm searching for a recommendable reference dealing with theory of
non-Archimedean local fields where I can find proofs of the following claims about
finite extensions $L/K$ of non-Archimedean local ...
5
votes
1answer
232 views
How is class of composition of two quadratic fields is related class numbers of quadratic field?
Let $K_1=\Bbb Q(\sqrt{d_1})$ , $K_2=\Bbb Q(\sqrt{d_2})$ and $K=\Bbb Q(\sqrt{d_1},\sqrt{d_2})$.Suppose $h_1,h_2,h$ be class number of $K_1,K_2,K$ respectively.
(i) Can we express $h$ in terms of $...
2
votes
0answers
115 views
Does Langlands use the geometric Frobenius or the classical Frobenius in his papers?
In several of Langlands' papers: Representations of Abelian Algebraic Groups, On Artin's L-functions, On the Functional Equation of Artin's L-functions, Langlands takes a finite Galois extension $K/F$ ...
2
votes
0answers
106 views
The definition of Langlands' L-function $L(s,\pi,r)$ in the case of $\operatorname{GL}_1$
Let $G$ be a split reductive group over a $p$-adic local field $k$. For $\pi$ an unramified representation of $G(k)$, and $r$ a finite dimensional representation of the L-group $^LG$, Langlands ...
1
vote
2answers
217 views
Computing the class group of a quadratic function field
I am asking for a reference in which I can find tools to answer questions like the following: Let $K=\mathbb{F}_q(X)$ be a rational function field over the finite field with $q$ elements. Let $E/K$ be ...
3
votes
1answer
191 views
Hilbert class field tower
Let $K$ is a number field,and $H_{K}^{i},i=1,2,\cdots$ be its Hilbert class field tower,suppose it is finite,and let $L=H_{K}^{n}$ is the top of the tower. Must $L$ be galois over $K$?
4
votes
1answer
217 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:
$...
2
votes
1answer
141 views
class group size of cyclotomic field subextension
In the following, let $\mathbb{Q_1}$ denote the subfield of degree $p$ over $\mathbb{Q}$ in the $p^2$- cyclotomic extension.
What is the best known upper bound for the size of its class group, $\text{...
1
vote
0answers
88 views
Anticyclotomic extensions via ideles
Let $ K $ be an imaginary quadratic field with ring of integers $ \mathcal{O} $. Let $ \mathcal{O}_{n} = \mathbb{Z} + n \mathcal{O} $ be the order of conductor $ n $. There is an associated extension $...
