{"id":"https://openalex.org/W7214210635","doi":"https://doi.org/10.48550/arxiv.2609.28465","title":"Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle","display_name":"Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle","publication_year":2026,"publication_date":"2026-09-23","ids":{"openalex":"https://openalex.org/W7214210635","doi":"https://doi.org/10.48550/arxiv.2609.28465"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.28465","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28465","pdf_url":"https://arxiv.org/pdf/2609.28465","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.28465","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152650199","display_name":"Bin Dong","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Bin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104262609","display_name":"Guoxiong Gao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Guoxiong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5152719321","display_name":"Bin Guo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Bin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133081057","display_name":"Zeming Sun","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Zeming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5152745222","display_name":"Bin Wu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Bin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5152602962","display_name":"Song-Yan Xie","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Song-Yan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9994999766349792,"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9994999766349792,"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/T12351","display_name":"Geometry and complex manifolds","score":0.0005000000237487257,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.0,"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/rational-curves","display_name":"rational curves","score":0.9229999780654907},{"id":"https://openalex.org/keywords/smooth-projective-varieties","display_name":"smooth projective varieties","score":0.7960000038146973},{"id":"https://openalex.org/keywords/uniruledness","display_name":"uniruledness","score":0.8949999809265137},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.968999981880188}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8568000197410583},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6603999733924866},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6240000128746033},{"id":"https://openalex.org/C62139920","wikidata":"https://www.wikidata.org/wiki/Q3554818","display_name":"Projective variety","level":2,"score":0.5601000189781189},{"id":"https://openalex.org/C165761256","wikidata":"https://www.wikidata.org/wiki/Q648995","display_name":"Algebraic variety","level":3,"score":0.5565999746322632},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5131999850273132},{"id":"https://openalex.org/C177846678","wikidata":"https://www.wikidata.org/wiki/Q1501864","display_name":"Projective test","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.48510000109672546},{"id":"https://openalex.org/C2778134712","wikidata":"https://www.wikidata.org/wiki/Q1047307","display_name":"Bundle","level":2,"score":0.46799999475479126},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.45100000500679016},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.44190001487731934},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4269999861717224},{"id":"https://openalex.org/C207043602","wikidata":"https://www.wikidata.org/wiki/Q266237","display_name":"Algebraic curve","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C119947313","wikidata":"https://www.wikidata.org/wiki/Q5596635","display_name":"Jet (fluid)","level":2,"score":0.383899986743927},{"id":"https://openalex.org/C156273044","wikidata":"https://www.wikidata.org/wiki/Q4913766","display_name":"Bin","level":2,"score":0.3580999970436096},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33550000190734863},{"id":"https://openalex.org/C2780399754","wikidata":"https://www.wikidata.org/wiki/Q844128","display_name":"Canonical bundle","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C40926966","wikidata":"https://www.wikidata.org/wiki/Q4748472","display_name":"Ample line bundle","level":2,"score":0.311599999666214},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C134949993","wikidata":"https://www.wikidata.org/wiki/Q2068617","display_name":"Pencil (optics)","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2906999886035919},{"id":"https://openalex.org/C137134375","wikidata":"https://www.wikidata.org/wiki/Q1509762","display_name":"Line bundle","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C96881808","wikidata":"https://www.wikidata.org/wiki/Q1879333","display_name":"Birational geometry","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C90685605","wikidata":"https://www.wikidata.org/wiki/Q764115","display_name":"Projective line","level":4,"score":0.2669000029563904},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C2779182943","wikidata":"https://www.wikidata.org/wiki/Q25345219","display_name":"Decomposition theorem","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.2572000026702881}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.28465","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28465","pdf_url":"https://arxiv.org/pdf/2609.28465","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.28465","doi":"https://doi.org/10.48550/arxiv.2609.28465","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.28465","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.28465","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28465","pdf_url":"https://arxiv.org/pdf/2609.28465","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/W7214210635.pdf","grobid_xml":"https://content.openalex.org/works/W7214210635.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W43909133","https://openalex.org/W1538392730","https://openalex.org/W1580842374","https://openalex.org/W1978899451","https://openalex.org/W2015618015","https://openalex.org/W2088552482","https://openalex.org/W2118380482","https://openalex.org/W2325783356","https://openalex.org/W2594541093","https://openalex.org/W4407012948","https://openalex.org/W4407185776","https://openalex.org/W4417063383","https://openalex.org/W7151534166","https://openalex.org/W7167735287","https://openalex.org/W7204908292","https://openalex.org/W7212314165"],"related_works":["https://openalex.org/W2742049660","https://openalex.org/W7097024962","https://openalex.org/W203199228","https://openalex.org/W198139195","https://openalex.org/W7096501765","https://openalex.org/W2963952706","https://openalex.org/W2610079179","https://openalex.org/W2282145033","https://openalex.org/W7097058605","https://openalex.org/W2002845274"],"abstract_inverted_index":{"We":[0],"give":[1],"an":[2,37],"algebraic":[3],"proof":[4],"in":[5,35,120],"characteristic":[6],"zero":[7],"of":[8,14,17,41,64,92,107,114],"the":[9,42,50,65,82,98,105,111,115,121],"Miyaoka--Mori":[10],"criterion:":[11],"every":[12],"point":[13,66],"a":[15,22,28,53,60],"curve":[16,44,55],"negative":[18],"canonical":[19],"degree":[20,70],"on":[21,27,104,110],"smooth":[23],"projective":[24,83],"variety":[25],"lies":[26],"rational":[29,54],"curve.":[30],"Our":[31],"jet":[32],"technique":[33],"gives,":[34],"addition,":[36],"effective":[38],"numerical":[39],"decomposition":[40,51],"original":[43],"class.":[45],"For":[46],"each":[47],"prescribed":[48],"point,":[49,58],"contains":[52],"through":[56],"that":[57],"with":[59,68,76],"positive":[61],"coefficient":[62],"independent":[63],"and":[67,109,132],"anticanonical":[69],"at":[71],"most":[72],"$\\dim":[73],"X+1$.":[74],"Together":[75],"BDPP":[77],"cone":[78],"duality,":[79],"this":[80,93],"recovers":[81],"uniruledness":[84],"criterion":[85],"over":[86],"$\\mathbb":[87],"C$.":[88],"The":[89],"main":[90,116],"result":[91],"paper":[94],"was":[95],"obtained":[96],"using":[97],"Pharos":[99,108],"system.":[100],"A":[101],"detailed":[102],"report":[103],"use":[106],"Lean~4":[112],"formalization":[113],"arguments":[117],"is":[118],"given":[119],"Appendix":[122],"B,":[123],"written":[124],"by":[125],"Bin":[126,133],"Dong,":[127],"Guoxiong":[128],"Gao,":[129],"Zeming":[130],"Sun,":[131],"Wu.":[134]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-25T00:00:00"}