Abstract
Class field theory, i.e., the description of Abelian coverings of 1-dimensional schemes in terms of ideles, has two generalizations in two different directions. One is the higher-dimensional class field theory of Parshin, Kato, Bloch and Saito [P 1–2], [K], [B1], [Sa] which describes Abelian coverings of schemes of absolute dimension n in terms of Milnor K n -groups of the appropriately defined ring of adeles (in the classical case the group of ideles can be seen as K 1). The other generalization, the Langlands program, concerns only 1–dimensional schemes but describes higher-dimensional representations of the Galois groups in terms of representations of the groups of adelic matrices. One would like to have a common generalization of these two theories which would describe higher-dimensional representations of the Galois groups of higher-dimensional schemes. This question, although very natural, has never been discussed in the literature, even at the most rough and heuristic level (like what kind of structures should be involved in the “Langlands theory for higher dimensional schemes”). The present paper is an attempt to do so and to generate a rough conjectural framework for such a theory. I am aware that the conclusions are preliminary at best, but I hope that the general approach sketched here will help to formulate a more detailed program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M.F. Atiyah, Topological quantum field theories, Publ. Math. IHES, 68(1988), 175–186.
M.F. Atiyah, R. Bott, The Yang-Mills equations over Riemann surfaces, Phil. Trans. R. Soc. London, A, 308(1982), 523–615.
A.A. Beilinson, Residues and adeles, Funct. Anal. appl. 14(1980), 34 - 35.
A. Beilinson, V. Ginzburg, Infinitesimal structure of moduli spaces of G-bundles, Int. Math. Research Notices, 1992, # 4, 63–74.
J. Benabou, Introduction to bicategories, Lect. Notes in Math., 47 (1968), Springer-Verlag, 1–71.
I. N. Bernstein, A. V. Zelevinsky, Representations of the group GL(n, F)where Fis a local non-archimedean field, Russian Math. Surveys, 31(1976), 1–68.
S. Bloch, Algebraic K-theory and class field theory for arithmetic surfaces, Ann. Math. 114(1981), 229–266.
L. Breen, Bitorseurs et cohomologie non-Abćlienne, Grothendieck Festschrift, Vol. 1, Progress in Math. 86, Birkhäuser Boston, 1990, 40–476.
L. Breen, On the Classification of 2–gerbes and 2–stacks, Astérisque, 225, Soc. Math. France, 1994.
J.L. Brylinski, Loop Spaces, Characteristic Classes and Geometric Quantization, Birkhäuser, 1993.
J.L. Brylinski, Central extensions and reciprocity laws, preprint 1995.
J.L. Brylinski, D. MacLaughlin, The geometry of degree four characteristic classes and of line bundles on loop spaces I, Duke Math. J. 75(1994), 603 - 638.
L. Clozel, Motifs et formes automorphes: applications du principe de fonctorialité, in: Automorphic forms, Shimura varieties and L-functions, Vol. 1, L. Clozel, J.S. Milne, eds., Perspectives in Math. 10 Academic Press 1990, 77–160.
L. Crane, I. Frenkel, Four-dimensional topological quantum field theory, Hopf categories and canonical bases, J. Math. Phys. 35(1994), 5136–5154.
P. Deligne, Variétés de Shimura: interpretation modulaire et techniques de construction de modéles canoniques, Proc. Symp. Pure Math., 33 (1977), pt 2, 247–290.
P. Deligne, Valeurs de fonctions L et périodes d’intégrales, ibid., 313346.
P. Deligne, Le symbole modéré, Publ. Math. IRES, 73 (1991), 148181.
V.G. Drinfeld, Elliptic modules, Russian Math. Sbornik 23(1974), 561 - 592.
V.G. Drinfeld, Two-dimensional l-adic representations of the fundamental group of a curve over a finite field and automorphic forms on GL(2), Amer. J. Math. 105(1983), 85–114.
B. Feigin, E. Frenkel, Duality for W-algebras, Int. Math. Research Notices, 1991, # 6, 75–82.
D. Freed, Higher algebraic structures and quantization, preprint 1992.
H. Gillet, Riemann-Roch theorems for higher algebraic K-theory, Adv. Math. 40(1981), 203–289.
J. Giraud, Cohomologie Non-Abélienne (Erg. der Math. 64), Springer-Verlag, 1971.
R. Gordon, A.J. Power, R. Street, Coherence for tricategories, preprint, 1993.
A. Grothendieck, Pursuing Stacks, preprint, 1983.
A. Huber, On the Parshin-Beilinson adeles for schemes, Abh. Math. Sem. Univ. Hamburg, 66(1991), 249–273.
H. Jacquet, I.I. Piatetski-Shapiro, J. Shalika, Automorphic forms on GL(3),Ann. Math. 109(1979), 163–258.
U. Jannsen, Motives, numerical equivalence and semi-simplicity, Invent. Math. 107(1992), 447 - 452.
H. Jacquet, R.P. Langlands, Automorphic forms on GL(2), Lecture Notes in Math. 114, Springer-Verlag, 1971.
M. Johnson, The geometry of n-categorical pasting, J. Pure Appl. Alg. 62(1989), 211 - 225.
A. Joyal, R. Street, The geometry of tensor calculus, Adv. Math. 88(1991), 55 - 112.
M. M. Kapranov. V. A. Voevodsky, 2–categories and Zamolodchikov tetrahedra equations, Proc. Symp. Pure Math., V. 56(1994), pt.2, Amer. Math. Soc., Providence RI 1994, 177–259.
K. Kato, A generalization of local class field theory by using K-groups I, J. Fac. Sci. Univ. Tokyo, Sec. IA, 26(1979), 303–376; II, ibid. 27(1980), 603–683; III, ibid. 29(1982), 31 - 43.
R.P. Langlands, Modular forms and l-adic representations, Lecture Notes in Math., 439 (1973), Springer-Verlag.
R.P. Langlands, Automorphic representations, Shimura varieties and motives. Ein Mérchen, Proc. Symp. Pure Math., 33 (1977), pt. 2, p. 205–246.
R.J. Lawrence, Triangulations, categories and extended topological field theories, preprint, 1992.
Y.I. Manin, V.V. Schechtman, Arrangement of hyperplanes, higher braid groups and higher Bruhat orders, Adv. Studies in Pure Math., 17 289–308.
J.P. May, Geometry of Iterated Loop Spaces, Lecture Notes in Math. 271(1972) Springer-Verlag.
J.P. May, E ∞Ring Spaces and E ∞Ring Spectra, Lect. Notes in Math., 577, Springer-Verlag, 1977.
A.N. Parshin, Abelian coverings of arithmetic schemes, Soy. Math. Dokl. 19(1978), 1438 - 1442.
A.N. Parshin, Local class field theory, Proc. Steklov Inst. Math. 165(1985), 157 - 185.
F. Rodier, Representations de GL(n, k) où k est un corps p-adique, Sém. Bourbaki, Exp. 587, 1981/82, Astérisque 92–93 (1982) Soc. Math. France, 201–218.
S. Saito, Unramified class field theory for arithmetic schemes, Ann. Math. 121(1985), 251–281.
B. Simon, the P(ø)2 Euclidean Quantum Field Theory, Princeton Univ. Press, 1974.
R. Street, The algebra of oriented simplices, J. Pure Appl. Alg. 49(1987), 283 - 335.
A.A. Suslin, Homology of GL n , characteristic classes and Milnor K-theory, Lecture Notes in Math. 1046 (989), Springer-Verlag, 357–375.
J. Tate, Number-theoretic background, Proc. Symp. Pure Math., 33 (1977), pt 2, p. 3–26.
F. Waldhausen, Algebraic K-theory of generalized free products I, Ann. Math. 108(1978), 135 - 204.
A. Weil, Über die bestimmung Dirichletschen Reihen durch Functionalgleigungen, Math. Ann. 168(1967), 149 - 156.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Birkhäuser Boston
About this chapter
Cite this chapter
Kapranov, M.M. (1995). Analogies between the Langlands Correspondence and Topological Quantum Field Theory. In: Gindikin, S., Lepowsky, J., Wilson, R.L. (eds) Functional Analysis on the Eve of the 21st Century. Progress in Mathematics, vol 131/132. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-2582-9_4
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2582-9_4
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4612-7590-9
Online ISBN: 978-1-4612-2582-9
eBook Packages: Springer Book Archive