Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.02829 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915922677071872 |
|---|---|
| author | Takeda, Alex |
| author_facet | Takeda, Alex |
| contents | We establish that the dioperad $Y^{(n)}$, encoding bialgebras with a product of degree zero, a coproduct of degree $(1-n)$ and a rank three cyclic tensor, which satisfy a deformed version of the balanced infinitesimal bialgebra condition, is Koszul. This result is established by studying specific subcomplexes of the assocoipahedra of Poirier and Tradler. These subcomplexes are related to a certain type of meromorphic quadratic differential on $\mathbb{CP}^1$, which we call cloven Strebel differentials. Using that geometric interpretation, we can control the topology of the relevant subcomplexes and deduce the vanishing of higher cohomology of the corresponding dioperadic bar complexes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_02829 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Koszulity of a certain dioperad Takeda, Alex Algebraic Topology 18M85, 30F30, 57K20, 53C12 We establish that the dioperad $Y^{(n)}$, encoding bialgebras with a product of degree zero, a coproduct of degree $(1-n)$ and a rank three cyclic tensor, which satisfy a deformed version of the balanced infinitesimal bialgebra condition, is Koszul. This result is established by studying specific subcomplexes of the assocoipahedra of Poirier and Tradler. These subcomplexes are related to a certain type of meromorphic quadratic differential on $\mathbb{CP}^1$, which we call cloven Strebel differentials. Using that geometric interpretation, we can control the topology of the relevant subcomplexes and deduce the vanishing of higher cohomology of the corresponding dioperadic bar complexes. |
| title | Koszulity of a certain dioperad |
| topic | Algebraic Topology 18M85, 30F30, 57K20, 53C12 |
| url | https://arxiv.org/abs/2511.02829 |