{"entities":{"Q854983":{"pageid":856831,"ns":120,"title":"Item:Q854983","lastrevid":64850511,"modified":"2026-04-11T22:38:50Z","type":"item","id":"Q854983","labels":{"en":{"language":"en","value":"BGG correspondence and R\u00f6mer's theorem on an exterior algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080846"}},"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":"Q854983$8DD9C5C1-2A75-4D2F-8D4C-69D5462AF395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b7f99d52489f7e893aaa9b230d8e0d01090bfb1","datavalue":{"value":{"text":"BGG correspondence and R\u00f6mer's theorem on an exterior algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q854983$2A308363-5BFA-472A-92CC-6D8C80B48563","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2f105c230ef80f227545a52bf5067f3f7087a31","datavalue":{"value":"1108.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$65B76D2F-D6F4-4304-BCB9-5EA94302802E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b642c5b8cc69fa95de1f064c0eb8a08ccccb1282","datavalue":{"value":{"entity-type":"item","numeric-id":194516,"id":"Q194516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$ACF84C44-D808-4E02-98B3-06E2C9E04309","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1c396e0531011346401ad35f2c901bcca4ddc7a","datavalue":{"value":{"entity-type":"item","numeric-id":163566,"id":"Q163566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$FF204D33-013F-488E-9CF9-C1BE55B0E6E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8040e767283f13b3f95c9a5ad3ded117e1275e38","datavalue":{"value":{"time":"+2006-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q854983$16BD4481-191D-43D5-BC31-AC9562E27CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dd86f2c185e8cd44b5b2272692d65182014de1b","datavalue":{"value":"https://arxiv.org/abs/math/0402406","type":"string"},"datatype":"url"},"type":"statement","id":"Q854983$9CAF0D49-96D8-449E-85DA-F5242931C860","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62bb705658f8f4b208ad18dca6fbadaf8ed89aa5","datavalue":{"value":"Using the correspondence of \\textit{I. N. Bernstein, I. M. Gel'fand} and \\textit{S. I. Gel'fand} [Funkts. Anal. Prilozh. 12, No.~3, 66--67 (1978; Zbl 0402.14005)] the author gives a simpler and more conceptual proof of a result of \\textit{T. R\u00f6mer} [Osaka J. Math. 38, No.~2, 469--485 (2001; Zbl 0995.13008)] which, combined with results of \\textit{A. Aramova} and \\textit{J. Herzog} [Am. J. Math. 122, No.~4, 689--719 (2000; Zbl 1012.13008)], implies the result of \\textit{D. Bayer, H. Charalambous} and \\textit{S. Popescu} [J. Algebra 221, No.~2, 497--512 (1999; Zbl 0946.13008)] on extremal Betti numbers of Stanley-Reisner rings.   Let \\(K[x_1,\\dots ,x_n]\\) be a polynomial ring over a field \\(K\\) and \\(\\text{gr}S\\) the category of finitely generated graded \\(S\\)-modules. If \\(M\\in \\text{gr}S\\), and if \\(P_M\\) is the polynomial for which \\({\\Sigma}_{i\\leq t}\\text{dim}_KM_i = P_M(t)\\) if \\(t>>0\\) then the Krull dimension \\(\\text{dim}_SM\\) equals the degree \\(d\\) of \\(P_M\\) and the multiplicity \\(\\text{e}(M)=d!\\times \\)the leading coefficient of \\(P_M\\). If \\(M^{\\bullet}\\) is a bounded complex in \\(\\text{gr}S\\), the author puts \\(\\text{d}_i(M^{\\bullet}):=\\text{dim}_S(\\text{H}^i(M^{\\bullet}))\\), \\(\\text{e}_i(M^{\\bullet}):=\\text{e}(\\text{H}^i(M^{\\bullet}))\\) and says that \\((d,i)\\in {\\mathbb N}\\times {\\mathbb Z}\\) is a \\textit{distinguished pair} for \\(M^{\\bullet}\\) if \\(\\text{d}_i(M^{\\bullet})=d\\) and \\(\\text{d}_j(M^{\\bullet})< d+i-j\\), \\(\\forall j<i\\). Then, using local duality, he shows that if \\((d,i)\\) is a distinguished pair for a bounded complex \\(L^{\\bullet}\\) in \\(\\text{gr}S\\) consisting of free \\(S\\)-modules then \\((d,-d-i)\\) is a distinguished pair for \\(\\text{D}_S(L^{\\bullet}):=\\text{Hom}_S^{\\bullet}(L^{\\bullet},S(-n)[n])\\) and in this case \\(\\text{e}_i(L^{\\bullet})=\\text{e}_{-d-i}(\\text{D}_S(L^{\\bullet}))\\).   Let \\(E=K\\langle y_1,\\dots ,y_n\\rangle \\) be the exterior algebra and \\(\\text{gr}E\\) the category of finitely generated graded \\(E\\)-modules (both left and right, with \\(ex=(-1)^{(\\text{deg}e)(\\text{deg}x)}xe\\)). The (first part of the) BGG correspondence says that the functor \\(\\text{gr}E\\rightarrow \\text{C}^b(\\text{gr}S)\\) associating to \\(N\\in \\text{gr}E\\) the complex whose \\(p\\)th term is \\(S(p){\\otimes}_KN_p\\) and with differential \\(d={\\Sigma}(x_i\\cdot -)\\otimes (-\\cdot y_i)\\) extends to and equivalence of derived categories \\(\\text{F} : \\text{D}^b(\\text{gr}E)\\rightarrow \\text{D}^b(\\text{gr}S)\\). If \\(N, N^{\\prime}\\in \\text{gr}E\\), one can naturally endow \\(\\text{Hom}_K(N,N^{\\prime})\\) with a structure of graded \\(E\\)-module such that \\(\\text{F}(\\text{Hom}_K(N,N^{\\prime}))= \\text{Hom}_S^{\\bullet}(\\text{F}(N),\\text{F}(N^{\\prime}))\\). In particular, let \\(\\text{D}_E(N):=\\text{Hom}_K(N,K(n))\\). Since \\(\\text{F}(K(n))=S(-n)[n]\\), it follows that \\(\\text{F}(\\text{D}_E(N))=\\text{D}_S(\\text{F}(N))\\). Now, as \\(\\text{H}^i(\\text{F}(N))_j\\simeq \\text{Ext}_E^{j+i}(K,N)_{-j}\\) (because the Ext is isomorphic to \\(\\text{Hom}_{\\text{D}^b(\\text{gr}E)}(K,N(-j)[j+i])\\) and F is an equivalence), R\u00f6mer's result follows by applying to \\(\\text{F}(N)\\) the above mentioned result of the author.  The author also remarks that if \\((d,i)\\) is a distinguished pair for \\(\\text{F}(N)\\) then \\(d>0\\). He proves, in fact, more general results, considering bounded complexes in \\(\\text{gr}E\\) instead of a single module, and also considering the \\({\\mathbb Z}^n\\)-graded case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q854983$CF47AF24-436E-415F-994E-CF147D8CA49D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$82DD2E2A-E475-4E9D-95EB-4DEF92B067C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$71524E44-06E9-4D55-A453-4D061D65C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$5320FEC8-3A2E-4385-8FA5-7D9E5A544D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5408cf94c8585439fdc1c7736fd361405fcf2194","datavalue":{"value":"13F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$F5FF607E-DD9A-4E66-B993-5473477531DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3d136cdabc3608543c0c14bc1f72609105bff4f","datavalue":{"value":"16E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$23074461-C5B9-437F-A06E-720603DE6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$E8D73161-1C42-4324-BE53-F3F382FAB21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c27e09fa243dec33ba15f384f6aea1342b3613","datavalue":{"value":"13D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$369BB5D3-99C5-4C70-99FA-07AE0BE62FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308b8db1e877d6c1091a42ed73b57f17d1e08312","datavalue":{"value":"5080846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$8508FB87-2471-41CB-A543-1FDD2B54E448","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"708b17012cac5bcb04a893b7df9762aa2daea143","datavalue":{"value":"Bernstein-Gel'fand-Gel'fand correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q854983$467E014E-125E-427B-8CDC-10F116B729E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc36010366d4c856b1d7a02aaa9a672deed4732","datavalue":{"value":"local duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q854983$44E19770-80CC-4D9C-B40F-4399829551BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4b16245951c8bf05dddd11bd7fd1bb2da1fc01","datavalue":{"value":"extremal Betti number","type":"string"},"datatype":"string"},"type":"statement","id":"Q854983$6F30B56D-1782-49D1-962D-1DA9532523B9","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":"Q854983$611E5C4E-0C29-4EAD-B074-E86F25D5E39D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30ff8d17d252b644b75ebdca869df3afc821f960","datavalue":{"value":"W2063538180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$C78AE010-4F60-414E-8E9A-94774982F9A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfbb192ab5390ccce8c41999d3a5e073100965f","datavalue":{"value":{"entity-type":"item","numeric-id":4699606,"id":"Q4699606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$3BD140A7-9275-43E6-B169-7260B2D72660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d09a31cc65f5eb92e85d55099cb4c219772bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4504242,"id":"Q4504242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$03C3ADF9-8679-49DB-911C-313C40169AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213602269e3d93ebb81983f12d205126fcf37db7","datavalue":{"value":{"entity-type":"item","numeric-id":1965253,"id":"Q1965253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$8D388EB7-DDEC-467C-9ADF-C1B476FB29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6854bbaa3fbf037bd4c58ec014f29d0c56126e7","datavalue":{"value":{"entity-type":"item","numeric-id":2494265,"id":"Q2494265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$FD4D2F8C-CD82-49A2-8BF4-4773A25A3148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa06c5286f4b871ce46b2d1798a491d0c4f1a64","datavalue":{"value":{"entity-type":"item","numeric-id":3843140,"id":"Q3843140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$4E6F371C-D6E5-4D36-885C-8FF5CE6FA459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d0f9eff9cae16190e8c97f4563acd302ce332e","datavalue":{"value":{"entity-type":"item","numeric-id":4419580,"id":"Q4419580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$C9540B32-E5F8-4FEA-A1D8-73039F6A099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3bc0bd19c2648160c1211bca16814047d3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":4419578,"id":"Q4419578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$2F723497-E2C3-4D51-9CCA-C58106EBFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de640c9168ee25430eb9cbed3b707597066345bc","datavalue":{"value":{"entity-type":"item","numeric-id":4889850,"id":"Q4889850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$B4F5D9BD-C32E-4E93-B786-807A96305E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc08e0e0c033dff173ef13a97fdcf7ead001f13","datavalue":{"value":{"entity-type":"item","numeric-id":4550929,"id":"Q4550929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$8326F978-D83E-42E3-820C-DCACC0B164E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987cb91c14079b8304d9c16736d6f124291d793c","datavalue":{"value":{"entity-type":"item","numeric-id":1584611,"id":"Q1584611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$8B9DFC59-0B8D-4B67-9390-84034D620C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8858175171c642b1b85db63dc71388ce032298bb","datavalue":{"value":{"entity-type":"item","numeric-id":5939269,"id":"Q5939269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$0106E7FF-3919-4CAF-AD44-5C5F83B3E841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8edb615870c876442995dedac6e1e2a273ed8ce","datavalue":{"value":{"entity-type":"item","numeric-id":1972415,"id":"Q1972415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$08474993-D1B3-4009-9C2C-CFDCE8908B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ec3dc9d43d6d58bc42d58cff1d10b5f0f020b","datavalue":{"value":{"entity-type":"item","numeric-id":1876315,"id":"Q1876315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854983$B628ACB3-707F-4DDF-A66B-49B1BCFC2521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8902c7606806982942022e20891c1d0ac71fbb61","datavalue":{"value":"10.1007/S10468-006-9037-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854983$BA03BAB6-0BFC-4A33-BC50-2C79369D5A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdef744b601ac71057d0597c23aeda9402162498","datavalue":{"value":{"entity-type":"item","numeric-id":1890285,"id":"Q1890285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064f366932dc1335dba451a6cb559a2d2710a36a","datavalue":{"value":{"amount":"+0.778060257434845","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":"Q854983$DFCC8E8C-C8E7-402B-AEB3-6DA65D03EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301575017701f340f8d4b5c3c14ca5ddbdd095f3","datavalue":{"value":{"entity-type":"item","numeric-id":4419580,"id":"Q4419580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4dd7f9d6519ddcc7d3b58ba85f71583321ba40","datavalue":{"value":{"amount":"+0.7780229449272156","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":"Q854983$A25E1E7E-D4B5-45F2-8E14-376EA2D29497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519372d6cf919d526902bb5378c92c54cf67cc7b","datavalue":{"value":{"entity-type":"item","numeric-id":2267350,"id":"Q2267350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde5944dac0052012ee1b80bfb22b2ac7a30a86c","datavalue":{"value":{"amount":"+0.7604439854621887","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":"Q854983$E2925A4F-0F03-4B0B-B277-11320F3EA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a1d145c8f4fb4aa06ddfbc717eb05fb117445f","datavalue":{"value":{"entity-type":"item","numeric-id":958063,"id":"Q958063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1874d2be6f17d4dd2a261e17773ae570e47f6fc1","datavalue":{"value":{"amount":"+0.7562912106513977","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":"Q854983$89E259E6-5DF8-49D8-9AE9-60ACC8CD69B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed04c96d72d1f774067aff98ac8b9e49adf2a186","datavalue":{"value":{"entity-type":"item","numeric-id":4504242,"id":"Q4504242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e63d4e0cdd2f5ae1ec905a78a4f23e71e025ef4","datavalue":{"value":{"amount":"+0.7557647228240967","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":"Q854983$BDF3CB1B-A99B-44F9-A8B6-66AC7304F744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BGG correspondence and R\u00f6mer's theorem on an exterior algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BGG_correspondence_and_R%C3%B6mer%27s_theorem_on_an_exterior_algebra"}}}}}