## Return to Question

5 deleted 1 characters in body; edited title

# colimitsColimits of schemes

this

This is related to another question.

I've found many remarks that the category of schemes is not cocomplete. the The category of locally ringed spaces is cocomplete, and in some special cases this turns out to be the colimit of schemes, but in other cases not (which is, of course, no evidence that the colimit does not exist). howeverHowever, I want to understand in detail a counterexample where the colimit does not exist, but I hardly found one. in In FGA explained I've found the reference, that example Example 3.4.1 in hartshorneHartshorne, appendix Appendix B is a smooth proper scheme over $\mathbb{C}$ with a free $\mathbb{Z}/2$-action, but the quotient does not exist (without proof). to To be honest, this is too complicated to me. are Are there easy examples? you You won't help me just giving the example, because there are lots of them, but the hard part is to prove that the colimit really does not exist.

4 deleted 47 characters in body

this is related to another question.

I've found many remarks that the category of schemes is not cocomplete. the category of locally ringed spaces is cocomplete, and in some special cases this turns out to be the colimit of schemes, but in other cases not (which is, of course, no evidence that the colimit does not exist). however, I want to understand in detail a counterexample where the colimit does not exist, but I hardly found one. in FGA explained I've found the reference, that example 3.4.1 in hartshorne, appendix B is a smooth proper scheme over $\mathbb{C}$ with a free $\mathbb{Z}/2$-action, but the quotient does not exist (without proof). to be honest, this is too complicated to me. are there easy examples? you won't help me just giving the example, because there are lots of them, but the hard part is to prove that the colimit really does not exist.

edit: up to now, no proof is given here

3 added 4 characters in body

this is related to another question.

I've found many remarks that the category of schemes is not cocomplete. the category of locally ringed spaces is cocomplete, and in some special cases this turns out to be the colimit of schemes, but in other cases not (which is, of course, no evidence that the colimit does not exist). however, I want to understand in detail a counterexample where the colimit does not exist, but I hardly found one. in FGA explained I've found the reference, that example 3.4.1 in hartshorne, appendix B is a smooth proper scheme over $\mathbb{C}$ with a free $\mathbb{Z}/2$-action, but the quotient does not exist (without proof). to be honest, this is too complicated to me. are there easy examples? you won't help me just giving the example, because there are lots of them, but the hard part is to prove that the colimit really does not exist.

edit: up to now, no proof is given here

2 added 43 characters in body

this is related to another question.

I've found many remarks that the category of schemes is not cocomplete. the category of locally ringed spaces is cocomplete, and in some special cases this turns out to be the colimit of schemes, but in other cases not (which is, of course, no evidence that the colimit does not exist). however, I want to understand in detail a counterexample where the colimit does not exist, but I hardly found one. in FGA explained I've found the reference, that example 3.4.1 in hartshorne, appendix B is a smooth proper scheme over $\mathbb{C}$ with a free $\mathbb{Z}/2$-action, but the quotient does not exist (without proof). to be honest, this is too complicated to me. are there easy examples? you won't help me just giving the example, because there are lots of them, but the hard part is to prove that the colimit really does not exist.

edit: up to now, no proof is given here

1

# colimits of schemes

this is related to another question.

I've found many remarks that the category of schemes is not cocomplete. the category of locally ringed spaces is cocomplete, and in some special cases this turns out to be the colimit of schemes, but in other cases not (which is, of course, no evidence that the colimit does not exist). however, I want to understand in detail a counterexample where the colimit does not exist, but I hardly found one. in FGA explained I've found the reference, that example 3.4.1 in hartshorne, appendix B is a smooth proper scheme over $\mathbb{C}$ with a free $\mathbb{Z}/2$-action, but the quotient does not exist (without proof). to be honest, this is too complicated to me. are there easy examples? you won't help me just giving the example, because there are lots of them, but the hard part is to prove that the colimit really does not exist.
{"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": 10, "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": false}, "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.9622792601585388, "perplexity_flag": "head"}