{"entities":{"Q635462":{"pageid":637310,"ns":120,"title":"Item:Q635462","lastrevid":57122157,"modified":"2026-03-26T17:06:23Z","type":"item","id":"Q635462","labels":{"en":{"language":"en","value":"The invariants of the second symmetric power representation of \\(\\mathrm{SL}_2 (\\mathbb F_q)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5941006"}},"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":"Q635462$E1562B2D-4B42-4DE7-8410-5D3F7A0187FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d30f3d92cd49496e48e2838571f4dfa9e29701","datavalue":{"value":{"text":"The invariants of the second symmetric power representation of \\(\\mathrm{SL}_2 (\\mathbb F_q)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q635462$C3E42001-6A4C-46DC-B711-41045F417620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b2e84cfde538d085b7541440e0d6e0fa0f1b287","datavalue":{"value":"1233.13002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q635462$15B50B38-840A-41A4-B51F-DA1C0647CD93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0490167f04922668f40296105cdf8442a205fc66","datavalue":{"value":{"entity-type":"item","numeric-id":635460,"id":"Q635460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$98BD1241-AE4D-4A08-85D8-8D4040DCC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9892388622184dbd1d1506ea08068016cd1d2","datavalue":{"value":{"entity-type":"item","numeric-id":635461,"id":"Q635461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$ABC71AD1-569F-4743-A05C-0C4EE4820691","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$943DBD4F-3141-4938-947F-52B6B9629061","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q635462$EF6F493A-CC1F-4E14-B590-A035AB87AF9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1e3049bf4e38264dee2204883d1501a9b050368","datavalue":{"value":"https://arxiv.org/abs/1002.4318","type":"string"},"datatype":"url"},"type":"statement","id":"Q635462$58DF013E-FCFD-47DB-B60A-DBDB75AA06C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dccf586187b63d604e43ee6e02fe0f0ba2b48aa7","datavalue":{"value":"Calculating the invariants of the action of \\(\\mathrm{SL}_2(\\mathbb C)\\) on a binary form was a central problem in classical invariant theory. In modern terminology, this amounts to computing a generating set for the ring of invariants for a symmetric power of the defining module for \\(\\mathrm{SL}_2(\\mathbb C)\\). It is natural to consider the analogous problem for \\(\\mathrm{SL}_2(\\mathbb F)\\) with \\(\\mathbb F\\neq \\mathbb C\\).  Consider the generic binary quadratic form over a field \\(\\mathbb F\\) of characteristic \\(p>2: a_0X^2+2a_1XY+a_2Y^2\\). Then we have a left action of the general linear group \\(GL_2(\\mathbb F)\\) on the second symmetric power \\(V=\\mathrm{Span}_{\\mathbb F}[Y^2,2XY,X^2]\\).  Next, for \\(q=p^n\\) we have \\(\\mathbb F_q\\subseteq\\mathbb F\\) and \\(\\mathrm{SL}_2(\\mathbb F_q)\\leq GL_2(\\mathbb F)\\). The main goal of the present paper is to describe \\(\\mathbb F[V]^{\\mathrm{SL}_2(\\mathbb F_q)}\\). As the authors admit, this work generalizes and was inspired by Dickson's solution to the \\(q=p\\) case [\\textit{L. E. Dickson}, On invariants and the theory of numbers. The Madison Colloquium (1913, Part 1, Lecture II, Sections 8-9) AMS, reprinted by New York: Dover Publications, Inc. (1966; Zbl 0139.26603)].  More specifically, the main results are described in the following lines. For any \\(c\\in\\mathbb F_q\\) denote by \\(\\sigma_c=\\{\\alpha_{i,j}\\}\\) the matrix with entries \\(\\alpha_{11}=\\alpha_{22}=1,\\alpha_{12}=c\\) and \\(\\alpha_{21}=0\\). Let \\(P\\) denote the subgroup \\(\\{\\sigma_c| c\\in\\mathbb F_q\\}\\). \\(P\\) is a Sylow \\(p\\)-subgroup of \\(\\mathrm{SL}_2(\\mathbb F_q)\\). The orbit products \\(\\beta=\\prod a_1P=\\prod_{c\\in\\mathbb F_q}(a_1+ca_0)=a_1^q-a_0^{q-1}a_1\\) and, for \\(k\\in\\mathbb F_q\\), \\(\\gamma_k=\\prod(a_2-ka_0)P=\\prod_{c\\in\\mathbb F_q}(a_2+2ca_1+(c^2-k)a_0)\\) are \\(P\\)-invariant. The discriminant \\(\\Delta=a_1^2-a_0a_2\\) is a well-known \\(\\mathrm{SL}_2(\\mathbb F_q)\\)-invariant.  In Section 2, the authors show that \\(\\mathbb F[V]^P\\) is the hypersurface generated by \\(a_0,\\Delta,\\beta,\\gamma_0\\) subject to the relation \\(\\beta^2=a_0^q\\gamma_0+\\Delta(\\Delta^{\\frac{q-1}{2}}-a_0^{q-1})^2\\).  Let \\(\\mathcal Q\\) the set of quadratic residues in \\(\\mathbb F_q\\) and let \\(\\overline{\\mathcal Q}\\) denote the set of quadratic non-residues. Define \\(\\Gamma=\\prod_{k\\in\\overline{\\mathcal Q}}\\gamma_k, B=\\beta\\prod_{k\\in\\mathcal Q}\\gamma_k\\) and \\(J=a_0\\gamma_0\\). In Section 3 the authors prove their main result that \\(\\mathbb F[V]^{\\mathrm{SL}_2(\\mathbb F_q)}\\) is the hypersurface generated by \\(\\Delta,J,\\Gamma,B\\) subject to a relation of the form \\(B^2=\\Delta^q\\Gamma^2+J\\Phi(\\Delta,J,\\Gamma)\\) for some polynomial \\(\\Phi\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q635462$BDE05B6B-9E94-47A0-B659-B351F1DC678C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22a1738ec898718398c3a6a6c85df9d2395fea37","datavalue":{"value":{"entity-type":"item","numeric-id":236977,"id":"Q236977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$1E4EBF13-A232-4C00-85F5-AA26ED24F41A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q635462$800331B2-3698-4AA9-B34D-A62B9B507428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48c950f4b00141c9125fc7ec31f2e8091d88a8f3","datavalue":{"value":"5941006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q635462$3031D081-5A93-4486-B897-FD8014EA51E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6809da8144eefbebd27ddd961b0bb29da81b1ef5","datavalue":{"value":"binary quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q635462$99BCBFBA-1BA0-4BB2-8DED-7306A0BAF18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q635462$BE9D8421-AE2E-4B43-85F5-28761684C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddafbf43c0ef36e41ae2e729e7c40b0afb838b91","datavalue":{"value":"second power representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q635462$70883B3D-1225-4F1E-93C3-D5F54B9B06CC","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":"Q635462$4AD80927-8679-4E72-9358-1DC5E22334D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51d4cac77f58e21dd935d2a11df100cc777f0891","datavalue":{"value":"W2962794475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q635462$EC0FA1B0-0D16-47C4-B29E-12BA4801C7EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2531fbba6435377f9ab02778a32f6262cffb31","datavalue":{"value":{"entity-type":"item","numeric-id":4273960,"id":"Q4273960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$D2250639-8F36-4E44-A13A-3B5E2AD0A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6042027f21ef9ab9cc65f9830632b3c49c27d1","datavalue":{"value":{"entity-type":"item","numeric-id":3592086,"id":"Q3592086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$D06A42C8-C980-4A24-A823-C8A6240B0840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acaa075c8fa37c63d9e924b3d16603f316a18440","datavalue":{"value":{"entity-type":"item","numeric-id":1233930,"id":"Q1233930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$F1DB802E-CC28-4D5B-9118-3EE1D8AB6A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0ab190128ab76c79dbf14e5331354afbf4d753","datavalue":{"value":{"entity-type":"item","numeric-id":1604830,"id":"Q1604830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$D22AB2DE-D68C-41FA-83CB-96F4C5C6CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dfc41464b3bd51927c82cf35ac6a1e4c0afeaa","datavalue":{"value":{"entity-type":"item","numeric-id":4293546,"id":"Q4293546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$520B2CC3-FB81-440A-86C8-A548775AE41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac97f0415986a32aa75eb017a37418421318747a","datavalue":{"value":{"entity-type":"item","numeric-id":651241,"id":"Q651241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$0810319A-1233-4C29-AA06-C8F482FA8DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3f495ff3e5f6a5ffd8e2155702c5226f3a0f58","datavalue":{"value":{"entity-type":"item","numeric-id":2626875,"id":"Q2626875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$59581FAB-FAC6-46F1-BEA8-40760ADCB55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f691b4ae14c06991211a8eac5c4d764df6f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":855746,"id":"Q855746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$39244EF1-B937-44ED-95DA-280B6277D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20af6b65f2420c01e2417f9ee78e94503c193659","datavalue":{"value":{"entity-type":"item","numeric-id":3033866,"id":"Q3033866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$71CD66F3-6B0C-40CB-87D7-FBFF5EDBB573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e643743451ece0c06a0edd05bf2a43a013e6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4671975,"id":"Q4671975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$64716873-8651-4889-88D0-B3BA0BA25252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$40C0B854-E619-4802-A561-1B5EDB20F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc2feab8c0f8ec0ae8c45f360ad4f02ea898ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2771508,"id":"Q2771508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$AC3B98DB-1335-4245-A525-F9D83804029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d7f34e1d3e9532df5d3f25cc589e208c0cc843","datavalue":{"value":{"entity-type":"item","numeric-id":5203133,"id":"Q5203133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$90DB3D22-031D-4611-9226-465EF14AF647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf2a2cf9a1bb52c31ffd60f4cbf304681d2b868","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$52F4F965-4BC2-4CC5-9EB3-87C4341E4519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4444dea46fb6cf9bdf4db1024278a149d5a0633","datavalue":{"value":{"entity-type":"item","numeric-id":4004234,"id":"Q4004234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q635462$148872BD-470E-443A-AF45-D1BF59DA0680","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60eb795ef9c2b83116d0cf0aff3e39eb41116358","datavalue":{"value":"10.1016/J.JPAA.2011.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q635462$EC9979F0-1CA9-4054-ADA0-0A0EA959FC70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614edceb2644a7c3e641caf7bb1ab1bb4f8653e","datavalue":{"value":{"entity-type":"item","numeric-id":651241,"id":"Q651241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bca474c7e890e40859db1d502871d0db9d0086c","datavalue":{"value":{"amount":"+0.8959362506866455","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":"Q635462$A4A81CBF-A613-4F8D-ACC6-BBD9B9BE0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17ad56af16ae1761b0fdc3c7b60cbe5708ed333","datavalue":{"value":{"entity-type":"item","numeric-id":4033138,"id":"Q4033138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fe7d18bf29c3c4bc86b6e13be492a682db9a36","datavalue":{"value":{"amount":"+0.8588820099830627","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":"Q635462$AD406A02-A240-456F-B7C8-843191FF07F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d4757e562cc4cb0b109fa3afec25e6368a42cc","datavalue":{"value":{"entity-type":"item","numeric-id":1306907,"id":"Q1306907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9a51dd72f75294299c5fc3afe45509481c0f8c","datavalue":{"value":{"amount":"+0.8204526901245117","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":"Q635462$EBD49B78-B927-4A0E-82CB-596451CF9680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f6f97f4df5aa2b91342c878afb0ce199adc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1923534,"id":"Q1923534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05418519918b126a482b80ee16461fe0364372d","datavalue":{"value":{"amount":"+0.8091127872467041","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":"Q635462$A1B59539-5CD1-4DA5-A810-AFBEB074F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd66be4f51efae08979d5cd54ea9c32bb8395052","datavalue":{"value":{"entity-type":"item","numeric-id":1183289,"id":"Q1183289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfc600bb127695913da0a2dc5d661e64e89ed13","datavalue":{"value":{"amount":"+0.7892066836357117","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":"Q635462$C71B4565-41D2-43D6-B940-BC2E53E008F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:635462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:635462"}}}}}