Contents

cohomology

# Contents

## Idea

A concordance between cocycles in cohomology is a relation similar to but different from a plain coboundary, it is a “coboundary after geometric realization”.

A concordance is a left homotopy in an (∞,1)-topos with respect to a topological interval object, not with respect to the categorical interval .

For instance for $S = Diff$ the site of smooth manifolds, there is

• the “topological interval” $I \in \mathbf{H}_{diff}$ which is the smooth ∞-stack on $Diff$ represented by the manifold $I = [0,1]$;

• the “categorical interval” $Ex^\infty \Delta^1 \in \mathbf{H}_{Diff}$ is the smooth ∞-stack that is constant on the free groupoid on a single morphism.

## Definition

For $\mathbf{H}$ and (∞,1)-topos with a fixed notion of topological interval object $I$, for $A \in \mathbf{A}$ any coefficient object and $X \in \mathbf{H}$ any other object, a concordance between two objects

$c,d \in \mathbf{H}(X,A)$

(two cocycles in $A$-cohomology on $X$)

is an object $\eta \in A(X \times I)$ such that

$\begin{matrix} X&&\\ \downarrow&\searrow^{c}&\\ X \times I&\stackrel{\eta}{\to}& A\\ \uparrow& \nearrow_{d}&\\ X&& \end{matrix} \,.$

## Examples

### For topological vector bundles

For topological vector bundles over paracompact Hausdorff spaces, concordance classes coincide with plain isomorphism classes:

###### Proposition

(concordance of topological vector bundles)

Let $X$ be a paracompact Hausdorff space. If $E \to X \times [0,1]$ is a topological vector bundle over the product space of $X$ with the closed interval (hence a concordance of topological vector bundles on $X$), then the two endpoint-restrictions

$E|_{X \times \{0\}} \phantom{AA} \text{and} \phantom{AA} E|_{X \times \{1\}}$

are isomorphic topological vector bundles over $X$.

For proof see at topological vector bundle this Prop..

### More examples

• For $A = VectrBund(-)$ the difference between concordance of vectorial bundles and isomorphism of vectorial bundles plays a crucial rule in the construction of K-theory from this model.

• The notions of coboundary and concordance exist in every cohesive (∞,1)-topos.

Last revised on November 8, 2018 at 10:38:24. See the history of this page for a list of all contributions to it.