Quantum Algebra (math.QA)

  • PDF
    We give a Stinespring representation of the Schur block product, say (*), on pairs of square matrices with entries in a C*-algebra as a completely bounded bilinear operator of the form: A:=(a_ij), B:= (b_ij): A (*) B := (a_ijb_ij) = V* pi(A) F pi(B) V, such that V is an isometry, pi is a *-representation and F is a self-adjoint unitary. This implies an inequality due to Livshits and an apparently new one on diagonals of matrices. ||A (*) B|| ≤||A||_r ||B||_c operator, row and column norm; - diag(A*A) ≤A* (*) A ≤diag(A*A).
  • PDF
    Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $\gamma$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(\gamma)(\mathcal{P})$ preserves the space of Poisson structures if $\gamma$ is a cocycle with respect to the vertex-expanding differential in the graph complex. A class of such cocycles $\boldsymbol{\gamma}_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbol{\gamma}_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbol{\gamma}_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbol{\gamma}_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
  • PDF
    With a 4-ended tangle $T$, we associate a Heegaard Floer invariant $\operatorname{CFT^\partial}(T)$, the peculiar module of $T$. We classify peculiar modules in terms of immersed curves on the 4-punctured sphere, based on an algorithm due to Hanselman, Rasmussen and Watson. We deduce that the peculiar module of any tangle $T$ can be computed combinatorially using nice diagrams and illustrate this result by computing the peculiar modules of the 2-stranded pretzel tangles $T_{2n,-(2m+1)}$ for $n,m>0$. Based on Zarev's bordered sutured Heegaard Floer theory, we prove a glueing formula for peculiar modules which recovers link Floer homology $\operatorname{\widehat{HFL}}$. We then study some applications: Firstly, we show that peculiar modules detect rational tangles. Secondly, we give short proofs of various skein exact triangles. Finally, we observe certain symmetries in the peculiar modules of the pretzel tangles $T_{2n,-(2m+1)}$ and deduce that mutation of those tangles preserves $\delta$-graded, and for some orientations even bigraded link Floer homology.
  • PDF
    Define a $\mathcal V^{(d)}$-algebra as an associative algebra with a symmetric and invariant co-inner product of degree $d$. Here, we consider $\mathcal V^{(d)}$ as a dioperad which includes operations with zero inputs. We show that the quadratic dual of $\mathcal V^{(d)}$ is $(\mathcal V^{(d)})^!=\mathcal V^{(-d)}$ and prove that $\mathcal V^{(d)}$ is Koszul. We also show that the corresponding properad is not Koszul contractible.