Koszulity of a certain dioperad
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |