arXiv Science⌕ Search

arXiv subjects

Matthew Harper

Publications and source records attributed to Matthew Harper.

17 recordsLinked to original sources
arXiv2026

Detecting Causality with the Links--Gould Polynomial

The conjectures of Low and Natario--Tod, and Penrose's question on Arnold's Problem list ask if causality in spacetimes can be formulated in terms of linking of spheres of light rays in the manifold of all light rays. For $(2+1)$-dimensional spacetimes, this link happens in the manifold coverable by a solid torus $S^1\times \mathbb R^2$. This was solved positively by Chernov and Nemirovski, which raises the question of which link invariants can be used to study causality. Chernov, Martin and Petkova proved that Heegaard--Floer and Khovanov homology completely capture causality. Allen--Swenberg conjectured that the Jones polynomial, which is obtained as an alternating Euler characteristic from Khovanov homology, is also sufficient. But they constructed complicated examples of links $\mathrm{AS}(n)_{n=1}^{\infty}$ that suggest that the Alexander--Conway polynomial -- which is the Euler characteristic of Heegaard--Floer homology -- is not enough. The Links--Gould polynomial is a quantum invariant that specializes to the classical Alexander--Conway polynomial in two different ways and somewhat surprisingly inherits some of its characteristic classical features. We show that it distinguishes all the Allen-Swenberg links from the link of causally unrelated events and hence detects causality in all known examples where the Alexander--Conway polynomial is not sufficient. This suggests that it may completely capture causality. The work on the categorification of the Links--Gould Polynomial is an ongoing and hard problem, and it is not a subject of this paper. As a corollary, we also compute the Seifert genus of all Allen--Swenberg links.

math.GT↗
arXiv2025

Hopf Ideals, Integrality, and Automorphisms of Quantum Groups at Roots of 1

We consider skew-commutative subalgebras in Drinfeld-Jimbo quantum groups at a root of unity $\zeta$ generated by primitive power elements. We classify the centrality and commutativity of these skew-polynomial algebras depending on the Lie type and the order of $\zeta$ modulo 8. We describe Hopf ideals in the quantum group induced from ideals in these subalgebras, including the non-commutative cases. Among these, we construct and analyze a family of Hopf ideals that depend on the choice of an element in the Weyl group. We show that they arise naturally both in the construction of (partial) $R$-matrices and as vanishing ideals of Bruhat subgroups. Specialization to the maximal element yields a rigorous construction of restricted quantum groups as pre-triangular Hopf algebras, independent of any choices. Our treatment also includes even orders of $\zeta$, non-simply laced Lie types, and minimal ground rings. Consequently, we extend some results of De Concini-Kac-Procesi, whose work focuses on odd orders of $\zeta$, which forces the subalgebra to be strictly central, and complex ground fields. This includes the identification of the subalgebras for Lie types $\mathsf{A}_n$ and $\mathsf{B}_2$ with the coordinate rings of associated algebraic groups in the commutative cases, even if $\zeta$ has even order. Our descriptions are computationally explicit and do not utilize Poisson structures. As technical preparations, we discuss PBW bases over minimal rings, dependencies on choices of convex orderings, as well as various new constructions of, and relations among, automorphisms on quantum groups. The latter include formulae for the Garside element in the Lustzig-Artin group action and the family of Che-transformations.

math.QA↗
arXiv2025

On some log-concavity properties of the Alexander-Conway and Links-Gould invariants

The Links--Gould invariant $\mathrm{LG}(L ; t_0, t_1)$ of a link $L$ is a two-variable quantum generalization of the Alexander--Conway polynomial $\Delta_L(t)$ and has been shown to share some of its most geometric features in several recent works. Here we suggest that $\mathrm{LG}$ likely shares another of the Alexander polynomial's most distinctive - and mysterious - properties: for alternating links, the coefficients of the Links-Gould polynomial alternate and appear to form a log-concave two-indexed sequence with no internal zeros. The former was observed by Ishii for knots with up to 10 crossings. We further conjecture that they satisfy a bidimensional property of unimodality, thereby replicating a long-standing conjecture of Fox (1962) regarding the Alexander polynomial, and a subsequent refinement by Stoimenow. We also point out that the Stoimenow conjecture reflects a more structural phenomenon: after a suitable normalization, the Alexander polynomial of an alternating link appears to be a Lorentzian polynomial. We give compelling experimental and computational evidence for these different properties.

math.QA↗
arXiv2025

On the colored Links--Gould polynomial

