{"entities":{"Q969265":{"pageid":971113,"ns":120,"title":"Item:Q969265","lastrevid":57255009,"modified":"2026-03-27T16:16:27Z","type":"item","id":"Q969265","labels":{"en":{"language":"en","value":"The Picard group of \\(\\mathcal M_{1,1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704463"}},"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":"Q969265$2D9FD65F-382D-4B77-819A-C3E102F00233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd9f64b44d758ba57a71083c7da1bda0fb0ad1d4","datavalue":{"value":{"text":"The Picard group of \\(\\mathcal M_{1,1}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969265$4D2A0C37-63CD-4017-8815-D2BFE4E134EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79e223d9401f0c1a208d90acf564702506bbac03","datavalue":{"value":"1198.14010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$67A72A5E-EF88-428B-842F-F02777D538C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1296e91de6adb77e75b8596168962fe9bca075b9","datavalue":{"value":{"entity-type":"item","numeric-id":586375,"id":"Q586375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969265$9C2A0E78-788E-49A3-AA16-00286A16BF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62be775db1dba68db883b61c07bc8888b0f19c5","datavalue":{"value":{"entity-type":"item","numeric-id":886246,"id":"Q886246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969265$20A00F10-807B-4C75-87F4-43C84DE0435A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969265$9E7CAA8F-787A-4D02-823F-DAF0DC45C864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b489352d84da3f81346f143bf53e26539f4bdd7c","datavalue":{"value":{"time":"+2010-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969265$4D6635E6-C2D6-461B-B984-F982D729C1AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d841160ac67599b6e254b5ec2a478792ae9cda6b","datavalue":{"value":"https://arxiv.org/abs/0704.2214","type":"string"},"datatype":"url"},"type":"statement","id":"Q969265$C3D72538-E121-4B30-8468-BD3F7A34FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe01f27d855e03d2b7c76ea452be325924527c7","datavalue":{"value":"http://pjm.math.berkeley.edu/ant/2010/4-1/p04.xhtml","type":"string"},"datatype":"url"},"type":"statement","id":"Q969265$1D774F85-2FC4-42DE-8EF2-DE19176A3285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa2d99594ba5e14216adc106aaa94ceda9907045","datavalue":{"value":"The authors compute the Picard group of the moduli stack of elliptic curves and its canonical compactification over general base schemes.  The paper deals with the moduli stack \\(\\mathcal{M}_{1,1}\\) classifying elliptic curves and also with its standard compactification \\(\\overline{\\mathcal{M}}_{1,1} \\). For a scheme \\(S\\), the authors consider the fibre product \\(S\\times_{{\\mathrm{Spec}} (\\mathbb{Z})}\\mathcal M_{1, 1}\\) and denote it by \\(\\mathcal M_{1,1,S}\\). Analogously, one defines \\(\\overline{\\mathcal{M}}_{1,1,S}\\). Let \\(p:\\mathcal{M}_{1,1, S}\\to \\mathbb A^1_S\\) be the map defined by \\(j\\)-invariant. There is the Hodge bundle \\(\\lambda\\) on \\(\\mathcal{M}_{1,1}\\), which extends canonically to \\(\\overline{\\mathcal{M}}_{1,1}\\). By abuse of notation its extension is also denoted by \\(\\lambda\\).  Theorem~1.1 and Theorem~1.3 are the main results of the paper.  Theorem~1.1 states that \\(\\mathrm{Pic}(\\mathcal M_{1,1,S})\\) is isomorphic to the group \\(\\mathbb Z/(12)\\times \\mathrm{Pic}(\\mathbb A^1_S)\\) if \\(S\\) is either a \\(\\mathbb Z[1/2]\\)-scheme or reduced. The isomorphim \\(\\mathbb Z/(12)\\times \\mathrm{Pic}(\\mathbb A^1_S)\\to \\mathrm{Pic}(\\mathcal M_{1,1,S})\\) is given by \\((i, \\mathcal L)\\mapsto \\lambda^{i}\\otimes p^*\\mathcal L\\). This generalizes the result of \\textit{D. Mumford} from [Arithmetical algebraic Geom., Proc. Conf. Purdue Univ. 1963, 33--81 (1965; Zbl 0187.42801)], where \\(\\mathrm{Pic}(\\mathcal M_{1,1,S})\\) had been computed for \\(S\\) being a spectrum of a field of characteristic different from \\(2\\) and \\(3\\).  Theorem~1.3 says that \\(\\mathrm{Pic}(\\overline{\\mathcal{M}}_{1,1,S})\\) is isomorphic to \\(\\mathbb Z \\times \\mathrm{Pic}(S)\\), the isomorphism \\(\\mathbb Z \\times \\mathrm{Pic}(S)\\to \\mathrm{Pic}(\\overline{\\mathcal{M}}_{1,1,S})\\) is given by \\((n, M)\\mapsto \\lambda^n\\otimes_{\\mathcal O_S}M\\).  The paper consists of 7 Sections. In the introduction, the authors recall some basic facts and definitions about elliptic curves, formulate the main results of the paper, and provide an outline of the paper. Section~2 deals with the proof of Theorem~1.1 in the case when \\(6\\) is invertible. In Section~3, the proof of Theorem~1.1 is given for the case when \\(S\\) is normal. The case of a reduced scheme \\(S\\) is considered in Section~4. The proof of Theorem~1.1 for a scheme over \\(\\mathbb Z[1/2]\\) is finally given in Section~5. In Section~6, it is shown that Theorem~1.1 fails for nonreduced schemes in characteristic \\(2\\). Section~7 is devoted to the proof of Theorem~1.3. In fact, the authors prove a stronger statement. They consider the Picard stack \\(\\mathcal{P}{ic}(\\overline{\\mathcal{M}}_{1,1,S})\\) over \\(S\\), which associates to every scheme \\(T\\) over \\(S\\) the group of line bundles on \\(\\overline{\\mathcal{M}}_{1,1,T}\\). It is an algebraic Artin stack over \\(S\\) by [Manuscr. Math. 119, No. 1, 37--56 (2006; Zbl 1094.14001)]. The authors show in Theorem~7.2 that the morphism of stacks \\(\\mathbb Z\\times B\\mathbb{G}_{m, S}\\to \\mathcal{P}{ic}(\\overline{\\mathcal{M}}_{1,1,S})\\), \\((n, L)\\mapsto \\lambda^n\\otimes_{\\mathcal O_S}L\\) is an isomorphism. Theorem~1.3 then follows by evaluation of this isomorphism on S and passing to isomorphism classes.  Reviewer's remark: Note that the title of Section~5 is misleading, it says that Section~5 deals with the proof for the case when \\(S\\) is a reduced scheme. At the end of Section~4 the authors state that they finished the proof for the case of a scheme over \\(\\mathbb Z[1/2]\\) while in fact they mean the proof for \\(S\\) reduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q969265$A3816789-9F23-4BFA-A7AB-972A98692F11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db6f85358dbb1590e5680debb3bac07f9a0ef5f0","datavalue":{"value":{"entity-type":"item","numeric-id":590529,"id":"Q590529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969265$4219D9D6-FCE0-4BE9-9155-CD9CB94A3E38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b74a547623f46b1187ed1bed1bfe521f0083fa9","datavalue":{"value":"14D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$A4C3E76F-FAC4-4CDE-B680-2871287838A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6b0b319f5a87e5d7fc7b5bcfebbd37dc11418dfa","datavalue":{"value":"14D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$AAB370D4-5B83-4275-9607-737DD07B965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3d79f49f65b23d8f77b14c11b083ba7ba2726d","datavalue":{"value":"14D23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$51C00A5E-6490-4D9A-A096-788E93C6F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42184525ada3e3b80a15df2de06161c2b7616606","datavalue":{"value":"14C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$0522F6F7-1D4D-4E28-92CB-A3A0185FF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$1059ADF7-DACE-40B6-86CE-BBDF51FC7CB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e95ccd0fbf2d6ce8b047d0248518724ebc36b36f","datavalue":{"value":"5704463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$8D7751B8-DD3A-40DA-88AF-95665C00D735","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef048df2efef37631cb3daa5b8a59a3ad2ccd0b","datavalue":{"value":"moduli spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q969265$BDDB357B-CBB3-4DD9-90E9-313E06075940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d47ae8b6dca83d56c2b0ac08634ef338b55182f","datavalue":{"value":"moduli stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q969265$0BC26812-6151-4773-9EE9-FF52A822EECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cda441e16a91aefcc410dd9adc5161d9c99a8b2","datavalue":{"value":"Picard group","type":"string"},"datatype":"string"},"type":"statement","id":"Q969265$BABC7991-163B-4984-A2D3-3740A3666304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q969265$96609AF3-AFA9-42EA-AC89-9E72AC945E41","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":"Q969265$24AA6CCA-0A48-40E7-9499-CB0841AACB45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36edc5e989c5a2dcfc7a55da08c418736cf41e2f","datavalue":{"value":"W2807936338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$35099016-A96F-49F1-A8A8-B20818B7DA39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b395fe06f9067d66ca79fc88eac3f9619f1c1ee","datavalue":{"value":"10.2140/ANT.2010.4.87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969265$295B161F-58F6-468E-8AE6-CAC887DC1E98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485f5924a88aa79ec4b7a50d428b471c2e14134f","datavalue":{"value":{"entity-type":"item","numeric-id":1745215,"id":"Q1745215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76a76ccc522ef7d7c1705fe683b4c21065aa8c2","datavalue":{"value":{"amount":"+0.8081775903701782","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":"Q969265$25451C83-EDD2-4067-A71A-7305F5EE5C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0884d9f1e70f63093031fe7d71afa6c4a69f28","datavalue":{"value":{"entity-type":"item","numeric-id":462461,"id":"Q462461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b06199feefca8152b46713d1d930f2eacda907a","datavalue":{"value":{"amount":"+0.7809805274009705","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":"Q969265$F49CE4FB-CC43-4029-92B2-DDFF21CF8FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e5d135f7c9374a1fc00a1238a0112c3f4423ba","datavalue":{"value":{"entity-type":"item","numeric-id":579351,"id":"Q579351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be72a2f28c3161c3a189ffc349715cd18f571e24","datavalue":{"value":{"amount":"+0.7776345610618591","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":"Q969265$2144281E-63ED-4968-84A9-039E71BDD06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b11861ba45f71fdfe7af52f3aada992851659","datavalue":{"value":{"entity-type":"item","numeric-id":2038393,"id":"Q2038393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f959672612914c821f7c3b3c030ffc368b0b5b7e","datavalue":{"value":{"amount":"+0.7672191858291626","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":"Q969265$93CF693B-CA93-428E-9815-2A5B30BEFCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db0ce75febe4469ff79b83b92bd8410f5953169","datavalue":{"value":{"entity-type":"item","numeric-id":1379999,"id":"Q1379999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83acb426998894b6d3a8f16128cc32191264ae52","datavalue":{"value":{"amount":"+0.7590484023094177","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":"Q969265$5467D902-F44E-4E8B-878D-84D7342BDA35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:969265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:969265"}}}}}