Categorification of the Kauffman bracket skein module of I-bundles over surfaces

Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler characteristics of our homology groups of L determine the coefficients of L in the standard basis of the skein module of M. Therefore, our homology groups provide a `categorification' of the Kauffman bracket skein module of M. Additionally, we prove a generalization of Viro's exact sequence for our homology groups. Finally, we show a duality theorem relating cohomology groups of any link L to the homology groups of the mirror image of L.Comment: Version 2 was obtained by merging math.QA/0403527 (now removed) with Version 1. This version is published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-52.abs.htm

Exotic subfactors of finite depth with Jones indices (5+sqrt{13})/2 and (5+sqrt{17})/2

We prove existence of subfactors of finite depth of the hyperfinite II_1 factor with indices (5+sqrt{13})/2= 4.302... and (5+sqrt{17})/2=4.561.... The existence of the former was announced by the second named author in 1993 and that of the latter has been conjectured since then. These are the only known subfactors with finite depth which do not arise from classical groups, quantum groups or rational conformal field theory.Comment: 70 pages, Latex, using epic.sty, eepic.sty, epsf.sty, here.st

Subfactors of index less than 5, part 1: the principal graph odometer

In this series of papers we show that there are exactly ten subfactors, other than $A_\infty$ subfactors, of index between 4 and 5. Previously this classification was known up to index $3+\sqrt{3}$. In the first paper we give an analogue of Haagerup's initial classification of subfactors of index less than $3+\sqrt{3}$, showing that any subfactor of index less than 5 must appear in one of a large list of families. These families will be considered separately in the three subsequent papers in this series.Comment: 36 pages (updated to reflect that the classification is now complete

On Haagerup's list of potential principal graphs of subfactors

We show that any graph, in the sequence given by Haagerup in 1991 as that of candidates of principal graphs of subfactors, is not realized as a principal graph except for the smallest two. This settles the remaining case of a previous work of the first author.Comment: 19 page

Cyclotomic integers, fusion categories, and subfactors

Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is determining a complete list of numbers in the interval (2, 76/33) which can occur as the Frobenius-Perron dimension of an object in a fusion category. The smallest number on this list is realized in a new fusion category which is constructed in the appendix written by V. Ostrik, while the others are all realized by known examples. The second application proves that in any family of graphs obtained by adding a 2-valent tree to a fixed graph, either only finitely many graphs are principal graphs of subfactors or the family consists of the A_n or D_n Dynkin diagrams. This result is effective, and we apply it to several families arising in the classification of subfactors of index less then 5.Comment: 47 pages, with an appendix by Victor Ostri

Constructing the extended Haagerup planar algebra

We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein theoretic description there is an explicit algorithm for evaluating closed diagrams. This evaluation algorithm is unusual because intermediate steps may increase the number of generators in a diagram.Comment: 45 pages (final version; improved introduction

Evidence for a finite-momentum Cooper pair in tricolor d-wave superconducting superlattices

人工超格子によるらせん型超伝導状態の創出とその検出に成功--有限運動量の電子対を持つ超伝導--.京都大学プレスリリース. 2024-05-13.Fermionic superfluidity with a nontrivial Cooper-pairing, beyond the conventional Bardeen-Cooper-Schrieffer state, is a captivating field of study in quantum many-body systems. In particular, the search for superconducting states with finite-momentum pairs has long been a challenge, but establishing its existence has long suffered from the lack of an appropriate probe to reveal its momentum. Recently, it has been proposed that the nonreciprocal electron transport is the most powerful probe for the finite-momentum pairs, because it directly couples to the supercurrents. Here we reveal such a pairing state by the non-reciprocal transport on tricolor superlattices with strong spin-orbit coupling combined with broken inversion-symmetry consisting of atomically thin d-wave superconductor CeCoIn5. We find that while the second-harmonic resistance exhibits a distinct dip anomaly at the low-temperature ()/high-magnetic field () corner in the -plane for applied to the antinodal direction of the d-wave gap, such an anomaly is absent for along the nodal direction. By carefully isolating extrinsic effects due to vortex dynamics, we reveal the presence of a non-reciprocal response originating from intrinsic superconducting properties characterized by finite-momentum pairs. We attribute the high-field state to the helical superconducting state, wherein the phase of the order parameter is spontaneously spatially modulated