Conductor (class field theory)

Local conductor

Let L/K be a finite abelian extension of non-archimedean local fields. The conductor of L/K, denoted \mathfrak{f}(L/K), is the smallest non-negative integer n such that the higher unit group :U^{(n)} = 1 + \mathfrak{m}_K^n = \left{u\in\mathcal{O}^\times: u \equiv 1, \left(\operatorname{mod} \mathfrak{m}_K^n\right)\right}

is contained in N**L/K(L×), where N**L/K is field norm map and \mathfrak{m}_K is the maximal ideal of K. Equivalently, n is the smallest integer such that the local Artin map is trivial on U_K^{(n)}. Sometimes, the conductor is defined as \mathfrak{m}_K^n where n is as above.

The conductor of an extension measures the ramification. Qualitatively, the extension is unramified if, and only if, the conductor is zero, and it is tamely ramified if, and only if, the conductor is 1. More precisely, the conductor computes the non-triviality of higher ramification groups: if s is the largest integer for which the "lower numbering" higher ramification group Gs is non-trivial, then \mathfrak{f}(L/K) = \eta_{L/K}(s) + 1, where ηL/K is the function that translates from "lower numbering" to "upper numbering" of higher ramification groups.

The conductor of L/K is also related to the Artin conductors of characters of the Galois group Gal(L/K). Specifically, :\mathfrak{m}K^{\mathfrak{f}(L/K)} = \operatorname{lcm}\limits\chi \mathfrak{m}K^{\mathfrak{f}\chi}

where χ varies over all multiplicative complex characters of Gal(L/K), \mathfrak{f}_\chi is the Artin conductor of χ, and lcm is the least common multiple.

More general fields

The conductor can be defined in the same way for L/K a not necessarily abelian finite Galois extension of local fields. However, it only depends on Lab/K, the maximal abelian extension of K in L, because of the "norm limitation theorem", which states that, in this situation, : N_{L/K}\left(L^\times\right) = N_{L^{\text{ab}}/K} \left(\left(L^{\text{ab}}\right)^\times \right).

Additionally, the conductor can be defined when L and K are allowed to be slightly more general than local, namely if they are complete valued fields with quasi-finite residue field.

Archimedean fields

Mostly for the sake of global conductors, the conductor of the trivial extension R/R is defined to be 0, and the conductor of the extension C/R is defined to be 1.

Global conductor

Algebraic number fields

The conductor of an abelian extension L/K of number fields can be defined, similarly to the local case, using the Artin map. Specifically, let θ : Im → Gal(L/K) be the global Artin map where the modulus m is a defining modulus for L/K; we say that Artin reciprocity holds for m if θ factors through the ray class group modulo m. We define the conductor of L/K, denoted \mathfrak{f}(L/K), to be the highest common factor of all moduli for which reciprocity holds; in fact reciprocity holds for \mathfrak{f}(L/K), so it is the smallest such modulus.

Example

• Taking as base the field of rational numbers, the Kronecker–Weber theorem states that an algebraic number field K is abelian over Q if and only if it is a subfield of a cyclotomic field \mathbf{Q}\left(\zeta_n\right), where \zeta_n denotes a primitive nth root of unity. If n is the smallest integer for which this holds, the conductor of K is then n if K is fixed by complex conjugation and n \infty otherwise.
• Let L/K be \mathbf{Q}\left(\sqrt{d}\right)/\mathbf{Q} where d is a squarefree integer. Then,
• : \mathfrak{f}\left(\mathbf{Q}\left(\sqrt{d}\right)/\mathbf{Q}\right) = \begin{cases} \left|\Delta_{\mathbf{Q}\left(\sqrt{d}\right)}\right| & \text{for }d 0 \ \infty\left|\Delta_{\mathbf{Q}\left(\sqrt{d}\right)}\right| & \text{for }d \end{cases} : where \Delta_{\mathbf{Q}(\sqrt{d})} is the discriminant of \mathbf{Q}\left(\sqrt{d}\right)/\mathbf{Q}.

Relation to local conductors and ramification

The global conductor is the product of local conductors: :\mathfrak{f}(L/K) = \prod_\mathfrak{p}\mathfrak{p}^{\mathfrak{f}\left(L_\mathfrak{p}/K_\mathfrak{p}\right)}.

As a consequence, a finite prime is ramified in L/K if, and only if, it divides \mathfrak{f}(L/K). An infinite prime v occurs in the conductor if, and only if, v is real and becomes complex in L.

Notes

References

• {{Citation | author-link1=Emil Artin | author2-link=John Tate (mathematician) | orig-date=1967
• {{Citation | author-link=Henri Cohen (number theorist)
• {{Citation
• {{Citation | author-link=Jean-Pierre Serre | editor-last=Cassels | editor-first=J. W. S. | editor-link=J. W. S. Cassels | editor2-last=Fröhlich | editor2-first=Albrecht | editor2-link=Albrecht Fröhlich

References

1. {{harvnb. Serre. 1967
2. As in {{harvnb. Neukirch. 1999
3. {{harvnb. Neukirch. 1999
4. {{harvnb. Milne. 2008
5. {{harvnb. Serre. 1967
6. {{harvnb. Artin. Tate. 2009
7. As in {{harvnb. Serre. 1967
8. {{harvnb. Serre. 1967
9. {{harvnb. Milne. 2008
10. As in {{harvnb. Artin. Tate. 2009
11. {{harvnb. Cohen. 2000
12. {{harvnb. Milne. 2008
13. {{harvnb. Janusz. 1973
14. Some authors omit infinite places from the conductor, e.g. {{harvnb. Neukirch. 1999
15. (2007). "Introduction to Modern Number Theory".
16. {{harvnb. Milne. 2008
17. For the finite part {{harvnb. Neukirch. 1999. Cohen. 2000
18. {{harvnb. Neukirch. 1999