{"entities":{"Q2472516":{"pageid":2483259,"ns":120,"title":"Item:Q2472516","lastrevid":50282339,"modified":"2026-01-13T18:01:28Z","type":"item","id":"Q2472516","labels":{"en":{"language":"en","value":"The automorphism group of a cyclic \\(p\\)-gonal curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5238111"}},"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":"Q2472516$7E883AEA-54C0-462C-8917-761DB1F0574E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ec24fb55d4ed9e12ea5caa629ad799aac7348b0","datavalue":{"value":{"text":"The automorphism group of a cyclic \\(p\\)-gonal curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2472516$8C32D0C7-7191-4DDB-958A-4039737E9ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25752c8609eee148c7f06a7b205f3f5836d24b3f","datavalue":{"value":"1132.14022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$AB5652CB-4878-4E65-951A-39E7886BCD7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d555134990a5cf8c193f06c4214d27f5f8c452b","datavalue":{"value":{"entity-type":"item","numeric-id":1002477,"id":"Q1002477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472516$3EE5F430-7D2E-4D48-8247-9E7782359B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e2c309f22915e9219d413e244cc4ae562cb1cf","datavalue":{"value":{"entity-type":"item","numeric-id":1002478,"id":"Q1002478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472516$563C7662-897E-42D2-93A4-F4D80E1B9EB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472516$2DA14E2B-7123-45BC-9FF2-6BE173CDD390","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466ae4194d5d9f61f81aef55cc4204c3dadc143d","datavalue":{"value":{"time":"+2008-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2472516$CDD7D785-3A79-47C0-92B8-AF292110A7A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5049cef7992a76fbedb1f6784bb5af632cf01504","datavalue":{"value":"Let \\(p\\geq 2\\) be a prime number and suppose that \\(X\\) is a compact Riemann surface of genus \\(g\\) which admits a group of conformal automorphisms \\(C_{p}\\) of prime order \\(p\\) such that the quotient space \\(X/C_{p}\\) has genus \\(0\\). We call the surface \\(X\\) a cyclic \\(p\\)-gonal surface. Suppose that the quotient map \\(\\pi \\colon X\\rightarrow X/C_{p}\\) is branched over the points \\(\\{a_{1} ,\\dots ,a_{t}\\}\\). If \\(a_{i} \\neq \\infty\\) for any \\(i\\), then \\(X\\) admits a defining equation of the form  \\[ y^p=\\prod_{i=1}^{t} (x-a_{i})^{r_{i}} \\]  where \\(\\sum_{i=1}^{t} r_{i} = 0\\mod{(p)}\\). Else if \\(a_{i}=\\infty\\) for some \\(i\\) (without loss of generality, assume \\(a_{t}=\\infty\\)), then \\(X\\) admits a defining equation of the form  \\[ y^p=\\prod_{i=1}^{t-1} (x-a_{i})^{r_{i}}, \\]  where \\(\\sum_{i=1}^{t-1} r_{i} \\neq 0\\mod{(p)}\\). In the paper under review, the authors consider the problem of determining explicit defining equations for \\(X\\) dependent upon the quotient group \\(H=G/C_{p}\\) where \\(G\\) is a group of automorphisms of \\(X\\) with \\(C_{p} \\vartriangleleft G\\). That is, the authors consider the problem of determining the \\(r_{i}\\) and the \\(a_{i}\\).   It should be noted that the results developed by the authors hold only under the assumption that \\(C_{p} \\leq C(G)\\) (where \\(C(G)\\) denotes the center of \\(G\\)). Lemma 2.1 claims to show that \\(C_{p} \\leq C(G)\\) provided \\(g>(p-1)^2\\) (and in fact more generally), but unfortunately the argument presented is invalid. An example of a family of cyclic \\(p\\)-gonal surfaces for which \\(C_{p}\\nleq C(G)\\) with genus \\(g> (p-1)^2\\) is given by Theorem \\(1\\) of \\textit{J. Wolfart} and \\textit{M. Streit} [ Rev. Mat. Complut. 13, No. 1, 49--81 (2000; Zbl 1053.14021)] and other families appear in the literature.   The general approach taken by the authors is as follows. If \\(G\\) is a group of automorphisms of \\(X\\) with \\(C_{p}\\vartriangleleft G\\), then the group \\(H=G/C_{p}\\) acts on \\({\\mathbb P}^{1}\\) and the \\(a_{i}\\) lie in \\(H\\)-orbits of this action. Moreover, if \\(C_{p}\\leq C(G)\\), then if \\(a_{i}\\) and \\(a_{j}\\) lie in the same \\(H\\)-orbit, then \\(r_{i}=r_{j}\\). This provides a general formula for \\(X\\) which can be made more explicit by choosing a specific representation of \\(H \\leq \\text{Aut} ({\\mathbb P}^{1})\\). The authors illustrate their results by producing explicit equations for hyperelliptic curves (when \\(p=2\\)) for genus \\(2\\) and trigonal curves (when \\(p=3\\)) for genera \\(5\\), \\(7\\) and \\(9\\) for all the different possible \\(H\\) which arise. Note that for hyperelliptic curves, \\(C_{2} \\leq C(G)\\) for all \\(G\\) and \\(g\\), and for trigonal curves of genus \\(5\\), \\(7\\) and \\(9\\), \\(C_{3} \\leq C(G)\\) for all possible \\(G\\), and thus complete results are presented for all these cases.   For similar results without the assumption that \\(C_{p}\\leq C(G)\\), see \\textit{A. Wootton} [Isr. J. Math. 157, 103--122 (2007; Zbl 1109.30036)] where Fuchsian groups are used to determine defining equations. Also, more generally, for related results for general \\(n\\)-gonal surfaces (\\(n\\) not necessarily prime), see \\textit{A. Kontogeorgis} [J. Algebra 216, No. 2, 665--706 (1999; Zbl 0938.11056)].  Editorial remark: A correction to Lemma 2.1 is given in [Tsukuba J. Math. 32, No. 2, 407--408 (2008; Zbl 1158.14307)] by assuming that \\(V\\) is in the center of \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472516$8FEC689C-9BA4-462A-AAF8-9B5A85B399B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$3596E2C7-6AAA-4871-9390-EAFC45885F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac5ea3dde0e433b8e52fdd8b30e44c5d6afa64ba","datavalue":{"value":"14H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$07A1CF50-0667-431D-9172-EA2E8D86BB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fe3b754e44a8ee268f62dd0a164c5de5b2fac56","datavalue":{"value":"14H37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$8C0DB4C1-5059-4238-A3CD-214F795D9659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89a9036bf79a19d7a89c2abfbb1105cd80f5e4b8","datavalue":{"value":"5238111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$E9C28959-4CEC-4AB2-85A3-57BAD60227D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ae4fd5e5d5899818ab65570b6d7e265da5a6d3","datavalue":{"value":"hyperelliptic surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472516$B7DAB025-D21F-49A4-AA00-17F634760730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc08937fbaa54ae039af417c47b6ff7391294d30","datavalue":{"value":"automorphism groups of compact Riemann surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472516$8F2890EF-54E5-4B76-ABF9-69853290BFB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"196fe3506c871966245b0705be29038e682bcf5a","datavalue":{"value":{"entity-type":"item","numeric-id":380191,"id":"Q380191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472516$D859DE71-9922-4675-B78B-8F3F279337AD","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":"Q2472516$8A77CE1C-5258-43E2-962E-42B32F299AF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b0d8353d7db9eeaa0e787eab45f7a3291b34992","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496165113","type":"string"},"datatype":"url"},"type":"statement","id":"Q2472516$A4F5CCD5-7747-4D85-A31D-6815DF63A118","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"867ffb1708fcadfc7b32cfbe27c63179a45a86a9","datavalue":{"value":"W1565025733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$38CC152C-C266-4F13-80DD-C88C657E1C89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70f34f91b457884970411943ff0d3ffc558190e","datavalue":{"value":"10.21099/TKBJM/1496165113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472516$7C3DF402-C081-428A-A37B-F8F7CF846EF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328a722b169026631d98d04e28200987946b3c1a","datavalue":{"value":{"entity-type":"item","numeric-id":2437233,"id":"Q2437233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785ab525c10a88a148bcb2ccd77de50f97d338fc","datavalue":{"value":{"amount":"+0.8552767634391785","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":"Q2472516$CE0D145F-790D-445C-83AB-44CA9FEB27DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3ead0a45dfa14ca732c484e6660436a510cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":2370221,"id":"Q2370221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d237ef95e405208678094fe6fa369dd19b2146a","datavalue":{"value":{"amount":"+0.8323205709457397","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":"Q2472516$59C07921-5BE2-4848-9300-1989C4A104E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54763d784a13fe06c114242fdd8a8eae10bcd938","datavalue":{"value":{"entity-type":"item","numeric-id":1002479,"id":"Q1002479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121bb3e4bb58e670a5d70783b493003ee2122b36","datavalue":{"value":{"amount":"+0.823194146156311","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":"Q2472516$EC223419-A635-4A80-955C-1755D0DE3D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d78f16b9056149d9e7babf3b64c774d1bfdc604","datavalue":{"value":{"entity-type":"item","numeric-id":4673378,"id":"Q4673378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93bb365563bac2e56e1f3a9396b97a617b8b3ea","datavalue":{"value":{"amount":"+0.816976010799408","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":"Q2472516$82CBB3F2-0207-4B58-849F-10414E747075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b8bac15328c0f0690d486e64a98856a88e5f9b","datavalue":{"value":{"entity-type":"item","numeric-id":928353,"id":"Q928353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc945561637abaa5784dd7953dc36018d618f2e","datavalue":{"value":{"amount":"+0.8075469732284546","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":"Q2472516$F1A09751-91CB-4867-9BC3-DBE87A5890DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2472516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2472516"}}}}}