{"entities":{"Q1119705":{"pageid":1130454,"ns":120,"title":"Item:Q1119705","lastrevid":69688878,"modified":"2026-04-13T08:43:42Z","type":"item","id":"Q1119705","labels":{"en":{"language":"en","value":"The Manin-Drinfeld theorem and Ramanujan sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097541"}},"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":"Q1119705$3572187D-A146-44C6-BEA7-10486F31FF22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2accd41128520f48a65cfdee99e2b5661d495fd0","datavalue":{"value":{"text":"The Manin-Drinfeld theorem and Ramanujan sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119705$FE123B2E-5250-482F-A7BC-B0D46D80726F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce0b8d840cb5fe3a05d509f2fb9b164cca8a829c","datavalue":{"value":"0671.14013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$AE48589F-8BD0-4AA3-ACEA-FF8FA461BC8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8be5a37728bb803cac95382a2122d38759c3352","datavalue":{"value":"10.1007/BF02837828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$8BF5215A-BFC2-4A76-A5E2-DBB19665F5AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387375a4320c39616ec49a7033571ab68d8ce04e","datavalue":{"value":{"entity-type":"item","numeric-id":180530,"id":"Q180530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$59BEF4E2-DE04-4746-8071-186AAFA129D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef9ff34968c28f930be36484a150e2a3e52cea2","datavalue":{"value":{"entity-type":"item","numeric-id":247046,"id":"Q247046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$D0B238D7-B9C8-4B0C-A5AE-4AE72E6CAFC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b00e4ca9eb1ad6164f179f3715d6f959f38598a","datavalue":{"value":{"entity-type":"item","numeric-id":180489,"id":"Q180489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$DB121F16-2B96-4C8A-95D1-1DDD4F18DB22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1119705$5F1E9429-4CE5-4709-8556-FAC65FC917A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3722ed5b872fb8a2f5e7983bacf279e2e56e6bc","datavalue":{"value":"Let \\(\\Gamma\\) be a discrete subgroup of \\(\\text{SL}_ 2(\\mathbb R)\\) such that the corresponding modular curve \\(X=X(\\Gamma)\\) has finite volume. It is of interest to study the subgroup \\(C(\\Gamma)\\) of \\(J=\\text{Jac}(X)\\) generated by the divisors of degree \\( 0\\) supported on the cusps of \\(X\\). If \\(\\Gamma\\) is a congruence subgroup, then Manin and Drinfeld used the theory of Hecke operators to prove that \\(C(\\Gamma)\\) is finite. A second proof can be given by explicitly constructing modular functions with the appropriate zeros and poles [see \\textit{D. S. Kubert} and \\textit{S. Lang}, ``Modular units'' (1981; Zbl 0492.12002)].    In this paper the authors give a third proof, based on ideas of \\textit{B. Schoeneberg} [``Elliptic modular functions'' (1974; Zbl 0285.10016)], \\textit{G. Stevens} [``Arithmetic on modular curves'', Prog. Math. 20 (1982; Zbl 0529.10028)], and \\textit{A. J. Scholl} [Math. Proc. Camb. Philos. Soc. 99, 11--17 (1986; Zbl 0564.10023)]. Associated to a cuspidal divisor is a differential of the third kind, which in turn is given by an Eisenstein series of weight 2; and the divisor has finite order in \\(J\\) if and only if the Eisenstein series has algebraic Fourier coefficients. The authors review this material, and then use Ramanujan sums to obtain an explicit expression for the Fourier coefficients. Since this expression is visibly algebraic, they conclude that \\(C(\\Gamma)\\) is finite.    In case \\(\\Gamma\\) is not a congruence subgroup, it is possible for \\(C(\\Gamma)\\) to be infinite. The authors next consider the well-known realization of the Fermat curve \\(F_ N: X^ N+Y^ N=1\\) as \\(X(\\Gamma)\\) for a non-congruence subgroup, where the cusps are the \\(N\\) points ``at infinity''. They find that the finiteness of \\(C(\\Gamma)\\) is equivalent to the algebraicity of a complicated (but very explicit) expression involving generalized Ramanujan sums. Since \\textit{D. E. Rohrlich} [Invent. Math. 39, 95--127 (1977; Zbl 0357.14010)] has shown in this case that \\(C(\\Gamma)\\) is finite, the authors conclude that their expression is algebraic.    In the final section the authors look at the (unramified) correspondence between \\(F_ N\\) and \\(X(2N)\\) over \\(X(2)\\) considered by Kubert and Lang (op. cit.). This gives a divisor on the surface \\(F_ N\\times X(2N)\\), and they show that this divisor has finite order in the relative N\u00e9ron-Severi group \\(\\text{NS}(F_ N\\times X(2N))/(\\text{NS}(F_ N)\\oplus \\text{NS}(X(2N)))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$9B368CC4-0737-434A-BB8E-ACC1DF24A792","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2b8853a52c7f02af86453b6ee74c018fc3284f","datavalue":{"value":"14H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$F1FA34BC-C437-411B-AE6A-28D605EAC6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$610E7382-6E24-4203-B842-CA01D509450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$C17F8593-AF9F-45C8-917D-6ACE1B97D801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d08f1c997f7f87312712a0bf0c304c415b023b","datavalue":{"value":"4097541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$559EDD83-4B4C-4D9B-9901-236CE04DD46F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b52ae1a96ed9cf26be0d4236ea9d77a5318c0c","datavalue":{"value":"number of divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$38A358FC-149A-4DB8-93B6-F91D94A0E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d969aac66ec369642ccb47dc20c3203f84a629","datavalue":{"value":"modular curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$50ADA34B-0930-4242-A2A1-E77E892F0965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ae4561740f7b1395582c55ed81bbada9535f17","datavalue":{"value":"cuspidal divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$A039A9D8-9026-4A93-9CAD-D198A10E3E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec914e1d9fa2b648296c1aa51fc34c009bb575c","datavalue":{"value":"Ramanujan sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$797455D5-EC52-4B07-B4A4-ABE95C250AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97d7e8ed52d9398733c1c6ee6ea6531dd652e1a6","datavalue":{"value":"Fourier coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$2344502F-42C0-4CF4-93DA-B9EA46FFDB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b888983980b23e0fd309eaceac8d44c806d78de","datavalue":{"value":"Fermat curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119705$EE12C329-6549-40F5-BFD4-F6F2C93A14AA","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":"Q1119705$2F3A1B9A-AA4B-4198-BCD8-A6C3399EF46F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8edb45a14f6bb49574c951acbc7085b04ebf7b","datavalue":{"value":{"entity-type":"item","numeric-id":5644042,"id":"Q5644042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$BEDCCD55-7A25-444C-BE1E-0219F742731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd5f66acdeaffe72cc902e1ed7a6e76fe78af14","datavalue":{"value":{"entity-type":"item","numeric-id":4196514,"id":"Q4196514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$7E75E588-9BEF-4186-89E3-06C73B52F39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c1ca4f560ace7f7cac4421726cdd6bc335b75f","datavalue":{"value":{"entity-type":"item","numeric-id":1844881,"id":"Q1844881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$30357DF0-ED52-46A5-BCA7-74E939A52F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f022b6770bc3a7452362b75a0fc9bf72fcbdfd32","datavalue":{"value":{"entity-type":"item","numeric-id":1245874,"id":"Q1245874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$3AF0EF09-B280-4AFC-B5FE-AC45157A9EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cac17f8ac23946be5bfcb5c0a8a3d5875f0b54b","datavalue":{"value":{"entity-type":"item","numeric-id":3953865,"id":"Q3953865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$466AE7AB-4ECF-4273-A612-F7B954C9E4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c10716fb2e5559e73f52b1012c59e45228d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3213184,"id":"Q3213184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$E1B98A44-74DD-458B-ADEC-054BE48BFF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeba8056d1419ef7ec9c1471c5960d5ca731382","datavalue":{"value":{"entity-type":"item","numeric-id":5654155,"id":"Q5654155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$7B682A68-40C8-49B2-93BC-5248E8B6832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f567d9a555af761bb32c69d0674c0c0489140351","datavalue":{"value":{"entity-type":"item","numeric-id":3669552,"id":"Q3669552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$28C7EDB6-34B6-4F9A-A8B3-3E8B8FC03328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bac1ef48f8f56fc91f172be10561238f7c7ac81","datavalue":{"value":{"entity-type":"item","numeric-id":1238014,"id":"Q1238014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$B568F0CD-ACE7-4EC9-AFE6-0E38A9EA36DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46fcdcb84fb1687f535b8afde234713cd93b856","datavalue":{"value":{"entity-type":"item","numeric-id":4771024,"id":"Q4771024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$79D32B70-CF2E-413E-BB3E-4C8C4D2AEE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611680f645b3510b443ca3187cc1f7af83ac4826","datavalue":{"value":{"entity-type":"item","numeric-id":3677817,"id":"Q3677817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$0442B9FC-D677-40C5-9D6F-E3D6644FD59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c4d21b1ced9d540ebdeafb6f46f1bbf22e22ee","datavalue":{"value":{"entity-type":"item","numeric-id":5631240,"id":"Q5631240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$9E2B6742-DC17-4ECD-A056-C8FCB4A08F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e66b929227b4b3cb86aac04c972ac3628ade206","datavalue":{"value":{"entity-type":"item","numeric-id":3934463,"id":"Q3934463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$781BBE04-360E-46A1-AA94-00E3B93E7E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fede414d8554d85f2c3a716bdc5fd360b0f063ab","datavalue":{"value":{"entity-type":"item","numeric-id":787189,"id":"Q787189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119705$2732D7E4-576D-4C39-BA28-0CD8FA4B944B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cd1af0f658ee1f255f5a8cc6e3fdd7ab0ce7d1d","datavalue":{"value":"https://doi.org/10.1007/bf02837828","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119705$B20E9619-71AB-4671-9D35-A56CD6639AF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41897431e4fc15f85a71a1ab7e84c80f019129f5","datavalue":{"value":"W2004556724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119705$EBA4B70F-7228-4D40-B65C-A4A6930858BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438e5338dc3cb1a69f29df5dee20983cc676c24b","datavalue":{"value":{"entity-type":"item","numeric-id":3349025,"id":"Q3349025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a9e88a5f6c65a882d04d9aff3cd615d3ba0add","datavalue":{"value":{"amount":"+0.799336314201355","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":"Q1119705$3265912A-BA60-4EFE-8D41-7B16629416C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ae835e1e4555477db45f2f3bea1abf4effc55","datavalue":{"value":{"entity-type":"item","numeric-id":2684405,"id":"Q2684405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49592d5444f0a58aa524dbc33b4e7f50aac3ef55","datavalue":{"value":{"amount":"+0.7986668348312378","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":"Q1119705$1F4F48A1-7E81-4699-B0C5-1F848EF4FFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb5e57554e12dafc58d60f0e2eb13198b969314","datavalue":{"value":{"entity-type":"item","numeric-id":1580510,"id":"Q1580510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aecb1187bf16f877edac6d94a40db96b13696d7","datavalue":{"value":{"amount":"+0.7935741543769836","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":"Q1119705$480ED4C9-621A-4796-8765-9437E628BE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f8a7dc7626b6b41a91fd8185e142390640ed1b","datavalue":{"value":{"entity-type":"item","numeric-id":1918373,"id":"Q1918373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aecb1187bf16f877edac6d94a40db96b13696d7","datavalue":{"value":{"amount":"+0.7935741543769836","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":"Q1119705$A4DC24C3-726E-4514-BDE1-683B0EB7CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0362671d2207abb6a0d5598052801e044ff175","datavalue":{"value":{"entity-type":"item","numeric-id":1383289,"id":"Q1383289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73170e07871d8ba8dbaea053f6e5c9f2bf86d597","datavalue":{"value":{"amount":"+0.784984290599823","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":"Q1119705$4E8B894B-DFEB-421E-ADC9-A36E2DAB0C29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Manin-Drinfeld theorem and Ramanujan sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Manin-Drinfeld_theorem_and_Ramanujan_sums"}}}}}