{"entities":{"Q1813315":{"pageid":1824057,"ns":120,"title":"Item:Q1813315","lastrevid":71338515,"modified":"2026-04-13T21:34:26Z","type":"item","id":"Q1813315","labels":{"en":{"language":"en","value":"Formal groups and \\(L\\)-series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6016"}},"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":"Q1813315$9314CD7A-AF2D-48A5-8EB3-284798665680","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f731cac0776a9419861cb139376ed55e7ba6577a","datavalue":{"value":{"text":"Formal groups and \\(L\\)-series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813315$B29E3D8B-7008-4657-8136-C602D2DB860E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa918085af0240c7d3a592b1b63fa1e223334061","datavalue":{"value":"0741.14026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$043FA237-E3D1-41EC-B48A-E38DB4C6EF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d00e3e6b8daea9c5c5d75276adf4aa9648cd6434","datavalue":{"value":"10.1007/BF02566610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$C5E8314B-01D9-4C22-871F-F678E0DF123D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"364b464f260af29e63b85c385aae3646c8030c2b","datavalue":{"value":{"entity-type":"item","numeric-id":167173,"id":"Q167173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813315$7088D71B-91EC-4790-93D3-38F2C49AC2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cfac2e69d26f64ad1fe09d32e0d9b6680616d4d","datavalue":{"value":{"entity-type":"item","numeric-id":591450,"id":"Q591450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813315$5CB964E4-7D83-401A-9DE3-77A752DC0081","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":"Q1813315$2316C1D8-8D5B-4244-A719-9816DBA2DB6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813315$E9A57C25-8401-4A8C-9FAD-EBF7D56310DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a06e3ca921588ea5aa307e4060873d111ee9e5d","datavalue":{"value":"https://eudml.org/doc/140198","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813315$C5F007B5-850A-44DF-B3FD-6C7BCB80E987","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d98af1b5fd1507d8d90fd18c86fa11f29ec4c078","datavalue":{"value":"Two theorems on formal groups arising from matrix-valued Dirichlet series and their relation to the formal completions of the N\u00e9ron models along the zero section of certain commutative group varieties are proved. A theorem of \\textit{T. Honda} [Osaka J. Math. 5, 199--213 (1968; Zbl 0169.37601)] that the \\(L\\)-series \\(L(\\chi,s)\\) associated to the Dirichlet character \\(\\chi\\) of a quadratic extension \\(K/\\mathbb{Q}\\) with discriminant \\(d_ K\\) gives rise to a formal group over \\(\\mathbb{Z}\\) which becomes strongly isomorphic to \\(x+y+\\sqrt{d_ K}xy\\) over the ring \\({\\mathfrak O}_ K\\) of integers of \\(K\\) is generalized to abelian tori of higher dimension. A theorem of Honda and Cartier [the same paper of Honda as above, and \\textit{P. Cartier} in Actes Congr. Int. Math. 1970, No. 2, 291--299 (1971; Zbl 0298.14013)] that the formal group associated to the \\(L\\)-series of an elliptic curve \\(E\\) over \\(\\mathbb{Q}\\) is isomorphic to the formal completion of the group law of the N\u00e9ron model \\({\\mathcal E}\\) of \\(E\\) along its zero section is generalized to abelian varieties over \\(\\mathbb{Q}\\) with real multiplication. In more precise terms, two theorems are formulated as follows:   Theorem 1. Let \\(T\\) be an algebraic torus of dimension \\(d\\) over \\(\\mathbb{Q}\\) with character   \\[ X(T)=\\Hom_{\\overline{\\mathbb Q}} (T_{\\overline{\\mathbb Q}},G_{m,\\overline{\\mathbb Q}})\\]   and with the Galois representation \\(\\rho: G_{\\mathbb{Q}}\\to\\Aut(X(T))\\simeq \\mathrm{GL}_d(\\mathbb{Z})\\). Then \\(T\\) has a N\u00e9ron model \\({\\mathcal T}\\) over \\(\\mathbb{Z}\\). Assume that \\(T\\) is abelian, that is, \\(\\rho\\) is commutative. Let \\(G=\\Im(\\rho)\\) denote the Galois group of the finite abelian splitting field of \\(T\\) corresponding to \\(\\text{Ker}(\\rho)\\). Let \\(\\chi_ 1,\\ldots,\\chi_ d\\) be a basis of \\(X(T)\\) as a \\(\\mathbb{Z}\\)-module. Then for each prime \\(p\\) where \\(T\\) has good reduction, there is a matrix \\(A_ p\\in \\mathrm{GL}_ d(\\mathbb{Z})\\) associated to the Galois Frobenius \\(\\sigma_ p\\in G\\). There one obtains a \\(d\\)-dimensional formal group law \\(\\hat L\\) over \\(\\mathbb{Z}\\) associated to the matrix-valued Dirichlet series \\(\\sum^ \\infty_{n=1}A_nn^{-s}= \\prod_{p: \\text{good}}(I_ d-A_ pp^{-s})^{-1}\\), where \\(I_ d\\) denotes the identity matrix of order \\(d\\). On the order hand, one has the formal completion \\(\\hat{\\mathcal T}\\) of \\(\\mathcal T\\) along the zero section. Then \\(\\hat{\\mathcal T}\\) and \\(\\hat L\\) are isomorphic over \\(\\mathbb{Z}_ S\\) where \\(S\\) is an appropriate finite set of ``bad'' primes \\(p\\) depending only on \\(G\\) and \\(d\\).   Theorem 2. Let \\(A\\) be an abelian variety over \\(\\mathbb{Q}\\) of dimension \\(g\\geq 1\\). Let \\(\\text{End}(A)\\) be the ring of endomorphisms of \\(A\\) over \\(\\mathbb{Q}\\). Assume that there is a homomorphism \\(\\theta:F\\to\\text{End} A\\otimes\\mathbb{Q}=\\text{End}^0(A)\\) where \\(F\\) is a totally real number field of degree \\(g=[F:\\mathbb{Q}]\\). Let \\({\\mathfrak O}_ A=\\theta^{-1}(\\text{End}(A))\\subset {\\mathfrak O}_F\\) be an order and let \\(R: \\mathfrak O_A\\to M_g(\\mathbb{Z})\\) be any faithful representation of \\({\\mathfrak O}_A\\). The local \\(L\\)-series of \\(F\\) at a prime \\(p\\) is defined as follows:  \\[ L_p(A,F,s)=\\det_{F_ l}(1-(\\sigma_ p^{-1})^*p^{- s}\\mid H^ 1_{\\mathfrak l}(A)^{I_p})^{-1}=(1-c_ pp^{- s}+pc_{p^ 2}p^{-2s})^{-1} \\]  with \\(c_p\\in{\\mathfrak O}_ F\\) and \\(c_{p^2}=0\\) or 1. Here \\(\\ell\\) is a prime different from \\(p\\) and \\(F_ \\ell=F\\otimes\\mathbb{Q}_\\ell=\\prod_{{\\mathfrak l}\\mid\\ell}F_{\\mathfrak l}\\). One obtains a formal group law \\(\\hat L\\) over \\(\\mathbb{Z}\\) associated to the matrix-valued Dirichlet series of \\(A\\):   \\[ \\sum^\\infty_{n=1}A_nn^{-s}=\\prod_ p(I_ g-C_ pp^{-s}+pC_{p^2}p^{-2s})^{- 1}\\]   where \\(C_p=R(c_p)\\) and \\(C_{p^2}=R(c_{p^2})\\). On the other hand, one has the formal completion \\(\\hat {\\mathcal A}\\) of the N\u00e9ron model \\({\\mathcal A}\\) of \\(A\\) along its zero section.   Assume that \\({\\mathfrak O}_ A={\\mathfrak O}_F\\). Then \\(\\hat A\\) and \\(\\hat L\\) are isomorphic over \\(\\mathbb{Z}_S\\) where \\(S\\) is an appropriately chosen finite set of ``bad'' primes.   An application of theorem 2 to modular forms is also discussed.   Corollary. Let \\(N\\geq 1\\) be a square-free integer. Let \\(A=J_0(N)^{\\text{new}}\\) be the new part of the modular variety \\(J_0(N)\\) over \\(\\mathbb{Q}\\) associated to \\(\\Gamma_0(N)\\). Then the formal completion of the N\u00e9ron model \\(\\hat{\\mathcal A}\\) of \\(A\\) along its zero section is isomorphic over \\(\\mathbb{Z}\\) to the formal group obtained from the matrix-valued \\(L\\)-series:  \\[ L=\\prod_{p\\mid N}(1-R(U_p)p^{-s})^{-1}\\prod_{p\\nmid N}(1-R(T_p)p^{-s}+Ip^{1-2s})^{-1} \\]  where \\(T_p\\) for \\(p\\nmid N\\) denotes the Hecke operator, \\(U_p\\) for \\(p\\mid N\\) the Atkin-Lehner operator, and \\(R\\) denotes the natural representation of \\(\\text{End}(A)\\) on a \\(\\mathbb{Z}\\)-basis of \\(\\omega_{{\\mathcal A}^ 0/\\mathbb{Z}}\\).   The above result are proved using the method developed by \\textit{T. Honda} in [J. Math. Soc. Japan 22, 213--246 (1970; Zbl 0202.03101)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813315$D9392A01-5D8C-4A2D-82B4-785F7267434B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"76579edf630459249a27f193b026921158c16c09","datavalue":{"value":{"entity-type":"item","numeric-id":396524,"id":"Q396524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813315$4135EF6A-2D1E-42AA-B02B-2FFF1CB0FBB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$0E208808-A5DD-43A1-A2D3-6438CB32BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$A1692A59-2D4C-4A5C-A102-4B2C68DC02D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf19bafbedb4a5348c7b4bd23f7279642062010","datavalue":{"value":"6016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$3356F7A2-91EF-4BB3-A9A4-5BF054AE9301","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72994e5ef628fc4f87620b66c717db50baa2adc","datavalue":{"value":"abelian varieties with real multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813315$7651B9FC-060A-4FF4-A847-14096A983EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a82740325473e3088dbf4b95877acde9c676445d","datavalue":{"value":"formal group associated to the \\(L\\)-series of an elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813315$FE10F85D-689F-40BD-89AB-EF7CD51930F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36de47d60d1444f7f07a1e10a8b4c35dc2a642a","datavalue":{"value":"formal completion of the group law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813315$E41FF514-7592-4EC8-A0FC-F48DE309B6E5","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":"Q1813315$C05F9479-A2E1-418D-AC3C-441736A77300","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d0ea13379755dff808100b4d1cedc1cf93a89d6","datavalue":{"value":"W2081949092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813315$6118B652-F43B-4F60-B9AD-99B103B9043F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6ec95264f8a4fca657e5f8f4a29351f9930628","datavalue":{"value":{"entity-type":"item","numeric-id":3560945,"id":"Q3560945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e2542defd2ae9755b2e18b58c587125a8bd738","datavalue":{"value":{"amount":"+0.8537648320198059","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":"Q1813315$EF50C2FB-3843-4127-AF59-B53F43AE13E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82dbdd35de2fe83ab250edaa6dfe64ef15f545d","datavalue":{"value":{"entity-type":"item","numeric-id":1199985,"id":"Q1199985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b905298061b8e5a3316d7d99c48da7476260f8","datavalue":{"value":{"amount":"+0.8337018489837646","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":"Q1813315$FB09B4EE-FBE1-42A4-A1C6-6A5507E4B83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843f690307b4b23c6857f17e62a8aadd08693cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4698623,"id":"Q4698623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753ea08c89a20c2840b54b7f5d00d7295a68ca3b","datavalue":{"value":{"amount":"+0.8254668712615967","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":"Q1813315$CCA50ACE-4D38-4C55-A779-AAE59377C508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal groups and \\(L\\)-series","badges":[]}}}}}