{"id":"https://openalex.org/W7164498326","doi":"https://doi.org/10.48550/arxiv.2606.13471","title":"Khovanov homology: pro-tangles, derived colimits and spectral sequences","display_name":"Khovanov homology: pro-tangles, derived colimits and spectral sequences","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164498326","doi":"https://doi.org/10.48550/arxiv.2606.13471"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2606.13471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.13471","pdf_url":"https://arxiv.org/pdf/2606.13471","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/2606.13471","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138513306","display_name":"Jian Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I50632499","display_name":"Chongqing University of Technology","ror":"https://ror.org/04vgbd477","country_code":"CN","type":"education","lineage":["https://openalex.org/I50632499"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Jian","raw_affiliation_strings":["Mathematical Science Research Center , Chongqing University of Technology , Chongqing 400054 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Science Research Center , Chongqing University of Technology , Chongqing 400054 , China","institution_ids":["https://openalex.org/I50632499"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113540335","display_name":"Kefeng Liu","orcid":"https://orcid.org/0009-0006-3037-198X","observed_orcids":["https://orcid.org/0009-0006-3037-198X"]},"institutions":[{"id":"https://openalex.org/I50632499","display_name":"Chongqing University of Technology","ror":"https://ror.org/04vgbd477","country_code":"CN","type":"education","lineage":["https://openalex.org/I50632499"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Kefeng","raw_affiliation_strings":["Mathematical Science Research Center , Chongqing University of Technology , Chongqing 400054 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Science Research Center , Chongqing University of Technology , Chongqing 400054 , China","institution_ids":["https://openalex.org/I50632499"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121473103","display_name":"Li Shen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1311060795","display_name":"U.S. National Science Foundation","ror":"https://ror.org/021nxhr62","country_code":"US","type":"government","lineage":["https://openalex.org/I1311060795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shen, Li","raw_affiliation_strings":["NSF-Simons National Institute for Theory and Mathematics in Biology , Chicago , IL 60637 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NSF-Simons National Institute for Theory and Mathematics in Biology , Chicago , IL 60637 , USA","institution_ids":["https://openalex.org/I1311060795"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9624000191688538,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9624000191688538,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.026100000366568565,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.005900000222027302,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/khovanov-homology","display_name":"Khovanov homology","score":0.9919999837875366},{"id":"https://openalex.org/keywords/tangles","display_name":"tangles","score":0.7360000014305115},{"id":"https://openalex.org/keywords/boolean-cube","display_name":"Boolean cube","score":0.7059999704360962},{"id":"https://openalex.org/keywords/simplicial-presheaves","display_name":"simplicial presheaves","score":0.9620000123977661},{"id":"https://openalex.org/keywords/spectral-sequences","display_name":"spectral sequences","score":0.6470000147819519},{"id":"https://openalex.org/keywords/connected-sum","display_name":"connected sum","score":0.7590000033378601},{"id":"https://openalex.org/keywords/cobordism-category","display_name":"cobordism category","score":0.6669999957084656}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8737000226974487},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5497999787330627},{"id":"https://openalex.org/C187929450","wikidata":"https://www.wikidata.org/wiki/Q994399","display_name":"Simplicial complex","level":2,"score":0.5159000158309937},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.5120999813079834},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5084999799728394},{"id":"https://openalex.org/C3469331","wikidata":"https://www.wikidata.org/wiki/Q7520902","display_name":"Simplicial homology","level":3,"score":0.5059999823570251},{"id":"https://openalex.org/C158512270","wikidata":"https://www.wikidata.org/wiki/Q6402652","display_name":"Khovanov homology","level":3,"score":0.4887999892234802},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.47940000891685486},{"id":"https://openalex.org/C178609977","wikidata":"https://www.wikidata.org/wiki/Q3503315","display_name":"Spectral sequence","level":3,"score":0.47369998693466187},{"id":"https://openalex.org/C169611556","wikidata":"https://www.wikidata.org/wiki/Q230689","display_name":"Contractible space","level":2,"score":0.460999995470047},{"id":"https://openalex.org/C64245159","wikidata":"https://www.wikidata.org/wiki/Q3983972","display_name":"Simplicial approximation theorem","level":5,"score":0.45989999175071716},{"id":"https://openalex.org/C146867743","wikidata":"https://www.wikidata.org/wiki/Q4669959","display_name":"Abstract simplicial complex","level":3,"score":0.4447999894618988},{"id":"https://openalex.org/C171036898","wikidata":"https://www.wikidata.org/wiki/Q256355","display_name":"Equivariant map","level":2,"score":0.42160001397132874},{"id":"https://openalex.org/C127634017","wikidata":"https://www.wikidata.org/wiki/Q5627866","display_name":"h-vector","level":3,"score":0.4174000024795532},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.36419999599456787},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3531000018119812},{"id":"https://openalex.org/C97172818","wikidata":"https://www.wikidata.org/wiki/Q7520904","display_name":"Simplicial manifold","level":5,"score":0.34049999713897705},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.319599986076355},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.29120001196861267},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C165525559","wikidata":"https://www.wikidata.org/wiki/Q224180","display_name":"Homology (biology)","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26840001344680786},{"id":"https://openalex.org/C2776863286","wikidata":"https://www.wikidata.org/wiki/Q17104639","display_name":"Weak equivalence","level":3,"score":0.26269999146461487},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25859999656677246},{"id":"https://openalex.org/C202833876","wikidata":"https://www.wikidata.org/wiki/Q939179","display_name":"Cyclic homology","level":3,"score":0.25690001249313354},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C2778753846","wikidata":"https://www.wikidata.org/wiki/Q6554239","display_name":"Link (geometry)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C110484373","wikidata":"https://www.wikidata.org/wiki/Q264398","display_name":"Adjacency list","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2606.13471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.13471","pdf_url":"https://arxiv.org/pdf/2606.13471","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.2606.13471","doi":"https://doi.org/10.48550/arxiv.2606.13471","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13471","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:2606.13471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.13471","pdf_url":"https://arxiv.org/pdf/2606.13471","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":[{"id":"https://openalex.org/G2775328943","display_name":null,"funder_award_id":"CSTB2024NSCQ\u2010LZX0040","funder_id":"https://openalex.org/F4320323172","funder_display_name":"Natural Science Foundation of Chongqing"},{"id":"https://openalex.org/G403155455","display_name":"NSF-Simons National Institute for Theory and Mathematics in Biology","funder_award_id":"2235451","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G504305494","display_name":null,"funder_award_id":"CSTB2024NSCQ","funder_id":"https://openalex.org/F4320323172","funder_display_name":"Natural Science Foundation of Chongqing"},{"id":"https://openalex.org/G8226405596","display_name":null,"funder_award_id":"12401080","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321135","display_name":"Chongqing University","ror":"https://ror.org/023rhb549"},{"id":"https://openalex.org/F4320322955","display_name":"Chongqing University of Technology","ror":"https://ror.org/04vgbd477"},{"id":"https://openalex.org/F4320323172","display_name":"Natural Science Foundation of Chongqing","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7164498326.pdf","grobid_xml":"https://content.openalex.org/works/W7164498326.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W4406755488","https://openalex.org/W4415239346"],"related_works":["https://openalex.org/W3158320075","https://openalex.org/W2005851199","https://openalex.org/W4415239346","https://openalex.org/W2080025077","https://openalex.org/W4299789717","https://openalex.org/W7095264972","https://openalex.org/W2964133244","https://openalex.org/W3105273737","https://openalex.org/W2975766496","https://openalex.org/W1972209284"],"abstract_inverted_index":{"This":[0,103,128],"paper":[1],"introduces":[2],"\\emph{pro-tangles},":[3],"a":[4,34,64,132,215,222],"natural":[5],"generalization":[6],"of":[7,33,74,85,121,125,135,140,142,197],"classical":[8,58,229],"tangles,":[9],"which":[10,180],"are":[11],"functors":[12],"from":[13,207],"the":[14,23,29,37,42,57,70,81,86,108,122,147,159,172,177,187,203,228,232],"Boolean":[15,44,92],"cube":[16,93],"to":[17,95,107,183,189],"Bar-Natan's":[18],"cobordism":[19],"category.":[20],"By":[21,145],"employing":[22],"simplicial":[24,31,50,60,76],"Yoneda":[25],"embedding,":[26],"we":[27,90,151,193,213],"construct":[28,96],"Khovanov":[30,59,87,110,123],"presheaf":[32,51,77],"pro-tangle":[35],"as":[36],"total":[38,109],"homotopy":[39,83],"cofiber":[40],"over":[41],"punctured":[43],"cube,":[45],"and":[46,112,166,199,220],"prove":[47,221],"that":[48,69,171,226],"this":[49,75,153],"is":[52,78,116],"representable,":[53],"with":[54],"representing":[55],"object":[56],"object.":[61],"We":[62,169],"establish":[63],"fully":[65],"faithful":[66],"embedding":[67],"showing":[68],"weak":[71],"equivalence":[72],"class":[73],"determined":[79],"by":[80],"chain":[82,233],"type":[84],"complex.":[88],"Furthermore,":[89],"utilize":[91],"decompositions":[94],"an":[97,184],"algebraic":[98],"spectral":[99,104,143,154,173],"sequence":[100,105,155,174],"for":[101,156],"pro-tangles.":[102],"converges":[106],"homology,":[111],"its":[113],"$E_1$":[114],"page":[115],"explicitly":[117],"expressed":[118],"in":[119,138,164,210],"terms":[120,139],"homology":[124],"reduced":[126],"tangles.":[127],"categorical":[129],"setup":[130],"yields":[131],"functorial":[133],"interpretation":[134],"Reidemeister":[136],"invariance":[137],"morphisms":[141],"sequences.":[144],"applying":[146],"tangle":[148,165],"TQFT":[149],"construction,":[150],"study":[152],"Hopf":[157,190],"clasps,":[158],"fundamental":[160],"structural":[161,223],"building":[162],"blocks":[163],"link":[167],"theory.":[168],"show":[170],"collapses":[175],"at":[176,231],"$E_3$":[178],"page,":[179],"further":[181],"specializes":[182],"$E_2$-collapse":[185],"under":[186],"restriction":[188],"sums.":[191],"Finally,":[192],"investigate":[194],"connected":[195],"sums":[196],"pro-tangles":[198],"pro-links.":[200],"To":[201],"address":[202],"module-action":[204],"dependencies":[205],"arising":[206],"tensor":[208,218],"products":[209],"multi-connected":[211],"sums,":[212],"introduce":[214],"state-dependent":[216],"modified":[217],"operator":[219],"decomposition":[224],"theorem":[225],"generalizes":[227],"result":[230],"complex":[234],"level.":[235]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-06-13T00:00:00"}