nLab
concordance

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

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=DiffS = Diff the site of smooth manifolds, there is

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

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

Definition

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

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

(two cocycles in AA-cohomology on XX)

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

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

Examples

  • For A=VectrBund()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.

Revised on October 27, 2013 22:34:49 by Urs Schreiber (82.113.99.217)