Period (algebraic geometry)

Last updated October 14, 2023

In algebraic geometry, a period is a number that can be expressed as an integral of an algebraic function over an algebraic domain. Sums and products of periods remain periods, such that the periods form a ring.

Definition

A real number is a period if it is of the form

\int _{P(x,y,z,\ldots )\geq 0}Q(x,y,z,\ldots )\mathrm {d} x\mathrm {d} y\mathrm {d} z\ldots

where $P$ is a polynomial and $Q$ a rational function on $\mathbb {R} ^{n}$ with rational coefficients. A complex number is a period if its real and imaginary parts are periods.^[3]

An alternative definition allows $P$ and $Q$ to be algebraic functions;^[4] this looks more general, but is equivalent. The coefficients of the rational functions and polynomials can also be generalised to algebraic numbers because irrational algebraic numbers are expressible in terms of areas of suitable domains.

In the other direction, $Q$ can be restricted to be the constant function $1$ or $-1$ , by replacing the integrand with an integral of $\pm 1$ over a region defined by a polynomial in additional variables. In other words, a (nonnegative) period is the volume of a region in $\mathbb {R} ^{n}$ defined by a polynomial inequality.

Examples

Besides the algebraic numbers, the following numbers are known to be periods:

The natural logarithm of any positive algebraic number a, which is $\int _{1}^{a}{\frac {1}{x}}\ \mathrm {d} x$
$π$ $=\int _{0}^{1}{\frac {4}{x^{2}+1}}\ \mathrm {d} x$
Elliptic integrals with rational arguments
All zeta constants (the Riemann zeta function of an integer) and multiple zeta values
Special values of hypergeometric functions at algebraic arguments
Γ(p/q)^q for natural numbers p and q.

An example of a real number that is not a period is given by Chaitin's constant Ω. Any other non-computable number also gives an example of a real number that is not a period. Currently there are no natural examples of computable numbers that have been proved not to be periods, however it is possible to construct artificial examples.^[5] Plausible candidates for numbers that are not periods include e , 1/ $π$ , and the Euler–Mascheroni constant γ.

Properties and motivation

The periods are intended to bridge the gap between the algebraic numbers and the transcendental numbers. The class of algebraic numbers is too narrow to include many common mathematical constants, while the set of transcendental numbers is not countable, and its members are not generally computable.

The set of all periods is countable, and all periods are computable,^[6] and in particular definable.

Conjectures

Many of the constants known to be periods are also given by integrals of transcendental functions. Kontsevich and Zagier note that there "seems to be no universal rule explaining why certain infinite sums or integrals of transcendental functions are periods".

Kontsevich and Zagier conjectured that, if a period is given by two different integrals, then each integral can be transformed into the other using only the linearity of integrals (in both the integrand and the domain), changes of variables, and the Newton–Leibniz formula

\int _{a}^{b}f'(x)\,dx=f(b)-f(a)

(or, more generally, the Stokes formula).

A useful property of algebraic numbers is that equality between two algebraic expressions can be determined algorithmically. The conjecture of Kontsevich and Zagier would imply that equality of periods is also decidable: inequality of computable reals is known recursively enumerable; and conversely if two integrals agree, then an algorithm could confirm so by trying all possible ways to transform one of them into the other one.

It is conjectured that Euler's number e and the Euler–Mascheroni constant γ are not periods.

Generalizations

The periods can be extended to exponential periods by permitting the integrand $Q$ to be the product of an algebraic function and the exponential of an algebraic function. This extension includes all algebraic powers of e, the gamma function of rational arguments, and values of Bessel functions.

Kontsevich and Zagier suggest that there are "indications" that periods can be naturally generalized even further, to include Euler's constant γ. With this inclusion, "all classical constants are periods in the appropriate sense".

Related Research Articles

In mathematics, an elementary function is a function of a single variable that is defined as taking sums, products, roots and compositions of finitely many polynomial, rational, trigonometric, hyperbolic, and exponential functions, including possibly their inverse functions.

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer $n$ ,

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter $ζ$ (zeta), is a mathematical function of a complex variable defined as

In mathematics, a transcendental number is a real or complex number that is not algebraic – that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are $π$ and $e$ .

<span class="mw-page-title-main">Euler's constant</span> Relates logarithm and harmonic series

Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by $log$ :

The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so-called global L-functions, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these L-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the algebraic function field case.

In mathematics, the Weil conjectures were highly influential proposals by André Weil (1949). They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

In mathematics, a transcendental function is an analytic function that does not satisfy a polynomial equation, in contrast to an algebraic function. In other words, a transcendental function "transcends" algebra in that it cannot be expressed algebraically using a finite amount of terms.

In transcendental number theory, the Lindemann–Weierstrass theorem is a result that is very useful in establishing the transcendence of numbers. It states the following:

In mathematics, an expression is in closed form if it is formed with constants, variables and a finite set of basic functions connected by arithmetic operations and function composition. Commonly, the allowed functions are nth root, exponential function, logarithm, and trigonometric functions. However, the set of basic functions depends on the context.

