Abstract:We develop new methods for computing the Hochschild (co)homology of monoids which can be presented as the structure monoids of idempotent set-theoretic solutions to the Yang--Baxter equation. These include free and symmetric monoids; factorizable monoids, for which we find a generalization of the K{ü}nneth formula for direct products; and plactic monoids. Our key result is an identification of the (co)homologies in question with those of the underlying YBE solutions, via the explicit quantum symmetrizer map. This partially answers questions of Farinati--Garc{í}a-Galofre and Dilian Yang. We also obtain new structural results on the (co)homology of general YBE solutions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to develop new methods to calculate the Hochschild (co)homology of structural monoids that can be represented as set - theoretic solutions, especially those structural monoids that can be idempotent solutions of the Yang - Baxter equation (idempotent set - theoretic solutions). These solutions include free monoids, symmetric monoids, factorizable monoids and plactic monoids. The main achievement of the author is to identify the (co)homology in these problems with the (co)homology of the underlying YBE solutions through an explicit quantum symmetrization map. This answers, to some extent, the questions raised by Farinati - García - Galofre and Dilian Yang, and also obtains new structural results on the (co)homology of general YBE solutions.
Specifically, the main contributions of the paper are as follows:
1. **Development of new methods**: The paper proposes new methods for calculating the Hochschild (co)homology of specific types of monoids, which can be represented by the structural monoids of idempotent set - theoretic solutions.
2. **Application of idempotent braid solutions**: Although idempotent braid solutions are of little interest in physics or topology, they are very useful in algebra and can uniformly handle many different algebraic structures, such as free monoids, factorizable monoids, distributive lattices, Young tableaux and plactic monoids.
3. **Quantum symmetrization map**: Through the quantum symmetrization map, the paper relates the (co)homology of idempotent braid solutions to the (co)homology of the corresponding structural monoids, and proves that the quantum symmetrization map provides a quasi - isomorphism between certain quotient complexes and Hochschild chain complexes.
4. **Structural results**: The paper also obtains new structural results on the (co)homology of general YBE solutions. In particular, for idempotent braid solutions with appropriate coefficients, their (co)homology groups carry additional structures, such as cup products.
5. **Application examples**: The paper shows how to apply these results to free monoids and free commutative monoids to recover the classical reduced decompositions; and how to apply them to factorizable monoids to give a generalization of the Künneth formula.
### Specific formulas
- **Definition of idempotent braid solutions**:
\[
\sigma: X\times X\rightarrow X\times X, \quad \sigma\sigma = \sigma
\]
- **Chain complex of Hochschild (co)homology**:
\[
C_{k}=M\otimes_{\mathbb{Z}}\mathbb{Z}X^{\times k}\otimes_{\mathbb{Z}}N
\]
The boundary operator \(d_{k}\) is defined as:
\[
d_{k}=\sum_{i = 1}^{k}(- 1)^{i - 1}(d_{l}^{k;i}-d_{r}^{k;i})
\]
where:
\[
d_{l}^{k;i}(m,x_{1},\ldots,x_{k},n)=(m\cdot x'_{i},x'_{1},\ldots,x'_{i - 1},x_{i + 1},\ldots,x_{k},n)
\]
\[
d_{r}^{k;i}(m,x_{1},\ldots,x_{k},n)=(m,x_{1},\ldots,x_{i - 1},x''_{i + 1},\ldots,x''_{k},x''_{i}\cdot n)
\]
- **Quantum symmetrization map**:
\[
\text{QS}:C_{k}\rightarrow\text{Hochschild chain complex}
\]
This map provides a quasi - isomorphism between certain quotient complexes and Hochschild chain complexes.
### Conclusion
By introducing new calculation methods and the quantum symmetrization map, the paper solves the Hochschild (co)homology problem of idempotent braid solutions and provides a new perspective for understanding the algebraic structures of these solutions.