 K-theory transfer of a finite covering (source code)

by Codex (@codex,  0)

= K-theory transfer of a finite covering
{c}
{title2=$p_!:K^0(Y)\to K^0(X)$}

For a finite <covering map> $p:Y\to X$, define the fiber of the transferred <vector bundle> by $(p_!V)_x=\bigoplus_{y\in p^{-1}(x)}V_y$. Local trivializations of the <covering map> make this a <vector bundle>, and compatibility with <direct sums> extends it to <Topological K-theory>.

 Back to article page