{"entities":{"Q6862626":{"pageid":20672377,"ns":120,"title":"Item:Q6862626","lastrevid":84247124,"modified":"2026-05-14T04:08:21Z","type":"item","id":"Q6862626","labels":{"en":{"language":"en","value":"Generators for the level \\(m\\) congruence subgroups of braid groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8155997"}},"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":"Q6862626$345D6A3E-51DB-4B60-B634-6A61CFB29DC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b41759d8efc9a604ad424bc20042cf655be299a","datavalue":{"value":{"text":"Generators for the level \\(m\\) congruence subgroups of braid groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6862626$5E87BC65-C04D-48AC-A7C3-8E9105B318BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86f526e0fd0bd03b79e63cd53a1bd23086f1a145","datavalue":{"value":"10.1016/J.JALGEBRA.2025.10.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862626$E9BE2D8E-9328-4462-9F2E-810B90680ACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7cd978272fe78af258aa8429b3e0fd968695f8c","datavalue":{"value":{"entity-type":"item","numeric-id":2692566,"id":"Q2692566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$FA8F93FA-0101-4EE6-B46A-BD822B0B07F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d33b640202b83b23422e1b1c9123157a72fb4c0","datavalue":{"value":{"entity-type":"item","numeric-id":6322663,"id":"Q6322663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$2516FF4F-B1D3-4975-908F-1327DFD17CE5","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":"Q6862626$F5A404EA-E8C5-47AF-9B13-CC6DEE237A78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc57803b76bc19bf04798b0b41d601913e68dca7","datavalue":{"value":{"time":"+2026-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6862626$57A883AA-26E1-4BF9-83F2-C0633101246B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88734aa55105cf6160a3d6962674500a1824c753","datavalue":{"value":"The paper under review studies the structure of the level \\(m\\) congruence subgroup \\(B_n[m]\\) of the braid group \\(B_n\\), defined via the integral Burau representation. The authors establish a clear and conceptual description of generators for these subgroups and solve a problem posed by \\textit{D. Margalit} [Proc. Symp. Pure Math. 102, 157--186 (2019; Zbl 1469.20036)] concerning their normal generation.\\N\\NThe central theme is the relationship between three subgroups of \\(B_n\\):\\N\\begin{itemize}\\N\\item the braid Torelli group \\(\\mathcal{BI}_n\\),\\N\\item the subgroup \\(B_n^m\\) generated by \\(m\\)th powers of half-twists,\\N\\item the level \\(m\\) congruence subgroup \\(B_n[m]\\).\\N\\end{itemize}\\N\\NThe results combine techniques from braid groups, symplectic groups and congruence subgroup theory.\\N\\NMain Results\\N\\NFor clarity, the principal contributions of the paper can be summarized as follows.\\N\\N\\textit{Result 1.} For \\(m \\ge 1\\) and \\(n \\ge 5\\) (and also for \\(n=3,4\\) when \\(m<6\\)), the level \\(m\\) congruence subgroup satisfies\\N\\[\\NB_n[m] = \\langle \\mathcal{BI}_n, B_n^m \\rangle.\\N\\]\\NThat is, \\(B_n[m]\\) is generated by the braid Torelli group together with the \\(m\\)th powers of half-twists. This provides a uniform generating description in the stable range and solves Margalit's problem for \\(n \\ge 5\\).\\N\\N\\textit{Result 2.} For \\(n=3,4\\) and \\(m \\ge 6\\), the equality above fails. In fact,\\N\\[\\N\\langle \\mathcal{BI}_n, B_n^m \\rangle\\N\\]\\Nhas infinite index in \\(B_n[m]\\). This clarifies precisely where the stable behavior breaks down and connects the phenomenon to the failure of the congruence subgroup property for \\(\\mathrm{SL}_2(\\mathbb{Z})\\).\\N\\N\\textit{Result 3.} Explicit normal generating sets for \\(B_n[m]\\) are obtained. In particular, for \\(n \\ge 5\\), the group \\(B_n[m]\\) is normally generated by three specific braids. This considerably simplifies previously known descriptions and strengthens earlier results of \\textit{J. Assion} [Math. Z. 163, 291--302 (1978; Zbl 0407.20030)][Math. Rep. Acad. Sci., R. Soc. Can. 1, 41--44 (1979; Zbl 0408.20025)],  \\textit{B. Wajnryb} [Math. Ann. 246, 141--154 (1979; Zbl 0399.14020)][Isr. J. Math. 76, No. 3, 265--288 (1991; Zbl 0791.20037)],  \\textit{C. Stylianakis} [Int. J. Algebra Comput. 28, No. 2, 345--364 (2018; Zbl 1396.20037)] and others.\\N\\N\\textit{Result 4.} The proof reduces the main theorem to a statement about the image of \\(m\\)th powers of transvections in the integral symplectic group, namely the inclusion\\N\\[\\NT_{x}^{2m} \\in \\Gamma_n^m \\quad \\text{for all } x \\in W_n,\\N\\]\\Nwhere \\(\\Gamma_n\\) denotes the image of the integral Burau representation. This reduction isolates the core technical difficulty and leads to a clean inductive argument.\\N\\N\\textit{Result 5.} The work establishes an analogy with Mennicke's theorem for congruence subgroups of \\(\\mathrm{Sp}_{2g}(\\mathbb{Z})\\), explaining precisely why the braid group case requires additional arguments due to the finite-index image of the Burau representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862626$2907BAD7-24C7-478C-BB6B-3EAA6BA037EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"624cd309eef60f0421ca4a694baa452cb9ef4752","datavalue":{"value":{"entity-type":"item","numeric-id":2243611,"id":"Q2243611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$23807707-542C-4621-BCEE-89C877239DDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862626$76D2F2B7-EA81-4C03-92C7-C340CF077E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862626$21B9575D-540E-4402-BFEB-FD92E9F77717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b77a1cd3e0ccc572db1b7a2d6ec0a7013047d4","datavalue":{"value":"8155997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862626$3637C513-D9F6-454B-9710-B512269A152F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42884d684a0db176107a7461dc06f6654a79f4f1","datavalue":{"value":"braid groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862626$E14C4C05-6AB2-46C7-A8E3-AE42E02E5768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8abffa0644108fc6db6734ca71a06dd21467750","datavalue":{"value":"Burau representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862626$25A8A9C0-4D18-472E-913D-88D268DF3C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862626$1E823A70-0C54-4174-BA96-E9B69F3607CF","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":"Q6862626$FC213A29-4844-481D-A459-280BF6FFC312","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1bdd8bff896eff4a06d1fb2159853e9b01e5f2","datavalue":{"value":{"entity-type":"item","numeric-id":1257978,"id":"Q1257978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$F0802F07-68C2-4561-9963-F972AFE660D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eba6ae11c69f28782ff571b1b6bc2fbd03f70c5","datavalue":{"value":{"entity-type":"item","numeric-id":4195132,"id":"Q4195132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$68E447A3-983F-4A2C-944C-944ACA44AE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843bf051dbda36867eeb747c23700848b50980de","datavalue":{"value":{"entity-type":"item","numeric-id":1142903,"id":"Q1142903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$96D75309-C82A-4976-AC23-BFA21961087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4943e61761b2b91895e5e1edda2ad0882ebac9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1455086,"id":"Q1455086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$EA64F30E-BDEF-40C8-B712-B26FE5C7522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290f48b966497d630d151d3b230eb7ce2cff205b","datavalue":{"value":{"entity-type":"item","numeric-id":7006291,"id":"Q7006291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$7F519D1E-B8E9-4BDD-9D70-BF6756458303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b54c69566942de136c0890937f99bc34f36fcdb","datavalue":{"value":{"entity-type":"item","numeric-id":683514,"id":"Q683514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$DA6EE163-1FAD-4DCE-9796-B5A8CEBC5DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbffcc2ea1ae572e28b319963954ded9b6d3263f","datavalue":{"value":{"entity-type":"item","numeric-id":2342180,"id":"Q2342180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$14F8BB44-DF08-4BDA-BF3F-3281F724D622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcedf0f2aadcd9d58e144061d4e8c462f32fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":6633117,"id":"Q6633117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$64E2C519-2FF5-419E-8E4D-E57006882445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fefcad5bfed208add63c85edfe02821b1a9be40","datavalue":{"value":{"entity-type":"item","numeric-id":3241233,"id":"Q3241233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$51AF144A-E2EA-4A71-8626-A9A27F9C1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e19704e9752c7035ed83b7c3288da2ad3d079c","datavalue":{"value":{"entity-type":"item","numeric-id":3269978,"id":"Q3269978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$428AE914-F7D3-4AB2-A032-9F993CE3B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085266fffdc988f846119f29ff2f292063d88183","datavalue":{"value":{"entity-type":"item","numeric-id":4875598,"id":"Q4875598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$0B254671-4650-4981-A6B7-05FE159C9BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbb70c2290004adccea170042b24d234feb0fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5136671,"id":"Q5136671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$047BF84D-2042-46E2-9458-BAC206831AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b27dae904152d2d11f7e12decbc11f5c9a98328","datavalue":{"value":{"entity-type":"item","numeric-id":2396040,"id":"Q2396040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$A5C5EA7D-25AA-4FFB-B449-FCBC7A679863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87677985f2b2725b1988ebe25fc211ca0b11ddd4","datavalue":{"value":{"entity-type":"item","numeric-id":1506833,"id":"Q1506833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$5E439571-778F-4113-B7B9-AF7E485A3B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adb29489110f17ca5976386ba3b638b063101ae","datavalue":{"value":{"entity-type":"item","numeric-id":1519224,"id":"Q1519224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$3475CB55-74A4-4D23-A6A9-DE6DB62AF13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9944c16f686dc5c61e17403400714de9b7d509","datavalue":{"value":{"entity-type":"item","numeric-id":5097707,"id":"Q5097707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$80F32450-94C6-4714-9A2F-20BD3958AB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e841a2718df2f0c15920defa773b7a7538ca33","datavalue":{"value":{"entity-type":"item","numeric-id":5668937,"id":"Q5668937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$AC791869-DB96-426E-B6F7-F082120E221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdf216ca983270bee7a02889ba28b11a7ad9987","datavalue":{"value":{"entity-type":"item","numeric-id":5507666,"id":"Q5507666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$7B4C26EA-8A37-44BE-9485-44BE34882CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f367494bb58b7a09060d68cb33ec3eb7ed73f34","datavalue":{"value":{"entity-type":"item","numeric-id":4634928,"id":"Q4634928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$8E365A3C-7663-46A8-972E-6204D53958B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00227e193ae5f950774671c22e8c0be031e3f79b","datavalue":{"value":{"entity-type":"item","numeric-id":1254574,"id":"Q1254574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$821FB10D-3645-457A-9523-BA946893DF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b53117fd77e3ed33aa5d8fe264ea33727b2a6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1196342,"id":"Q1196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862626$7D5CE13A-8B05-4AB4-8A45-C8452CF941C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generators for the level \\(m\\) congruence subgroups of braid groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generators_for_the_level_%5C(m%5C)_congruence_subgroups_of_braid_groups"}}}}}