Loop groups and noncommutative geometry