Poincaré duality spaces related to the Joker

Abstract: The well known Joker $\mathcal{A}(1)$-module of Adams and Priddy is known to be realisable as the cohomology of a $1$-connected space. By attaching an extra cell we obtain an $8$-dimensional Poincaré duality space whose mod~$2$ cohomology realising is an unstable $\mathcal{A}$-algebra. We use obstruction theory to show that this admits a $PL$-structure. Although we are unable to show it is smoothable, it turns out that the cohomology can be realised as that of a homogeneous space.

• The paper’s main contribution is the construction of an 8D PD complex whose mod 2 cohomology realizes the Joker module over the Steenrod algebra.
• It employs obstruction theory and explicit cohomological calculations to examine PL structures and relate the complex to classical homogeneous spaces.
• Adams spectral sequence analysis and A(1)-module techniques are used to compute stable SO-bundles and characteristic class structures.

Poincaré Duality Spaces and the Joker Module

Overview

The paper "Poincaré duality spaces related to the Joker" (2603.29425) presents an in-depth algebraic and topological investigation into the realization and geometric properties of Poincaré duality (PD) spaces whose mod 2 cohomology is governed by the so-called Joker module over the Steenrod algebra. By employing obstruction theory, explicit cohomological calculations, and connections to homogeneous spaces, the author constructs an 8-dimensional PD complex, examines its PL-topological structure, and establishes its relationship with classical Lie-theoretic homogeneous spaces.

Steenrod Poincaré Duality Algebras

The Steenrod module theory provides the foundation. The paper precisely defines Steenrod Poincaré duality algebras (SPDAs) as unstable commutative $A$-algebras over the mod 2 Steenrod algebra $A$ satisfying both algebraic Poincaré duality and compatibility with the $A$-action via the cross product construction. This formalism enables a systematic study of module duality, Wu and Stiefel-Whitney class calculations, and the interplay between algebraic and geometric realization problems.

Key points include:

• The duality pairing between cohomology and homology modules over $A$ is formulated using the antipode and cross products in $A$.
• The construction of characteristic classes (Wu, Stiefel-Whitney, and their duals) is given explicit algebraic definitions in this SPDA context, together with properties such as $w_k = \sum_{i=0}^k \mathrm{Sq}^i v_{k-i}$.
• Derived properties show relations between characteristic classes and clarify the algebraic structure underlying these duality spaces.

Construction of an 8-dimensional Joker-Related PD Complex

An explicit cell complex $J^8$ is constructed by gluing an 8-cell to a minimal skeleton realizing the Joker module, and the induced mod 2 cohomology is computed to be:

$$H^*(J^8; \mathbb{F}_2) = \mathbb{F}_2[u_2, u_3]/(u_2^3 + u_3^2, u_2^2 u_3)$$

where $\mathrm{Sq}^1 u_2 = u_3$, and higher Steenrod operations are governed by standard algebraic relations and instability conditions. Over $\mathbb{Z}[1/2]$, the cohomology is a truncated polynomial ring in degree 4. Strong claims in this section include both the existence of such a complex (with the requisite PD and $A$0-algebra structure) and explicit determination of the algebraic structure of its cohomology.

PL and Smooth Structures: Obstruction Theory Analysis

Using the structure of the classifying spaces for stable spherical fibrations ($A$1), piecewise-linear ($A$2), and topological ($A$3) bundles, together with key results of Madsen and Milgram, the paper establishes that the Spivak normal fibration of $A$4 lifts from $A$5 to $A$6 at the prime 2. The obstruction-theoretic argument proceeds by showing all mapping obstructions into $A$7 and $A$8 vanish upon localizing at 2, due to vanishing of the relevant odd degree cohomology and the behavior of the associated Serre spectral sequence.

Odd Primary Considerations

For odd primes (notably $A$9), analogous calculations show that all obstruction classes vanish, so the Spivak bundle again lifts to a $A$0-bundle after localizing away from 2. The argument is based on the description of the low-dimensional skeleta of $A$1 and the action of Steenrod reduced powers on generators from the associated classifying spaces.

Vector Bundle Classification and Adams Spectral Sequence Computation

For the constructed $A$2, the paper computes the group of stable $A$3-bundles via a $A$4-based Adams spectral sequence analysis. The key observation is that $A$5 exhibits a direct sum decomposition:

$A$6

The map is explicitly described in terms of Stiefel-Whitney classes, and the class $A$7 serves as a candidate bundle with specified characteristic classes matching the Spivak bundle structure. The computation leverages the $A$8-module structure and explicit knowledge of the minimal projective resolution for the Joker and its doubles.

Connection with Homogeneous Spaces

A crucial structural result is that the exceptional Lie group $A$9 contains a maximal rank subgroup $A$0, and the cohomology algebra of the quotient space $A$1 matches exactly that of $A$2 as an unstable $A$3-algebra. While a 2-local homotopy equivalence is conjectured (not proved), this ties the constructed PD complex to classical topology and representation theory, providing a geometric realization of the Joker-related algebra.

The paper further notes extensions to the "doubled" Joker ($A$4), indicating the possibility of realizing more highly connected PD complexes within the same framework, and questions the existence of smooth or String-oriented structures on these higher-dimensional analogues.

Implications and Prospects

The detailed synthesis of algebraic and geometric topology in this work offers several important implications:

• It provides a precise template for constructing PD complexes mimicking prescribed module-theoretic behavior under the Steenrod algebra, beyond standard manifold cohomology rings.
• The analysis of PL and smoothability obstructions demonstrates the fine structure of PD spaces, relevant in the study of topological manifolds, surgery theory, and classification problems.
• The homogeneous space identification links unstable module realization problems to Lie theory and representation spaces.
• The framework and constructions suggest further avenues for explicit realization of exotic module-theoretic cases (such as higher Joker doubles or other $A$5-modules) as PD complexes or manifolds, with potential applications to structured ring spectra and chromatic homotopy theory.

Conclusion

This paper rigorously constructs and analyzes an 8-dimensional Poincaré duality space whose mod 2 cohomology realizes the Joker $A$6-module as an unstable $A$7-algebra, establishes the existence of a PL structure via obstruction theory, and identifies a homogeneous space model with matching cohomology. These results clarify the algebraic-geometric boundary for realizing specific module-theoretic phenomena in topological spaces and set a strong template for further exploration of the relationship between unstable module theory, Poincaré duality, and manifold structures (2603.29425).