Signature Redacted" Certified By

Total Page:16

File Type:pdf, Size:1020Kb

Signature Redacted Day convolution and the Hodge filtration on THH by Saul Glasman V-- Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of z CD Doctor of Philosophy in Mathematics QLL = <~ - at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2015 @Massachusetts Institute of Technology 2015. All rights reserved. Parts of this thesis were first published in Mathematical Research Letters in 2015, published by International Press. A uthor .. ...................... Department of Mathematics April 29, 2015 Signature redacted" Certified by.... e ......... ........I.................... Clark Barwick Cecil and Ida B. Green Career Development Associate Professor Thesis Supervisor Accepted by. Signature redacted.................... William Minicozzi Chairma Depart ent Committee on Graduate Theses Day convolution and the Hodge filtration on THH by Saul Glasman Submitted to the Department of Mathematics on April 29, 2015, in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics Abstract This thesis is divided into two chapters. In the first, given symmetric monoidal oc- categories C and D, subject to mild hypotheses on D, we define an oc-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). In the second, we develop a Hodge filtration on the topological Hochschild homolgy spectrum of a commutative ring spectrum and describe its elementary prop- erties. Thesis Supervisor: Clark Barwick Title: Cecil and Ida B. Green Career Development Associate Professor 3 4 Acknowledgments This thesis, as well as the author's mathematical career, owes an inestimably enor- mous debt to nearly five years spent in the company of Clark Barwick's deep insight and inexhaustibly patient guidance. Clark proposed both of the projects contained in this thesis and taught me everything I needed to see them to completion. I'd like to thank MIT for providing a hospitable working environment and a the MIT-Harvard topology bloc for being an absolute powerhouse. There's nowhere like Boston to be a topology student. I'd also like to thank Jacob Lurie for writing the Two Indispensibles, Higher Topos Theory and Higher Algebra, and thus promoting quasicategory theory to something that anyone sufficiently motivated could use to do real work. 5 6 Contents 1 Introduction 9 2 Day convolution for oo-categories 13 2.1 The Day convolution symmetric monoidal oo-category ......... 13 2.2 The symmetric monoidal Yoneda embedding .... .......... 24 3 A spectrum-level Hodge filtration on topological Hochschild homol- ogy 31 3.1 Preliminaries on twisted arrow categories, ends and coends ....... 31 3.2 Tensor products of commutative ring spectra with spaces ...... 38 3.3 The Hodge filtration .... ........ ........ ...... 42 3.4 M ultiplicative structure ..... ........ ....... ..... 47 3.5 The layers of the filtration and Adams operations ... ....... 51 A Commutative algebras and their modules 57 7 8 Chapter 1 Introduction In this thesis, we seek to begin the development of a theory of functorial, spectrum- level Hodge filtrations on topological Hochschild homology (THH) of commutative ring spectra and its cousins, such as TR and TC. What is a Hodge filtration? The original Hodge filtration is a filtration on the de Rham complex of a commutative ring R Q*(R) -( --. -+( R*(R)) " 4 - (Q*(R)) = R where the complex (Q*(R)) " is the "stupid truncation" of Q*(R), which is not a homotopy invariant of * (R) but depends on R itself: it has the same terms as Q* (R) in degrees at most n, and is zero in degrees greater than n. This filtration gives rise to a spectral sequence known as the Hodge to de Rham spectral sequence. In a celebrated sequence of papers beginning with [71, Deligne proved that for a C-algebra R, the spectral sequence degenerates at E2 , giving rise to a mixed Hodge structure on the de Rham cohomology of R. In the special case where R is regular, the Hochschild-Kostant-Rosenberg theorem [121 gives an isomorphism of graded abelian groups HInH,(R) Loda ~ * (R) where HH* is Hochschild homology. In [14], Loday interpreted the Hodge filtration as 9 the -y-filtration associated to a A-ring structure that exists on the Hochschild homology of an arbitrary commutative ring R, thus generalizing the Hodge filtration in an algebraic direction. Rationally, this filtration is canonically split, and it coincides with the decomposition by eigenspaces of the Adams operations that exist on any rational A-ring. Later, Pirashvili [24], working rationally, used functor homology to give a general- ization of the rational Hodge decomposition to what he called "higher-order Hochschild homology". In the present work, we take Pirashvili's approach and run with it in a homotopy-theoretic direction, using a homotopy coend formula for topological Hochschild homology and its "higher-order" variants to give spectrum-level filtrations with properties analogous to those of Loday and Pirashvili's original examples. We work with quasicategories throughout, and we will liberally reference Lurie's blockbuster volumes [15] and [17]. The structure of the paper is as follows. Chapter 3 is devoted to the construction and properties of the Hodge filtration. In order to investigate the multiplicative properties of this filtration, however, we must construct an oc-categorical analog of the Day convolution. This goal, which we accomplish in Section 2.1, is the subject of the more technical Chapter 2, and is of independent interest. We'll recall some classical facts about this construction. Let (C, Oc) and (D, ®-) be two symmetric monoidal categories such that D admits all colimits. In [6], Day equips the functor category Fun(C, D) with a "convolution" symmetric monoidal structure: If F, G : C -+ D are functors, then their convolution product F ODay G is defined as the left Kan extension of 0D o (F x G) : C x C -> D along Oc : C x C - C. According to [6, Example 3.2.2], the commutative monoids for the convolution product are exactly the lax monoidal functors from C to D. We show in Proposition 2.1.10 that the analogous proposition holds for oc-categories - that is, E, algebras for the Day convolution product are lax symmetric monoidal functors, which is to say oc-operad maps in the sense of [17, Definition 2.1.2.7] - thus answering a question of Blumberg. In Section 2.2, we construct the Yoneda embedding for a symmetric monoidal 10 category C as a symmetric monoidal functor into the presheaf category Fun(CP, Top) equipped with the Day convolution product, and deduce that our construction agrees in this special case with the Day convolution constructed by Lurie in [17, Corollary 6.3.1.121. The study of THH is far from the only application of this version of the Day convolution. An important special case is the tensor product of Mackey functors; see, for example, [23]. In a recent paper [31, Barwick develops a theory of higher- categorical Mackey functors in order to study equivariant K-theory. In forthcoming work of the author with Barwick, Dotto, Nardin and Shah [4], an equvariant theory of the Day convolution is developed, building on the material in this thesis. The stage is now set for Chapter 3. In Section 3.1, we collect some useful facts about ends and coends in the oo-categorical context. In Section 3.2, we discuss tensor products of commutative ring spectra with spaces. In Section 3.3, we define our central object of study: for each simplicial set X, we define a Hodge-like filtration on the functor CRing -+ CRing: R - R 0 X where CRing is the category of commutative ring spectra. Keeping X free, we explore the geometric structure of our filtration. In Section 3.5, we specialize to X = S1 , so that R OX - THH(R). Here we identify the graded pieces of the filtration and show that they are eigenspectra for the Adams operations V, as they must be if we are to sensibly call our filtration a Hodge filtration. In addition, we believe that our filtration coincides with the TAQ- filtration investigated by Minasian [221 and McCarthy-Minasian [20]. We will take 11 up this questions in a future paper. Finally, in Appendix A, we give an account of modules over commutative algebras in quasicategories that fills a minor gap in the literature. In a forthcoming paper [10], we will describe how to lift the Hodge filtration on THH to a filtration by cyclotomic spectra, and thus obtain a filtration on topological cyclic homology TC as well as its antecedents TR and TF. We suspect this filtration to be related to a filtration on TF, with deep connections to p-adic geometry, whose existence was conjectured by Scholze [26], and we plan to investigate this link. We also hope to show that the cyclotomic trace from K-theory to TC makes the weight filtration on K-theory (various versions of which are explicated beautifully in [11]) compatible with the Hodge filtration on TC, ideally by showing that the trace is a map of spectral A-rings (whatever these are) and by framing the filtrations on each side as 7-filtrations. In between, we plan to give explicit computations of the filtrations we define in interesting cases. 12 Chapter 2 Day convolution for oc-categories 2.1 The Day convolution symmetric monoidal 00- category Throughout this thesis, F will denote the category of finite sets, or by abuse of no- tation, the nerve of that category. Likewise, F, will denote the category of finite pointed sets and pointed maps or its nerve. Let C -+ F, and D* -+ F, be sym- metric monoidal oo-categories (see [17, Definition 2.0.0.71). To sidestep potential set-theoretic issues, we'll fix a strongly inaccessible uncountable cardinal A and as- sume that both C® and DO are A-small.
Recommended publications
  • Hopf Algebroids and Their Cyclic Theory
    Hopf Algebroids and Their Cyclic Theory NIELS KOWALZIG May 29, 2009 Contents Introduction 1 1 Preliminaries 11 1.1 Cyclic Theory . 11 1.2 A-rings and A-corings . 20 1.3 Hopf Algebras and Their Cyclic Cohomology . 22 1.4 Lie-Rinehart Algebras . 24 1.5 Groupoids . 26 2 Hopf Algebroids 27 2.1 Left Bialgebroid Structures . 27 2.2 Left Hopf Algebroids . 29 2.3 Left Bialgebroid Modules and Comodules . 30 2.4 Homological Coalgebra for Left Bialgebroid Comodules . 32 2.5 Right Bialgebroids . 34 2.6 Hopf Algebroids . 36 3 Constructions 43 3.1 Left and Right Duals of Bialgebroids . 43 3.2 Push Forward Bialgebroids . 51 3.3 Matched Pairs of Bialgebroids . 52 3.3.1 Left Module Rings for Bialgebroids . 53 3.3.2 Right Comodule Corings for Bialgebroids . 54 3.3.3 Matched Pairs . 55 4 Examples of Hopf Algebroids 59 4.1 Immediate Examples . 59 4.1.1 The Enveloping Algebra Ae .............................. 59 4.1.2 Hopf Algebras Twisted by a Character . 59 4.2 Universal Enveloping Algebras of Lie-Rinehart Algebras . 61 4.2.1 The Canonical Left Hopf Algebroid Structure on VL . 61 4.2.2 Hopf Algebroid Structures on VL ........................... 62 4.3 Jet Spaces of Lie-Rinehart Algebras . 66 4.4 Convolution Algebras . 69 4.5 Function Algebras . 72 4.6 Connes-Moscovici Algebras . 76 4.7 Bicrossed Product Realisation . 79 5 Hopf-Cyclic Cohomology 85 5.1 The Space of Coinvariants . 85 5.2 Cocyclic Structures on Hopf Algebroids . 86 5.2.1 Connes’ Associated Bicomplex . 91 5.3 Hopf-Hochschild Cohomology as a Derived Functor .
    [Show full text]
  • Gerhard Hochschild (1915/2010) a Mathematician of the Xxth Century
    GERHARD HOCHSCHILD (1915/2010) A MATHEMATICIAN OF THE XXth CENTURY WALTER FERRER SANTOS Abstract. Gerhard Hochschild’s contribution to the development of mathematics in the XX century is succinctly surveyed. We start with a personal and mathematical biography, and then consider with certain detail his contributions to algebraic groups and Hopf algebras. 1. The life, times and mathematics of Gerhard Hochschild 1.1. Berlin and South Africa. Gerhard Paul Hochschild was born on April 29th, 1915 in Berlin of a middle class Jewish family and died on July 8th, 2010 in El Cerrito where he lived after he moved to take a position as professor at the University of California at Berkeley in 1958. His father Heiner was an engineer working as a patent attonery and in search of safety sent Gerhard and his older brother Ulrich, to Cape Town in May of 1933. The boys were some of the many germans escaping from the Nazis that were taking over their native country. The first 18 years of his life in Germany were not uneventful. In 1924 his mother Lilli was diagnosed with a lung ailment and sent –together with his younger son Gerhard that was then nine years old– to a sanatorium in the Alps, near Davos. Later in life he commented to the author that reading in Der Zauberberg (The Magic Mountain) by Thomas Mann, about Hans Castorp –Mann’s main character in the book– he evoked his own personal experiences. Castorp was transported away from his ordered and organized family life to pay a visit to his cousin interned also in a sanatorium in Davos.
    [Show full text]
  • The Beginnings of the Theory of Hopf Algebras 3
    THE BEGINNINGS OF THE THEORY OF HOPF ALGEBRAS NICOLAS´ ANDRUSKIEWITSCH AND WALTER FERRER SANTOS Abstract. We consider issues related to the origins, sources and initial motivations of the theory of Hopf algebras. We consider the two main sources of primeval development: algebraic topology and algebraic group theory. Hopf algebras are named from the work of Heinz Hopf in the 1940’s. In this note we trace the infancy of the subject back to papers from the 40’s, 50’s and 60’s in the two areas mentioned above. Many times we just describe – and/or transcribe parts of – some of the relevant original papers on the subject. 1. Introduction In this note, we address the following questions: Who introduced the notion of Hopf algebra? Why does it bear this name? Succinctly, the answers are: ∗ The first formal definition of Hopf algebra – under the name of hyper- algebra – was given by Pierre Cartier in 1956, inspired by the work of Jean Dieudonn´eon algebraic groups in positive characteristic. ∗ The expression Hopf algebra, or more precisely, alg`ebre de Hopf, was coined by Armand Borel in 1953, honoring the foundational work of Heinz Hopf. That is, we have two different strands, one coming from the theory of algebraic groups and the other from algebraic topology, both interwoven in the early 60’s. But the story is not so simple: the notion introduced by Cartier is not exactly the same as what we use today and it took a time to arXiv:0901.2460v3 [math.HO] 17 Mar 2009 arrive at the present definition.
    [Show full text]
  • ARCHNWA J 7 - *1 ~ ~ T N :' 11 I Alma Steingart
    Conditional Inequalities: American Pure and Applied Mathematics, 1940-1975 by ARCHNWA J 7 - *1 ~ ~ T N :' 11 I Alma Steingart Bachelor of Arts Columbia University, 2006 LBRA R ES Submitted to the Program in Science, Technology, and Society in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in History, Anthropology, and Science, Technology and Society at the Massachusetts Institute of Technology September 2013 ©2013 Alma Steingart. All Rights Reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part in any medium now known or hereafter created. Signature of Author: History, Anthropology, and ScieAce, Technology and Society / August 22, 2013 Certified by: David Kaiser Germeshausen Professor of the History of Science, STS Director, Program in Science, Technology, and Society Senior Lecturer, Department of Physics Thesis Supervisor Certified by: Christopher Capozzola U Associate Professor, History Thesis Committee Member Certified by: / Joan L. Richards / Professor, History Brown University Thesis Committee Member Accepted by: Heather Paxson Associate Professor, Anthropology Director of Graduate Studies, History, Anthropology, and STS Accepted by: _ David Kaiser Germeshausen Professor of the History of Science, STS Director, Program in Science, Technology, and Society Senior Lecturer, Department of Physics Conditional Inequalities American Pure and Applied Mathematics, 1940 -1975 By Alma Steingart Submitted to the Program in History, Anthropology, and Science, Technology, and Society in Partial Fulfillment of the Requirements of the Degree of Doctor of Philosophy in History, Anthropology, and Science, Technology and Society Abstract This study investigates the status of mathematical knowledge in mid-century America.
    [Show full text]
  • Samuel Eilenberg 1913–1998
    NATIONAL ACADEMY OF SCIENCES SAMUEL EILENBERG 1913–1998 A Biographical Memoir by HYMAN BASS, HENRI CARTAN, PETER FREYD, ALEX HELLER, AND SAUNDERS MAC LANE Biographical Memoirs, VOLUME 79 PUBLISHED 2000 BY THE NATIONAL ACADEMY PRESS WASHINGTON, D.C. Courtesy of Columbia University SAMUEL EILENBERG September 30, 1913–January 30, 1998 BY HYMAN BASS, HENRI CARTAN, PETER FREYD, ALEX HELLER, AND SAUNDERS MAC LANE AMUEL EILENBERG DIED IN New York, January 30, 1998, Safter a two-year illness brought on by a stroke. He left no surviving family, except for his wide family of friends, students, and colleagues, and the rich legacy of his life’s work, in both mathematics and as an art collector. “Sammy”, as he has long been called by all who had the good fortune to know him, was one of the great architects of twentieth-century mathematics and definitively reshaped the ways we think about topology. The ideas that accom- plished this were so fundamental and supple that they took on a life of their own, giving birth first to homological algebra and in turn to category theory, structures that now permeate much of contemporary mathematics. Born in Warsaw, Poland, Sammy studied in the Polish school of topology. At his father’s urging, he fled Europe in 1939. On his arrival in Princeton, Oswald Veblen and Solomon Lefschetz helped him (as they had helped other refugees) find a position at the University of Michigan, where Ray Wilder was building up a group in topology. Wilder made Michigan a center of topology, bringing in such figures as The text of this memoir is reprinted with permission from Notices of the American Mathematical Society, Vol.
    [Show full text]
  • Gerhard Hochschild (1915–2010) Walter Ferrer Santos and Martin Moskowitz, Coordinating Editors
    Gerhard Hochschild (1915–2010) Walter Ferrer Santos and Martin Moskowitz, Coordinating Editors In the mid-1940s and early 1950s, homological and Dickson (1906); and later Brauer (1928), Baer algebra was ripe for formalization, or to put it (1934), and Hall (1938). In 1941 H. Hopf gave an in Hochschild’s own words—see his now classic explicit formula for the second homology group in review of the book Homological Algebra by Car- terms of a description of the first homotopy group tan and Eilenberg ([1])— “The appearance of this using generators and relations which, according book must mean that the experimental phase of to Mac Lane, provided the justification for the homological algebra is now surpassed.” study of group cohomology. The actual definition From its topological origins in the work of Rie- of homology and cohomology of a group first mann (1857), Betti (1871), and Poincaré (1895) on appears in the famous papers by Eilenberg and the “homology numbers” and after 1925 with the Mac Lane: first in the 1943 announcement [2] and work of E. Noether showing that the homology of later in 1947 in [3] in full detail. More or less a space was better viewed as a group and not as simultaneously and independently, Freudenthal Betti numbers and torsion coefficients, the subject considered the same concepts in the Netherlands of homology of a space became more and more (c. 1944) and, in a different guise, Hopf was doing algebraic. A further step was taken with the ap- the same in Switzerland. In his 1944 paper, instead pearance of the concept of a chain complex in 1929 of using explicit complexes as in [3], Hopf uses as formulated by Mayer and in a different guise free resolutions to define homology groups with by de Rham in his 1931 thesis.
    [Show full text]
  • R. Daniel Mauldin the Scottish Book
    R. Daniel Mauldin The Scottish Book Mathematics from The Scottish Café, with Selected Problems from The New Scottish Book Second Edition The Scottish Café, birthplace of the Scottish Book problems, as it appeared in a postcard from the early 1970s. The Scottish Café is on the right, with the Café Roma on the left. According to Stanisław Ulam, this scene has changed little from the period preceding World War II R. Daniel Mauldin The Scottish Book Mathematics from the Scottish Café with Selected Problems from The New Scottish Book Second Edition R. Daniel Mauldin Department of Mathematics University of North Texas San Diego, CA, USA ISBN 978-3-319-22896-9 ISBN 978-3-319-22897-6 (eBook) DOI 10.1007/978-3-319-22897-6 Library of Congress Control Number: 2015947275 Mathematics Subject Classification (2010): 01A60. Springer Cham Heidelberg New York Dordrecht London © Springer International Publishing Switzerland 1981, 2015 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication.
    [Show full text]
  • Secondary Hochschild and Cyclic (Co)Homologies
    SECONDARY HOCHSCHILD AND CYCLIC (CO)HOMOLOGIES Jacob Laubacher A Dissertation Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY May 2017 Committee: Mihai D. Staic, Advisor John Laird, Graduate Faculty Representative Xiangdong Xie Juan Bes` Copyright c May 2017 Jacob Laubacher All rights reserved iii ABSTRACT Mihai D. Staic, Advisor Hochschild cohomology was originally introduced in 1945. Much more recently in 2013 a gen- eralization of this theory, the secondary Hochschild cohomology, was brought to light. In this dis- sertation we provide the details behind the simplicial structure for the chain complexes associated to the (secondary) Hochschild (co)homology. For this we introduce the notion of simplicial alge- bras and simplicial modules. The key results are two lemmas (3.4.1 and 3.4.2) that can be thought of as analogues of the Tor and Ext functors in the context of simplicial modules. It was a pleasant surprise that the higher order Hochschild homology over the 2-sphere can also be described using simplicial structures. We study some other related concepts like the secondary Hochschild and cyclic homologies associated to the triple (A; B; "), as well as some of their properties. iv ACKNOWLEDGMENTS I would first like to thank my parents, KC and Laura, for distilling in me the notion to do what I love. Without them I would be lost and miserable, albeit a bit richer. I would like to thank my siblings Rachael, Gretchen, and Seth for their patience and tolerance for a brother who was inter- minably in school, as well as Kathy for putting up with me during this final stretch.
    [Show full text]
  • Notices of the American Mathematical Society ISSN 0002-9920
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Touching Soap Applied Delay Diff erential Second Edition – Films DVD Equations now in two volumes of the American Mathematical Society A. Arnez , Schönaich, T. Erneux , Université Libre de Bruxelles, Germany; K. Polthier , Belgium Classical Fourier Analysis November 2008 Volume 55, Number 10 Technische Universität Berlin, Germany; This short, expository book off ers a L. Grafakos , University of Missouri, M. Steff ens , C. Teitzel , Unterföhring, collection of examples of delay Columbia, MO, USA Germany diff erential equations which are in use From the reviews of the VHS version as models for a variety of phenomena in 2nd ed. 2008. Approx. 510 p. 10 illus. ... It is recommended to every math- the life sciences, physics and tech- (Graduate Texts in Mathematics, Möbius ematics club and public library, and can nology, chemistry and economics. Volume 249) Hardcover also be used as a source of informa- Avoiding mathematical proofs but ISBN 978-0-387-09431-1 $69.95 Transformations off ering more than 100 illustrations, this tion for university courses in geometry Revealed or calculus of variations. Some topics book illustrates how bifurcation and Modern Fourier Analysis such as building tunnels into minimal asymptotic techniques can be used to L. Grafakos , University of Missouri, page 1226 surfaces are under current mathematical extract analytical information of Columbia, MO, USA research, which makes the tape also physical interest. Written to a multi- worth watching by experts in this eld. disciplinary audience, it sets each area 2nd ed. 2008. Approx.
    [Show full text]
  • A Spectrum-Level Hodge Filtration on Topological Hochschild Homology
    A SPECTRUM-LEVEL HODGE FILTRATION ON TOPOLOGICAL HOCHSCHILD HOMOLOGY SAUL GLASMAN Abstract. We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum R, and more gen- erally the factorization homology R ⊗ X for any space X, echoing algebraic constructions of Loday and Pirashvili. We investigate the properties of this filtration and show that it breaks THH up into common eigenspectra of the Adams operations. 1. Introduction In this paper, we seek to begin the development of a theory of functorial, spectrum-level Hodge filtrations on topological Hochschild homology (THH) of com- mutative ring spectra and its cousins, such as T R and T C. What is a Hodge filtration? The original Hodge filtration is a filtration on the de Rham complex of a commutative ring R Ω∗(R) →···→ (Ω∗(R))≤n →···→ (Ω∗(R))≤0 = R where the complex (Ω∗(R))≤n is the “stupid truncation” of Ω∗(R), which is not a homotopy invariant of Ω∗(R) but depends on R itself: it has the same terms as Ω∗(R) in degrees at most n, and is zero in degrees greater than n. This filtration gives rise to a spectral sequence known as the Hodge to de Rham spectral sequence. In a celebrated sequence of papers beginning with [Del], Deligne proved that for a C-algebra R, the spectral sequence degenerates at E2, giving rise to a mixed Hodge structure on the de Rham cohomology of R. In the special case where R is regular, the Hochschild-Kostant-Rosenberg theo- arXiv:1408.3065v3 [math.AT] 3 Jan 2015 rem [HKR62] gives an isomorphism of graded abelian groups ∗ HH∗(R) =∼ Ω (R) where HH∗ is Hochschild homology.
    [Show full text]