{"id":"https://openalex.org/W7225814758","doi":"https://doi.org/10.5281/zenodo.24145348","title":"Degree-five Independence and a Nonzero Explicit Jacobian Class","display_name":"Degree-five Independence and a Nonzero Explicit Jacobian Class","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225814758","doi":"https://doi.org/10.5281/zenodo.24145348"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24145348","doi":"https://doi.org/10.5281/zenodo.24145348","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145348","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.24145348","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147864777","display_name":"Benjamin Frohman","orcid":"https://orcid.org/0009-0006-7068-3718","observed_orcids":["https://orcid.org/0009-0006-7068-3718"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Frohman, Benjamin Stanley","raw_affiliation_strings":["Independent Researcher, Texas, United States"],"raw_orcid":"https://orcid.org/0009-0006-7068-3718","affiliations":[{"raw_affiliation_string":"Independent Researcher, Texas, United States","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5147864777"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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.9653000235557556,"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.9653000235557556,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.013500000350177288,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.009600000455975533,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.6244000196456909},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.5995000004768372},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44269999861717224},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4207000136375427},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.33709999918937683},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.31139999628067017},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C8367249","wikidata":"https://www.wikidata.org/wiki/Q912083","display_name":"Ideal class group","level":3,"score":0.2703999876976013},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.2603999972343445},{"id":"https://openalex.org/C52690540","wikidata":"https://www.wikidata.org/wiki/Q613048","display_name":"Algebraic number theory","level":3,"score":0.25699999928474426}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24145348","doi":"https://doi.org/10.5281/zenodo.24145348","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145348","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.24145349","doi":"https://doi.org/10.5281/zenodo.24145349","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145349","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.24145348","doi":"https://doi.org/10.5281/zenodo.24145348","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145348","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":2,"referenced_works":["https://openalex.org/W7225617254","https://openalex.org/W7225788790"],"related_works":[],"abstract_inverted_index":{"Algebraic":[0],"milestone":[1],"note,":[2],"version":[3],"1.1.":[4],"For":[5],"a":[6,95,132,140,200,303],"field":[7],"K":[8],"and":[9,19,42,70,94,111,170,221,228,300,305],"k":[10],"\u2260":[11],"0,":[12],"the":[13,25,56,65,71,80,91,122,136,143,161,164,171,215,237,268,277,282,306,328,334],"classes":[14],"of":[15,55,83,90,106,142,194,204,293],"y^5,":[16],"xy^4,":[17],"x^2y^3":[18],"x^3y^2":[20],"are":[21,223],"linearly":[22],"independent":[23],"in":[24,126],"quotient":[26,81],"K[x,y]/(5kx^4y,":[27],"kx^5":[28],"+":[29],"6y^5).":[30],"The":[31,103,209],"proof":[32],"uses":[33],"degree-five":[34,137],"coefficient":[35,75],"functionals":[36],"L_0(p)":[37],"=":[38,44,47],"k\u00b7coeff_(0,5)(p)":[39],"\u2212":[40],"6\u00b7coeff_(5,0)(p)":[41],"L_i(p)":[43],"coeff_(i,5\u2212i)(p),":[45],"i":[46],"1,":[48],"2,":[49],"3,":[50],"which":[51],"annihilate":[52],"every":[53,88,319],"element":[54],"full":[57],"ideal":[58],"(arbitrary":[59],"polynomial":[60],"multipliers).":[61],"In":[62,160],"characteristic":[63],"zero,":[64],"Stage":[66,72],"3":[67],"section":[68],"identity":[69],"2":[73],"exact":[74],"certificate":[76,258],"then":[77],"imply":[78],"that":[79,205,226,327,342],"class":[82,173],"HW":[84],"is":[85,120,125,156,207],"nonzero":[86],"at":[87,191,254],"root":[89,97],"degree-24":[92],"modulus,":[93],"complex":[96],"exists":[98],"(non-vacuity).":[99],"What":[100],"Lean":[101,188,216,230,260,330,336],"checks.":[102],"13":[104],"theorems":[105],"Hodge/ExplicitJacobianIndependence.lean,":[107],"including":[108],"degreeFiveClasses_linearIndependent,":[109],"section_HW_class_ne_zero":[110],"exists_complex_nonzero_HW_class.":[112],"No":[113,147],"basis,":[114],"nontriviality,":[115],"independence":[116],"or":[117,139,153,158,314,348],"geometric":[118,165,347],"hypothesis":[119],"assumed;":[121],"hypothesis-to-assumption":[123],"table":[124],"README.md":[127],"(no":[128],"mismatch).":[129],"Not":[130,145],"proved:":[131],"spanning":[133],"theorem":[134],"for":[135,276],"component":[138],"basis":[141],"quotient.":[144],"claimed.":[146,159],"residue,":[148],"cohomology,":[149],"Hodge-type,":[150],"cycle-class,":[151],"descent":[152],"Hodge-conjecture":[154],"statement":[155],"proved":[157],"HODGE":[162],"repository":[163,238],"bridges":[166],"(for":[167],"example":[168],"ChainSexticCharacterBridge":[169],"cycle":[172],"map)":[174],"remain":[175],"explicit":[176],"hypotheses,":[177],"not":[178,183,340],"theorems;":[179],"this":[180],"record":[181],"does":[182,339],"change":[184],"that.":[185],"Reproducibility.":[186],"Full":[187],"source:":[189],"BenFrohman/HODGE":[190],"4c768890dc88bc180bf10887e4ba1b426f33a41a":[192],"(tip":[193],"main":[195,253],"on":[196,252],"11":[197,265],"November":[198,266],"2026;":[199],"git":[201],"archive":[202],"zip":[203],"commit":[206,213,227,270],"attached).":[208],"paper":[210],"cites":[211],"code":[212],"52325b0;":[214],"sources,":[217],"scripts,":[218],"lakefile,":[219],"manifest":[220],"toolchain":[222],"byte-identical":[224],"between":[225],"4c76889.":[229],"leanprover/lean4:v4.22.0,":[231],"Mathlib":[232],"79e94a093aff4a60fb1b1f92d9681e407124c2ca.":[233],"One-command":[234],"rebuild":[235],"from":[236,274,333],"root:":[239],"lake":[240,245],"exe":[241],"cache":[242],"get":[243],"&&":[244,247],"build":[246],"python3":[248],"scripts/check_residue_axioms.py.":[249],"GitHub":[250],"Actions":[251],"4c76889":[255],"passed":[256],"(Lean":[257],"42935333059,":[259],"42935333161,":[261],"Paper":[262],"42935333072).":[263],"On":[264],"2026":[267],"pinned":[269],"was":[271],"rebuilt":[272],"locally":[273],"scratch":[275],"project":[278],"modules":[279],"(attached":[280],"build.log);":[281],"attached":[283,307,320],"axiom":[284,315],"output":[285],"(axiom-output-residue.txt:":[286],"PASS,":[287],"78":[288],"incremental":[289],"declarations;":[290],"axiom-output-root.txt:":[291],"699":[292,294],"declarations)":[295],"shows":[296,326],"only":[297],"propext,":[298],"Classical.choice":[299],"Quot.sound":[301],"(or":[302],"subset),":[304],"scan":[308],"found":[309],"no":[310],"sorry,":[311],"admit,":[312],"native_decide":[313],"declarations.":[316],"SHA256SUMS":[317],"lists":[318],"file.":[321],"Limits.":[322],"A":[323],"kernel":[324],"check":[325],"stated":[329,335],"propositions":[331],"follow":[332],"definitions.":[337],"It":[338],"show":[341],"those":[343],"definitions":[344],"model":[345],"any":[346],"physical":[349],"object.":[350]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}