The orientation-twisted diagonal realizes the Lefschetz trace

Construct the supported class without an unoriented Thom theorem. Pull a tubular neighborhood of $\mathrm{\Delta }$ back to $\tilde{M}\times \tilde{M}$. Its zero set is the disjoint union $Z_0=\{(a,a)\}$ and $Z_1=\{(a,\tau a)\}$. On either normal bundle, $d{\pi }_a(v)-d{\pi }_b(w)$ identifies the normal quotient with $T_{\pi (a)}M$; use the tautological orientation at $a$ to orient it. Each is an oriented rank-$n$ bundle on a base satisfying [F17], so [F7] supplies its unique fiber-normalized rational Thom class. Their sum, extended from disjoint tubes, is a relative class on the four-sheeted cover. The first deck involution reverses the specified normal orientation, and the second preserves it; uniqueness of the Thom classes therefore makes the sum anti-invariant under the first and invariant under the second. For relative descent, apply the cochain and projection construction in the proof of [F1] to $X=M\times M$, $A=X\setminus \mathrm{\Delta }$ and $q=\pi \times \pi$. Expressing a local cochain value in the first tautological orientation identifies it with a scalar cochain anti-invariant under $t_1=(\tau ,1)$ and invariant under $t_2=(1,\tau )$; restrictions to faces agree with coefficient transport. Vanishing on simplices in $A$ corresponds exactly to vanishing on their lifts in $q^{-1}A$, so the identification restricts to the relative complexes. The cochain projection $P=(1-t_1^{\ast })(1+t_2^{\ast })\mathrm{/}4$ preserves that relative complex and commutes with its differential. Applying $P$ to cocycle representatives of $(-,+)$ classes, and to primitives of exact $(-,+)$ cocycles, proves both surjectivity and injectivity onto the relative cohomology eigenspace. Thus the Thom sum descends uniquely to $u_{\mathrm{\Delta }}$ with coefficient $p_1^{\ast }\mathcal{O}$. On a common base chart its fiber normalization is the generator for $u-v$, with coefficient the orientation of that chart.

Check the cap normalization. On the oriented four-sheeted ambient manifold, let $Z_i$ have the orientation of its first factor. The ordered tangent-then-normal basis with normal coordinate $u-v$ has determinant $(-1{)}^n$ relative to ambient first-then-second coordinates: in equal base coordinates its block matrix is $\left(\begin{array}{cc}I& I\\ I& 0\end{array}\right)$. If the second lift has the opposite base orientation there is the additional sign from that orientation reversal. Apply [F9] first with integral coefficients on the oriented cover and then send its normalized Thom and fundamental classes to rational coefficients; the singular cup, cap and inclusion formulas commute with this coefficient map, and uniqueness in [F8] identifies the rational Thom class. Thus the cohomology-first normal-cap formula supplies the further shuffle sign $(-1{)}^{n^2}=(-1{)}^n$. Thus the two $(-1{)}^n$ factors cancel. After descent the second-factor orientation discrepancy is precisely carried by the coefficient $p_2^{\ast }\mathcal{O}$, and the result is the diagonal's canonical twisted fundamental class with that coefficient. For completeness this is a global equality, not merely a local sign test: in the tube, cap has support in the zero section after the fiber retraction; its pushforward to that section is a top twisted class, and its restrictions at every point are the just-computed canonical local generators. Uniqueness of the top twisted fundamental class gives that class, and the natural cap formula and open-tube inclusion give the asserted ambient equality. These formulas hold with local coefficients because the face transports in [F4] are exactly the scalar formulas in every lifted chart, and step 1.1's relative descent is injective.

Characterize $U$ by testing. For every $\phi \in H^n(M\times M;p_2^{\ast }\mathcal{O})$, the cap identity and step 2.1 give $⟨U⌣\phi ,[M\times M{]}^{\mathrm{t}\mathrm{w}}⟩=⟨{\delta }^{\ast }\phi ,[M{]}^{\mathrm{t}\mathrm{w}}⟩$. The coefficient contraction is $p_1^{\ast }\mathcal{O}\otimes (p_1^{\ast }\mathcal{O}\otimes p_2^{\ast }\mathcal{O})\to p_2^{\ast }\mathcal{O}$, so the typing is exact. This pairing separates $H^n(M\times M;p_1^{\ast }\mathcal{O})$: [F1]'s Kunneth decompositions and perfect factor pairings make its matrix a blockwise tensor product of invertible matrices, with unit Koszul signs.

Test the proposed expansion on $\phi ={\alpha }_{p,k}\times {\beta }_{p,l}$. A term ${\beta }_{r,j}\times {\alpha }_{r,j}$ can pair nontrivially only for $r=p$. Its product evaluation is $(-1{)}^p⟨{\beta }_{p,j}⌣{\alpha }_{p,k},[M{]}^{\mathrm{t}\mathrm{w}}⟩⟨{\alpha }_{p,j}⌣{\beta }_{p,l},[M{]}^{\mathrm{t}\mathrm{w}}⟩=(-1{)}^{p+p(n-p)}{\delta }_{jk}{\delta }_{jl}$, where the first $(-1{)}^p$ is the cross-product Koszul sign $(-1{)}^{p^2}$. Including the proposed coefficient $(-1{)}^p$ leaves $(-1{)}^{p(n-p)}{\delta }_{kl}$. The diagonal evaluation is exactly $⟨{\alpha }_{p,k}⌣{\beta }_{p,l},[M{]}^{\mathrm{t}\mathrm{w}}⟩=(-1{)}^{p(n-p)}{\delta }_{kl}$. These tests span by [F1], and step 3.1 separates classes, proving the expansion with the stated sign.

Pull back along the graph. Since $p_1{\gamma }_f={\mathrm{i}\mathrm{d}}_M$, no coefficient comparison involving $f^{\ast }\mathcal{O}$ is required. Write $f^{\ast }{\alpha }_{p,j}={\sum }_k{a}_{kj}{\alpha }_{p,k}$. Naturality of cup and cross products in [F4] gives ${\gamma }_f^{\ast }U={\sum }_{p,j}(-1{)}^p{\beta }_{p,j}⌣f^{\ast }{\alpha }_{p,j}$, whose evaluation is ${\sum }_{p,j}(-1{)}^p{a}_{jj}$ by the chosen duality. This is the alternating cohomology trace, and it equals the homology trace by field duality. This uses the graph pullback directly; it never asserts that $f\times \mathrm{i}\mathrm{d}$ is a diffeomorphism.

If every fixed point is nondegenerate, graph transversality gives a finite preimage of the diagonal. Pull the relative supported class back along ${\gamma }_f$ and excise disjoint coordinate balls around these points. In such a ball its normal coordinate is $u-\widehat{f}(u)$, and its derivative at the point is $I-D{f}_x$. Pullback of the oriented normal Thom generator evaluates on the local twisted fundamental class by the degree of this map; for its invertible derivative this degree is $\mathrm{sign}\det (I-D{f}_x)$ by [F12]. Excision and the finite decomposition of the relative fundamental class add these evaluations. Consequently the absolute evaluation in step 5.1 is the sum of these local signs, namely $I(f)$. Changing chart orientation reverses both the normal generator and the twisted fundamental coefficient, so the integer local value is unchanged.

Empty fixed set gives a relative pullback through an empty support, hence zero and the empty index sum. The construction also covers orientable $M$ (its orientation cover has two components when $M$ is nonempty); an orientation trivializes $\mathcal{O}$ and gives the ordinary diagonal and graph-pullback formula. AC enters through the stated duality, Kunneth, tubular and Thom suppliers and the finite-dimensional trace definition.