{"id":"https://openalex.org/W7220729849","doi":"https://doi.org/10.48550/arxiv.2610.04153","title":"Poincar\u00e9 duality and module topological complexity","display_name":"Poincar\u00e9 duality and module topological complexity","publication_year":2026,"publication_date":"2026-10-02","ids":{"openalex":"https://openalex.org/W7220729849","doi":"https://doi.org/10.48550/arxiv.2610.04153"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.04153","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04153","pdf_url":"https://arxiv.org/pdf/2610.04153","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/2610.04153","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040808246","display_name":"Paul-Eug\u00e8ne Parent","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Parent, Paul-Eug\u00e8ne","raw_affiliation_strings":["Department of Mathematics and Statistics , University of Ottawa , Ottawa , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics , University of Ottawa , Ottawa , Canada","institution_ids":["https://openalex.org/I153718931"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040808246"],"corresponding_institution_ids":["https://openalex.org/I153718931"],"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9970999956130981,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.002099999925121665,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":9.999999747378752e-05,"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":[{"id":"https://openalex.org/keywords/topological-complexity","display_name":"topological complexity","score":0.8889999985694885},{"id":"https://openalex.org/keywords/poincare-duality","display_name":"Poincar\u00e9 duality","score":0.9279999732971191},{"id":"https://openalex.org/keywords/rational-homotopy-type","display_name":"rational homotopy type","score":0.8349999785423279},{"id":"https://openalex.org/keywords/relative-categories","display_name":"relative categories","score":0.8349999785423279},{"id":"https://openalex.org/keywords/closed-manifolds","display_name":"closed manifolds","score":0.6159999966621399},{"id":"https://openalex.org/keywords/grassmann-bundles","display_name":"Grassmann bundles","score":0.5730000138282776},{"id":"https://openalex.org/keywords/projective-bundles","display_name":"projective bundles","score":0.8550000190734863},{"id":"https://openalex.org/keywords/sphere-bundles","display_name":"sphere bundles","score":0.625}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8622999787330627},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.6606000065803528},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5311999917030334},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.48510000109672546},{"id":"https://openalex.org/C167204820","wikidata":"https://www.wikidata.org/wiki/Q912058","display_name":"Simply connected space","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.38690000772476196},{"id":"https://openalex.org/C78606066","wikidata":"https://www.wikidata.org/wiki/Q1198376","display_name":"Cohomology","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.3407000005245209},{"id":"https://openalex.org/C35234519","wikidata":"https://www.wikidata.org/wiki/Q3983973","display_name":"Homotopy lifting property","level":4,"score":0.33500000834465027},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3253999948501587},{"id":"https://openalex.org/C162329640","wikidata":"https://www.wikidata.org/wiki/Q332648","display_name":"Covering space","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3199000060558319},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31619998812675476},{"id":"https://openalex.org/C156330621","wikidata":"https://www.wikidata.org/wiki/Q3393476","display_name":"Rational point","level":3,"score":0.31610000133514404},{"id":"https://openalex.org/C2778332477","wikidata":"https://www.wikidata.org/wiki/Q5141396","display_name":"Cohomological dimension","level":3,"score":0.3133000135421753},{"id":"https://openalex.org/C150275644","wikidata":"https://www.wikidata.org/wiki/Q1048949","display_name":"Cofibration","level":5,"score":0.3021000027656555},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C191752858","wikidata":"https://www.wikidata.org/wiki/Q6358325","display_name":"n-connected","level":3,"score":0.2838999927043915},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C75280867","wikidata":"https://www.wikidata.org/wiki/Q877775","display_name":"Projective space","level":3,"score":0.27559998631477356},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.2531999945640564}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.04153","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04153","pdf_url":"https://arxiv.org/pdf/2610.04153","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.2610.04153","doi":"https://doi.org/10.48550/arxiv.2610.04153","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.04153","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.04153","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04153","pdf_url":"https://arxiv.org/pdf/2610.04153","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":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220729849.pdf","grobid_xml":"https://content.openalex.org/works/W7220729849.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W109820833","https://openalex.org/W1538084850","https://openalex.org/W1713065562","https://openalex.org/W1794631747","https://openalex.org/W1894330643","https://openalex.org/W1970072809","https://openalex.org/W1973248889","https://openalex.org/W1993348448","https://openalex.org/W2010043691","https://openalex.org/W2011071679","https://openalex.org/W2013741801","https://openalex.org/W2017812955","https://openalex.org/W2054450032","https://openalex.org/W2069525742","https://openalex.org/W2105972215","https://openalex.org/W2110157945","https://openalex.org/W2116507931","https://openalex.org/W2144384723","https://openalex.org/W2145138816","https://openalex.org/W2560804779","https://openalex.org/W2565854465","https://openalex.org/W2944093539","https://openalex.org/W2962728487","https://openalex.org/W2963927093","https://openalex.org/W3085709571","https://openalex.org/W3110161484","https://openalex.org/W4210576783","https://openalex.org/W4230488619","https://openalex.org/W4235956739","https://openalex.org/W4254013572","https://openalex.org/W4315477583","https://openalex.org/W4394793742","https://openalex.org/W4402772868","https://openalex.org/W4403247873","https://openalex.org/W4411387012","https://openalex.org/W4415084237","https://openalex.org/W4417162470","https://openalex.org/W7157090111","https://openalex.org/W7215985867"],"related_works":["https://openalex.org/W1682412121","https://openalex.org/W1600897850","https://openalex.org/W1894330643","https://openalex.org/W4230294990","https://openalex.org/W2951882611","https://openalex.org/W2121158788","https://openalex.org/W4403247873","https://openalex.org/W3104934903","https://openalex.org/W4417162470","https://openalex.org/W2014773175"],"abstract_inverted_index":{"Topological":[0],"complexity,":[1],"introduced":[2],"by":[3],"Farber,":[4],"measures":[5],"the":[6,46,90,139,152,187,200],"number":[7],"of":[8,23,77,121,135,151,160,168],"continuous":[9],"local":[10],"motion-planning":[11],"rules":[12],"on":[13,138,199],"a":[14,32,85,103,130,195],"configuration":[15],"space.":[16],"For":[17,69,119],"every":[18,70],"simply":[19,74,164,175],"connected":[20,75,165,176],"space":[21],"$X$":[22],"finite":[24,78,169,205],"rational":[25,29,79,154,170,192],"homotopy":[26,80,86,171],"type":[27,81],"whose":[28,82],"cohomology":[30],"is":[31,54],"finite-dimensional":[33,190],"Poincar\u00e9":[34,124],"duality":[35,104,125],"algebra,":[36],"we":[37,88,127],"prove":[38,128],"$\\mathrm{MTC}(X)=\\mathrm{TC}_0(X)=\\mathrm{TC}_0^M(X)$,":[39],"where":[40],"$\\mathrm{TC}_0(X)=\\mathrm{TC}(X_{\\mathbb":[41],"Q})$":[42],"and":[43,63,112,142,202,214],"$M$":[44],"denotes":[45],"monoidal":[47],"invariant.":[48],"No":[49],"formality":[50],"or":[51],"ellipticity":[52],"assumption":[53],"required.":[55],"The":[56,106],"result":[57],"extends":[58],"to":[59],"higher":[60],"topological":[61],"complexity":[62],"gives":[64],"product":[65],"additivity":[66],"under":[67],"duality.":[68],"map":[71],"$f$":[72],"between":[73],"spaces":[76],"rationalization":[83],"admits":[84],"retraction,":[87],"establish":[89],"sharp":[91],"bound":[92,198],"$\\mathrm{Msecat}(f_{\\mathbb":[93],"Q})\\leq\\mathrm{secat}(f_{\\mathbb":[94],"Q})\\leq\\mathrm{relcat}(f_{\\mathbb":[95],"Q})\\leq\\mathrm{Msecat}(f_{\\mathbb":[96],"Q})+1$.":[97],"In":[98],"particular,":[99],"$\\mathrm{MTC}(X)\\leq\\mathrm{TC}_0(X)\\leq\\mathrm{MTC}(X)+1$":[100],"holds":[101,185],"without":[102,194],"assumption.":[105],"proofs":[107],"use":[108],"controlled":[109],"Sullivan":[110],"resolutions":[111],"an":[113],"ideal-valued":[114,143],"criterion":[115,148],"for":[116,157,203],"relative":[117,206],"category.":[118],"sections":[120,159],"fibrations":[122],"with":[123,173],"fibre,":[126,178],"that":[129],"derived":[131],"self-intersection":[132],"formula,":[133],"vanishing":[134],"Thom":[136],"multiplication":[137],"augmentation":[140],"ideal,":[141],"evaluation":[144],"are":[145],"equivalent.":[146],"This":[147],"yields":[149],"equality":[150],"three":[153],"sectional":[155],"invariants":[156],"smooth":[158,161,166],"bundles":[162],"over":[163],"bases":[167],"type,":[172],"closed":[174],"manifold":[177],"including":[179],"rationally":[180],"hyperbolic":[181],"fibres.":[182],"Equality":[183],"also":[184],"when":[186],"fibre":[188],"has":[189],"total":[191],"homotopy,":[193],"cohomological":[196],"dimension":[197],"base,":[201],"suitable":[204],"Frobenius":[207],"models.":[208],"Geometric":[209],"applications":[210],"include":[211],"sphere,":[212],"Grassmann,":[213],"projective":[215],"bundles.":[216]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}