arXiv:1407.2388v1 [math.NT] 9 Jul 2014 periods out figure transcendental. to is difficult it any usually whether is for it although, number, given transcendental, of complex most are subset Therefore, numbers countable numbers. of a complex solutions the form coefficients, are numbers rational they algebraic with is, Because equations that polynomial transcendental, algebraic. irra- even not are perhaps numbers or such tional whether of have wondered Mathematicians areas long other physics. and and theory mathematics number in frequently r auso boueycnegn integrals convergent absolutely of values parts imaginary are and real whose numbers complex period and [2]. see periods varieties, of algebraic theory for the domains geome- yields algebraic and in This try generalizes theory. periods of number notion for important transcenden- other numbers many alge- tal also all contain but Periods numbers braic [4]. Zagier Kontse- Don Maxim and by vich 1999 around defined numbers aua eeaiain,the generalizations, natural Here Q o nqe ntesneta hr r aydif- many period. are that there is representing that integral integrals sense ferent an the by in period unique, not a of representation The eafnto tpstv integers positive at function zeta yplnma nqaiiswt ainlcoeffi- rational with cients. inequalities polynomial by n h nerto oan∆ domain integration the and , ζ hsesyi bu h rtmtcnto of notion arithmetic the about is essay This oteihadZge en eid sthose as periods define Zagier and Kontsevich ahmtclcntnslike constants Mathematical h values The oeiiileape fprosare periods of examples initial Some ( log( s f 1 .,s ..., , onal subalgebra countable a , and n p = ) = k g Z = ) Z ∆ r oyoil ihcecet in coefficients with polynomials are 1 ζ n f g ( n s ( ( dx 1 x x x = ) > 1 1 ··· x , . . . , x , . . . , X and >n P k > π n n 0 n = n ) n ) utpezt values zeta multiple − dx 1 − Z s s x P 1 1 2 π fteRiemann the of n + s · · · , 2 − ftecomplex the of y ⊂ ≥ e 2 s dx ≤ 2 ,adtheir and 2, and R 1 · · · n n dxdy. . n sgiven is γ k − HTI EID? PERIOD A IS WHAT s arise k , 1 l utpezt aus tcnb ersne as represented be can it an values, zeta multiple all . nyafwrslsaotterirtoaiyare Ap´ery, irrationality of their work about By results known. few a only ... eid.Ee o h d zeta-values odd the for Even periods. o integers for D oie r eid nteetne eidring period extended the in periods are motives lxmlilcto.The multiplication. plex the mula in occur Γ-values special h eid of periods the γ n em nteTyo eisof series Taylor the in lead- terms that imply ing would in theory, formula number number algebraic class Dirchlet’s extend which arxcecet fthe of coefficients matrix fol- dimension as form of different a Let in lows. periods define also can H rus nti case, this In groups. choosing sin- after and cohomology cohomology gular Rham de algebraic between ruet hwta l he ie definitions given Sophisticated agree. three periods degree. all of top that of show be arguments not need forms ω both stepro fteqarpe( quadruple the of period the is integral a manifold cal γ h ntcrl.I iia a,log( way, similar a In circle. unit the easnua hi nteudryn topologi- underlying the on chain singular a be 1 on rma vnhge iwon,prosare periods viewpoint, higher even an From one geometry, algebraic from notions Using nti etn,w n 2 find we setting, this In ( trtdintegral iterated = X H ω X o eid faeinvreiswt com- with varieties abelian of periods for with ) { dR ∗ 1 ζ and n , n omlcosn divisor crossing normal a and 3 = (3) ( X ,D X, } s , D easot leri ait over variety algebraic smooth a be i X X d ω ≥ H aearglralgebraic regular a Take . ZZZ tfnM¨uller-StachStefan r lodfie over defined also are ( ) = C with 1 1 = ⊗ ( ihbudr in boundary with ) P ,D X, Q 1 0 dx p

1 ⊗ P = P[ π ], where π is inverted. A completely dif- pro-algebraic fundamental group G = Aut (T ) ferent example comes from quantum field theory, of MM(Q) in the Tannaka sense. We call G a b where periods arise as values of regularized Feyn- Galois group, as the viewpoint gives a far-ranging man amplitudes. Periods of homotopy groups are extension of the Galois theory of zero-dimensional another source of examples. varieties. In MM(Q) cohomology groups of al- In addition to the additivity in the integrand gebraic pairs (X,D) are immediately mixed mo- and the integration domain, periods inherit from tives, i.e., finite-dimensional Q-representations of calculus some well-known relations: a change of G, or equivalently comodules over the associ- ∗ variables formula γ f ω = f∗γ ω, and Stokes’ ated Hopf algebra A. Both singular and de R R Rham cohomology provide fiber functors Tsing, formula γ δω = ∂γ ω. Fubini’s theorem gives P a multiplication,R R hence it becomes a Q-algebra. TdR from MM(Q) to Q-vector spaces. The ⊗ At the time Kontsevich and Zagier formulated pro-algebraic torsor Isom (TdR,Tsing) is given their idea, not a single explicit non-period num- by Spec(Pformal), where Pformal is the algebra of formal periods, i.e., generated by quadruples ber was known. In 2008, Masahiko Yoshinaga b b (arXiv:0805.0349) wrote down a computable non- (X,D,ω,γ), and subject only to the relations of period, using a variant of Cantor’s diagonal argu- linearity, change of variables and Stokes [3, 4]. ment. Moreover, he showed that all periods are In this setting, P is the set of periods of all elementary computable, i.e., they lie in a certain mixed motives over Q. Multiple zeta values form b proper subset of all computable complex num- the subset of periods of mixed Tate motives over bers, so that there are computable non-periods. Z. The motivic Galois group restricted to mixed It is still unknown whether e or 1/π are pe- Tate motives over Z gives much control over mul- riods. Presumably they are not. The notion of tiple zeta values and implies relations among mul- exponential periods was invented to extend peri- tiple zeta values ζ(s1,...,sk) of a fixed weight ods to a larger set containing e [4]. s1 + ··· + sk. The work of Francis Brown on Let us now turn to deeper properties of peri- multiple zeta values and the fundamental group ods, so that we find out more about the struc- of P1 \{0, 1, ∞} demonstrates again the value of ture of P. It turns out that the very abstract the philosophy of motives [1]. Also in other parts viewpoint of mixed motives provides insights, and of number theory, for example in the area of ra- brings into the game a big symmetry group G, the tional points, motivic arguments can be applied motivic Galois group. in finiteness proofs. Pure and mixed motives were envisioned by Grothendieck formulated the famous and dif- Alexander Grothendieck in order to formal- ficult period conjecture, stating that any relation ize properties of algebraic varieties. In the among periods is coming from algebraic geom- 1990s, Madhav Nori defined an abelian category etry, in particular through algebraic cycles on MM(Q) of mixed motives over Q. In Nori’s products of varieties. In the setting of Nori, this construction, one starts with a directed graph, is essentially equivalent to saying that the evalua- where the vertices are pairs of algebraic vari- tion map ev : Pformal → P is injective. This con- eties (X,D) defined over Q, and the edges be- jecture would have strong consequences for the b b tween them are deduced from morphisms of pairs transcendence degree of the space of all periods (X,D) → (X′,D′) (”change of variables”) and of a given algebraic variety X via the action of chains of inclusions Z ⊂ D ⊂ X (”Stokes’ for- G. mula”). The edges thus immediately resemble relations among periods, and this is what makes Further Reading: the idea so helpful. These arrows are not closed under composition. However, if one fixes a repre- [1] F. Brown: Mixed Tate motives over Z, Annals of Q Math. 175(2), 949-976 (2012). sentation T with values in vector spaces over , [2] J. Carlson and Ph. Griffiths: What is a period do- e.g. singular or de Rham cohomology, then there main ? AMS Notices Vol. 55 Nr. 11, 1418-1419 is a universal diagram category C(T ), and an ex- (2008). tension of T as a functor. After formally invert- [3] A. Huber and S. M¨uller-Stach: On the rela- ing the Tate motive Z(−1) = (P1 \{0, ∞}, {1}) tion between Nori motives and Kontsevich periods, Q arXiv:1105.0865v5 (2011). in C(T ), one obtains a -linear Tannakian, hence [4] M. Kontsevich and D. Zagier: Periods, in Engquist, abelian, category MM(Q) without any further Bj¨orn (ed.) et al., Mathematics unlimited - 2001 and assumptions [3]. The motivic Galois group is the beyond, Springer Verlag, 771-808 (2001).