Namespaces
Variants
Actions

Abstract analytic number theory

From Encyclopedia of Mathematics
Revision as of 19:37, 12 October 2014 by Richard Pinch (talk | contribs) (→‎Arithmetical semi-groups: LaTeX continued)
Jump to: navigation, search

The central concept in abstract analytic number theory is that of an arithmetical semi-group $G$ (defined below). It turns out that the study of such semi-groups and of (real- or complex-valued) functions on them makes it possible on the one hand to apply methods of classical analytic number theory in a unified way to a variety of asymptotic enumeration questions for isomorphism classes of different kinds of explicit mathematical objects. On the other hand, these procedures also lead to abstract generalizations and analogues of ordinary analytic number theory, which may then be applied in a unified way to further enumeration questions about the (mostly non-arithmetical) concrete types of mathematical objects just alluded to.


Arithmetical semi-groups

An arithmetical semi-group is, by definition, a commutative semi-group $G$ with identity element $1$, which contains a countable subset $P$ such that every element $a \ne 1$ in $G$ admits a unique factorization into a finite product of powers of elements of $P$, together with a real-valued mapping $\vert \cdot \vert$ on $G$ such that:

i) $|1| = 1$, $|p| > 1$ for $p \in P$;

ii) $|a b| = |a| \cdot |b|$ for all $a\,,b \in G$;

iii) the total number of elements $a$ with $|a| < x$ is finite, for each $x > 0$.

The elements of $P$ are called the primes of $G$, and $\vert \cdot \vert$ is called the norm mapping on $G$. It is obvious that, corresponding to any fixed $c>1$, the definition $\partial(a) = \log_c|a|$ yields a mapping $\partial$ on $G$ such that:

A) $\partial(1)=0$, $\partial(p)>0$ for $p \in P$;

B) $\partial(ab) = \partial(a) + \partial(b)$ for all $a\,,b \in G$;

C) the total number of elements $a$ with $\partial(a) \le x$ is finite, for each $x > 0$.

Conversely, any real-valued mapping $\partial$ with the properties A)–C) yields a norm on $G$, if one defines $|a| = c^{\partial(a)}$. In cases where such a mapping $\partial$ is of primary interest, $G$ together with $\partial$ is called an additive arithmetical semi-group, and one refers to $\partial$ as the degree mapping on $G$. In most concrete examples of interest, it turns out that the norm or degree mappings represent natural "size" or "dimension" measures which are integer-valued. With an eye to applications to natural examples there is therefore little loss in henceforth restricting attention to either a single integer-valued norm mapping $\vert\cdot\vert$, or a single integer-valued degree mapping $\partial$, on $G$. Depending on which case is being considered, special interest then attaches to the basic counting functions (for $n \in \mathbb{Z}$) $$ G(n) = \#\{ a \in G : |a| = n \} $$ $$ P(n) = \#\{ p \in P : |p| = n \} $$

