{"entities":{"Q4356035":{"pageid":6385634,"ns":120,"title":"Item:Q4356035","lastrevid":108277214,"modified":"2026-11-05T17:57:29Z","type":"item","id":"Q4356035","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1064700"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$CA060D55-5770-4DC5-A0DA-AF70386529AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819d5902229f6ee26e1a876b16aa8b24c6a44172","datavalue":{"value":"0937.46055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4356035$99620AB5-AA4D-42C7-8412-F81AFA70CCB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f10fe29ab79d1ed7d2cf2da55f696b357da0bcec","datavalue":{"value":{"entity-type":"item","numeric-id":202928,"id":"Q202928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$CD9297B2-4071-4BF2-883A-61F6AA0BB41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6350cf8283d7f070a5e745aaed36ac292c4a242a","datavalue":{"value":{"entity-type":"item","numeric-id":527392,"id":"Q527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$86D04A1E-9860-40DF-8219-37D3D78019AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19f75ad79aa371aa27344af6b224f919a42ec60","datavalue":{"value":{"entity-type":"item","numeric-id":1375920,"id":"Q1375920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$953503E0-D685-47FB-A26F-352BFF6C04F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b968bc297946c4d4bbce593d8765eb88002f28fa","datavalue":{"value":{"entity-type":"item","numeric-id":1375921,"id":"Q1375921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$CB3D87C8-67E2-4F29-8356-522290614FE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188e7812fa35af04e158f04bbec68d1fb9b63aa4","datavalue":{"value":{"time":"+1998-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4356035$3D147DD2-EB18-4E53-B781-5857DC27872C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33786a1993777ef77f49a5bc3afb174e1b299805","datavalue":{"value":"46L35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4356035$C34B36B2-F917-4DD9-91B6-CAE5EF7E02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1f44704bff84fc17b4ec12601b54a640a12b79","datavalue":{"value":"46L80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4356035$ED9196CC-69FF-4423-8C00-23BD4790B764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4356035$3829D8EB-2D8C-490A-9BED-A38F40B50617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee176c1b27ba05bbc3d373a5e532e99e0fb2ba5","datavalue":{"value":"1064700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4356035$BBFEFFD8-2E43-4568-AD53-8A5F83F68770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eabd93b21dbac48f53343b59ecc8487f92b3fda","datavalue":{"value":"dimension-drop \\(C^*\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$8503D2DE-2E10-4ECC-9B28-9643EDCB051A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc4655d42dd44e0632c6f7ce60caa4ff6aa0c60","datavalue":{"value":"inductive limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$39C6EB09-1515-47B2-B16C-79BB16D9E1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867856affa7c8ca01a0c2f8dbbb45f8a5add0419","datavalue":{"value":"tracial state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$10D31ADC-03A7-464E-A0D0-1344B4E66719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417ffe442e658ca1a27945e96ddc65d215471723","datavalue":{"value":"\\(KK\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$CFE644D3-DC0E-499C-A45D-45B131DF4FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4d55f7d171dce22d5ad020e1e9582c87eb3fafd","datavalue":{"value":"real rank zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$B83787D6-FCD2-4E05-B83B-0DBAA46E7A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3259d989c638c1566d1c36eedb2cefebf0b9f234","datavalue":{"value":"finite-dimensional \\(AF\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$75C4C1D8-FCF9-40D8-B398-2EE47CCEACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eabb77044e841d0496bac58365956b37836f863d","datavalue":{"value":"\\(KK\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$FB7363DF-140F-4AFF-9D6D-0E1ED792B6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7063df35abdc42242a2746be5ca008cc554fc869","datavalue":{"value":"standard form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$BFB2C80B-5EA9-48A8-8F9C-FE162EC58974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3947a25eb906ae896b993bf6d1d99e4d5623e4c8","datavalue":{"value":"\\(*\\)-mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$DD3850C6-0205-4BB2-A657-A176413CCD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cd26d8428fe9ff0e3597d6fa388b384ea47e5d","datavalue":{"value":"\\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$7A07D63A-993D-4057-A203-7D25E0E2599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cdd2b4ff251dc5b4eea3beef2ac1fc28899bec","datavalue":{"value":"inductive limit algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$8B3E5822-6D53-4268-AB7E-25EF224A89D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b81330a6bbbaa5f623f296dde888376a1ec90ba","datavalue":{"value":"approximate equivalence of mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$C4A52CA7-E7EF-47F4-B6E7-19CF950266D1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4356035$A0E718C6-DFAB-4D9C-B056-C61B6182B676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f632c1d19facba073fd6e3ccdae35a4b81eff1","datavalue":{"value":{"entity-type":"item","numeric-id":952418,"id":"Q952418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82a686aade6fbc74fd13f1c0fddae672688c05d","datavalue":{"value":{"amount":"+0.7923744320869446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4356035$2ABD6D2F-82AE-416B-B924-65C6F51EE2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0c5b4b383f534f0e4a971b9cd6464af613f273","datavalue":{"value":{"entity-type":"item","numeric-id":4305480,"id":"Q4305480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4765dad6c4e850a89a7a078f792e2c3aac105d","datavalue":{"value":{"amount":"+0.7911467552185059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4356035$3ADA8854-76D3-4873-A0CF-5587F852D60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68011d6532823ecbe3480acd70be282d4393df49","datavalue":{"value":{"entity-type":"item","numeric-id":4842529,"id":"Q4842529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339cb78890b9a1c6c10dd3a094ce145b91b08754","datavalue":{"value":{"amount":"+0.78547203540802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4356035$357FE1F6-AC01-450C-9D70-5DBC29CB942D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73a321307861ecb460967753570bb461df8ee739","datavalue":{"value":"A dimension-drop \\(C^*\\)-algebra is of form \\(I_n= \\{f\\in M_n(C[0, 1]): f(0), f(1)\\in \\mathbb{C}\\}\\), i.e. it is an interval algebra with dimension drops at both ends. The authors simplify proofs for the limit algebras by taking `good' quotients and reducing to dimension-drop algebras. They then use the facts that \\(K_0(I_n)= \\mathbb{Z}\\) and \\(K_1(I_n)= \\mathbb{Z}/n\\mathbb{Z}\\). The \\(KK(I_m, I_n)\\) are shown to be representable as triplets of generators and more generally the \\(KK\\)-class of a homomorphism in the inductive system is a direct sum of these. Let \\(T(B)\\) denote the tracial state space of a suitable \\(C^*\\)-algebra \\(B\\). The canonical embedding of \\(C[0,1]\\) as the centre of \\(I_n\\) induces an isomorphism of \\(T(I_n)\\) onto \\(T(C[0,1])\\). The \\(C^*\\)-algebra \\(A\\) is taken to be the inductive limit of the system \\((A_m, \\varphi_{m,n})\\) where the \\(A_m\\) are finite direct sums of algebras like \\(M_q (I_r)\\). Also \\(A\\) must be assumed to be simple. [The first-named author has informed the reviewer that the inductive limit algebras must be assumed simple. Indeed the invariant \\(K_0+K_1\\), is not sufficient in the non-simple case.] The authors use a continuous affine mapping \\(\\psi_T\\) to lift mappings \\(A\\to B\\) to mappings \\(T(A)\\to T(B)\\). Isomorphisms \\(\\psi_0\\) and \\(\\psi_1\\) of the scaled ordered groups \\(K_0\\) and \\(K_1\\) lift to commutative diagrams in \\(K_0\\) and \\(K_1\\), respectively, preserving the compatability of \\(\\psi_0\\) and \\(\\psi_1\\), with respect to the pairing between the equivalence classes of projections and the trace; \\(\\psi_T\\) lifts to an approximately commutative diagram. The connection between trace and projection comes from duality of \\(T(A)\\) and \\(K_0(A)\\), viz. \\(\\langle \\varphi(g),\\tau\\rangle= \\langle g,\\varphi_T\\tau\\rangle\\) where \\(\\tau\\in T(A)\\), \\(g\\in K_0(A)\\). The main theorem is that a complete invariant is given by \\(\\psi_0\\) and \\(\\psi_1\\), homomorphisms of the scaled ordered groups \\(K_0\\) and \\(K_1\\), respectively, and the continuous affine mapping \\(\\psi_T\\). In the proof for \\(C^*\\)-algebras of real rank or when \\(K_1 (A)\\) is trivial the mapping \\(\\psi_T\\) is unnecessary as an invariant. To prove the theorem, first it is shown in Section 4 in a long-winded proof (aren't they all?) that, except when the inductive limit is a finite-dimensional AF-algebra, the inductive systems of mappings may be assumed injective. The uniqueness proof involves \\(KK\\)-theory and so also the existence proof must take \\(KK\\)-theory into account; the authors prove manoueverability of the \\(KK\\)-theory in a limited space; for example, in the simplest case for any \\(\\theta= (q,s,t)\\in KK(I_m, I_n)\\)) with \\(q\\geq 2m\\), they can approximate \\(\\varphi_T\\) by an average of affine maps close to \\(\\psi_T\\) (cf. Thomsen 1994). The \\(KK\\)-classes arise as follows: A unital mapping from \\(A_m\\) to \\(B_m\\) is called of standard form if, essentially, restricted to dimension drop algebras the mapping is, up to unitary equivalence, diagonalisable with entries continuous `eigenvalue' mappings from \\([0,1]\\) to the spectrum of \\(A\\). Approximate equivalence of maps \\(\\varphi_0\\) and \\(\\varphi_1\\) from \\(A\\) to \\(B\\), both of standard form is, to start with, defined by sequences of unitaries in \\(B\\); it is shown that unital \\(*\\)-mappings of standard form are approximately equivalent if the eigenvalue mappings are the same; the authors use the \\(KK\\)-class of \\(\\varphi_0\\), say, to obtain a unitary in \\(B\\) giving an approximate equivalence. Approximately equivalent maps have the same \\(KK\\)-class; conversely, for \\(\\varphi_0\\) and \\(\\varphi_1\\) in standard form, if \\([\\varphi_0]= [\\varphi_1]\\in KK(A, B)\\) and the induced affine space maps satisfy the conditions in Elliot [1993] then (via passing to subsequences and relabelling) there is approximate unitary equivalence of \\(\\varphi_0\\) and \\(\\varphi_1\\) average of the affine maps close to \\(\\varphi_T\\) (average of a finite family as in Thomsen 1994). Hence uniqueness. For the entire collection see [Zbl 0855.00023].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4356035$A9B3A7D9-E48E-4ABF-9256-43B1CEDEE80A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4356035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4356035"}}}}}