Papers

We study the SCFT/VOA correspondence for the $(A_2,D_{3n-2})$ Argyres–Douglas theories with $n\geq2$. From the matching of the central charges and the equality of the Schur index with the vacuum supercharacter to all orders, we propose that the associated VOA is the logarithmic doublet algebra $\mathcal A(4n-2)$ of Feigin, Feigin, and Tipunin. For $n=2$, this correspondence was studied in detail by Buican and Nishinaka, and our proposal extends it to $n\geq3$. Using the Nahm sum expression for the vacuum supercharacter, we further propose a family of 3d $\mathcal N=2$ abelian Chern–Simons matter theories that flow to the 3d $\mathcal N=4$ SCFTs obtained by the R-twisted circle reduction, generalizing the $n=2$ construction. We determine the monopole superpotential and show that the Coulomb branch is $\mathbb C^2/\mathbb Z_2$ for every $n$. The superconformal index provides quantitative evidence for the proposed infrared fixed points, including the expected enhancement to $\mathcal N=4$ supersymmetry and the Higgs and Coulomb branch structure.

Let $\mathcal{B}$ be a braided finite tensor category and let $A$ be a simple commutative algebra in $\mathcal{B}$. We construct an order-reversing Galois connection between subalgebras of $A$ and tensor subcategories of $\mathcal{B}_A$. Let $\mathcal{B}'$ denote the Müger center and set $A':=A\cap\mathcal{B}'$. The closure operators are $B\mapsto\langle B,A'\rangle_{\mathrm{alg}}$ and $\mathcal{E}\mapsto\langle\mathcal{E},\mathcal{B}_A^{\mathrm{loc}}\rangle_{\otimes}$. Thus the closed subalgebras are those containing $A'$, while the closed tensor subcategories are those containing $\mathcal{B}_A^{\mathrm{loc}}$; equivalently, the fixed-point intervals $[A',A]_{\mathrm{alg}}$ and $[\mathcal{B}_A^{\mathrm{loc}},\mathcal{B}_A]_{\otimes}$ are anti-isomorphic as lattices. For a finite tensor category $\mathcal{C}$, the canonical algebra in $\mathcal{Z}(\mathcal{C})$ yields an anti-isomorphism between its subalgebras and tensor subcategories of $\mathcal{C}$. When $\mathcal{B}$ is nondegenerate, Frobenius extensions correspond to unimodular tensor subcategories. For a Hopf algebra in $\mathcal{B}$, the correspondence specializes to an order-preserving bijection between Hopf ideals and normal left coideal subalgebras.

