Questions tagged [class-field-theory]
The class-field-theory tag has no usage guidance.
382 questions
2
votes
0
answers
433
views
Global Artin reciprocity law from Local class field theory
Let $K=\mathbb F_q((t)), p -$ prime ideal in $K$, $\psi_p$ be the local Artin map$K_p^* \to Gal(K_p^{ab}/K_p)=G_p \subset Gal(K^{ab}/K)$. Then I define global Artin map $\psi_K$as product of $\psi_p$, ...
- 71
1
vote
1
answer
204
views
Equivalence of definitions of the Milnor $K$-groups
In Kurihara's paper: "The exponential homomorphisms for the Milnor $K$-groups and an explicit reciprocity law" he difines, in the first page, the $q$-th Milnor K-group for the ring $R$ as
$(R^{\times}...
- 33
2
votes
0
answers
143
views
$K^{ur}K^{\pi} = L$
Let $K$ be a $p$-adic field, and $L$ an infinite abelian extension of $K$ containing $K^{ur}$. Let $\Phi: K^{\ast} \rightarrow Gal(L/K)$ be the local Artin map. Let $\pi$ be a uniformizer for $K$, ...
- 6,180
9
votes
1
answer
591
views
On the structure of the maximal abelian Galois group of a number field
Let $K$ be a number field. I am wondering if the following exact sequence $$1 \longrightarrow[\widehat{\mathcal O}_K^\times] \longrightarrow Gal(K^{ab}/K) \overset{\pi}{\longrightarrow} Cl_K \...
- 2,029
10
votes
1
answer
557
views
class numbers of $\mathbf{Q}(2^{1/n})$
Calculating the class numbers of $\mathbf{Q}(2^{1/n})$ for small $n$ always yields $1$. Is it true for an infinite number of $n$s? Does applying Iwasawa theory to the false Tate curve tower $\mathbf{...
user19475
11
votes
1
answer
804
views
Is there an analog of class field theory over an arbitrary infinite field of algebraic numbers?
Recently, I found a paper by Schilling http://www.jstor.org/pss/2371426, which mentions that for certain infinite field of algebraic numbers there is an analog of class field theory. By infinite field ...
- 2,824
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
$...
7
votes
0
answers
128
views
Minimal Discriminants
Let $D_n$ be the minimal absolute value of the discriminants of
number fields with degree $n$. Arnold Scholz conjectured in 1936 that
$D_{397} > D_{400}$, which is, of course, still open (Scholz ...
- 32.6k
2
votes
0
answers
102
views
Meromorphic functions on $U^2 = T^3 + 1$, cokernel of $O_S \to F_\infty/O_\infty$ [closed]
See here. Crossposted from math.stackexchange since there's no good answer despite $>$ 20 upvotes.
Let $k$ be a field of characteristic $\neq 2$, and consider the quadratic extension $F$ of $k(T)$ ...
- 145
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
12
votes
0
answers
767
views
What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 - z^3$
This is related to my first MO question and Kevin Buzzard's conjecture at
Integers not represented by $ 2 x^2 + x y + 3 y^2 + z^3 - z $
In December 2010 my question appeared in the M.A.A. Monthly, ...
- 25.7k
1
vote
0
answers
151
views
Skew symmetry for the Hilbert symbol
Let $K$ be a local field containing the group $\mu_n$ of $n$th roots of 1 and the $\theta_K:K^*\to G_K^{ab}$ be the reciprocity map. The we know that the Hilbert symbol $$K^*\times K^*\to \mu_n$$ $$(a,...
- 33
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
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
7
votes
0
answers
241
views
n-dimensional local fields
Recently, I hear the concept of $n$-dimensional local fields.
It is defined inductively as follows.
(1) a $0$-dimensional local field is a finite field.
(2) an $n$-dimensional local field is a ...
- 581
10
votes
0
answers
758
views
How does one understand geometric CFT in terms of modularity?
I have recently asked a question in a similar vein:
What makes Geometric CFT easier than CFT?
but I'm afraid I wasn't quite ripe to ask it yet. I have since consulted with the following sources:
http:/...
- 5,929
0
votes
0
answers
133
views
Reciprocity laws in different dimensions
Let $M/L/Qp$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathbb{Z}}a_iT^i:a_i\in M,\min_{i\in \mathbb{Z}}, v(a_i)>−\infty , \lim_{i\to −\...
- 33
17
votes
0
answers
782
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
0
votes
0
answers
87
views
Which properties determine the uniqueness of the local Artin map?
Any abelian extension of local fields can be realized as the completion of a global abelian extension. So let $L/K$ be abelian, $w/v$ an extension of places. From the global Artin map on ideles we ...
- 6,180
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
1
vote
0
answers
101
views
Relation between 1-dimensional and 2-dimensional reciprocity maps
Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, \...
- 33
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
3
votes
1
answer
395
views
ray class field of rational function field
Let $f \in \mathbf{F}_q[T]$ be irreducible. I know that the ray class field for $\mathrm{Cl}((f)) \cong (\mathbf{F}_q[T]/(f))^\times$ can be constructed by adjoining torsion points of a Carlitz module....
user19475
23
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.6k
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
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
12
votes
0
answers
888
views
On the relation of special values of motivic L functions and partial zetas
Let $K$ be a number field, $L$ a finite abelian extension and $\chi \in \widehat{Gal(L/K)}$ a (non-trivial) character. If we multiply out the associated Artin L-function $L(\chi,s)$ we can write this ...
- 2,029
0
votes
0
answers
100
views
divisor class group with modulus
Let $C$ be a smooth projective curve over a field $k$ and $S \subset C$ a finite number of points. A modulus is simply a divisor supported on $S$. What is the divisor class group with modulus?
I ...
- 1
2
votes
1
answer
216
views
Lower bound on the class group of the p-Hilbert class field of an imaginary quadr. field
Let K be an imaginary quadratic field, A(K) its p-class group, and H(K) its p-Hilbert class field. If rk(A(K))=2, a result due to Arrigoni tells us that p^3 divides the order of the class group of H(K)...
1
vote
0
answers
312
views
Decomposing anticyclotomic characters
Suppose $K/\mathbf{Q}$ is an imaginary quadratic field and $\chi$ is a finite-order character of $G_K=\mathrm{Gal}(\overline{K}/K)$ which is anticyclotomic, i.e. $\chi^{\sigma}:=\chi(\sigma g \sigma^{-...
- 13.1k
2
votes
0
answers
233
views
Locally-trivial-cycles analogy for Arakelov classes instead of ideal classes?
The well known isomorphism:
$$Cl(K) \cong Ker\\ \lgroup\\ H^1(G_K, U) \rightarrow \prod_{\mathfrak{p}} H^1(G_{K_{\mathfrak{p}}},U_p) \rgroup$$
is great. ("Visibility of Ideal Classes", Schoof and ...
- 4,593
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=...
