derived categories and the analytic approach to general reciprocity laws. part i衍生类别和一般的分析方法对等的法律。.pdfVIP

DERIVED CATEGORIES AND THE ANALYTIC APPROACH TO GENERAL RECIPROCITY LAWS. PART I MICHAEL BERG Received 21 December 2004 We reformulate Hecke’s open problem of 1923, regarding the Fourier-analytic proof of higher reciprocity laws, as a theorem about morphisms involving stratified topological spaces. We achieve this by placing Kubota’s formulations of n-Hilbert reciprocity in a new topological context, suited to the introduction of derived categories of sheaf complexes. Subsequently, we begin to investigate conditions on associated sheaves and a derived cat- egory of sheaf complexes specifically designed for an attack on Hecke’s eighty-year-old challenge. 1. Introduction Around 1923, Hecke gave what is often called the analytic proof of quadratic reciprocity for an arbitrary number field, including it as the showpiece of his famous work [ 15]. Hecke’s proof is Fourier analytic, given that there resides at its core the derivation of a functional equation for a (Hecke-) ϑ-function by classical Fourier-analytic means. Evi- dently, this tactic is based on a classical method of Cauchy [15, page 218]. Some forty years after Hecke’s work, this theme of quadratic reciprocity via Fourier analysis was taken up by Weil in his seminal paper [26], where the matter was fitted into the greater context of Siegel’s analytic theory of quadratic forms. Weil demonstrated that Hecke’s Fourier- analytic maneuvers are equivalent to the fact that the double cover of the adelization of the symplectic group for a number field is split on the rational points. Tellingly, this split- ting is due to the invariance of the so-called Weil Θ-functional under the natural action of the rational points as facilitated by the projective Weil representation. At a deeper level all this is part and parcel of Hecke’s ϑ-functional equations. To boot, Weil’s derivation of the indicated critical invariance ultimately comes about by means of a generalization of noth- ing less than Poisson sum