ITERATED INTEGRALS, DEDEKIND SYMBOLS, AND ZETA POLYNOMIALS Yuri I. - - PDF document

ITERATED INTEGRALS, DEDEKIND SYMBOLS, AND ZETA POLYNOMIALS Yuri I. Manin 1

2

PLAN

• PART I: DEDEKIND SYMBOLS
• 1. CLASSICAL, GENERALIZED, AND NON–COMMUTATIVE DEDEKIND SYMBOLS
• 2. RECONSTRUCTION OF THE SYMBOL FROM ITS RECIPROCITY FUNCTION
• 3. DEDEKIND SYMBOLS AND NONCOMMUTATIVE 1–COCYCLES
• PART II: ZETA POLYNOMIALS
• 3. L–FUNCTIONS AND ZETA POLYNOMIALS
• 4. ZETA POLYNOMIALS FROM MODULAR FORMS

3

CLASSICAL, GENERALIZED, AND NON–COMMUTATIVE DEDEKIND SYMBOLS

• Classical Dedekind symbol := an “interesting part” of the difference log η(az)−log η(z) where

η(z) := eπiz/12

∞

• n=1

(1 − e2πinz), a =

• p

r q s

• ∈ PSL(2, Z)

After a normalisation, this interesting part d(p, q) depends only on the first column (p, q) of a, and satisfies functional equations d(p, q) = d(p, q + p), d(p, −q) = −d(p, q), d(p, q) − d(q, −p) = p2 + q2 − 3pq + 1 12pq .

4

• Classical Dedekind symbols appeared in a variety of topological contexts:

– signature defects of 3–dim lens spaces (F. Hirzebruch) – Casson invariants and quantum invariants of rational homology 3–spheres etc. (R. Kirby,

• P. Melvin et al.)
• T. Apostol, Sh. Fukuhara et al. defined and studied generalised Dedekind symbols with values

in various commutative groups. The first part of this talk is dedicated to the generalisation of their constructions to non–commutative groups.

5

• A generalized Dedekind symbol with values in a commutative group : a map

D : W → G, W := {(p, q) ∈ Z × Z | gcd (p, q) = 1} satisfying functional equations, a part of which is convenient to state in terms of reciprocity function for D: f(p, q) := D(p, q) − D(q, −p).

• Functional equations :

D(p, q) = D(p, q + p), D(p, −q) = D(−p, q), f(p, −q) = f(−p, q), f(p, q) + f(−q, p) = 0G, f(p, p + q) + f(p + q, q) = f(p, q).

6

• Example : The reciprocity function for the classical symbol:

f(p, q) = p2 + q2 − 3pq + 1 12pq .

• Example : generalized reciprocity functions from cusp forms.

Let ϕ(z) be a cusp form of even weight w+2 for the full modular group PSL(2, Z). In particular, ϕ(z + 1) = ϕj(z) and ϕ(−z−1) = ϕj(z)zw+2 for all j. Then D(p, q) := i∞

p/q

ϕ(z)(pz − q)wdz, f(p, q) := i∞ ϕ(z)(pz − q)wdz is a C–valued generalized Dedekind symbol, resp. its reciprocity function.

7

• Generalized non commutative Dedekind symbols : the group law of G is written multiplica-

tively and is not assumed to be commutative. Basic relations for D : W → G are lifted to the non commutative context in the following way: f(p, q) := D(p, q)D(q, −p)−1.

• Functional equations :

D(p, q) = D(p, q + p), D(p, −q) = D(−p, q), f(p, −q) = f(−p, q), f(p, q)f(−q, p) = 1G, f(p, p + q)f(p + q, q) = f(p, q).

• First properties : f(1, 1) = f(−1, 1) = 1G.

Moreover, f(−p, −q) = f(p, q) so that f(p, q) depends only on q/p ∈ P1(Q).

8

RECONSTRUCTION OF A SYMBOL FROM ITS RECIPROCITY FUNCTION

• Modified continued fractions. Let A0, A1, . . . , An, . . . be commuting independent variables.

Define by induction polynomials Q(n), P (n) ∈ Z[A0, . . . , An]: Q(0)(A0) = A0, P (0)(A0) = 1, Q(n+1)(A0, . . . , An+1) = A0Q(n)(A1, . . . , An+1) − P (n)(A1, . . . , An+1), P (n+1)(A0, . . . , An+1) = Q(n)(A1, . . . , An+1) One easily sees that Q(n)(A0, . . . , An) P (n)(A0, . . . , An) = A0, A1, . . . An := A0 − 1 A1 −

1 A2−...

where the lowest layer in the continued fraction representation is An−1 − 1 An . For any integer values ai of Ai and each n, values of P (n), Q(n) are coprime.

9

Let now f : W → G be a map satisfying the functional equations for a reciprocity function.

• Reconstruction of the symbol. For a given (p, q) ∈ W, choose a presentation as above q

