Skip to main content
added 430 characters in body
Source Link
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

A nice, direct combinatorial construction was given by Gaifullin, see his paperspapers on theon the arXivarXiv (equivalently: Explicit construction of manifolds realizing the prescribed homology classes, Realisation of cycles by aspherical manifolds and Configuration spaces, bistellar moves, and combinatorial formulae for the first Pontryagin class). A drawback of this approach is that if you think of it as realizing some multiple $m\alpha$ of the given integral homology class $\alpha$ by an oriented smooth manifold, then $m$ is not bounded in terms of the dimension of $\alpha$.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99 (Core pdf)

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7 https://doi.org/10.2307/2006950). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback of this approach is that if you think of it as realizing some multiple $m\alpha$ of the given integral homology class $\alpha$ by an oriented smooth manifold, then $m$ is not bounded in terms of the dimension of $\alpha$.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv (equivalently: Explicit construction of manifolds realizing the prescribed homology classes, Realisation of cycles by aspherical manifolds and Configuration spaces, bistellar moves, and combinatorial formulae for the first Pontryagin class). A drawback of this approach is that if you think of it as realizing some multiple $m\alpha$ of the given integral homology class $\alpha$ by an oriented smooth manifold, then $m$ is not bounded in terms of the dimension of $\alpha$.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99 (Core pdf)

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7 https://doi.org/10.2307/2006950). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

deleted 17 characters in body; edited body
Source Link

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback hereof this approach is that if you think of it as realizing some multiple $m\alpha$ of the given integral cyclehomology class $\alpha$ by an oriented smooth manifold, then the number that you have to multiply by in his construction$m$ is not bounded in terms of the dimension of the cycle$\alpha$.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback here is that if you think of it as realizing some multiple of the given integral cycle by an oriented smooth manifold, then the number that you have to multiply by in his construction is not bounded in terms of the dimension of the cycle.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback of this approach is that if you think of it as realizing some multiple $m\alpha$ of the given integral homology class $\alpha$ by an oriented smooth manifold, then $m$ is not bounded in terms of the dimension of $\alpha$.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

added 397 characters in body; edited body
Source Link

(This A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback here is only a partial answerthat if you think of it as realizing some multiple of the given integral cycle by an oriented smooth manifold, but it's a bit long for a commentthen the number that you have to multiply by in his construction is not bounded in terms of the dimension of the cycle.)

ThomThere has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This has certainly beenwas reproved by "a direct geometric argument that does not secretly involve homotopy groups of spheres"geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by orientedoriented smooth manifolds - modulomodulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

(This is only a partial answer, but it's a bit long for a comment.)

Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This has certainly been reproved by "a direct geometric argument that does not secretly involve homotopy groups of spheres" in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

A nice, direct combinatorial construction was given by Gaifullin, see his papers on the arXiv. A drawback here is that if you think of it as realizing some multiple of the given integral cycle by an oriented smooth manifold, then the number that you have to multiply by in his construction is not bounded in terms of the dimension of the cycle.

There has also been another geometric approach. Thom also proved that $\bmod2$ homology classes are representable by maps of smooth (possibly unorientable) manifolds. This was reproved geometrically in

S. Buoncristiano and D. Hacon, An elementary geometric proof of two theorems of Thom, Topology 20 (1981), no. 1, 97–99

The other theorem of their title is that unoriented bordism is determined by Stiefel-Whitney numbers, and it is used in their proof that mod 2 homology classes are representable by smooth manifolds.

I believe the same geometric argument should also work to show that rational homology classes are representable by oriented smooth manifolds - modulo the fact that Pontryagin numbers determine oriented bordism tensored by $\Bbb Q$. This fact I'm afraid I don't know how to prove geometrically (for some proof, see e.g. the Milnor-Stasheff book). But note that in a subsequent paper Buouncristiano and Hacon also gave a geometric proof that Chern numbers determine complex bordism (Ann. of Math., 118 (1983), 1-7). Their other papers may also be of interest if you care about geometric proofs of classical results on bordism.

Source Link
Loading