MathOverflow is a question and answer site for professional mathematicians. 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

(This is a follow-up to a previous question; as often happens, I didn't include enough hypotheses, so I'm asking a new, more-likely-to-be-true question).

Consider the formal plane $\operatorname{Spec}\mathbb C[[t,h]]$, and let $\mathcal F$ be a quasi-coherent sheaf which is graded for the grading on $\mathbb C[[t,h]]$ where both $t$ and $h$ have degree 1 (EDIT: by which I mean that it is the completion of a graded $\mathbb C[t,h]$-module). Now assume that $\mathcal F$ is flat over infinitely many lines through the origin of the form $t=ah$ for $a\in \mathbb C$ (EDIT: by which I mean that there are infinitely many complex numbers $a\in \mathbb C$ such that the pullback to the subscheme $\operatorname{Spec} \mathbb C[[t,h]]/(t-ah)$ is free as a module over $\mathbb C[[t,h]]/(t-ah)$).

Can we conclude that $\mathcal F$ is flat?

For coherent sheaves, I think I can see an argument by comparing dimensions of residues (if the dimension of the residue at the closed point is the same as at the generic points of infinitely lines, it also must be the same as that at the generic point), but of course, that doesn't make sense for quasi-coherent sheaves.

Is there some better argument, or can the behavior of these modules be more pathological than I realize? I'd really appreciate a pointer toward a reference, as well (or at least guidance on where to look for it).

share|cite|improve this question
What do you mean by saying that ${\mathcal{F}}$ is flat over a line? And what do you mean by saying that it is graded? Usually people consider graded modules over graded rings and a graded ring is a direct SUM of its graded components, while $C[[t,h]]$ is a direct PRODUCT. Does it mean that the module is completion of a graded module over $C[t,h]$? – Sasha Dec 16 '10 at 9:18
Minor nitpick: I think the standard name is "formal polydisk" instead of "formal plane". – S. Carnahan Dec 17 '10 at 20:04

Your Answer


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

Browse other questions tagged or ask your own question.