{"entities":{"Q662441":{"pageid":664290,"ns":120,"title":"Item:Q662441","lastrevid":63579504,"modified":"2026-04-11T14:07:44Z","type":"item","id":"Q662441","labels":{"en":{"language":"en","value":"Height pairings, exceptional zeros and Rubin's formula: the multiplicative group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6008847"}},"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":"Q662441$D38D69AD-8C46-4935-9B69-8C08B8AE1C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a317e55812896720fe3ff040621159e54bdb5497","datavalue":{"value":{"text":"Height pairings, exceptional zeros and Rubin's formula: the multiplicative group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q662441$34217396-7742-49F3-86DC-8A2A37A9D970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"597baaece2573762764e55ecc28d4a0c86c6a165","datavalue":{"value":"1246.11171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$2FDF98D6-1FC9-43FF-9DE8-EA4DF269366D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4cd34fadac885ae32d705eb54842203a0f94ecf","datavalue":{"value":"10.4171/CMH/249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$AA4719F4-ABC2-4A4D-AF8F-0D1CC4971897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b07de8a924eeb06fa62e8ae5012d7562fdf6b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":317519,"id":"Q317519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662441$CF506C4F-3926-47E5-8AE7-B694E58D34B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662441$8CA52B85-0CDA-425E-BBD0-EF75FF9AA7D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"164a811b4fdf46ae7f08d0247338084cafa3851b","datavalue":{"value":{"time":"+2012-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q662441$95E0788C-6F72-4DA2-8BF0-E3AB7B5C5C17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"814b431d17ea7443d7e3149819f0f03c23d4cca9","datavalue":{"value":"https://arxiv.org/abs/0905.4382","type":"string"},"datatype":"url"},"type":"statement","id":"Q662441$9ADD19CD-7ECD-460E-A9D4-36D9A8BB447E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"127d87873ee3fdcadc13ca2a83a312a352dd37b3","datavalue":{"value":"The author proves a formula ``\u00e0 la'' Rubin which expresses the leading coefficients of various \\(p\\)-adic \\(L\\)-functions in the presence of an exceptional zero in terms of Nekov\u00e1\u0159's \\(p\\)-adic height pairings on extended Selmer groups. Actually, Nekov\u00e1\u0159's machinery is only used in the following classical setting: fix an odd rational prime \\(p,\\) a number field \\(K\\), the ring of integers \\({\\mathcal O}\\) of a finite extension of \\({\\mathbb Q}_p\\), a non-trivial Dirichlet character \\(\\chi: G_K \\to {\\mathcal O}^\\times\\) which has order prime to \\(p\\) and satisfies \\(\\chi ({\\mathcal P}) = 1\\) for a \\(K\\)-prime \\({\\mathcal P} \\mid p\\) and \\(\\chi ({\\mathcal P}') \\neq 1\\) for all other \\({\\mathcal P}' \\mid p\\). Define \\(T = {\\mathcal O} (1) \\otimes \\chi^{-1}\\) and \\(T^\\ast = {\\mathcal O} (\\chi)\\), viewed as representations of \\(G_K\\). Then Nekov\u00e1\u0159's extended Selmer groups are \\(\\widetilde H^1_f (K, T^\\ast) \\simeq \\bigoplus_{{\\mathcal P} | p} H^0 (K_{\\mathcal P}, {\\mathcal O}(\\chi))\\) and \\(\\widetilde H^1_f (K, T) = ({\\mathcal O}_L[1/p]^\\times)^{\\chi},\\) where \\(L\\) is the field cut out by \\(\\chi.\\) Nekov\u00e1\u0159's height pairing \\(\\widetilde H^1_f (K, T) \\times \\widetilde H^1_f (K, \\widetilde T) \\to {\\mathcal O}\\) is related to the classical Poitou-Tate pairing by the formula \\(\\langle x, y \\rangle_{\\text{Nek}} = \\langle \\beta^1_\\chi (x), y \\rangle_{PT},\\) where \\(\\beta^1_\\chi: \\widetilde H^1_f (K, T) \\to \\widetilde H^2_f (K, T)\\) is the Bockstein morphism. The author studies three cases:  1) \\(K = {\\mathbb Q}\\) and \\(\\chi\\) is even: let \\(c^\\chi_1 = e_\\chi N_{{\\mathbb Q}(\\mu_f)/L} (\\xi_f - 1) \\in H^1 ({\\mathbb Q}, T)\\) be the usual ``tame \\(\\chi\\)-cyclotomic unit'' of \\(L\\) (where \\(f\\) is the conductor of \\(\\chi\\)), and let \\(z^\\chi_0 \\in H^1 ({\\mathbb Q}, T)\\) be the ``cyclotomic \\(p\\)-unit'' constructed by \\textit{D. Solomon} [Invent. Math. 109, No. 2, 329--350 (1992; Zbl 0772.11043)]. Fix an embedding \\(\\overline{\\mathbb Q} \\hookrightarrow \\overline{\\mathbb Q}_p\\) which determines a place \\(v_0\\) of \\(L\\) above \\(p.\\) The author computes \\(\\langle c^\\chi_1, \\alpha \\rangle_{\\text{Nek}}\\) to be \\(v_0 (e^\\chi_0) \\ldotp \\alpha (v_0),\\) where \\(\\alpha (v_0)\\) is the image of \\(\\alpha\\) under the composite map \\(\\widetilde H^1_f ({\\mathbb Q}, T^\\ast) \\overset{\\sim}{\\rightarrow} H^0 ({\\mathbb Q}_p, {\\mathcal O}(\\chi)) \\overset{\\sim}{\\rightarrow} \\bigl( \\bigoplus_{v | p}\\, {\\mathcal O} \\ldotp v \\bigl)^{\\chi^{-1}}\\;\\overset{pr_{\\chi^{-1}}} {\\longrightarrow}{\\mathcal O}.\\)  He deduces from this his formula ``\u00e0 la'' Rubin expressing \\(\\langle c_1^\\chi, \\alpha \\rangle_{Nek}\\) as a certain derivative \\({ d \\over ds} L_{\\xi, \\Phi} \\;\\bigl( \\rho^s_{\\text{cyc}} \\bigl) |_{s=0}.\\) Here \\(\\rho_{\\text{cyc}}\\) is the cyclotomic character; \\(\\xi = \\{ \\xi_n \\} \\in \\lim_\\leftarrow H^1 ({\\mathbb Q}_n, T)\\) is the collection of ``wild \\(\\chi\\)-cyclotomic units'' defined by \\(\\xi_n = N_{{\\mathbb Q}(\\mu_p f_n)/L_n} (\\xi_{p f_n} - 1)\\) \\((L_n = L\\;{\\mathbb Q}_n\\) and \\(f_n\\) is its conductor); the definition of the ``\\(p\\)-adic \\(L\\)-function'' \\(L_{\\xi, \\Phi},\\) being too technical to be recalled we'll be content to state that, via Coleman's theory for an appropriate \\(\\alpha,\\) the author can associate to \\(\\alpha (v_0)\\) an element \\(\\text{col}^\\chi_0 \\in \\widetilde H^1_f ({\\mathbb Q}, T^\\ast)\\) such that the above formula takes a more familiar form: \\(\\langle c^\\chi_1, \\text{col}^\\chi_0 \\rangle_{\\text{Nek}} = \\widetilde L'_p (1, \\chi),\\) where \\(\\widetilde L_p (s, \\chi)\\) is the ``imprimitive \\(p\\)-adic \\(L\\)-function'' defined by \\(\\widetilde L_p (s, \\chi) = \\rho_{\\text{cyc}}^{1-s} (\\widetilde {\\mathcal L}_\\chi),\\) \\(\\widetilde {\\mathcal L}_\\chi = { \\gamma - 1 \\over {{1 \\over p} \\log_p \\rho_{\\text{cyc}}(\\gamma)}} {\\mathcal L}_\\chi\\) (where \\(\\gamma\\) is a topological generator of \\(G({\\mathbb Q}_\\infty / {\\mathbb Q})),\\) \\(L_p (s, \\chi) = \\rho^{1-s}_{\\text{cyc}} ({\\mathcal L}_\\chi)\\).   2) \\(K = {\\mathbb Q}\\) and \\(\\chi\\) is odd: take a prime \\({\\mathcal P}\\) of \\(L\\) above \\(p\\) and fix an embedding \\(\\iota_{\\mathcal P}: L \\hookrightarrow L_{\\mathcal P} = {\\mathbb Q}_p.\\) Take a generator \\(z \\in \\bigl( {\\mathcal O}_L [1/p]^\\chi \\bigl)^\\times = \\widetilde H^1_f ({\\mathbb Q}, T)\\) of \\(e_\\chi \\;{\\mathcal P}^h,\\) where \\(h\\) is the class number of \\(L\\). For \\(z_0 = {1 \\over h} \\ldotp z,\\) Greenberg's invariant is defined by \\({\\mathcal L} = log_p\\;\\iota_{\\mathcal P} (z_0) \\in \\text{Frac} ({\\mathcal O}).\\) The author proves a formula ``\u00e0 la'' Rubin along the same lines as in case 1): \\(\\langle z, \\chi (\\theta_f) \\rangle_{Nek} = - {\\mathcal L} \\ldotp L(0, \\chi^{-1}),\\) where \\(\\theta_f\\) is the ``tame Stickelberger element'' which satisfies \\(\\chi (\\theta_f) = B_{1, \\chi^{-1}}\\). Note that by Ferrero-Greenberg and Gross-Koblitz, \\(- {\\mathcal L} \\ldotp L (0, \\chi^{-1}) = {d \\over ds} \\;L_p (s, \\chi^{-1} \\omega) |_{s=0}.\\)   3) \\(K\\) is an imaginary quadratic field in which \\(p\\) splits: \\(p = {\\mathcal P} {\\mathcal P}^\\ast, {\\mathcal P} \\not= {\\mathcal P}^\\ast\\). For any Dirichlet character \\(\\chi\\) of \\(G_K\\) of order prime to \\(p,\\) such that \\(\\chi ({\\mathcal P}) = 1,\\) the author states that, replacing cyclotomic units by elliptic units, and the results of D. Solomon op. cit. by that of \\textit{W. Bley} [J. Reine Angew. Math. 577, 117--146 (2004; Zbl 1056.11035)], he can prove a formula analogous to case 1), namely: \\(\\langle \\varepsilon^\\chi_1, \\;\\text{col}^\\chi_0 \\rangle_{\\text{Nek}} = \\widetilde {\\mathcal L}'_p (1, \\chi),\\) where \\(\\varepsilon_1\\) is the (tame) elliptic unit introduced by Bley op. cit. and \\(\\varepsilon_1^\\chi\\) its \\(\\chi\\)-part; \\(\\text{col}_0^\\chi \\in \\widetilde H^1_f (K, T^\\ast)\\) is obtained via Coleman's theory as in case 1); \\(\\widetilde {\\mathcal L}_p (s, \\chi) = { \\rho^{1-s}_{\\text{cyc}} (\\gamma) - 1 \\over {1 \\over p}\\log_p \\;\\rho_{\\text{cyc}} (\\gamma)} \\ldotp {\\mathcal L}_p (s, \\chi)\\) is the imprimitive (one-variable) Katz \\(p\\)-adic \\(L\\)-function, where \\({\\mathcal L}_p (s, \\chi)\\) is the restriction of the two-variable \\(p\\)-adic \\(L\\)-function to \\(\\Gamma = \\text{Gal} (K_\\infty/K),\\) \\(K_\\infty\\) denoting the unique \\({\\mathbb Z}_p\\)-extension of \\(K\\) which is unramified outside \\({\\mathcal P}.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q662441$EBB19EB3-D32B-4A0B-92A0-E92D0664A698","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9512322dd8e6451ec8a7602e1f69fe734f9346ce","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662441$A2E966ED-D478-4E52-A194-4672FA5E454A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$787BDE5B-2583-42E8-AF6E-E05113F9594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$6A9F5382-41E2-4D92-9998-0FFD89918ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$8AA85F73-4E01-482C-9FAB-CE4480FE552F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19195c396c32e2a6f67bba1a0c5f396a98b7d66c","datavalue":{"value":"6008847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662441$E0608C19-9DFE-41CA-B34D-F9B332A078E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c38d3ab0c61a10fdfb2621a86a8935b3751dfd","datavalue":{"value":"height pairings","type":"string"},"datatype":"string"},"type":"statement","id":"Q662441$B03A62C2-D857-43EC-A71F-AAC1E109D820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43015ccf01309ada99f6221bf7dad7fa63b5083","datavalue":{"value":"cyclotomic units","type":"string"},"datatype":"string"},"type":"statement","id":"Q662441$96B0B4D5-A016-4456-A488-DB25FBCA4844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ceaf469c491f3481b7d625a595c4de89ea549d","datavalue":{"value":"\\(p\\)-adic \\(L\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q662441$1D421430-67B3-4D7D-B8B9-0FD0997DCD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c684bdc750d2b5e00af5914ab6e64f603890c2eb","datavalue":{"value":"exceptional zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q662441$1D0A52D4-2599-47D1-A396-3B6863ECD3F1","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":"Q662441$48F28AE9-ECCE-4290-B4D1-2D61C749B550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d792465291be994d321bf4265fce8900d3f29aa","datavalue":{"value":{"entity-type":"item","numeric-id":532536,"id":"Q532536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038b7ba5e3f1ae6d775c4f84bef9c24b72a48a24","datavalue":{"value":{"amount":"+0.8127902746200562","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":"Q662441$1F414170-9051-4572-B8CF-813EAD0C81D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44f1d5b9df1e615a82dbb3933b36091afd4b59e","datavalue":{"value":{"entity-type":"item","numeric-id":5434667,"id":"Q5434667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9470f2dec8d5b3ec50bbe762a4738ffb27001d27","datavalue":{"value":{"amount":"+0.8121277093887329","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":"Q662441$098A8C6E-C9F1-40A5-887D-F6D533644980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a52533e9b0119b6c40177f937de733d506fab","datavalue":{"value":{"entity-type":"item","numeric-id":4560414,"id":"Q4560414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f092f0f96b140e706373a7c0a6655f188b9b42cc","datavalue":{"value":{"amount":"+0.8095287084579468","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":"Q662441$CB0F10F5-C2D9-47B3-9D69-980F41C84778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb55de6810f1a650ba9111483b924af12da80f8","datavalue":{"value":{"entity-type":"item","numeric-id":1061805,"id":"Q1061805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4750c3e707131a1db20ec50fa0a5673a6b44e112","datavalue":{"value":{"amount":"+0.8040873408317566","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":"Q662441$1EDB220E-3485-497A-9231-0CD19FD8A24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91f7e736864fb82923b02c0fab15e2bc37a0773","datavalue":{"value":{"entity-type":"item","numeric-id":4652720,"id":"Q4652720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3404d3769e0a706f3f4c50b14481be8b3ac8b249","datavalue":{"value":{"amount":"+0.784239649772644","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":"Q662441$585B6E61-EC3A-4A84-B1C7-DC1D92FC73A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Height pairings, exceptional zeros and Rubin's formula: the multiplicative group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Height_pairings,_exceptional_zeros_and_Rubin%27s_formula:_the_multiplicative_group"}}}}}