The class-field-theory tag has no usage guidance.

**4**

votes

**1**answer

149 views

### Does complex multiplication for higher dimensional abelian varieties give some generalization of class field theory?

I am currently learning some aspects of the theory of complex multiplication for elliptic curves, and the relationship with class field theory.
As I understand it, there is a very special class of ...

**2**

votes

**0**answers

64 views

### Rank growth in ray class fields of primes that are inert in an imaginary quadratic extension

If $K=\mathbb{Q}[\sqrt{-d}]$, $E$ is an elliptic curve and $\operatorname{rank}(E(K))=\operatorname{rank}(E(\mathbb{Q}))$, are there infinitely many primes $l$ of $\mathbb{Q}$ so that:
(1.) $\...

**1**

vote

**0**answers

23 views

### Some property of norm residue symbol [migrated]

On the last page of this article, Artin and Hasse used some property of the norm residue symbol
$$\left(\frac{\lambda}{A}\right)_K = \left(\frac{\lambda}{n(A)}\right)_{k_\zeta}$$
(under Beweis von ...

**18**

votes

**1**answer

636 views

### On the history of the Artin Reciprocity Law

At the beginning of Milne's notes on class field theory, he has a quote by Emil Artin (as recalled by Mattuck in Recountings: Conversations with MIT mathematicians):
I will tell you a story about ...

**1**

vote

**0**answers

94 views

### Relative Leopoldt defect

Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$.
Is there a bound of the Leopoldt defect of $M$ ...

**3**

votes

**0**answers

103 views

### Globalizing local field extensions with controlled ramification

Let $K_1/k_1, \ldots, K_r/k_r$ be "separable cyclic" extensions of degree $n$ where each $k_i$ is a local field of characteristic 0 (archimedean or not). By separable cyclic of degree $n$, I mean the ...

**3**

votes

**1**answer

189 views

### Connected-étale sequence for ordinary CM elliptic curves

Let $E/k$ be an elliptic curve over algebraically closed field of characteristic $p$ with CM, for simplicity, by the maximal order of a quadratic imaginary field $K/\mathbb{Q}$.
Suppose that $p$ is ...

**1**

vote

**0**answers

118 views

### Class field theory, Ideles class

Let $H$ be a totally complex Galois extension of $\mathbb{Q}$ and $g:G_H \rightarrow \bar{\mathbb{Q}}_p$ be a continuous morphism. By class field thoery we have $\mathrm{Hom}(G_H, \bar{\mathbb{Q}}_p)\...

**0**

votes

**0**answers

76 views

### A cyclic subgroup as a decomposition group

Let $G$ a finite group appeared as galois group of an extension of $\mathbb{Q}$. Is it true that any cyclic subgroup $C \subset G$ can be realized as a decomposition group of an ideal $\mathfrak{P}$ ...

**1**

vote

**0**answers

102 views

### The Galois side of the Norm map

Let $K$ be an abelian extension of $\mathbb{Q}$. We know that $[x, K]|_{\mathrm{Gal}{\mathbb{Q}^{ab}}}=[\mathrm{N}^{K}_{\mathbb{Q}} x, \mathbb{Q}]$ where $[x, F]$ is the Artin reciprocity map. Given a ...

**3**

votes

**0**answers

115 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 ...

**12**

votes

**1**answer

216 views

### A prime ideal $\mathfrak{p}$ decomposes in $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ iff it is generated by $\alpha\in1+2\Bbb{Z}[\sqrt{-6}]$

For a nonzero prime ideal $\mathfrak{p}$ of $\mathbb{Z}[\sqrt{-6}]$ which does not divide $2$, does $\mathfrak{p}$ decompose completely in the extension $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ ...

**24**

votes

**1**answer

589 views

### Artin reciprocity $\implies $ Cubic reciprocity

I asked this on math.SE a few days ago with no reply, so I'm reposting it here. Hope this is not considered too elementary for MO (feel free to close if so).
I'm trying to understand the proof of ...

**4**

votes

**0**answers

154 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}$...

**6**

votes

**2**answers

