Arithmetic duality in algebraic K-theory

Let X be a regular arithmetic curve or point (meaning a regular separated scheme of finite type over Z which is connected and of Krull dimension </= 1). We define a compactly-supported variant Kc(X) of the algebraic K-theory spectrum K(X), and establish the basic functoriality of Kc. Briefly, K, behaves as if it were dual to K. Then we give this duality some grounding: for every prime t invertible on X, we define a natural l-adic pairing between Kc(X) and K(X). This pairing is of an explicit homotopy-theoretic nature, and reflects a simple relation between spheres, tori, and real vector spaces. Surprisingly, it has the following two properties: first (a consequence of work of Rezk), when one tries to compute it the e-adic logarithm inevitably appears; and second, it can be used to give a new description of the global Artin map, one which makes the Artin reciprocity law manifest.

Department dc:contributor.department

Massachusetts Institute of Technology. Department of Mathematics.

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2013

Author dc:creator

• Clausen, Dustin (Dustin Tate)

Advisor dc:contributor.advisor

• Jacob Lurie.

• Mathematics.

Statement dc:rights

• M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/1721.1/83692

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/83692