A lot of times I see theorems stated for local rings, but usually they are also true for "graded local rings", i.e., graded rings with a unique homogeneous maximal ideal (like the polynomial ring). For example, the Hilbert syzygy theorem, the Auslander-Buchsbaum formula, statements related to local cohomology, etc.


But it's not entirely clear to me how tight this analogy is. I certainly don't expect all statements about local rings to extend to graded local rings, so I'd like to know about some "pitfalls" in case I ever decide to make an "oh yes, this obviously extends" fallacy. What are some examples of statements which are true for local rings whose graded analogues are not necessarily true? Or another related question: what kind of intuition should I have when I want to conclude that statements have graded versions?


There is a notion of "generalized local ring" due to Goto and Watanabe which includes graded local rings and local rings: a positively graded ring that is finitely generated as an algebra over its zeroth degree part, and its zeroth degree part is a local ring, so one possibility is just to see if this weaker definition is enough to prove the statement. Of course the trouble comes when the proofs cite other sources, and become unmanageable to trace back to first principles.



Graded local rings versus local rings
One small thing I know of which changes is that if one has a Z-graded-commutative noetherian ring (where Z is the integers) Matlis' classification of indecomposable injective modules goes through but with one small hiccup.


Every indecomposable injective is isomorphic to E(R/p)[n] for some unique homogeneous prime ideal p but the integer shift n is not necessarily unique although under the hypotheses I think you are interested in one probably gets uniqueness. I can't think of an example where this really causes much of a problem though.


Having thought about this some more I think that non-negative integer graded-local noetherian rings, in particular those generated in degree 1 such that the maximal homogeneous ideal is also maximal if one forgets the grading, are incredibly well behaved and the analogy with local rings is very good. In fact, there is even a version of Nakayama's lemma for such rings (maybe one needs a little more) which is stronger than the usual one in the sense that one can drop the finiteness condition on the module. There are also no problems with graded versions of prime avoidance etc... in general.


I'd recommend section 1.5 of Cohen-Macaulay Rings by Bruns and Herzog where they prove that a bunch of standard facts still go through and one can see what does and doesn't change in the proofs.


As I mentioned in the comment I think one has to be most careful when considering rings graded by things like monoids which aren't as nice as the non-negative integers. In particular, if the grading is not positive (i.e. some elements of the monoid are invertible) and/or if the monoid is not cancellative at the identity (i.e. a+b = a does not imply b is the identity). I think in the non-cancellative case one can construct a counterexample to Nakayama's lemma but I am not 100% sure on this.


