Daniel Murfet

Learn More
In this note we give a careful exposition of the basic properties of derived categories of quasi-coherent sheaves on a scheme. This includes Neeman's version of Grothendieck duality [Nee96] and the proof that every complex with quasi-coherent cohomology is isomorphic to a complex of quasi-coherent sheaves in the derived category.
We give an introduction to computation and logic tailored for algebraists, and use this as a springboard to discuss geometric models of computation and the role of cut-elimination in these models, following Girard's geometry of interaction program. We discuss how to represent programs in the λ-calculus and proofs in linear logic as linear maps between(More)
We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for(More)
Triangulated categories are important structures lying at the confluence of several exciting areas of mathematics (and even physics). Our notes on the subject are divided into three parts which, if named by the major construction occurring within them, would be titled " Verdier quotients " , " Thomason localisaton " and " Brown representability ". There are(More)
Disclaimer: I am by no means a set theorist or any kind of expert. This is the record of my search for peace of mind with respect to foundations in category theory. Perhaps my experience will save another graduate student some frustration. There is a large literature on this subject, of which I am largely ignorant. The reader might find [Isb66], [Kru65],(More)
Stable equivalences of Morita type preserve many interesting properties and is proved to be the appropriate concept to study for equivalences between stable categories. Recently the singularity category attained much attraction and Xiao-Wu Chen and Long-Gang Sun gave an appropriate definition of singular equivalence of Morita type. We shall show that under(More)
These notes closely follow Matsumura's book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more detail. Our focus is on the results needed in algebraic geometry, so some topics in the book do not occur here or are not treated in their full depth. In particular material the reader can find in the more elementary(More)