{"entities":{"Q1915547":{"pageid":1926289,"ns":120,"title":"Item:Q1915547","lastrevid":73903395,"modified":"2026-04-14T17:40:44Z","type":"item","id":"Q1915547","labels":{"en":{"language":"en","value":"On the filtration of topological and pro-\\(\\ell\\) mapping class groups of punctured Riemann surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 894111"}},"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":"Q1915547$87DC80C9-CE39-41B9-B3DE-34A099EA59C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cec51795db31a336213d96bd7fe1be7fcad56a2","datavalue":{"value":{"text":"On the filtration of topological and pro-\\(\\ell\\) mapping class groups of punctured Riemann surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1915547$6DAE46E0-800C-40C2-AE36-96823ECBD99B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dbc45eb9a9029dd4a480060854b7c85e85fe8ca","datavalue":{"value":"0914.57001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$22853075-27A8-47CA-B741-373659F37E4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4dd687faaf886659bf803922ffb1fe23d47a1b","datavalue":{"value":{"entity-type":"item","numeric-id":194939,"id":"Q194939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915547$B19CF83E-3EC5-4C89-9BA2-4F22BA3A1597","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915547$F83E1B18-5216-4069-B9AA-EFBB7487D6B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e7fbbd683a03463c3422bfa8218218d1a58508","datavalue":{"value":{"time":"+1996-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1915547$91144A6F-335E-47AE-8A93-E958C1FA1AAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bac35ded8c246928eaa207f9787b03e618fa548","datavalue":{"value":"Let \\(R_{g,n}\\) be a Riemann surface of genus \\(g\\geq 0\\) with \\(n\\geq 0\\) punctures, and \\(\\Gamma_{g,n}\\) be the pure mapping class group of \\(R_{g,n}\\). As is well known, \\(\\Gamma_{g,n}\\) is isomorphic to a certain subgroup of the outer automorphism group of the topological fundamental group \\(\\pi_{g,n}\\) of \\(R_{g,n}\\). The group \\(\\pi_{g,n}\\) has a natural filtration \\(\\{\\pi_{g,n}(m)\\}^\\infty_{m=1}\\) called the weight filtration, which is introduced by T. Oda. This filtration naturally induces a filtration \\(\\{\\Gamma_{g,n}[m]\\}^\\infty_{m=0}\\) of \\(\\Gamma_{g,n}\\). The aim of this paper is to serve some basic results about this filtration. In this paper, we assume that \\(2-2g-n<0\\), which is equivalent to that the group \\(\\pi_{g,n}\\) is non-abelian.    Recall that there exists a canonical exact sequence \\(1\\to\\pi_{g,n-1} @>d_*>> \\Gamma_{g,n} @>p_*>> \\Gamma_{g,n-1} \\to 1\\). The homomorphism \\(p_*\\) is induced from ``forgetting'' the \\(n\\)-th puncture and the homomorphism \\(d_*\\) can be explicitly described by a result of Birman. Then, it can be shown that the homomorphisms \\(d_*\\) and \\(p_*\\) preserve the filtrations, hence we have a complex  \\[ 0\\to\\text{gr}(\\pi_{g,n-1})\\to\\text{gr}\\bigl(\\Gamma_{g,n}[1]\\bigr)\\to\\text{gr} \\bigl(\\Gamma_{g,n-1} [1]\\bigr] \\to 0. \\tag{*} \\]  Here, each associated graded module gr(\\ ) has a structure of a graded Lie algebra. Moreover, if \\(g\\geq 1\\), the Siegel modular group \\(\\text{Sp}(2g;\\mathbb{Z})\\) naturally acts on them.   Theorem A. If \\(n\\geq 2\\), the complex (*) is an exact sequence of graded Lie algebras with \\(\\text{Sp}(2g;\\mathbb{Z})\\)-action.   The second result is about the comparison of \\(\\Gamma_{g,n}\\) with the pro-\\(l\\) mapping class group, \\(l\\) being a fixed prime number.   Theorem B. (i) For each \\(m\\geq 1\\), the \\(\\mathbb{Z}\\)-module \\(\\text{gr}^m (\\Gamma_{g,n})\\) and the \\(\\mathbb{Z}_l\\)-module \\(\\text{gr}^m (\\overline \\Gamma_{g,n})\\) are free of finite rank and \\(\\text{gr}^m (\\varphi_l)\\) induces an injective homomorphism  \\[ \\text{gr}^m (\\Gamma_{g,n}) \\otimes_\\mathbb{Z} \\mathbb{Z}_l\\to \\text{gr}^m (\\overline \\Gamma_{ g,n}). \\tag{**} \\]  If \\(g\\geq 1\\), this homomorphism is \\(\\text{Sp}(2g)\\)-equivariant.   (ii) Assume that \\(g\\neq 1\\). Then we have \\(\\overline {\\Gamma_{g,n} [m]}= \\overline \\Gamma_{g,n} [m]\\) \\((m\\geq 0)\\), hence the homomorphism (**) is an isomorphism.   There are two crucial points for the proof of the results. One of them is that the graded Lie algebras \\(\\text{gr} (\\pi_{g,n})\\) and \\(\\text{gr} (\\pi_{p,n})\\otimes_\\mathbb{Z} \\mathbb{F}_p\\) \\((p\\): prime) have trivial center. Another one, which is for the proof of Theorem B (ii), is some properties of the symplectic group, especially the congruence subgroup property of \\(\\text{Sp}(2g; \\mathbb{Z})\\) \\((g\\geq 2)\\). In fact, in the case that \\(g=1\\) (and \\(n=1)\\), an analogous result does not hold.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915547$F76B1107-FF63-4F5D-ABDD-AACD5DC86B4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$212BF239-30C1-498B-918C-B83AAA86EEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac5ea3dde0e433b8e52fdd8b30e44c5d6afa64ba","datavalue":{"value":"14H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$52D2EEF6-792D-49D6-9417-8D1141B962F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"adab020d252f1ca7f9815cc1cdbd7cf1e65b1f96","datavalue":{"value":"57N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$3CEA1AEC-C86B-4FF1-959E-4083C888D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78ac1e6639180042767cac77f5f80d5833b9196f","datavalue":{"value":"30F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$706FEF51-2860-495A-AC15-290DFEF47511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"823ce3a8e7990f50081f099effd269fded7cf8bd","datavalue":{"value":"894111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$49851133-ABCF-48DB-9073-20AFC27B4E6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f01c63a513f125459282840bb2a6bdc5a15900","datavalue":{"value":"Riemann surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915547$22077A55-47B1-4092-9040-442F27AAB0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4fa977a3ad7bb2207a46e2d2c07e5dd30478aa","datavalue":{"value":"mapping class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915547$98662686-5E39-4D41-8D32-83DAA2BC826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915547$583F032B-A606-4BD2-974C-9D33DAF35D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e22d1d6f9dba651950e46988b40d95d10b4e23","datavalue":{"value":"weight filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915547$15A070B3-DEA8-4E00-813A-E0941C5E5558","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":"Q1915547$21EE47A1-AA28-4A60-B723-15AF7D9C0FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2090badcfae5b9eea7c18d5ce08bd6c37c26b7d4","datavalue":{"value":"https://doi.org/10.2969/jmsj/04810013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1915547$92817E41-63CB-4D2F-8658-77A3D2B9E300","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"489ba1612bcdc900cb6526f8f214ca19db9de48d","datavalue":{"value":"W2112762758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$DC5047F7-CE40-449F-86C2-59BCBF7AFC0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d96eb09da25df4372a3f034af3b559c91648a63","datavalue":{"value":"10.2969/JMSJ/04810013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915547$A11694E6-7972-49B5-8DDE-BAD75B7310BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12030725e2354772f65052c40c8600e268fca92d","datavalue":{"value":{"entity-type":"item","numeric-id":1591078,"id":"Q1591078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c60b3bd05bc7a1ce1e1dcb5028fcfdb9af28fd1","datavalue":{"value":{"amount":"+0.8483113646507263","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":"Q1915547$C1CBD1C4-CB8D-40D1-BB51-A0B9F5F89546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf0c844264da6542339f93a5cb79753238d2b84","datavalue":{"value":{"entity-type":"item","numeric-id":1895073,"id":"Q1895073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa221c248c78d172fca2b0b2e0279297d0bb779","datavalue":{"value":{"amount":"+0.8106544017791748","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":"Q1915547$5F40E73A-848F-472A-ACD4-C52F0D96F2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ea6e783c30e3559191f3dda23969da220b0c74","datavalue":{"value":{"entity-type":"item","numeric-id":3033957,"id":"Q3033957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ab4fd8c8199496f35be248474ed1c516e53814","datavalue":{"value":{"amount":"+0.7977293729782104","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":"Q1915547$B703F919-4767-47A1-ABDD-7014DC2CCF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6caf5d7d1238c70c2c374f505053c60965f157","datavalue":{"value":{"entity-type":"item","numeric-id":5252300,"id":"Q5252300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9114230235bbf5c6f57b50428378560ae5d004cb","datavalue":{"value":{"amount":"+0.7802612781524658","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":"Q1915547$D935B358-63B6-4D35-8E38-F29B059F9F01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the filtration of topological and pro-\\(\\ell\\) mapping class groups of punctured Riemann surfaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_filtration_of_topological_and_pro-%5C(%5Cell%5C)_mapping_class_groups_of_punctured_Riemann_surfaces"}}}}}