p = a0, . . . , an that is, q = q0 := Q(n)(a0, . . . , an), p = p0 := P (n)(a0, . . . , an) Furthermore, for i = 1, . . . , n, define (qi, pi) ∈ Z2 by qi := Q(n−i)(ai, . . . , an), pi := P (n−i)(ai, . . . , an) so that qi pi = ai, . . . , an .

10

Finally, put D(p, q) := f(p1, q1)−1f(p2, q2)−1 . . . f(pn, qn)−1 ∈ G.

• Theorem. (i) D(p, q) depends only on (p, q) and not on the choice of the presentation q

p = a0, . . . , an . (ii) The function D thus defined is a generalized Dedekind symbol with reciprocity function f.

11

• Generalized non commutative symbols from cusp forms.

Denote by {ϕj(z)}, j = 1, . . . r, a basis of the space of cusp forms of even weight w + 2 for the full modular group. From now on, (Aj), j = 1, . . . , r, denote independent associative but noncommuting formal

• variables. For (p, q) ∈ W, put

Ω(p, q) :=

r

• j=1

Ajϕj(z)(pz − q)w dz . Finally, consider iterated integrals along the geodesics from rational points to i∞ in the upper half plane: f(p, q) := Ji∞ (Ω(p, q)), D(p, q) := Ji∞

p/q(Ω(p, q))

12

They take values in the multiplicative subgroup G := 1 + (A1, . . . , Ar)

• f the ring of free associative formal series CA1, . . . , Ar.
• Theorem. The map D : W → G is a generalised Dedekind symbol with reciprocity function

f.

• Remark. This construction can be generalised to Eisenstein series using regularised iterated

integrals.

13

REMINDER ABOUT ITERATED INTEGRALS Let (ω1, . . . , ωr) be a family of holomorphic 1–forms. Put Ω :=

• v∈V

Avωv . Then the most direct definition is: Jz

a(Ω) := 1 + ∞

• n=1
• (v1,...,vn)∈[1,...,r]n

Av1 . . . Avn Iz

a( ωv1, . . . , ωvn) ,

where Iz

a( ωv1, . . . , ωvn) =

z

a

ωv1(z1) z1

a

ωv2(z2)· · · zn−1

a

ωvn(zn) are the usual iterated integrals.

14

DEDEKIND SYMBOLS AND NONCOMMUTATIVE 1–COCYCLES

• 1 − cocycles. Let Γ be a group, and G a group endowed with a left action of Γ by automor-

phisms: (γ, g) → γg. The set of 1–cocycles is Z1(Γ, G) := { u : Γ → G | u(γ1γ2) = u(γ1) γ1u(γ2) }. Let Γ = PSL(2, Z), and let G be a possibly noncommutative Γ–module. It is known that PSL(2, Z) is the free product of its two subgroups Z2 and Z3 generated respectively by σ =

• −1

1

• ,

τ =

• −1

1 −1

• .

15

• Corollary. Restriction to (σ, τ) of any cocycle in Z1(PSL(2, Z), G) belongs to the set

{ (X, Y ) ∈ G × G | X · σX = 1, Y · τY · τ 2Y = 1 }. (ii) Conversely, any element of this set comes from a unique 1–cocycle so that we can and will identify these two sets.

• Definition. A pair (X, Y ) as above is called (the representative of) a Dedekind cocycle, iff it

satisfies the relation Y = τX.

• We will now show that in certain situations there is a bijection between Dedekind cocycles

and reciprocity functions of generalised Dedekind symbols.

16

• Reciprocity functions as cocycles. Let now G0 be a group. Denote by G the group of func-

tions f : P1(Q) → G0 with pointwise multiplication. Define the left action of Γ upon G by (γf)(x) = f(γ−1x); f ∈ G, x ∈ P1(Q), γ ∈ Γ. Let f : W → G0 be a G0–valued reciprocity function. Define elements Xf, Yf ∈ G as the following functions P1(Q) → G0: Xf(qp−1) := f(p, q), Yf(qp−1) := (τXf)(qp−1) = Xf(τ −1(qp−1)) = f(q, q − p).

• Theorem. The map f → (Xf, Yf) establishes a bijection between the set of G0–valued reci-

procity functions and the set of (representatives of) Dedekind cocycles from Z1(Γ, G).

17

L–FUNCTIONS AND ZETA POLYNOMIALS

• Notations.

U(z) ∈ R[z] a polynomial of degree e ≥ 1, U(1) = 0, P(z) :=

U(z) (1−z)d , d > e,

H(x) := the polynomial of degree d − 1 such that if for |z| < 1 we have P(z) := U(z) (1 − z)d =

∞

• n=0

hnzn, then H(n) = hn for all n ≥ max {0, e − d + 1}.

18

• Theorem. (Popoviciu, Rodriguez–Villegas, et al.) Assume that all roots of U lie on the unit circle.

