{"corpus_id":115169572,"paper_sha":"b439aec338926bd00b6dfbe8173ab92508543997","doi":null,"arxiv_id":"0812.0154","pmid":null,"pmcid":null,"mag_id":null,"dblp_id":null,"acl_id":null,"title":"Homotopy theory of C*-algebras","year":2008,"publication_date":"2008-11-30","venue":"","journal":null,"journal_issn":null,"journal_title":null,"publication_types":[],"pubmed_pub_types":null,"s2_fields_of_study":["Mathematics"],"reference_count":99,"citation_count":18,"influential_citation_count":3,"is_open_access":false,"arxiv_categories":["math.AT","math.OA"],"arxiv_license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","arxiv_journal_ref":null,"mesh_headings":null,"chemicals":null,"comments_corrections":null,"source_flags":1,"s2_open_access_pdf_url":null,"s2_open_access_landing_url":null,"s2_open_access_license":null,"s2_open_access_status":null,"pmc_open_access_pdf_url":null,"pmc_open_access_landing_url":null,"pmc_open_access_license":null,"pmc_open_access_status":null,"unpaywall_open_access_pdf_url":null,"unpaywall_open_access_landing_url":null,"unpaywall_open_access_license":null,"unpaywall_open_access_status":null,"abstract":"In this work we construct from ground up a homotopy theory of C-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure. The theory makes use of a full fledged import of homotopy theoretic techniques into the subject of C-algebras. The spaces in C-homotopy theory are certain hybrids of functors represented by C-algebras and spaces studied in classical homotopy theory. In particular, we employ both the topological circle and the C-algebra circle of complex-valued continuous functions on the real numbers which vanish at infinity. By using the inner workings of the theory, we may stabilize the spaces by forming spectra and bispectra with respect to either one of these circles or their tensor product. These stabilized spaces or spectra are the objects of study in stable C-homotopy theory. The stable homotopy category of C-algebras gives rise to invariants such as stable homotopy groups and bigraded cohomology and homology theories. We work out examples related to the emerging subject of noncommutative motives and zeta functions of C-algebras. In addition, we employ homotopy theory to define a new type of K-theory of C-algebras. Department of Mathematics, University of Oslo, Norway. MSC Primary: 46L99, 55P99","claims":[{"public_id":"cl_7a47af7d8e31f1828d396554b99e4ed3","status":"active","text":"A new type of K-theory of C*-algebras is defined using homotopy theory.","confidence":0.9,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_7a47af7d8e31f1828d396554b99e4ed3"},{"public_id":"cl_c2913c6680e4503c228f2511104a3dbc","status":"active","text":"An unstable model structure and a stable model structure are constructed for a homotopy theory of C*-algebras.","confidence":0.97,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_c2913c6680e4503c228f2511104a3dbc"},{"public_id":"cl_22ae30b6d867671eeeb6a98f1178e078","status":"active","text":"Stabilization is carried out by forming spectra and bispectra with respect to the topological circle, the C*-algebra circle, or their tensor product.","confidence":0.95,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_22ae30b6d867671eeeb6a98f1178e078"},{"public_id":"cl_1749e4a988e6686e00dca523635964ed","status":"active","text":"The spaces in this theory are hybrids of functors represented by C*-algebras and spaces from classical homotopy theory.","confidence":0.89,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_1749e4a988e6686e00dca523635964ed"},{"public_id":"cl_0a7d5b6313a1c041d5e31d146dc90df0","status":"active","text":"The stable homotopy category of C*-algebras yields stable homotopy groups and bigraded cohomology and homology theories.","confidence":0.93,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_0a7d5b6313a1c041d5e31d146dc90df0"}],"concepts":[{"public_id":"co_1878fa58d018335f9b558771bc4d55e3","status":"active","name":"bispectra","description":"Objects stabilized with respect to two suspension directions in the theory.","types":["object"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_1878fa58d018335f9b558771bc4d55e3"},{"public_id":"co_1d1f3ae73c331bc2e97917b32607c3df","status":"active","name":"homotopy theory of C*-algebras","description":"A homotopy-theoretic framework developed for C*-algebras using model-category methods.","types":["theory"],"aliases":["C-homotopy theory"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_1d1f3ae73c331bc2e97917b32607c3df"},{"public_id":"co_2a078ea4ab0ad51b14f577faa1850c56","status":"active","name":"functors represented by C*-algebras","description":"Representable functors associated with C*-algebras that help build the spaces in the theory.","types":["functor"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_2a078ea4ab0ad51b14f577faa1850c56"},{"public_id":"co_363e2e970c7468e0f913d4e4c9f7d7a0","status":"active","name":"bigraded cohomology and homology theories","description":"Cohomology and homology theories with two grading parameters arising from the stable category.","types":["invariant"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_363e2e970c7468e0f913d4e4c9f7d7a0"},{"public_id":"co_4d125a2c4176a113158fe0e5b49fed24","status":"active","name":"topological circle","description":"The ordinary geometric circle used as one of the stabilization directions.","types":["space"],"aliases":["S^1"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_4d125a2c4176a113158fe0e5b49fed24"},{"public_id":"co_7840e5771d5634626d185dacd3f0baa3","status":"active","name":"stable model structure","description":"A model structure used to organize the stabilized level of the homotopy theory.","types":["method"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_7840e5771d5634626d185dacd3f0baa3"},{"public_id":"co_7b8cbf6389fba69d70edc5c5ecd501fb","status":"active","name":"classical homotopy theory","description":"The standard homotopy-theoretic setting that supplies constructions and techniques imported into the C*-algebra context.","types":["theory"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_7b8cbf6389fba69d70edc5c5ecd501fb"},{"public_id":"co_a1de3cd674331b6f21b9d07dba9cafcb","status":"active","name":"spectra","description":"Stabilized objects formed from spaces to study stable homotopy-theoretic behavior.","types":["object"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_a1de3cd674331b6f21b9d07dba9cafcb"},{"public_id":"co_b472580f85a004a21c49e7afb5d38cd2","status":"active","name":"unstable model structure","description":"A model structure used to organize the unstable level of the homotopy theory.","types":["method"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_b472580f85a004a21c49e7afb5d38cd2"},{"public_id":"co_b694e7b0afa56e32e47dc6027e173d9a","status":"active","name":"new type of K-theory of C*-algebras","description":"A K-theory construction for C*-algebras defined via the homotopy-theoretic framework.","types":["theory"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_b694e7b0afa56e32e47dc6027e173d9a"},{"public_id":"co_c14f595318cb304e42ba413b898785bc","status":"active","name":"stable homotopy category of C*-algebras","description":"The category obtained after stabilization, serving as the setting for stable invariants of C*-algebras.","types":["category"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_c14f595318cb304e42ba413b898785bc"},{"public_id":"co_d045495b712a4b610a9b15e5bb3d295e","status":"active","name":"C*-algebra circle","description":"The C*-algebra of complex-valued continuous functions on the real line vanishing at infinity, used as a stabilization object.","types":["C*-algebra"],"aliases":["complex-valued continuous functions on the real numbers which vanish at infinity"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_d045495b712a4b610a9b15e5bb3d295e"},{"public_id":"co_de9fb5d0c205dceffcc8ad117b79c88c","status":"active","name":"spaces in C-homotopy theory","description":"The objects serving as spaces in the homotopy theory of C*-algebras, built as hybrids of representable functors and classical homotopy-theoretic spaces.","types":["object"],"aliases":["spaces"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_de9fb5d0c205dceffcc8ad117b79c88c"},{"public_id":"co_f4aad336492536e4aac9cabf7ebdcac5","status":"active","name":"stable homotopy groups","description":"Homotopy groups defined in the stabilized category of C*-algebras.","types":["invariant"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_f4aad336492536e4aac9cabf7ebdcac5"}],"external_ids":{"DOI":null,"ArXiv":"0812.0154","PubMed":null,"PubMedCentral":null,"MAG":null,"DBLP":null,"ACL":null},"open_access":{"is_open_access":true,"pdf_url":"https://arxiv.org/pdf/0812.0154","landing_url":"https://arxiv.org/abs/0812.0154","source":"arxiv","pdf_url_source":"derived_arxiv","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","reason":null},"reference_availability":{"status":"available","references_indexed":true,"full_text_available":true,"full_text_source":"arxiv","count_basis":"semantic_scholar_metadata","extraction_status":"not_applicable","reason":null},"source":{"provider":"episteme2","base_corpus":"semantic_scholar_dump","freshness_mode":"unknown","basis":["semantic_scholar_metadata","postgres_metadata"],"limits":["paper metadata is based on indexed upstream scholarly datasets","claims and concepts are available only for extracted papers","absence of claims or concepts means no extracted graph data is available in this response"],"status":"available","degraded":false,"degraded_reasons":[],"diagnostics":{"status":"available","degraded":false,"degraded_reasons":[],"metadata_status":"available","graph_status":"available","abstract_status":"available"},"source_flags":1},"paper_id":638385,"paper_uid":"8c504a5c-24d6-4d2a-b643-c9fe7bcb1f15","canonical_identity":{"paper_id":638385,"paper_uid":"8c504a5c-24d6-4d2a-b643-c9fe7bcb1f15","identity_status":"available","lookup_basis":"semantic_scholar_external_id","compatibility_path":"corpus_id"},"url":"https://sah.borca.ai/papers/115169572"}