{"entities":{"Q2851197":{"pageid":2861917,"ns":120,"title":"Item:Q2851197","lastrevid":83867609,"modified":"2026-05-07T13:04:56Z","type":"item","id":"Q2851197","labels":{"en":{"language":"en","value":"Numerical invariants for equivariant cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214604"}},"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":"Q2851197$728224BF-844E-4F9E-A719-E2E2A38236EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"155b988b0515af742b612b1a8e6faa4d92750e87","datavalue":{"value":"1280.55004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$E2EB6B8B-D868-4999-9AC8-A7861907AAF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"174f5df8dae7729c6545b8e08bd46482fea9dc8e","datavalue":{"value":{"entity-type":"item","numeric-id":379431,"id":"Q379431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851197$31883545-8B83-41D5-8D8E-60CDC666C299","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b43bf5288dc1ba675e9da92121dc9df495bd0ed3","datavalue":{"value":{"entity-type":"item","numeric-id":2716942,"id":"Q2716942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851197$1C4A1714-7109-401A-B91A-0F22FE9BABC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b924bdcab1a805ec7a84a6d050c0c2e1a9ae3ca5","datavalue":{"value":{"time":"+2013-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851197$AAF85614-54A3-4F12-8D1F-B3CC2EE6C38B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$7B6CB4B7-3E7A-43F2-B528-4046AE02228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c62b5b36b2f454d6319824daa5bbffe05fc1283","datavalue":{"value":"57S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$E7CAEBC0-18AA-4DC2-9228-F8B75F49D577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$32B86250-8FC3-4E28-89DA-B1E289211A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf1e75ebc624ef6c9f61d170504d1618183cff7c","datavalue":{"value":"6214604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$215AF953-A9B4-4CAF-B93E-4D4F018E0916","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f2268729fd40194c1da21b492fba4caecd0b953","datavalue":{"value":"Borel equivariant cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851197$FF9F6B3C-3533-4550-9D5C-B185E82A8A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72749d685f3cc5553af273edca01ca451c9eaf70","datavalue":{"value":"finite or compact Lie group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851197$BC80390C-C620-439A-90BA-B8FC08140C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e59002fbfa2ce7725bb26cba3e4cf168d4d1f4e","datavalue":{"value":"elementary abelian \\(p\\)-subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851197$D83AC5DD-7BF4-4266-A27D-3CED36F463FF","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":"Q2851197$51C4513F-F4FF-4093-9524-D95192D859DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38c125be8dd68299d0eb325763f5bac946eb70b","datavalue":{"value":"https://doi.org/10.1093/qmath/hat011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851197$722C3334-6249-47F9-A0C4-BD8910033951","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e56ca715ce275caf739242250b69f74a1c0ce9d","datavalue":{"value":"W1967307151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$52A90D6B-377C-4416-A598-D03FBD029CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6846623559107922f3b5e31d9880b5c335f2e7dd","datavalue":{"value":"10.1093/QMATH/HAT011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851197$4643F9A7-B024-49B9-B608-B2BAE183962D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f36b0057fa7df579caf51ebc2b688bbb4d66e75","datavalue":{"value":{"text":"Numerical invariants for equivariant cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851197$716B8367-A9A2-42CA-9091-D3E9D91B4778","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf9df6cafe89609798d269f9dd3fbab3de7ef42c","datavalue":{"value":"Let \\(G\\) be a finite or compact Lie group, \\(p\\) be a prime such that \\(G\\) has at least one element of order \\(p\\) and \\(X\\) be a \\(G\\)-space. Suppose that the Borel equivariant cohomology ring \\(H_G^*(X)=H^*(EG\\times_GX, k)\\) is finitely generated as a module over \\(H^*_G=H^*(BG, k)\\). In this paper the author proposes an approach for studying primary decompositions of the zero submodule of \\(H_G^*(X)\\).NEWLINENEWLINELet \\(\\mathcal{A}(G, X)\\) denote a category whose objects are pairs \\((A, c)\\) where \\(A\\) is an elementary abelian \\(p\\)-subgroup of \\(G\\) and \\(c\\) is a component of \\(X^A\\), and whose morphisms \\((A, c) \\to (B, d)\\) are defined by giving \\(g \\in G\\) such that \\(gAg^{-1} \\subseteq B\\) and \\(d \\subseteq gc\\). Let \\(C_G(A, c)\\) be the subgroup of the centralizer \\(C_G(A)\\) of \\(A\\) in \\(G\\) consisting of elements \\(g\\) such that \\(gc=c\\). Then the multiplication map \\(m : C_G(A, c) \\times A \\to G\\) induces a homomorphism \\(m^*=m^*_{(A, c)}(G, X) : H^*_G(X) \\to H^*_{C_G(A, c)}(c)\\otimes H^*_A\\). The cases of \\(p=2\\) or \\(p\\) odd are discussed separately.NEWLINENEWLINEIf \\(p\\) is odd, then \\(H^*_A\\) is the tensor product of a polynomial ring over \\(k\\) in variables \\(t_1, \\dots, t_a\\) of degree 2 and an exterior algebra over \\(k\\) in variables \\(e_1, \\dots, e_a\\) of degree 1 where \\(a=\\text{rank} \\, A\\). So for every homogeneous element \\(x \\in H^*_G(X)\\) we can write \\(m^*(x)\\) as an expression in \\(t_1, \\dots, t_a\\); \\(e_1, \\dots, e_a\\) with coefficients in \\(H^*_{C_G(A, c)}(c)\\). We define \\(j^{\\beta, \\alpha}_{(G, X), (A, c)}\\) to be the submodule of \\(H^\\alpha_G(X)\\) generated by \\(x\\) such that \\(m_j(x)=0\\) for \\(j > \\alpha-\\beta\\) where \\(m_j(x)\\) denotes the \\(j\\)th term of \\(m^*(x)\\), and set \\(j^{(u)}_{(G, X), (A, c)}=\\bigoplus^\\infty_{\\alpha=0} \\;j^{u, \\alpha}_{(G, X), (A, c)}\\) if \\(A\\neq 1\\) (the case when \\(A=1\\) omitted). The map \\(m\\) above also induces a ring homomorphism \\(m^*_{\\mathcal{A}(G, X), n}\\) of \\(H^*_G(X)\\) into \\(\\Pi_{(A, c)\\in \\mathcal{A}(G, X)} \\;H^{<n}_{C_G(A, c)}(c)\\otimes H^*_A\\). The number \\(n_0(G, X)\\) is then defined as the least \\(n\\) such that \\(\\text{ker} \\;m^*_{\\mathcal{A}(G, X), n}=0\\).NEWLINENEWLINEDenote by \\({\\mathfrak p}_{(G, X), (A, c)}\\) the kernel of the composite of the canonical ring homomorphisms \\(H^{\\text{ev}}_G(X) \\to H^{\\text{ev}}_A(c) \\to H^{\\text{ev}}_A \\to H^{\\text{ev}}_A/\\sqrt{0}\\). Then the main theorem states that if \\((B_1, b_1), \\dots , (B_t, b_t)\\) is a set of representatives for the isomorphism classes in \\(\\mathcal{A}(G, X)\\) of those \\((B, b)\\) for which \\({\\mathfrak p}_{(G, X), (B, b)} \\in \\text{Ass}_{H^{\\text{ev}}_G(X)}H^*_G(X)\\), then \\(n_0(G, X) < \\infty\\) and \\(0=\\bigcap^t_{i=1} \\;j^{(u)}_{(G, X), (B_i, b_i)}\\) is a reduced primary decomposition of \\(0\\) in the \\(H^{\\text{ev}}_G(X)\\)-module \\(H^*_G(X)\\).NEWLINENEWLINEIn the last section the theory developed here is illustrated again via an example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851197$9BBBC4A1-0A3C-4618-9F9E-ED748ADD347E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c993c33cff342651cbbd54e4f5b587ad2b93dd47","datavalue":{"value":{"entity-type":"item","numeric-id":329669,"id":"Q329669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851197$0F758637-62F5-496F-891C-7C07AF1CA593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ff6d5ae4eccaebe7dafeacc29c3e24990d8dbd","datavalue":{"value":{"entity-type":"item","numeric-id":797870,"id":"Q797870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4eeb167c79d23aff4aa87c70bd629c60ab71cc3","datavalue":{"value":{"amount":"+0.7827879786491394","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":"Q2851197$E32D365F-DBEF-4F50-ABE3-F0AE8F83194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9f1c26c563c369a984e73b49c4461f2f5af5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3679895,"id":"Q3679895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2468519a69ec27d5a92c3ea1fbea97cc3c18f0c4","datavalue":{"value":{"amount":"+0.776175320148468","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":"Q2851197$C4F0CDB3-833D-495B-A931-61439DD67D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aacaa20083e419a313dda6a1cf77b2fcd26de18","datavalue":{"value":{"entity-type":"item","numeric-id":2862132,"id":"Q2862132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6913d1826ee30e7bece8eb34625022229cb4fe78","datavalue":{"value":{"amount":"+0.7578577399253845","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":"Q2851197$8C39977A-C727-400C-8E82-C035563611FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dfdc734f099511c32f93c70badba1715c596247","datavalue":{"value":{"entity-type":"item","numeric-id":911110,"id":"Q911110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b68bac605e0389133e5d55747562eed84fecebd","datavalue":{"value":{"amount":"+0.7506037950515747","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":"Q2851197$2E8B9FFC-CEDD-4B30-949B-FCEC52A51C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a8f016e7c862e371ad64150daeea4ba6953547","datavalue":{"value":{"entity-type":"item","numeric-id":1292641,"id":"Q1292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab42fe188f9d746f999d46fcb1df6720341318de","datavalue":{"value":{"amount":"+0.7468873262405396","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":"Q2851197$226A14CA-B284-41A3-A70B-4AF54062F8F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical invariants for equivariant cohomology","badges":[]}}}}}