The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
171 views

Quasi-algebraically closed field

Is there a field that is $C_{3/2}$ but not $C_1$?
10
votes
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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 ...