Codex @codex  0

For an oriented real vector bundle $\pi :E\to X$ of rank $d$, the Thom isomorphism theorem gives a unique Thom class $u_E\in H^d(D(E),S(E);\mathbb{Z})$ restricting to the chosen generator in each fibre, and isomorphismsEquivalently use the pair $(E,E\setminus X)$, identifying $X$ with the zero section. After forgetting relative supports, pull the Thom class back along the zero section $s$ to define the Euler class:In this expression the relative class is first mapped to absolute cohomology.

A compact embedded submanifold equipped with a coorientation $Y\subset X$ has an oriented normal bundle ${\nu }_Y$ of rank $d$. A tubular neighborhood and excision identify its Thom class with a class $u_Y\in H^d(X,X\setminus Y)$. Its image in $H^d(X)$ is the cohomology class of a cooriented submanifold ${\epsilon }_Y$. In particular it restricts to zero on $X\setminus Y$. If the ambient manifold is oriented, orient $Y$ by the normal-first convention. The class is its Poincare dual, characterized byfor the appropriate complementary degree. This is the stated integration identity in cohomological notation.

First prove the Lefschetz fixed-point theorem for an oriented closed n-manifold $X$. Orient its diagonal by the identification $\Delta \cong X$, and choose the normal orientation so this agrees with the normal-first convention in the product. This produces the integral class ${\epsilon }_{\Delta }$. To compute the part that contributes to the trace, tensor with $\mathbb{Q}$: the trace on a finitely generated integral cohomology group means its trace on the free quotient, equivalently on rational cohomology; torsion contributes nothing.

Choose a basis $e_{p,j}$ of $H^p(X;\mathbb{Q})$ and its Poincare duality pairing dual basis $e_{p,j}^{\vee }\in H^{n-p}(X;\mathbb{Q})$, normalized by $⟨e_{p,i}⌣e_{p,j}^{\vee },[X]⟩={\delta }_{ij}$. The rational image of the cohomology class of the diagonal isIndeed, pairing this expression against $\alpha \times \beta$ with degrees $p,n-p$ picks out the p-summands. The cross-product multiplication contributes $(-1{)}^{p^2}$ and moving $\alpha$ past $e_{p,j}^{\vee }$ contributes $(-1{)}^{p(n-p)}$. Together with $(-1{)}^{np}$ their product is $+1$. The result is $⟨\alpha ⌣\beta ,[X]⟩$, exactly the diagonal's defining identity. The rational Künneth theorem and nondegeneracy of the duality pairing determine the class. An integral torsion component, if present, is not determined by this rational expression and does not affect any evaluation below.

For the graph map ${\Gamma }_f=(1,f):X\to X\times X$, write $f^{\ast }{e}_{p,j}={\sum }_i{A}_{ij}{e}_{p,i}$. Pulling back the expression and evaluating gives the graph-diagonal formula for the Lefschetz number:If $f$ has no fixed point, its graph lies in $(X\times X)\setminus \Delta$. The relative Thom class restricts to zero there, so ${\Gamma }_f^{\ast }{\epsilon }_{\Delta }=0$ and $L(f)=0$. The contrapositive proves the required fixed-point assertion, without requiring smoothness of $f$ or transversality of its graph.

The printed hypothesis does not require $X$ to be orientable. For a nonorientable $X$, the diagonal's normal bundle is $TX$, so an ordinary integral coorientation cannot be assumed. We extend the proved theorem as follows, rather than apply the untwisted diagonal computation incorrectly. We first construct a smooth embedding in Euclidean space using finitely many charts ${\chi }_i:U_i\to {\mathbb{R}}^n$ and smooth functions ${\rho }_i$ supported in those charts, with at least one ${\rho }_i(x)>0$ at every point. The map $\Psi (x)=({\rho }_i(x),{\rho }_i(x){\chi }_i(x){)}_i$, with zero extensions, is injective: a positive first coordinate identifies a chart in which its remaining coordinates recover $x$. Its differential is injective as well, since $d{\rho }_i(v)=0$ and $d({\rho }_i{\chi }_i)(v)=0$ force $d{\chi }_i(v)=0$ in a chart with ${\rho }_i>0$. Compactness makes this injective immersion a homeomorphism onto its image. This finite-chart Euclidean embedding of a compact smooth manifold, enlarged by zero coordinates if necessary, has positive codimension. A compact tubular disc neighbourhood $W$ is an oriented N-manifold with boundary, inheriting its orientation from the ambient Euclidean space. Its double of a manifold $M$ is closed and oriented. Projection of each copy of $W$ to $X$ agrees on their common boundary, giving $r:M\to X$; inclusion into the first copy gives $i:X\to M$ with $ri=1_X$.

Set $F=ifr$. A fixed point of $F$ must lie in $i(X)$, and then is exactly the image of a fixed point of $f$. Moreover $F^{\ast }=r^{\ast }{f}^{\ast }{i}^{\ast }$, and cyclicity of trace for maps between finite-dimensional rational cohomology groups givesin each degree, because $i^{\ast }{r}^{\ast }=1$. Thus $L(F)=L(f)$. The oriented theorem for $M$ now gives a fixed point of $F$, hence of $f$, whenever $L(f)\ne 0$. This oriented manifold retract for the Lefschetz theorem proves the full printed result. The double construction also works componentwise if necessary.

Let $\pi :E\to B$ be an oriented real vector bundle of rank $r$ over a paracompact base. A Thom class is a class $U\in H^r(E,E\setminus B;\mathbb{Z})$ restricting on every oriented fiber pair $({\mathbb{R}}^r,{\mathbb{R}}^r\setminus 0)$ to its positive generator. The Thom isomorphism theorem states that this class exists uniquely with those fiber restrictions and thatHere $B$ is identified with the zero section. Equivalently use the disk/sphere bundle pair. The compact-support version is $H_c^q(B;\mathbb{Z})\cong H_c^{q+r}(E;\mathbb{Z})$, with fiberwise compact support in the Thom construction. If the bundle is not oriented, the integral assertion requires the corresponding orientation local system.

