{"id":"https://openalex.org/W7212009683","doi":"https://doi.org/10.48550/arxiv.2609.08491","title":"The contraherent version of the theorem of Slavik and Stovicek","display_name":"The contraherent version of the theorem of Slavik and Stovicek","publication_year":2026,"publication_date":"2026-09-08","ids":{"openalex":"https://openalex.org/W7212009683","doi":"https://doi.org/10.48550/arxiv.2609.08491"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.08491","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.08491","pdf_url":"https://arxiv.org/pdf/2609.08491","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.08491","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049263004","display_name":"Leonid Positselski","orcid":"https://orcid.org/0000-0001-8836-3911","observed_orcids":["https://orcid.org/0000-0001-8836-3911"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Positselski, Leonid","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5049263004"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9282000064849854,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9282000064849854,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.023800000548362732,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.009100000374019146,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/noetherian-schemes","display_name":"noetherian schemes","score":0.8930000066757202}],"concepts":[{"id":"https://openalex.org/C100036529","wikidata":"https://www.wikidata.org/wiki/Q1945067","display_name":"Monomorphism","level":3,"score":0.8895999789237976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8166000247001648},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.6765999794006348},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5135999917984009},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4999000132083893},{"id":"https://openalex.org/C2779057376","wikidata":"https://www.wikidata.org/wiki/Q3342676","display_name":"Noetherian","level":3,"score":0.4966000020503998},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44119998812675476},{"id":"https://openalex.org/C43169469","wikidata":"https://www.wikidata.org/wiki/Q580922","display_name":"Preprint","level":2,"score":0.42489999532699585},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C22602557","wikidata":"https://www.wikidata.org/wiki/Q1225713","display_name":"Krull dimension","level":4,"score":0.32710000872612},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C171636804","wikidata":"https://www.wikidata.org/wiki/Q1149458","display_name":"Compactness theorem","level":4,"score":0.30230000615119934},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2556000053882599},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.08491","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.08491","pdf_url":"https://arxiv.org/pdf/2609.08491","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.08491","doi":"https://doi.org/10.48550/arxiv.2609.08491","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.08491","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.08491","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.08491","pdf_url":"https://arxiv.org/pdf/2609.08491","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7212009683.pdf","grobid_xml":"https://content.openalex.org/works/W7212009683.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1590477903","https://openalex.org/W2006790140","https://openalex.org/W2098698429","https://openalex.org/W2112442726","https://openalex.org/W2157516300","https://openalex.org/W2334531014","https://openalex.org/W2350410464","https://openalex.org/W2743174040","https://openalex.org/W2964063384","https://openalex.org/W3104589427","https://openalex.org/W4213214060","https://openalex.org/W4313901685","https://openalex.org/W4389072821","https://openalex.org/W4391850767","https://openalex.org/W4393247359","https://openalex.org/W4416852255","https://openalex.org/W7147743489"],"related_works":["https://openalex.org/W4389072821","https://openalex.org/W3037218282","https://openalex.org/W4393247359","https://openalex.org/W2531290885","https://openalex.org/W4391850767","https://openalex.org/W7147743489","https://openalex.org/W2085526063","https://openalex.org/W4405126270","https://openalex.org/W4298676871","https://openalex.org/W2334531014"],"abstract_inverted_index":{"This":[0],"is":[1,33,111,118],"a":[2,14,18,28,38,79,101,112],"paper":[3],"about":[4,125],"contraherent":[5,41,57,92,106,114],"cosheaves":[6],"on":[7,43,94,120],"non-semi-separated":[8],"schemes.":[9],"We":[10,36,86],"prove":[11,87],"two":[12],"theorems,":[13],"negative":[15,23],"one":[16],"and":[17,61,68,132],"positive":[19,74],"one.":[20],"On":[21,72],"the":[22,64,73,109,121,126],"side,":[24,75],"let":[25,76],"$X$":[26,44,77,95],"be":[27,78],"quasi-compact,":[29],"quasi-separated":[30],"scheme":[31,81],"that":[32,45,88],"not":[34,47],"semi-separated.":[35],"present":[37],"locally":[39,54,56,102],"cotorsion":[40,103,137],"cosheaf":[42,93],"does":[46],"have":[48],"an":[49,97],"admissible":[50,98],"monomorphism":[51,99],"into":[52,100],"any":[53],"injective":[55],"cosheaf.":[58,107,115],"The":[59,116],"construction":[60],"proof":[62,117],"follow":[63],"arguments":[65],"of":[66,82,123,129,135],"Slavik":[67],"Stovicek":[69],"in":[70],"arXiv:1902.05740.":[71],"Noetherian":[80],"finite":[83],"Krull":[84],"dimension.":[85],"every":[89],"$\\mathbf":[90,104],"W$-locally":[91,105],"has":[96],"Moreover,":[108],"cokernel":[110],"flat":[113,130,136],"based":[119],"theorem":[122],"Raynaud-Gruson":[124],"projective":[127],"dimensions":[128],"modules":[131],"Enochs'":[133],"classification":[134],"modules.":[138]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-10T00:00:00"}