Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

From the discussion here, it seems that general Hochschild cohomology classes correspond to deformations where the deformation parameter can have nonzero degree.

So I have some naive and maybe stupid questions:

How can I interpret this geometrically? What is the "base space" of the deformation? What kind of object is it?

In other words, what is the "Spec" of a graded ring or a graded algebra (e.g. $k[t]$ or $k[[t]]$ or $k[t]/(t^n)$ with the variable $t$ having some nonzero degree)?

(..... maybe what I'm really asking is: Is there a theory of "schemes" where the "affine schemes" correspond to graded commutative rings rather than commutative rings? .....)

share|cite|improve this question
This looks like derived algebraic geometry (for which there seems to be more than one school of thought), but where the differentials vanish. In this setting I think one usually views Spec of a graded ring as ringed space whose underlying topological space is Spec of the degree zero subring, but with a graded sheaf of functions. – S. Carnahan Jul 14 '10 at 23:58
To me, it looks like $G_m$-equivariant scheme theory... though maybe this is not useful for the more specific questions above. – Marty Jul 15 '10 at 0:01
It's all the same stuff rationally. – Aaron Bergman Jul 15 '10 at 0:16
To amplify Aaron's comment, in characteristic zero $E_\infty$ ring spectra are an equivalent notion to commutative DGAs. One needs to be slightly careful tossing around the derived-algebraic-geometry or $\mathbb{G}_m$-equivariant monikers, though, because Hochschild cohomology (or something like it) really classifies deformations as an associative DGA, not a commutative one. – Tyler Lawson Jul 15 '10 at 1:50
@user40276 In positive characteristic, (graded) commutative DGAs are not the same as $E_{\infty}$-DGAs. Dyer-Lashof/Steenrod operations are obstructions to strictification and they do not generically vanish unless you are in characteristic $0$. If you want a model structure, you have to consider these weaker notions as they are homotopical and the strict notion is not. Does this help? – Sean Tilson Jul 16 at 12:00

2 Answers 2

One possible answer is in Toën-Vezzozi paper From HAG to DAG, who were themselves inspired by Ciocan-Fontanine and Kapranov (Derived Quot schemes and Derived Hilbert schemes).

This approach works well in characteristic zero (otherwise ne has to deals with simplicial commutative rings or $E_\infty$-ring spectra, like in Lurie's work).

share|cite|improve this answer

maybe these notes by Vezzosi can be helpful for some

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.