Office: Science Center 514
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
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.
| 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).
| 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.
| 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.
| 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).
| 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.
| Elliptic Cohomology I.
A discussion of abelian varieties in the setting of spectral algebraic geometry. Last update: February 2018 (minor revisions).
| 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.
| 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.
| 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.
| 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).
| 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.
| 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.
| 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).
| 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.
| 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.
| Rational and p-adic Homotopy Theory.
Last update: December 15, 2011.
| Proper Morphisms, Completions, and the Grothendieck Existence
An exposition of some foundational material (described in the title) in the setting of spectral algebraic geometry. Last update: November 8, 2011.
| 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.
| 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.
| 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.
| 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.
| 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).
| 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.
| 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.
| 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.
| Moduli Problems for Ring Spectra.
An informal account of the role of E_n algebras in deformation theory.
| (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.
| Tannaka Duality for Geometric Stacks.
| On Simply-Laced Lie Algebras and their Minuscule Representations.
My undergraduate thesis.
| Some notes that I once prepared on the theory of Hadamard spaces
(metric spaces of nonpositive curvature).
| An exposition of the Borel-Weil-Bott theorem on the cohomology of
holomorphic line bundles over flag varieties.