##
IP=PSPACE (almost)

Posted by Akhil Mathew under

computer science | Tags:

interactive proofs,

IP=PSPACE |

[3] Comments
I gave a talk at the undergraduate mathematics colloquium on interactive proofs. The notes I prepared for myself are here.

This is a way of saying that I’m still alive, even if I haven’t had time to update this blog recently! My interests have been getting more and more homotopical in nature. I’ve been thinking about the cotangent complex, which is a non-abelian example of a derived functor—you derive the functor of Kahler differentials, defined on the (nonadditive) category of algebras over a ring. The way to do this is to use Quillen’s language of model categories. The key point is that if you derive an additive functor by taking a projective resolution, which is a cofibrant replacement in some model structure on the category of chain complexes, then naturally you should derive a non-additive functor by taking a cofibrant replacement in the category of simplicial whatever. Say, simplicial algebras over a ring. I’m hoping to be able to blog about the cotangent complex in a few days.

### Like this:

Like Loading...

*Related*

April 15, 2011 at 12:39 pm

A bit of inducement: I look forward to your cotangent complex post, preferably a version “for dummies”. And please spell as much as you can of the nonabelian derived functor perspective, or any attractive yogaic concept, with references.

Though don’t feel pressured, I guess it could easily get out of hand with relations to motives or serious nonabelian things in the spirit of Simpson’s.

Thanks in advance.

April 16, 2011 at 10:54 am

There is a type in definition 2 part (2). Should be “no matter what Peggy does.”

April 16, 2011 at 1:47 pm

Fixed, thanks.