{"entities":{"Q706067":{"pageid":707916,"ns":120,"title":"Item:Q706067","lastrevid":63674679,"modified":"2026-04-11T14:47:06Z","type":"item","id":"Q706067","labels":{"en":{"language":"en","value":"A Hodge decomposition for the complex of injective words."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2134758"}},"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":"Q706067$4AA1D7D5-0E2E-45B7-BC11-5F8325B7506D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8185fc0187fe6823fca3693ba3f4d32e54256724","datavalue":{"value":{"text":"A Hodge decomposition for the complex of injective words.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706067$EAA09307-5A38-4E9F-A12A-07208FFD3D87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8e855fdca9af75c3d7b86e6708cadf7b1d4cc1f","datavalue":{"value":"1086.16005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706067$2B979394-1DA7-40C2-812A-7D144102DCF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad147373f9fef88b8f24ae90cc3b2a4b08da738","datavalue":{"value":{"entity-type":"item","numeric-id":398673,"id":"Q398673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706067$3D410C23-6226-4EF3-AEE6-2D31FA481C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab369a5ae33f7863f98b4f260adf8fc0b70482b","datavalue":{"value":{"entity-type":"item","numeric-id":222789,"id":"Q222789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706067$F14B9768-37B2-4FEE-9E41-99DA043ABAA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706067$3449A571-D3F9-4243-AC17-F561B3A6E253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e1dc4e5d09058a4e51ff5aff35b48498fff31ce","datavalue":{"value":{"time":"+2005-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q706067$3DC08EEA-C1CB-44DE-9067-46154CFA124A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07b5e8fcfe9d477b486d9a8ecb75b856aa3f7bff","datavalue":{"value":"https://arxiv.org/abs/math/0311268","type":"string"},"datatype":"url"},"type":"statement","id":"Q706067$04F11584-A917-46C0-A097-F5935B154E38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0ed6a9dc33438684b22d9671eaad6481d0be2af","datavalue":{"value":"Let \\(V\\) be a \\(\\mathbb{C}\\)-vector space, \\(v_1,\\dots,v_n\\) a basis of \\(V\\) and \\(\\Gamma_r:=V^{\\otimes r}\\). Consider the linear map \\(\\partial_r\\colon\\Gamma_r\\to\\Gamma_{r-1}\\) sending \\(v_{i_1}\\otimes\\cdots\\otimes v_{i_r}\\) to \\(\\sum(-1)^{j-1}v_{i_1}\\otimes\\cdots\\otimes\\widehat{v_{i_j}}\\otimes\\cdots\\otimes v_{i_r}\\). One has \\(\\partial_{r+1}\\partial_r=0\\). The multilinear part \\(M_r\\) of \\(\\Gamma_r\\) is the vector subspace generated by \\(v_{i_1}\\otimes\\cdots\\otimes v_{i_r}\\) with \\(i_1,\\dots,i_r\\) distinct (in this case, \\((i_1,\\dots,i_r)\\) is an injective word with letters from the alphabet \\(\\{1,\\dots ,n\\}\\)). Then \\(M_\\bullet=(M_r)_{r\\in\\mathbb{Z}}\\) is a subcomplex of \\((\\Gamma_\\bullet,\\partial_\\bullet)\\). One knows that \\(H_r(M_\\bullet)=0\\) for \\(r\\neq n\\). \\textit{V. Reiner} and \\textit{P. Webb} [J. Pure Appl. Algebra 190, No. 1-3, 291-327 (2004; Zbl 1057.57003)] computed the top homology \\(H_n(M_\\bullet)\\) as an \\(S_n\\)-module, where \\(S_n\\) is the symmetric group. In the paper under review, the authors refine the result of Reiner and Webb. Using the Eulerian idempotents of the group algebra \\(\\mathbb{C} S_n\\), they decompose the complex \\((M_\\bullet,\\partial_\\bullet)\\) into a direct sum of \\(n\\) subcomplexes of \\(S_n\\)-modules, getting a Hodge decomposition \\(H_n(M_\\bullet)=\\bigoplus_{1\\leq j\\leq n}H_n^{(j)}(M_\\bullet)\\), and compute the \\(S_n\\)-module structure of each \\(H_n^{(j)}(M_\\bullet)\\) (in particular, its dimension is equal to the number of derangements with exactly \\(j\\) cycles). The proof uses previous results of \\textit{P. Hanlon} [Mich. Math. J. 37, No. 1, 105-124 (1990; Zbl 0701.16010)]. Second, the authors study the Laplacian \\(\\Lambda_\\bullet\\) associated to the complex \\((M_\\bullet,\\partial_\\bullet)\\). Let \\(\\delta_r\\colon M_r\\to M_{r+1}\\) be the linear map whose matrix with respect to the standard bases is the transpose of the matrix of \\(\\partial_{r+1}\\colon M_{r+1}\\to M_r\\). The Laplacian \\(\\Lambda_r\\colon M_r\\to M_r\\) is \\(\\delta_{r-1}\\partial_r+\\partial_{r+1}\\delta_r\\). The authors show that \\(\\Lambda_n\\) is closely connected to the transition matrix for random to random shuffling of a deck of \\(n\\) cards and compute \\(\\Lambda_r\\), for \\(r