Jacob Lurie's Home Page Jacob Lurie's Home Page

Office: Simonyi 203
email: lurie at ias
School of Mathematics, Institute for Advanced Study.

  • Kerodon.

  • Website for Math 205 (The Fargues-Fontaine Curve, offered Fall 2018 at UCSD): here.
  • Website for Math 278x (Categorical Logic, offered Spring 2018 at Harvard): here.
  • Website for the Fall 2017/Spring 2018 Thursday Seminar (Unstable Chromatic Homotopy Theory): here.
  • Website for the fall 2017 Fargues-Fontaine Curve Seminar: here.
  • Course website for Math 281 (Algebraic K-theory and Manifold Topology; offered Fall 2014): here.
  • Course website for Math 282y (offered Spring 2014): here.
  • Course website or Math 114 (offered Fall 2013): here.
  • Course website or Math 155 (offered Fall 2011 at Harvard): here.
  • Course website or Math 261y (offered Fall 2011 at Harvard): here.
  • Course website or Math 287x (offered Spring 2011 at Harvard): here.
  • Course website for Math 252x (offered Spring 2010 at Harvard): here.
  • Course website for 18.937 (offered Spring 2009 at MIT): here.
  • Course website for 18.915 (offered Fall 2008 at MIT): here.
  • Course notes for 18.917 (offered Fall 2007 at MIT): now available on OCW here.
  • Math Reviews (reviews not freely accessible)
  • Front for the xxx mathematics archives
  • Some papers of mine (some original, others expository). Most of these papers were based on work supported by the National Science Foundation under Grant No. 0906194. For selected older versions, go here

    Elliptic Cohomology III: Tempered Cohomology.
    This paper constructs a "tempered" cohomology theory associated to any oriented P-divisible group over a commutative ring spectrum A, and shows that there is an accompanying theory of local systems which satisfies ambidexterity for pi-finite spaces. As an application, we reproduce the character theory of Hopkins-Kuhn-Ravenel, Stapleton, and the classical character theory of finite groups.
    pdf
    Ultracategories.
    This paper gives a new proof of Makkai's "strong conceptual completeness" theorem, which asserts that a small pretopos C can be recovered from the category of models Mod(C) together with some additional structure given by the ultraproduct construction.
    pdf
    Level Structures on Elliptic Curves.
    This paper proves an integral analogue of a result of Scholze, which asserts that the moduli stack of elliptic curves at infinite level is "integral perfectoid" (after completing at some prime number p). Updated December 2019 (substantially simplified based on suggestion of O. Gabber).
    pdf
    Broken Lines and Associative Algebras.
    Introduces a moduli stack of "broken lines" and shows that associative algebras can be identified with factorizable sheaves on the moduli stack of broken lines. Joint work with Hiro Tanaka.
    pdf
    Revisiting the de Rham-Witt Complex.
    An elementary approach to the construction of the de Rham-Witt complex and the proof of its basic properties. Joint work with Bhargav Bhatt and Akhil Mathew. (Updated December 2019; various revisions.)
    pdf
    Elliptic Cohomology II: Orientations.
    Develops a theory of formal groups over commutative ring spectra and discusses various applications, like the construction of elliptic cohomology. Last update: April 2018 (added a pointwise criterion for p-divisibility).
    pdf
    Spectral Algebraic Geometry (Under Construction).
    An unfinished copy of my third book, which is an expanded compilation of several of the papers below (as well as some new material), in a form that I hope is much more user-friendly. Roughly 67% done (so many references are broken). Last update: February 2018.
    pdf
    Elliptic Cohomology I.
    A discussion of abelian varieties in the setting of spectral algebraic geometry. Last update: February 2018 (minor revisions).
    pdf
    A Riemann-Hilbert Correspondence in Characteristic p.
    Establishes a version of the Riemann-Hilbert correspondence for p-torsion etale sheaves on an arbitrary F_p-scheme. Joint work with Bhargav Bhatt. Last update: November 2017.
    pdf
    Higher Algebra.
    A version of my second book. Last update: September 2017; rewrote section on the associative operad and added material on A_n algebras.
    pdf
    Weil's Conjecture for Function Fields I.
    The first volume of an expanded account of joint work with Dennis Gaitsgory, applying homotopy-theoretic ideas to the problem of computing Tamagawa numbers of algebraic groups over function fields. Hopefully much more readable than the earlier account linked below (but defers some important steps to the sequel). Last update: May 2017. (Copyright Notice.)
    pdf
    Higher Topos Theory.
    The latest version of my book on higher category theory. The book has now gone to press, but I will continue to keep an updated copy here (big thanks to Bruce Williams for showing me how to fix the formatting). Last update: April 2017 (reworked discussion of retracts and idempotents, fixing some errors, and added hyperlinks). (Copyright Notice.)
    pdf
    On Brauer Groups of Lubin-Tate Spectra I.
    Joint work with Mike Hopkins, computing the K(n)-local Brauer group of Morava E-theory (rough draft). Last update: March 2017.
    pdf
    Weil's Conjecture for Function Fields.
    A second draft of my joint work with Dennis Gaitsgory on the proof of Weil's Tamagawa number conjecture for function fields. The proofs in section 7 have been somewhat simplified and there is a new section 10 which verifies the Grothendieck-Lefschetz trace formula for Bun_G(X) (so that the paper now contains a complete proof of Weil's conjecture). Last update: December 2014.
    pdf
    Rotation Invariance in Algebraic K-Theory.
    This paper discusses the paracyclic Waldhausen construction for stable infty-categories and shows that its failure to descend to a cyclic construction is "measured" by a certain map constructed geometrically from Bott periodicity and the complex J-homomorphism. Last update: September, 2015 (removed an erroneous remark about the Browder operation).
    pdf
    Ambidexterity in K(n)-Local Stable Homotopy Theory.
    Joint with Mike Hopkins. Investigates some surprising duality phenomena in the world of K(n)-local homotopy theory. Mostly finished, though it is a bit rough in places. Last update: December 2013.
    pdf
    Representability Theorems.
    A proof of Artin's representability theorem for spectral Deligne-Mumford stacks. (Essentially the main result of my thesis, but in a somewhat different setting.) This will be the last of the DAG papers for a while. First Draft: March 14, 2012.
    DAGXIV
    Rational and p-adic Homotopy Theory.
    Last update: December 15, 2011.
    DAGXIII
    Proper Morphisms, Completions, and the Grothendieck Existence Theorem.
    An exposition of some foundational material (described in the title) in the setting of spectral algebraic geometry. Last update: November 8, 2011.
    DAGXII
    Descent Theorems.
    Some descent theorems for quasi-coherent sheaves and quasi-coherent stacks in the setting of spectral algebraic geometry. Last update: September 28, 2011.
    DAGXI
    Formal Moduli Problems.
    A study of formal moduli problems in the setting of commutative and noncommutative derived algebraic geometry. Contains detailed proofs of the results claimed in my ICM address. Rough draft. Last update: September 1, 2011.
    DAGX
    Closed Immersions.
    A study of closed immersions in spectral algebraic geometry, and the operation of gluing along closed immersions. As an application we develop the rudiments of a theory of derived complex analytic spaces. Last update: June 2011.
    DAGIX
    Quasi-Coherent Sheaves and Tannaka Duality Theorems.
    An exposition of the theory of quasi-coherent sheaves in the setting of spectral algebraic geometry. Last update: May 2011.
    DAGVIII
    Spectral Schemes.
    Introduces the definition of scheme and Deligne-Mumford stack in the setting of algebraic geometry over structured ring spectra. Last update: June 2011 (updated version has a new section on fpqc descent).
    DAGVII
    Structured Spaces.
    The fifth bit of my PhD thesis. It described a general theory of "spaces" (i.e., infty-topoi) with structure sheaves, like sheaves of commutative rings. Last update: February 2011.
    DAGV
    Survey article on elliptic cohomology. This is a survey of the theory of elliptic cohomology, with emphasis on the the insight offered by derived algebraic geometry. (Updated April 2007). More details will be available later.
    pdf
    Expository article on topological field theories. This paper gives an informal account of a proof of the Baez-Dolan cobordism hypothesis and related matters. (Last update: May 2009) A more detailed account will appear here eventually.
    pdf
    Moduli Problems for Ring Spectra.
    An informal account of the role of E_n algebras in deformation theory.
    Paper.
    (infty,2)-Categories and the Goodwillie Calculus I.
    This is mostly devoted to some of the technical details of particular models for the theory of (infty,2)-categories. The ultimate goal is to give some applications to the Goodwillie calculus, but there's very little of that in this paper. Last update: October 2009.
    GI
    Tannaka Duality for Geometric Stacks.
    A preprint.
    pdf
    On Simply-Laced Lie Algebras and their Minuscule Representations.
    My undergraduate thesis.
    pdf
    Some notes that I once prepared on the theory of Hadamard spaces (metric spaces of nonpositive curvature).
    pdf
    An exposition of the Borel-Weil-Bott theorem on the cohomology of holomorphic line bundles over flag varieties.
    pdf


    (Counter provided by www.digits.net)