{"entities":{"Q1005890":{"pageid":1007738,"ns":120,"title":"Item:Q1005890","lastrevid":57333684,"modified":"2026-03-30T13:11:40Z","type":"item","id":"Q1005890","labels":{"en":{"language":"en","value":"Smooth curves having a large automorphism \\(p\\)-group in characteristic \\(p>0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529348"}},"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":"Q1005890$4D0427BC-F7C6-4202-BA1F-4EE49EB0A3A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11933ff7bdd0bc253506ce79e320ec701f239705","datavalue":{"value":{"text":"Smooth curves having a large automorphism \\(p\\)-group in characteristic \\(p>0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005890$29D517BE-8BEC-4EE5-A186-16DB7F5F6B34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"424ad1e7d795829b4c9d6d60a5d7bb57c4a771cc","datavalue":{"value":"1168.14023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$3C3EEE48-0F50-4FA6-AB66-C5279F40DAA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed8f9fbdeef21fc3fa898fdb5427939c3ea2c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":757488,"id":"Q757488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005890$5850BB1E-84DF-4C51-A061-58FE86F7A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7ebd15003489920d75dc7e02ae79aa78618d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1005889,"id":"Q1005889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005890$712CDBED-338A-4FD9-B9F6-A47A00E61EAA","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":"Q1005890$6CEC7F51-E41F-468C-8976-AB7EAFFF218C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bda8fd3ce1a62a7418a5e31080ea9b31826d790","datavalue":{"value":{"time":"+2009-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005890$94C892A1-7682-42CC-8A70-C0F7242DE0B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1202380ee63a05a15753190d8cd7c049dc3835a1","datavalue":{"value":"https://arxiv.org/abs/0801.1942","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005890$60AC74FC-148A-450C-849E-C777B12B611F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"446b49a9c856b3982afedd5a1ef68a5329ee8624","datavalue":{"value":"Let \\(k\\) be an algebraically closed field of characteristic \\(p>0\\) and \\(C\\) a connected nonsingular projective curve over \\(k\\) with genus \\(g\\geq2\\). This paper is the first of a set of three (together with \\textit{M. Rocher}'s [J. Algebra 321, No. 2, 704--740 (2009; Zbl 1185.14025)] and [``Large \\(p\\)-group actions with \\(\\frac{|G|}{g^2} \\geq \\frac{4}{(p^2-1)^2}\\)'' (2008; \\url{arXiv:0801.3834})]), whose main object is to study \\(G\\)-actions on the curve \\(C\\), when \\(G\\) is a \\(p\\)-group such that \\(|G| > \\frac{2\\,p}{p-1} \\, g\\). This paper continues the work initiated in [\\textit{C. Lehr} and \\textit{M. Matignon}, Compos. Math. 141, No. 5, 1213--1237 (2005; Zbl 1083.14028)]. One of the authors' aims is to display some universal families and to discuss the corresponding deformation space.  In positive characteristic \\(p>0\\), the automorphism group \\(\\mathrm{Aut}_k(C)\\) is known to be finite but, because of the appearance of wild ramification, the Hurwitz linear bound is replaced by a biquadratic one [\\textit{H. Stichtenoth}, Arch. Math. 24, 527--544 (1973; Zbl 0282.14006), Arch. Math. 24, 615--631 (1973; Zbl 0282.14007)]. To rigidify the situation as has been done in characteristic zero [\\textit{R. S. Kulkarni}, Contemp. Math. 201, 63--79 (1997; Zbl 0863.30050); \\textit{T. Breuer}, Characters and automorphism groups of compact Riemann surfaces. London Mathematical Society Lecture Note Series. 280 (2000; Zbl 0952.30001)], an idea is to consider large automorphism \\(p\\)-groups. In this spirit, the authors focus on what they call \\textit{big actions}, that is to say pairs \\((C,G)\\) with \\(G\\) a \\(p\\)-subgroup of \\(\\mathrm{Aut}_k(C)\\) such that \\(|G|>\\frac{2p}{p-1}\\, g.\\) Under this condition, \\(g_{C/G}=0\\) and only one point \\(\\infty\\in C\\) is ramified in \\(C/G\\). Call \\(G_i\\) the \\(i\\)-th lower ramification group of \\(G\\) at \\(\\infty\\). Then, \\(G=G_{-1}=G_0=G_1\\supsetneq G_2 \\neq \\{e\\}.\\) Moreover, the quotient curve \\(C/G_2\\) is isomorphic to the projective line. It follows that the quotient group \\(G/G_2\\) acts as a group of translations of the affine line \\(C/G_2-\\{\\infty\\}=\\mathrm{Spec} \\, k[X]\\), through \\(X \\rightarrow X+y\\), where \\(y\\) runs over a subgroup \\(V\\) of \\(k\\). This induces the exact sequence  \\[  0 \\longrightarrow G_2 \\longrightarrow G=G_1 \\overset{\\pi}{\\longrightarrow} V \\simeq (\\mathbb{Z}/\\,p\\, \\mathbb{Z})^v \\longrightarrow 0,  \\]  where \\(\\pi(g)=g(X)-X\\) for all \\(g \\in G\\). Then, the purpose of this paper is twofold: on the one hand, to give necessary conditions on \\(G_2\\) for \\((C,G)\\) to be a big action and, on the other hand, to display realizations of big actions with \\(G_2\\) abelian of large exponent.  The main results of the first part are gathered in the following:  {Theorem:} Let \\((C,G)\\) be a big action with \\(g \\geq 2\\).  1. Let \\(H\\) be a normal subgroup of \\(G\\) such that \\(H\\subsetneq G_2\\). Then \\((C/H, G/H)\\) is a big action with second ramification group \\((G/H)_2=G_2/H\\) (Lemma 2.4.2).  2. The group \\(G_2\\) is equal to \\(D(G)\\), the commutator subgroup of \\(G\\) (Thm. 2.7). In particular, \\(G\\) cannot be abelian.  3. The group \\(G_2\\) cannot be cyclic unless \\(G_2\\) has order \\(p\\) (Thm. 5.1).  4. If \\(\\frac{|G|}{g^2} \\geq \\frac{4}{(p^2-1)^2}\\), then \\(G_2\\) is an elementary abelian \\(p\\)-group with order dividing \\(p^3\\) (Prop. 4.1).  These results highlight the major role played by \\(G_2\\) in the study of big actions. Indeed, a key idea in studying big actions is to use the first statement to go back to the situation of big actions with a \\(p\\)-cyclic \\(G_2\\), a case that has been fully characterized in [\\textit{C. Lehr} and \\textit{M. Matignon}, loc. cit.]. The second companion paper gives a generalization of this case and study big actions with a \\(p\\)-elementary abelian \\(G_2\\). These results led to the classification of the big actions satisfying \\(\\frac{|G|}{g^2} \\geq \\frac{4}{(p^2-1)^2}\\) (third companion paper).  The second part of the paper is devoted to examples of big actions with \\(G_2\\) abelian, knowing that the authors do not know yet examples of big actions with a nonabelian \\(G_2\\). Following [\\textit{K. Lauter}, J. Number Theory 74, No. 1, 56--72 (1999; Zbl 1044.11054)], the authors consider the maximal abelian extension \\(K_S^m\\) of \\(K:=\\mathbb{F}_q(X)\\) (where \\(q=p^e\\)) that is unramified outside \\(X=\\infty\\), completely split over the set \\(S\\) of the finite rational places and whose conductor is smaller than \\(m \\, \\infty\\), with \\(m \\in \\mathbb{N}\\). It follows from the uniqueness of \\(K_S^m\\) that the group of translations \\(\\{X \\rightarrow X+y, \\, y \\in \\mathbb{F}_q \\}\\) extends to a \\(p\\)-group of \\(\\mathbb{F}_q\\)-automorphisms of \\(K_S^m\\), say \\(G(m)\\), with the exact sequence  \\[  0 \\longrightarrow \\mathrm{Gal}(K_S^m/K) \\longrightarrow G(m) \\longrightarrow \\, \\mathbb{F}_q \\longrightarrow 0. \\]  For a well-chosen conductor \\(m\\), this provides examples of big actions whose \\(G_2=G_S(m)\\) is abelian of arbitrary large exponent. This also relates the problem of big actions to the search of algebraic curves with many rational points. Indeed, if \\(N_m\\) denotes the number of \\(\\mathbb{F}_q\\)-rational points of the nonsingular projective curve \\(C_m\\) with function field \\(K^m\\), then \\(\\frac{|G_m|}{g_{C_m}} \\sim \\frac{N_m}{g_{C_m}}\\), when \\(e\\) grows large.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$48A25DBE-A83A-455B-B81B-A5092897AF95","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8fcbeafb0828b66f9a4bb0b177610b41c5ed746b","datavalue":{"value":{"entity-type":"item","numeric-id":588759,"id":"Q588759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005890$95A7C051-1690-4324-AF2E-F7B8C13672BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fe3b754e44a8ee268f62dd0a164c5de5b2fac56","datavalue":{"value":"14H37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$3E6DF114-6013-4A87-92F1-04A0A8A57EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$2BE8F916-C720-4825-9AE9-56E55D19D7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$3E189063-15E8-4874-941D-F04FFBC388B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$A704A594-A3FC-4B9F-B4FF-2BFA36AF4079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7df0ed0882381e4e8bc9e74427ea4392a5dcbd94","datavalue":{"value":"5529348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$DB609175-3C55-47B3-99B0-4E2EF215D655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$975432CC-E9FF-4086-A219-3ED8590C3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b85234a4088d208056ca17e9813378a6ff0b75","datavalue":{"value":"curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$1F4667F2-91E9-4D89-93DE-A9B864325BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c311bb1df4990e5f713741bc85e92f7104593659","datavalue":{"value":"\\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$46A3BCF0-8ECA-4F25-BA7D-AFDFA9502B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54830632cce8a989da4572862f37558ab87e5b04","datavalue":{"value":"Ray class fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$F74E7932-18FA-49AB-9689-E0C46D25A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ab567f269c9062e88baade757e7164342249c5","datavalue":{"value":"Artin-Schreier-Witt theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005890$A30FD3A4-ABA0-4EBA-81D8-1641BB5FF475","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":"Q1005890$5B1DB2D7-C5D8-45BD-929E-CA2A1AD1A98E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f70f126418ed99e4d82f7dbbffce558bf76eb849","datavalue":{"value":"W2009462952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$752586D6-61C9-4DF1-9B2D-5E4B46AAD138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43427da19dce39bdc8a129ca66ac4364ced4f835","datavalue":{"value":"10.2140/ANT.2008.2.887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005890$01E15F02-E34D-4A28-A1A8-1CDE2E7A0CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba3c743522978e73757741303650086db9ef196","datavalue":{"value":{"entity-type":"item","numeric-id":1012585,"id":"Q1012585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8c542acf1d6cf87244fde0e115ffb0fb33c4a6","datavalue":{"value":{"amount":"+0.8904134035110474","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":"Q1005890$D383E880-04F2-4042-ABCC-462ED9140EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd27436ab94c886588bf2157d47dda9d7dd4aec1","datavalue":{"value":{"entity-type":"item","numeric-id":2259158,"id":"Q2259158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ae16b40d9a190259ae9836d8cab900200e7c36","datavalue":{"value":{"amount":"+0.8237154483795166","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":"Q1005890$A0B0816D-5880-41E1-B4E7-6716AC65A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ff2f9bd0f2e29312deb180458bbc27dd8d5714","datavalue":{"value":{"entity-type":"item","numeric-id":527780,"id":"Q527780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be34b9b6f4e595ccc5c209a886a5d8a827df849","datavalue":{"value":{"amount":"+0.8064661622047424","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":"Q1005890$E66041E5-AD0A-4692-BD4D-F237218C0557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963c7bab38048c2eb1fac7a81ec917c556fd78ec","datavalue":{"value":{"entity-type":"item","numeric-id":1734216,"id":"Q1734216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97da3588378d6936f2b05e495d8fe6c06b7f21d5","datavalue":{"value":{"amount":"+0.806106686592102","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":"Q1005890$D30DAB90-2F12-4B56-8334-4F7F127AB285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135824350de3e4f553e03894296a8af5729af1de","datavalue":{"value":{"entity-type":"item","numeric-id":3056577,"id":"Q3056577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d3ef34e359c796c14de13c72c4a6d54bdb433","datavalue":{"value":{"amount":"+0.7961375713348389","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":"Q1005890$913142A3-DE3F-4807-BC82-B342A9E898DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1005890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1005890"}}}}}