{"entities":{"Q1306917":{"pageid":1317667,"ns":120,"title":"Item:Q1306917","lastrevid":67513845,"modified":"2026-04-12T18:30:26Z","type":"item","id":"Q1306917","labels":{"en":{"language":"en","value":"The trace conjecture -- a counterexample"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1348183"}},"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":"Q1306917$06F54D92-710B-49D6-8760-638CAAA9B320","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93661167c2dd4a20642de1f6b886d83148f65751","datavalue":{"value":{"text":"The trace conjecture -- a counterexample","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306917$05FBB74F-C618-44B4-923C-155FAEAA65BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2956a52d87640dc367d341d854317fe6a95dc722","datavalue":{"value":"0939.19003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$008D7D5D-0699-4BF2-9B98-F02D831E3038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b1591a91531687334b29e2ddc40efc8b442d713","datavalue":{"value":"10.1023/A:1007787132573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$652FB87A-5A26-47B3-8603-A91DB0D63372","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e48736032d7f8102d502b6af820f0da0464f7642","datavalue":{"value":{"entity-type":"item","numeric-id":1306916,"id":"Q1306916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306917$521A884C-F374-441D-AEF3-5FEC246BA8A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306917$ED83F295-D22D-47D9-8F32-E0E43FC9E196","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4383e04c614e7900231d5e959ea270969bcd9aca","datavalue":{"value":{"time":"+2000-07-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":"Q1306917$EE17B31D-A086-4787-9B91-3B27E3D43E6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9909ae979914a26e0ad14e86c276b259f0e7cc67","datavalue":{"value":"We cite from the abstract: ``In the paper ``Geometric \\(K\\)-theory for Lie groups and foliations'' [Preprint, Inst. Hautes \u00c9tud. Sci., Paris (1982)], \\textit{P. Baum} and \\textit{A. Connes} conjecture in a remark that for a finitely generated group \\(\\Gamma\\) with torsion the trace map \\(tr:K_0 (C^*(\\Gamma)) \\to\\mathbb{R}\\) maps \\(K_0(C^*(\\Gamma))\\) onto the additive subgroup of \\(\\mathbb{Q}\\) generated by all rational numbers of the form \\({1\\over n}\\) where \\(n\\) is the order of a finite subgroup of \\(\\Gamma\\). We construct a counterexample to this conjecture.''   The counterexample is the following: Let \\(M^4\\) be an aspherical four-manifold with effective action of the finite group \\(G=\\mathbb{Z}/3 \\mathbb{Z} \\times\\mathbb{Z}/ 3\\mathbb{Z}\\), obtained by applying the Davis-Januskiewicz hyperbolization technique \\(G\\)-equivariantly to a hypersurface in \\(\\mathbb{C} P^3\\). Then there is a canonical group extension  \\[ 1\\to\\pi_1(M) \\to\\Gamma \\to G\\to 1. \\]  It can be shown that the order of torsion elements of \\(\\Gamma\\) is equal to three. On the other hand, the equivariant signature operator \\(D_\\Gamma\\) on \\(\\widetilde M\\) defines an element \\([D_\\Gamma]\\in K_*^\\Gamma (\\underline {E\\Gamma})\\). The number \\(tr(\\text{Ind}_\\Gamma (D_\\Gamma))\\) is calculated by index theory and shown to be contained in \\({1\\over 9}\\mathbb{Z}\\) but not in \\({1\\over 3}\\mathbb{Z}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$CF12DFAF-D773-452E-95F1-3E42AA718EA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b10403038f96ebe277a0693bcc5a27aca029f2e5","datavalue":{"value":{"entity-type":"item","numeric-id":166163,"id":"Q166163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306917$A6A47E94-D386-40DF-B879-88E1000313A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e03f3a7f96c80d3bc548029374fff2882f548c","datavalue":{"value":"19K56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$41D205F2-6E6D-47BD-A644-1664A910EAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1f44704bff84fc17b4ec12601b54a640a12b79","datavalue":{"value":"46L80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$1B7B42BD-19C9-41C4-9A17-FB33D83A1676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40c10167a389b14cfe0c977f6ce9d7e37bc10339","datavalue":{"value":"55R40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$F36B9F6C-CEF3-4ABD-9467-795DA97F0C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f28b8b2841ffe57584ea5d69f174ccc4815976f7","datavalue":{"value":"55R50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$F941E1DB-BDBC-4396-ADF7-635234263875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e18f7e3adc27cfc6c871e7451259111ae209758","datavalue":{"value":"58J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$C8578CEF-6FBC-4C18-A56A-13D348D32990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bb72dd3ecf0b2c89afb8c08848d840beb6ae9cd","datavalue":{"value":"1348183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$D3F28731-C094-42ED-B716-CF0BD22CCF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c28c3a20c46c6366ed02fa761f08208d1eb26cc","datavalue":{"value":"Baum-Connes conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$19C4B09F-3A65-42BE-8B6A-1D8ED78C7875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfe61aa29474af2afb33da6ca6b9df4c4726c45","datavalue":{"value":"trace conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$8C0C3863-3BE4-4823-B57B-A5850003D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29aef53049ff2c9ef60de1424e42b8cad0805421","datavalue":{"value":"integrality theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$38BC040E-1886-4B1C-BC93-A13CE5152337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244cb6f6b08969722362d725a834dbb91c418b69","datavalue":{"value":"equivariant surgery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$5C6700C6-3954-4092-A671-8F5CEBCA6FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e4cbac2d55622aaa4f5b55428abb63cea32b6","datavalue":{"value":"hyperbolic manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306917$3D196320-6C25-4984-9142-A3E3D668D193","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":"Q1306917$A5D09381-6168-41E2-AC4F-4057459386D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0e0184061ee7c70e46d2773440a94fcf30449826","datavalue":{"value":"Q123179220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306917$9B819352-52D6-43D0-B14D-AB0F1E64D682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd214178aa13c89cce663e67e0822c75cad8d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1606015,"id":"Q1606015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ac6a1e5425c5b6c766f640c0305760339a9b80","datavalue":{"value":{"amount":"+0.7994157075881958","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":"Q1306917$7565A42E-925B-49F9-9A28-E2C63ECDF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745eecbe957491357a68c87a7e1d3cf4d80256e2","datavalue":{"value":{"entity-type":"item","numeric-id":1401425,"id":"Q1401425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcc4f96c3c53753d1e6aacf2665032ea98d2c3f","datavalue":{"value":{"amount":"+0.7903909087181091","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":"Q1306917$048CD3BB-BD5B-4FC0-AEFF-A9F983F9EC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f831826312f7b23ae4ef922e22c471b318d8b923","datavalue":{"value":{"entity-type":"item","numeric-id":1847809,"id":"Q1847809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5e62280ea090a074b57ef5c7be721686879ed2","datavalue":{"value":{"amount":"+0.7878259420394897","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":"Q1306917$9AFFB28E-12E9-430D-A77F-6A1EDA50A858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102baa09aaded213f24f757c6848ebce82ac4c84","datavalue":{"value":{"entity-type":"item","numeric-id":1126743,"id":"Q1126743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce655841837929c1f58c84244aa9ed08978323f0","datavalue":{"value":{"amount":"+0.7842044830322266","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":"Q1306917$258E30BA-A213-4CF5-ACD0-11139E93A0C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The trace conjecture -- a counterexample","badges":[]}}}}}