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

**1**

vote

**0**answers

88 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

101 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

186 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

115 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

101 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

214 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

532 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

148 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

341 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

300 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

74 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

155 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

59 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

398 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

160 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

134 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

181 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

49 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

959 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

203 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

240 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

97 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

111 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

103 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

110 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

137 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

513 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

48 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

688 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

525 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

370 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

125 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

270 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}(...

**1**

vote

**0**answers

292 views

### Unramified extensions of a given degree

Let $K \neq \mathbb{Q} $ be a finite extension of $\mathbb{Q}$. For a given integer $n$, how to construct an unramified extension of $K$ of degree $n$ ?
EDIT: If not then under what conditions on $K$,...

**5**

votes

**1**answer

508 views

### Group laws in class field theory

In the case of a quadratic imaginary number field one can construct its maximal abelian extension using torsion points of an elliptic curve with complex multiplication by this field.
In the case of a ...

**6**

votes

**1**answer

187 views

### Finite Nontrivial Unramified Towers of Number Fields

Let $F$ be a number field and $L=F^{un}$ its maximal unramified extension. By Class Field Theory, $$Gal(L/F)^{ab}\cong Cl(F).$$ It's well-known that we can have $[L:F]=1$ (e.g. $F=\mathbb{Q}$), and $[...

**4**

votes

**0**answers

472 views

### Explicit description/calculation of norm group of ideles of characteristic $p$ global field

I posted the same question earlier in stack exchange,
(http://math.stackexchange.com/questions/1130391/algebraic-proof-of-2nd-inequality-of-global-class-field)
thinking it is most definitely not a ...