Questions tagged [class-field-theory]

The tag has no usage guidance.

145 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
22 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$ ...
Franz Lemmermeyer's user avatar
21 votes
0 answers
764 views

Class field theory and the class group

Let $k$ be a finite abelian extension of $\mathbb{Q}$. Class field theory states that $k$ corresponds to some open subgroup of finite index $U_k \subset \mathbb{A}_{\mathbb{Q}}^*/ \mathbb{Q}^*$ where $...
Daniel Loughran's user avatar
17 votes
0 answers
760 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 ...
Ojen's user avatar
  • 171
14 votes
0 answers
555 views

Positive binary quadratic form plus univariate monic cubic (giving Hilbert class field)

We have the Lucas numbers, $$ L_1 = 1, \; L_2 = 3, \; L_3 =4, \; L_4 = 7, L_5 = 11, \; L_{n+2} = L_{n+1}+ L_n \; . $$ Question: is it the case that $$ f(x,y,z) = 4 x^2 + 3 x y + 9 y^2 + z^3 + 3 z $$...
Will Jagy's user avatar
  • 25.3k
12 votes
0 answers
257 views

sequences in non-abelian group cohomology

In general, if we have a (pro-)finite group $G$ and a sequence of (continuous) non-abelian $G$-modules $$1\rightarrow A\rightarrow B\rightarrow C\rightarrow 0,$$ such that the image of $A$ lies in the ...
Estus's user avatar
  • 273
12 votes
0 answers
759 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, ...
Will Jagy's user avatar
  • 25.3k
12 votes
0 answers
884 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 ...
user5831's user avatar
  • 2,009
11 votes
0 answers
359 views

What are the possible bad reductions for an abelian variety of dimension $g$ and a maximal endomorphism ring?

Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added ...
Vesselin Dimitrov's user avatar
11 votes
0 answers
524 views

Cubic fields correspond to $3$-torsion ideals in quadratic fields, or to order $3$ characters of quadratic class groups?

I was watching Dick Gross's laudation for Manjul Bhargava, followed up by one of Bhargava's talks, and I realized I was confused about something. Bhargava says (around 21 minutes) that the orbits of ...
David E Speyer's user avatar
11 votes
1 answer
964 views

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 ...
peterx's user avatar
  • 693
10 votes
0 answers
333 views

Easy cases of Herbrand's theorem

$\def\QQ{\mathbb{Q}}\def\ZZ{\mathbb{Z}}$ I recall Herbrand's theorem about class groups of cyclotomic fields: Let $p$ be an odd prime, let $\zeta$ be a primitive $p$-th root of $1$ and let $K = \QQ(\...
David E Speyer's user avatar
10 votes
0 answers
578 views

A formal group scheme in explicit local class field theory

Let $K$ be a nonarchimedean local field with residue field $k$ of characteristic $q = p^N$, and pick a uniformizer $\pi\in \mathscr{O}_K$. Recall that explicit local class field theory, à la Lubin--...
skd's user avatar
  • 5,550
10 votes
0 answers
739 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:/...
Makhalan Duff's user avatar
9 votes
0 answers
787 views

How many ways are there to teach class field theory?

I will soon have to teach class field theory (I do not know whether it will be local or global yet:)) to postgraduate students. I wonder, which approaches to this subject(s) exist now. I definitely ...
Mikhail Bondarko's user avatar
8 votes
0 answers
219 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}(...
Will Sawin's user avatar
  • 135k
8 votes
0 answers
2k views

Characterizing primes that split completely vs. primes with a given splitting behavior

Given a finite abelian extension of number fields $L/K$, the prime ideals $\mathfrak{p}$ in $O_K$ split into primes $\mathfrak{P}$ in $O_L$. The number of primes $\mathfrak{p}$ splits into is ...
Jonah Sinick's user avatar
  • 6,912
7 votes
0 answers
143 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) ...
Riccardo Pengo's user avatar
7 votes
0 answers
197 views

Reference request: projectivity of the absolute Galois group of $\mathbb{Q}^{\mathrm{ab}}$

