Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
382 questions
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
3
votes
1
answer
123
views
Reference request: ray class group as quotient of finite ideles
Let $K$ be a number field, and write $\mathbb{A}_{K,f}^\times$ for the group of finite ideles of $K$. That is
$$
\mathbb{A}_{K,f}^\times = \{(u_v)_v \in \prod_{v \nmid \infty} K_v^\times : v(u_v) = 0 \...
- 411
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
0
votes
0
answers
112
views
An interesting unramified extension of imaginary quadratic fields
Let $K/\mathbb{Q}$ be an imaginary quadratic extension of discriminant $-D_K < -3$ and fix a prime $p > 3$ that is split in $K$ as $p\mathcal{O}_K = \mathfrak{p}\overline{\mathfrak{p}}$. ...
- 21
3
votes
3
answers
388
views
On subfields of the cyclotomic field $\mathbb{Q}(\zeta_p)$
Let $p$ be an odd prime. Let $\zeta_p=e^{2\pi{\bf i}/p}$ and let $1\le k\le p-1$ be a divisor of $p-1$. Recently, when I learnt algebraic number theory, I met the following problem.
If we let
$$U_k=\{...
- 87
0
votes
1
answer
112
views
Ray class field and its conductor
Let $\mathfrak{m}$ be an ideal of the ring of integers of a number field $K$ and $S$ is a subset of the real places, then the ray class group of
$\mathfrak{m}$ and $S$ is the quotient group
$$I^{\...
- 287
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
1
answer
175
views
Relation between the genus number and the ambiguous class number
It is well known that for $K/F$ a finite "cyclic" extension of number fields, we have $g_{K/F}=a_{K/F}$, where $g_{K/F}$ denotes the relative genus number, and $a_{K/F}$ denotes the ...
- 437
3
votes
1
answer
402
views
Is there a non-perfect field in which polynomials of large degree are reducible?
It is well-known that, in a real-closed field $K$, every polynomial of degree $>2$ is reducible in $K$. But in this case the characteristic of $K$ is zero.
My question is: there exists a non-...
- 41
2
votes
1
answer
128
views
Conductor of the Hecke character- power residue symbol
The power residue symbol is the multiplicative character $\bigl(\frac a \cdot\bigr): \mathcal I_\mathfrak m\to \mu_n$ that satistfies $\bigl(\frac a {\mathfrak p}\bigr)\equiv a^{\frac{N\mathfrak p-1}{...
- 133
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
1
vote
0
answers
120
views
Iwasawa's remark on Meyer's old book on computing class numbers:
I just read Iwasawa's review of Meyer's "Die Berechnung der Klassenzahl abelscher Körper über quadratischen Zahlkörpern" and wonder how the problems Iwasawa mentions at the end of it ...
- 10.8k
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
1
vote
1
answer
163
views
Is there any relationship between the study of class number of a number field with the study of class field theory through Lubin-Tate formal group?
I am curious to know if we can somehow relate to the study of local class field theory through Lubin-Tate formal group with the study of class number of a field (global field in general) in class ...
- 930
2
votes
1
answer
88
views
Cyclic extensions of a number field of full local degree in a given set $S$
Let $K$ be a number field, and let $S=S_f\cup S_{\mathbb R}\cup S_{\mathbb C}$
be a finite set of places of $K$, where $S_f$ denotes the set of finite places in $S$, $S_{\mathbb R}$ denotes the set of ...
- 14.2k
10
votes
2
answers
2k
views
Why are we defining character groups differently for additive and multiplicative group in Tate's thesis?
Context: I've just started reading Tate's thesis. In it, we start with a local field $k.$ The aim of the section is to describe the structure of the character groups of $k^+$ (the additive group) and $...
- 133
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
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
1
vote
0
answers
45
views
Indices of norms of units in a tower of a $\mathbb{Z}_p$-extension, or equivalently, order of $H^1$ of units in the tower
Let $K$ be a finite extension of $\mathbb{Q}$ and $L/K$ be a $\mathbb{Z}_p$-extension with finite layers $L_i$, hence $L_j/L_i$ is cyclic of order $p^{j-i}$ (put $K=L_0$). Let $U_E$ be the unit group ...
- 333
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
0
votes
1
answer
115
views
Criterion for Ramification of ray class field $K(\mathfrak{p})$ in $\mathfrak{p}$
The context: We consider ideal theoretic formulation of global class field theory of a number field $K$ and in following all used terminology I'm going to use is adapted from these notes: https://math....
- 5,986
1
vote
1
answer
140
views
Defect between modulus and conductor of ray class field
I have following question about a remark in J. Neukirch's
Algebraic Number Theory around page 397.
The context: We consider ideal theoretic formulation of global class field theory of a number field $...
- 5,986
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
2
votes
2
answers
433
views
Expositions of the classical approach to local class field theory (Brauer group and Hasse invariant)
I've posted this question already on MSE and didn't get much out of it, so I hope it's OK to repost here.
I'm an undergraduate trying to learn local class field theory from the corresponding chapter ...
- 121
18
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 ...
- 531
5
votes
2
answers
550
views
Compare with Weber and Hilbert class field
Heinrich Martin Weber and David Hilbert created their own class fields in 1891 and 1897 respectively.
In the past, Weber continued to name $K={Q}(\sqrt{-m}, j(\omega))$, the Kronecker class field of $...
- 119
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
1
vote
0
answers
58
views
Normality in a tower of cyclic extensions of global fields, as in Artin-Tate
Let $L_0$ be a global field without real places, that is, a global function field or a totally imaginary number field,
and let $V_f(L_0)$ denote the set of finite (that is, non-archimedean) places of $...
- 14.2k
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
6
votes
0
answers
513
views
Extensions of p-adic number fields
Let $p$ be a prime number and $\mathbb{Q}_p$ be the $p-$adic rational field. Let $E/\mathbb{Q}_p$ be a fixed finite extension. On this site, I define a finite extension $F/E$ to be "good" if ...
- 71
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
7
votes
0
answers
157
views
Non-abelian ray class fields for local fields
Let $K$ be a non-Archimedean local field. Then, thanks to work of Koch (when $K$ has positive characteristic) and Jannsen-Wingberg (when $K$ has characteristic zero, and odd residual characteristic) ...
- 1,116
3
votes
1
answer
322
views
Where am I going wrong in this interpretation of 1-dimensional geometric class field theory?
I posted this on MSE, but didn't get any responses, so I'm reposting here. I tried to write down an example of the main theorem of geometric class field theory, but I must be misunderstanding ...
- 133
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
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
67
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 ...
- 7,127
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
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
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
1
answer
285
views
Number of imaginary quadratic field with its ideal class group has $\Bbb{Z}/2\Bbb{Z}$ as 2 part
Let $K=\Bbb{Q}(\sqrt{D})$($D$ is a square free negative integer) be a quadratic number field.
Class number (order of ideal class group $Cl_K$ of $K$) is $1$ if only if $D=-2,-3,-7,-11,-19,-43,-67,-163$...
- 1,541
64
votes
3
answers
5k
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,810
6
votes
1
answer
427
views
Surjectivity of the norm of units in Galois extensions ramified exactly at one finite prime
Let $L/K$ be a finite Galois extension of number fields that is ramified exactly at one finite prime and is unramified at all infinite primes. Let $U_K$ and $U_L$ denote the units of the ring of ...
- 333
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
8
votes
2
answers
479
views
Image of the norm map for Artin-Schreier extensions
Let $k$ be a local field of characteristic $p$ and $\omega \in k$ a uniformiser. Consider the Artin-Schreier extension $L_n = k[x]/(x^p - x - \omega^n)$ for each $n \in \mathbb{Z}$.
Is there an ...
- 21.4k
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
3
votes
1
answer
369
views
Local Tate duality for F-vector space
A version of local Tate duality stated: Let $K$ be a finite extension of $\mathbb Q_p$, $A$ be a finite $G_K=Gal(\overline K/K)$ module. Then for $0\le i\le 2$, the cup product induces a perfect ...
- 183
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
5
votes
1
answer
439
views
What are the jumps in the ramification filtration of the absolute Galois group of a local field?
Let $k$ be a (complete) discretely valued field and $\ell$ a Galois extension of $k$, possibly infinite. The Galois group $\Gamma=\text{Gal}(\ell/k)$ of $\ell$ over $k$ admits a descreasing, $\mathbb ...
- 835
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