{"entities":{"Q2883847":{"pageid":2894572,"ns":120,"title":"Item:Q2883847","lastrevid":58047120,"modified":"2026-04-03T14:29:31Z","type":"item","id":"Q2883847","labels":{"en":{"language":"en","value":"Concentration theorem and relative fixed point formula of Lefschetz type in Arakelov geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034178"}},"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":"Q2883847$8BC87735-51CB-45DD-9108-51C759074F8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c72832be9bad327cb8d9ae53787577bd36d0e432","datavalue":{"value":{"text":"Concentration theorem and relative fixed point formula of Lefschetz type in Arakelov geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883847$FF65F344-EC03-47A9-966A-ED1DBC377EEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f0e62d53e634f1f5addefb767321a763e14a67","datavalue":{"value":"1314.14049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$02A6D33A-DB77-4475-96E6-AF73623C9689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2150ca4ed9616758502a38652f7d021d1fa255b4","datavalue":{"value":"10.1515/CRELLE.2011.118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$787B7FFD-4A13-4608-8E33-A16A6C707C3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd639f30f3542e728657737ff6c4d055d7e12adc","datavalue":{"value":{"entity-type":"item","numeric-id":470879,"id":"Q470879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$A409BCCE-78A1-44D7-AB01-6DEC9230DBFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43d88f7d78ed551eaafdba0e8b65f63e3ea90e6c","datavalue":{"value":{"time":"+2012-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883847$BABE3612-02E5-42CF-9662-5B0EAD0B6763","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b07965f231a9b5353d80bca1e83328d3e7ab53","datavalue":{"value":"https://arxiv.org/abs/1002.1903","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883847$7393DFD7-18EE-436A-BE94-914881554D04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$E52A1380-6513-4C5D-8A99-93A40F8A2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0de07df041448f087b0052398b7d304d4d46469","datavalue":{"value":"19E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$B53D75E4-6842-43F2-9AD0-A2632C00D15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6dd31f6535721e733e805c12cf8dc43cd8eaaf74","datavalue":{"value":"19L47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$481498B5-CA08-4068-B66E-44E45C772E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ac59af4e593e9e83b9ebacf300ae46cf5de7708","datavalue":{"value":"6034178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883847$7B83F648-C8F0-4DF8-B702-E0BE2A2F2304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7116ea052c09134059f0d5c0548449408a7cc5d","datavalue":{"value":"concentration theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$0389FBD3-CA9A-4987-9EEA-BA2468A17F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26bd4e6fef430f3ebc9af223a4c852835532bcfa","datavalue":{"value":"arithmetic \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$90ADD10B-A7CD-4321-B88D-855759349B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1c64305569fdb795bf14ac26a0f8a81aed99a4","datavalue":{"value":"equivariant \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$B87F2422-DD4B-4AE1-BF6B-171183F5880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0f89e624400850d09b1308bffb026f776bc1b8","datavalue":{"value":"equivariant arithmetic variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$8C2414C3-FC63-4F67-90EB-F4D484413E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8702b0f2cb05e29d73027fa20f6436471f9cdecb","datavalue":{"value":"fixed point formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$AD4D660E-11CE-43C4-A7FA-7926EF1B32C6","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":"Q2883847$A0A9156C-F4B4-47A7-9D15-E10551430641","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b811500607cc26a8e1d2544ca0a90cfe686097","datavalue":{"value":{"entity-type":"item","numeric-id":1149485,"id":"Q1149485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$DD7F9150-F150-4966-AE7A-703518AD4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de69a1b08f88095e1c1a5c6cae5d18c3a57ac5f9","datavalue":{"value":{"entity-type":"item","numeric-id":910774,"id":"Q910774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$BCE41332-48E4-46B5-A7DA-4849385D5339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa976680c17812bf30ea3eac63a5e772fb8d0b45","datavalue":{"value":{"entity-type":"item","numeric-id":1106369,"id":"Q1106369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$0C52C881-AC4A-448B-9C62-237DAC6988D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35da27114bf8e86c175eed5b31e9da0e910bac30","datavalue":{"value":{"entity-type":"item","numeric-id":911112,"id":"Q911112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$5FB1596E-AA56-4B78-BDA2-1AC2ADCC0438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ae84442d8b95f908054ca81f95a3ff5286a9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1173676,"id":"Q1173676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$822340D7-490B-4EE1-B283-DA69DB27C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3d71fe5955fab2238811208a55ce3f621a1c44","datavalue":{"value":{"entity-type":"item","numeric-id":1974880,"id":"Q1974880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$C8C5DFDF-3564-4AE7-A8E7-EDE96FD6E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b89079ce92f3487c1d386372ef212af936b744b","datavalue":{"value":{"entity-type":"item","numeric-id":1210413,"id":"Q1210413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$BD5AC4DE-EF7F-4D15-BB57-A1C58E37BDB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$2BDD2D54-2F3E-4C6E-9247-D02FF3B3DA99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8aef83816f5e64bb2f7a4c6d545ec9ddaa2d9b70","datavalue":{"value":"In this paper, the author proves a concentration theorem for arithmetic \\(K_0\\)-theory, which can be viewed as an arithmetic analogue of a result of \\textit{R. W. Thomason} [Duke Math. J. 68, No. 3, 447--462 (1992; Zbl 0813.19002)]. This result is then applied to give a simpler proof of a relative fixed point theorem of Lefschetz type in Arakelov geometry, originally due to \\textit{K. K\u00f6hler} and \\textit{D. Roessler} [Invent. Math. 145, No. 2, 333--396 (2001; Zbl 0999.14002)], and to \\textit{J. M. Bismut} and \\textit{X. Ma} [J. Reine Angew. Math. 575, 189--235 (2004; Zbl 1063.58019)].NEWLINENEWLINELet \\(D\\) be an arithmetic ring (e.g., \\(\\mathbb Z\\)), and let \\(\\mu_n\\) be the group scheme over \\(D\\) of \\(n\\)-th roots of unity. Let \\(X\\) be a \\(\\mu_n\\)-equivariant arithmetic variety (for details of these definitions see Section 3 of the paper). Choose a K\u00e4hler metric on \\(X(\\mathbb C)\\), and let it induce a K\u00e4hler metric on \\(X_{\\mu_n}(\\mathbb C)\\) and (by a quotient metric) a metric on the normal bundle \\(N_{X/X_{\\mu_n}}\\).NEWLINENEWLINEThe concentration theorem asserts that there is a well-defined embedding morphism \\(i_{*}:\\widehat K_0(X_{\\mu_n},\\mu_n)\\to \\widehat K_0(X,\\mu_n)\\), and that this is a group isomorphism with inverse \\(\\lambda_{-1}^{-1}(\\overline N^\\vee_{X/X_{\\mu_n}})\\cdot i^{*}\\).NEWLINENEWLINEThe fixed point theorem can be described as follows. Let \\(f: X\\to Y\\) be an equivariant morphism of \\(\\mu_n\\)-equivariant arithmetic varieties. Assume also that \\(f\\) is flat and smooth over \\(\\mathbb C\\), and that the fiber product \\(f^{-1}(Y_{\\mu_n})\\) is regular. (The latter condition was not required by K\u00f6hler and Roessler, but does not affect the applications considered by the author.)NEWLINENEWLINEThe chosen K\u00e4hler metric on \\(X(\\mathbb C)\\) gives a short exact sequence NEWLINE\\[CARRIAGE_RETURNNEWLINE\\overline{\\mathcal N} : 0 \\longrightarrow \\overline N_{f^{-1}(Y_{\\mu_n})/X_{\\mu_n}} \\longrightarrow \\overline N_{X/X_{\\mu_n}} \\longrightarrow \\overline N_{Y/Y_{\\mu_n}} \\longrightarrow 0CARRIAGE_RETURNNEWLINE\\]NEWLINE of metrized line bundles (whose metrics are defined as quotient metrics). Define NEWLINE\\[CARRIAGE_RETURNNEWLINE\\begin{split} M(f) &= (\\lambda_{-1}^{-1}(\\overline N^\\vee_{X/X_{\\mu_n}}) \\lambda_{-1}(f^{*}\\overline N^\\vee_{Y/Y_{\\mu_n}}) + \\widetilde{\\text{Td}}_g(\\overline{\\mathcal N}) \\text{Td}_g^{-1}(f^{*}\\overline N_{Y/Y_{\\mu_n}})) \\\\ &\\qquad \\cdot (1 - R_g(N_{X/X_{\\mu_n}}) + R_g(f^{*}N_{Y/Y_{\\mu_n}}))\\;. \\end{split}CARRIAGE_RETURNNEWLINE\\]NEWLINENEWLINENEWLINEFinally, let \\(p\\) be the unique prime ideal in \\(R(\\mu_n):=K_0(D)[\\mathbb Z/n\\mathbb Z]\\cong K_0(D)[T]/(1-T^n)\\) whose intersection with \\(\\mathbb Z[T]/(1-T^n)\\) is the kernel of the canonical morphism \\(\\mathbb Z[T]/(1-T^n)\\to \\mathbb Z[T]/(\\Phi_n)\\), where \\(\\Phi_n\\) is the \\(n\\)-th cyclotomic polynomial.NEWLINENEWLINEThen the relative fixed point formula asserts that the diagram NEWLINE\\[CARRIAGE_RETURNNEWLINE\\begin{tikzcd} \\widehat K_0(X,\\mu_n) \\rar[\"M(f)\\cdot\\tau\"]\\dar[\"f_\\ast\"'] & \\widehat K_0(X_{\\mu_n},\\mu_n)_p \\dar[\"f_{\\mu_n\\ast}\"] \\\\ \\widehat K_0(Y,\\mu_n) \\rar[\"\\tau\" '] & \\widehat K_0(Y_{\\mu_n},\\mu_n)_p \\end{tikzcd}CARRIAGE_RETURNNEWLINE\\]NEWLINE commutes, where \\(\\tau\\) stands for the restriction map.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883847$7B5558DC-51D0-4D2E-A900-63FFF0D0E9DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d9dbd98317dc1a369868cb5143918eec93f8bb1","datavalue":{"value":{"entity-type":"item","numeric-id":588415,"id":"Q588415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883847$D93CDD07-482B-4B63-B23B-44C2F2792F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31db7b01403bfc87392af4bf44f93db9f05be1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4219667,"id":"Q4219667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397802859aa65cfb7d34e07d94123f5fc43c9d0d","datavalue":{"value":{"amount":"+0.8243350386619568","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":"Q2883847$AA600DD7-3363-4899-A1FA-028D7F433678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5e053a9c695125bcb60b3556d1158a31d6261","datavalue":{"value":{"entity-type":"item","numeric-id":667614,"id":"Q667614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d2d28ca804c3c3d885ff84d1f5fe0378bad474","datavalue":{"value":{"amount":"+0.8158331513404846","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":"Q2883847$CE37E3A4-29D2-428A-8D07-B0760EE5DEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca0a5770f2268a908975a026e8683a6a1bf06ef","datavalue":{"value":{"entity-type":"item","numeric-id":621423,"id":"Q621423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4864036289f48e7d0a8e131da6549f89b01fa401","datavalue":{"value":{"amount":"+0.8031489253044128","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":"Q2883847$5B975C80-0ED0-4C95-9370-DF79B9D8F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed95608a6a0774721ee912071574fa6ae2d9f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4803564,"id":"Q4803564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46a9db7cee5f3af0bff37c7ac7d2f554c4a912e","datavalue":{"value":{"amount":"+0.7989792227745056","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":"Q2883847$4FD27425-B0CC-453A-AD9A-1EF07615A512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883847"}}}}}