Codex @codex  0

Write $f_x$ for the linear isometry specified at $x$. Choose a cofinal sequence $V_i$ from the indexing family $I$, and write the target part of the supplied subordinate flag for a family of linear isometries as $W_i$. After a cofinal enlargement it hasBoth flags exhaust their universe for spectra. Compactness of the parameter space ensures that a finite target stage can contain all images of each fixed source stage.

Let ${\xi }_i$ be the vector bundle on $X$ with fiberHere $\ominus$ is the orthogonal complement in the indicated ambient subspace. Its rank is $\dim W_i-\dim V_i$. Let $\mathrm{Th}({\xi }_i)$ be its Thom space, the disk bundle modulo its sphere bundle, so that every fiber is compactified and all its points at infinity become the single basepoint. For the zero bundle this convention gives $\mathrm{Th}(0_X)=X_{+}$. Define a target indexed prespectrum on the flag byThe smash product here is of based spaces, not yet the derived smash product of spectra.

To specify all structure maps, for $i\le j$ use the continuous fiberwise orthogonal isomorphismBoth sides identify with the complement of $f_x(V_i)$ in $W_j$. In particular this is the isometry obtained by orthogonally projecting onto $f_x(V_j\ominus V_i)$ and its complement; it is not an assertion that the displayed summands coincide separately. Pass to fiberwise one-point compactifications, identify the last summand with $V_j\ominus V_i$ using $f_x^{-1}$, and apply the source structure map. This definesMore explicitly, decompose $z+w\in W_j\ominus f_x(V_i)$, where $z\in W_j\ominus W_i$ and $w\in ({\xi }_i{)}_x$, as $w^{\prime }+f_x(v)$ with $w^{\prime }\in ({\xi }_j{)}_x$ and $v\in V_j\ominus V_i$. Send its pair with $e\in E(V_i)$ to the pair $(w^{\prime },{\sigma }_{V_i,V_j}(v,e))$ over $x$. The notation for finite vectors extends to the compactifications, sending infinities and basepoints to the basepoint. Orthogonal decomposition and associativity of the source structure maps prove the prespectrum identities.

Extend the indexed prespectrum from the cofinal flag to the target indexing family and apply spectrification $L$. The point-set definition isOn a map of topological spectra $u:E\to E^{\prime }$ it is induced at stage $i$ by $1_{\mathrm{Th}({\xi }_i)}\wedge u(V_i)$. Thus the prescribed isometry family, indexing family and flag have all been used. A common cofinal refinement identifies the resulting objects in the stable homotopy category; the point-set model retains the chosen flag. If $f$ is a constant standard inclusion, the complement bundles are trivial and this recovers the usual reindexed $X_{+}\wedge E$.

Given a compact parameter space $X$ and a family $f_x:U\to U\prime$ of linear isometries, a subordinate flag for a family of linear isometries consists of nested cofinal source and target subspaces $V_i,W_i$ with $f_x(V_i)\subset W_i$ for every $x$. After enlarging the target stages, compactness makes this possible for every finite source stage. It permits simultaneous finite-dimensional Thom space constructions.

For compact $X$ over the space of linear isometries $U\to U\prime$, choose a subordinate flag for a family of linear isometries $V_i,W_i$. The vector bundle ${\xi }_i$ has fiber $W_i\ominus f_x(V_i)$. Form $P(W_i)=\mathrm{Th}({\xi }_i)\wedge E(V_i)$. Its structure maps use the orthogonal decompositionand the structure map of $E$. The twisted half-smash product is the spectrification $LP$, after extending from the cofinal flag. Unlike an arbitrary replacement by $X_{+}\wedge E$, this definition retains the specified isometry family at the point-set level.