{"entities":{"Q529095":{"pageid":530862,"ns":120,"title":"Item:Q529095","lastrevid":62516964,"modified":"2026-04-11T06:37:56Z","type":"item","id":"Q529095","labels":{"en":{"language":"en","value":"A Borsuk-Ulam type theorem for the product of a projective space and 3-sphere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720086"}},"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":"Q529095$49251F97-B677-4198-86BA-6FAE863556EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"403be6be741b1fff0f4838cc4efb9c7aa17c0bee","datavalue":{"value":{"text":"A Borsuk-Ulam type theorem for the product of a projective space and 3-sphere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q529095$84310658-7E94-4870-AF37-8930AC5D2F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7abefbbbbb057a3a795464df961a9f7604581f97","datavalue":{"value":"1377.57034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529095$94FE80FE-D72A-4B16-987F-50CB6C91C98A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6965e754ee41d7007bb47b00351a0bb55c25c2","datavalue":{"value":{"entity-type":"item","numeric-id":351572,"id":"Q351572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529095$B702BCAC-F6C4-44F1-ABEB-CE4C13E6FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8abf9bf0faa339074d4cec7c73cd26c9fe6ea46a","datavalue":{"value":{"entity-type":"item","numeric-id":351573,"id":"Q351573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529095$98700E33-24EE-457B-929D-1F12B7ED9D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a444dea3424d372de74f9c11aba7538180b07a6","datavalue":{"value":{"entity-type":"item","numeric-id":1743474,"id":"Q1743474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529095$9655C388-5E41-48D9-88A0-DE94B4676A93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529095$3AB2F406-0E36-46B1-A300-ACBF4A5178C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q529095$AA3DE9E1-980B-4816-B7C3-C57DF61682ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3a69cdfd7984d3a216511215232bc09df8b6052","datavalue":{"value":"Let \\(X\\) be a finitistic space where \\(\\mathbb{Z}_2\\) acts freely such that the cohomology ring of \\(X\\) with \\(\\mathbb{Z}_2\\) coefficients is isomorphic to the cohomology ring of \\(\\mathbb{F}P^m\\times S^3\\), (\\(\\mathbb{F}=\\mathbb{R}, \\mathbb{C} \\;or \\;\\mathbb{H} \\;)\\), where \\(\\mathbb{F}P^m\\) is the projective space. The goal of the paper under review is to study the existence of equivariant maps either from the sphere \\(S^n\\) into \\(X\\) or from \\(X\\) into certain spaces \\(Y\\) which admit a free \\(\\mathbb Z_2\\) action. It is well known that such results are closely related with Borsuk-Ulam type theorems. The major technical part of the work is to determine a list of algebras such that \\(H^*(X/\\mathbb{Z}_2; \\mathbb{Z}_2)\\) is one of these, for \\(\\mathbb{F}\\) all 3 possible fields. This is obtained using the spectral sequence associated to the Borel fibration of the action of \\(\\mathbb{Z}_2\\) on \\(X\\). It is not clear if all the algebras in the list are realizable. Nevertheless the list can be used to show a number of results, which is the last part of the work, stated in terms of equivariant maps. To illustrate the type of results, for \\(\\mathbb{F}=\\mathbb{R}\\), the authors show: Proposition 4.1 Let \\(X \\sim_2 \\mathbb{R}P^m\\times \\mathbb{S}^3\\) be a finitistic free \\(G\\)-space and the unit \\(n\\)-sphere \\(\\mathbb{S}^n\\) be equipped with the antipodal action. Then, there is no \\(G\\)-equivariant map \\(\\mathbb{S}^n\\to X\\) (a) For \\(n\\geq 2\\) if \\(\\mathrm{co-index}_2(X)=1\\); (b) For \\(n\\geq 4\\) if \\(\\mathrm{co-index}_2(X)=3\\); (c) For \\(n\\geq m+3\\) if \\(\\mathrm{co-index}_2(X)=m+2\\); (d) For \\(n\\geq m+4\\) if \\(\\mathrm{co-index}_2(X)=m+3\\). Here \\(G\\) is isomorphic to \\(\\mathbb{Z}_2\\) and \\(\\sim_2\\) means isomorphism mod 2. For \\(\\mathbb{F}=\\mathbb{C}\\) or \\(\\mathbb{H}\\) the authors show a similar result. Concerning maps from \\(X\\) into a paracompact Hausdorff space \\(Y\\) equipped with a free \\(\\mathbb{Z}_2\\) action, they show for \\(\\mathbb{F}=\\mathbb{R}\\): Proposition 4.7 Suppose that \\(G=\\mathbb{Z}_2\\) acts freely on a finitistic space. Let \\(X \\sim_2 \\mathbb{R}P_ m\\times \\mathbb{S}^3\\) and \\(Y\\) a path connected, paracompact Hausdorff space. Then, there is no \\(G\\)-equivariant map \\(X \\to Y\\) (a) If \\(\\iota(X)=4\\) and \\(H^k(Y/G)=0\\) for \\(k=2 \\;or \\;3\\); (b) If \\(\\iota(X)=m+3\\) and \\(H^k(Y/G)=0\\) for some \\(2\\leq k