{"entities":{"Q1826473":{"pageid":1837215,"ns":120,"title":"Item:Q1826473","lastrevid":43351888,"modified":"2025-07-25T00:56:58Z","type":"item","id":"Q1826473","labels":{"en":{"language":"en","value":"Algebraic \\(K\\)-theory and twisted reciprocity laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081547"}},"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":"Q1826473$93F0D837-378C-45B2-9CAA-A318F3FE94DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a66c0ab182ea73e38d1e5778ba279c3a9d22da0","datavalue":{"value":{"text":"Algebraic \\(K\\)-theory and twisted reciprocity laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826473$CB9BEFAD-2EA0-4ADD-8239-93BBEF75B46F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c3413f64cb57131130471e600bd40b2c046e917","datavalue":{"value":"1053.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$A78B110E-60EF-45D0-B1D2-1FA8613FE2D8","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":"Q1826473$8308BC8D-B21A-4B52-9D30-8205FAD3EC85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826473$F5D6A9FE-0BFA-428C-9B5C-886B789BF378","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0285ba59abdbb15c5538df1c472fa12da8aaae88","datavalue":{"value":"The author generalises the classical reciprocity law for power residues for a number field \\(K\\) from units \\((K_1(K))\\) to the higher \\(K\\)-theory groups \\(K_{2i-1}(K)\\). The classical law follows from the product formula  \\[ \\prod_p \\Biggl({a,b\\over{\\mathfrak p}}\\Biggr)^{m_{\\mathfrak p}/m}= 1, \\]  where \\(a,b\\in K^\\times\\), \\({\\mathfrak p}\\) runs over all finite or real infinite places of \\(K\\), \\(({,\\over{\\mathfrak p}})\\) is the Hilbert symbol at \\({\\mathfrak p}\\), and \\(m\\) (respectively, \\(m_{\\mathfrak p}\\)) is the number of roots of unity in \\(K\\) (resp. \\(K_{\\mathfrak p}\\)). This formula, in turn, can be expressed \\(K\\)-theoretically via the existence of a complex \\(K_2(K)\\to \\bigoplus_{{\\mathfrak p}}\\mu_{{\\mathfrak p}}\\to \\mu_K\\to 0\\). (This complex is, of course, exact according to Moore's reciprocity uniqueness theorem.)   For \\(a\\in K^{\\times}\\) and \\({\\mathfrak p}\\) a finite place not dividing \\(a\\), the \\(m\\)th power residue symbol (or generalised Legendre symbol) \\(({a\\over{\\mathfrak p}})\\) is related to the Hilbert symbol by the formula  \\[ \\Biggl({a\\over{\\mathfrak p}}\\Biggr)= \\Biggl({\\pi, a\\over{\\mathfrak p}}\\Biggr)^{m_{\\mathfrak p}/m}. \\]  More generally, for a fractional ideal \\({\\mathfrak a}\\) relatively prime to \\(\\langle a\\rangle\\) and \\(m\\), we have the generalized Jacobi symbol  \\[ \\Biggl({a\\over{\\mathfrak a}}\\Biggr)= \\prod_{{\\mathfrak p}} \\Biggl({a\\over{\\mathfrak p}}\\Biggr)^{v_{\\mathfrak p}({\\mathfrak a})}. \\]  Let \\(f\\in K^\\times\\), \\(f\\) relatively prime to \\(m\\), and let \\(a\\in{\\mathcal O}_K[1/m]^{\\times}\\). The product formula now implies the reciprocity law  \\[ \\Biggl({a\\over\\langle f\\rangle}\\Biggr)^{-1}= \\prod_{{\\mathfrak p}\\mid m\\infty}\\Biggl({a,f\\over{\\mathfrak p}}\\Biggr)^{m_{\\mathfrak p}/m}. \\]  The author generalises all of this as follows. Fix a prime \\(l\\). Let \\(l^r\\) be the exact power of \\(l\\) dividing \\(m\\). Let \\(R_K= {\\mathcal O}_K[1/l]\\). Then for each \\({\\mathfrak p}\\) not dividing \\(l\\), the generalised Legendre symbol gives a map \\(R^{\\times}_K= K_1(R_K)\\to \\mu_{l^r}= H^0(K,\\mathbb{Q}_l/\\mathbb{Z}_l(1))\\), \\(a\\mapsto ({a\\over{\\mathfrak p}})^{m/l^r}\\). For each \\(i\\geq 1\\), the author defines analogous twisted Legendre symbols \\(K_{2i-1}(R_K)\\to H^0(K,\\mathbb{Q}_l/\\mathbb{Z}_l(i))\\). By rederiving and carefully analysing the maps occurring in Banaszak's generalised Moore sequence  \\[ K_{2i}(K)\\{l\\}@> (h^{(i)}_{\\mathfrak p})>> \\bigoplus_{\\mathfrak p}H^0(K_{\\mathfrak p},\\mathbb{Q}_l/\\mathbb{Z}_l(i))^{m_{i,{\\mathfrak p}}/m_i} \\to H^0(K,\\mathbb{Q}_l/\\mathbb{Z}_l(i))\\to 0 \\]  (where \\(m_i= | H^0(K,\\mathbb{Q}_l/\\mathbb{Z}_l(i))|\\)) and \\(m_{i,{\\mathfrak p}}=| H^0(K_{\\mathfrak p},\\mathbb{Q}_l/\\mathbb{Z}_l(i)))|)\\), the author relates the twisted Jacobi symbols \\(({a\\over f})\\) (\\(a\\in K_{2i-1}(R_K)\\), \\(f\\in K_1(K)\\) relatively prime to \\(l\\)), to the maps \\(h^{(i)}_{\\mathfrak p}\\) and deduces a `twisted' version of the classical reciprocity law.   The author also proves an intriguing property of the `twisted Legendre symbols'. He shows that the symbols \\((\\frac{a}{\\mathfrak p})\\) can be normalised by multiplying by an appropriate \\(l\\)-adic unit (depending on \\({\\mathfrak p}\\) and i) in such a way that the value becomes `on average independent of \\({\\mathfrak p}\\)' in a sense made precise in the paper. Even in the classical case, this seems to be a new observation. The author shows that the analogous result for global fields of positive characteristic is closely related to Suslin rigidity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826473$7729849C-58E2-4A86-B19A-8328417CDBE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6631bce172b76e4bfde8c9cbdc9afcf767db27ca","datavalue":{"value":"19F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$E96CB4A5-D601-4781-AE8F-6BEB2A6F74BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$53F84E3F-4268-4470-AA04-65A43B55E231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fc649bc91537fe065d501b830fdd517f08863247","datavalue":{"value":"19F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$9146CCF2-B151-4114-B60B-08C4215CCE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b94bf072aa12bee224e24bf05cab385f957ed28","datavalue":{"value":"2081547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$F7E51965-7894-42B4-B114-B84707595553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2761bdc40553125e7de6ae63b64d38a792ebd166","datavalue":{"value":"Legendre symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826473$74BD9214-3D7B-4EB8-BA17-1DFA14CD904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cd26d8428fe9ff0e3597d6fa388b384ea47e5d","datavalue":{"value":"\\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826473$C2EE3CE4-CC07-4689-9749-DB3F2CCE3D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3efa7f43fbd6086e36fff67ca9a3693610d7641a","datavalue":{"value":"\u00e9tale cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826473$B099AEFF-B4A5-4A99-A5A8-D860A5B3A577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52edd99e8e625598e527a55563a29c9f91e574b","datavalue":{"value":{"entity-type":"item","numeric-id":161609,"id":"Q161609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826473$F068B211-5838-4827-A81F-55B220C874E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ad005e63857b4440e3ce5082f21293eb0ae13b3","datavalue":{"value":{"entity-type":"item","numeric-id":175279,"id":"Q175279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826473$A451B040-870E-4F4E-BD90-8B6F2A3A9543","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":"Q1826473$6E665327-3D7A-4C32-B33F-D4C26A0B38AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d38dacbebef2de6a8f1ac3c839f6b471964991","datavalue":{"value":"https://doi.org/10.1023/b:kthe.0000019786.31798.c6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826473$A8549F0A-329B-493E-91E4-22F69BB1D9EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72773b19f570ecfdb7d2e0fa1806ddf4d713f6b7","datavalue":{"value":"W2054927131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$0A3A1C1D-82A8-4241-808B-BE37A238685A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6411c39e0a53223882597a2caf897ab35fe2902","datavalue":{"value":"10.1023/B:KTHE.0000019786.31798.C6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826473$BB9D5DDA-3945-434B-BB21-3E05782FF8DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeb4ce6d39a512adeb12073903457d479b93602","datavalue":{"value":{"entity-type":"item","numeric-id":3509497,"id":"Q3509497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa84f63a561273dd66e3e07c53a0ff91b26b6713","datavalue":{"value":{"amount":"+0.9368688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$66797820-2CFE-416D-9D4F-5C2358738208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65549b8caa01a77d69f31b2d1272f6dab6b534d9","datavalue":{"value":{"entity-type":"item","numeric-id":344504,"id":"Q344504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7365ce3f7afe2ff94146143529912e4f5a6b23","datavalue":{"value":{"amount":"+0.9360428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$EFB0EB51-3C33-4EF8-8F7F-E14216F2F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd63988cd51065fbadc75247e50bf889c385a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":5562621,"id":"Q5562621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d66f9b49e9ef71ef3c86b0f6a56a9b13d70c1","datavalue":{"value":{"amount":"+0.92250156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$3C52CB35-8EB5-4FC1-A379-80DE14A9F9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7edb4ed036b066bf566700122fd42c5004d5584","datavalue":{"value":{"entity-type":"item","numeric-id":5905489,"id":"Q5905489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d66f9b49e9ef71ef3c86b0f6a56a9b13d70c1","datavalue":{"value":{"amount":"+0.92250156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$F091E036-C725-49FC-BB4D-81484B7CCAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb772f669b15822f65f6613cf76d2f086cc99ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5920943,"id":"Q5920943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d66f9b49e9ef71ef3c86b0f6a56a9b13d70c1","datavalue":{"value":{"amount":"+0.92250156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$20B4AD7A-7001-4698-B587-A3BBCDB4135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b02bc4bf0e40aba79c9239cd47fa5e3f8701e0","datavalue":{"value":{"entity-type":"item","numeric-id":4841565,"id":"Q4841565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d66f9b49e9ef71ef3c86b0f6a56a9b13d70c1","datavalue":{"value":{"amount":"+0.92250156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$AE94A450-05E8-4FFF-A08D-C68D808A814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fc25cbaa7e5a95cf2151de0ce084671471c40a","datavalue":{"value":{"entity-type":"item","numeric-id":3377424,"id":"Q3377424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f3aa1e78e0dcba14ec7225caf8728fcf3b995f","datavalue":{"value":{"amount":"+0.92055917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$C0E6B041-81DF-41CC-B409-A2AE159CEB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac030d4df1f8b355c560d0cea1d71502f9b8642d","datavalue":{"value":{"entity-type":"item","numeric-id":4549295,"id":"Q4549295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6718fd197a4f3d8b47e02bb351192dc5e604916c","datavalue":{"value":{"amount":"+0.9194038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$40CBA54C-EE75-43D1-9A1B-495B7A5671F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37caa805063aa6dc92ec044c4c8b862068f1600c","datavalue":{"value":{"entity-type":"item","numeric-id":2266117,"id":"Q2266117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099994b89860366797b24dded10624c2f09dfe40","datavalue":{"value":{"amount":"+0.91908944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$9CEA36CA-B515-4C0A-ACB3-631D6085FA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c17cc1d5435fbbf1b36e788262b61a676727bd6","datavalue":{"value":{"entity-type":"item","numeric-id":5439809,"id":"Q5439809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386e72624433e1f21fca40b5b16fff416ae55b8a","datavalue":{"value":{"amount":"+0.9187486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826473$03A53D13-BA60-473D-82EE-8CC1665FDFA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1826473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1826473"}}}}}