## Ideals of etale structure sheaves

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Is it known whether or not every sheaf of ideals of the etale structure sheaf of a Noetherian scheme is generated by finitely many of its sections? Of course it is trivially true for some widely used special cases. But is it known one way or the other, in this generality?

-

2
what is the etale structure sheaf? – Yosemite Sam Jul 17 at 16:00

1
The sheaf $U \mapsto \mathcal{O}_X(U)$ defined on étale opens $U \to X$. – Martin Brandenburg Jul 17 at 18:01

1
Yes, though I would write $U\mapsto \mathscr{O}_U(U)$ to define it. – Colin McLarty Jul 17 at 19:17

1
OK guys, I'm being really really thick right now. What's the difference with the Zariski structure sheaf? Aren't the two categories (etale/zariski quasi-coherent modules) equivalent for schemes (via the forget morphism)? – Yosemite Sam Jul 17 at 22:44
But I need not only quasi-coherent (sheaves of) ideals. I want to know this for all (sheaves of) ideals. – Colin McLarty Jul 17 at 23:11
show 5 more comments

## 1 Answer

I must apologize for posting a false answer. in writing up a proof i discovered a gap which grew to a counterexample.

In fact not every sheaf of ideals of an etale structure sheaf is finitely generated. I have added a counterexample to the end of my ArXiv paper on cohomology in second order arithmetic arXiv:1207.0276v2. Intuitively, an etale ideal can hold information about arbitrarily high degree extensions which is not reducible to information about any fixed degree so the ideal is not finitely generated.

The counterexample shows that given any non-zero element $x$ of an algebraically closed field $k$ a single etale sheaf of ideals on the punctuated line $k\0$ can pick one $2^n$-th root of $x$ for every $n$. The example has $x=1$ but rescaling $k\0$ takes 1 to any other $a\neq 0$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.89659583568573, "perplexity_flag": "head"}