{"entities":{"Q6991848":{"pageid":21454092,"ns":120,"title":"Item:Q6991848","lastrevid":83998460,"modified":"2026-05-07T17:06:40Z","type":"item","id":"Q6991848","labels":{"en":{"language":"en","value":"The decomposition of permutation module for infinite Chevalley groups. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8032301"}},"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":"Q6991848$BF4E6E70-2459-48F9-835A-44448E2DDA76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9559834c3c6a0b4720ecb7b5972e1ef3735c3ecc","datavalue":{"value":{"text":"The decomposition of permutation module for infinite Chevalley groups. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6991848$BBA4B2E4-B7FC-49A4-85DB-AB9563FD057A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2b5146f58aa0fb27150785175212953c3f629d5","datavalue":{"value":"1565.20011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$480BB8E7-212C-44B3-B66C-03724EC18AFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91981bbe2f031a6ee1009cb0c37514164a9dd86d","datavalue":{"value":"10.1017/NMJ.2024.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$2A08CF34-A874-40B5-B0F9-019D442EC311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3d38d2e1f96b4063d3be7415022fee750abb84","datavalue":{"value":{"entity-type":"item","numeric-id":829428,"id":"Q829428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$113B29EA-91D0-4A9D-A108-C72D159720E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3bd4686aa0b2c79aec99a404ea8bb9aced65fd0c","datavalue":{"value":{"entity-type":"item","numeric-id":2709964,"id":"Q2709964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$1EB249AB-F595-45DB-9AC2-0E6E88FBADED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52dd936f8c0ddb15003e967ef13d55cbe84b4cbe","datavalue":{"value":{"time":"+2025-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6991848$BBECE2C1-AA27-4FB6-85BB-8C3585185103","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07a74c865c06abf752042ca9a68c49568377527e","datavalue":{"value":"Let \\(\\mathbf{G}\\) be a connected reductive algebraic group over an algebraically closed field \\(\\Bbbk\\) and \\(\\mathbf{B} \\leq \\mathbf{G}\\) a Borel subgroup.\\N\\NMotivated by the previous work of \\textit{X. Chen} and  the author [Sci. China, Math. 64, No. 5, 921--930 (2021; Zbl 1535.20236)], this article completes the analysis of the permutation module \\(\\mathbb{F}[\\mathbf{G}/\\mathbf{B}]\\) for an arbitrary field \\(\\mathbb{F}\\). The module \\(\\mathbb{F}[\\mathbf{G}/\\mathbf{B}]\\) is endowed with the structure of an \\(\\mathbb{F}\\mathbf{G}\\)-module via left translation and it is naturally isomorphic to the induced module \\(\\mathbb{F}\\mathbf{G} \\otimes_{\\mathbb{F}\\mathbf{B}} \\mathrm{tr}\\), where \\(\\mathrm{tr}\\) denotes the trivial one-dimensional \\(\\mathbb{F}\\mathbf{B}\\)-module.\\N\\NIn the earlier paper, the authors proved that \\(\\mathbb{F}[\\mathbf{G}/\\mathbf{B}]\\) has exactly \\(2^r\\) composition factors when \\(\\Bbbk = \\overline{\\mathbb{F}}_q\\) and \\(\\mathrm{char}(\\mathbb{F}) \\ne \\mathrm{char}(\\Bbbk)\\), where \\(r\\) is the semisimple rank of \\(\\mathbf{G}\\). The main result of this sequel is that the same holds for arbitrary fields \\(\\mathbb{F}\\), including the case \\(\\mathrm{char}(\\mathbb{F}) = \\mathrm{char}(\\Bbbk)\\).\\N\\NTo this end, the author constructs an explicit filtration of \\(\\mathbb{F}[\\mathbf{G}/\\mathbf{B}]\\) whose subquotients \\(E_J\\) are indexed by subsets \\(J \\subset I\\), where \\(I\\) denotes the set of simple reflections. The core of the paper is the proof that each \\(E_J\\) is irreducible and that the distinct \\(E_J\\) are pairwise non-isomorphic. The key technical innovations include a careful analysis of the structure of the unipotent radical \\(\\mathbf{U}\\) of \\(\\mathbf{B}\\), the introduction of the notion of self-enclosed subgroups of \\(\\mathbf{U}\\) and a non-vanishing property of the augmentation map on \\(E_J\\) (extending methods previously used by \\textit{A. Putman} and \\textit{A. Snowden} [Duke Math. J. 172, No. 4, 775--808 (2023; Zbl 1523.16029)] and \\textit{R. Yang} [J. Algebra 533, 17--24 (2019; Zbl 1436.20085)]).\\N\\NThe final section addresses the most delicate case, when \\(\\mathrm{char}(\\mathbb{F}) = \\mathrm{char}(\\Bbbk) > 0\\), combining combinatorial arguments with techniques from finite group theory (notably on finite \\(p\\)-groups and Serre's fixed point theory). This leads to a characteristic-free classification of the composition factors of \\(\\mathbb{F}[\\mathbf{G}/\\mathbf{B}]\\), thereby answering affirmatively the question raised by Chen and the author [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6991848$72FB23ED-A9D9-4520-89BD-53F88C84F1D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$41B98CAA-CD0F-46B6-A7DE-7370932100A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$930CF0A6-5905-43C9-8BF3-1D506478BBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$53A922DF-9716-4C79-BE37-40C030241566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$EEC6DC91-E939-4839-AC73-5B674D5FE908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c848327b7dfb250e322a3dbae71228db1e8fe404","datavalue":{"value":"8032301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6991848$55BB8969-C45B-421D-B94E-CC133D445364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca7dcc34b707e97686c0ff8b3ed276ff0d96c19","datavalue":{"value":"Chevalley group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6991848$8A978AB4-7A0D-4F7A-8BE6-C8EF35F4469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1bd1ffd9880a516b69a4a26cd9f9c297f90eea","datavalue":{"value":"permutation module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6991848$8699CCF6-5743-479C-89F2-A4C388A5F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbecd2e1b904b72467d02b972b112b57ad926e52","datavalue":{"value":"flag variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6991848$AE3ACA87-0D9C-46C4-8959-DCEC04E2A7E6","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":"Q6991848$3B1381F1-F58F-4C10-8693-BAF8A6F8A727","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e691c0e6c3dc2dffd8747217406fe50f5a87e3","datavalue":{"value":{"entity-type":"item","numeric-id":3682663,"id":"Q3682663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$46A7C3A5-A11E-4FA5-A867-0FA572DCC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c18e44afdf8425985cd6d2b4173ce93023f0d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2272958,"id":"Q2272958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$EA70C5D2-91CF-4E33-8176-B6A83A00F2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62831f0e755e41b9ccabb4e3a1a63bb499250d3","datavalue":{"value":{"entity-type":"item","numeric-id":829429,"id":"Q829429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$C952EF74-C632-4F35-89B8-40D7BFFB72AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6551f3d820815efad38c1409cd5240ca5fef1a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3419036,"id":"Q3419036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$84654CDA-35D7-4BB5-B0CA-82F3CDE47FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5df31a32b3174b47e04c1c904ea5196099c655","datavalue":{"value":{"entity-type":"item","numeric-id":1171650,"id":"Q1171650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$C040995C-5981-4FE3-958C-BBEBFF27F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054a6fdb2b288d8713b8f209c399b6cf49eafba0","datavalue":{"value":{"entity-type":"item","numeric-id":6046452,"id":"Q6046452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$2B6573AA-63A7-466A-BC1E-5F33918AD121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed57ff0fef494cfbd38ae6a3aa32f3416d6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4126536,"id":"Q4126536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$DD78FFCB-3350-47E8-B09E-1184496ECEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b0516635465dd04978d39b3f24d25eca14b505","datavalue":{"value":{"entity-type":"item","numeric-id":477055,"id":"Q477055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$F213F37D-2429-4C88-BF3E-0BD91EDAEB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624314ac9274e4b0aa0a6928598dadc19a7e98b3","datavalue":{"value":{"entity-type":"item","numeric-id":1999779,"id":"Q1999779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6991848$38B8273C-B53F-4717-AD99-BC9F03DBA239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decomposition of permutation module for infinite Chevalley groups. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decomposition_of_permutation_module_for_infinite_Chevalley_groups._II"}}}}}