$\newcommand{\ab}{\mathrm{ab}}$Let $\mathbb{Q}^{\ab}$ denote the maximal abelian extension of $\mathbb{Q}$. I have heard the absolute Galois group of $\mathbb{Q}^{\ab}$ is projective (e.g. see this ...
projectivityq's user avatar
7 votes
0 answers
461 views

Explicit $H^2(K, \mu) = Q/Z$?

In the development of local class field theory, a very fundamental theorem is that, for every local field $K$ of characteristic zero, $H^2(K, \mu) \cong \mathbb{Q}/\mathbb{Z}$. $(*)$ Neukirch et al. ...
Evan O'Dorney's user avatar
7 votes
0 answers
122 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 ...
Franz Lemmermeyer's user avatar
7 votes
0 answers
235 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 ...
Fujita Tomomi's user avatar
6 votes
0 answers
395 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 ...
Eric's user avatar
  • 61
6 votes
0 answers
138 views

$p >2$ is a prime, any facts about congruence relation between the class number of $Q(\sqrt p)$ and $Q(\sqrt-p)$?

Let $p$ be an odd prime. This is a question about the class number of $Q(\sqrt p)$ and $Q(\sqrt-p)$,which we denote by $h(p)$ and $h(-p)$ respectively. While doing my research on number theory I came ...
王李远's user avatar
  • 343
6 votes
0 answers
681 views

What are the fastest ways to calculate class number of number fields?

Given a number field $K$, which approaches help us to calculate the class number $h(K)$ of $K$? I am aware that the question is broad but any argument would be helpful. Some basic approaches I know:...
Ninja's user avatar
  • 161
6 votes
0 answers
291 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 ...
Adel BETINA's user avatar
  • 1,046
6 votes
0 answers
206 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 ...
RiemannRock's user avatar
6 votes
0 answers
219 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 ...
Eran's user avatar
  • 61
5 votes
0 answers
201 views

Essence of relations between central simple algebras and Galois cohomology in canonical morphism of class field theory

I was somewhat puzzled after I finished learning class field theory for several times. My question is about the relations between "classical simple algebras, Brauer groups" and "modern ...
youknowwho's user avatar
5 votes
0 answers
422 views

The Tate-Nakayama theorem and inflation

Let $K$ be a nonarchimedean local field, and $L/K$ be a finite Galois extension with Galois group $G={\rm Gal}(L/K)$ of order $n=[L:K]$. By local class field theory, there is a canonical isomorphism $$...
Mikhail Borovoi's user avatar
5 votes
0 answers
120 views

non $p$ part of the class group and analogous results

Washington had proven in 1978 that for $q$ a prime ($q \neq p$), if $q^{e_n}$ exactly divides the class number of $\mathbb{Q}_n$, ie the $n$-th layer in the cyclotomic $\mathbb{Z}_p$ extension, then $...
debanjana's user avatar
  • 1,161
5 votes
0 answers
201 views

Real field of definition of an abelian variety of CM-type?

Question 0. Can a field of definitions (without automorphisms) of an (almost arbitrary) abelian variety of CM-type, originally defined over ${\mathbb{C}}$, be chosen to be a totally real number ...
Mikhail Borovoi's user avatar
5 votes
0 answers
120 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$, ...
user119481's user avatar
5 votes
0 answers
703 views

maximal abelian extension of quadratic extension of $\mathbb Q_p$

I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
Dirk's user avatar
  • 51
5 votes
0 answers
192 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=...
Alexandra Seceleanu's user avatar
4 votes
0 answers
39 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^\...
Sebastian Monnet's user avatar
4 votes
0 answers
124 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 ...
Sebastian Monnet's user avatar
4 votes
0 answers
122 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\...
Mikhail Borovoi's user avatar
4 votes
0 answers
162 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 ...
Nobody's user avatar
  • 817
4 votes
0 answers
141 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 $$\...
pisco's user avatar
  • 341
4 votes
0 answers
162 views

Does $p$-adic Baker theorem holds in the given case?

Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, and $\mathbb{C}_p$ the completion of the algebraic closure of $\mathbb{Q}_p$. Let $U_p$ be the units $(1+\mathfrak{m})$ of $\...
MAS's user avatar
  • 872
4 votes
0 answers
152 views

What are the applications of $\lambda$-rings to class field theory?

In the book Lambda Rings by Yau, he mentions several areas where $\lambda$-rings can be applied, but he doesn't go into much details. He even includes class field theory in the list, mentioning "...
Lukas Heger's user avatar
4 votes
0 answers
270 views

Explicit invariant map in local class field theory

Let $K$ be a $p$-adic field with algebraic closure $\overline{K}$. Then if $K^\text{nr}$ is the maximal unramified extension of $K$ in $\overline{K}$, there is an explicit invariant map: $$ H^2(\...
Alexander's user avatar
  • 861
4 votes
0 answers
293 views

Reference request for Kummer-Artin-Schreier-Witt theory

I cannot find the following 4 papers by Sekiguchi–Suwa in their works on Kummer–Artin–Schreier–Witt theory: On the unified Kummer–Artin–Schreier–Witt theory, Prépublications du laboratoire de ...
Ehsan Shahoseini's user avatar
4 votes
0 answers
482 views

Euler Systems and Coleman’s Conjecture

I’m trying to work on Coleman’s conjecture for abelian extensions of imaginary quadratic fields. I’ve read most papers by Seo regarding circular distributions. However, I’m a still confused about what ...
Ash's user avatar
  • 99
4 votes
0 answers
192 views

Are there "elementary" proofs of the openness of norm subgroups and of the norm limitation theorem?

Let $K$ be a local field and $L/K$ be a finite extension. Let $L^{ab}$ be the maximal abelian subextension of $K$ in $L$. Write $N_L$ (resp. $N_{L^{ab}}$) for the image of the norm map from $L$ (resp. ...
Simon Pepin Lehalleur's user avatar
4 votes
0 answers
447 views

Reference request: ramified and local geometric class field theory

There are lots of references on global unramified geometric class field theory (following Deligne's $\ell$-adic sheaves approach). There are also some notes talking about how to extend Deligne's ...
wkf's user avatar
  • 637
4 votes
0 answers
233 views

Class fields without class field theory

Is there an English reference for the analytic construction of the Hilbert class field of an imaginary quadratic field without using class field theory? I am in particular interested in a proof of the ...
Shimrod's user avatar
  • 2,335
4 votes
0 answers
189 views

Restricted Iwasawa theory

Let $p$ be a prime number, let $K$ be a number field, and let $L$ be a Galois extension of $K$ such that the Galois group $\Gamma$ of $L$ over $K$ is (continuously) isomorphic to the (additive) group $...
Pablo's user avatar
  • 11.2k
4 votes
0 answers
243 views

Polynomial equations in many variables have solutions (Lang 1952 paper)

I am trying to understand the proof of the following result: Suppose $F$ is a function field in $k$ variables over an algebraically closed field. Let $f_1,...,f_r \in F[x_1,...,x_n]$ be ...
user223794's user avatar
4 votes
0 answers
296 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 ...
ReHsu's user avatar
  • 41