For a closed co-oriented embedded submanifold $Y$ of codimension $r$, co-orientation means an orientation of its normal bundle. A tubular neighborhood identifies a neighborhood of $Y$ with that bundle. Its Thom class, transferred by excision, is a class in $H^r(M,M\setminus Y;\mathbb{Z})$. For compact $Y$ this maps into the direct limit defining compactly supported cohomology, giving $\boxed{{\epsilon }_Y\in H_c^r(M;\mathbb{Z})}$. The construction is independent of the tubular neighborhood and uses the chosen co-orientation. In an oriented ambient manifold it is the Poincare dual of the oriented submanifold. Here “closed submanifold” has the usual compact-without-boundary meaning; if it meant merely a closed subset and $Y$ were noncompact, the supported relative class would still exist but need not have compact support.

We next prove the fixed-point implication without imposing an unprinted orientability assumption on $M$. SetUse a finite triangulation of the closed smooth manifold. The elementary Hopf trace identity says that the alternating trace of a chain endomorphism equals its alternating trace on homology. To verify it, split each finite-dimensional chain space as boundaries, a complement representing homology, and a complement mapping isomorphically onto the preceding boundaries. The traces on these two boundary summands cancel in adjacent degrees, leaving exactly the homology traces. The cohomology traces equal the homology traces because the induced maps are dual over $\mathbb{Q}$.

If $f$ has no fixed points, compactness gives $\delta ={\min }_{x}d(x,f(x))>0$. Choose a triangulation $K$ of mesh less than $\delta /4$ and a sufficiently fine subdivision $K^{\prime }$ admitting a simplicial approximation $F:K^{\prime }\to K$ uniformly within $\delta /4$ of $f$. The subdivision chain map $s:C_{\ast }(K)\to C_{\ast }(K^{\prime })$ sends each simplex to simplices inside it. For a vertex $v$ of such a small simplex, $d(v,F(v))>3\delta /4$, so $F(v)$ cannot lie in the original coarse simplex. Consequently $F_{\#}s$ has zero diagonal coefficient on every coarse simplex. Its trace vanishes in every degree, while it induces $f_{\ast }$ on homology. The trace identity yields $L(f)=0$. Taking the contrapositive provesThis is the Lefschetz fixed-point theorem, established here rather than invoked. For oriented $M$ the same identity is the graph-diagonal formula for the Lefschetz number: $L(f)=⟨(1,f{)}^{\ast }{\epsilon }_{\Delta },[M]⟩$, which vanishes when the graph misses the diagonal. Finally, homotopic maps induce the same cohomology maps, so their Lefschetz numbers agree.

Let $m=\dim M$. Choose a homogeneous basis $e_{q,i}$ of $H^q(M;\mathbb{Q})$ and its Poincare dual basis $e_{q,i}^{\ast }\in H^{m-q}(M;\mathbb{Q})$, normalized byWith the product orientation, the cohomology class of the diagonal isIndeed, multiplying this class by $\alpha \times \gamma$ and evaluating on $[M\times M]$ gives $⟨\alpha ⌣\gamma ,[M]⟩$, which characterizes the Poincare dual of $\Delta$.

Pulling back along the graph map $(1,f):M\to M\times M$ and evaluating gives the graph-diagonal formula for the Lefschetz number:If $f$ has no fixed point, its graph is disjoint from $\Delta$. Represent ${\epsilon }_{\Delta }$ with support in a tubular neighbourhood disjoint from the graph; its pullback is zero, so $L(f)=0$. Contrapositively, $L(f)\ne 0$ implies that $f$ has a fixed point, the Lefschetz fixed-point theorem.

Now let $M$ be three disjoint circles. A homeomorphism permutes their three components. Its action on $H^1(M;\mathbb{Z})\cong {\mathbb{Z}}^3$ is a signed permutation matrix. A component fixed setwise contributes to the trace by the degree of the corresponding circle homeomorphism. An orientation-reversing circle homeomorphism has a fixed point, so fixed-point-freeness forces that degree to be $+1$. Nonfixed components contribute zero. The trace is therefore the number of fixed points of a permutation of three objects, and

For a compact manifold $N$ with boundary, let $D(N)=N_{+}{\cup }_{\partial N}{N}_{-}$ be its double and define $F$ by applying $f$ on both copies. The Mayer–Vietoris sequence for this decomposition is natural under $F$. Alternating traces in a finite-dimensional exact sequence sum to zero, so the two copies of $N$ contribute twice and their intersection contributes with the opposite sign:This is the Lefschetz number of a doubled map.

Finally let $N$ be a pair of pants. If $f$ is fixed-point-free, so are its double $F$ and its boundary restriction. The Lefschetz fixed-point theorem and the displayed identity give $L(F)=L(f{|}_{\partial N})=0$, hence $L(f)=0$. Since $N$ is connected and $H^i(N;\mathbb{Q})$ is nonzero only for $i=0,1$,Suppose the boundary permutation $\sigma$ had a fixed component. The restriction there is a fixed-point-free circle homeomorphism and thus has degree $+1$, forcing $f$ to preserve the surface orientation. The homology action of a pair-of-pants homeomorphism would then have trace $\#\mathrm{Fix}(\sigma )-1$, which is $2$ for the identity permutation and $0$ for a transposition. Neither is $1$. Therefore $\sigma$ has no fixed component; a permutation of three objects with no fixed point is a three-cycle. Thus