(or $G^\sharp(n) = \#\{ a \in G : \partial(a) = n \}$, $P^\sharp(n) = \#\{ p \in P : \partial(p) = n \}$, in the additive case).

The prototype of all arithmetical semi-groups is of course the multiplicative semi-group $\mathbb{N}$ of all positive integers $\{1,2,3,\ldots\}$, with its subset $P_{\mathbb{N}}$ of all rational prime numbers $\{2,3,5,7,\ldots\}$. Here one may define the norm of an integer $|n|$ to be $n$, so that the number $\mathbb{N}(n) = 1$ for $n \ge 1$.

The asymptotic behaviour of $\pi(X) = \sum_{n \le x} P_{\mathbb{N}}(n)$ for large $x$ forms the content of the famous prime number theorem, which states that $$ \pi(x) \sim \frac{x}{\log x} \ \text{as}\ x \rightarrow \infty $$ (cf. also de la Vallée-Poussin theorem). A suitably generalized form of this theorem holds for many other naturally-occurring arithmetical semi-groups. For example, it is true for the multiplicative semi-group $G_K$ of all non-zero ideals in the ring $R = R(K)$ of all algebraic integers in a given algebraic number field $K$, with $|I| = \mathop{card}(R/I)$ for any non-zero ideal $I$ in $R$. Here, the prime ideals act as prime elements of the semi-group $G_K$.

A simple but nevertheless interesting example of an additive arithmetical semi-group is provided by the multiplicative semi-group $G-q$ of all monic polynomials in one indeterminate $X$ over a finite field $\mathbb{F}_q$ with $q$ elements, with $\partial a = \mathrm{deg}\, a$ and the set $P_q$ of prime elements represented by the irreducible polynomials (cf. also Irreducible polynomial). Here, $G_q^\sharp(n) = q^n$, and it can be proved that $$ P_q^\sharp (n) = \frac{1}{n} \sum_{r | n} \mu(r) q^{n/r} $$ where $\mu$ is the classical Möbius function on $\mathbb{N}$.

Up to isomorphism, $G_q$ is the simplest special case of the semi-group $G_R$ of all non-zero ideals in the ring $R = R(K)$ of all integral functions in an algebraic function field $K$ in one variable $K$ over $\mathbb{F}_q$.

Arithmetical categories of semi-groups.

Many interesting examples of concrete, but non-classical, arithmetical semi-groups can be found by considering certain specific classes of mathematical objects, such as groups, rings, topological spaces, and so on, together with appropriate "direct product" operations and isomorphism relations for those classes. It is convenient, though admittedly not quite precise, to temporarily ignore the corresponding morphisms and refer to such classes of objects as "categories" (cf. also Category).

Now consider some category which admits a direct "product" (or "sum" ) operation on its objects. Suppose that this operation preserves -isomorphisms, is commutative and associative up to -isomorphism, and that contains a "zero" object (unique up to -isomorphism) such that for all objects in . Then suppose that a theorem of Krull–Schmidt type is valid for , i.e., suppose that every object can be expressed as a finite -product of objects that are indecomposable with respect to , in a way that is unique up to permutation of terms and -isomorphism. In most natural situations at least, one may reformulate these conditions on by stating that the various isomorphism classes of objects in form a set that is

i) a commutative semi-group with identity with respect to the multiplication operation ;

ii) a semi-group with the unique factorization property with respect to the isomorphism classes of the indecomposable objects in .

For this reason, one may call the -isomorphism classes of indecomposable objects the "primes" of or .

In many interesting cases (some of which are illustrated below), the category also admits a "norm" function on objects which is invariant under -isomorphism and has the following properties:

i) , for every indecomposable object ;

ii) for all objects , ;

iii) the total number of -isomorphism classes of objects of norm is finite, for each real .

Obviously, in such circumstances, the definition provides a norm function on satisfying the required conditions for an arithmetical semi-group. For these reasons, a category with such further properties may be called an arithmetical category.

Now consider some concrete illustrations for the above concepts, taken from [a2], [a3].

a) (Finite Abelian groups; cf. Abelian group.) One of the simplest non-trivial examples of an arithmetical category is provided by the category of all finite Abelian groups, together with the usual direct product operation and the norm function . Here, the Krull–Schmidt theorem reduces to the well-known fundamental theorem on finite Abelian groups, the indecomposable objects of this kind being simply the various cyclic groups of prime-power order (cf. also Cyclic group).

b) The category of all semi-simple associative rings of finite cardinality (cf. also Associative rings and algebras).

c) The category of all semi-simple finite-dimensional associate algebras over a given field (cf. also Associative rings and algebras; Semi-simple ring).

d) The category of all semi-simple finite-dimensional Lie algebras over a given field (cf. also Lie algebra).

e) The category of all compact simply-connected globally symmetric Riemannian manifolds (cf. also Globally symmetric Riemannian space).

f) The category of topological spaces of finite cardinality (cf. also Topological space) with the property that a space lies in if and only if each connected component of lies in .

Zeta-functions and enumeration problems.

For a given arithmetical semi-group , information on the basic counting functions , can often be obtained, algebraically or with the aid of analysis, via a certain series-production relation called the Euler product formula for .

Indeed, ignoring questions of convergence for the moment, note that (by the unique factorization into prime elements of ) the series

As a function of , is called the zeta-function of . If is an additive arithmetical semi-group with for some integer , one may substitute the symbol for and obtain the modified Euler product formula:

then is called the modified zeta-function (or generating function) of .

Some explicit illustrations of zeta-functions and Euler products are given below.

The Riemann zeta-function.

For the basic semi-group of positive integers, the zeta-function is

it is called the Riemann zeta-function, and the classical Euler product formula reads:

The Dedekind zeta-function.

Let denote the (above-mentioned) arithmetical semi-group of all non-zero "integral" ideals in a given algebraic number field . The zeta-function for is then

where denotes the total number of ideals of norm in ; it is known as the Dedekind zeta-function of . (See also Zeta-function.)

Monic polynomials over a finite field.

For the additive arithmetical semi-group of all monic polynomials in one indeterminate over (see above), the generating function may be written as

and the above-mentioned explicit formula for can be deduced as an algebraic consequence of the Euler product for .

Finite Abelian groups.

For the category of all finite Abelian groups, the zeta-function may be written as

where denotes the total number of isomorphism classes of Abelian groups of order . The discussion of "primes" in given above shows that here the Euler product may be written as a double product

by the Euler product formula for the Riemann zeta-function.

For the subcategory of all finite Abelian -groups, where is a fixed prime number (cf. also -group), it is natural to regard as an additive arithmetical category, with degree mapping defined by

In that case, has exactly one prime of degree for each . Therefore the Euler product formula implies that has the generating function

where is the total number of isomorphism classes of Abelian groups of degree in the above sense. In fact, for , equals the total number of ways of partitioning into a sum of positive integers, which is also the number of pseudo-metrizable finite topological spaces of cardinality (see f) above). Thus, the corresponding latter category (say) has the same generating function as .

Types of arithmetical semi-groups.

Bearing in mind the emphasis on concrete realizations of arithmetical semi-groups in a variety of areas of mathematics, it is reasonable to classify them and to base further investigations according to common features which may be exhibited by the initial enumeration theorems for particular sets of examples. In that way, further questions and enumeration problems may be investigated uniformly under suitable covering assumptions or "axioms" appropriate for particular natural sets of examples. On this basis, a small number of special types of arithmetical semi-groups have so far (2000) been found to predominate amongst natural concrete examples.

Classical and axiom- type semi-groups.

The strictly classical arithmetical semi-groups of analytic number theory are the multiplicative semi-group of all positive integers and the multiplicative semi-group of all non-zero ideals in the ring of all algebraic integers in a given algebraic number field (see above). For example, H. Weber and E. Landau proved theorems to the effect that

(a1)

where is the semi-group of all "integral" ideals in a given algebraic number field . Landau in particular used (a1) in order to extend many asymptotic results about arithmetical functions on to similar functions on .

In quite a different direction, P. Erdős and G. Szekeres proved in 1934 for the category of all finite Abelian groups that

(a2)

where .

At a later stage, for the category of semi-simple finite rings, I.G. Connell and J. Knopfmacher independently proved that

(a3)

where .

Strong concrete motivation was available for unifying certain further developments under the umbrella of general studies of an abstract arithmetical semi-group satisfying the so-called axiom : There exist constants , and (all depending on ), such that

Theorems based on the assumption of axiom often simultaneously generalize earlier results for , and , and provide additional asymptotic enumeration theorems for a variety of arithmetical categories like and many others.

Axiom type semi-groups.

Consideration of the examples of multiplicative semi-groups of monic polynomials in one indeterminate, and also of enumeration theorems for some infinite families of explicit additive arithmetical categories connected with rings of integral functions in algebraic function fields over (cf. [a4], [a5]), provides a wealth of motivation for studying an abstract additive arithmetical semi-group satisfying axiom : There exist constants , and (all depending on ) such that

With this axiom as a basis instead of axiom , problems similar to those outlined above may be investigated, with similar motivation to those stimulating the axiom- type studies. It then turns out that the ensuing results and methods of proof sometimes but not always possess parallels to those subject to axiom .

