{"id":"https://openalex.org/W7171675469","doi":"https://doi.org/10.48550/arxiv.2607.25249","title":"Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras","display_name":"Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras","publication_year":2026,"publication_date":"2026-07-28","ids":{"openalex":"https://openalex.org/W7171675469","doi":"https://doi.org/10.48550/arxiv.2607.25249"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2607.25249","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.25249","pdf_url":"https://arxiv.org/pdf/2607.25249","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/2607.25249","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143930757","display_name":"Sihai Jin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jin, Sihai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5143930757"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"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.9940999746322632,"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.9940999746322632,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.004100000020116568,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.0005000000237487257,"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/maximal-ideals","display_name":"maximal ideals","score":0.8090000152587891},{"id":"https://openalex.org/keywords/affine-vertex-algebras","display_name":"affine vertex algebras","score":0.9390000104904175},{"id":"https://openalex.org/keywords/singular-vectors","display_name":"singular vectors","score":0.9150000214576721},{"id":"https://openalex.org/keywords/drinfeld-sokolov-reduction","display_name":"Drinfeld-Sokolov reduction","score":0.9869999885559082},{"id":"https://openalex.org/keywords/spectral-flow","display_name":"spectral flow","score":0.9279999732971191},{"id":"https://openalex.org/keywords/maximality-principle","display_name":"maximality principle","score":0.6069999933242798},{"id":"https://openalex.org/keywords/rank-reduction","display_name":"rank reduction","score":0.7239999771118164}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8834999799728394},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6991000175476074},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.6237000226974487},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6218000054359436},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.5995000004768372},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.5102999806404114},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.46639999747276306},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.41690000891685486},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4027000069618225},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.39329999685287476},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3878999948501587},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C161505775","wikidata":"https://www.wikidata.org/wiki/Q3240280","display_name":"Direct proof","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C179724543","wikidata":"https://www.wikidata.org/wiki/Q28509","display_name":"Vertex operator algebra","level":5,"score":0.30309998989105225},{"id":"https://openalex.org/C191413488","wikidata":"https://www.wikidata.org/wiki/Q1892554","display_name":"Operator algebra","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.28690001368522644},{"id":"https://openalex.org/C118211362","wikidata":"https://www.wikidata.org/wiki/Q1203540","display_name":"Maximal ideal","level":3,"score":0.26100000739097595},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.2603999972343445}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2607.25249","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.25249","pdf_url":"https://arxiv.org/pdf/2607.25249","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.2607.25249","doi":"https://doi.org/10.48550/arxiv.2607.25249","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.25249","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:2607.25249","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.25249","pdf_url":"https://arxiv.org/pdf/2607.25249","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/W7171675469.pdf","grobid_xml":"https://content.openalex.org/works/W7171675469.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W13479067","https://openalex.org/W1521327743","https://openalex.org/W1584901588","https://openalex.org/W1594578859","https://openalex.org/W1620687752","https://openalex.org/W2021912532","https://openalex.org/W2023804668","https://openalex.org/W2027450954","https://openalex.org/W2036939268","https://openalex.org/W2080411019","https://openalex.org/W2082305000","https://openalex.org/W2148651191","https://openalex.org/W2277723006","https://openalex.org/W2540201969","https://openalex.org/W2566431062","https://openalex.org/W2786326629","https://openalex.org/W2950515179","https://openalex.org/W2964108503","https://openalex.org/W2964321138","https://openalex.org/W3006404479","https://openalex.org/W3104539693","https://openalex.org/W4283462426","https://openalex.org/W4409188333","https://openalex.org/W4409703487","https://openalex.org/W4410191771","https://openalex.org/W4415334225","https://openalex.org/W4416330128","https://openalex.org/W6891845139","https://openalex.org/W7116793062","https://openalex.org/W7163993714"],"related_works":["https://openalex.org/W7214174568","https://openalex.org/W4410191771","https://openalex.org/W7212593613","https://openalex.org/W2786326629","https://openalex.org/W1734544967","https://openalex.org/W2964321138","https://openalex.org/W2331099339","https://openalex.org/W7095416890","https://openalex.org/W2059278097","https://openalex.org/W3123084653"],"abstract_inverted_index":{"Arakawa":[0],"and":[1,19,21,42,71,81,108,124,129,169],"Moreau":[2],"constructed":[3],"explicit":[4],"singular":[5,102],"vectors":[6,29,103],"in":[7,188],"a":[8,117,121,130,148,171],"family":[9,181],"of":[10,16,99,111,161,174],"negative-level":[11,73],"universal":[12],"affine":[13,143,196],"vertex":[14,197],"algebras":[15],"types":[17],"$D$":[18],"$E$":[20],"conjectured":[22],"that":[23],"the":[24,35,47,59,62,72,85,97,100,112,134,141,162,175,179,193],"ideals":[25],"generated":[26],"by":[27,115],"these":[28],"are":[30],"maximal.":[31],"Previous":[32],"work":[33],"established":[34],"$n=0$":[36],"cases":[37,74],"for":[38,51,66,77,133,167,178],"$D_4$,":[39,78],"$E_6$,":[40,79],"$E_7$,":[41,80],"$E_8$,":[43],"as":[44,46],"well":[45],"level":[48,63,164],"$-2$":[49,165],"case":[50,65],"$D_\\ell$":[52,67],"with":[53,68,75,84],"$\\ell\\geq":[54,69],"5$.":[55],"We":[56,145],"prove":[57],"all":[58],"remaining":[60],"cases:":[61],"$-1$":[64],"5$,":[70],"$n>0$":[76],"$E_8$.":[82],"Together":[83],"previously":[86],"known":[87,163],"results,":[88],"this":[89],"completes":[90],"Arakawa--Moreau":[91,189],"Conjecture":[92,190],"1.":[93],"The":[94],"proof":[95,160,173],"determines":[96],"images":[98],"prescribed":[101],"under":[104],"minimal":[105,154],"Drinfeld--Sokolov":[106],"reduction":[107,135],"establishes":[109],"simplicity":[110,139],"reduced":[113],"quotients":[114],"combining":[116],"Ramond--Zhu":[118],"algebra":[119],"argument,":[120,123],"Casimir-gap":[122],"Li's":[125],"spectral":[126],"flow.":[127],"Exactness":[128],"nonvanishing":[131],"theorem":[132,177],"functor":[136],"then":[137],"lift":[138],"to":[140],"corresponding":[142,194],"quotients.":[144],"also":[146],"formulate":[147],"general":[149],"maximality":[150],"principle":[151],"based":[152],"on":[153],"reduction,":[155],"give":[156],"an":[157],"alternative":[158],"reduction-theoretic":[159],"result":[166],"$D_\\ell$,":[168],"obtain":[170],"rank-reduction":[172],"maximal-ideal":[176],"collapsing":[180],"$V^{2-2r}(D_{2r})$.":[182],"Consequently,":[183],"every":[184],"candidate":[185],"quotient":[186],"appearing":[187],"1":[191],"is":[192],"simple":[195],"algebra.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-07-30T00:00:00"}