Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
154 questions with no upvoted or accepted answers
4
votes
0
answers
110
views
Uniqueness of class field theory map
Let $F$ be a local field of characteristic 0. The main theorems in local class field theory can be summarized by the existence of a group $W_F$ and a map
$$
\phi_F:W_F\to W_F^\mathrm{ab}\simeq F^\...
- 361
4
votes
0
answers
248
views
Polynomial equations in many variables have solutions (Lang 1952 paper)
I am trying to understand the proof of the following result:
Suppose $F$ is a function field in $k$ variables over an algebraically closed field. Let $f_1,...,f_r \in F[x_1,...,x_n]$ be ...
- 87
4
votes
0
answers
308
views
Complex multiplication and ray class fields
This question is mainly referring to the proof of Theorem 5.6, Chapter 2 of Silverman's "Advanced Topics in the AEC". Basically, let $K$ be an imaginary quadratic field, and $E$ be an elliptic curve ...
- 41
4
votes
0
answers
208
views
extending $p$-adic character of the local intertia to the absolute Galois group
Suppose I have a number field $F$, and a finite place $v$ of $F$. Let $E$ be finite extension of $F_v$. I start with a continuous morphism
$$
\chi \colon O_{F_v}^\times \to E^\times.
$$
where $O_{F_v}$...
- 1,190
4
votes
0
answers
301
views
Can we prove the uniqueness of the local Artin map by using mostly global class field theory?
Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...
- 6,180
4
votes
0
answers
190
views
Is $K^{ur} K^{\pi} = L$?
Let $L/K$ be a finite extension of $p$-adic fields, $\pi$ a uniformizer of $K$, $\theta = (-, L/K)$ the local Artin map $K^{\ast} \rightarrow Gal(L/K)$, $E$ be maximal unramified extension of $K$ ...
- 6,180
4
votes
0
answers
559
views
Explicit description/calculation of norm group of ideles of characteristic $p$ global field
I posted the same question earlier in stack exchange,
(https://math.stackexchange.com/questions/1130391/algebraic-proof-of-2nd-inequality-of-global-class-field)
thinking it is most definitely not a ...
- 111
4
votes
0
answers
332
views
Diophantine equations over cyclotomic fields
Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...
- 11.3k
4
votes
0
answers
224
views
Reciprocity Map and Cycle Class Map
This might be a very naive question but here it goes. Let X be a smooth variety of dimension d over a p-adic field. We have the n part of the rerciprocity map:
$rec/n: SK_1(X)/n \to \pi^{ab}_1(X)/n$
...
- 235
4
votes
0
answers
401
views
Abelian cubic extensions of Q[i],
Recently I was considering cubic extensions $K/Q$ that have discriminant negative of a perfect square. Classifying these curves reduces to solving a Diophatine equation of the form $4a^3+27b^2=c^2$ ...
- 818
4
votes
0
answers
370
views
Formal non-CM in local fields
An elliptic curve $E$ with complex multiplication by an imaginary quadratic field $F$ has $\ell$-adic Galois representations that essentially encode the class field theory of $F$ - in other words, the ...
- 15.4k
3
votes
0
answers
91
views
Reference request: étale local system on $\Gamma\backslash\mathcal H$ for $\Gamma$ non-congruence
Suppose $\mathcal H$ is the upper half plane, and $\Gamma\subset \operatorname{PSL}_2(\mathbb Z)$ is a finite index subgroup. Then by Belyi's theorem we know that $\Gamma\backslash\mathcal H$ is an ...
- 785
3
votes
0
answers
80
views
Local Class field theory and Artin map for the Weil group
I am searching a reference for local class field theory that use the Weil group instead of the absolute Galois group. In particular that the Artin map is an isomorphism between the multiplicative ...
- 367
3
votes
0
answers
215
views
Global class field theory and closure of unit groups
I'm looking for a reference for the following facts from global class field theory that I found without proofs. I will state them as questions, just in case I get the statement wrong. We fix $K$ a ...
- 85
3
votes
0
answers
141
views
Cohomology of local fields in positive characteristic
It is well-known from local class field theory that the Brauer group $\text{Br}(k)$ of a local field $k$ gets killed as you pass to sufficiently large extensions of $k$. In particular, $\text{Br}(L)(p)...
- 41
3
votes
0
answers
162
views
relating class number and narrow class number of a real field
I am interested in finding out when the narrow class number of $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ is the same as the class number of $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ where $\zeta_p$ is a primitive $...
- 637
3
votes
0
answers
117
views
Finiteness for Galois cohomology for $\mathbb{Z}_p$-module coefficients
I am looking for a general survey on the finite generation properties of
$$H^i(F,\mathbb{Z}_p(j))$$
for fields $F$. Here I refer to Galois cohomology (continuous group cohomology) and the group is ...
- 51
3
votes
0
answers
187
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
0
answers
224
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 ...
- 923
3
votes
0
answers
166
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 ...
- 125
3
votes
0
answers
164
views
Using the Hilbert symbol to find nice field extensions
Let $p$ and $q$ be (not necessarily distinct) odd primes and let $F=\mathbb{Q}_p(\mu_q)$. The $q^{th}$ Hilbert symbol induces a non-degenerate alternating form $$(\cdot,\cdot)_q:F^\times/(F^\times)^q\...
- 2,516
3
votes
0
answers
151
views
Values of Grössencharacter attached to CM elliptic curve
I am trying a cross-post here, as my previous post on stackexchange was not as fruitful as I hoped. The link to the older post is: https://math.stackexchange.com/questions/3327269/values-of-...
- 81
3
votes
0
answers
177
views
Abelianess of $K(j(E))$
Let $E$ be an elliptic curve with CM by an order in the imaginary quadratic field $K$. Is there some easy way how to prove that the extension $K(j(E))/\mathbb Q$ is abelian?
Update
In general, the ...
- 2,375
3
votes
0
answers
37
views
augmentation ideal and $\rho$-isotopic spaces
These are two questions regarding Rubin`s paper - Global units and Ideal class groups in Inventiones 1987. The two questions are from section 3.
Let $p$ be a rational prime and $K \subset E \subset F$...
- 151
3
votes
0
answers
107
views
When does a number field have $p$-rank greater than $n$?
Consider $F/\mathbb{Q}$, a number field. Let $S$ be a finite set of primes of $F$ containing the Archimedean primes. Let $n$ be any natural number and $L_n$ be a finite extension of $F$ such that $\...
- 1,283
3
votes
0
answers
251
views
The closed subgroup of the idele corresponding to the maximal elementary $p$-extension of a global field
I want to know whether for any global number field $k$, the closed subgroup of the idele corresponding to the maximal elementary $p$-extension ($p$ is a prime number) is $k\ J^p$.
The critical point ...
- 1,013
3
votes
0
answers
203
views
Class field theory for $p$-groups.
I accidentally posted this question to math.stackexchange but think that it is more appropriate here (if not, please say so!):
This question is from Neukirch's book "Algebraic number theory," page ...
- 41
3
votes
0
answers
158
views
Conics over number fields
I am looking for a reference for the following fact.
Let $k$ be a number field and let $S$ be a finite set of places of $k$ of even cardinality. Then there exists a unique conic $C$ over $k$ such ...
- 21.4k
3
votes
0
answers
846
views
Ring class fields of orders
The theory of ring class fields corresponding to orders in imaginary quadratic fields is introduced by, say, [1]. But I'm reading an article [2], in which ring class fields corresponding to orders in ...
- 31
2
votes
0
answers
95
views
Is there a pure algebraic proof of the problem about class number of imaginary quadratic field $p\nmid h_{\mathbb{Q}(\sqrt{-p})}?$
For $p\equiv3\pmod4$, let $h_{\mathbb{Q}(\sqrt{-p})}$ denote the class number of $\mathbb{Q}(\sqrt{-p})$, the class number formula shows $h_{\mathbb{Q}(\sqrt{-p})} < p$. I wonder if there is a pure ...
- 21
2
votes
1
answer
252
views
Ring structure on Brauer group
Class field theory defines an isomorphism between the Brauer group of a finite extension of p-adic fields and a cyclic group with a canonical generator. This in turn defines an isomorphism of the ...
- 447
2
votes
0
answers
116
views
Restriction of the local Artin map on the valuation ring of a local field
Let $F$ be a local field, in particular a finite extension of $\mathbb{Q}_p$ for some prime $p$ and let $Art_{L}: L^\times \to Gal(F^{ab}/F)$ be its local Artin map. We know that if $L/F$ is a finite ...
- 367
2
votes
0
answers
65
views
Constructing a cyclic extension $L$ with given local behavior of a global field $K$ such that $L$ is normal over a subfield $F$ of $K$
Let $F$ be a global field without real places
(that is, a function field or a totally imaginary number field).
Let $K/F$ be a cyclic extension of degree $n$.
Let $S$ be a ${\rm Gal}(K/F)$-invariant ...
- 14.2k
2
votes
0
answers
79
views
$n$-th root of character on local field
Let $F$ be a non-Archidean local field of characteristic 0, and $\zeta_n$ the set of $n$-th roots of unity in the algebraic closure of $F$. Assume $\zeta_n\subseteq F$. Let $\chi:F^\times\to\mathbb{C}^...
- 833
2
votes
0
answers
132
views
For a quadratic extension $E/K$, condition on a character $\chi:E^\times/E^{\times 2} \to C_2$ to give a $C_4$-extension $L/K$
Let $K$ be a finite extension of $\mathbb{Q}_2$, and let $E/K$ be a quadratic extension. By local class field theory, quadratic extensions $L/E$ correspond to quadratic characters $\chi:E^\times \to ...
- 411
2
votes
0
answers
250
views
Maximal p-extension and pro-p extension
I’m studying Iwasawa theory and I meet some questions Thanks a lot for your help.
Q_1: About terminology $p$-extension.
I find many reference use maximal $p$-extension or maximal abelian p-extension ...
- 319
2
votes
0
answers
280
views
Why do we consider characters to $\mathbb{C}$ and not $\mathfrak{p}$-adic or $\mathbb{R}$?
Context: I've been reading Tate's thesis, and in it, we defined the character group for $k^{*}$ and $k^{+}$ for a local field $k$. Here we take the range of the characters to be $S_{1}$ for $k^{+}$ ...
- 133
2
votes
0
answers
93
views
Compositum of field extensions in context of $\mathbb Z_p$ extension
I had asked this question on stackexchange and I think it is better suited for this site.
Suppose I have a $\Gamma \simeq \mathbb Z_p $ extension $F_\infty /F$ of a number field $F$. Let $F_n$ be the ...
- 121
2
votes
0
answers
130
views
Can global fields be defined as certain topological fields like local fields?
It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor ...
- 452
2
votes
0
answers
128
views
Lubin--Tate formal group construction in local class field theory using group cohomology
Let $K$ be a non-archimedean local field of characteristic 0. Fix a uniformiser $\pi$ and an algebraic closure $\bar{K}$. The theory of Lubin--Tate formal groups gives an explicit construction of the ...
- 1,428
2
votes
0
answers
115
views
Artin reciprocity for function fields vs number fields
I have a naive question about the difference of Artin reciprocity in the number field versus function field case:
In the number field case, the double quotient we look at is $$K^\times \backslash \...
- 4,418
2
votes
0
answers
109
views
Narrow class number of a the maximal totally real number field inside a cyclotomic field
I am wondering how much it is known about the narrow class number of the number field $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ ($p$ an odd prime). More precisely, I am interested to know when it is odd.
By ...
- 637
2
votes
0
answers
256
views
About Lubin Tate extensions
https://math.stackexchange.com/questions/4473761/about-lubin-tate-extensions
I know this is a very low-level question because it is about a probable typo and a definition. But I asked this question on ...
2
votes
0
answers
159
views
Artin map and profinite completion of the idèles
One way to formulate local class field theory is by saying that the local Artin map induces an isomorphism from the profinite completion of $K^\times$ to $\operatorname{Gal}(K^\text{ab}/K)$, which ...
- 3,446
2
votes
0
answers
101
views
Determine whether $\frac{K\left(\sqrt{1-x^2}\right)^2}{K(x)^2}$ is positive rational (given $x$)
Denote the complete elliptic integral of the first kind by
$$K(x)=\int_0^{\pi /2}\frac{d\varphi}{\sqrt{1-x^2\sin^2\varphi}}$$
and
$$f(x)=\frac{K\left(\sqrt{1-x^2}\right)^2}{K(x)^2}$$
Question:
Given a ...
- 121
2
votes
0
answers
125
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 ...
- 123
2
votes
0
answers
110
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.
- 343
2
votes
0
answers
153
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 ...
- 577
2
votes
0
answers
128
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 ...
- 99
2
votes
0
answers
293
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 \...
- 437