Fredholm modules

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appearsIn gptkb:Noncommutative_Geometry_(book)
gptkbp:defines A Fredholm module over a C*-algebra A is a pair (H, F) where H is a Hilbert space with a *-representation of A and F is a bounded operator on H such that [F, a] is compact for all a in A and F^2 - 1, F - F* are compact.
gptkbp:field functional analysis
noncommutative geometry
gptkbp:generalizes gptkb:Fredholm_operators
https://www.w3.org/2000/01/rdf-schema#label Fredholm modules
gptkbp:introduced gptkb:Alain_Connes
gptkbp:relatedTo gptkb:C*-algebras
gptkb:K-homology
gptkbp:type gptkb:even_Fredholm_module
gptkb:odd_Fredholm_module
gptkbp:usedFor defining K-homology groups
gptkbp:usedIn index theory
gptkbp:bfsParent gptkb:Kasparov_KK-theory
gptkbp:bfsLayer 6