Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Les S be a scheme. Does there exist a faithfully flat morphism T to S with T a locally Noetherian scheme?

share|improve this question
7  
No, there is not necessarily such a $T$. For instance, let $S$ be $\text{Spec}(A)$ where $A=k[[x_1,x_2,...]]$. If there is such a faithfully flat $T$, then there is a point $t$ of $T$ which maps to the closed point of $S$. Let $B$ be the local ring of $T$ at $t$. Then there is a faithfully flat local homomorphism $A\to B$. In particular, the induced map $m_A/m_A^2 \to m_B/m_B^2$ is injective. Since $m_A/m_A^2$ is infinite dimensional, so is $m_B/m_B^2$, contradicting that $B$ is Noetherian. –  Jason Starr Dec 15 '11 at 16:27
2  
@Jason: This is not a comment - it is an answer. –  Martin Brandenburg Dec 15 '11 at 19:52
3  
@Jason: If $A \to B$ is a local extension of DVR's (automatically faithfully flat), then the map $m_A/m_A^2 \to m_B/m_B^2$ may be zero (e.g. if there is ramification). –  Akhil Mathew Dec 16 '11 at 1:55
    
@Akhil: You are right. That map may be zero. But the map from $m_A/m_A^2$ to $m_AB/m_A^2B$ is nonzero, which gives the same result. –  Jason Starr Dec 17 '11 at 19:02
    
@Akhil: I should say a bit more. Since $B$ is $A$-flat, the induced map $B\otimes_A (m_A/m_A^2) \to m_AB/m_A^2B$ is an isomorphism. In particular, $m_AB/m_AB^2$ is a free $B/m_AB$-module of infinite rank. But that implies that $m_AB$ cannot be a finitely generated ideal in $B$, thus $B$ is not Noetherian. –  Jason Starr Dec 17 '11 at 19:41
add comment

1 Answer 1

up vote 11 down vote accepted

Note that if $T\to S$ is also quasicompact, then $S$ must be locally noetherian: this boils down to the well-known fact that if $A\to B$ is a faithfully flat ring homomorphism and $B$ is noetherian, then so is $A$.

This proves that Jason's example above is indeed a counterexample. More generally, any non-noetherian local scheme $S$ is a counterexample: if $T\to S$ is faithfully flat, there is an open affine $U\subset T$ which covers $S$.

EDIT: In fact, here is a complete answer ($S$ is any given scheme):

(1) The following are equivalent:
(1a) There exists a locally noetherian scheme $T$ and a faithfully flat and quasicompact morphism $T\to S$.
(1b) $S$ is locally noetherian.

(2) The following are equivalent:
(2a) There exists a locally noetherian scheme $T$ and a faithfully flat morphism $T\to S$.
(2b) For each $s\in S$, the ring $\mathcal{O}_{S,s}$ is noetherian.

Proof: exercise. To show that (2b) implies (2a), take $T=\coprod_{s\in S}\mathrm{Spec}(\mathcal{O}_{S,s})$.

share|improve this answer
add comment

Your Answer

 
discard

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.