{"id":"https://openalex.org/W7225808441","doi":"https://doi.org/10.5281/zenodo.24136437","title":"An effective Andr\u00e9\u2013Oort theorem for Shimura varieties","display_name":"An effective Andr\u00e9\u2013Oort theorem for Shimura varieties","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225808441","doi":"https://doi.org/10.5281/zenodo.24136437"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24136437","doi":"https://doi.org/10.5281/zenodo.24136437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24136437","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24136437","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152777071","display_name":"Manvir Jaswal","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jaswal, Manvir","raw_affiliation_strings":["Independent researcher, Toronto, Canada"],"raw_orcid":"https://orcid.org/0009-0001-2880-9528","affiliations":[{"raw_affiliation_string":"Independent researcher, Toronto, Canada","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152777071"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.7656000256538391,"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"}},"topics":[{"id":"https://openalex.org/T11680","display_name":"Advanced Algebra and Geometry","score":0.7656000256538391,"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"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.22769999504089355,"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/T11166","display_name":"Analytic Number Theory Research","score":0.0024999999441206455,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8772000074386597},{"id":"https://openalex.org/C2777183706","wikidata":"https://www.wikidata.org/wiki/Q630771","display_name":"Subvariety","level":3,"score":0.8568999767303467},{"id":"https://openalex.org/C72587816","wikidata":"https://www.wikidata.org/wiki/Q7497063","display_name":"Shimura variety","level":3,"score":0.8061000108718872},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6068999767303467},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5580000281333923},{"id":"https://openalex.org/C12657307","wikidata":"https://www.wikidata.org/wiki/Q616608","display_name":"Algebraic number field","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.43160000443458557},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4041999876499176},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4025000035762787},{"id":"https://openalex.org/C2778795570","wikidata":"https://www.wikidata.org/wiki/Q5508772","display_name":"Function field","level":3,"score":0.3564000129699707},{"id":"https://openalex.org/C46709022","wikidata":"https://www.wikidata.org/wiki/Q318751","display_name":"Abelian variety","level":3,"score":0.33889999985694885},{"id":"https://openalex.org/C78397625","wikidata":"https://www.wikidata.org/wiki/Q192487","display_name":"Discriminant","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.32359999418258667},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C73373263","wikidata":"https://www.wikidata.org/wiki/Q845677","display_name":"Moduli space","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29499998688697815},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.2879999876022339},{"id":"https://openalex.org/C169654258","wikidata":"https://www.wikidata.org/wiki/Q12479","display_name":"Number theory","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C105546189","wikidata":"https://www.wikidata.org/wiki/Q1154787","display_name":"Theta function","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C121089165","wikidata":"https://www.wikidata.org/wiki/Q6889796","display_name":"Moduli","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C76449584","wikidata":"https://www.wikidata.org/wiki/Q851333","display_name":"Dedekind cut","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C75764964","wikidata":"https://www.wikidata.org/wiki/Q870797","display_name":"Modular form","level":2,"score":0.25189998745918274},{"id":"https://openalex.org/C183606055","wikidata":"https://www.wikidata.org/wiki/Q2463775","display_name":"Dedekind sum","level":3,"score":0.2515999972820282}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.24136437","doi":"https://doi.org/10.5281/zenodo.24136437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24136437","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24136438","doi":"https://doi.org/10.5281/zenodo.24136438","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24136438","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24141683","doi":"https://doi.org/10.5281/zenodo.24141683","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24141683","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24136437","doi":"https://doi.org/10.5281/zenodo.24136437","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24136437","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"give":[1],"effective":[2],"bounds":[3,99,172],"for":[4,27,36,56,108,164,209],"the":[5,23,28,37,48,53,61,89,98,103,114,117,128,131,136,140,187,210],"special":[6],"subvarieties":[7,185],"V":[8,46],"that":[9,123],"are":[10,100,124],"maximal":[11],"in":[12,20,102,113,154],"a":[13,17,40,86,158,190,195],"subvariety":[14],"Z":[15,79,106],"of":[16,22,25,30,39,52,65,94,105,116,135,139,145,198,203,212],"Shimura":[18,129,141,196],"variety,":[19],"terms":[21],"degree":[24,29,104,115],"Z:":[26],"V,":[31],"with":[32,70,121,160,174],"no":[33,68,175],"hypothesis;":[34],"and":[35,47,83,93,97,110,119,133,147,207],"discriminant":[38],"number":[41,87,166],"field":[42,118],"L_V":[43,66,109],"attached":[44],"to":[45],"Klingler\u2013Yafaev":[49],"invariant":[50],"\u03b1_V":[51],"level,":[54],"if":[55],"some":[57],"\u03b4":[58,161],">":[59],"0":[60],"Dedekind":[62],"zeta":[63],"function":[64],"has":[67,151],"zero":[69],"real":[71],"part":[72],"greater":[73],"than":[74],"1":[75],"\u2212":[76],"\u03b4.":[77],"Here":[78],"is":[80,91],"geometrically":[81],"irreducible":[82],"defined":[84],"over":[85],"field,":[88],"level":[90,132],"neat":[92],"product":[95],"form,":[96],"explicit":[101],"and,":[107],"\u03b1_V,":[111],"also":[112],"\u03b4,":[120],"constants":[122],"effectively":[125],"computable":[126],"from":[127,186],"datum,":[130],"representatives":[134],"connected":[137],"components":[138],"variety.":[142],"A":[143],"preprint":[144],"Cureton":[146],"Thorner,":[148],"whose":[149],"proof":[150],"been":[152],"formalized":[153],"Lean,":[155],"establishes":[156],"such":[157],"half-plane":[159],"=":[162],"1/32":[163],"every":[165],"field;":[167],"granting":[168],"it,":[169],"all":[170],"these":[171,184],"hold":[173],"further":[176],"hypothesis.":[177],"For":[178],"abelian":[179],"type,":[180],"an":[181],"algorithm":[182],"lists":[183],"bounds,":[188],"given":[189],"finite":[191],"\u00e9tale":[192],"cover":[193],"by":[194],"variety":[197],"Hodge":[199],"type":[200],"inside":[201],"one":[202],"Mumford's":[204],"moduli":[205],"spaces":[206],"equations":[208],"preimage":[211],"Z.":[213]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}