- December 6, Knots and quantum computation, Miller Institute lunch talk. (video, slides)
- November 14, Khovanov homology and 4-manifold invariants, Eugene colloquium. (abstract, video, notes)
Abstract:
I'll describe an invariant of smooth 4-manifolds defined in terms of
Khovanov homology. It associates a doubly-graded vector space to each
4-manifold (optionally with a link in its boundary), generalizing the
Khovanov homology of a link in the boundary of the standard 4-ball.
I'll finish by talking about relations to TQFT, and the prospects for
concrete calculations. This is joint work with Chris Douglas and Kevin
Walker.
- November 10, Invariants of 4-manifolds from Khovanov homology, Boston College. (video, slides)
- October 29, Connections and planar algebras, Von Neumann algebras and Conformal Field Theory at Vanderbilt. (abstract, handout)
Abstract:
With Emily Peters, I've been exploring subfactors with index in the
interval $(5, 3+\sqrt{5})$. We've recently obtained a classification
of 1-supertransitive subfactors in this range, and performed an
extensive computer search in higher supertransitivities. I'll describe
the examples of subfactors we've found. We have two main new
techniques. First, even when we only know a fragment of a principal
graph, we can extract certain inequalities by considering the norms of
the entries of a connection. This allows the new classification
result. Second, we extend the theory of bi-unitary connections to the
bi-invertible case, and find we can then work over a fixed number
field. This allows effective use of the "hybrid method" of
constructing subfactors: given a not-necessarily flat bi-invertible
connection, we can efficiently solve the equations for a flat element
in the graph planar algebra. This lets us completely analyse the
examples.
- October 21, The blob complex, Toronto. (abstract, video, Bar-Natan's notes)
Abstract:
In my paper with Kevin Walker, we defined the blob complex, which pairs an $n$-manifold and an $n$-category to produce a chain complex. When $n=1$ and the manifold is the circle, this is the Hochschild complex. Thus the blob complex is a generalization of Hochschild homology to higher dimensional algebraic structures, where we can specify the $n$-dimensional shape "along which" we compute. Alternatively, the $0$-th homology is the usual TQFT invariant. Thus we can think of the extra information in the chain complex as extending TQFT invariants in the same way that Hochschild homology extends the coinvariants of an algebra. I'll define the blob complex, sketch its important properties, and outline its intended applications, calculating invariants of manifolds based on exotic higher categories.
- October 19, Small index subfactors, Toronto colloquium. (abstract, slides)
Abstract:
Fusion categories provide a simple model for a collection of
particles which can split and fuse. Despite the simplicity of the
model, it has proved useful in describing exotic materials in
condensed matter physics. On the mathematical side, fusion categories
can be thought of as 'quantum' finite groups. I'll describe recent
joint work on the classification of small fusion categories. The new
examples we've encountered are rather strange objects. Moreover, the
classification is much sparser than we had expected, encouraging the
hope of extending our current knowledge to larger and larger classes
of fusion categories. Along the way we'll use analysis (von Neumann
algebras and subfactors), number theory (the geometry of cyclotomic
integers), graph combinatorics, two-dimensional topology, and some
representation theory!
- October 15, Invariants of 4-manifolds from Khovanov homology, Category-theoretic methods in representation theory, Ottawa. (abstract, slides, blog post)
Abstract:
I'll explain how to define invariants of 4-manifolds (possibly with boundary, possibly with a link in the boundary) from Khovanov homology.
The construction relies on a new property of Khovanov homology, roughly 'S^3 functoriality'. I'll try to indicate where the difficulties may
lie establishing this property for the variations of Khovanov homology based on categorified quantum groups other than SU(2). Finally, I'll
explain how this construction is best viewed as a partial categorification of the 3+1 dimensional TQFT of which the usual Witten-
Reshetikhin-Turaev theories are the boundary, rather than a direct categorification of a WRT theory.
- October 8, Classifying fusion categories and subfactors, SIAM Mini-symposium on Algebraic Aspects of Quantum Computing, Raleigh. (slides)
- July 22, The blob complex, Subfactors in Maui. (notes)
- July 21, The $5-\epsilon$ colour theorem., Subfactors in Maui.
- June 7, 4-manifold invariants from Khovanov homology, Michael Freedman's 60th Birthday Conference, Berkeley. (abstract, slides)
Abstract:
I'll describe an invariant of smooth 4-manifolds defined in terms of
Khovanov homology. It associates a doubly-graded vector space to each
4-manifold (optionally with a link in its boundary), generalizing the
Khovanov homology of a link in the boundary of the standard 4-ball.
For now, we can only make the construction in characteristic two. I'll
finish by talking about relations to TQFT, and the prospects for
concrete calculations. This is joint work with Chris Douglas and Kevin
Walker.
- May 24, 4-manifold invariants from Khovanov homology, Stanford topology seminar. (abstract, slides, slides)
Abstract:
I'll show you the topological quantum field theory recipe for defining
invariants of n-manifolds from a ``disklike n-category'', illustrated
by the particular example of Khovanov homology. Unfortunately, there's
still a gap in our knowledge --- we don't yet know that our attempts
to construct a disklike 4-category from Khovanov homology really
satisfies all the requisite axioms. I'll carefully explain this defect
and what remains to be done before we can build invariants of
arbitrary 4-manifolds via this recipe.
- May 20, Classifying small index subfactors, Great Plains Operator Theory Symposium. (slides, slides)
- February 9 and 16, Topological field theory and the blob complex, University of Sydney and the Australian National University. (abstract, notes)
Abstract:
An n-dimensional topological field theory (TFT) associates vector
spaces to n-manifolds, and higher algebraic data to lower dimensional
manifolds. In the optimal situation, a TFT associates an n-category to
the point (the 0-dimensional manifold), and this n-category in fact
determines the entire TFT, via gluing formulas. I'll describe an
extension of this framework, which we call the "blob complex". The
blob complex associates a chain complex to each n-manifold, whose 0-th
homology is the usual TFT vector space. When n=1, TFTs are essentially
determined by associative *-algebras, and the blob complex for the
circle is equivalent to the Hochschild complex of the algebra. Thus we
have a generalization of Hochschild homology to higher dimensions
which at the same time extends the usual TFT invariants. The blob
complex satisfies certain "A-infinity gluing formulas", which suggest
connections to important new invariants of manifolds coming from
Seiberg-Witten theory, Heegard-Floer theory, and Khovanov homology.
This is joint work with Kevin Walker.
- January 25, February 1, Field and local relations, Teichner's hot topics course on the blob complex. (notes)
- January 21, Khovanov homology for 4-manifolds, GRASP seminar UC Berkeley. (notes)
- January 13, Fusion categories and subfactors, UCSD Colloquium. (slides, slides)