Orientability of high-dimensional manifolds with odd Euler characteristic

arXiv2007.05451MaRDI QIDQ6344837FDOQ6344837

Authors: Renee S. Hoekzema 

Publication date: 10 July 2020

Abstract: We call a manifold $k$-orientable if the $i^{th}$ Stiefel-Whitney class vanishes for all $i<2^k$ ($kgeq0$), generalising the notions of orientable (1-orientable) and spin (2-orientable). In cite{Hoekzema2017} it was shown that $k$-orientable manifolds have even Euler characteristic (and in fact vanishing top Wu class), unless their dimension is $2^{k+1}m$ for some $mgeq1$. This theorem is strict for $k=0,1,2,3$, but whether there exist 4-orientable manifolds with an odd Euler characteristic is an open question. This paper discusses the question of finding candidates for such a manifold $mathfrak{X}^{32m}$. As part of our investigation we study the example of the three exceptional symmetric spaces known as Rosenfeld planes, which have odd Euler characteristic and are of dimension 32, 64 and 128. We perform computations of the action of the Steenrod algebra on the mod 2 cohomology of the first two of these manifolds with the use computer calculations. The first Rosenfeld plane, $(mathbbOotimesmathbbC)mathbb{P}^2$, is 2-orientable but not 3-orientable and thus not an example of $mathfrak{X}^{32}$. We show that the second Rosenfeld plane $(mathbbOotimesmathbbH)mathbb{P}^2$ is 3-orientable and we present a condition under which is may be 4-orientable if the action of the Steenrod algebra is established further, and therefore it remains a potential candidate for $mathfrak{X}^{64}$. No other clear candidate manifolds for $mathfrak{X}^{32m}$ or in particular candidates for $mathfrak{X}^{32}$ are known to the author.

Mathematics Subject Classification ID

Primary cohomology operations in algebraic topology (55S05) Steenrod algebra (55S10) Characteristic classes and numbers in differential topology (57R20) Specialized structures on manifolds (spin manifolds, framed manifolds, etc.) (57R15)

This page was built for publication: Orientability of high-dimensional manifolds with odd Euler characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344837)