- #1

lavinia

Science Advisor

Gold Member

- 3,237

- 624

- are they cohomologous?

- Is there a limiting process that relates them?

- Thread starter lavinia
- Start date

- #1

lavinia

Science Advisor

Gold Member

- 3,237

- 624

- are they cohomologous?

- Is there a limiting process that relates them?

- #2

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,091

- 1,291

I.e. they say that the deRham cohomology with wedge products, is isomorphic as an algebra to the Cech cohomology with cup products, and they seem to say that this also holds for singular and Cech cohomologies with cup products.

Isn't it more or less Fubini's theorem? i.e. to compare the integration action of a wedge product on a cell, with the cup product value?

Have you tried these "obvious" approaches and run into difficulties checking them out?

- #3

lavinia

Science Advisor

Gold Member

- 3,237

- 624

My thought was that one approximates the integral by the product of the integrals on the faces of the cube. Then subdivision should improve the approximation. The integral of the wedge product would be the limit.

I.e. they say that the deRham cohomology with wedge products, is isomorphic as an algebra to the Cech cohomology with cup products, and they seem to say that this also holds for singular and Cech cohomologies with cup products.

Isn't it more or less Fubini's theorem? i.e. to compare the integration action of a wedge product on a cell, with the cup product value?

Have you tried these "obvious" approaches and run into difficulties checking them out?

Before taking any limits, are the wedge and cup products - viewed as smooth real valued cochains- cohomologous?

I don't know anything about Czech cohomology. Thanks for the info.

- #4

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,091

- 1,291

start from an open cover, in particular look at a polyhedron like an icosahedron. to each vertex associate the open faces (and edges) adjacent to that vertex (the "star" of the vertex). this is the canonical open cover. each open set is thought of as a vertex.

then intersect two such open sets and consider that as a 1 simplex, i.e. an edge.

notice that in our example the intersection of two open sets gives the open faces adjacent to the edge joining the two vertices defining the original open stars.

intersecting three such open stars associated to the vertices of a face, gives that open face. thus abstractly, a k simplex is the intersection of any k+1 open sets of the original open cover.

this is a beautiful construction since it allows one to consider functions defined on the open sets associated to the k simplices. this allows a natural way to use say smooth functions as coefficients for ones cohomology rather than just integers.

since one can consider constant functions as well as smooth functions as coefficients, this allows cech cohomology to be used as a bridge between singular and derham cohomology. this is the approach in bott tu.