An enhancement of Zagier’s polylogarithm conjecture
Author:
Nobuo Sato
Journal:
Trans. Amer. Math. Soc. 372 (2019), 2537-2588
MSC (2010):
Primary 11G55, 11M32, 11R42
DOI:
https://doi.org/10.1090/tran/7629
Published electronically:
May 9, 2019
MathSciNet review:
3988585
Full-text PDF
Abstract | References | Similar Articles | Additional Information
Abstract: Let $m\geq 2$ be a natural number and let $\mathcal {A}$ be an ideal class of an imaginary quadratic number field. Zagier and Gangl constructed $\mathbb {C}/\mathbb {Q}(m)$-valued invariants $I_{m}(\mathcal {A})$ which they named “the enhanced zeta value”, since the real part of $i^{m-1}I_{m}(\mathcal {A})$, after being multiplied by a certain elementary factor in terms of a factorial and a power of $2\pi$, equals the partial zeta value $\zeta (m,\mathcal {A})$. They also constructed the enhanced polylogarithm, a $\mathbb {C}/\mathbb {Q}(m)$-valued function on the $m$-th Bloch group $\mathcal {B}_{m}(\mathbb {C})$, and formulated an enhanced conjecture for $I_{m}(\mathcal {A})$ that gives a natural lift of the polylogarithm conjecture for $\zeta (m,\mathcal {A})$ to a conjectural equality in $\mathbb {C}/\mathbb {Q}(m)$. In this article, we define the Shintani L-function of two variables which is naturally regarded as a two-variable analog of the partial zeta function for imaginary quadratic fields. Then we study its analytic properties in order to construct $\mathbb {C}/\mathbb {Q}(1)$-valued invariants $\Lambda _{i}(1-m,\mathcal {A})$ ($i\in \{1,2\}$) for a ray class $\mathcal {A}$ using the first partial derivative of the Shintani L-function at $(1-m,1-m)$. From the construction, $\Lambda _{1}(1-m,\mathcal {A})$ and $\Lambda _{2}(1-m,\mathcal {A})$ are complex conjugate invariants that satisfy $\zeta ’(1-m,\mathcal {A})=\Lambda _{1}(1-m,\mathcal {A})+\Lambda _{2}(1-m,\mathcal {A})$. Then we prove the main theorem of this article about the equality between Zagier and Gangl’s enhanced zeta value $I_{m}(\mathcal {A})$ and $\Lambda _{1}(1-m,\mathcal {A})$, by explicit calculation of the Fourier expansion of the partial derivative of the Shintani L-function. Finally, we formulate the enhanced conjecture for the ray class invariants $\Lambda _{i}(1-m,\mathcal {A})$, by which we expand Zagier-Gangl’s original conjecture. We also give several numerical examples to verify the correctness of our enhanced conjecture.
- Samit Dasgupta, Shintani zeta functions and Gross-Stark units for totally real fields, Duke Math. J. 143 (2008), no. 2, 225–279. MR 2420508, DOI https://doi.org/10.1215/00127094-2008-019
- The Sage Developers, Sagemath, the Sage Mathematics Software System $($Version 6.3$)$, 2014, http://www.sagemath.org.
- Tomokazu Kashio and Hiroyuki Yoshida, On $p$-adic absolute CM-periods. I, Amer. J. Math. 130 (2008), no. 6, 1629–1685. MR 2464029, DOI https://doi.org/10.1353/ajm.0.0030
- Tomokazu Kashio and Hiroyuki Yoshida, On $p$-adic absolute CM-periods. II, Publ. Res. Inst. Math. Sci. 45 (2009), no. 1, 187–225. MR 2512781, DOI https://doi.org/10.2977/prims/1234361158
- Tian Ren and Robert Sczech, A refinement of Stark’s conjecture over complex cubic number fields, J. Number Theory 129 (2009), no. 4, 831–857. MR 2499409, DOI https://doi.org/10.1016/j.jnt.2008.10.015
- Takuro Shintani, On evaluation of zeta functions of totally real algebraic number fields at non-positive integers, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23 (1976), no. 2, 393–417. MR 427231
- Takuro Shintani, On a Kronecker limit formula for real quadratic fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24 (1977), no. 1, 167–199. MR 460283
- H. M. Stark, Values of $L$-functions at $s=1$. I. $L$-functions for quadratic forms, Advances in Math. 7 (1971), 301–343 (1971). MR 289429, DOI https://doi.org/10.1016/S0001-8708%2871%2980009-9
- H. M. Stark, $L$-functions at $s=1$. II. Artin $L$-functions with rational characters, Advances in Math. 17 (1975), no. 1, 60–92. MR 382194, DOI https://doi.org/10.1016/0001-8708%2875%2990087-0
- H. M. Stark, $L$-functions at $s=1$. III. Totally real fields and Hilbert’s twelfth problem, Advances in Math. 22 (1976), no. 1, 64–84. MR 437501, DOI https://doi.org/10.1016/0001-8708%2876%2990138-9
- Harold M. Stark, $L$-functions at $s=1$. IV. First derivatives at $s=0$, Adv. in Math. 35 (1980), no. 3, 197–235. MR 563924, DOI https://doi.org/10.1016/0001-8708%2880%2990049-3
- Hiroyuki Yoshida, On absolute CM-periods. II, Amer. J. Math. 120 (1998), no. 6, 1199–1236. MR 1657166
- Hiroyuki Yoshida, On absolute CM-periods, Automorphic forms, automorphic representations, and arithmetic (Fort Worth, TX, 1996) Proc. Sympos. Pure Math., vol. 66, Amer. Math. Soc., Providence, RI, 1999, pp. 221–278. MR 1703753, DOI https://doi.org/10.1016/0022-4049%2884%2990026-4
- Don Zagier, Hyperbolic manifolds and special values of Dedekind zeta-functions, Invent. Math. 83 (1986), no. 2, 285–301. MR 818354, DOI https://doi.org/10.1007/BF01388964
- Don Zagier, Polylogarithms, Dedekind zeta functions and the algebraic $K$-theory of fields, Arithmetic algebraic geometry (Texel, 1989) Progr. Math., vol. 89, Birkhäuser Boston, Boston, MA, 1991, pp. 391–430. MR 1085270
- Don Zagier and Herbert Gangl, Classical and elliptic polylogarithms and special values of $L$-series, The arithmetic and geometry of algebraic cycles (Banff, AB, 1998) NATO Sci. Ser. C Math. Phys. Sci., vol. 548, Kluwer Acad. Publ., Dordrecht, 2000, pp. 561–615. MR 1744961
Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 11G55, 11M32, 11R42
Retrieve articles in all journals with MSC (2010): 11G55, 11M32, 11R42
Additional Information
Nobuo Sato
Affiliation:
National Center for Theoretical Sciences, National Taiwan University, No. 1, Sec. 4, Roosevelt Road, Taipei, Taiwan
Address at time of publication:
Kyushu University, 744 Motooka Nishi-ku, Fukuoka 819-0395
Email:
saton@ncts.ntu.edu.tw; n-sato@math.kyushu-u.ac.jp
Received by editor(s):
November 22, 2017
Received by editor(s) in revised form:
June 1, 2018
Published electronically:
May 9, 2019
Article copyright:
© Copyright 2019
American Mathematical Society