{"entities":{"Q7294265":{"pageid":31179319,"ns":120,"title":"Item:Q7294265","lastrevid":105058975,"modified":"2026-09-16T04:16:47Z","type":"item","id":"Q7294265","labels":{"en":{"language":"en","value":"Matrix generators for Weil representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8222079"}},"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":"Q7294265$CCF1C0C2-36BC-43FD-8AE4-90A7F66019CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee236933c6877db290cf240c5efd71b33185fd0","datavalue":{"value":{"text":"Matrix generators for Weil representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7294265$96E268F5-AF50-4E18-ABDF-86D06D9C22DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0213f7692202e2fb0620ad8aeefaf99d8e1577","datavalue":{"value":"10.1016/J.JALGEBRA.2026.03.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294265$8E731980-2608-495F-9C3B-84948A82A41A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"153c2829109f56b528168157e7b3bf0f87777d74","datavalue":{"value":{"entity-type":"item","numeric-id":524490,"id":"Q524490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$C8936725-04F4-4DB2-B34D-C17723096FF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$04E79958-E95E-49B7-8AEC-D65B78B3F973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f614d9ae8e4b1a238e73b7b4dbd96e71e8ffee09","datavalue":{"value":{"time":"+2026-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7294265$820B32B2-DC64-4E2B-BCB2-EFC21DA2CD7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"639b06843e15361975485900a7f975663ada326f","datavalue":{"value":"Let \\(r\\) be an odd prime, and let \\( \\mathbb{F} \\) be a field containing a primitive \\(r\\)th root of unity. For all \\( \\ell\\ge 1 \\), there is an embedding of \\( Sp_{2\\ell} ( r ) \\) into \\( GL_{r^{\\ell}} ( \\mathbb{F} ) \\) arising from the Weil representation of \\( Sp_{2\\ell} ( r ) \\). The purpose of the paper under review is to provide explicit matrices that generate this copy of \\( Sp_{2\\ell} ( r ) \\) in \\( GL_{r^{\\ell}} ( \\mathbb{F} ) \\).\\N\\NLet \\(R = r_{+}^{1 + 2\\ell}\\) be an extraspecial \\(r\\)-group of exponent \\(r\\) such that \\( | R | = r^{1 + 2\\ell} \\) for some \\( \\ell\\ge 1 \\). Suppose that \\( R< GL ( W ) \\), where \\(W\\) is an absolutely irreducible \\( \\mathbb{F} [ R ] \\)-module of dimension \\( r^{\\ell} \\). Let \\( \\theta \\) be a primitive \\(r\\)th root of unity in \\( \\mathbb{F} \\). The center \\( Z ( R ) \\) is cyclic, \\( Z ( R ) = \\langle \\theta I_{W} \\rangle \\). The quotient \\( R / Z ( R ) \\) can be considered as a vector space of dimension \\( 2\\ell \\) over the finite field \\( \\mathbb{F}_{r} \\) of order \\(r\\). The group commutator induces a non-degenerate alternating bilinear form \\( b\\colon R / Z ( R )\\times R / Z ( R ) \\rightarrow \\mathbb{F}_{r} \\) on \\( R / Z ( R ) \\) with \\( [ x, y ] = \\theta^{b ( x Z ( R ), y Z ( R ) ) } \\) for all \\( x, y\\in R \\). Elements of \\( GL ( W ) \\) normalizing \\(R\\) leave invariant the bilinear form \\(b\\), so there is a homomorphism \\( \\pi\\colon N_{GL ( W )} ( R )\\rightarrow Sp_{2\\ell} ( r ) \\), where \\( \\pi ( g ) \\) is defined as the action of \\(g\\) on \\( R / Z ( R ) \\) for \\( g\\in N_{GL ( W )} ( R ) \\).\\N\\NThe normalizer \\( N_{GL ( W )} ( R ) \\) is a split extension of \\( \\ker\\pi \\), that is, the normalizer contains a subgroup \\( G\\cong Sp_{2\\ell} ( r ) \\) with \\( G\\cap\\ker\\pi = 1 \\). It is this group \\(G\\) that defines the Weil representation of \\( Sp_{2\\ell} ( r ) \\).\\N\\NTo describe the generators for \\( G\\cong Sp_{2\\ell} ( r ) \\) one has to describe the embedding \\( R < GL ( W ) \\). Let \\(V\\) be an \\(r\\)-dimensional \\( \\mathbb{F} \\)-vector space with basis \\( v_{0}, v_{1}, \\dots, v_{r-1} \\). Let \\( A, B, C, E \\) be linear maps \\( V\\rightarrow V \\) defining by\\N\\begin{align*}\\NAv_{\\xi} &= \\theta^{\\xi}v_{\\xi}, \\qquad \\qquad Bv_{\\xi} = v_{\\xi + 1},\\\\\\NCv_{\\xi} &= \\sum_{0\\le i < r} \\theta^{i\\xi}v_{i},\\quad Ev_{\\xi} = \\theta^{\\frac{\\xi ( \\xi - 1 )}{2}}v_{\\xi}\\N\\end{align*}\\Nfor all \\( 0\\le \\xi < r \\), where the indices are interpreted modulo \\(r\\). Let \\( W = V\\otimes\\cdots\\otimes V \\), \\(V\\) appears \\(\\ell\\) times in the tensor product. If \\( R_{0} = \\langle A, B\\rangle\\cong r_{+}^{1+2} \\), then \\( R_{0} \\) is absolutely irreducible. Therefore, the tensor product \\( R = R_{0}\\otimes\\cdots\\otimes R_{0} \\) (\\(\\ell\\) times) is absolutely irreducible subgroup of \\( GL ( W ) \\). As a basis for \\(W\\) the vectors \\( v_{\\xi_{1}, \\dots, \\xi_{l}} = v_{\\xi_{1}}\\otimes\\cdots\\otimes v_{\\xi_{l}} ( 0\\le \\xi_{1}, \\dots, \\xi_{\\ell} < r) \\) are taken. The following linear maps \\( A_{t}, B_{t}, C_{t}, D_{st}, E_{t} \\colon W\\rightarrow W \\) are defined for all \\( 1\\le t\\le\\ell \\) and \\( 1\\le s < t\\le \\ell \\) by\\N\\begin{align*}\\NA_{t}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} &= \\theta^{\\xi_{t}}v_{\\xi_{1}, \\dots, \\xi_{\\ell}}, \\quad B_{t}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} = v_{\\xi_{1}, \\dots, \\xi_{t-1}, \\xi_{t+1},\\dots,\\xi_{\\ell}},\\\\\\NC_{t}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} &= \\sum_{0\\le i < r} \\theta^{i\\xi_{t}}v_{\\xi_{1}, \\dots, \\xi_{t-1}, i , \\xi_{t+1}, \\dots, \\xi_{\\ell}}, \\\\\\ND_{st}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} &= \\theta^{\\xi_{s}\\xi_{t}}v_{\\xi_{1}, \\dots, \\xi_{\\ell}}, \\quad E_{t}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} = \\theta^{\\frac{\\xi_{t} ( \\xi_{t} - 1)}{2}}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} ,\\N\\end{align*}\\Nwhere \\( 0\\le \\xi_{1}, \\dots , \\xi_{\\ell} < r \\) and the indices are interpreted modulo \\(r\\). These \\( A_{t}, B_{t}, C_{t}, D_{st}, E_{t} \\) together with the group of scalar matrices in \\( GL ( W ) \\) generate the normalizer \\( N_{GL ( W ) }( R _{1} ) \\), where \\( R_{1} \\) is the subgroup of \\( GL ( W ) \\) generated by \\( A_{t}, B_{t} \\). Next define \\( U\\colon V\\rightarrow V \\) by \\( U = A^{(r+1)/2}E \\) and \\( U_{t}\\colon W\\rightarrow W (1\\le t\\le\\ell) \\) by \\( U_{t} = A_{t}^{(r+1)/2}E_{t} \\) so that \\[ U_{t}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} = \\theta^{\\frac{\\xi_{t} ( \\xi_{t} + r) } {2}}v_{\\xi_{1}, \\dots, \\xi_{\\ell}} \\] for all \\( 0\\le \\xi_{1}, \\dots, \\xi_{\\ell} < r \\). Finally define a scalar multiplier \\( \\lambda = ( -r )^{\\frac{r-1}{2}}\\det (C)^{-1} \\) so that one can change each \\( C_{t} \\) to a linear map of determinant one.\\N\\NThe main result of the paper (Theorem 1.3) states that if \\(G\\) is the subgroup of \\( GL ( W ) \\) generated by the linear maps \\( \\lambda C_{t}, D_{st}, U_{t} \\), then \\( G\\cong Sp_{2\\ell} ( r ) \\), with an isomorphism given by restriction of the map \\(\\pi\\) to \\(G\\).\\N\\NThe explicit matrices generating \\( Sp_{2\\ell} ( r ) \\) in \\( GL_{ r^{\\ell} } ( \\mathbb{F} ) \\) have been calculated using Magma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7294265$AFE770C5-FECB-4D33-912C-B5CCCCC094AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60bdcfae6553e861adc4d12a271d24a1c874ebae","datavalue":{"value":{"entity-type":"item","numeric-id":531376,"id":"Q531376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$026FB6A8-1157-4CF8-9B88-C75B6196CBD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8956ec5919d2fde3791b5b5f171aaf7f5f62031","datavalue":{"value":"20H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294265$CD86024C-4E46-44F0-B498-F45DA58212A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294265$794CC1C0-18C5-4BC8-9CF1-721625EFAFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294265$1EE79880-5C54-4771-981C-CDF6E1654EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af49ab7905375accfbbe4990cdeddb33fb91a24f","datavalue":{"value":"8222079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294265$EFAD8F12-044D-4FF2-B761-2C51143E94AD","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":"Q7294265$EC474AA0-CA6F-4EF6-976E-99181486D79F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0dc842053c264b27ffe73cb4493f92227bab55","datavalue":{"value":{"entity-type":"item","numeric-id":3275870,"id":"Q3275870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$795C6197-B9A3-4A9D-8818-07901D55687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$4456D500-431B-432C-9A1F-0B1C934E0C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db08849aa7707150e8aeef11d9120d78ebc52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1189495,"id":"Q1189495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$0B20DFE9-CE03-4543-9D84-926980099FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fcffffe201d709f646f2c0f3ebd90a7c467f91","datavalue":{"value":{"entity-type":"item","numeric-id":1238885,"id":"Q1238885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$356891B0-E8DC-4768-93BE-F5EF49F982DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52df541e9f6f42eb77485f9cd010d65559811a5e","datavalue":{"value":{"entity-type":"item","numeric-id":1204566,"id":"Q1204566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$55D02D68-3A4A-4E7F-8A72-4C58D2FAC14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d123fac1151a3441fd45bc6c12417bb850d603dc","datavalue":{"value":{"entity-type":"item","numeric-id":1858255,"id":"Q1858255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$7ADC9BD5-07EB-4217-B1B9-9E7C10195591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286cae9723e1ea1900fe972e343b7c131326b9ee","datavalue":{"value":{"entity-type":"item","numeric-id":5697468,"id":"Q5697468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$2E215724-8055-409E-B396-CE77B7276822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aef0839cbc9d10d400943573668bd8b7874a639","datavalue":{"value":{"entity-type":"item","numeric-id":5679056,"id":"Q5679056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$00A52D89-0F11-42A1-AF20-E30F2DB89F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac9f7173c0a447934544251ba303b5687c42636","datavalue":{"value":{"entity-type":"item","numeric-id":4402117,"id":"Q4402117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$78740913-FF3C-48A5-BD37-CEE08072B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e389d0986d906dc6f76fb35350bdcb90a9e2b815","datavalue":{"value":{"entity-type":"item","numeric-id":1564750,"id":"Q1564750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$79F3B81B-63B3-4E2C-A57A-0A986B5DEFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6012e87fc97b4f9ee91509eafc40e6fcba353ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1491498,"id":"Q1491498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$F6383F46-97CE-4AED-8446-471415B1D5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c4cb31835ce023650a9548f74ae3f1dd1ba4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3996618,"id":"Q3996618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$719A956E-3336-4887-B1CE-847C053E7E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb359698519cc8f45577d97546c8f71a8ff6392","datavalue":{"value":{"entity-type":"item","numeric-id":6553920,"id":"Q6553920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$71BE7088-C253-4597-B103-8A4BB8D4E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90196b01167f1972efef6562228dfb69ca719e9","datavalue":{"value":{"entity-type":"item","numeric-id":3246487,"id":"Q3246487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$C49025D8-DEB9-4838-A2C8-DFF21DA90301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f68c59a465d3e16ebd695448dbc1e18c84a93","datavalue":{"value":{"entity-type":"item","numeric-id":5690468,"id":"Q5690468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$206BE640-890F-4222-86DF-41FD38559684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452c588f2f683ea20e4af56e67073f8b99bd0b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4324962,"id":"Q4324962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$D2A5F610-CFEC-43F2-8F00-AA04661E97AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb7c1bda63fb7c76fa6378ca0191922cd0d38d9","datavalue":{"value":{"entity-type":"item","numeric-id":1461388,"id":"Q1461388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$D8E6DDBF-57A6-4B4B-A6BB-23720614E3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cfad0566db9d6ea16cd95c2ddaf754da9207ca","datavalue":{"value":{"entity-type":"item","numeric-id":1156240,"id":"Q1156240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$341C5D97-DB56-467B-9441-FD297A5FD404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db55c8c64df3514b872940a2b16e7f6f251dcc7","datavalue":{"value":{"entity-type":"item","numeric-id":4078234,"id":"Q4078234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$DE459FCE-9312-4585-A536-8729EA17D52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec65635db14e66d760a71e0963cad7f446907b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1273401,"id":"Q1273401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$7940E75F-951C-45F4-8930-EC572F753B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43d44125e8b17cab09c8f1490c2f0fe4c1468c4","datavalue":{"value":{"entity-type":"item","numeric-id":2553507,"id":"Q2553507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$6282342E-36BA-4053-914D-33C0BFF6FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27fc23c29757fd8efd506f16b8deded510fb70c","datavalue":{"value":{"entity-type":"item","numeric-id":2541375,"id":"Q2541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294265$8B3FECF6-234A-4515-99FA-0BDEDF8BC930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix generators for Weil representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_generators_for_Weil_representations"}}}}}