Around trace formulas in non-commutative integration

Abstract

Trace formulas are investigated in non-commutative integration theory. The main result is to evaluate the standard trace of a Takesaki dual and, for this, we introduce the notion of interpolator and accompanied boundary objects. The formula is then applied to explore a variation of Haagerup's trace formula.