Integral Eisenstein cocycles on \(\mathrm{GL}_n\). I: Sczech's cocycle and \(p\)-adic \(L\)-functions of totally real fields (Q2510908): Difference between revisions

The goal of the present paper is to provide an integral refinement of Sczech's Eisenstein cocycle on \(\mathrm{GL}_n\) by smoothing at a prime \(l\). As a result, the authors obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. They also obtain a new construction of the \(p\)-adic \(L\)-functions associated to these extensions. Their cohomological construction allows for a study of the leading term of these \(p\)-adic \(L\)-functions at \(s=0\). The authors apply Spiess's formalism to prove that the order of vanishing at \(s=0\) is at least equal to the expected one, as conjectured by Gross. This result was already known from Wiles' proof of the Iwasawa Main Conjecture. The method presented in the current paper contrasts with that of Wiles in that it is purely analytic.