350 views

### Are the abelian absolute Galois groups of these local fields isomorphic?

For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$.
Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) \...

**9**

votes

**1**answer

303 views

### Parametrizing all cyclic extensions of the rational numbers of degree 5

Is there a polynomial $f(T,X) \in \mathbb{Q}(T)[X]$ in the indeterminate $X$ over the field $\mathbb{Q}(T)$ with $\mathrm{Gal}(f/\mathbb{Q}(T)) \cong \mathbb{Z}/5\mathbb{Z}$ such that for every Galois ...

**3**

votes

**0**answers

75 views

### Do character sheaves split over the Lang isogeny?

Let $G$ be a smooth commutative connected algebraic group over a finite field $\mathbb{F}_q$. For my purposes a character sheaf on G is a rank one $\ell$-adic local system $\mathcal{L}$ on $G$ ...

**5**

votes

**0**answers

162 views

### Iwasawa theory, $\mathbb{Z}_p^{2}$-extension, Greenberg module

Take $H\subset \bar{\mathbb{Q}}$ be a quartic imaginary number field such that $\operatorname{Gal}(H/\mathbb{Q})=\mathbb{Z}_2 \times \mathbb{Z}_2$. Denote by $F$ the quadratic real subfield of $H$ and ...

**0**

votes

**0**answers

60 views

### Cubic modular equations solutions when decomposition field is not a HCF

I was interested in counting (and more generally having somehow an interesting expression) the numbers of solution of cubic equations modulo a prime $p$.
So here are my thoughts.
Let take a cubic ...

**10**

votes

**1**answer

402 views

### What are “Artin fractions”?

The German Wikipedia entry for Ernst Witt https://de.wikipedia.org/wiki/Ernst_Witt has a photo of his grave in Hamburg. The bottom part has a visible text "Artin Brueche" (Artin fractions) but the ...

**6**

votes

**1**answer

167 views

### Unramified extensions of quadratic fields

Let $K/\mathbb{Q}$ be quadratic and let $L/K$ be an (everywhere) unramified Galois extension. If $L/K$ is abelian, then one can show that $L/\mathbb{Q}$ is Galois (eg see here). Is $L/\mathbb{Q}$ ...

**9**

votes

**0**answers

136 views

### Newly defined $L$-function in terms of $L$-function, does it have any obvious zeros or poles?

Let $K$ be a number field, $Cl(K)$ the ideal class group, $\chi: Cl(K) \to \mathbb{C}^\times$ a homomorphism. If $\mathfrak{a} \subset \mathcal{O}_K$ is any ideal, let $[\mathfrak{a}]$ denote its ...

**3**

votes

**1**answer

185 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^{...

**0**

votes

**0**answers

51 views

### Kernel of the Artin map when dealing with S-ideles and S-divisors for function fields

Having understood that there is a strong correspondence between number fields and function fields, I am trying to work out some function field equivalents of class field theoretic invariants from Bost ...

**4**

votes

**0**answers

129 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 ...

**5**

votes

**0**answers

89 views

### On a theorem of Dwork and totally ramified extensions

Suppose that $K \subset L$ is a totally abelian ramified extension of local fields. Let $\pi_L$ be a prime element of $L^*.$ $F \in Gal(\tilde{L}/L)$ is the Frobenius, where $\tilde{L}$ is the maximal ...

**20**

votes

**2**answers

991 views

### Motivating Lubin-Tate theory

The Lubin-Tate theory gives an amazingly clean and streamlined way of constructing the subfield (usually denoted) $F_\pi\subset F^\mathrm{ab}$ for a local field $F$ fixed by the Artin map associated ...

**10**

votes

**0**answers

209 views

### What is the relationship between the conductor of an order and the conductor of a number field extension?

What is the relationship between the conductor $\mathfrak{f}_{\mathcal{o}}$ of an order $\mathcal{o}\subset \mathcal{O}_K$ and the conductor $\mathfrak{f}_{L/K}$ of a field extension in the classical ...

**12**

votes

**0**answers

171 views

**10**

votes

**0**answers

241 views

### comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...

**2**

votes

**0**answers

154 views

### For $K/E$ a number fields extension and $F/E$ a finite Galois extension, how is the ramification in $F\cdot K/K$ related to the one in $F/E$?

Studying class field theory, I have come across the following Proposition:
Proposition. Let $K/E$ be an extension of number fields so that there is no nontrivial unramified subextension $F/E$ with $...

**9**

votes

**0**answers

98 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(...

**1**

vote

**0**answers

113 views

### Finite-index subgroups of the ideles

Let $k$ be a number field and denote by $J_k$ the idele group of $k$. Recall that the finite-index open subgroups of $J_k$ which contain $k^*$ are very important in class field theory. My question ...

**0**

votes

**1**answer

109 views

### Computation of Hilbert symbol of order 4

We have explicit expressions for the quadratic Hilbert symbol over $\mathbb Q$, for example $\left(\dfrac{x,y}2\right)_2=(-1)^{\frac{x-1}2\frac{y-1}2} (x,y\ne2)$. Are similar expressions known for the ...

**6**

votes

**0**answers

104 views

### $F[[T]] \times F[[1/T]]$ fundamental domain, show compactness

Let $p$ be a prime number. What is the easiest way to see that $(\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T)))/\mathbb{F}_p[T, 1/T]$ is compact? Here $\mathbb{F}_p[T, 1/T]$ is embedded in $\mathbb{F}...