We give a cabling formula for the Links--Gould polynomial of knots colored with a $4n$-dimensional irreducible representation of $\mathrm{U}^H_q\mathfrak{sl}(2|1)$ and identify them with the $V_n$-polynomial of knots for $n=2$. Using the cabling formula, we obtain genus bounds and a specialization to the Alexander polynomial for the colored Links--Gould polynomial that is independent of $n$, which implies corresponding properties of the $V_n$-polynomial for $n=2$ conjectured in previous work of two of the authors, and extends the work done for $n=1$. Combined with work of one of the authors arXiv:2409.03557, our genus bound for $\mathrm{LG}^{(2)}=V_2$ is sharp for all knots with up to $16$ crossings.

math.QA↗
arXiv2025

On the quantum $\mathfrak{sl}_3$ invariant of positive links

We use the skein theory of $\mathfrak{sl}_3$-webs to study the properties of the quantum $\mathfrak{sl}_3$-link polynomial of positive links. We give explicit formulae for the three leading terms of the polynomial on positive links in terms of diagrammatic quantities of their positive diagrams. We show that a positive link is fibered if and only the second coefficient of the polynomial is equal to one. We also show that the third coefficient provides obstructions to representing links by positive braids.

math.GT↗
arXiv2025

Skein theory for the Links-Gould polynomial

Building further on work of Marin and Wagner, we give a cubic braid-type skein theory of the Links--Gould polynomial invariant of oriented links and prove that it can be used to evaluate any oriented link, adding this polynomial to the list of polynomial invariants that can be computed by skein theory. As a consequence, we prove that this skein theory is also shared by the $V_1$-polynomial defined by two of the authors, deducing the equality of the two link polynomials. This implies specialization properties of the $V_1$-polynomial to the Alexander polynomial and to the $\mathrm{ADO}_3$-invariant, the fact that it is a Vassiliev power series invariant, as well as a Seifert genus bound for knots.

math.GT↗
arXiv2025

Extending Knot Polynomials of Braided Hopf Algebras to Links

Recently, a plethora of multivariable knot polynomials were introduced by Kashaev and one of the authors, by applying the Reshetikhin-Turaev functor to rigid $R$-matrices that come from braided Hopf algebras with automorphisms. We study the extension of these knot invariants to links, and use this to identify some of them with known link invariants, as conjectured in that same recent work.

math.QA↗
arXiv2024

Non-semisimple topological field theory and $\widehat{Z}$-invariants from $\mathfrak{osp}(1 \vert 2)$

We construct three-dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 \pi \sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When $r$ is congruent to $\pm 1$ or $\pm 2$ modulo $8$, we relate the resulting $3$-manifold invariants with physicists' $\widehat{Z}$-invariants associated to $\mathfrak{osp}(1 \vert 2)$. Finally, we establish a relation between $\widehat{Z}$-invariants associated to $\mathfrak{sl}(2)$ and $\mathfrak{osp}(1 \vert 2)$ which was conjectured in the physics literature.

math.QA↗
arXiv2024

The Temperley-Lieb Tower and the Weyl Algebra

We define a monoidal category $\operatorname{\mathbf{W}}$ and a closely related 2-category $\operatorname{\mathbf{2Weyl}}$ using diagrammatic methods. We show that $\operatorname{\mathbf{2Weyl}}$ acts on the category $\mathbf{TL} :=\bigoplus_n \operatorname{TL}_n\mathrm{-mod}$ of modules over Temperley-Lieb algebras, with its generating 1-morphisms acting by induction and restriction. The Grothendieck groups of $\operatorname{\mathbf{W}}$ and a third category we define $\operatorname{\mathbf W}^\infty$ are closely related to the Weyl algebra. We formulate a sense in which $K_0(\operatorname{\mathbf W}^\infty)$ acts asymptotically on $K_0(\mathbf{TL})$.

math.QA↗
arXiv2020

A Non-Abelian Generalization of the Alexander Polynomial from Quantum $\mathfrak{sl}_3$

One construction of the Alexander polynomial is as a quantum invariant associated with representations of restricted quantum $\mathfrak{sl}_2$ at a fourth root of unity. We generalize this construction to define a link invariant $\Delta_{\mathfrak{g}}$ for any semisimple Lie algebra $\mathfrak{g}$ of rank $n$, taking values in $n$-variable Laurent polynomials. Focusing on the case $\mathfrak{g}=\mathfrak{sl}_3$, we establish a direct relation between $\Delta_{\mathfrak{sl}_3}$ and the Alexander polynomial. We show that certain parameter evaluations of $\Delta_{\mathfrak{sl}_3}$ recover the Alexander polynomial on knots, despite the $R$-matrix not satisfying the Alexander-Conway skein relation at these points. We tabulate $\Delta_{\mathfrak{sl}_3}$ for all knots up to seven crossings and various other examples, including the Kinoshita-Terasaka knot and Conway knot mutant pair which are distinguished by this invariant.

math.QA↗
arXiv2019