Then H satisfies the zeta–type functional equation H(x) = (−1)d−1H(−d + e − x), and vanishes at integer points x = −1, . . . , −d + e + 1 inside its “critical strip”. Moreover, all the remaining zeroes lie on the vertical line passing through the middle of the critical strip: Re(x) = −d + e + 1 2 .

• Examples : Hilbert polynomials H of certain graded commutative rings, in particular anti-

canonical rings of Fano varieties, and their versions for Calabi–Yau varieties.

19

• Heuristics : relationship between H and P as a

“discrete Mellin transform′′. – Classical Mellin transform: f(z) a Fourier series in upper half–plane, e. g. a cusp form, Zf(s) the associated Dirichlet series: Zf(s) = (2π)s Γ(s) i∞ f(z) z i s−1 d z i

• .

– Integral representation of the passage from P(z) to H(x): Hf(n) = 1 2πi

• γ

Pf(z)z−(n+1)dz, where γ is a small contour around zero. – NB This explains also that s corresponds to −n.

20

ZETA POLYNOMIALS FROM MODULAR FORMS

• I will call polynomials H as above zeta polynomials.

Below I will show how to obtain zeta polynomials from those PSL(2, Z)–cusp forms f that are eigenforms for all Hecke operators. Heuristics : These zeta polynomials correspond to Euler factors of the respective L–series “in characteristics one”.

• Period polynomials. Let f be a cusp form of positive even weight k, w := k + 2. Put

rf(z) := i∞ f(τ)(τ − z)k−2dτ, r±

f (z) := rf(z) ± rf(−z)

2 .

21

• Proposition. (J. B. Conrey, D. W. Farmer, ¨
• O. Imamoglu).

Let f be a cusp Hecke eigenform of weight k with real Fourier coefficients. Then Uf(z) := r−

f (z)

z(z2 − 4)(z2 − 1/4)(z2 − 1)2 ∈ R[z] is a polynomial of degree e := w − 10 without real zeros whose complex zeros all lie on the unit circle.

22

• Final result. Fix an integer d > e = w − 10 and put

Pf(z) := Uf(z) (1 − z)d. Let Hf(x) ∈ R[x] be the polynomial of degree d − 1 such that Pf(z) =

∞

• n=0

Hf(n)zn for |z| < 1. This polynomial satisfies the functional equation Hf(x) = (−1)d−1H(−d + e − x) and vanishes at x = −1, . . . , −d + e + 1. All its remaining zeros lie on the vertical line Re x = −(d − e − 1)/2.

23

References [Ap] T. M. Apostol. Generalized Dedekind sums and transformation formulae of certain Lambert series. Duke Math. J. 17 (1950), 147–157. [CoCons1] A. Connes, C. Consani. Schemes over F1 and zeta functions. Compos. Math. 146, no. 6, 2010, 1383–1415. [CoCons2] A. Connes, C. Consani. Cyclic homology, Serre’s local factors and the λ–operations. arXiv:1211.4239 [ConFaIm] J. B. Conrey, D. W. Farmer, ¨

• O. Imamoglu. The nontrivial zeros of period polynomials

lie on the unit circle. Int. Math. Res. Not. , no. 20, 2013, 4758–4771. arXiv:1201.2322 [ER] A. El–Guindy, W. Raji. Unimodularity of zeros of period polynomials of Hecke eigenforms.

• Bull. Lond. Math. Soc. 46, 2014, 528–536.

[Fu1] Sh. Fukuhara. Modular forms, generalized Dedekind symbols and period polynomials. Math. Ann., 310 (1998), 83–101. [Fu2] Sh. Fukuhara. Dedekind symbols with polynomial reciprocity laws. Math. Ann., 329 (2004),

• No. 2, 315–334.

24

[Go] V. Golyshev. The canonical strip, I. arXiv:0903.2076 [Ma1] Yu. Manin. Iterated integrals of modular forms and noncommutative modular symbols. In: Alge- braic Geometry and Number Theory. In honor of V. Drinfeld’s 50th birthday. Ed. V. Ginzburg. Progress in Math., vol. 253. Birkh¨ auser, Boston, pp. 565–597. Preprint math.NT/0502576. [Ma2] Yu. Manin. Iterated Shimura integrals. Moscow Math. Journal, vol. 5, Nr. 4 (2005), 869–881. Preprint math.AG/0507438. [Ma3] Yu. Manin. Non–commutative generalized Dedekind symbols. Pure and Appl. Math. Quar- terly, Vol.10, Nr. 2, 2014, pp. 245 – 258. Preprint arXiv:1301.0078 [Ma4] Yu. Manin. Local zeta factors and geometries under Spec Z. 9 pp. Preprint arXiv:1407.4969 [Ro–V] F. Rodriguez–Villegas. On the zeros of certain polynomials. Proc. AMS, Vol. 130, No 8, 2002, 2251–2254.

25

THANK YOU FOR YOUR ATTENTION!