Transcendental number theory is a branch of number theory that investigates transcendental numbers, in both qualitative and quantitative ways.

In mathematics, Apéry's theorem is a result in number theory that states the Apéry's constant ζ(3) is irrational. That is, the number

In mathematics, specifically transcendental number theory, Schanuel's conjecture is a conjecture made by Stephen Schanuel in the 1960s concerning the transcendence degree of certain field extensions of the rational numbers.

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. The symbol ϖ is a cursive variant of π; see Pi § Variant pi.$

In mathematics, specifically transcendental number theory, the six exponentials theorem is a result that, given the right conditions on the exponents, guarantees the transcendence of at least one of a set of exponentials.

In mathematics, specifically the field of transcendental number theory, the four exponentials conjecture is a conjecture which, given the right conditions on the exponents, would guarantee the transcendence of at least one of four exponentials. The conjecture, along with two related, stronger conjectures, is at the top of a hierarchy of conjectures and theorems concerning the arithmetic nature of a certain number of values of the exponential function.

In mathematics, the FEE method, or fast E-function evaluation method, is the method of fast summation of series of a special form. It was constructed in 1990 by Ekaterina Karatsuba and is so-named because it makes fast computations of the Siegel $E$ -functions possible, in particular of $.$

Prakash Belkale is an Indian-American mathematician, specializing in algebraic geometry and representation theory.

A mathematical constant is a key number whose value is fixed by an unambiguous definition, often referred to by a special symbol, or by mathematicians' names to facilitate using it across multiple mathematical problems. Constants arise in many areas of mathematics, with constants such as $e$ and $π$ occurring in such diverse contexts as geometry, number theory, statistics, and calculus.

References

Kontsevich, Maxim; Zagier, Don (2001). "Periods" (PDF). In Engquist, Björn; Schmid, Wilfried (eds.). Mathematics unlimited—2001 and beyond. Berlin, New York City: Springer. pp. 771–808. ISBN 9783540669135. MR 1852188.

Marcolli, Matilde (2010). "Feynman integrals and motives". European Congress of Mathematics. Eur. Math. Soc. Zürich. pp. 293–332. arXiv: 0907.0321 .

Footnotes

↑ Kontsevich & Zagier 2001.
↑ Marcolli 2010.
↑ Kontsevich & Zagier 2001, p. 3.
↑ Weisstein, Eric W. "Periods". WolframMathWorld (Wolfram Research). Retrieved 2019-06-19.
↑ Yoshinaga, Masahiko (2008-05-03). "Periods and elementary real numbers". arXiv: 0805.0349 [math.AG].
↑ Tent, Katrin; Ziegler, Martin (2010). "Computable functions of reals" (PDF). Münster Journal of Mathematics. 3: 43–66.

External links

PlanetMath: Period

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.

[FOOTNOTEKontsevichZagier2001-1] Kontsevich & Zagier 2001.

[FOOTNOTEMarcolli2010-2] Marcolli 2010.

[FOOTNOTEKontsevichZagier20013-3] Kontsevich & Zagier 2001, p. 3.

[Weisstein2019-4] Weisstein, Eric W. "Periods". WolframMathWorld (Wolfram Research). Retrieved 2019-06-19.

[Yoshinaga2008-5] Yoshinaga, Masahiko (2008-05-03). "Periods and elementary real numbers". arXiv: 0805.0349 [math.AG].

[Tent2010-6] Tent, Katrin; Ziegler, Martin (2010). "Computable functions of reals" (PDF). Münster Journal of Mathematics. 3: 43–66.

[1]

[2]

[3]

[4]

[5]

[6]

v t e Number systems
Sets of definable numbers	Natural numbers ( $\mathbb {N}$ ) Integers ( $\mathbb {Z}$ ) Rational numbers ( $\mathbb {Q}$ ) Constructible numbers Algebraic numbers ( $\mathbb {A}$ ) Closed-form numbers Periods Computable numbers Arithmetical numbers Set-theoretically definable numbers Gaussian integers
Composition algebras	Division algebras: Real numbers ( $\mathbb {R}$ ) Complex numbers ( $\mathbb {C}$ ) Quaternions ( $\mathbb {H}$ ) Octonions ( $\mathbb {O}$ )
Split types	Over $\mathbb {R}$ : Split-complex numbers Split-quaternions Split-octonions Over $\mathbb {C}$ : Bicomplex numbers Biquaternions Bioctonions
Other hypercomplex	Dual numbers Dual quaternions Dual-complex numbers Hyperbolic quaternions Sedenions ( $\mathbb {S}$ ) Split-biquaternions Multicomplex numbers Geometric algebra/Clifford algebra Algebra of physical space Spacetime algebra Plane-based geometric algebra
Other types	Cardinal numbers Extended natural numbers Irrational numbers Fuzzy numbers Hyperreal numbers Levi-Civita field Surreal numbers Transcendental numbers Ordinal numbers p-adic numbers (p-adic solenoids) Supernatural numbers Profinite integers Superreal numbers Normal numbers
Classification List