The structure of non-invertible symmetries in 2D CFT is closely tied to the algebra of preserved holomorphic fields, its representation theory, and its embedding in the full chiral algebra of the CFT. Unfortunately, finding new embeddings of a chiral algebra into another is a difficult mathematical problem, and one of the major obstacles in the pursue of new and exotic categories of non-invertible symmetries. In this work, we describe a simple general technique that leads to a number of new non-trivial results in this direction: (1) For the holomorphic Monster CFT $V^\natural$, we show that for every `Fricke' non-anomalous Monster element of order $N$, there is an embedding of the parafermion algebra $\frac{su(2)_N}{u(1)}$ in $V^\natural$, we compute the characters of its commutant, and describe the topological defects preserving these subalgebras. (2) We provide an easy-to-check sufficient condition for a holomorphic VOA $V$ to be self-orbifold under a cyclic group of (invertible) symmetries, and determine the associated duality defect. (3) We find several new topological defects in CFTs arising from heterotic strings on $T^4$. (4) We prove a number of VOA embeddings and topological defects in the Leech lattice CFT, in Schellekens theories, and other CFTs of various central charges, and suggest several generalizations of our methods.

Let \(G\) be a simple and simply connected algebraic group of simply-laced type. For each positive braid word \(\beta\), and for the complete strong duality datum attached to a \(Q\)-datum, we construct an explicit based monoidal categorification of the quantum cluster algebra of the braid variety \(X(\beta)\). We identify this algebra with both a localized quantum Grothendieck ring and a localized level-\(\geq1\) subalgebra of the bosonic extension algebra. Under these identifications, quantum cluster monomials correspond simultaneously to real simple modules and normalized global basis elements. We construct the specialization homomorphism at \(q^{1/2}=1\) and prove that it recovers \(\CC[X(\beta)]\); in particular, the resulting integral form is a flat quantum deformation. We also give intrinsic Lusztig parameters for cluster variables attached to double strings, identify the corresponding quantum grid minors, and establish generalized quantum \(T\)-systems.

We extend the setup of Lai-Nakano-Xiang's quantum wreath product algebras to symmetric monoidal categories and deformed braid relations. Under some mild assumptions, we drastically simplify the criterion for such algebras to have PBW basis; curiously, the new criterion is phrased in terms of associative and quantum Yang-Baxter equations. As an application, we clean up some basis results in the existing literature, and propose a certain generalization of quiver Hecke algebras.

Using the newly developed $3$d quantum trace map, we compile more evidence for the length conjecture, a refinement of the all-order volume conjecture that incorporates insertions of additional links in the skein module of the knot complement. In particular, we prove that the length conjecture holds up to first order for an infinite family of twist knots. Along the way, we form a conjecture that the $3$d quantum trace map behaves naturally with respect to Dehn filling.

Let $G$ be a connected, simply connected complex simple algebraic group and $\mathscr{A}_G=G/U^+$ its base affine space, whose elements are called decorated flags. We introduce the quantum configuration space of decorated flags $\mathcal{O}_q(\mathrm{Conf}_K \mathscr{A}_G)$ and initiate its algebraic study, based on the representation theory of quantized enveloping algebras. Our algebra $\mathcal{O}_q(\mathrm{Conf}_K \mathscr{A}_G)$ gives a quantum analogue of the configuration space $\mathrm{Conf}_K \mathscr{A}_G$ of $K$ decorated flags, which provides local building blocks for the Fock–Goncharov moduli space $\mathscr{A}_{G,\Sigma}$ of decorated twisted $G$-local systems on a marked surface $\Sigma$. We establish basic algebraic properties of $\mathcal{O}_q(\mathrm{Conf}_K \mathscr{A}_G)$ such as the domain property, quantum normalization of representatives, the quantum cyclic shifts, the quantum Wilson lines, whose classical counterparts have been fundamental in the study of $\mathscr{A}_{G,\Sigma}$. Moreover, we construct quantum seeds for $\mathcal{O}_q(\mathrm{Conf}_4 \mathscr{A}_G)$ by transporting the Berenstein–Zelevinsky quantum cluster structure on $\mathcal{O}_q(G)$ via quantum Wilson lines, and prove that $\mathcal{O}_q(\mathrm{Conf}_4 \mathscr{A}_G)$ coincides with the corresponding quantum cluster algebra and its upper counterpart after the localization at frozen variables. The exchange matrices for our quantum seeds agree with the Goncharov–Shen exchange matrices. We also show that quantum seeds for $\mathcal{O}_q(\mathrm{Conf}_4 \mathscr{A}_G)$ restrict to those for $\mathcal{O}_q(\mathrm{Conf}_3 \mathscr{A}_G)$. Finally, we construct quantum seeds for $\mathcal{O}_q(\mathrm{Conf}_K \mathscr{A}_G)$, $K\geq 5$, and prove that the corresponding quantum cluster algebras contain the quantum configuration space $\mathcal{O}_q(\mathrm{Conf}_K \mathscr{A}_G)$.

Fan, Ma, and Xing constructed oriented-tangle invariants from finite-type two-parameter quantum algebras. In this paper, we construct an explicit parameter-transport comparison between two-parameter modules and their corresponding one-parameter modules, and we verify this comparison on every elementary oriented-tangle operator. After extending scalars to a common coefficient field, we prove that if $M_1$ is any finite-dimensional integrable type-1 simple highest-weight $U_{v,1}$-module whose weights lie in an admissible lattice and $M_t=\Phi_t(M_1)$ is its transported module, then for every oriented link $L$, the corresponding normalized invariants satisfy $I_{v,t}^{M_t}(L)=I_{v,1}^{M_1}(L)$. Consequently, the two invariants assign equal values to exactly the same pairs of oriented links and therefore have the same distinguishing power; this includes the vector representations of the finite classical types A, B, C, and D. Sean Clark's comparison of ordinary and super quantum knot invariants is obtained as a specialization of the same transport principle in which explicit scalar factors are allowed.

This paper studies the category $\mathcal{C}$ of grading-restricted $C_1$-cofinite generalized modules for the vertex operator algebra associated to the $W$-algebra $W(2,2)$. We first show that $\mathcal{C}$ is the same as the category of finite length modules whose simple composition factors are the irreducible highest weight $W(2,2)$–modules $L[r]$ of highest weight $(\frac{1-r}{2}, 0)$ for $r \in \mathbb{Z}_{> 0}$, and hence $\mathcal{C}$ carries a braided tensor category structure. Then we prove the fusion rules for the simple objects $L[r]$ are governed by the $\mathfrak{sl}_2$ Clebsch–Gordan rule. In particular, we prove \[ L[r]\boxtimes L[s]\cong \bigoplus_{i=0}^{\min\{r,s\}-1} L[r+s-1-2i]. \] Using the fusion rules and a recent result of Etingof–Penneys, we establish the rigidity of $\mathcal{C}$. We also show the semisimple subcategory generated by the simple objects $L[r]$ is tensor equivalent to the category Rep $\mathfrak{sl}_2$ of finite dimensional $\mathfrak{sl}_2$-modules.

We construct an $\mathfrak{sl}_2$-action by derivations on the Lie algebra $\mathfrak B$ of swap invariant alternil bimoulds with the uri bracket of Kühn and Schneps. This Lie algebra plays the role for formal multiple Eisenstein series which Racinet's double shuffle Lie algebra $\mathfrak{dm}_0$ plays for multiple zeta values. The kernel $\mathfrak m$ of the lowering operator is a Lie subalgebra, $\mathfrak B$ is the direct sum of its iterates under the raising operator, and this gives Rankin-Cohen type operators on $\mathfrak m$. We define a Lie subalgebra $\mathfrak d$ of $\mathfrak B$ and show that it is isomorphic to $\mathfrak{dm}_0$ extended by an additional element in weight one.

We prove that a coaction of a Hopf algebra on another preserving the latter's associative-algebra structure and comultiplication automatically also preserves the counit, antipode, and tensor-interchange map and in fact factors through the coaction dual to an action of an affine group scheme by Hopf-algebra automorphisms. This generalizes and unifies a number of results to the effect that quantum groups have only classical symmetries, due to Kasprzak et al., Budziński-Kasprzak and Brannan et al. The stated automatic classicality follows from the fact that the antipode, counit and tensorand-interchange of a Hopf algebra internal to any symmetric monoidal category are contained in the (non-symmetric) monoidal subcategory generated by the associative-algebra structure and the comultiplication, assuming a weak form of arrow-retraction invariance.

The symmetric Macdonald polynomial at peculiar values of parameter $t=q^{-m}$, $m\in\mathbb{Z}_{\ge 0}$ is naturally split into non-symmetric parts, which are the (quasi)polynomial Baker-Akhiezer (BA) functions. One may think this is due to symmetricity, and one just picks up this way non-symmetric parts already containing all the information. However, we demonstrate that, in the case of non-symmetric Macdonald polynomials, it still works, though each single BA function splits into $N!$ distinct (quasi)polynomial BA functions. The sum of these functions gives rise to the universal solution of the eigenstate problem for the Cherednik Hamiltonians. Extending to arbitrary values of $t$ is also immediate giving rise to counterparts of the Noumi-Shiraishi power series. Altogether, this power series and its reductions to non-symmetric Macdonald polynomials and to BA functions form a non-symmetric triad. There are $N!$ different branches of the non-symmetric triad, each branch being split into $N!$ distinct triads, and of these $(N!)^2$ triads $N!(N-1)!$ are independent. We describe in detail the simplest $N=2$ case.

In this paper, we construct confluence relations for $q$-analogues of multiple zeta values by adapting the classical construction to the $q$-setting. Our construction uses $q$-analogues of multiple polylogarithms depending on an auxiliary variable $z$, functional relations arising from their $q$-differential equations, and the (regularized) limit as $z$ tends to $1$. We prove that the resulting family of relations contains the stuffle product relations and, assuming a certain conjectural identity, the duality relations for both the Bradley–Zhao and Schlesinger–Zudilin models.

We consider three specific $q$-deformed matrix models (the Chern-Simons, $q$-Laguerre, and $q$-Gaussian matrix models) which can be solved explicitly using the property of superintegrability. We show that one- and two-point functions of inverse characteristic polynomials can be interpreted as quantizations of Lagrangian subvarieties in $(\mathbb{C}^*)^2$ and $(\mathbb{C}^*)^4$, respectively. While such a geometric picture is expected for the Chern-Simons matrix model, our results for the $q$-Laguerre and $q$-Gaussian models are new and exhibit additional features. In particular, specific anti-symplectic birational involutions play an essential role in the construction. This reformulation provides a geometric framework for analyzing the semiclassical, large-$N$ expansion of matrix-model correlators. This picture is suggestive of the geometry underlying open topological strings, although the two constructions are not identical and the precise relation between them remains to be understood.

We develop a theory of first order differential calculi in braided monoidal categories and classify braided covariant and bicovariant calculi on braided Hopf algebras. We show that, under certain conditions, bicovariant calculi can be transmuted to braided bicovariant calculi. For Radford–Majid biproducts, we combine bicovariant calculi on a Hopf algebra and braided bicovariant calculi on the corresponding braided Hopf algebra to covariant smash product calculi. The associated Maurer–Cartan form is shown to decompose into a direct sum of the Maurer–Cartan forms of the structure Hopf algebra of the quantum principal bundle and the braided Hopf algebra on the base. Geometrically, this construction realises the quantum affine extension of a given Hopf algebra, and we prove that the resulting quantum principal bundle is equipped with a frame resolution induced by the quantum Maurer–Cartan form. Building on this correspondence, we introduce and develop the notion of quantum $\textrm{G}$-structure, proving that quantum $\textrm{G}$-structures are quantum frame resolutions on the reduction. The theory is illustrated by examples based on transmutations of higher analogues of Sweedler's Hopf algebra and on the braided quantum plane, seen as a Yetter–Drinfeld module of $O_q(\mathrm{GL}_2)$.

Lipshitz and Sarkar asked in an ICM 2018 question whether their homotopy-theoretic refinement of Khovanov homology can detect mirror reflection when ordinary integral Khovanov homology cannot. We give an affirmative answer by presenting a prime knot whose integral Khovanov homology agrees with that of its mirror in every bidegree, including torsion, and yet over $\mathbb{F}_2$, the second Steenrod square has rank one for the knot and rank zero for its mirror in a specified bidegree. We also give a composite example. The construction, search and computations are done with the help of chat-GTP 5.6 sol Pro combing over the Regina Census of knots.

We prove the shuffle realization for quantum affine superalgebras of types $B,C,D$ in the loop realization, in that we construct an isomorphism between each of these algebras and a suitably defined double shuffle algebra. We explicitly describe the latter shuffle algebra using certain vanishing conditions that generalize the Feigin-Odesskii wheel conditions; a novel feature is the appearance of a so-called scary wheel, which is a particular order $2$ vanishing condition involving $7$ variables. Along the way, we fully develop the theory of shrubs in super types $A$ (affine and toroidal), which are important combinatorial tools in the study of the shuffle algebras associated to toric Calabi-Yau threefolds. Our techniques also allow us to define quantum toroidal superalgebras of types $B,C,D$. More importantly, we provide a general framework to formulate and prove shuffle realizations in the wide generality of quivers with parameters.

Using ChatGPT 5.6, we find a counterexample to the stable forking conjecture. This answers a long-standing open question of Hart, Kim and Pillay (1996).

Let $G$ be a complex reductive affine algebraic group with its symmetric tensor category $\mathcal{C}_G$ of finite-dimensional rational representations. We prove that every simple commutative algebra object with at most countable dimension in the direct limit completion $\operatorname{Ind}(\mathcal{C}_G)$ of $\mathcal{C}_G$ is isomorphic to the algebra $\mathcal{O}(G/H)$ of regular functions on the homogeneous space $G/H$, for some reductive algebraic subgroup $H$ of $G$. Then we apply this result to the theory of vertex operator algebra extensions. In particular, assuming the strong rationality of the $ \operatorname{A}_5$-orbifold of the vertex operator algebra $V_{\mathcal{L}_2}$ associated with the rank-one root lattice $\mathcal{L}_2:= \sqrt{2}\mathbb{Z}$, we classify all the not necessarily rational simple CFT type preunitary vertex operator algebra extensions of the simple unitary Virasoro vertex operator algebra $L(1,0)$ with central charge $c=1$ satisfying a certain spectrum condition. This result is the vertex operator algebra analogue of a conformal net result by Feng Xu. Every strongly rational preunitary vertex operator algebra extension of $L(1,0)$ satisfies the above spectrum condition because of the congruence subgroup modularity property of its characters. As a consequence, we get a complete classification result for strongly rational $c=1$ vertex operator algebras, up to the strong rationality of $V_{\mathcal{L}_2}^{\operatorname{A}_5}$.

For mathematicians: In this first in a series of two papers, we give a mathematically rigorous classification of (sufficiently nice) $c=1$ vertex operator algebras (VOAs) and vertex operator superalgebras (VOSAs). We confirm the lore that any such VO(S)A is either a lattice VO(S)A $V_L$ associated to a rank-1 integral lattice $L$, or can be obtained as an orbifold thereof, i.e. a $G$-invariant subalgebra $V_L^G$ for some finite group $G$ of automorphisms. All such $G$ are known, allowing for an explicit enumeration of nice $c=1$ VO(S)As. A key ingredient in our approach is to establish a general criterion for nice VOAs, requiring knowledge only of the vacuum character, for testing when the simple modules with integer conformal dimension span a symmetric fusion subcategory which is braided tensor equivalent to $Rep(G)$. In our companion paper, we calculate the ribbon auto-equivalences of the representation categories of the nice $c=1$ VOAs, and leverage this to obtain the classification of nice bosonic and fermionic $c=1$ full conformal field theories. For physicists: We rigorously classify the chiral algebras that can arise in the holomorphic sector of a bosonic or fermionic rational $c=1$ conformal field theory (CFT) whose non-identity primaries all have positive conformal dimension. Thinking of chiral algebras as gapless boundary conditions of 3D topological quantum field theories (TQFTs), our result says that any such chiral algebra is either a holomorphic boundary of $U(1)_k$ Chern-Simons theory, or can be obtained by passing to the $G$-invariant states thereof for some finite group $G$ of symmetries. We explicitly enumerate these chiral algebras and also discuss their non-invertible symmetries. In a companion paper, we build on these results using techniques from the study of 3D TQFTs to classify full bosonic and fermionic rational $c=1$ CFTs.

We classify exact factorizations of the third-type rank-one pointed Hopf algebras over an algebraically closed field of positive characteristic. The main step is a complete classification of matched pairs between such an algebra and a group algebra. It turns out that the group-like part must form a matched pair of finite groups, while the only possible action on the skew-primitive generator is a shift by a scalar multiple of $1-g$, where $g$ is the distinguished group-like element, encoded by a single group homomorphism. The bicrossed product is again a third-type rank-one pointed Hopf algebra, and we give a necessary and sufficient condition for two such products to be isomorphic as Hopf algebras. Consequently, up to interchanging the two factors, exact factorizations of a fixed third-type algebra correspond bijectively to exact factorizations of its underlying finite group, with the distinguished group-like element lying in the rank-one factor. As an application, all matched pairs between the Radford algebra and cyclic group algebras are classified, and the corresponding exact factorizations are determined explicitly when the cyclic group has prime order.

Kashiwara–Nakashima tableaux and Gelfand–Tsetlin patterns of orthogonal type are famous as combinatorial models of the finite-dimensional irreducible representations of the special orthogonal Lie algebras $\mathfrak{so}_N$. The former is constructed based on the representation theory of quantum groups, especially the theory of crystals, while the latter based on the branching rule for $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$. In the present paper, we construct a natural bijection between them by means of the representation theory of quantum symmetric pairs corresponding to $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$.

We investigate two families of central elements of the queer super Yangian ${\rm Y}(\mathfrak{q}_1)$, arising from the constructions of Poletaeva-Serganova and from Nazarov's quantum Berezinian. We establish an explicit relation between their generating series, thereby giving an answer to the question raised by Nazarov in \cite{Na22}.

We introduce and study completeness for multiplicative $n$-ary Hom-Nambu superalgebras. Because an $n$-ary Hom-Nambu bracket is not necessarily totally super-skew-symmetric, we define its center as the intersection of its positional centers. A multiplicative $n$-ary Hom-Nambu superalgebra is complete when its center is trivial, and every $\alpha^{k+1}$-derivation is inner for all $k \geq 0$. We show that this notion reduces to the usual completeness for multiplicative $n$-Hom-Lie superalgebras. Furthermore, we establish a completeness criterion for surjective brackets with a zero twisting map and provide a complete $n$-ary Hom-Nambu superalgebra that is not an $n$-Hom-Lie superalgebra. We also study the direct sums of complete $n$-Hom-Lie superalgebras and the behavior of centers under twisting. Finally, starting from a multiplicative Hom-Lie superalgebra, we consider recursively induced multiplicative $n$-ary Hom-Nambu superalgebras. When the twisting map is surjective, we prove that triviality of the center is preserved and reflected in this construction. We also observe that every binary $\alpha^k$-derivation satisfies the corresponding relative $\alpha^k$-derivation identity for the induced bracket. Finally, we determine the complete members in the selected low-dimensional Hom-Lie and $3$-Hom-Lie superalgebra classifications.

Poisson algebras are the quasiclassical limits of associative algebra deformations of commutative associative algebras. This paper extends this process to the level of bialgebras. We derive Poisson bialgebras as the quasiclassical limits of antisymmetric infinitesimal bialgebra deformations of commutative and cocommutative antisymmetric infinitesimal bialgebras. It might be regarded as the “infinitesimal" version of the quantization process of Lie bialgebras in terms of Hopf algebras. Such deformations-quasiclassical limits process for a Poisson bialgebra is equivalently characterized in terms of the introduced notions of deformations of a matched pair of associative algebras as well as a standard Manin triple of associative algebras, whose corresponding quasiclassical limits are a matched pair of Poisson algebras and a standard Manin triple of Poisson algebras, respectively. We illustrate these equivalent deformations-quasiclassical limits processes via coherent derivations.

Let $p$ be an odd prime and let $K/\mathbb{Q}_p$ be a finite unramified extension. From a finite presentation by roots of unity of order prime to $p$, we construct a localized Iwasawa pseudomeasure on $\mathbb{Z}_p^\times$. Although the pseudomeasure depends on the chosen presentation, its image modulo bounded measures depends only on the associated Bloch class: it is the Frobenius-depleted Coleman regulator of that class multiplied by a universal half-shifted zeta principal part. Consequently, every nonexceptional weight component is bounded, while the exceptional component has at most a simple pole with explicitly determined residue. For $p>3$ and $\mathbb{Z}_p$-valued coefficients, vanishing of the principal part is equivalent to vanishing of the corresponding class in $K_3(K;\mathbb{Z}_p)$. Cyclotomic refinements preserve the Bloch class and act on the associated pseudomeasures by explicit Iwasawa multipliers. Normalized finite linear combinations of refinements interpolate arbitrary finite jets of the bounded weight-space data, subject only to the normalization at the exceptional point. We also establish a half-shifted complex Mellin factorization, compare the construction with the GSWZ germ family, and derive, at simple degree-one places above primes $p>3$, a finite-polylogarithm criterion for the local $K_3$-class of the knot $5_2$.

Let $J_r^{SU(n)}(K;q)$ denote the reduced $SU(n)$ quantum invariant of a zero-framed knot $K$, colored by the $r$th symmetric power of the defining representation and normalized to be $1$ for the unknot. For every fixed $n\ge2$ we prove the Chen–Liu–Zhu cyclotomic expansion conjecture: there are unique coefficients $H_k^{(n)}(K;q)\in\mathbb{Z}[q^{\pm1}]$ such that \[ J_r^{SU(n)}(K;q)=\sum_{k=0}^{r} \left(\prod_{i=0}^{k-1}\{r-i\}\{r+n+i\}\right) H_k^{(n)}(K;q), \] where $\{m\}=q^m-q^{-m}$. The finite dual interpolation formula of Beliakova–Gorsky gives an integral one-sided factorial expansion. After identifying their reduced scalar with the Habiro–Lê convention, we restrict the completed center to one-row colors. Completed Harish–Chandra reflection then yields inversion symmetry in the variable $z$, and integral descent through $X=z+z^{-1}$ converts the one-sided expansion into the two-sided Newton basis. Cyclotomic-local interpolation and a UFD denominator-removal argument prove Laurent integrality of the Newton coefficients. We also determine a natural coefficient ring for a rank-uniform expansion. For every zero-framed knot there are unique Laurent differential coefficients $G_k(K;A,q)\in\mathbb{Z}[A^{\pm1},q^{\pm1}]$. The associated Newton coefficients are Laurent polynomials in $A$ over $\mathbb{Q}(q)$ whose values at every geometric node $A=q^n$, $n\ge2$, lie in $\mathbb{Z}[q^{\pm1}]$. They define a two-variable Newton inverse-limit element whose positive-rank specializations recover all symmetric-color HOMFLY–PT polynomials. The completion is taken in the Newton kernels rather than coefficientwise at roots of unity. After a positive rank and a color have been fixed, the series is finite and may be evaluated at a root of unity.

Over an algebraically closed field of characteristic $p>0$, we classify all matched pairs between a generalized Taft algebra $T_{N,n,\xi}$ and the Radford algebra $R$. If $p\nmid N$, every matched pair is trivial, and the corresponding bicrossed product is the tensor product Hopf algebra. If $p\mid N$, matched pairs are parametrized by $\beta\in\mathbb F_p$, and the bicrossed products are described by explicit cross relations. Two such bicrossed products are isomorphic as Hopf algebras if and only if their parameters are equal; hence there are exactly $p$ isomorphism classes in this case.

In this paper we give a geometric description of the behavior of analytic intertwining operators between parabolically induced representations of $\mathrm{GL}_n(\mathrm{F})$, where $\mathrm{F}$ is a local non-archimedean field, in terms of hyperbolic localization functors of Braden. As a consequence, we can show that the image of an intertwining operator is always semi-simple and give a lower bound on the order of its pole, which is conjectured to be an equality as well as an upper bound in terms of the singular support of certain perverse sheaves. Moreover, we are able to reduce the conjecture of Lapid and Mínguez on the shape of irreducible subrepresentations of induced representations to a computation of characteristic cycles. The theory of mixed Hodge modules plays a crucial role in the proofs.

The knot invariants \(V_n\) arise from a rank-two Nichols algebra and a \(4n\)-dimensional right Yetter–Drinfeld module, whereas the colored Links–Gould invariants are defined from typical \(U_q(\mathfrak{sl}(2|1))\)-modules. We prove that these two constructions agree, up to the mirror and parameter inversion forced by the right-module convention. The proof is structural. We first realize the braid operator \(T_n\) as a gauge transform of a canonical super Yetter–Drinfeld braiding. We then construct the relevant right–right paired double, prove that its Hopf pairing is perfect in every root degree, and obtain its completed universal \(R\)-matrix. An explicit Abelian Drinfeld twist separates this double into an all-odd \(U_\hbar(\mathfrak{sl}(2|1))\) root factor and a commutative central factor. Under this factorization, the Nichols module becomes a typical all-odd highest-weight module tensored with a one-dimensional central module. Finally, we transport duality, all four oriented crossings, partial transposes, and writhe normalization. For every oriented knot \(\mathcal K\), every \(n\geq 1\), and every \(\beta\neq 0,-1\), the result is \[ V_{n,\mathcal K}\!\left(Q^{2n\beta+n},Q^2\right) = LG_{\mathcal K}^{(n)}\!\left(Q^{-n\beta},Q^{-1}\right) = LG_{\overline{\mathcal K}}^{(n)}\!\left(Q^{n\beta},Q\right). \] In particular, the scalar-identity property conjectured for the endomorphism-valued \(V_n\) construction follows from the simplicity of the corresponding typical module.