A curious illustration of a non-parallel result arises with the abstract prime number theorem (or abstract prime element theorem) subject to axiom . In 1976, Knopfmacher derived such a theorem, on the initial foundation of some plausible-looking lemmas parallel to ones under axiom . However, in 1989 and later, other authors independently found and then closed certain gaps in those lemmas. The combined efforts of various authors then led to a final theorem with two cases, depending on whether or not ; contributions to this were made by S.D. Cohen, K.-H. Indlekofer, E. Manstavičius, R. Warlimont and W.-B. Zhang (see e.g. [a1], [a4]).

A strange point about this result is that the case holds for all the natural examples which initially motivated axiom . Although ingenious examples in which have also been constructed, those found up to now might be viewed as somewhat pathological or contrived. Therefore, in terms of the "natural-example-based approach" to this subject outlined in the beginning, it would not be unreasonable to continue the present (2000) direction of investigation under the combined assumption of axiom with the additional axiom

In fact (see e.g. [a3], [a5]) many consequences of axiom are unrelated to the value of , and so the simplifying additional axiom would only sometimes become relevant (but nevertheless reasonable to then assume at such a stage).

Axiom .

The examples listed earlier included many involving an additive arithmetical category for which and have quite a different behaviour from that given by axiom . Here, although the objects in may sometimes be rather complicated, the presently (as of 2000) known structure theorems for those objects often lead to a relatively simple estimation for or . Surprisingly perhaps, it turns out that sharp asymptotic information can then be deduced about or by methods of classical-type arithmetical partition theory, which were initiated by G.H. Hardy and G. Ramanujan in 1917. These methods belong to a quite different branch of classical analytic number theory from those involved in the earlier discussion of axiom .

On the basis of these new types of examples as motivation, one is led to investigations of an additive arithmetical semi-group satisfying axiom : There exist constants , and (all depending on ) such that

A simple example of axiom is provided when denotes either the category of finite Abelian -groups (cf. also -group), or the category of pseudo-metrizable finite topological spaces (cf. also Pseudo-metric space).

Similar formulas hold for the categories of compact simply-connected Lie groups, or semi-simple finite-dimensional Lie algebras over an algebraically closed field of characteristic zero.

Asymptotic deductions about or , subject to axiom , could perhaps be referred to as "inverse additive abstract prime number theorems" . Based on methods of generalized arithmetical partition theory, various theorems of this kind can be derived, as well as results about "average values" of arithmetical functions on , and on asymptotic "densities" of certain subsets of , subject to axiom .

Axiom .

Yet another natural class of additive arithmetical semi-groups is provided by those satisfying axiom : "Almost all" elements of are prime, in the sense that for sufficiently large , and as .

It is known that various classes of finite graphs define arithmetical semi-groups with this slightly surprising property. It is also known that, when , the multiplicative semi-group of all monic polynomials in indeterminates over a finite field has the property stipulated in axiom .

See Abstract prime number theory for a further discussion of arithmetical semi-groups and their corresponding abstract prime number theorems.

References

[a1] K.-H. Indlekofer, E. Manstavičius, R. Warlimont, "On a certain class of infinite products with an application to arithmetical semigroups" Archiv Math. , 56 (1991) pp. 446–453
[a2] J. Knopfmacher, "Abstract analytic number theory" , North-Holland (1975) (Reprinted: Dover, 1990)
[a3] J. Knopfmacher, "Analytic arithmetic of algebraic function fields" , M. Dekker (1979)
[a4] W.-B. Zhang, "Elementary proofs of the abstract prime number theorem for algebraic function fields" Trans. Amer. Math. Soc. , 332 (1992) pp. 923–937
[a5] J. Knopfmacher, W.-B. Zhang, "Number theory arising from finite fields, analytic and probabilistic theory" , M. Dekker (2001)
How to Cite This Entry:
Abstract analytic number theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abstract_analytic_number_theory&oldid=33588
This article was adapted from an original article by John Knopfmacher (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article