Verma Modules for Restricted Quantum Groups at a Fourth Root of Unity

For a semisimple Lie algebra $\mathfrak{g}$ of rank $n$, let $\overline{U}_\zeta(\mathfrak{g})$ be the restricted quantum group of $\mathfrak{g}$ at a primitive fourth root of unity. This quantum group admits a natural Borel-induced representation $V({\boldsymbol{t}})$, with ${\boldsymbol{t}}\in(\mathbb{C}^\times)^n$ determined by a character on the Cartan subalgebra. Ohtsuki showed that for $\mathfrak{g}=\mathfrak{sl}_2$, the braid group representation determined by tensor powers of $V({\boldsymbol{t}})$ is the exterior algebra of the Burau representation. In this paper, we generalize the tensor decomposition of $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ used in Ohtsuki's proof to any semisimple $\mathfrak{g}$. Upon specializing to the $\mathfrak{sl}_3$ case, we describe all projective covers of $V({\boldsymbol{t}})$ in terms of induced representations. The above decomposition formula for $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ is then extended to more general $\boldsymbol{t}$ and $\boldsymbol{s}$ where these projective covers occur as indecomposable summands. We also define a stratification of $(\mathbb{C}^\times)^{4}$ whose points $({\boldsymbol{t}},{\boldsymbol{s}})$ in the lower strata are associated with representations $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ that do not have a homogeneous cyclic generator. With this information, we characterize under what conditions the isomorphism ${V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})\cong V({\boldsymbol{\lambda t}})\otimes V({\boldsymbol{\lambda^{-1} s}})}$ holds.

math.QA↗
arXiv2019

Seifert-Torres Type Formulas for the Alexander Polynomial from Quantum $\mathfrak{sl}_2$

We develop a diagrammatic calculus for representations of unrolled quantum $\mathfrak{sl}_2$ at a fourth root of unity. This allows us to prove Seifert-Torres type formulas for certain splice links using quantum algebraic methods, rather than topological methods. Other applications of this diagrammatic calculus given here are a skein relation for $n$-cabled double crossings and a simple proof that the quantum invariant associated with these representations determines the multivariable Alexander polynomial.

math.GT↗
arXiv2015

The scissors mode from a different perspective

The scissors mode, a magnetic dipole excitation-mainly orbital is usually discussed in terms of a transition from a J=0^{+} ground state to a J=1^{+} excited state. This is understandable because it follows from the way the experiment is performed-e.g. inelastic electron scattering. Here however, we start with the excited 1^{+} state and consider all possible transitions to J=0,1 and 2 states.

nucl-th↗
arXiv2014

Consequences of omitting spin-orbit partner configurations on B(E2)'s and quadrupole moments in nuclei

Calculations of B(E2)'s and quadruplole moments in the g_{9/2 region below ^{100} Sn are hampered by the fact that the inclusion of the g_{7/2}configuration leads to model spaces that are too large to handle. We therefore examine lighter nuclei if the fp region where one can easily include all the orbitals, f,{}_{7/2}, p_{3/2}, p_{1/2}and f_{5/2} . We perform such calculations but then take a step back and exclude the f_{5/2} orbital. By comparing the 2 calculations we can hope to get insight into the importance of the missing spin-orbit partner in other regions.

nucl-th↗
arXiv2014

J=0 T=1 Pairing Interaction Selection Rules

Wave functions arising form a pairing Hamiltonian E(0) i,e, one in which the interaction is only between J=0^{+}T=1 pairs, lead to magnetic dipole and Gamow-Teller transition rates that are much larger than those from an interaction E(J_{max}) in which a proton and a neutron couple to J=2j. With realistic interactions the results are in between the 2 extremes. In the course of this study we found that certain M1 and GT matrix elements vanish with E(0) . These are connected to seniority and reduced isospin isospin selection rules. We find the surprising result that The M1 strength to the single j scissors is larger for a J=0 T=1 pairing interaction than it is for Q.Q.

nucl-th↗
arXiv2013

Wave functions of the Q.Q interaction in terms of unitary 9-j coefficients

We obtain wave functions for 2 protons and 2 neutrons in the g_{9/2} shell expressed as column vectors with amplitudes D(J_{p},J_{n}). When we use a quadrupole-quadrupole interaction (Q.Q) we get, in many cases, a very strong overlap with wave functions given by a single set of unitary 9j coefficients --U9j= ((jj)^{2j} (jj^{J_{B}} \ (jj)^{J_{p}} (jj)^{J_{n}})^{I}. Here J_{B}=9 for even I T =0 states. For both even and odd T=1 states we take JB equal to 8 whilst for odd I, T=0 we take JB to be 7. We compare the Q.Q results with those of a more realistic interaction.

nucl-th↗