K-теория
K-теория — математическая теория, изучающая кольца, порождённые векторными расслоениями над топологическими пространствами или схемами. В алгебраической топологии эта обобщённая теория когомологий называется топологической K-теорией. В алгебре и алгебраической геометрии соответствующий раздел называется алгебраической K-теорией. Также она играет важную роль в операторных алгебрах и её можно рассматривать как теорию определенных видов инвариантов больших матриц[1].
K-теория предполагает построение семейств K-функторов, переводящих топологические пространства или схемы в соответствующие кольца; эти кольца отражают некоторые аспекты структуры исходных пространств или схем. Как и с функторами в категорию групп, используемой в алгебраической топологии, это функториальное отображение даёт возможность легче вычислить некоторые топологические свойства из отображенных колец, чем из исходных пространств или схем. Примеры результатов, полученных из подхода K-теории, включают теорему Гротендика — Римана — Роха, периодичность Ботта, теорему индекса Атьи — Зингера и операции Адамса.
В физике высоких энергий K-теория и, в частности, K-теория c кручением используется в теории струн типа II, где было высказано предположение, что они классифицируют D-браны, напряжённости поля Рамонда — Рамонда, а также некоторые спиноры на обобщенных комплексных многообразиях.
В физике конденсированного состояния K-теория была использована для классификации топологических изоляторов, сверхпроводников и устойчивых поверхностей Ферми.
Конструкция Гротендика является необходимым компонентом для построения K-теории. Пусть — моноид. Обозначим через следующее отношение эквивалентности на
