Skip to content

Artin conductor

The Artin conductor assigns a ramification-sensitive number or ideal to a Galois-group character.

Version
v1 · 2026-09-28 · History
Domain-specific #
7567
Origin domain
Algebraic Number Theory

Core Idea

The Artin conductor is the ramification invariant assigned to a character of the Galois group of a finite extension of local or global fields. Locally, for a character \(\chi\) and lower-numbered ramification groups \(G_i\), it is the integer [ f(\chi)=\sum_{i\geq 0}\frac{|G_i|}{|G_0|}\bigl(\chi(1)-\chi(G_i)\bigr), ] where \(\chi(G_i)\) denotes the character's average on \(G_i\). Each summand records the failure of the corresponding ramification subgroup to act trivially.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree any five-year-old version collapses the conductor into a crude count or messiness score, losing that it is a weighted sum over the ramification filtration of a character's failure to act trivially.

 

No faithful explanation at this level. All three generators agree a ten-year-old version must drop the character and the filtration weighting, teaching a count of bad primes, which is a different invariant.

Filtration-Weighted Ramification Measure

When you extend a number system, for example by adjoining a root to the rational numbers, the extension has a symmetry group called its Galois group, and a character is a function on that group built from a representation of it, so it records how the group acts. For each prime there is a nested chain of subgroups G_0, G_1, G_2, ... called the ramification filtration, which measures, in finer and finer degrees, how much the symmetries fail to leave the prime alone. The Artin conductor of a character is a single integer built from that chain: each subgroup in the chain contributes the difference between the character's value at the identity and its average over that subgroup, scaled by how big the subgroup is relative to G_0. So each layer contributes only when that layer of symmetry acts nontrivially, and a character whose extension is unramified at the prime gets conductor zero. The layers beyond the first isolate what is called the wild part, the Swan conductor. For a global field one computes such an exponent at each prime and multiplies the primes to those powers into a single ideal, where unramified primes contribute nothing, and this local-to-global packaging is what lets the conductor appear in the functional equation of an Artin L-function and in the conductor-discriminant formula.

 

The Artin conductor is the ramification invariant attached to a character of the Galois group of a finite extension of local or global fields. Locally, for a character chi and the lower-numbered ramification groups G_i, it is the integer f(chi) = sum over i >= 0 of (|G_i|/|G_0|) times (chi(1) - chi(G_i)), where chi(G_i) denotes the character's average value on G_i. Each summand records the failure of the corresponding ramification subgroup to act trivially, so an unramified character has conductor zero, and the terms with i > 0 isolate the wild contribution known as the Swan conductor. Globally, the local exponents are assembled into the ideal f(chi) = product over primes p of p raised to f(chi, p); unramified primes contribute exponent zero, so only ramified primes affect the product. That local-to-global construction is what allows the conductor to enter the functional equation of an Artin L-function and the conductor-discriminant formula. The defining operation is therefore not merely attaching a number to a representation: it weights the character's nontrivial action across the ramification filtration and then packages those local defects prime by prime. Remove the filtration-sensitive computation and you are left with a different representation invariant.

Scope of Application

The Artin conductor applies within algebraic number theory wherever a Galois character is evaluated against the ramification filtration of a finite local or global field extension under a declared numbering and normalization.

  • Local ramification measurement — weighted character-average defects across lower-numbered ramification groups yield the local nonnegative conductor exponent.
  • Unramifiedness testing — vanishing defects force conductor zero, allowing an unramified local character or prime to be recognized within the stated representation setting.
  • Tame–wild decomposition — separating the i = 0 term from the higher terms distinguishes the tame contribution from the Swan conductor.
  • Global conductor ideals — local exponents at decomposition groups become prime powers in a finite ideal product, with unramified primes omitted.

Clarity

Naming the Artin conductor makes several related invariants separable. The local conductor is an integer attached to a character and a local extension; the global conductor is an ideal assembled from those local exponents. Within the local integer, the \(i=0\) contribution records the tame part, whereas the terms for \(i>0\) form the Swan conductor and isolate wild ramification.

Manages Complexity

Ramification data comprise an entire descending filtration of subgroups together with a character's action at every level. The local Artin conductor compresses that profile to a weighted integer: at each ramification group G_i, it tracks the defect χ(1) − χ(G_i), weights it by the order ratio |G_i|/|G_0|, and sums. This turns many subgroup-by-subgroup questions into a few legible outcomes.

Abstract Reasoning

The local formula licenses a diagnostic move from the averaged character values on the ramification groups to the depth and type of nontrivial ramified action. If every defect χ(1) − χ(G_i) vanishes, the character is unramified and the conductor is zero. A nonzero i = 0 contribution with no higher contribution diagnoses tame ramification, whereas positive terms for i > 0 identify the wild part summarized by the Swan conductor.

Knowledge Transfer

Within algebraic number theory, the Artin conductor transfers literally from local ramification calculations to global conductor ideals and across characters or representations for which the same filtered action is defined. The mathematical cargo remains fixed: lower-numbered ramification groups, averaged character values, weighted defects of trivial action, the tame i = 0 contribution, the higher Swan contribution, and prime-by-prime assembly. The local diagnostics carry as well—conductor zero for unramified action and positive higher terms for wild ramification—while the global construction transports those exponents into the support and powers of an ideal used in Artin L-function and conductor–discriminant settings.

Relationships to Other Abstractions

Local relationship map for Artin conductorParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Artin conductorDOMAINPrime abstraction: Invariance — is a kind ofInvariancePRIME

Current abstraction Artin conductor Domain-specific

Parents (1) — more general patterns this builds on

  • Artin conductor is a kind of Invariance Prime

    The preserved feature is the local integer f(χ) or the global conductor ideal 𝔣(χ).

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Artin conductor sits in a sparse region of the domain-specific corpus (82nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08