OAI/Analysis/BoundedHochschild/TypeIPrimitives.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Bounded primitives for finite type-I algebras with arbitrary center

For an algebra admitting a faithful normal trace, homogeneous central blocks supply local bounded primitives. Gluing these primitives gives the degree-dependent norm bound without an atomicity assumption on the center.

  1. theorem OAI.BoundedHochschild.primitive_of_finite_typeI line 34