arXiv Science⌕ Search

arXiv · 2610.02147

Stable Complex Structures On Real Vector Bundles Over Connected Sums Of Quaternionic Projective Spaces

Abstract

For integers $n\ge 2$ and integers $\ell,m\ge 0$, not both zero, let $M^{4n}_{\ell,m}=\ell\,\mathbb{HP}^{n}\,\#\,m\,\overline{\mathbb{HP}^{n}}$ denote the connected sum of $\ell$ copies of the quaternionic projective space $\mathbb{HP}^{n}$ and $m$ copies of $\mathbb{HP}^{n}$ endowed with the opposite orientation. By analysing the image of the complexification map $c\,\colon\,\widetilde{KO}(M^{4n}_{\ell,m})\to\widetilde{K}(M^{4n}_{\ell,m})$, we characterise, in terms of Pontryagin classes, the real vector bundles over $M^{4n}_{\ell,m}$ admitting a stable complex structure, and deduce that $M^{4n}_{\ell,m}$ is stably almost complex if and only if $n=2$ and $\ell-m$ is even. Consequently no $M^{4n}_{\ell,m}$ with $n\ge 3$ admits an almost complex structure. Sato and Suzuki asserted the non-existence of almost complex structures on $M^{4n}_{\ell,m}$ in 1974 for $3\le n\le 10$, except possibly when $n=3$ and $\ell=3m+1$; we establish it for all $n\ge 3$, and in the stronger form of stable almost complex structures.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Souvik Mandal. 2026-10-01. Stable Complex Structures On Real Vector Bundles Over Connected Sums Of Quaternionic Projective Spaces. https://arxiv.org/abs/2610.02147

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the structure of abelian Hopf algebras

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$.

math.AT↗

Galois and separable extensions of Tambara functors

For a map of Tambara functors $R \rightarrow T$ we define when $T$ is separable over $R$ and if $T$ carries an action by some finite group $H$ that fixes $R$ we also define when $R \rightarrow T$ is an $H$-Galois extension of Tambara functors. We show that flat and separable extensions are (formally) étale in the sense of Hill and that Galois extensions are separable. We prove that the Burnside Tambara functor is separably closed and we express Nullstellensatzian Tambara functors as filtered colimits of Galois extensions.

math.AT↗

From configuration spaces to graph complexes via FA-modules

Work of Gadish and Hainaut (after Petersen) models the compactly supported cohomology of a wedge of circles as a polynomial functor. We identify the coefficients of this functor, $Φ[n,m]$, via a cobar construction of $\mathbf{FA}$-modules. This identification formally implies that these coefficients will arise in computations of graph homology, and we use this result to give examples of graph complexes whose homology may be embedded in $H_c^\ast(F(S^1\vee S^1,n))$. This includes the Payne-Willwacher marked graph complex in genus 2, for which we give a new, explicit decomposition in terms of $\mathbf{FA}$-modules. This allows us to describe $\mathsf{gr}_{11}H_c^{\ast}(\mathcal{M}_{2,n})$ as the cohomology of a complex of decorated trees and to show, for example, $\mathsf{gr}_{11}H_c^{n+1}(\mathcal{M}_{2,n})=0$.

math.AT↗