In
mathematics, the Artin–Mazur
zeta function
In mathematics, a zeta function is (usually) a function analogous to the original example, the Riemann zeta function
: \zeta(s) = \sum_^\infty \frac 1 .
Zeta functions include:
* Airy zeta function, related to the zeros of the Airy function
* ...
, named after
Michael Artin
Michael Artin (; born 28 June 1934) is a German-American mathematician and a professor emeritus in the Massachusetts Institute of Technology mathematics department, known for his contributions to algebraic geometry.[Barry Mazur
Barry Charles Mazur (; born December 19, 1937) is an American mathematician and the Gerhard Gade University Professor at Harvard University. His contributions to mathematics include his contributions to Wiles's proof of Fermat's Last Theorem in ...]
, is a function that is used for studying the
iterated function
In mathematics, an iterated function is a function (that is, a function from some set to itself) which is obtained by composing another function with itself a certain number of times. The process of repeatedly applying the same function ...
s that occur in
dynamical systems
In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water in ...
and
fractals
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as ill ...
.
It is defined from a given function
as the
formal power series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial s ...
:
where
is the set of
fixed points of the
th iterate of the function
, and
is the number of fixed points (i.e. the
cardinality
In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set A = \ contains 3 elements, and therefore A has a cardinality of 3. Beginning in the late 19th century, this concept was generalized ...
of that set).
Note that the zeta function is defined only if the set of fixed points is finite for each
. This definition is formal in that the series does not always have a positive
radius of convergence
In mathematics, the radius of convergence of a power series is the radius of the largest disk at the center of the series in which the series converges. It is either a non-negative real number or \infty. When it is positive, the power series ...
.
The Artin–Mazur zeta function is invariant under
topological conjugation In mathematics, two functions are said to be topologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy, and related-but-distinct of flows, are important in the study of iterated func ...
.
The
Milnor–Thurston theorem states that the Artin–Mazur zeta function of an interval map
is the inverse of the
kneading determinant of
.
Analogues
The Artin–Mazur zeta function is formally similar to the
local zeta function In number theory, the local zeta function (sometimes called the congruent zeta function or the Hasse–Weil zeta function) is defined as
:Z(V, s) = \exp\left(\sum_^\infty \frac (q^)^m\right)
where is a non-singular -dimensional projective algebr ...
, when a
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given tw ...
on a compact manifold replaces the
Frobenius mapping for an
algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers ...
over a
finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subt ...
.
The
Ihara zeta function In mathematics, the Ihara zeta function is a zeta function associated with a finite graph. It closely resembles the Selberg zeta function, and is used to relate closed walks to the spectrum of the adjacency matrix. The Ihara zeta function was firs ...
of a graph can be interpreted as an example of the Artin–Mazur zeta function.
See also
*
Lefschetz number
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is name ...
*
Lefschetz zeta-function
References
*
*
*
*
{{DEFAULTSORT:Artin-Mazur zeta function
Zeta and L-functions
Dynamical systems
Fixed points (mathematics)