Artin L-function order at one

ID: artin-l-function-order-at-one

Assume that every nontrivial one-dimensional Artin L-function over the intermediate fields is holomorphic and nonzero at one, while the trivial one is the base Dedekind zeta function with a simple pole. By Brauer induction, with integers and linear characters . Compatibility of Artin L-functions with induced representations expresses as the corresponding product of . Its order at one is . Frobenius reciprocity turns this sum into . Hence every nontrivial irreducible character gives order zero and a holomorphic nonzero function near one. This local conclusion does not assert global Artin holomorphy.

New to topics? Read the docs here!