{"entities":{"Q6624280":{"pageid":14235432,"ns":120,"title":"Item:Q6624280","lastrevid":55776580,"modified":"2026-02-17T22:35:35Z","type":"item","id":"Q6624280","labels":{"en":{"language":"en","value":"Multiplicities and dimensions in enveloping tensor categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931886"}},"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":"Q6624280$64CD36D6-23BE-41D9-8C8E-3B60A8BAB3CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f58f02b73c1bcd7b9b6726c6fe8305db9dda03f","datavalue":{"value":{"text":"Multiplicities and dimensions in enveloping tensor categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6624280$4ABC3CB1-4C65-4C07-8911-65A326102B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f23993f1007130f5b3a3140540691575f3a349b5","datavalue":{"value":{"entity-type":"item","numeric-id":199211,"id":"Q199211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6624280$F9F959EE-A43D-476E-A586-72CBB25A636F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f9c5852273b9fb2ca87ff454001a60d57e6ed45","datavalue":{"value":{"entity-type":"item","numeric-id":6623112,"id":"Q6623112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6624280$BEB220EF-476D-44BF-836C-39E88F66D4C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9495f165e379b52c8c474f204a99b7a9dc91fe92","datavalue":{"value":{"time":"+2024-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6624280$6566A837-C41C-45DB-A266-8878D849802C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"320e9c796f442a0bd2489060195addfa5eaab344","datavalue":{"value":"First examples of non-Tannakian categories were found by \\textit{P. Deligne} [in: Algebraic groups and homogeneous spaces. Proceedings of the international colloquium, Mumbai, India, January 6--14, 2004. New Delhi: Narosa Publishing House/Published for the Tata Institute of Fundamental Research. 209--273 (2007; Zbl 1165.20300)], using an interpolation procedure. A different method for the construction of non-Tannakian categories was devised in [\\textit{F. Knop}, Adv. Math. 214, No. 2, 571--617 (2007; Zbl 1127.18004)], being based on the observation that the category of relations of a base category \\(\\mathcal{A}\\) is already rigid, symmetric, and monoidal. After making it \\(\\mathbb{K}\\)-linear and twisting the product of relations by a \\(\\mathbb{K}\\)-valued degree function \\(\\delta\\), one obtains a category \\(\\mathcal{T}=\\mathcal{T}(\\mathcal{A},\\delta)\\), which is in many cases semisimple, hence in particular abelian.\\N\\NAs for any semisimple category, the most important objects of \\(\\mathcal{T}\\) are the simple ones. The author [loc. cit.] classified the simple ones by pairs \\((x,\\chi)\\), where \\(x\\) is an object of \\(\\mathcal{A}\\) and \\(\\chi\\) is an irreducible character of its automorphism group. The corresponding simple object is denoted by \\([x]_{\\chi}^{0}\\).\\N\\NThis paper analyzes the internal structure of \\(\\mathcal{T}\\) in case it is semisimple. The simple objects in a semisimple category were already determined in [loc. cit.].\\N\\NThe paper settles the following two questions.\\N\\N\\begin{itemize}\\N\\item[(1)] How does the tensor product \\([x]_{\\chi}^{0}\\otimes[y]_{\\eta}^{0}\\) decompose in simple object?\\N\\item[(2)] What is the internal dimension \\(\\dim_{\\tau}[x]_{\\chi}^{0}\\) of a simple object?\\N\\end{itemize}\\N\\NThe paper establishes the following two theorems.\\N\\NTheorem. Let \\([x_{1}]_{\\chi_{1}}^{0}\\) and \\([x_{2}]_{\\chi_{2}}^{0}\\) be two simple objects of \\(\\mathcal{T}\\). Then we have\\N\\[\\N[x_{1}]_{\\chi_{1}}^{0}\\otimes[x_{2}]_{\\chi_{2}}^{0}\\cong\\bigoplus_{x,\\chi}\\chi T\\left\\langle (x_{1},x_{2},x)\\mid\\chi_{1}\\otimes\\chi_{2}\\otimes\\chi^{\\vee}\\right\\rangle [x]_{\\chi}^{0}\\N\\]\\Nwhere\\N\\[\\NT(x_{1},x_{2},x_{3})=\\left\\{ r\\subseteq x_{1}\\times x_{2}\\times x_{3}\\mid r\\twoheadrightarrow x_{1},x_{2},x_{3};r\\rightarrowtail x_{1}\\times x_{2},x_{1}\\times x_{3},x_{2}\\times x_{3}\\right\\}\\N\\]\\N\\NTheorem. Let \\(x\\) be an object of \\(\\mathcal{A}\\) and \\(\\chi\\) an irreducible character of \\(A=\\mathrm{Aut}_{\\tau}(x)\\). Then we have\\N\\[\\N\\dim_{\\tau}[x]_{\\chi}^{0}=\\left\\langle \\chi_{[x]^{0}}\\mid\\chi\\right\\rangle _{A}\\N\\]\\Nwhere the class function \\(\\chi_{[x]^{0}}\\) on \\(A\\) is defined as\\N\\[\\N\\chi_{[x]^{0}}(g):=\\sum_{X_{g}\\leq Z\\leq\\widehat{X}_{g}}\\mu_{q(x)^{g}}(X,Z)\\omega_{Z}\\N\\]\\Nwith\\N\\[\\N\\omega_{X}=\\sum_{y\\in S(X)}\\mu_{S(X)} (y,z) \\delta (y\\twoheadrightarrow\\boldsymbol{1})\\N\\]\\Nand \\(\\mu\\) the M\u00f6bius function.\\N\\NIn this way, the author is able to rederive a formula of \\textit{D. E. Littlewood} [Can. J. Math. 10, 17--32 (1958; Zbl 0079.03604)] for stable Kronecker coefficients and to find an apparently new identity for symmetric functions.\\N\\NThe main technical result of this paper is the subquotient decomposition, which also yields a decomposition of \\([x]\\) into simple objects. The decomposition builds up from the coarser subobject decomposition of the previous paper [\\textit{F. Knop}, Indag. Math., New Ser. 33, No. 1, 238--254 (2022; Zbl 1481.18022)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6624280$6BF13022-4BCD-48FD-9A02-A9C65FF4DFF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6624280$C8826C02-678D-4DEE-8389-0F71D631A281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a88b82390f198912b22219e8f9747d3fc06bb5b9","datavalue":{"value":"18M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$142D03B0-1C96-4AF2-B962-21E1E9C6DE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$E70152EB-5CBE-421F-A8DD-C592122C1333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0c357c394262583761baf7e798479c867609e5e","datavalue":{"value":"18E13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$E519366E-2893-4988-9631-146DE2289750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$A7A5A6A1-FBD7-48D1-8890-A7F099B0A59A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39a5811b71316e0963c08e7512cadd160c0d3063","datavalue":{"value":"7931886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$1829F0AF-E70E-4DD7-BD1B-B25E2D2EDF77","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":"Q6624280$2EA34592-2EE9-4E5C-9CFE-262ED111C938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"567c03da2588e4a4891c0b67ea1a16a6f22e038a","datavalue":{"value":"10.1093/IMRN/RNAD303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6624280$E54C6361-F4E6-4C91-A498-275DF44B8B91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a0097e8e8c403e30694afb1485d35ee26898d7","datavalue":{"value":{"entity-type":"item","numeric-id":2381847,"id":"Q2381847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e4aa3f3809cbd5b14242f808a9e5acc50bd0f5","datavalue":{"value":{"amount":"+0.7767341136932373","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":"Q6624280$F50B253F-3EFE-4D89-B890-57162786FD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c363ef751effbf16c513797582aece5ec0d5e866","datavalue":{"value":{"entity-type":"item","numeric-id":2076504,"id":"Q2076504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e31cc7ff2bab9a7bfdf84cf17b6d465dcd7a83","datavalue":{"value":{"amount":"+0.7615922689437866","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":"Q6624280$34391EB7-E7A1-493A-B461-E31E5B3DB74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad0d0469e8e3e295676034a557852d0099a54b","datavalue":{"value":{"entity-type":"item","numeric-id":2499718,"id":"Q2499718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7c3216262eb0d4d5c22d9f46849486ac20bfe0","datavalue":{"value":{"amount":"+0.7423909902572632","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":"Q6624280$AD3FB03A-896F-4243-B6A0-2DC7FC350735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006d6be2b060cf92fde21e2617b1684694032019","datavalue":{"value":{"entity-type":"item","numeric-id":1925580,"id":"Q1925580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cfbc878b2febf9120ffa01f5aa528312fb5fa1","datavalue":{"value":{"amount":"+0.7152904868125916","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":"Q6624280$0FC4925E-944F-4E2A-B7EA-28C1D3CBAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2591cdc359b96f74bcc8104f351c5c16d8e9a44","datavalue":{"value":{"entity-type":"item","numeric-id":5001963,"id":"Q5001963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8704287f1bc5d7b9c947a4607cd74d90841c5c45","datavalue":{"value":{"amount":"+0.7147448658943176","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":"Q6624280$2E43BD38-CC7F-4487-95D7-74F01740E5E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6624280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6624280"}}}}}