OAI/Analysis/TracialCohomology/CentralMatrices.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Central matrices for bounded Hochschild cohomology.

  1. theorem OAI.PopaCenter.homogeneous_partition line 29
  2. lemma OAI.PopaCenter.system_of_partition line 81
  3. theorem OAI.PopaCenter.exists_homogeneous_system line 116
  4. lemma OAI.PopaCenter.off_diagonal_average line 129
  5. theorem OAI.PopaCenter.finite_corner_rep line 138
  6. lemma OAI.PopaTypeII.square_zero_noncommute line 159
  7. lemma OAI.PopaTypeII.corner_noncommutative_of_nilpotent line 175
  8. lemma OAI.PopaTypeII.corner_transfer_nilpotent line 182
  9. lemma OAI.PopaCenter.system_diagonal_average line 226
  10. lemma OAI.PopaCenter.system_cut_diagonal_average line 244
  11. lemma OAI.PopaCenter.central_projection_mul line 251
  12. lemma OAI.PopaCenter.nonzero_central_digit line 261
  13. theorem OAI.PopaTypeII.noAbelianCorners_of_matrices line 305