**3**

votes

**0**answers

104 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 ...

**5**

votes

**0**answers

138 views

### Furtwangler's Principal ideal theorem in number fields

Does anyone know a simple proof, using cohomological method of the fact that the verlagerung from a finite group G. to its commutator subgroup G', i.e. $$G/G'->(G')^{ab}$$ vanishes?
The simplest ...

**2**

votes

**0**answers

112 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$, ...

**4**

votes

**0**answers

141 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**

votes

**0**answers

92 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 ...

**4**

votes

**0**answers

77 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$, ...

**17**

votes

**1**answer

519 views

### Quickest and/or most elementary proof of “principal iff splits completely”?

Let $L$ be the Hilbert class field of a number field $K$, and let $\mathfrak{p}$ be a prime ideal of $K$. Then $\mathfrak{p}$ splits completely in $L$ if and only if $\mathfrak{p}$ is a principal ...

**0**

votes

**0**answers

49 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 ...

**2**

votes

**0**answers

181 views

### Reference request: Cohomology of Elliptic Curves

Is it true that the group
$$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$
is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility?
...

**9**

votes

**2**answers

692 views

### What are the current trends in class field theory?

Being far from an expert in the subject I was wondering if people can hint towards a modern exposition of the developments in the last 10 years ? Or if not then suggest some sub-subjects in CFT that ...

**11**

votes

**1**answer

528 views

### Class field towers

It is known (Golod and Shafarevich) that the class field tower of a finite extension $K$ of $\mathbb{Q}$ may be infinite. But is it always finite for $K=\mathbb{Q}[\zeta]$ where $\zeta$ is a root of ...

**8**

votes

**3**answers

375 views

### Deciding a quadratic diophantine equation

Given $a,b\in\Bbb Q_+$, is there an easy way to decide if $$S_{a,b}=\{(x,y)\in\Bbb Z^2:ax^2 + by^2=1\}=\emptyset?$$
I am more interested in seeing if there is a quick way to test for case when ...

**3**

votes

**1**answer

126 views

### Projective coordinates over a non UFD ring

Is it true that when the integers of a number field are not a UFD then not every point in projective $n$-space over that field can be given by relatively prime algebraic integer coordinates?
When a ...

**4**

votes

**1**answer

271 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 ...

**5**

votes

**0**answers

168 views

### Does the fundamental group identify group structure on subvarieties of products of curves?

Let $C_1,\dots, C_n$ be smooth curves over $\overline{\mathbb F}_p$, not necessarily proper. Let $X$ be a subvariety of $C_1 \times \dots \times C_n$. I'm interested in the natural map:
$$ \pi_1^{ab}(...