Multiplicative sequence

Last updated December 15, 2024

In mathematics, a multiplicative sequence or m-sequence is a sequence of polynomials associated with a formal group structure. They have application in the cobordism ring in algebraic topology.

Definition

Let K_n be polynomials over a ring A in indeterminates p₁, ... weighted so that p_i has weight i (with p₀ = 1) and all the terms in K_n have weight n (in particular K_n is a polynomial in p₁, ..., p_n). The sequence K_n is multiplicative if the map

K:\sum _{n=0}^{\infty }q_{n}z^{n}\mapsto \sum _{n=0}^{\infty }K_{n}(q_{1},\cdots ,q_{n})z^{n}

is an endomorphism of the multiplicative monoid $(A[x_{1},x_{2},\cdots ][[z]],\cdot )$ , where $q_{n}\in A[x_{1},x_{2},\cdots ]$ .

The power series

K(1+z)=\sum K_{n}(1,0,\ldots ,0)z^{n}

is the characteristic power series of the K_n. A multiplicative sequence is determined by its characteristic power series Q(z), and every power series with constant term 1 gives rise to a multiplicative sequence.

To recover a multiplicative sequence from a characteristic power series Q(z) we consider the coefficient of z^j in the product

\prod _{i=1}^{m}Q(\beta _{i}z)\

for any m > j. This is symmetric in the β_i and homogeneous of weight j: so can be expressed as a polynomial K_j(p₁, ..., p_j) in the elementary symmetric functions p of the β. Then K_j defines a multiplicative sequence.

Examples

As an example, the sequence K_n = p_n is multiplicative and has characteristic power series 1 + z.

Consider the power series

Q(z)={\frac {\sqrt {z}}{\tanh {\sqrt {z}}}}=1-\sum _{k=1}^{\infty }(-1)^{k}{\frac {2^{2k}}{(2k)!}}B_{k}z^{k}\

where B_k is the k-th Bernoulli number. The multiplicative sequence with Q as characteristic power series is denoted L_j(p₁, ..., p_j).

The multiplicative sequence with characteristic power series

Q(z)={\frac {2{\sqrt {z}}}{\sinh 2{\sqrt {z}}}}\

is denoted A_j(p₁,...,p_j).

The multiplicative sequence with characteristic power series

Q(z)={\frac {z}{1-\exp(-z)}}=1+{\frac {x}{2}}-\sum _{k=1}^{\infty }(-1)^{k}{\frac {B_{k}}{(2k)!}}z^{2k}\

is denoted T_j(p₁,...,p_j): these are the Todd polynomials .

Genus

The genus of a multiplicative sequence is a ring homomorphism, from the cobordism ring of smooth oriented compact manifolds to another ring, usually the ring of rational numbers.

For example, the Todd genus is associated to the Todd polynomials with characteristic power series ${\frac {z}{1-\exp(-z)}}$ .

Related Research Articles

In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers $n \geq k \geq 0$ and is written $It is the coefficient of the x k term in the polynomial expansion of the binomial power (1 + x) n; this coefficient can be computed by the multiplicative formula$

In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function $has a root at, then, taking the limit value at, is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function.$

In mathematics, a square-free integer (or squarefree integer) is an integer which is divisible by no square number other than 1. That is, its prime factorization has exactly one factor for each prime that appears in it. For example, 10 = 2 ⋅ 5 is square-free, but 18 = 2 ⋅ 3 ⋅ 3 is not, because 18 is divisible by 9 = 3². The smallest positive square-free numbers are

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.

<span class="mw-page-title-main">Exponentiation</span> Arithmetic operation

In mathematics, exponentiation is an operation involving two numbers: the base and the exponent or power. Exponentiation is written as $b n$ , where $b$ is the base and $n$ is the power; often said as " $b$ to the power $n$ ". When $n$ is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, $b n$ is the product of multiplying $n$ bases: $In particular, .$

In mathematics, a generating function is a representation of an infinite sequence of numbers as the coefficients of a formal power series. Generating functions are often expressed in closed form, by some expression involving operations on the formal series.

<span class="mw-page-title-main">Root of unity</span> Number that has an integer power equal to 1

In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power $n$ . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group characters, and the discrete Fourier transform.

In mathematics, the error function, often denoted by $erf$ , is a function $:\mathbb {C} \to \mathbb {C} }$ defined as:

In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence.

In number theory, the partition function $p (n)$ represents the number of possible partitions of a non-negative integer $n$ . For instance, $p (4) = 5$ because the integer 4 has the five partitions $1 + 1 + 1 + 1$ , $1 + 1 + 2$ , $1 + 3$ , $2 + 2$ , and $4$ .

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. Theta functions are parametrized by points in a tube domain inside a complex Lagrangian Grassmannian, namely the Siegel upper half space.

The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.

In mathematics, the lemniscate constant $ϖ$ is a transcendental mathematical constant that is the ratio of the perimeter of Bernoulli's lemniscate to its diameter, analogous to the definition of $π$ for the circle. Equivalently, the perimeter of the lemniscate $is 2 ϖ . The lemniscate constant is closely related to the lemniscate elliptic functions and approximately equal to 2.62205755. It also appears in evaluation of the gamma and beta function at certain rational values. The symbol ϖ is a cursive variant of π; see Pi § Variant pi.$

<span class="mw-page-title-main">Genus of a multiplicative sequence</span> A ring homomorphism from the cobordism ring of manifolds to another ring

In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties.

In q-analog theory, the $-gamma function$ , or basic gamma function, is a generalization of the ordinary gamma function closely related to the double gamma function. It was introduced by Jackson (1905). It is given by $when , and if . Here ;\cdot )_{\infty }} is the infinite q-Pochhammer symbol. The -gamma function satisfies the functional equation In addition, the -gamma function satisfies the q-analog of the Bohr–Mollerup theorem, which was found by Richard Askey . For non-negative integers n, where is the q-factorial function. Thus the -gamma function can be considered as an extension of the q-factorial function to the real numbers.$

In mathematics, the multiplication theorem is a certain type of identity obeyed by many special functions related to the gamma function. For the explicit case of the gamma function, the identity is a product of values; thus the name. The various relations all stem from the same underlying principle; that is, the relation for one special function can be derived from that for the others, and is simply a manifestation of the same identity in different guises.

In mathematics, a transformation of a sequence's generating function provides a method of converting the generating function for one sequence into a generating function enumerating another. These transformations typically involve integral formulas applied to a sequence generating function or weighted sums over the higher-order derivatives of these functions.

References

Hirzebruch, Friedrich (1995) [1978]. Topological methods in algebraic geometry. Classics in Mathematics. Translation from the German and appendix one by R. L. E. Schwarzenberger. Appendix two by A. Borel (Reprint of the 2nd, corr. print. of the 3rd ed.). Berlin: Springer-Verlag. ISBN 3-540-58663-6. Zbl 0843.14009.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.