Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So let $\Lambda$ be a complete local noetherian ring.

The author claims that $\Lambda[t]/(t^i)$ is an Artinian local $\Lambda$-algebra with the same residue field as $\Lambda$.

I don't see this. For example, of $\Lambda$ is a complete DVR with uniformizer $\pi$, and $i = 2$, then the descending sequence $(\pi,t)^n$ doesn't seem to stabilize. The first few terms are:

$(\pi,t) \supsetneq (\pi^2,\pi t) \supsetneq (\pi^3,\pi^2t)\supsetneq\cdots$

which obviously doesn't stabilize...or am I missing something?

This is from the very beginning of chapter 2.1 in:


share|cite|improve this question
up vote 4 down vote accepted

Note that $\Lambda[t]/(t^i)$ is a free $\Lambda$ module spanned by $1,\ldots,t^{i-1}$, so it is not Artinian unless $\Lambda$ is. Thus the example in your reference is incorrect. In the notation of your reference, this ring is in $\widehat{\mathcal C}_{\Lambda}$ rather than $\mathcal C_{\Lambda}$, unless itself $\Lambda$ is Artinian.

Presumably this doesn't affect anything that follows, and you may do well to bear in mind that the author (now an accomplished and highly respected expert in arithmetic geometry) wrote this as part of his master's thesis, and he explicitly states in the link you give that he hasn't tried to correct it since he first wrote it (and warns that it contains "foolish mistakes").

Incidentally, there are many additional places that you can read deformation theoretic ideas, and learn the roles of the categories $\mathcal C_{\Lambda}$ and $\widehat{\mathcal C}_{\Lambda}$.

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.