Abstract
Using techniques of Algebraic Geometry, the aim of this paper is to give a generalized definition of the Contou-Carrère symbol as a morphism of schemes. In fact, from formal schemes and Heisenberg groups, we provide a new definition of the Contou-Carrère symbol and a generalization of it associated with a separable extension. Moreover, a reciprocity law is proved and classical explicit reciprocity laws are recovered from it.
Similar content being viewed by others
References
G. W. Anderson and F. Pablos Romo,Simple proofs of classical explicit reciprocity laws on curves using determinant grupoids over an artinian local ring, Communications in Algebra32 (2004), 79–102.
E. Arbarello, C. de Concini and V. G. Kac,The infinite wedge representation and the reciprocity law for algebraic curves, Proceedings of Symposia in Pure Mathematics49, Part I (1989), 171–190.
A. Álvarez, J. M. Muñoz Porras and F. J. Plaza,The algebraic formalism of soliton equations over arbitrary base fields, Proceedings of a Workshop on Abelian Varieties and Theta Functions, Aportaciones Matemáticas de la Sociedad Matemática Mexicana, 1998.
A. Beilinson,Higher regulators and values of L-functions on curves (Russian), Funktsionalnyi Analiz i ego Prilozeniya14(2) (1980), 46–47.
A. Beilinson,Langlands parameters for Heisenberg modules, Preprint (2002), http://arxiv.org/abs/math.QA/0204020.
A. Beilinson, S. Bloch and H. Esnault,ε-factors for Gauss-Manin determinants, Moscow Mathematical Journal2(3) (2002), 477–532.
C. Contou-Carrère,Jacobienne locale, groupe de bivecteurs de Witt universel et symbole modéré, Comptes Rendus de l’Académie des Sciences, Paris, Série I318 (1994), 743–746.
P. Deligne,Le symbole modéré, Publications Mathématiques de l’Institut des Hautes Études Scientifiques73 (1991), 147–181.
M. Hazewinkel,Formal Groups and Applications, Academic Press, New York-San Francisco-London, 1978.
J. Milnor,Introduction to Algebraic K-Theory, Annals of Mathematics Studies, Princeton University Press, 1971.
D Mumford, M. Nori and P. Norman,Tata Lectures on Theta III, Birkhäuser, Boston-Basel-Berlin, 1991.
F. Pablos Romo,On the tame symbol of an algebraic curve, Communications in Algebra30 (2002), 4349–4368.
G. Segal and G. Wilson,Loop groups and equations of KdV type, Publications Mathématiques de l’Institut des Hautes Études Scientifiques61 (1985), 5–64.
J. P. Serre,Groupes Algébriques et Corps de Classes, Hermann, Paris, 1959.
J. Tate,Residues of differentials on curves, Annales Scientifiques de l’École Normale Supérieure1 (1968), 149–159.
E. Witt,Zyklische Körper und Algebren der Charakteristik p vom Grad p n, Journal für die reine und angewandte Mathematik176 (1937), 126–140.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is partially supported by the DGESYC research contract n. BFM2003-00078 and Castilla y León Regional Government contract SA064/01.
Rights and permissions
About this article
Cite this article
Romo, F.P. A generalization of the Contou-Carrère symbol. Isr. J. Math. 141, 39–60 (2004). https://doi.org/10.1007/BF02772210
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02772210