Artin L-function: Difference between revisions
imported>Richard Pinch (links) |
mNo edit summary |
||
Line 9: | Line 9: | ||
: <math> L (K/k, \rho, s) = \prod_{\mathfrak{p}} \frac{1}{\det \left( 1 - \varphi_{\mathfrak{P}} \mathfrak{N} \left(\mathfrak{p} \right)^{-s} ; V^{I_{\mathfrak{P}}} \right)}. </math> | : <math> L (K/k, \rho, s) = \prod_{\mathfrak{p}} \frac{1}{\det \left( 1 - \varphi_{\mathfrak{P}} \mathfrak{N} \left(\mathfrak{p} \right)^{-s} ; V^{I_{\mathfrak{P}}} \right)}. </math> | ||
The product extends over the set of prime ideals of ''k'', and <math> \mathfrak{P} </math> is an arbitrarily chosen prime ideal of ''K'' dividing <math> \mathfrak{p} </math>. Also, <math>\varphi_{\mathfrak{P}} </math> is the [[Frobenius automorphism]] in ''G'' associated to <math> \mathfrak{P} </math>, and <math> I_{\mathfrak{P}} </math> is the corresponding inertial group. The determinant in the definition is independent of the choice of the prime ideal <math> \mathfrak{P} </math>. Also, although the [[Frobenius automorphism]] is only determined up to an element of <math> I_{\mathfrak{P}} </math>, the determinant is independent of this choice. | The product extends over the set of prime ideals of ''k'', and <math> \mathfrak{P} </math> is an arbitrarily chosen prime ideal of ''K'' dividing <math> \mathfrak{p} </math>. Also, <math>\varphi_{\mathfrak{P}} </math> is the [[Frobenius automorphism]] in ''G'' associated to <math> \mathfrak{P} </math>, and <math> I_{\mathfrak{P}} </math> is the corresponding inertial group. The determinant in the definition is independent of the choice of the prime ideal <math> \mathfrak{P} </math>. Also, although the [[Frobenius automorphism]] is only determined up to an element of <math> I_{\mathfrak{P}} </math>, the determinant is independent of this choice.[[Category:Suggestion Bot Tag]] |
Latest revision as of 12:00, 13 July 2024
![](http://s9.addthis.com/button1-share.gif)
In mathematics, Artin L-functions are meromorphic functions associated to Galois extensions of global fields. More precisely, if K/k is such an extension with Galois group G, then to each representation of G on a finite dimensional complex vector space, there is an associated Artin L-function. When K and k are algebraic number fields, Artin L-functions generalize Dedekind zeta functions, which are just the Artin L-functions associated to trivial extensions. Artin L-functions are important because they encode arithmetic information about the extension. For instance, the Stark conjectures predict that the coefficient of the leading term of the Taylor series expansion of an Artin L-function around s=0 provides information about the units of the field K. This can be viewed as a generalization of the analytic class number formula.
Definition
Let K/k be Galois extension of global fields, and let be a representation of the Galois group on a finite dimensional complex vector space V. The Artin L-function associated to is defined by the Euler product
The product extends over the set of prime ideals of k, and is an arbitrarily chosen prime ideal of K dividing . Also, is the Frobenius automorphism in G associated to , and is the corresponding inertial group. The determinant in the definition is independent of the choice of the prime ideal . Also, although the Frobenius automorphism is only determined up to an element of , the determinant is independent of this choice.