Cohomology complex projective space with degree one codimension-two fixed submanifolds
type: Item
instance of: scholarly article
title: Cohomology complex projective space with degree one codimension-two fixed submanifolds
zbMATH Open document ID: 0872.57038
author: Robert D. Little
author: Karl Heinz Dovermann
published in: Pacific Journal of Mathematics
publication date: 1997-10-15T00:00:00Z
review text: Let \(M^{2n}\) be a smooth, closed, orientable \(2n\)-manifold such that there is a class \(x\in H^2 (M;\mathbb{Z})\) with the property that \(H^* (M;\mathbb{Z}) =\mathbb{Z} [x]/(x^{n+1})\) (i.e. a cohomology complex projective \(n\)-space), \(i:K^{2n-2} \subset M^{2n}\) the inclusion map of a closed, connected, orientable submanifold and \(d\) an integer. Then \(d\) is the degree of \(K^{2n-2}\) if \(i_*[K]\) is the Poincaré dual of \(dx\) (the orientation of \(K^{2n-2}\) is chosen in such a way that \(d\) is nonnegative). Let \(D_p (M^{2n})\) \((p\) a prime number) be the set of positive integers \(d\) such that \(M^{2n}\) admits a smooth action of the cyclic group \(Gp\) of order \(p\) such that the fixed point set of the action contains a submanifold of codimension 2 of degree \(p\). The authors motivated by the work of several investigators establish the following conjecture: ``If \(D_p (M^{2n})\) is nonempty, then \(D_p (M^{2n}) =\{1\}\)''. Concerned with this conjecture the authors prove: (1) if \(p=2\) and \(l\in D_2 (M^{2n})\), then \(D_2 (M^{2n}) =\{1\}\), (2) if \(n\) is odd and \(p\) and \(q\) are primes, then \(l\in D_p (M^{2n})\) implies that either \(D_q (M^{2n})\) is empty or \(D_q (M^{2n}) =\{1\}\), (3) if \(n\) is odd or \(p=2\), then \(D_p (M^{2n})\) is a finite subset of the odd natural numbers, (4) if \(M^{4m}\) is a homotopy \(CP^{2m}\) and \(m \not\equiv 0,4\) or \(7\pmod 8\) and \(l\in D_3 (M^{4m})\), then \(D_3 (M^{4m}) =\{1\}\), (5) if \(m \not\equiv 0,4\), or \(7\pmod 8\), then \(D_3(CP^{2m}) =\{1\}\). Moreover, the paper contains similar results about the case \(p\) odd and \(n\) even when the set \(D_p (M^{2n})\) is extended to a new set \(DE_p (M^{2n})\) which gives information about the tangent representation at the isolated fixed point of the action of \(G_p\) on \(M^{2n}\) fixing a submanifold of codimension two and an isolated point.
Mathematics Subject Classification ID: 57R95
Mathematics Subject Classification ID: 58C30
zbMATH DE Number: 940732
zbMATH Keywords: complex projective space
zbMATH Keywords: Poincaré dual
zbMATH Keywords: smooth action
zbMATH Keywords: submanifold
reviewed by: Enrique Outerelo
MaRDI profile type: Publication
full work available at URL: pjm.1996.173.387
OpenAlex ID: W1494963328
DOI: 10.2140/PJM.1996.173.387
Recommended article: Q4024770
Recommended article: Certain submanifolds of real codimension two of a complex projective space
Recommended article: The Defect of Codimension-Two Submanifolds of Homotopy Complex Projective Space
Recommended article: On codimension-1 submanifolds of the real and complex projective space
Recommended article: Submanifolds of a complex projective space
Recommended article: Q3733172
Recommended article: Q3774478
Recommended article: The \(C_2\)-equivariant cohomology of complex projective spaces
Recommended article: Codimension two transcendental submanifolds of projective space
Recommended article: Codimension 2 subvarieties of projective space
description: scientific article; zbMATH DE number 940732