{"entities":{"Q1817428":{"pageid":1828170,"ns":120,"title":"Item:Q1817428","lastrevid":69390615,"modified":"2026-04-13T06:41:03Z","type":"item","id":"Q1817428","labels":{"en":{"language":"en","value":"Elliptic polylogarithms in \\(K\\)-theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 953755"}},"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":"Q1817428$DB00291E-C725-4E96-AB2F-3C04E52CB0F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e8db20ba5130a4ff30cca9dff36066c67c88bc5","datavalue":{"value":{"text":"Elliptic polylogarithms in \\(K\\)-theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817428$29080AEF-4ABC-4D30-9BCC-2EDA4850CD29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d99040cd5a5dfd7a7027679f5a7aac0309b852e","datavalue":{"value":"0865.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$FBBCB444-05D5-4157-A53D-2673AFD69FD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c00f5e4b28f815c9aafa4683a0f29caa5c238c79","datavalue":{"value":"10.1007/BF02362334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$3F1E434B-4E66-4FCA-92FA-1BCF87128B32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817428$721FDD2C-67D6-4188-B28C-78217953C4C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763d31870c0dc149ffd665fc4cc3af940f7994ab","datavalue":{"value":{"time":"+1997-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817428$93E810AF-6213-40A4-A4A9-B5BF91D9A98D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4da68508320ef71278424506545832d28e729e40","datavalue":{"value":"This article can be considered as an appendix to \\textit{A. Beilinson} and the author [Proc. Symp. Pure Math. 55, Pt. 2, 123-190 (1994; Zbl 0817.14014)]. There, a general theory of elliptic polylogarithms is given. Here, exact formulas for motivic elliptic polylogarithms, i.e., involving higher algebraic \\(K\\)-theory, are presented.   Let \\(B\\) be a connected scheme and consider an elliptic curve \\(p:X\\to B\\) over \\(B\\), i.e., a flat family \\(X\\to B\\) of relative dimension one with geometrical fibers of genus one, and a zero section \\(0:B\\to X\\). Write \\(U =X \\backslash 0(B)\\), \\(p_U:U\\to B\\) for the restriction of \\(p\\) to \\(U\\), and \\(j_U:U \\hookrightarrow X\\) for the open embedding. Also, let \\(i_0:0(B) \\hookrightarrow X\\) be the closed embedding. \\(p_1: U\\times_BU\\backslash \\Delta\\to U\\) (where \\(\\Delta\\) is the (relative) diagonal) is the projection on the first factor. \\({\\mathcal H}\\) will denote the Hodge \\((\\ell\\)-adic, motivic,\\dots) sheaf \\(R^1p_* (\\mathbb{Q}(1))\\) on \\(B\\). It can be considered as the sheaf of relative homologies. \\(G^{ (1)}\\) will denote the sheaf \\(R^1p_{1*} (\\mathbb{Q}(1))\\) on \\(U\\). It can be extended to a sheaf, also denoted \\(G^{(1)}\\), on \\(X\\). One has a short exact sequence  \\[ 0\\to p^*{\\mathcal H}\\to G^{(1)}\\to \\mathbb{Q} \\to 0 \\]  on \\(X\\), which splits over \\(0(B)\\). \\(G^{(1)}\\) comes equipped with a weight filtration, an action of \\(\\mathbb{Q}\\) and a unipotent action of \\({\\mathcal H}\\). \\({\\mathcal H}\\) can be considered as the (abelian) fundamental group of \\(X/B\\). Write \\(G^{(n)}\\) for the symmetric product \\(S^n (G^{(1)})= \\text{Sym}^n(G^{(1)})\\). The weight filtration on \\(G^{(1)}\\) induces one on \\(G^{ (n)}\\). Also, an element \\(\\ell\\in{\\mathcal H}\\) acts as the exponential \\(\\exp(\\ell)\\) on \\(G^{(n)}\\). One defines the logarithmic sheaf \\(G=\\varprojlim(G^{(n)})\\). It has a weight filtration with successive quotients \\(Gr^W_{-i} (G)=W_{-i}/W_{-i-1}(G)\\) equal to \\(S^i(p^*{\\mathcal H})\\), \\(i\\geq 0\\). The fundamental group \\({\\mathcal H}\\) acts again on \\(G\\) by multiplication with the exponential. Let \\(X^{(n)}= X\\times_B\\times \\cdots \\times_BX\\) be the (relative) \\(n\\)-th power of \\(X\\). On \\(X^{(n)}\\) one can define a set of divisors \\(D_i^{(n)}\\), \\(i=1, \\dots,n+1\\), and \\(\\Delta^{(n)}_{i,j}\\), \\(i,j=1,2, \\dots, n+1\\), \\(i\\neq j\\). One defines \\(U_0^{(n+1)}= X^{(n+1)} \\left\\backslash \\bigcup^{n+1}_{i=1} D_i^{(n+1)} \\right.\\). Then there is a natural map \\(\\Sigma= \\Sigma^{(n+1)}: U_0^{(n+1)} \\to U\\). Of particular importance are the varieties \\(Y^{(n)}=U \\times_BU_0^{(n+1)}\\) with projection \\(\\pi: Y^{(n)} \\to U\\) defined by \\(p_U\\times \\Sigma:U \\times_BU_0^{(n+1)} \\to B\\times_BU =U\\). The elliptic polylogarithm \\({\\mathcal P}\\) is defined as the extension  \\[ 0\\to j^*_UG(1) \\to{\\mathcal P} \\to p^*_U {\\mathcal H} \\to 0 \\]  determined by the map (cf. loc. cit.) \\({\\mathcal H} \\to I= R^1p_{U*} (j^*_UG(1))\\), where \\(I\\) is the augmentation ideal of the sheaf of symmetric algebras \\(\\sum S^j ({\\mathcal H})\\) of \\({\\mathcal H}\\). Letting \\({\\mathcal P}_n= {\\mathcal P}/W_{-n-3} ({\\mathcal P})\\) one has a short exact sequence  \\[ 0\\to j^*_U G^{(n)} (1)\\to {\\mathcal P}_n \\to p^*_U {\\mathcal H}\\to 0. \\]  Using \\(R^{n+1} \\pi_*(\\mathbb{Q}(n+1)) =p^*_U {\\mathcal H} \\otimes j^*_U G^{(n)}\\), a spectral sequence argument leads to the existence of a canonical map \\(\\alpha_n\\): \\(\\text{Ext}^{n+2}_{Y^{(n)}} (\\mathbb{Q},\\mathbb{Q} (n+1))\\to \\text{Ext}^1_U (\\mathbb{Q}, R^{n+1} \\pi_*(\\mathbb{Q} (n+1)))\\). Let \\({\\mathcal P}^{(n)}\\in \\text{Ext}^1_U (p^*_U {\\mathcal H} ,j^*_U G^{(n)} (1))= \\text{Ext}^1_U (\\mathbb{Q},p^*_U {\\mathcal H} \\otimes j^*_U G^{(n)})= \\text{Ext}^1_U (\\mathbb{Q}, R^{n+1} \\pi_*(\\mathbb{Q} (n+1)))\\) be the element corresponding to \\({\\mathcal P}_n\\). Then an element \\({\\mathcal P}_{\\mathcal M}^{(n)} \\in K_n(Y^{(n)})\\) is constructed such that \\(\\alpha_n (r({\\mathcal P}_{\\mathcal M}^{(n)})) = {\\mathcal P}^{(n)}\\), where \\(r\\) is the regulator map from \\(K\\)-theory to the group of extensions \\(\\text{Ext}^*(\\mathbb{Q}, \\mathbb{Q}(*))\\). In agreement with Beilinson's conjectures, the \\({\\mathcal P}^{(n)}_{\\mathcal M}\\) come from pairs \\((Z_q^{(n)}, S_q^{(n)})\\) of divisors \\(Z^{(n)}_q\\) on \\(Y^{ (n)}\\) together with elements \\(S_q^{(n)}\\) of Milnor's \\(K_{n,\\mathbb{Q}}\\)-groups.   This program is realized for \\(B=\\text{Spec}(k)\\), \\(k\\) a field. First, using Tate's normal form of the curve \\(X \\to \\text{Spec}(k)\\), \\(n\\)-th order elliptic Vandermonde functions \\(W_n\\) on \\(X^{(n)}\\) are constructed as well as their \\(i\\)-th partial derivatives \\(W_{n;i}'\\). The divisors of \\(W_n\\) and \\(W_{n;i}'\\) can be expressed in terms of the \\(D_i^{(n)}\\) and the \\(\\Delta_{i,j}^{(n)}\\). One also defines functions \\(F_i^{(n)}= W_{n;i}'/W_n\\), \\(i=1,2, \\dots,n\\), and \\(F_{n+1}^{(n)} =(W_n)^{-2} \\prod^n_{i=1} F_i^{(n)}\\). For \\(k=\\mathbb{C}\\) the \\(W\\)'s and the \\(F\\)'s can be expressed in terms of theta functions. With the \\(F\\)'s one defines ``roots of functions'' \\(\\Phi_i^{(n)} =F_i^{(n+1)} \\Delta^{-(n+3)/12}\\), where \\(\\Delta\\) is the discriminant of \\(X\\). Besides, one explicitly constructs divisors \\(Z_i^{(n)}\\), \\(i=1,2, \\dots, n+2\\), on \\(Y^{(n)}\\). The \\(\\Phi\\)'s define elements of the \\(K_{ 1,\\mathbb{Q}}\\) of the generic point of \\(Z_i^{(n)}\\). Again, using the \\(\\Phi\\)'s, one constructs explicit symbols \\(S_i^{(n)}\\) on the \\(Z_i^{(n)}\\). Let \\({\\mathcal P}_{\\mathcal M}^{(n)} =(Z_i^{(n)}\\), \\(S_i^{(n) })\\). Then the \\({\\mathcal P}^{(n)}_{\\mathcal M}\\) have nice properties and, most importantly, their image in \\(\\text{Ext}^1_U (\\mathbb{Q}, R^{n+1} \\pi_*(\\mathbb{Q} (n+1)))\\) is equal to the elliptic polylogarithm \\({\\mathcal P}^{(n)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$BF9B3697-E575-43FC-82C6-19F5649FE54A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"823ad8d02e83884b2817c841a0488d8322365bc2","datavalue":{"value":"19D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$36582E2F-6FC2-4251-A33D-92E5BBAA1613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$F7E651A4-CBF1-42F1-B5D8-F5E6E49AEA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17565690f34b78615adcebc7ddf96b1bc46e56cc","datavalue":{"value":"11R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$1F556F29-18F2-4018-B316-9239C5472BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$95847154-F118-4886-A96E-D19EF61B71E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0de07df041448f087b0052398b7d304d4d46469","datavalue":{"value":"19E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$DA19CF5C-EFD9-4CE6-85B2-713D658499BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba96dc869ceb6c59cc2ba27422edc26685181c96","datavalue":{"value":"953755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817428$EE0A4702-9EB6-4915-AFCB-EE1654505F2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50e739c95cb74c7da86f60b6eed8c27a7a77dfa","datavalue":{"value":"connected scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$D4B055E5-9BBD-4935-A227-EBF3CDC9CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$F12E695B-DC80-48B5-A767-ACCA8B5626FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"794134c55a7b866401bb4fc0fefa7f945b25c46f","datavalue":{"value":"zero section","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$0EBA0B08-D168-4F83-AEB9-0BF2EF64B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bec7f0d2fcabec6ad8dea169cf6b0c0bcc8cfde","datavalue":{"value":"sheaf of relative homologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$E05D649A-EC6B-4DA9-AB7E-527C1FD5FE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e22d1d6f9dba651950e46988b40d95d10b4e23","datavalue":{"value":"weight filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$880117A6-02D4-4507-8A5D-EA7B39BDBD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f106450ec44a30c8ae7832084d11298a372212","datavalue":{"value":"logarithmic sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$D734E37E-3F26-46AB-8A02-A6845D5EE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610955b37a77b06a5b0261ec104acf1ef43dede5","datavalue":{"value":"elliptic polylogarithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$ED65103A-2352-448D-9035-CFCB14867640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649b5d4a84919b7669ba1ad53c37a6dfb8e0baf","datavalue":{"value":"spectral sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$39091E53-4D36-44F0-BDE2-34A2EDC5C97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d026f137457fa0c59167efd178814d110b21a96","datavalue":{"value":"regulator map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$8049320D-D3BF-43B7-BF79-0A159BCFB6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8728ab38ac729db450db9598fa8cf7252ae2ef0b","datavalue":{"value":"Beilinson's conjectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$A7056DF0-A4EC-4B6F-A85C-A026CC5114E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72d7545700ab2e81b1b30aa4295780e1935639","datavalue":{"value":"Tate's normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$55B3DD84-A687-4666-9CBB-C8AEC2C7C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ae4529ace10887311f0a4341176ed10ddc0f6c","datavalue":{"value":"elliptic Vandermonde functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$F4E8F7EB-4CE0-490F-94E6-B34BCA51939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ec9ffbf2555ce1d85bc2e99dd80b93ceb424e1","datavalue":{"value":"theta functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817428$9406CD27-868C-4053-9CAE-EA79551CC97C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1697eb830e24952825478044027f0cc349230141","datavalue":{"value":{"entity-type":"item","numeric-id":970245,"id":"Q970245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817428$B9296129-8E7E-4FEC-AD07-F991E1B55FC6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87338ed4c4ef03b7b929db88cdefad9c24ab3698","datavalue":{"value":{"entity-type":"item","numeric-id":916707,"id":"Q916707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817428$E35FC427-3B69-4C78-B9CD-C77F91744911","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":"Q1817428$2AB3B93C-9BCA-42C8-9EDA-36AB9885A73B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7651b704e475d966f909086b546099a5504e867","datavalue":{"value":{"entity-type":"item","numeric-id":4297080,"id":"Q4297080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817428$69645B78-BC75-45B6-9B6C-FEA29F7639D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0b342f2e39a9592eebc29f06e7f48b4c22e815","datavalue":{"value":{"entity-type":"item","numeric-id":4297080,"id":"Q4297080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2d5911e41306fc338606a39429d3cc073dc368","datavalue":{"value":{"amount":"+0.8157853484153748","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":"Q1817428$1F14A491-8149-4BBB-A31A-0D38367B34CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a8210fd0906875ce8c4b7ad05c0ecb42ffb0b9","datavalue":{"value":{"entity-type":"item","numeric-id":4472998,"id":"Q4472998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90177ba334acd2f90eecc7d4c3437aa956a8909f","datavalue":{"value":{"amount":"+0.8099633455276489","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":"Q1817428$12C08946-8713-4A7F-8E9B-5464E9C25E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1effb4e29a147f16607d8b1a2bba85b121abd1","datavalue":{"value":{"entity-type":"item","numeric-id":1266857,"id":"Q1266857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0d5ab289e0855fdf1fd578dc43095150d1e894","datavalue":{"value":{"amount":"+0.8049705028533936","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":"Q1817428$0C6C12EA-E14C-476B-BF20-74AF9489A50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elliptic polylogarithms in \\(K\\)-theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elliptic_polylogarithms_in_%5C(K%5C)-theory"}}}}}