Integral Eisenstein cocycles on \(\mathrm{GL}_n\). II: Shintani’s method.

*(English)*Zbl 1326.11072The paper is a continuation of a previous work of the authors [Camb. J. Math. 2, No. 1, 49–90 (2014; Zbl 1353.11074)].

The authors’ abstract:

“We define a cocycle on \(\mathrm{GL}_n(\mathbb Q)\) using Shintani’s method. This construction is closely related to earlier work of D. Solomon [J. Number Theory 75, No. 1, 53–108 (1999; Zbl 0980.11027)] and R. Hill [Bull. Lond. Math. Soc. 39, No. 6, 993–1004 (2007; Zbl 1192.11030)], but differs in that the cocycle property is achieved through the introduction of an auxiliary perturbation vector Q. As a corollary of our result we obtain a new proof of a theorem of Diaz y Diaz and Friedman on signed fundamental domains, and give a cohomological reformulation of Shintani’s proof of the Klingen-Siegel rationality theorem on partial zeta functions of totally real fields.

Next we relate the Shintani cocycle to the Sczech cocycle by showing that the two differ by the sum of an explicit coboundary and a simple “polar” cocycle. This generalizes a result of Sczech and Solomon in the case \(n=2\).

Finally, we introduce an integral version of our cocycle by smoothing at an auxiliary prime \(\ell\). This integral refinement has strong arithmetic consequences. We showed in previous work that certain specializations of the smoothed class yield the \(p\)-adic \(L\)-functions of totally real fields. Furthermore, combining our cohomological construction with a theorem of M. Spiess [Math. Ann. 359, No. 1–2, 239–265 (2014; Zbl 1307.11125)], one deduces that that the order of vanishing of these \(p\)-adic \(L\)-functions is at least as large as the expected one”.

The authors’ abstract:

“We define a cocycle on \(\mathrm{GL}_n(\mathbb Q)\) using Shintani’s method. This construction is closely related to earlier work of D. Solomon [J. Number Theory 75, No. 1, 53–108 (1999; Zbl 0980.11027)] and R. Hill [Bull. Lond. Math. Soc. 39, No. 6, 993–1004 (2007; Zbl 1192.11030)], but differs in that the cocycle property is achieved through the introduction of an auxiliary perturbation vector Q. As a corollary of our result we obtain a new proof of a theorem of Diaz y Diaz and Friedman on signed fundamental domains, and give a cohomological reformulation of Shintani’s proof of the Klingen-Siegel rationality theorem on partial zeta functions of totally real fields.

Next we relate the Shintani cocycle to the Sczech cocycle by showing that the two differ by the sum of an explicit coboundary and a simple “polar” cocycle. This generalizes a result of Sczech and Solomon in the case \(n=2\).

Finally, we introduce an integral version of our cocycle by smoothing at an auxiliary prime \(\ell\). This integral refinement has strong arithmetic consequences. We showed in previous work that certain specializations of the smoothed class yield the \(p\)-adic \(L\)-functions of totally real fields. Furthermore, combining our cohomological construction with a theorem of M. Spiess [Math. Ann. 359, No. 1–2, 239–265 (2014; Zbl 1307.11125)], one deduces that that the order of vanishing of these \(p\)-adic \(L\)-functions is at least as large as the expected one”.

Reviewer: Anatoly N. Kochubei (Kyïv)