cohomology

# Contents

## Idea

A concordance between cocycles in cohomology is a relation similar to but different from a coboundary.

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=\mathrm{Diff}$ the site of smooth manifolds, there is

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

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

## Definition

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

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

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

is an object $\eta \in A\left(X×I\right)$ such that

$\begin{array}{ccc}X& & \\ ↓& {↘}^{c}& \\ X×I& \stackrel{\eta }{\to }& A\\ ↑& {↗}_{d}& \\ X& & \end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{matrix} X&&\\ \downarrow&\searrow^{c}&\\ X \times I&\stackrel{\eta}{\to}& A\\ \uparrow& \nearrow_{d}&\\ X&& \end{matrix} \,.

## Examples

• For $A=\mathrm{VectrBund}\left(-\right)$ 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.

Revised on November 6, 2010 12:41:33 by Urs Schreiber (89.204.153.71)