MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Suppose I have a morphism of schemes for which I know the relative cotangent complex is trivial, and the map on reduced subschemes is an isomorphism. Is the map an isomorphism? More generally, given a morphism of schemes with zero relative cotangent complex, which is of finite presentation on the reduced points. Is the map of finite presentation, and thus etale?

(Maybe a better way to phrase this is - what's the reference for these statements? are they in SGA or in Illusie somewhere?)

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

Illusie, Complexe cotangent et deformations I, Prop. 3.1.1 (p. 203) is essentially the second thing you asked. Just a technical point: I don't think people would use the term "etale" unless the morphism is locally finitely presented or something like that (you seem to be wanting to assume that only at the level of reduced schemes or something?). Without thinking too hard, though, Prop. 3.1.2 (same page) says that L_{X/Y} of perfect amplitude in [0,0] implies f is formally smooth...surely also your condition implies it's formally etale, which is what you're asking in general (without finiteness assumption), no?

share|cite|improve this answer
Hmm.. probably being dense, what I really need is the first statement, which I can deduce from the second but I don't immediately see how it follows from just formal smoothness. What's a reference to say a formally smooth map which is an isomorphism on reduced points an isomorphism? – David Ben-Zvi Dec 16 '09 at 18:05

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.