nLab
first Chern class

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The first of the Chern classes. The unique characteristic class of circle bundles / complex line bundles.

Definition

In bare homotopy-type theory

As a universal characteristic class, the first Chern class is the weak homotopy equivalence

c 1:BU(1)K(,2). c_1 : B U(1) \stackrel{\simeq}{\to} K(\mathbb{Z},2) \,.

Revised on March 29, 2014 03:20:14 by Urs Schreiber (185.37.147.12)