Open partial isometries and positivity in operator spaces
We first study positivity in $C^*$-modules using tripotents (= partial isometries) which are what we call open. This is then used to study ordered operator spaces via an “ordered noncommutative Shilov boundary” which we introduce. This boundary satisfies the usual universal diagram/property of the noncommutative Shilov boundary, but with all the arrows completely positive. Because of their independent interest, we also systematically study open tripotents and their properties.