MathOverflow Asked by quantumOrange on January 1, 2022

I have a rather basic question about $C^*$-Frobenius algebras (also called Q-systems). Any pointers or references will be most helpful!

We are given a finite-dimensional complex Hilbert space $mathbb{V}$ with a multiplication $m: mathbb{V} otimes mathbb{V} rightarrow mathbb{V}$ (a linear map) such that

- $m$ is associative
- $m^dagger m = mathbb{I}$ (the Identity on $mathbb{V}$), that is, $m$ is an isometry, and
- $m$ and $m^dagger$ fulfill the Frobenius relation, namely, $(m^dagger otimes mathbb{I}) (mathbb{I} otimes m) = m m^dagger$,

[Here $m^dagger$ is the Hermitian conjugate (adjoint) of $m$. If $m$ is viewed as a matrix from $mathbb{V} otimes mathbb{V}$ to $mathbb{V}$ then $m^dagger$ is obtained by first transposing this matrix and then applying entry-wise complex conjugation.]

These relations are depicted by the string diagrams shown below:

My question is: Given this data, does the multiplication $m$ necessarily have a unit? If yes, can it be expressed in terms of $m$ and $m^dagger$?

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP