K-theory
E255574
K-theory is a branch of algebraic topology and algebraic geometry that studies vector bundles and generalized cohomology theories using algebraic and categorical methods.
All labels observed (6)
| Label | Occurrences |
|---|---|
| K-theory canonical | 14 |
| algebraic K-theory | 3 |
| topological K-theory | 3 |
| K-theory of topological spaces | 1 |
| algebraic topology | 1 |
| equivariant K-theory | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2314480 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: K-theory Context triple: [Michael Atiyah, knownFor, K-theory]
-
A.
Grothendieck group
The Grothendieck group is an algebraic construction that formally turns a commutative monoid (often arising from isomorphism classes of objects like vector bundles or modules) into an abelian group, playing a central role in K-theory and modern algebraic geometry.
-
B.
Grothendieck–Riemann–Roch theorem
The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
-
C.
Atiyah–Singer index theorem
The Atiyah–Singer index theorem is a fundamental result in mathematics that links the analytical properties of elliptic differential operators to topological invariants of manifolds, unifying analysis, topology, and geometry.
-
D.
Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
-
E.
Chern classes
Chern classes are fundamental topological invariants in differential and algebraic geometry that classify complex vector bundles and capture their curvature and twisting properties.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: K-theory Target entity description: K-theory is a branch of algebraic topology and algebraic geometry that studies vector bundles and generalized cohomology theories using algebraic and categorical methods.
-
A.
Grothendieck group
The Grothendieck group is an algebraic construction that formally turns a commutative monoid (often arising from isomorphism classes of objects like vector bundles or modules) into an abelian group, playing a central role in K-theory and modern algebraic geometry.
-
B.
Grothendieck–Riemann–Roch theorem
The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
-
C.
Atiyah–Singer index theorem
The Atiyah–Singer index theorem is a fundamental result in mathematics that links the analytical properties of elliptic differential operators to topological invariants of manifolds, unifying analysis, topology, and geometry.
-
D.
Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
-
E.
Chern classes
Chern classes are fundamental topological invariants in differential and algebraic geometry that classify complex vector bundles and capture their curvature and twisting properties.
- F. None of above. chosen
Statements (52)
| Predicate | Object |
|---|---|
| instanceOf |
branch of mathematics
ⓘ
cohomology theory ⓘ functor ⓘ generalized cohomology theory ⓘ |
| appliesTo |
C*-algebras
ⓘ
exact categories ⓘ rings ⓘ schemes ⓘ topological spaces ⓘ |
| developedBy |
Alexander Grothendieck
ⓘ
Daniel Quillen ⓘ Friedrich Hirzebruch ⓘ John Milnor ⓘ Max Karoubi ⓘ Michael Atiyah ⓘ |
| fieldOfStudy |
algebraic geometry
ⓘ
algebraic topology ⓘ category theory ⓘ homological algebra ⓘ |
| hasApplicationIn |
algebraic cycles
ⓘ
index theory ⓘ noncommutative geometry ⓘ number theory ⓘ representation theory ⓘ |
| hasInvariant |
K0 group
ⓘ
K1 group ⓘ higher K-groups ⓘ |
| hasVariant |
algebraic K-theory
ⓘ
bivariant K-theory ⓘ complex K-theory ⓘ connective K-theory ⓘ equivariant K-theory ⓘ higher algebraic K-theory ⓘ operator K-theory ⓘ real K-theory ⓘ K-theory self-linksurface differs ⓘ
surface form:
topological K-theory
|
| relatedTo |
Atiyah–Singer index theorem
ⓘ
Bott periodicity ⓘ Grothendieck group ⓘ generalized cohomology theory ⓘ motivic homotopy theory ⓘ stable homotopy theory ⓘ |
| studies |
C*-algebras
ⓘ
exact categories ⓘ operator algebras ⓘ projective modules ⓘ schemes ⓘ topological spaces ⓘ vector bundles ⓘ |
| usesMethod |
algebraic methods
ⓘ
categorical methods ⓘ homotopy-theoretic methods ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: K-theory Description of subject: K-theory is a branch of algebraic topology and algebraic geometry that studies vector bundles and generalized cohomology theories using algebraic and categorical methods.
Referenced by (23)
Full triples — surface form annotated when it differs from this entity's canonical label.