Artin Holomorphy Conjecture

OPENLandmarkConjectureProposed 1923 · Standard version

Canonical statement

Let L/KL/K be a finite Galois extension of number fields with group GG, and let ρ:GGL(V)\rho:G\to\mathrm{GL}(V) be a nontrivial irreducible finite-dimensional complex representation. For every nonzero prime ideal p\mathfrak p of KK, choose a prime of LL above it, let IpI_{\mathfrak p} be its inertia group, and let Frobp\operatorname{Frob}_{\mathfrak p} denote an arithmetic Frobenius element acting on VIpV^{I_{\mathfrak p}}. The Artin LL-function
L(s,ρ,L/K)=pdet ⁣(1ρ(Frobp)NpsVIp)1,s>1, L(s,\rho,L/K)= \prod_{\mathfrak p} \det\!\left(1-\rho(\operatorname{Frob}_{\mathfrak p}) N\mathfrak p^{-s}\mid V^{I_{\mathfrak p}}\right)^{-1}, \qquad \Re s>1,
has an analytic continuation to an entire function on C\mathbb C.
View source LaTeX
Let \(L/K\) be a finite Galois extension of number fields with group \(G\), and let \(\rho:G\to\mathrm{GL}(V)\) be a nontrivial irreducible finite-dimensional complex representation. For every nonzero prime ideal \(\mathfrak p\) of \(K\), choose a prime of \(L\) above it, let \(I_{\mathfrak p}\) be its inertia group, and let \(\operatorname{Frob}_{\mathfrak p}\) denote an arithmetic Frobenius element acting on \(V^{I_{\mathfrak p}}\). The Artin \(L\)-function
\[
  L(s,\rho,L/K)=
  \prod_{\mathfrak p}
  \det\!\left(1-\rho(\operatorname{Frob}_{\mathfrak p})
       N\mathfrak p^{-s}\mid V^{I_{\mathfrak p}}\right)^{-1},
  \qquad \Re s>1,
\]
has an analytic continuation to an entire function on \(\mathbb C\).
Brauer proved meromorphic continuation by expressing Artin characters through induced one-dimensional characters, and holomorphy is known for many solvable, monomial, and automorphic cases. Possible poles have not been excluded for every nontrivial irreducible representation.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.