Let \ (D\) be positive definite Hermitian and let \ (TX: Y XDY-YDX\) be the associated twisted commutator on \ (Mₙ (C) \) with the Frobenius norm. For a rank-one factor \ (X= uv^*\), an orthogonal block decomposition gives the exact operator norm \ TX₅ ₅²=² (Du²+ Dv²-|u^*Dv|²), \ as well as the complete singular-value spectrum of \ (TX\). We deduce its rank, nullity, and all Schatten norms. We characterize the factors that attain the associated sharp bound, identify their maximal singular vectors, and prove two quantitative stability estimates. The substitution \ (D=^-1/2\) transfers these results to the weighted Frobenius norm \ (A_²=tr (A^*A) \). For a fixed rank-one matrix \ (A=ab^*\), it yields the exact norm of \ (B, B\). Consequently, the weighted B\"ottcher Wenzel inequality of type~ (i) holds whenever one factor has rank one, with no normality assumption. This extends the theorem of Fang and Cheng, which requires both factors to have rank one. We also obtain a sharp bound for factors supported on an invariant plane, two rank-two equality families, and a quantitative estimate for almost invariant planes. The rank-two case remains open. We prove exact reductions rather than a solution. They include an orthogonal energy identity, a deficit decomposition, and a rescaling identity leading to a one-parameter operator pencil. On the extremal rank-one boundary, the interference vanishes and a Schur-complement expansion produces a two-dimensional first-order tangency operator. We compute this operator in two opposite geometric configurations. Any singular vector able to violate the conjectured bound is confined between two subspaces of dimension at most four.
Jérôme Nicolas (Mon,) studied this question.