Asymptotic and catalytic containment of representations of $\mathsf{SU}(n)$
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916366590672896 |
|---|---|
| author | Fritz, Tobias |
| author_facet | Fritz, Tobias |
| contents | Given two finite-dimensional representations $ρ$ and $σ$ of $\mathsf{SU}(n)$, when is there $n \in \mathbb{N}$ such that $ρ^{\otimes n}$ is isomorphic to a subrepresentation of $σ^{\otimes n}$? When is there a third representation $η$ such that $ρ\otimes η$ is a subrepresentation of $σ\otimes η$? We call these the questions of asymptotic and catalytic containment, respectively.
We answer both questions in terms of an explicit family of inequalities. These inequalities are almost necessary and sufficient in the following sense. If two representations satisfy all inequalities strictly, then asymptotic and catalytic containment follow (the former in generic cases). Conversely, if asymptotic or catalytic containment holds, then the inequalities must hold non-strictly. These results are an instance of a recent \emph{Vergleichsstellensatz} applied to the representation semiring. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_10899 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Asymptotic and catalytic containment of representations of $\mathsf{SU}(n)$ Fritz, Tobias Representation Theory Commutative Algebra 20G05, 19A22, 06F25 Given two finite-dimensional representations $ρ$ and $σ$ of $\mathsf{SU}(n)$, when is there $n \in \mathbb{N}$ such that $ρ^{\otimes n}$ is isomorphic to a subrepresentation of $σ^{\otimes n}$? When is there a third representation $η$ such that $ρ\otimes η$ is a subrepresentation of $σ\otimes η$? We call these the questions of asymptotic and catalytic containment, respectively. We answer both questions in terms of an explicit family of inequalities. These inequalities are almost necessary and sufficient in the following sense. If two representations satisfy all inequalities strictly, then asymptotic and catalytic containment follow (the former in generic cases). Conversely, if asymptotic or catalytic containment holds, then the inequalities must hold non-strictly. These results are an instance of a recent \emph{Vergleichsstellensatz} applied to the representation semiring. |
| title | Asymptotic and catalytic containment of representations of $\mathsf{SU}(n)$ |
| topic | Representation Theory Commutative Algebra 20G05, 19A22, 06F25 |
| url | https://arxiv.org/abs/2205.10899 |