نظریه K و توپولوژی جبر در واریته‌های توریک