{"entities":{"Q1130211":{"pageid":1140960,"ns":120,"title":"Item:Q1130211","lastrevid":46879695,"modified":"2025-12-25T18:52:38Z","type":"item","id":"Q1130211","labels":{"en":{"language":"en","value":"A rigid analytic Gross-Zagier formula and arithmetic applications. (With an appendix by B. Edixhoven)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192352"}},"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":"Q1130211$C9B4A2A7-94E3-4338-B9CB-6DDB903D490F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9f7c5a3843217344d874f2fe5cf7deb8bf974f","datavalue":{"value":{"text":"A rigid analytic Gross-Zagier formula and arithmetic applications. (With an appendix by B. Edixhoven)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1130211$1B2B1E5E-D95B-4985-97B3-7CDEA3E4BDD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3f214cffd4515d545d2c87ff0e02d9b26d9436e","datavalue":{"value":"1029.11027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$BC731991-78E0-47DA-B943-6983EC456323","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d78e5a183d2ea81813f0633c4bced42476620576","datavalue":{"value":"10.2307/2951833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$BAB1028B-5E1B-452C-AE79-299FA4317ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16137d259caee1b811156a641a7023100af52112","datavalue":{"value":{"entity-type":"item","numeric-id":627058,"id":"Q627058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130211$AD774F41-4C7B-4021-B48B-E36CEB70A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f8fa2e7eec84cd24e25d22e40bf57d1bfb2fb94","datavalue":{"value":{"entity-type":"item","numeric-id":241571,"id":"Q241571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130211$D9C28D1C-A857-4C38-B76E-7C2A3A5EBAD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130211$8D976C78-0DC9-497B-9A3A-7CC7CADA81D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04308aed0d348814abb526d3ddeaf64fb167d343","datavalue":{"value":{"time":"+1998-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1130211$A363AB8F-5F06-46DB-9418-B10562333565","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31c7f2b7fd9a339763d85c1a1725ae1e7853fd70","datavalue":{"value":"Let \\(f\\) be a newform of weight 2 and squarefree level \\(N\\). Its Fourier coefficients generate a ring \\({\\mathcal O}_f\\) whose fraction field \\(K_f\\) has finite degree over \\(\\mathbb{Q}\\). Fix an imaginary quadratic field \\(K\\) of discriminant prime to \\(N\\), corresponding to a Dirichlet character \\(\\varepsilon\\). The \\(L\\)-series \\(L(f/K,s)= L(f,s) L(f\\otimes \\varepsilon,s)\\) of \\(f\\) over \\(K\\) has an analytic continuation to the whole complex plane and a functional equation relating \\(L(f/K,s)\\) to \\(L(f/K,2-s)\\). Assume that the sign of this functional equation is 1, so that \\(L(f/K,s)\\) vanishes to even order at \\(s=1\\). This is equivalent to saying that the number of prime factors of \\(N\\) which are inert in \\(K\\) is odd. Fix any such prime, say \\(p\\).    The field \\(K\\) determines a factorization \\(N= N^+N^-\\) of \\(N\\) by taking \\(N^+\\), resp. \\(N^-\\) to be the product of all the prime factors of \\(N\\) which are split, resp. inert in \\(K\\). Given a ring-class field extension \\(H\\) of \\(K\\) of conductor \\(c\\) prime to \\(N\\), write \\(H_n\\) for the ring-class field of conductor \\(cp^n\\).    Let \\(J\\) be the Jacobian of \\(X\\), \\({\\mathcal J}_n\\) the N\u00e9ron model of \\(J\\) over \\(H_n\\), and \\(\\Phi_n\\) the group of connected components at \\(p\\) of \\({\\mathcal J}_n\\). More precisely, \\(\\Phi_n:= \\bigoplus_{{\\mathfrak p}\\mid p}\\Phi_{\\mathfrak p}\\), where \\(\\Phi_{\\mathfrak p}\\) is the group of connected components of the fiber at \\({\\mathfrak p}\\) of \\({\\mathcal J}_n\\) and the sum is extended over all primes \\({\\mathfrak p}\\) of \\(H_n\\) above \\(p\\). Define a Heegner divisor \\(\\alpha_n:= (P_n)- (w_NP_n)\\), where \\(w_N\\) is the Atkin-Lehner involution denoted \\(w_{N^+p, N^-/p}\\). We view \\(\\alpha_n\\) as an element of \\({\\mathcal J}_n\\), and let \\(\\overline{\\alpha}_n\\) be its natural image in \\(\\Phi_n\\). We have found that the position of \\(\\overline{\\alpha}_n\\) in \\(\\Phi_n\\) is encoded in the special values of the \\(L\\)-functions attached to cusp forms of weight 2 on \\(X\\) twisted by characters \\(\\chi\\) of \\(\\Delta:= \\text{Gal} (H/K)\\).    More precisely, observe that the Galois group \\(\\text{Gal} (H_n/K)\\) acts on \\(J(H_n)\\) and on \\({\\mathcal J}_n\\). Since the primes above \\(p\\) are totally ramified in \\(H_n/H\\), the induced action on \\(\\Phi_n\\) factors through \\(\\Delta\\). Define \\(e_\\chi:= \\sum_{g\\in\\Delta} \\chi^{-1}(g) g\\in \\mathbb{Z}[\\chi] [\\Delta]\\), and let \\(\\overline{\\alpha}_n^\\chi:= e_\\chi \\overline{\\alpha}_n\\). The ring \\(\\mathbb{T}\\) generated over \\(\\mathbb{Z}\\) by the Hecke correspondences on \\(X\\) acts in a compatible way on \\(J(H_n)\\), \\({\\mathcal J}_n\\) and \\(\\Phi_n\\). Write \\(\\varphi_f: \\mathbb{T}\\rightarrow{\\mathcal O}_f\\) for the homomorphism associated to \\(f\\) by the Jacquet-Langlands correspondence, and let \\(\\pi_f\\in \\mathbb{T}\\otimes K_f\\) be the idempotent corresponding to \\(\\varphi_f\\). Fix \\(n_f\\in{\\mathcal O}_f\\) so that \\(\\eta_f:= n_f\\pi_f\\) belongs to \\(\\mathbb{T}\\otimes{\\mathcal O}_f\\), and define \\(\\overline{\\alpha}_n^{f,\\chi}:= \\eta_f \\overline{\\alpha}_n^\\chi\\).    The group \\(\\Phi_n\\) is equipped with a canonical monodromy pairing \\([\\;,\\;]_n: \\Phi_n\\times \\Phi_n\\rightarrow \\mathbb{Q}/\\mathbb{Z}\\), which we extend to a Hermitian pairing on \\(\\Phi_n\\otimes{\\mathcal O}_f[\\chi]\\) with values in \\(K_f[\\chi]/ {\\mathcal O}_f[\\chi]\\), denoted in the same way by abuse of notation. Our main result is:    Theorem A. Suppose that \\(\\chi\\) is a primitive character of \\(\\Delta\\). Then  \\[ [\\overline{\\alpha}_n^\\chi, \\overline{\\alpha}_n^{f,\\chi}]_n= \\frac{1}{e_n} \\frac{L(f/K,\\chi,1)} {(f,f)} \\sqrt{d}\\cdot u^2\\cdot n_f\\pmod {{\\mathcal O}_f[\\chi]}, \\]  where \\((f,f)\\) is the Petersson scalar product of \\(f\\) with itself, and \\(d\\) denotes the discriminant of \\({\\mathcal O}\\).    The proof is based on Grothendieck's description of \\(\\Phi_n\\), on the work of Edixhoven on the specialization map from \\({\\mathcal J}_n\\) to \\(\\Phi_n\\) given in the appendix of this paper, and on a slight generalization of Gross' formula for special values of \\(L\\)-series (which we assume in this paper and which will be contained in [\\textit{H. Daghigh}, Ph.D. thesis]). Theorem A can be viewed as a \\(p\\)-adic analytic analogue of the Gross-Zagier formula, and it was suggested by the conjectures of Mazur-Tate-Teitelbaum type formulated in [\\textit{M. Bertolini} and \\textit{H. Darmon}, Invent. Math. 126, 413-456 (1996; Zbl 0882.11034)]. It is considerably simpler to prove than the Gross-Zagier formula, as it involves neither derivatives of \\(L\\)-series nor global heights of Heegner points.    The above formula has a number of arithmetic applications. Let \\(A_f\\) be the Abelian variety quotient of \\(J\\) associated to \\(\\varphi_f\\) by the Eichler-Shimura construction. Following the methods of Kolyvagin, we can use the Heegner points \\(\\alpha_n\\) to construct certain cohomology classes in \\(H^1(H, (A_f)_{e_n})\\), whose local behaviour is related via Theorem A to \\(L(A_f/K,\\chi,1)= \\prod_\\sigma L(f^\\sigma/ K,\\chi,1)\\), where \\(\\sigma\\) ranges over the set of embeddings of \\(K_f\\) in \\(\\overline{\\mathbb{Q}}\\). This can be used to study the structure of the \\(\\chi\\)-isotypical component \\(A_f(H)^\\chi:= e_\\chi A_f(H)\\subset A_f(H)\\otimes \\mathbb{Z}[\\chi]\\) of the Mordell-Weil group \\(A_f(H)\\). In particular, we show:    Theorem B. If \\(L(A_f/K,\\chi,1)\\) is nonzero, then \\(A_f(H)^\\chi\\) is finite.    When \\(\\chi= \\overline{\\chi}\\), this result also follows from the work of Gross-Zagier and Kolyvagin-Logachev, but if \\(\\chi\\) is nonquadratic the previous techniques cannot be used to study these questions.   Theorem B allows us to control the growth of Mordell-Weil groups over anticyclotomic \\(\\mathbb{Z}_\\ell\\)-extensions, addressing a conjecture of Mazur. Let \\(f\\) and \\(K\\) be as at the beginning of this section. Let \\(\\ell_1,\\dots, \\ell_k\\) be primes not dividing \\(N\\), and let \\(K_\\infty\\) denote the compositum of all the ring-class field extensions of \\(K\\) of conductor of the form \\(\\ell_1^{n_1}\\dots \\ell_k^{n_k}\\), where \\(n_1,\\dots, n_k\\) are nonnegative integers. Thus, the Galois group of \\(K_\\infty/K\\) is isomorphic to the product of a finite group by \\(\\mathbb{Z}_{\\ell_1}\\times \\cdots\\times \\mathbb{Z}_{\\ell_k}\\).    Theorems A and B provide a technique to study ``analytic rank-zero situations'' in terms of Heegner points of conductor divisible by powers of a prime \\(p\\) of multiplicative reduction for \\(A_f\\) and inert in \\(K\\). What makes this possible, ultimately, is a ``change of signs'' phenomenon: If \\(L(f/K,s)\\) vanishes to even order, and \\(\\chi\\) is an anticyclotomic character of conductor \\(cp^n\\) with \\(c\\) prime to \\(N\\), then \\(L(f/K,\\chi,s)\\) vanishes to odd order, and there are Heegner points on \\(A_f\\) defined over the extension cut out by \\(\\chi\\). The previous applications of the theory of Heegner points, such as the analytic formula of Gross-Zagier and the methods of Kolyvagin, occur in situations where \\(L(f/K,s)\\) and \\(L(f/K,\\chi,s)\\) both vanish to odd order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$2C93B5C5-7ABE-48EB-8853-5B32BB0040A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3629f9b58c1c86062c61ff85f3263e580bc52bf7","datavalue":{"value":{"entity-type":"item","numeric-id":586708,"id":"Q586708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130211$A5B658DF-835D-4527-9B5A-0D029F212820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"12add067dadf8efef9ce7683390c7189d9a84d92","datavalue":{"value":"11G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$09AD9427-AFE0-456F-969D-EA3D44D29D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec2a1ad081a3ba2fe380edd17a1b82912f210d27","datavalue":{"value":"11F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$655E275D-71A3-4D7A-911C-8207A8207A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6342f7540f2d6c9f09d6f374effba1a94f0fde59","datavalue":{"value":"1192352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$872A19B2-E658-4593-A822-65CE55EB52BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04358f932784ce6ba7cedc750e5c8be100fee796","datavalue":{"value":"Gross' formula for special values of \\(L\\)-series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$27101344-C63F-4CD3-8A35-C6E27B90394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c16aac0d94f949c79b84be711e901e31e976c96","datavalue":{"value":"bad reduction of Shimura curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$2F616BD4-526D-42D6-B893-0A9410B6D7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d89265541a95828ec07562c58d2236e57fe6f4","datavalue":{"value":"Heegner points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$7A598CD2-C643-4F23-AD90-6B05CDD48E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d580cc40bff7b5b5d5b8a789cb7dbd7ac1e720","datavalue":{"value":"connected components","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$5691A996-FC9C-4883-B325-B22F68FD9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5737e3e4853f24575b579cda1a4bd43f0f38312d","datavalue":{"value":"rigid analytic Gross-Zagier formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$C9EEECC4-0067-4CD3-9EAF-3B386EC42507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72cd14c0149b970a69eb9aeae9797493d49f4432","datavalue":{"value":"Kolyvagin cohomology classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$E89AFCFE-F50B-4836-80A2-01651A70992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e96dbfb4d717e6cf1d134aaf13f29e6dfe0dbe","datavalue":{"value":"bounding Mordell-Weil groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$24521B8C-58C2-4692-9EA1-488DBFBA6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6fdeede4a57464ee30c53d2d817f04fd623c2a","datavalue":{"value":"anticyclotomic towers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130211$28038BBA-42B3-4F90-B285-80A58CC75F8B","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":"Q1130211$4D95BB29-695C-42DC-8179-DBEBF46BDDB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"667c0bfe481cbce86f7dca330f3349d2b2aef3f3","datavalue":{"value":"https://doi.org/10.2307/2951833","type":"string"},"datatype":"url"},"type":"statement","id":"Q1130211$F38CF4A2-50B1-4E8A-9EAA-C42194743D7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b8507f93c224d412b99a5502488c08c0ce41534","datavalue":{"value":"W2329367686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130211$05846F47-E7D7-471E-8C28-89B33D860948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec343d0554cf48baa5064ec4c0d3bff77e4bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":700496,"id":"Q700496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f562db6520da89fc820160f019be0d2a0edf73c8","datavalue":{"value":{"amount":"+0.864262044429779","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":"Q1130211$6B12EB95-FE39-40AF-9C2D-E4FFB47D465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786162b7be785ad7962277da60319d8dd68a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1103012,"id":"Q1103012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df54dadfbe865bf65aca065e1e033bced2839b3c","datavalue":{"value":{"amount":"+0.8362820744514465","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":"Q1130211$BB50A725-EF6C-4612-9731-26CC8A5AA9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6cf683f5e0f9d0032dfd97729b998037871402","datavalue":{"value":{"entity-type":"item","numeric-id":1086308,"id":"Q1086308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555ca80b0ea809a19e72606851a2f990859284dc","datavalue":{"value":{"amount":"+0.8295895457267761","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":"Q1130211$0213AAD3-97FA-4855-A670-77A83F4F908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0002454eaf88964f3bff3029149aa96e08556b68","datavalue":{"value":{"entity-type":"item","numeric-id":5369308,"id":"Q5369308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806689e93642897d88e9adb863214b88c4d2910d","datavalue":{"value":{"amount":"+0.8253677487373352","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":"Q1130211$253B7519-3138-42CC-AD8C-1A66310B2D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1130211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1130211"}}}}}