Atiyah–Segal axioms

Target entity: Atiyah–Segal axioms
Context triple: [topological quantum field theory, formalizedBy, Atiyah–Segal axioms]

• A. Osterwalder–Schrader axioms
  The Osterwalder–Schrader axioms are a set of mathematical conditions that characterize Euclidean quantum field theories in a way that allows them to be rigorously continued to physically meaningful relativistic quantum field theories.
• B. Atiyah–Bott fixed-point theorem
  The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
• C. Atiyah–Hirzebruch spectral sequence
  The Atiyah–Hirzebruch spectral sequence is a fundamental computational tool in algebraic topology that relates generalized cohomology theories, such as K-theory, to ordinary cohomology, enabling the step-by-step calculation of these invariants from simpler data.
• D. 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.
• E. Faddeev’s axioms
  Faddeev’s axioms are a set of conditions characterizing Shannon entropy in information theory, providing an alternative but equivalent axiomatization to the Shannon–Khinchin framework.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Atiyah–Segal axioms
Target entity description: The Atiyah–Segal axioms are a set of mathematical conditions that rigorously define topological quantum field theories as functorial assignments from geometric data to algebraic structures.

• A. Osterwalder–Schrader axioms
  The Osterwalder–Schrader axioms are a set of mathematical conditions that characterize Euclidean quantum field theories in a way that allows them to be rigorously continued to physically meaningful relativistic quantum field theories.
• B. Atiyah–Bott fixed-point theorem
  The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
• C. Atiyah–Hirzebruch spectral sequence
  The Atiyah–Hirzebruch spectral sequence is a fundamental computational tool in algebraic topology that relates generalized cohomology theories, such as K-theory, to ordinary cohomology, enabling the step-by-step calculation of these invariants from simpler data.
• D. 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.
• E. Faddeev’s axioms
  Faddeev’s axioms are a set of conditions characterizing Shannon entropy in information theory, providing an alternative but equivalent axiomatization to the Shannon–Khinchin framework.
• F. None of above. chosen