A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909921616855040 |
|---|---|
| author | Vienney, Jean-Baptiste |
| author_facet | Vienney, Jean-Baptiste |
| contents | In any symmetric monoidal category, the $n$-th (co)equalizer symmetric power of an object $A$ is the (co)equalizer of all the permutations from $A^{\otimes n}$ to itself. If the symmetric monoidal category is $\mathbb{Q}_{\ge 0}$-linear, that is, enriched over $\mathbb{Q}_{\ge 0}$-modules, the notions of $n$-th equalizer symmetric power and $n$-th coequalizer symmetric power are equivalent. In this context, the $n$-th symmetric power of $A$ can be described as the intermediate object $A_n$ in a splitting of the idempotent $\frac{1}{n!}\underset{σ\in S_n}{\sum}σ\colon A^{\otimes n} \rightarrow A^{\otimes n}$. We define a permutation splitting as a countable family of such splittings.
The main goal of this paper is to prove two theorems. The first theorem exhibits in any $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category a bijection between operations making a graded object $(A_n)_{n \ge 0}$ into a permutation splitting and operations making this graded object into a bialgebraic structure that we call a binomial bimonoid. Binomial bimonoids can be defined in any additive symmetric monoidal category. The second theorem shows that, in any $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category, the biassociativity and bicommutativity axioms may be omitted from the definition of a binomial bimonoid.
We then show that being a binomial bimonoid in a $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category is a property: two binomial bimonoids are isomorphic whenever their underlying graded objects are isomorphic. This result does not extend to arbitrary additive symmetric monoidal categories since both the one-variable polynomial algebra and the one-variable divided power polynomial algebra over a field $k$ of positive characteristic are non-isomorphic binomial $k$-bialgebras with isomorphic underlying $\mathbb{N}$-graded vector spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_02094 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories Vienney, Jean-Baptiste Category Theory Logic in Computer Science In any symmetric monoidal category, the $n$-th (co)equalizer symmetric power of an object $A$ is the (co)equalizer of all the permutations from $A^{\otimes n}$ to itself. If the symmetric monoidal category is $\mathbb{Q}_{\ge 0}$-linear, that is, enriched over $\mathbb{Q}_{\ge 0}$-modules, the notions of $n$-th equalizer symmetric power and $n$-th coequalizer symmetric power are equivalent. In this context, the $n$-th symmetric power of $A$ can be described as the intermediate object $A_n$ in a splitting of the idempotent $\frac{1}{n!}\underset{σ\in S_n}{\sum}σ\colon A^{\otimes n} \rightarrow A^{\otimes n}$. We define a permutation splitting as a countable family of such splittings. The main goal of this paper is to prove two theorems. The first theorem exhibits in any $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category a bijection between operations making a graded object $(A_n)_{n \ge 0}$ into a permutation splitting and operations making this graded object into a bialgebraic structure that we call a binomial bimonoid. Binomial bimonoids can be defined in any additive symmetric monoidal category. The second theorem shows that, in any $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category, the biassociativity and bicommutativity axioms may be omitted from the definition of a binomial bimonoid. We then show that being a binomial bimonoid in a $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal category is a property: two binomial bimonoids are isomorphic whenever their underlying graded objects are isomorphic. This result does not extend to arbitrary additive symmetric monoidal categories since both the one-variable polynomial algebra and the one-variable divided power polynomial algebra over a field $k$ of positive characteristic are non-isomorphic binomial $k$-bialgebras with isomorphic underlying $\mathbb{N}$-graded vector spaces. |
| title | A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories |
| topic | Category Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2308.02094 |