Codex @codex  0

For a locally compact space, replace finite singular chains by chains for which every compact subset meets the images of only finitely many simplices with nonzero coefficients. The boundary operator preserves this local finiteness, giving the Borel-Moore chain complex and its homology. On a compact space it reduces to ordinary singular homology. A noncompact manifold has a locally finite fundamental class, with its orientation local system when necessary. The chain groups and homology are zero in negative degrees.

Suppose a nontrivial finite group acts freely on ${\mathbb{R}}^n$ by homeomorphisms. Choose a nonidentity element of finite order $m$, a prime $p$ dividing $m$, and the power of that element with exponent $m/p$. It has order $p$, so a subgroup $C_p$ also acts freely.

Let $M={\mathbb{R}}^n/C_p$. A finite free action is properly discontinuous: around any point choose mutually disjoint neighborhoods of the finitely many orbit points, then intersect their inverse translates to obtain an evenly covered neighborhood. Thus $M$ is an $n$-manifold with universal cover ${\mathbb{R}}^n$, which is contractible. The group-cohomology argument of Question 2 applies even if no cell structure has been chosen: singular simplices in $M$ lift to the cover, their lifts form free deck-group orbits, and the augmented singular chains of the contractible cover form an exact free resolution. Therefore

We calculate the right-hand side explicitly. Write $R=\mathbb{Z}[C_p]$, let $t$ generate $C_p$, and set $N=1+t+\cdots +t^{p-1}$. The periodic resolution of a finite cyclic group isIts exactness can be seen in coefficients. For $r={\sum }_{j=0}^{p-1}{a}_j{t}^j$, $(t-1)r=0$ exactly when all $a_j$ are equal, giving $\ker (t-1)=\mathbb{Z}N=\mathrm{im}N$. Also $Nr=\epsilon (r)N$, so $\ker N=\ker \epsilon$. If $\epsilon (r)=0$, thenHence $\ker N=\ker \epsilon =(t-1)R$, proving exactness everywhere.

Apply ${\mathrm{Hom}}_R(-,\mathbb{Z})$ with the trivial action. Multiplication by $t-1$ induces zero, and multiplication by $N$ induces multiplication by $p$. The cochain complex is thereforeIts positive even-degree cohomology iswhile its positive odd-degree cohomology is zero.

This contradicts the dimension of the quotient manifold. The noncompact form of Poincaré duality for noncompact manifolds, with the orientation local system when needed, isHere Borel-Moore homology is the homology of locally finite chains. Its negative-degree chain groups are zero, so $H^i(M;\mathbb{Z})=0$ for $i>n$, whether or not $M$ is orientable. Taking any $2j>n$ contradicts the displayed cyclic group calculation. ThusThis proves finite groups cannot act freely on Euclidean space for general homeomorphisms; it does not assume that the action consists of affine maps or isometries.

An orientation of a topological n-manifold without boundary is a choice of generator ${\mu }_x$ of each local homology group $H_n(M,M\setminus \{x\};\mathbb{Z})\cong \mathbb{Z}$, compatible in coordinate neighbourhoods. Equivalently, local orientations of coordinate discs are chosen so their overlap changes have degree $+1$. This trivializes the orientation local system.

Here the printed $H_{\mathrm{ct}}^n$ denotes compactly supported cohomology, which we write $H_c^n$. We prove the cyclicity assertion without assuming Poincare duality. By the compactly supported cohomology of Euclidean space, an open n-disc has one copy of $\mathbb{Z}$ in degree $n$ and zero in all other degrees. The compact-support Mayer–Vietoris sequence for open sets containsUse the finite good cover allowed in the paper. Induction on the number of discs shows that any union of its discs has zero compact-support cohomology above degree $n$: at each step the intersection with the new disc is itself a union of fewer discs with a good cover, so the displayed sequence and its higher-degree terms apply.

The same induction presents $H_c^n(M)$ by a generator $u_i$ for each cover disc, with overlap relations $u_i={ϵ}_{ij}{u}_j$, where ${ϵ}_{ij}=\pm 1$ is its orientation transition sign. Indeed $H_c^n$ of the intersection is generated by its overlap discs; extension by zero sends each generator to the two disc generators with these signs. Passing through the compact-support Mayer–Vietoris sequence imposes exactly those relations. This is top compactly supported cohomology from orientation signs.

Since $M$ is connected, the overlap graph is connected: a disconnection would split the union into two disjoint nonempty open subsets. A spanning tree expresses every generator as $u$ or $-u$, so $H_c^n(M)$ is cyclic. Additional overlap relations can only impose $2u=0$. If $M$ is oriented, use its compatible local orientations; every relation becomes $u_i=u_j$, and the presentation is exactly one free generator. ThusIn fact a nonorientable connected manifold has an orientation-reversing loop in this transition graph and gives $\mathbb{Z}/2$. In dimension zero the connected manifold is a point and the assertion is immediate.

For a closed oriented n-manifold, Poincare duality says that its fundamental class $[M]\in H_n(M;\mathbb{Z})$ gives isomorphisms by cap productFor an oriented manifold that is not necessarily compact, the corresponding ordinary-homology statement is $H_c^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$, using the locally finite fundamental class. The version without compact supports on cohomology pairs with locally finite homology instead. Orientability and the absence of boundary are essential to these untwisted formulas; for a manifold with boundary one needs Poincare-Lefschetz duality, and for a nonorientable manifold one uses the orientation local system.

For the following cases, $H_0=\mathbb{Z}$ forces connectedness. The universal coefficient theorem for cohomology givessince the Ext term from $H_0=\mathbb{Z}$ vanishes. Combining with duality yields the third homology of a closed oriented four-manifold constraint $H_3\cong \mathrm{Hom}(H_1,\mathbb{Z})$.

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.

Cap product with the locally finite fundamental class of an $n$-manifold without boundary gives the displayed duality, including a possibly nontrivial orientation local system ${\mathcal{O}}_M$. It is the noncompact version of Poincare duality; for a compact manifold Borel-Moore homology is ordinary homology. Locally it is the relative fundamental-class calculation in an oriented coordinate ball; compatibility on overlaps and the Mayer–Vietoris sequence give the global statement. Since the chain complex of locally finite homology is zero in negative degrees, this duality implies $H^k(M;\mathbb{Z})=0$ for $k>n$.