1925
Comment:
|
2206
|
Deletions are marked like this. | Additions are marked like this. |
Line 19: | Line 19: |
An ''Euler product'' is an infinite product expansion of a Dirichlet series, indexed by the primes. For a Dirichlet series of the form $$F(s) = \sum_{n = 1}^\infty \frac{a_n}{n^s},$$ the corresponding Euler product (if it exists) has the form $$F(s) = \prod_p \left(1 - \frac{a_p}{p^s}\right)^{-1}.$$ In many cases, an L-series can be expressed as an Euler product. By definition, if an L-series has a Galois representation then it has an Euler product. Some examples of common L-series with Euler products include: | An ''Euler product'' is an infinite product expansion of a Dirichlet series, indexed by the primes. For a Dirichlet series of the form $$F(s) = \sum_{n = 1}^\infty \frac{a_n}{n^s},$$ the corresponding Euler product (if it exists) has the form $$F(s) = \prod_p \left(1 - \frac{a_p}{p^s}\right)^{-1}.$$ To define an L-series by an Euler product in Sage, one can use the LSeriesAbstract class. sage: from psage.lseries.eulerprod import LSeriesAbstract sage: L = LSeriesAbstract(conductor=1, hodge_numbers=[0], weight=1, epsilon=1, poles=[1], residues=[-1], base_field=QQ) In many cases, an L-series can be expressed as an Euler product. By definition, if an L-series has a Galois representation then it has an Euler product. Some examples of common L-series with Euler products include: |
Tutorial Outline!
Introduction
Definition (Amy and Cassie)
- - Dirichlet L-series and zeta functions (Amy) - for elliptic curves (Cassie) - for modular forms (Cassie)
Basic Functions (Amy)
- - not everything, but hit the highlights
Euler Product (Lola)
- - translating between Euler product and Dirichlet series
An Euler product is an infinite product expansion of a Dirichlet series, indexed by the primes. For a Dirichlet series of the form
To define an L-series by an Euler product in Sage, one can use the LSeriesAbstract class.
sage: from psage.lseries.eulerprod import LSeriesAbstract sage: L = LSeriesAbstract(conductor=1, hodge_numbers=[0], weight=1, epsilon=1, poles=[1], residues=[-1], base_field=QQ)
In many cases, an L-series can be expressed as an Euler product. By definition, if an L-series has a Galois representation then it has an Euler product. Some examples of common L-series with Euler products include:
1. Riemann zeta function:
2. Dirichlet L-function:
3. L-function of an Elliptic Curve (over \mathbb{Q}):
Not all L-series have an associated Euler product, however. For example, the Epstein Zeta Functions, defined by
where Q(u,v) = au^2 + buv + cv^2 is a positive definite quadratic form, has a functional equation but, in general, does not have an Euler product.
Functional Equation
Taylor Series
Zeros and Poles
Analytic Rank
Precision Issues
Advanced Topics:
- - creating a new L-series class
Finding L-series from incomplete information