9
$\begingroup$

What is an example of a functor $F : \mathbb{C}\text{-Sch.} \to \text{Sets}$ with the property that the restriction of $F$ to locally Noetherian $\mathbb{C}$-schemes can be represented by a locally Noetherian $\mathbb{C}$-scheme, but that scheme does not represent $F$.

I'd be particularly nice to see a "real-world" example (though this might be stretching the notion of "real-world").

$\endgroup$
3
  • 1
    $\begingroup$ Quot might work--as I recall, the Grothendieck construction restricts to the locally Noetherian category. Off the top of my head, however, I can't prove that Quot isn't representable over $\mathbb{C}$-Sch. $\endgroup$ Commented Nov 2, 2010 at 4:32
  • $\begingroup$ I suppose an analogy with algebraic topology would be a classifying space BG for bundles on paracompact spaces, but which isn't classifying for all spaces. I'm imagining there might be a moduli problem such that there is a locally Noeth. moduli scheme that is analogous to the alg. top. case. But I'm not an algebraic geometer. $\endgroup$
    – David Roberts
    Commented Nov 2, 2010 at 4:35
  • 1
    $\begingroup$ Daniel, those are purely expository restrictions. By imposing suitable "finite presentation" conditions that are automatic in the locally noetherian case, all noetherian hypotheses are eliminated (ultimately by reduction to proving that the representing object in noetherian cases actually works on the larger category). $\endgroup$
    – BCnrd
    Commented Nov 2, 2010 at 4:42

1 Answer 1

18
$\begingroup$

Define $F(X) = {\rm{Hom}}_{\mathbf{C}}(X,{\rm{Spec}}(R/tR))$ where $R$ is the valuation ring of an algebraic closure of $\mathbf{C}((t))$. Note that every element of the maximal ideal of $R/tR$ is nilpotent yet also an $N$th power for arbitrarily large $N$. For any noetherian $\mathbf{C}$-algebra $A$, every $\mathbf{C}$-algebra map $R/tR \rightarrow A$ carries the maximal ideal into the nilradical of $A$. But the nilradical of $A$ has all elements with vanishing $n$th power for some uniform $n$ (depending on $A$) since $A$ is noetherian, so in fact the maximal ideal of $R/tR$ is killed by any such map. In other words, the restriction of $F$ to the full subcategory of locally noetherian objects is represented by ${\rm{Spec}}(\mathbf{C})$.

This is a perfectly "real world" example, since valuation rings of algebraic closures of complete discretely-valued fields come up all the time in number theory and rigid-analytic geometry.

$\endgroup$
1
  • $\begingroup$ Thanks! This is indeed a "real-world" example," and much simpler than the examples I was expecting. $\endgroup$
    – jlk
    Commented Nov 2, 2010 at 4:55

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .