Effective subfactor theory
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914958984347648 |
|---|---|
| author | Fox, Alec Goldbring, Isaac |
| author_facet | Fox, Alec Goldbring, Isaac |
| contents | We characterize when a subfactor $N\subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction, in terms of computable Pismner-Popa bases, and in terms of computability of the conditional expectation map. We illustrate our main theorem with some examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_18831 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Effective subfactor theory Fox, Alec Goldbring, Isaac Logic Operator Algebras We characterize when a subfactor $N\subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction, in terms of computable Pismner-Popa bases, and in terms of computability of the conditional expectation map. We illustrate our main theorem with some examples. |
| title | Effective subfactor theory |
| topic | Logic Operator Algebras |
| url | https://arxiv.org/abs/2409.18831 |