arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1512.02370

A new way to evaluate MOY graphs

Louis-Hadrien Robert
View original source ↗Read source document ↗Export metadata ↓

Abstract

We define a new way to evaluate MOY graphs. We prove that this new evaluation coincides with the classical evaluation by checking some skein relations. As a consequence, we prove a formula which relates the $\mathfrak{sl}_N$ and $\mathfrak{sl}_{N-1}$-evaluations of MOY graphs.

Explore related subjects

math.QAmath.COmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Louis-Hadrien Robert. 2016-02-16. A new way to evaluate MOY graphs. https://arxiv.org/abs/1512.02370

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Projective corepresentations and cohomology of compact quantum groups

We study projective unitary (co)representations of compact quantum groups and the associated second cohomology theory. We introduce left/right/bi/strongly projective corepresentations and study them in details. In particular, we prove that given any compact quantum group $\q$, there are compact quantum groups $\tilde{\q_l}, \tilde{\q_r}, {\tilde \q}_{bi}, {\tilde \q}_{stp}$, each of which contains $\q$ as a Woronowicz subalgebra and every left/right/bi/strongly projective unitary corepresentation of $\q$ lifts to a linear corepresentation of these quantum groups respectively. We observe that the strongly projective corepresentations are associated with the second invariant ($S^1$-valued) cohomology $H^2_{uinv}(\cdot)$ of the quantum group. We define a suitable analogue of normalizer of a compact quantum group in a bigger compact quantum group and using this, associate a canonical discrete group $Γ_\q$ to a compact quantum group $\q$ which is an alternative generalization of the second group cohomology and we show by an example that $Γ_\q$ in general may be different from $H^2_{uinv}(\q,S^1) $. We also illustrate with examples that $Γ_{\q}$ is more suitable than $H^2_{uinv}(., S^1)$ for labeling topological phases under quantum group symmetry.

math.QA↗
arXiv2026

Skein theory, line defects, and quantum symmetric pairs

We construct skein theory for 3-manifolds with embedded line defects, starting from the data of a ribbon tensor category and its balanced braided module category. We focus on line defects arising from quantum symmetric pairs, and prove finiteness properties for their defect skein modules. As an application, we consider $\mathbf{Z}_2$-equivariant skein theory and establish an equivalence with defect skein theory in certain settings, leading to a skein theoretical construction of a family of $\mathrm{C}^\vee\mathrm{C}$ DAHA-modules in the Type AIII case.

math.QA↗
arXiv2026

Polylogarithmic characterizations of the reduced coaction Lie algebra and the double shuffle Lie algebra, and their relation to the Kashiwara--Vergne Lie algebra

The reduced coaction Lie algebra $\mathfrak{rc}_0$ is defined by a skew-symmetric condition together with an algebraic equation involving the reduced coaction, a non-cyclic refinement of the necklace cobracket. The double shuffle Lie algebra $\mathfrak{dmr}_0$ encodes the regularized double shuffle relations in the study of formal multiple zeta values, while the Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2$ arose in the study of the Kashiwara--Vergne conjecture. Our main result is the description of $\mathfrak{dmr}_0$ and $\mathfrak{rc}_0$ by vanishing conditions of different strengths on the same object: the defect of Drinfeld's pentagon equation; $\mathfrak{dmr}_0$ is characterised by the vanishing of the associated two-variable multiple polylogarithms, and $\mathfrak{rc}_0$ by the vanishing of those whose second index has depth $1$. We also establish explicit relations among these three Lie algebras. First, the skew-symmetric elements of $\mathfrak{dmr}_0$ embed into $\mathfrak{rc}_0$. Second, under an additional condition, we construct an injective Lie algebra morphism from $\mathfrak{rc}_0$ to $\mathfrak{krv}_2$.

math.QA↗