{"id":"https://openalex.org/W7225569386","doi":"https://doi.org/10.5281/zenodo.24054607","title":"Braid Monodromy Rigidity on One-Dimensional Symmetric Cyclic Prym Slices: Adjoint $\\mathfrak{sl}_4$-Dichotomy, Ramanujan-Sum Trace Averages, and Length-Three Cyclotomic Separation","display_name":"Braid Monodromy Rigidity on One-Dimensional Symmetric Cyclic Prym Slices: Adjoint $\\mathfrak{sl}_4$-Dichotomy, Ramanujan-Sum Trace Averages, and Length-Three Cyclotomic Separation","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225569386","doi":"https://doi.org/10.5281/zenodo.24054607"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24054607","doi":"https://doi.org/10.5281/zenodo.24054607","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054607","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.24054607","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116305437","display_name":"Hongmin Li","orcid":"https://orcid.org/0000-0003-0228-0600","observed_orcids":["https://orcid.org/0000-0003-0228-0600"]},"institutions":[{"id":"https://openalex.org/I4400009020","display_name":"Institute of Science Tokyo","ror":"https://ror.org/05dqf9946","country_code":"JP","type":"education","lineage":["https://openalex.org/I4400009020"]},{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Li, Hongmin","raw_affiliation_strings":["Institute of Science Tokyo; The University of Tokyo"],"raw_orcid":"https://orcid.org/0000-0003-0228-0600","affiliations":[{"raw_affiliation_string":"Institute of Science Tokyo; The University of Tokyo","institution_ids":["https://openalex.org/I4400009020","https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5116305437"],"corresponding_institution_ids":["https://openalex.org/I4400009020","https://openalex.org/I74801974"],"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9115999937057495,"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.9115999937057495,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.05869999900460243,"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.016499999910593033,"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/local-monodromy","display_name":"local monodromy","score":0.6769999861717224},{"id":"https://openalex.org/keywords/chebyshev-polynomials","display_name":"Chebyshev polynomials","score":0.6420000195503235},{"id":"https://openalex.org/keywords/che","display_name":"Che","score":0.7519999742507935}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.919700026512146},{"id":"https://openalex.org/C96403706","wikidata":"https://www.wikidata.org/wiki/Q543956","display_name":"Monodromy","level":2,"score":0.6111000180244446},{"id":"https://openalex.org/C127843967","wikidata":"https://www.wikidata.org/wiki/Q1554628","display_name":"Cyclotomic field","level":2,"score":0.5582000017166138},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5026999711990356},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.46369999647140503},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.41510000824928284},{"id":"https://openalex.org/C67536143","wikidata":"https://www.wikidata.org/wiki/Q730384","display_name":"Galois group","level":2,"score":0.4052000045776367},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4000000059604645},{"id":"https://openalex.org/C35435516","wikidata":"https://www.wikidata.org/wiki/Q5370016","display_name":"Embedding problem","level":3,"score":0.39890000224113464},{"id":"https://openalex.org/C147073270","wikidata":"https://www.wikidata.org/wiki/Q567083","display_name":"Annihilator","level":3,"score":0.38429999351501465},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.3695000112056732},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.36489999294281006},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.3605000078678131},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.34709998965263367},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3361000120639801},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3292999863624573},{"id":"https://openalex.org/C116858840","wikidata":"https://www.wikidata.org/wiki/Q1340800","display_name":"Endomorphism","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C2778153370","wikidata":"https://www.wikidata.org/wiki/Q2896709","display_name":"Endomorphism ring","level":3,"score":0.2992999851703644},{"id":"https://openalex.org/C85307737","wikidata":"https://www.wikidata.org/wiki/Q751969","display_name":"Coset","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C160343418","wikidata":"https://www.wikidata.org/wiki/Q185256","display_name":"Rigidity (electromagnetism)","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C145899342","wikidata":"https://www.wikidata.org/wiki/Q3427418","display_name":"Galois module","level":2,"score":0.2732999920845032},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C2779467367","wikidata":"https://www.wikidata.org/wiki/Q863912","display_name":"Prime ideal","level":3,"score":0.2500999867916107}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.5281/zenodo.24054607","doi":"https://doi.org/10.5281/zenodo.24054607","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054607","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.24054608","doi":"https://doi.org/10.5281/zenodo.24054608","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054608","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.24054614","doi":"https://doi.org/10.5281/zenodo.24054614","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054614","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.24054620","doi":"https://doi.org/10.5281/zenodo.24054620","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054620","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.24054633","doi":"https://doi.org/10.5281/zenodo.24054633","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054633","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.24054607","doi":"https://doi.org/10.5281/zenodo.24054607","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054607","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1967631372","https://openalex.org/W2319519690","https://openalex.org/W581721366","https://openalex.org/W2321478074","https://openalex.org/W4387725196","https://openalex.org/W1969913241","https://openalex.org/W7095798980","https://openalex.org/W7225434297","https://openalex.org/W616687208","https://openalex.org/W7202168704"],"abstract_inverted_index":{"Let":[0],"$m\\ge":[1],"3$":[2,176],"be":[3,10],"an":[4,31,85],"odd":[5,174],"integer":[6],"and":[7,59,77,81,90,125,179,191,219,258,311],"let":[8],"$S=\\mathbf{P}^1_\\lambda\\setminus\\{0,\\infty,1,-1\\}\\subset\\mathcal{M}_{0,6}$":[9],"the":[11,65,102,148,195,213,245,250,264,295,301,308,315],"one-dimensional":[12],"symmetric":[13],"slice":[14],"parametrizing":[15],"degree-$m$":[16],"cyclic":[17],"covers":[18],"$C_\\lambda\\to\\mathbf{P}^1$":[19],"branched":[20],"at":[21,238],"$(-1,-\\lambda,0,\\lambda,1,\\infty)$":[22],"with":[23,75,121,202,307],"a":[24,43],"$(2,2,1,1)$-symmetric":[25],"branch":[26],"weight":[27],"tuple":[28],"$\\mathbf{a}$":[29],"under":[30],"involution":[32,184],"$h\\in(\\mathbf{Z}/m\\mathbf{Z})^\\times$":[33],"($H=\\{1,h\\}$).":[34],"Unlike":[35],"on":[36,51,79,94,186,240,252,268,282,284],"$\\mathcal{M}_{0,6}$,":[37],"every":[38,119,253],"puncture":[39,73],"of":[40,109,130,275,278],"$S$":[41],"is":[42,111,136,294,303,314],"simultaneous":[44],"multi-point":[45],"collision":[46],"whose":[47],"local":[48],"monodromy":[49],"$g_p(t)$":[50],"$V_t=H_1(C_\\lambda,\\mathbf{C})_t$":[52],"satisfies":[53],"$\\operatorname{rank}(g_p(t)-cI_4)\\ge":[54],"2$":[55],"for":[56,60,118,171],"all":[57,155],"$c\\in\\mathbf{C}^\\times$,":[58],"composite":[61],"$m=a\\cdot":[62,198],"m'$":[63],"($\\gcd(a,m')=1$)":[64],"CRT":[66],"multiplier":[67],"$v\\equiv(-1,+1)\\pmod{(a,m')}\\notin\\pm":[68],"H$":[69,170],"shares":[70],"identical":[71],"projective":[72],"spectra":[74],"$t=1$":[76],"collides":[78],"$g_1g_0$":[80],"$g_1g_{-1}$.":[82],"We":[83],"establish":[84],"unconditional":[86],"global":[87],"braid-monodromy":[88],"rigidity":[89],"cyclotomic":[91,98],"separation":[92,193],"theory":[93],"$S$:":[95],"(1)":[96],"via":[97],"linear":[99],"disjointness":[100],"in":[101,138,147],"$g_1(t)$-eigenbasis,":[103],"any":[104],"$\\operatorname{Ad}(\\langle":[105],"g_1(t),g_0(t)\\rangle)$-invariant":[106],"Lie":[107],"subalgebra":[108],"$\\mathfrak{sl}_4(\\mathbf{C})$":[110,114],"$\\{0\\}$":[112],"or":[113],"(Theorem":[115,161,177,206],"A);":[116],"(2)":[117],"$m=15N$":[120],"$\\gcd(N,30)=1$,":[122],"closed-form":[123],"Chebyshev-Laurent":[124],"Ramanujan-sum":[126],"Galois":[127,183],"trace":[128],"averages":[129],"$(g_1g_0)^2$":[131],"prove":[132],"that":[133],"$\\langle":[134],"g_1(t),g_0(t)\\rangle$":[135],"Zariski-dense":[137],"$\\operatorname{SU}(J(t))\\simeq\\operatorname{SU}(d_t-1,5-d_t)$":[139],"up":[140],"to":[141,194,263],"$\\mu_{15N}$":[142],"scalars,":[143],"while":[144,225],"expanding":[145],"$\\tau_t(g_1^2g_0)$":[146],"dual":[149],"basis":[150],"$\\mathcal{B}_{15}$":[151],"over":[152,223],"$\\mathbf{Q}(\\zeta_N)$":[153],"separates":[154,166],"non-trivial":[156],"primitive":[157],"cosets":[158],"$[t]\\neq[\\pm":[159],"1]$":[160],"B);":[162],"(3)":[163],"$g_1^2g_0$":[164],"uniformly":[165],"$v\\equiv(-1,+1)\\pmod{(a,m')}$":[167],"from":[168,305],"$\\pm":[169],"arbitrary":[172],"coprime":[173],"$a,m'\\ge":[175],"C);":[178],"(4)":[180],"four":[181,203],"commuting":[182],"projectors":[185],"$\\mathbf{Q}(\\zeta_a)\\otimes\\mathbf{Q}(\\zeta_b)\\otimes\\mathbf{Q}(\\zeta_N)$":[187],"extend":[188],"Zariski":[189],"density":[190],"length-$3$":[192],"three-factor":[196],"family":[197],"b\\cdot":[199],"N$":[200],"($\\gcd(N,30)=1$),":[201],"method-boundary":[204],"counterexamples":[205],"D).":[207],"By":[208],"Goursat's":[209],"lemma,":[210],"this":[211,279],"determines":[212],"generic":[214],"derived":[215],"Mumford-Tate":[216],"group":[217],"$\\operatorname{Hg}(B_{\\eta,\\mathrm{prim}})_{\\mathrm{der}}=\\prod_{[t]}\\operatorname{SU}(J(t))$":[218],"endomorphism":[220],"algebra":[221],"$\\mathbf{Q}(\\zeta_m)^H$":[222],"$S$;":[224],"unbalanced":[226],"families":[227],"can":[228],"carry":[229],"cross-orbit":[230],"determinant":[231,254],"Hodge":[232,261],"classes":[233],"(such":[234],"as":[235,298,317],"$D_{[8]}\\otimes":[236],"D_{[-13]}$":[237],"$m=105,N=7$),":[239],"characterwise":[241],"$(2,2)$-balanced":[242],"subfamilies":[243],"($d_t=3$)":[244],"central":[246],"torus":[247],"acts":[248],"by":[249],"identity":[251],"line,":[255],"giving":[256],"$\\operatorname{Hg}(B_{\\eta,\\mathrm{prim}})=\\prod_{[t]}\\operatorname{SU}(2,2)$":[257],"reducing":[259],"all-powers":[260],"algebraicity":[262],"separate":[265],"determinant-cycle":[266],"input":[267],"individual":[269],"factors":[270],"(Corollary":[271],"E).":[272],"Archival":[273],"copy":[274],"version":[276],"1":[277],"paper,":[280],"published":[281,299,309,318],"rStation":[283],"6":[285],"November":[286],"2026":[287],"(rStation":[288],"hodge_conjecture":[289],"paper":[290],"114,":[291],"v1).":[292],"paper.md":[293,321],"manuscript":[296],"exactly":[297],"there;":[300],"PDF":[302],"typeset":[304],"it":[306],"title":[310],"abstract;":[312],"supplement.zip":[313,329],"supplement":[316],"there.":[319],"Files:":[320],"\u2014":[322,326,330],"SHA-256":[323,327,331],"007f503b19cf142888994bd78bc929f0cd15a752c4fda97dfa1cc32f1132d3ee":[324],"braid-monodromy-rigidity-on-one-dimensional-symmetric-cyclic-prym-slices.pdf":[325],"fd4f5887a7b23a7f87281c5b04ce189dd9922d7b45a9617be730a53f8d9ec069":[328],"807d3c37f3081f980efc6afebeaefb0dcd4e9efd392dd1b5fe8b1b5ea76c46f0":[332]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}