Hilbert's 9th problem

Let KK be an algebraic number field with adele ring AK\mathbf{A}_K, and let L/KL/K be a finite Galois extension with Galois group G=Gal(L/K)G=\mathrm{Gal}(L/K). Let

ρ:GGL(V),VCn,\rho : G \longrightarrow GL(V), \qquad V \cong \mathbb{C}^n,

be an irreducible complex representation of GG of degree nn.

For a prime p\mathfrak{p} of KK choose a prime P\mathfrak{P} of LL above p\mathfrak{p}, let IPGI_{\mathfrak{P}}\subseteq G be its inertia group, let σP\sigma_{\mathfrak{P}} be a Frobenius element of the decomposition group at P\mathfrak{P} (so that σP\sigma_{\mathfrak{P}} is determined modulo IPI_{\mathfrak{P}}), let VIPV^{I_{\mathfrak{P}}} be the subspace of IPI_{\mathfrak{P}}-invariant vectors, and let NpN\mathfrak{p} denote the absolute norm of p\mathfrak{p}. The Artin LL-function of ρ\rho is

L(s,ρ,L/K)=pdet(1ρ(σP)VIPNps)1,L(s,\rho,L/K)=\prod_{\mathfrak{p}}\det\Bigl(1-\rho(\sigma_{\mathfrak{P}})\big|_{V^{I_{\mathfrak{P}}}}\,N\mathfrak{p}^{-s}\Bigr)^{-1},

the product being over all finite primes p\mathfrak{p} of KK and independent of the choices of P\mathfrak{P}; it converges for Re(s)>1\operatorname{Re}(s)>1.

For a cuspidal automorphic representation πvπv\pi \cong \bigotimes_v' \pi_v of GL(n,AK)GL(n,\mathbf{A}_K), unitarily normalized, let

L(s,π)=vL(s,πv)L(s,\pi)=\prod_{v \nmid \infty} L(s,\pi_v)

be its automorphic LL-function, the Euler product over the finite places vv of KK of the standard local LL-factors attached to the local components πv\pi_v; it converges in a right half-plane.

Then: for every such KK, LL, and every irreducible representation ρ\rho of Gal(L/K)\mathrm{Gal}(L/K) of degree nn, there exists a cuspidal automorphic representation π\pi of GL(n,AK)GL(n,\mathbf{A}_K) such that

L(s,π)=L(s,ρ,L/K)L(s,\pi)=L(s,\rho,L/K)

as Euler products, i.e. the local factors agree at every finite place of KK.

Sources & referencesView supporting material

Primary source

Wikipedia

Additional references

  1. Wikipedia, Hilbert's ninth problem, the article this problem comes from.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.