References Is Provisional, and Will Grow (Or Shrink) As the Course Progresses

Total Page:16

File Type:pdf, Size:1020Kb

References Is Provisional, and Will Grow (Or Shrink) As the Course Progresses Note: This list of references is provisional, and will grow (or shrink) as the course progresses. It will never be comprehensive. See also the references (and the book) in the online version of Weibel's K- Book [40] at http://www.math.rutgers.edu/ weibel/Kbook.html. References [1] Armand Borel and Jean-Pierre Serre. Le th´eor`emede Riemann-Roch. Bull. Soc. Math. France, 86:97{136, 1958. [2] A. K. Bousfield. The localization of spaces with respect to homology. Topology, 14:133{150, 1975. [3] A. K. Bousfield and E. M. Friedlander. Homotopy theory of Γ-spaces, spectra, and bisimplicial sets. In Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, volume 658 of Lecture Notes in Math., pages 80{130. Springer, Berlin, 1978. [4] Kenneth S. Brown and Stephen M. Gersten. Algebraic K-theory as gen- eralized sheaf cohomology. In Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pages 266{ 292. Lecture Notes in Math., Vol. 341. Springer, Berlin, 1973. [5] William Dwyer, Eric Friedlander, Victor Snaith, and Robert Thoma- son. Algebraic K-theory eventually surjects onto topological K-theory. Invent. Math., 66(3):481{491, 1982. [6] Eric M. Friedlander and Daniel R. Grayson, editors. Handbook of K- theory. Vol. 1, 2. Springer-Verlag, Berlin, 2005. [7] Ofer Gabber. K-theory of Henselian local rings and Henselian pairs. In Algebraic K-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989), volume 126 of Contemp. Math., pages 59{70. Amer. Math. Soc., Providence, RI, 1992. [8] Henri Gillet and Daniel R. Grayson. The loop space of the Q- construction. Illinois J. Math., 31(4):574{597, 1987. 1 [9] Henri A. Gillet and Robert W. Thomason. The K-theory of strict Hensel local rings and a theorem of Suslin. In Proceedings of the Luminy confer- ence on algebraic K-theory (Luminy, 1983), volume 34, pages 241{254, 1984. [10] P. G. Goerss and J. F. Jardine. Simplicial Homotopy Theory, volume 174 of Progress in Mathematics. Birkh¨auserVerlag, Basel, 1999. [11] Daniel Grayson. Higher algebraic K-theory. II (after Daniel Quillen). In Algebraic K-theory (Proc. Conf., Northwestern Univ., Evanston, Ill., 1976), pages 217{240. Lecture Notes in Math., Vol. 551. Springer, Berlin, 1976. [12] Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52. [13] Jean-Claude Hausmann and Dale Husemoller. Acyclic maps. Enseign. Math. (2), 25(1-2):53{75, 1979. [14] Mark Hovey, Brooke Shipley, and Jeff Smith. Symmetric spectra. J. Amer. Math. Soc., 13(1):149{208, 2000. [15] J. F. Jardine. Simplicial objects in a Grothendieck topos. In Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo., 1983), pages 193{239. Amer. Math. Soc., Providence, RI, 1986. [16] J. F. Jardine. Supercoherence. J. Pure Appl. Algebra, 75(2):103{194, 1991. [17] J. F. Jardine. The K-theory of finite fields, revisited. K-Theory, 7(6):579{595, 1993. [18] J. F. Jardine. The Lichtenbaum-Quillen conjecture for fields. Canad. Math. Bull., 36(4):426{441, 1993. [19] J. F. Jardine. Generalized Etale´ Cohomology Theories, volume 146 of Progress in Mathematics. Birkh¨auserVerlag, Basel, 1997. [20] J. F. Jardine. Motivic symmetric spectra. Doc. Math., 5:445{553 (elec- tronic), 2000. 2 [21] J. F. Jardine. Presheaves of symmetric spectra. J. Pure Appl. Algebra, 150(2):137{154, 2000. [22] J. F. Jardine. Lectures on Homotopy Theory. http://www.math.uwo. ca/~jardine/papers/HomTh, 2014. [23] J. F. Jardine. Local Homotopy Theory. Manuscript, to appear in Springer Monographs in Mathematics, 2014. [24] J.F. Jardine. The Barratt-Priddy theorem. Preprint, http://www. math.uwo.ca/~jardine/papers/preprints, 2007. [25] J.F. Jardine. The K-theory presheaf of spectra. In New topological con- texts for Galois theory and algebraic geometry (BIRS 2008), volume 16 of Geom. Topol. Monogr., pages 151{178. Geom. Topol. Publ., Coventry, 2009. [26] John Milnor. Introduction to algebraic K-theory. Princeton University Press, Princeton, N.J., 1971. Annals of Mathematics Studies, No. 72. [27] Daniel Quillen. The Adams conjecture. Topology, 10:67{80, 1971. [28] Daniel Quillen. On the cohomology and K-theory of the general linear groups over a finite field. Ann. of Math. (2), 96:552{586, 1972. [29] Daniel Quillen. Higher algebraic K-theory. I. In Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pages 85{147. Lecture Notes in Math., Vol. 341. Springer, Berlin, 1973. [30] Daniel Quillen. Homotopy properties of the poset of nontrivial p- subgroups of a group. Adv. in Math., 28(2):101{128, 1978. [31] V. V. Schechtman. On the delooping of Chern character and Adams operations. In K-theory, arithmetic and geometry (Moscow, 1984{1986), volume 1289 of Lecture Notes in Math., pages 265{319. Springer, Berlin, 1987. [32] Christian Schlichtkrull. The homotopy infinite symmetric product rep- resents stable homotopy. Algebr. Geom. Topol., 7:1963{1977, 2007. 3 [33] A. Suslin. On the K-theory of algebraically closed fields. Invent. Math., 73(2):241{245, 1983. [34] A. A. Suslin. Algebraic K-theory of fields. In Proceedings of the Inter- national Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986), pages 222{244, Providence, RI, 1987. Amer. Math. Soc. [35] Andrei Suslin and Vladimir Voevodsky. Singular homology of abstract algebraic varieties. Invent. Math., 123(1):61{94, 1996. [36] Andrei A. Suslin. On the K-theory of local fields. In Proceedings of the Luminy conference on algebraic K-theory (Luminy, 1983), volume 34, pages 301{318, 1984. [37] R. W. Thomason. Algebraic K-theory and ´etalecohomology. Ann. Sci. Ecole´ Norm. Sup. (4), 18(3):437{552, 1985. [38] R. W. Thomason and Thomas Trobaugh. Higher algebraic K-theory of schemes and of derived categories. In The Grothendieck Festschrift, Vol. III, volume 88 of Progr. Math., pages 247{435. Birkh¨auserBoston, Boston, MA, 1990. [39] Friedhelm Waldhausen. Algebraic K-theory of spaces. In Algebraic and geometric topology (New Brunswick, N.J., 1983), volume 1126 of Lecture Notes in Math., pages 318{419. Springer, Berlin, 1985. [40] Charles A. Weibel. The K-book, volume 145 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2013. An introduction to algebraic K-theory. 4.
Recommended publications
  • Tōhoku Rick Jardine
    INFERENCE / Vol. 1, No. 3 Tōhoku Rick Jardine he publication of Alexander Grothendieck’s learning led to great advances: the axiomatic description paper, “Sur quelques points d’algèbre homo- of homology theory, the theory of adjoint functors, and, of logique” (Some Aspects of Homological Algebra), course, the concepts introduced in Tōhoku.5 Tin the 1957 number of the Tōhoku Mathematical Journal, This great paper has elicited much by way of commen- was a turning point in homological algebra, algebraic tary, but Grothendieck’s motivations in writing it remain topology and algebraic geometry.1 The paper introduced obscure. In a letter to Serre, he wrote that he was making a ideas that are now fundamental; its language has with- systematic review of his thoughts on homological algebra.6 stood the test of time. It is still widely read today for the He did not say why, but the context suggests that he was clarity of its ideas and proofs. Mathematicians refer to it thinking about sheaf cohomology. He may have been think- simply as the Tōhoku paper. ing as he did, because he could. This is how many research One word is almost always enough—Tōhoku. projects in mathematics begin. The radical change in Gro- Grothendieck’s doctoral thesis was, by way of contrast, thendieck’s interests was best explained by Colin McLarty, on functional analysis.2 The thesis contained important who suggested that in 1953 or so, Serre inveigled Gro- results on the tensor products of topological vector spaces, thendieck into working on the Weil conjectures.7 The Weil and introduced mathematicians to the theory of nuclear conjectures were certainly well known within the Paris spaces.
    [Show full text]
  • FIELDS MEDAL for Mathematical Efforts R
    Recognizing the Real and the Potential: FIELDS MEDAL for Mathematical Efforts R Fields Medal recipients since inception Year Winners 1936 Lars Valerian Ahlfors (Harvard University) (April 18, 1907 – October 11, 1996) Jesse Douglas (Massachusetts Institute of Technology) (July 3, 1897 – September 7, 1965) 1950 Atle Selberg (Institute for Advanced Study, Princeton) (June 14, 1917 – August 6, 2007) 1954 Kunihiko Kodaira (Princeton University) (March 16, 1915 – July 26, 1997) 1962 John Willard Milnor (Princeton University) (born February 20, 1931) The Fields Medal 1966 Paul Joseph Cohen (Stanford University) (April 2, 1934 – March 23, 2007) Stephen Smale (University of California, Berkeley) (born July 15, 1930) is awarded 1970 Heisuke Hironaka (Harvard University) (born April 9, 1931) every four years 1974 David Bryant Mumford (Harvard University) (born June 11, 1937) 1978 Charles Louis Fefferman (Princeton University) (born April 18, 1949) on the occasion of the Daniel G. Quillen (Massachusetts Institute of Technology) (June 22, 1940 – April 30, 2011) International Congress 1982 William P. Thurston (Princeton University) (October 30, 1946 – August 21, 2012) Shing-Tung Yau (Institute for Advanced Study, Princeton) (born April 4, 1949) of Mathematicians 1986 Gerd Faltings (Princeton University) (born July 28, 1954) to recognize Michael Freedman (University of California, San Diego) (born April 21, 1951) 1990 Vaughan Jones (University of California, Berkeley) (born December 31, 1952) outstanding Edward Witten (Institute for Advanced Study,
    [Show full text]
  • Professor AO Kuku
    CURRICULUM VITAE Professor A.O. Kuku I. Personal Details Date of Birth: March 20, 1941 Marital Status: Married with four children Nationality: Nigerian Sex: Male U.S.A. Permanent Resident (Green card) since March 2002 II CURRENT POSITION: Professor of Mathematics, Grambling State University, Grambling, LA, USA. Since August 2008 III. Position held in the last five years (a) Member, Institute for Advanced Study Princeton, NJ, USA. Sept. 2003-Aug. 2004 (b) Visiting Research Professor, MSRI Berkeley, CA, USA. Aug-Dec 2004 (c) Visiting Professor, OSU (Ohio State Univ.) Columbus, OH, USA 2005 (d) Distinguished Visiting Professor, Miami 2005 – 2006 University, Oxford, OH, USA (e) Visiting Professor, Universitat Bielefeld, Germany ,USA. 2006 (f) Visiting Professor, IHES, Paris, France 2006 (g) Visiting Professor, Max Planck Inst. Fur Mathematik, Bonn, Germany 2007 (h) Visiting Professor, National Mathema- tical Centre, Abuja, Nigeria. 2007 (i) Visiting professor, The University of Iowa, Iowa-City, USA 2007-2008 (j) Visiting Professor, National Mathema- Tical Centre, Abuja, Nigeria. 2008 IV. Educational Institutions Attended (University Education) 1.Makerere University College, Kampala, Uganda (then under special relationship with the University of London) 1962-1965 2.University of Ibadan, Nigeria 1966-1971 1 3Columbia University, New York City, USA (To write my Ph.D thesis) (Thesis written under Professor Hyman Bass) 1970-1971 V. Academic Qualification (with dates and granting bodies) 1.B. Sc (Special- Honours) Mathematics, University of London 1965 2.M. Sc. (Mathematics), University of Ibadan, Nigeria. 1968 3.Ph. D. (Mathematics), University of Ibadan, Nigeria 1971 (Thesis written under Professor Hyman Bass of Columbia Univerisity, New York).
    [Show full text]
  • Affine Grassmannians in A1-Algebraic Topology
    AFFINE GRASSMANNIANS IN A1-ALGEBRAIC TOPOLOGY TOM BACHMANN Abstract. Let k be a field. Denote by Spc(k)∗ the unstable, pointed motivic homotopy category and A1 1 by R ΩGm : Spc(k)∗ →Spc(k)∗ the (A -derived) Gm-loops functor. For a k-group G, denote by GrG the affine Grassmannian of G. If G is isotropic reductive, we provide a canonical motivic equivalence A1 A1 R ΩGm G ≃ GrG. We use this to compute the motive M(R ΩGm G) ∈ DM(k, Z[1/e]). 1. Introduction This note deals with the subject of A1-algebraic topology. In other words it deals with with the ∞- category Spc(k) of motivic spaces over a base field k, together with the canonical functor Smk → Spc(k) and, importantly, convenient models for Spc(k). Since our results depend crucially on the seminal papers [1, 2], we shall use their definition of Spc(k) (which is of course equivalent to the other definitions in the literature): start with the category Smk of smooth (separated, finite type) k-schemes, form the universal homotopy theory on Smk (i.e. pass to the ∞-category P(Smk) of space-valued presheaves on k), and A1 then impose the relations of Nisnevich descent and contractibility of the affine line k (i.e. localise P(Smk) at an appropriate family of maps). The ∞-category Spc(k) is presentable, so in particular has finite products, and the functor Smk → Spc(k) preserves finite products. Let ∗ ∈ Spc(k) denote the final object (corresponding to the final k-scheme k); then we can form the pointed unstable motivic homotopy category Spc(k)∗ := Spc(k)/∗.
    [Show full text]
  • Curriculum Vitae
    CURRICULUM VITAE Professor Aderemi Oluyomi Kuku Ph.D, FAMS (USA), FTWAS, FAAS, FAS (Nig), FNMS, FMAN, FASI, OON, NNOM I. Personal Details Date of Birth: March 20, 1941 Marital Status: Married with four children Nationality: USA/Nigeria. Sex: Male II CONTACT ADDRESSES: Email [email protected] Website: www.aderemikuku.com MAILING ADDRESS: USA: 307 Penny Lane, Apt 5, Ruston, LA 71270, USA. NIGERIA(a) 2 Amure Street, Kongi-NewBodija, Ibadan, Oyo State, Nigeria. (b) Univerdityof Ibadan Post office Box 22574 Ibadan, Oyo State , Nigeria. PHONE NUMBERS: USA: +1-318-255-6433 Cell: +1-224-595-4854 NIGERIA: +234-70-56871969; +234-80-62329855 III. Positions held in the last 14 years (a) Member, Institute for Advanced Study Princeton, NJ, USA. Sept. 2003-Aug. 2004 (b) Visiting Research Professor, MSRI-- (Math. Sci. Research Inst) Berkeley, CA, USA. Aug-Dec, 2004 (c) Visiting Professor, OSU (Ohio State Univ.) Columbus, OH, USA 2005 (d) Distinguished Visiting Professor, Miami 2005 – 2006 University, Oxford, OH, USA (e) Visiting Professor, Universitat Bielefeld, Germany 2006 (f) Visiting Professor, IHES, Paris, France 2006 (g) Visiting Professor, Max Planck Inst. Fur Mathematik, Bonn, Germany 2007 1 (h) Distinguished Visiting Professor, National Mathematical Centre, Abuja, Nigeria. 2007 (i) Visiting Professor, The University of Iowa, Iowa-City, USA 2007-2008 (j) Professor of Mathematics, Grambling State University, Grambling, LA 71245, USA 2008-2009 (k) William W. S. Claytor Endowed Professor of Mathematics Grambling State University, Grambling, LA 71245, USA. 2009-2014 (l) Distinguished Visiting Professor, National Mathematical Centre, Abuja, Nigeria. Summer 2009, 2010,2011, 2012, 2013, 2014 (m) Distinguished Visiting Professor of Mathematics, IMSP—Institut demathematiques etde Sciences Physiques, Porto Novo, BeninRepublic,Nov/Dec,2015.
    [Show full text]
  • Algebraic Geometry of Topological Spaces I 3
    ALGEBRAIC GEOMETRY OF TOPOLOGICAL SPACES I GUILLERMO CORTINAS˜ AND ANDREAS THOM Abstract. We use techniques from both real and complex algebraic geometry to study K- theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parametrized version of a theorem of Joseph Gubeladze; we show that if M is a countable, abelian, cancella- tive, torsion-free, seminormal monoid, and X is contractible, then every finitely generated n projective module over C(X)[M] is free. The particular case M = N0 gives a parametrized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case M = Zn. We also give alge- braic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C∗-algebras, and for a homology theory of commutative algebras to vanish on C∗-algebras. These criteria have numerous applications. For example, the vanishing cri- terion applied to nil-K-theory implies that commutative C∗-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild-Kostant-Rosenberg and Loday-Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Be˘ılinson-Soul´eand Farrell-Jones are also given.
    [Show full text]
  • An Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
    What follows is Vladimir Voevodsky's snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and \from my point of view the main fun of doing mathematics" Voevodsky (2002). Voevodsky uses extremely simple leading ideas to extend topological methods of homotopy into number theory and abstract algebra. The talk takes the simple ideas right up to the edge of some extremely refined applications. The talk is on-line as streaming video at claymath.org/video/. In a nutshell: classical homotopy studies a topological space M by looking at maps to M from the unit interval on the real line: [0; 1] = fx 2 R j 0 ≤ x ≤ 1 g as well as maps to M from the unit square [0; 1]×[0; 1], the unit cube [0; 1]3, and so on. Algebraic geometry cannot copy these naively, even over the real numbers, since of course the interval [0; 1] on the real line is not defined by a polynomial equation. The only polynomial equal to 0 all over [0; 1] is the constant polynomial 0, thus equals 0 over the whole line. The problem is much worse when you look at algebraic geometry over other fields than the real or complex numbers. Voevodsky shows how category theory allows abstract definitions of the basic apparatus of homotopy, where the category of topological spaces is replaced by any category equipped with objects that share certain purely categorical properties with the unit interval, unit square, and so on. For example, the line in algebraic geometry (over any field) does not have \endpoints" in the usual way but it does come with two naturally distinguished points: 0 and 1.
    [Show full text]
  • Homotopy Theoretic Models of Type Theory
    Homotopy Theoretic Models of Type Theory Peter Arndt1 and Krzysztof Kapulkin2 1 University of Oslo, Oslo, Norway [email protected] 2 University of Pittsburgh, Pittsburgh, PA, USA [email protected] Abstract. We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power so that we can soundly inter- pret dependent products and sums in it while also have purely intensional iterpretation of the identity types. On the other hand, those conditions are easy to check and provide a wide class of models that are examined in the paper. 1 Introduction Starting with the Hofmann-Streicher groupoid model [HS98] it has become clear that there exist deep connections between Intensional Martin-L¨ofType Theory ([ML72], [NPS90]) and homotopy theory. These connections have recently been studied very intensively. We start by summarizing this work | a more complete survey can be found in [Awo10]. It is well-known that Identity Types (or Equality Types) play an important role in type theory since they provide a relaxed and coarser notion of equality between terms of a given type. For example, assuming standard rules for type Nat one cannot prove that n: Nat ` n + 0 = n: Nat but there is still an inhabitant n: Nat ` p: IdNat(n + 0; n): Identity types can be axiomatized in a usual way (as inductive types) by form, intro, elim, and comp rules (see eg. [NPS90]). A type theory where we do not impose any further rules on the identity types is called intensional.
    [Show full text]
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and 13. Eckmann 551 Algebraic K-Theory Proceedings of the Conference Held at Northwestern University Evanston, January 12-16, 1976 Edited by Michael R. Stein Springer-Verlag Berlin. Heidelberg- New York 19 ? 6 Editor Michael R. Stein Department of Mathematics Northwestern University Evanston, I1. 60201/USA Library of Congress Cataloging in Publication Data Main entry under title: Algebraic K-theory. (Lecture notes in mathematics ; 551) Bibliography: p. Includes index. i. K-theory--Congresses. 2 ~ Homology theory-- Congresses. 3. Rings (Algebra)--Congresses. I. Stein, M~chael R., 1943- II. Series: Lecture notes in mathematics (Berlin) ; 551. QAB,I,q8 no. 551 [QA61~.33] 510'.8s [514'.23] 76-~9894 ISBN AMS Subject Classifications (1970): 13D15, 14C99,14 F15,16A54,18 F25, 18H10, 20C10, 20G05, 20G35, 55 El0, 57A70 ISBN 3-540-07996-3 Springer-Verlag Berlin 9Heidelberg 9New York ISBN 0-38?-0?996-3 Springer-Verlag New York 9Heidelberg 9Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, re- printing, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under w 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. 9 by Springer-Verlag Berlin 9Heidelberg 1976 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. Introduction A conference on algebraic K-theory, jointly supported by the National Science Foundation and Northwestern University, was held at Northwestern University January 12-16, 1976.
    [Show full text]
  • Algebraic Topology August 5-10 2007, Oslo, Norway
    THE ABEL SYMPOSIUM 2007 ALGEBRAIC TOPOLOGY AUGUST 5-10 2007, OSLO, NORWAY On behalf of the Abel Board, the Norwegian Mathematical Society organizes the Abel Symposia, a series of high level research conferences. The topic for the 2007 Abel Symposium is Algebraic Topology, with emphasis on the interaction between the themes: • Algebraic K-theory and motivic homotopy theory • Structured ring spectra and homotopical algebraic geometry • Elliptic objects and quantum field theory The organizing committee consists of Eric Friedlander (Northwestern), Stefan Schwede (Bonn) and Graeme Segal (Oxford), together with the local organizers Nils A. Baas (Trondheim), Bjørn Ian Dundas (Bergen), Bjørn Jahren (Oslo) and John Rognes (Oslo). The conference will take place at the Department of Mathematics, University of Oslo, from Sunday August 5th to Friday August 10th. There will be plenary lectures from Monday August 6th through Thursday August 9th, including survey lectures on the major recent advances in the three themes, together with more specialized lectures. http://abelsymposium.no/2007 The following invited speakers have agreed to contribute with lectures ((*) = to be confirmed): Matt Ando (UIUC) • John Baez (UCR) • Mark Behrens (MIT) • Ralph Cohen (Stanford) • Hélène Esnault (Essen) • Dan Freed (Austin) • Lars Hesselholt (MIT/Nagoya) • Mike Hopkins (Harvard) • Uwe Jannsen (Regensburg) • Marc Levine (Northeastern) • Jacob Lurie (Harvard) • Alexander Merkurjev (UCLA) • Fabien Morel (München) • Charles Rezk (UIUC) • Stefan Stolz (Notre Dame) • Neil Strickland (Sheffield) • Dennis Sullivan (SUNY) • Andrei Suslin (Northwestern) (*) • Ulrike Tillmann (Oxford) • Bertrand Toën (Toulouse).
    [Show full text]
  • Vanishing Theorems for Real Algebraic Cycles
    VANISHING THEOREMS FOR REAL ALGEBRAIC CYCLES JEREMIAH HELLER AND MIRCEA VOINEAGU Abstract. We establish the analogue of the Friedlander-Mazur conjecture for Teh's reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety X vanishes in homological degrees larger than the dimension of X in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topolog- ical groups of averaged cycles and a characterization in a range of indices of dos Santos' real Lawson homology as the homotopy groups of the topological group of averaged cycles. We also establish an equivariant Poincare dual- ity between equivariant Friedlander-Walker real morphic cohomology and dos Santos' real Lawson homology. We use this together with an equivariant ex- tension of the mod-2 Beilinson-Lichtenbaum conjecture to compute some real Lawson homology groups in terms of Bredon cohomology. Contents 1. Introduction 1 2. Equivariant Homotopy and Cohomology 5 3. Topological Spaces of Cycles 6 4. Poincare Duality 14 5. Compatibility of Cycle Maps 22 6. Vanishing Theorem 30 7. Reduced Topological Cocycles 36 Appendix A. Topological Monoids 42 Appendix B. Tractable Monoid Actions 45 References 48 1. Introduction Let X be a quasi-projective real variety. The Galois group G = Gal(C=R) acts on Zq(XC), the topological group of q-cycles on the complexification of X. Cycles on the real variety X correspond to cycles on XC which are fixed by conjugation. Inside G the topological group Zq(XC) of cycles fixed by conjugation is the topological av group Zq(XC) of averaged cycles which are the cycles of the form α + α.
    [Show full text]
  • Quillen's Work in Algebraic K-Theory
    J. K-Theory 11 (2013), 527–547 ©2013 ISOPP doi:10.1017/is012011011jkt203 Quillen’s work in algebraic K-theory by DANIEL R. GRAYSON Abstract We survey the genesis and development of higher algebraic K-theory by Daniel Quillen. Key Words: higher algebraic K-theory, Quillen. Mathematics Subject Classification 2010: 19D99. Introduction This paper1 is dedicated to the memory of Daniel Quillen. In it, we examine his brilliant discovery of higher algebraic K-theory, including its roots in and genesis from topological K-theory and ideas connected with the proof of the Adams conjecture, and his development of the field into a complete theory in just a few short years. We provide a few references to further developments, including motivic cohomology. Quillen’s main work on algebraic K-theory appears in the following papers: [65, 59, 62, 60, 61, 63, 55, 57, 64]. There are also the papers [34, 36], which are presentations of Quillen’s results based on hand-written notes of his and on communications with him, with perhaps one simplification and several inaccuracies added by the author. Further details of the plus-construction, presented briefly in [57], appear in [7, pp. 84–88] and in [77]. Quillen’s work on Adams operations in higher algebraic K-theory is exposed by Hiller in [45, sections 1-5]. Useful surveys of K-theory and related topics include [81, 46, 38, 39, 67] and any chapter in Handbook of K-theory [27]. I thank Dale Husemoller, Friedhelm Waldhausen, Chuck Weibel, and Lars Hesselholt for useful background information and advice. 1.
    [Show full text]