{"id":"https://openalex.org/W7207617270","doi":"https://doi.org/10.48550/arxiv.2609.02407","title":"Super $K$-theory and group completion","display_name":"Super $K$-theory and group completion","publication_year":2026,"publication_date":"2026-09-02","ids":{"openalex":"https://openalex.org/W7207617270","doi":"https://doi.org/10.48550/arxiv.2609.02407"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.02407","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02407","pdf_url":"https://arxiv.org/pdf/2609.02407","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/2609.02407","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137321000","display_name":"David Aretz","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aretz, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078542055","display_name":"Luuk Stehouwer","orcid":"https://orcid.org/0000-0001-9034-8307","observed_orcids":["https://orcid.org/0000-0001-9034-8307"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stehouwer, Luuk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9394999742507935,"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.9394999742507935,"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.05429999902844429,"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.002899999963119626,"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/group-completion","display_name":"group completion","score":0.902999997138977},{"id":"https://openalex.org/keywords/topological-groupoids","display_name":"topological groupoids","score":0.8289999961853027},{"id":"https://openalex.org/keywords/finitely-generated-projective-modules","display_name":"finitely generated projective modules","score":0.8209999799728394},{"id":"https://openalex.org/keywords/clifford-algebra","display_name":"Clifford algebra","score":0.8360000252723694},{"id":"https://openalex.org/keywords/morita-equivalence","display_name":"Morita equivalence","score":0.9819999933242798},{"id":"https://openalex.org/keywords/picard-group","display_name":"Picard group","score":0.578000009059906},{"id":"https://openalex.org/keywords/symmetric-monoidal-functors","display_name":"symmetric monoidal functors","score":0.7990000247955322},{"id":"https://openalex.org/keywords/topological-k-theory","display_name":"topological K-theory","score":0.8180000185966492},{"id":"https://openalex.org/keywords/kk-theory","display_name":"KK-theory","score":0.8859999775886536},{"id":"https://openalex.org/keywords/postnikov-towers","display_name":"Postnikov towers","score":0.5519999861717224}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8715999722480774},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6136999726295471},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5867000222206116},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.4869000017642975},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.47870001196861267},{"id":"https://openalex.org/C134941585","wikidata":"https://www.wikidata.org/wiki/Q6912366","display_name":"Morita equivalence","level":2,"score":0.4729999899864197},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.45419999957084656},{"id":"https://openalex.org/C96386209","wikidata":"https://www.wikidata.org/wiki/Q1046291","display_name":"Topological group","level":3,"score":0.44339999556541443},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.40119999647140503},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.37709999084472656},{"id":"https://openalex.org/C169611556","wikidata":"https://www.wikidata.org/wiki/Q230689","display_name":"Contractible space","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.34470000863075256},{"id":"https://openalex.org/C147688034","wikidata":"https://www.wikidata.org/wiki/Q1626416","display_name":"Homotopy group","level":3,"score":0.3434000015258789},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.31690001487731934},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3111000061035156},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C25534917","wikidata":"https://www.wikidata.org/wiki/Q1326955","display_name":"Exact sequence","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C32268108","wikidata":"https://www.wikidata.org/wiki/Q942423","display_name":"Projective module","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C178609977","wikidata":"https://www.wikidata.org/wiki/Q3503315","display_name":"Spectral sequence","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C11846945","wikidata":"https://www.wikidata.org/wiki/Q1082992","display_name":"Equivalence of categories","level":3,"score":0.26840001344680786},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.26170000433921814},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C159876591","wikidata":"https://www.wikidata.org/wiki/Q662830","display_name":"Fundamental group","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C2777726979","wikidata":"https://www.wikidata.org/wiki/Q582271","display_name":"Noetherian ring","level":3,"score":0.2524000108242035}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2609.02407","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02407","pdf_url":"https://arxiv.org/pdf/2609.02407","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":"pmh:oai:pure.mpg.de:item_3728609","doi":null,"is_oa":false,"landing_page_url":"https://hdl.handle.net/21.11116/0000-0013-80F7-3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2609.02407","doi":"https://doi.org/10.48550/arxiv.2609.02407","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.02407","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:2609.02407","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02407","pdf_url":"https://arxiv.org/pdf/2609.02407","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7207617270.pdf","grobid_xml":"https://content.openalex.org/works/W7207617270.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1568189218","https://openalex.org/W1569384614","https://openalex.org/W2785622768","https://openalex.org/W2956924242","https://openalex.org/W4224924150","https://openalex.org/W4381587493","https://openalex.org/W4389217215","https://openalex.org/W4398192620","https://openalex.org/W4402954787","https://openalex.org/W4402955331","https://openalex.org/W4414596058","https://openalex.org/W4416557072","https://openalex.org/W4417530168","https://openalex.org/W6947973714","https://openalex.org/W7166851012"],"related_works":["https://openalex.org/W7048214929","https://openalex.org/W7221772916","https://openalex.org/W6979272160","https://openalex.org/W409893927","https://openalex.org/W139527491","https://openalex.org/W2525234086","https://openalex.org/W2973789408","https://openalex.org/W1989890313","https://openalex.org/W2992262966","https://openalex.org/W4392488302"],"abstract_inverted_index":{"We":[0,58,112,170,190],"develop":[1],"a":[2,31,60,69,108,114,142,160,221],"spectrum-level":[3],"graded":[4,25,46,95,180],"$K$-theory":[5,26,198,215],"for":[6,197],"real":[7],"super":[8,139,164],"Banach":[9,218],"algebras.":[10],"Our":[11],"construction":[12,67],"is":[13,28,103],"categorical":[14],"and":[15,76,84,132,167,177],"homotopy":[16],"theoretic,":[17],"in":[18,86,90,101],"the":[19,24,35,65,127,152],"style":[20],"of":[21,39,42,52,94,157,175,199,206,216],"algebraic":[22],"$K$-theory:":[23],"spectrum":[27,62],"obtained":[29],"by":[30,220],"(co)fiber":[32],"sequence":[33],"from":[34,50],"$(\\infty,1)$-categorical":[36],"group":[37],"completion":[38],"topological":[40,123,201,214],"groupoids":[41],"finitely":[43],"generated":[44],"projective":[45],"modules,":[47],"rather":[48],"than":[49],"spaces":[51],"Fredholm":[53],"operators":[54],"or":[55],"Kasparov":[56],"cycles.":[57],"define":[59],"connective":[61,213],"$k^{\\mathrm{ABS}}_A$":[63],"refining":[64],"Atiyah--Bott--Shapiro":[66],"as":[68],"cofiber,":[70],"together":[71],"with":[72,126,182],"its":[73],"periodification":[74],"$K^{\\mathrm{gr}}_A$,":[75],"show":[77],"that":[78,203],"both":[79],"are":[80],"lax":[81],"symmetric":[82,143],"monoidal":[83,144],"functorial":[85],"bimodules,":[87],"not":[88],"merely":[89],"homomorphisms.":[91],"The":[92],"failure":[93],"$A$-modules":[96],"to":[97,105,135,188],"present":[98],"all":[99],"cocycles":[100],"$K^{\\mathrm{gr}}_0(A)$":[102],"shown":[104],"be":[106,205],"purely":[107],"$\u03c0_0$-phenomenon":[109],"on":[110],"$k^{\\mathrm{ABS}}_A$.":[111],"obtain":[113],"natural":[115],"equivalence":[116,129],"$K^{\\mathrm{gr}}_{A\\widehat{\\otimes}":[117],"\\mathrm{Cl}_{p,q}}":[118],"\\simeq":[119],"\u03a3^{p-q}K^{\\mathrm{gr}}_A$,":[120],"which":[121,149],"links":[122],"Bott":[124],"periodicity":[125],"Morita":[128],"between":[130,163],"$\\mathrm{Cl}_8$":[131],"$\\mathbb{R}$.":[133],"Restricting":[134],"invertible":[136,168],"finite-dimensional":[137],"semisimple":[138],"algebras":[140,166,219],"yields":[141],"functor":[145],"$\\operatorname{Pic}(\\operatorname{Bim}(\\mathrm{sBan}_{\\mathbb{R}})^{\\mathrm{fd}})":[146],"\\to":[147],"\\operatorname{Pic}(\\mathrm{Mod}(KO))$":[148],"splits":[150],"off":[151],"bottom":[153],"three":[154],"Postnikov":[155],"layers":[156],"$\\operatorname{Pic}(\\mathrm{Mod}(KO))$,":[158],"giving":[159],"direct":[161],"link":[162],"division":[165],"$KO$-modules.":[169],"also":[171,191],"give":[172],"spectral":[173],"refinements":[174],"Karoubi's":[176],"van":[178],"Daele's":[179],"$K$-groups,":[181],"explicit":[183],"comparison":[184],"equivalences,":[185],"therefore":[186],"connecting":[187],"$KK$-theory.":[189],"provide":[192],"an":[193],"extensive":[194],"general":[195],"treatment":[196],"ungraded":[200,217],"rings":[202],"might":[204],"independent":[207],"interest.":[208],"In":[209],"particular,":[210],"we":[211],"characterize":[212],"universal":[222],"property.":[223]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-04T00:00:00"}