|© | Dror Bar-Natan:||financial report, some opinions|
Some links: akt bbs budget cob fast gt here infra kat kt ktgs nat pensieve portfolio regina sum12 talks wko
We hope to bring together a number of experts working on "expansions" and a number of experts working on "invariants" in the hope that the two groups will learn from each other and influence each other. "Expansions" are solutions of a certain type of intricate equations within graded spaces often associated with free Lie algebras; they include Drinfel'd associators, solutions of the Kashiwara-Vergne equations, solutions of various deformation quantization problems, and more. By "invariants" we refer to quantum-algebra-inspired invariants of various objects within low dimensional topology; these are often associated with various semi-simple Lie algebras. The two subjects were born together in the early days of quantum group theory, but have to a large extent evolved separately. We believe there is much to gain by bringing the two together again.
The only poly-time [knot] invariants we now know are the Alexander polynomial and finite type invariants. The Alexander polynomial can be computed in about n4 operations (where n is any reasonable measure of the complexity of the knot). Each coefficient of the Alexander polynomial is a numerical invariant, and hence there are infinitely many numerical invariants that can be computed in about n4 time. Finite type invariants can also be computed in poly-time, but there are only finitely many of them below any nd time bound. So Alexander stands out as an anomaly or a miracle: an infinite garden within a scarcely planted desert.
This informal picture, of an Alexander miracle in a great desert, is so unusual it must either be proven or refuted. I plan to do the latter by constructing a few new poly-time computable polynomial-valued knot invariants.
If the natural numbers 1,2,3,... are the simplest and purest of algebra, knots are the simplest and purest of "topology" - that part of mathematics which studies what cannot be changed by a gentle morphing, and can only be modified by abruptly cutting and tearing. Knots are bent and bending pieces of string in our usual 3-dimensional space. Sailors and mountain climbers have been using them since ever, and mathematicians have been studying them for almost as long.
The topic of our workshop is "virtual knots". A relatively recent generalization of the classical notion of knots, which sometimes represents ordinary knots and sometimes represents knots in 4-dimensional space, yet in general lives in no dimension in particular. One reason we care about virtual knots is because of their deep relationship with algebra in general and with "quantum algebra" in particular.
I study 1-knots and 2-knots. 1-Knots are exactly what you think they are - they are pieces of 1-dimensional strings placed in "knotted ways" inside 3-dimensional space. How can you prove that such a piece of string is really knotted and cannot be undone? 2-Knots are exactly what you'd think they are if you were living in a 4-dimensional space. They are 2-dimensional pieces of cloth, placed in "knotted ways" inside 4-dimensional space. What?? Do these things at all exist? What's 4D anyway? These, I guess, are the questions with which my subject started. By now they are settled, and the questions go much deeper, into the relationship between 1-knots and 2-knots and many topics around them, including algebra and geometry and (what?) quantum field theory.
The first picture on the right is a 1-knot. The second is a 2-knot. Because of the physical limitations of your screen (and mine), it appears to be a surface in 3-dimensional space. The fourth dimension is coded using colours, much as colours often code height in 2-dimensional topographical maps. Red means "high" on the fourth coordinate, and blue means low. The third picture is the same as the second, except cut in half, to make the "inside" visible.
Impact. My main project on the v-column, if successful, will radically change the way deformation quantization is viewed, from a theory of deformations of certain algebraic objects, to a theory of "homomorphic expansions" of certain topological objects. I believe it will lead to a radical re-interpretation of the theory of quantum groups. My secondary project may lead to a wide-ranging extension of the most successful knot invariant, the Alexander polynomial, in several directions. In addition, I hope to continue to impact how math is done, presented, and disseminated, by being and remaining at the head of the technological curve.
Very simple. As should be clear from my "Statement of Recent Work", Much is done, much remains to do, and little is written. I plan to spend my already-approved half-sabbatical mostly in Toronto, mostly writing. I hope to spend the Simons half-sabbatical writing even further and working with Anton Alekseev in Geneva (also taking excursions to visit Benjamin Enriquez in Strasbourg), mostly, I hope, completing the "v" column of my "Statement of Recent Work", in which many mysteries still remain.
There is a machine that I like to call "projectivization", which takes certain problems in knot theory and related topics, mostly related to finite type invariants and their interaction with various topological operations, and turns them into problems in graded algebra, often related to Drinfel'd associators and other quantum-group-related constructs. A surprising amount of algebra is in the image of the projectivization machine: associators (web/nat, web/ktgs), the Grothendieck-Teichmuller group (web/gt), the Kashiwara-Vergne conjecture (web/wko), and more. One of my primary goals will be to show that the same is true for the work of Etingof and Kazhdan on the quantization of Lie bialgebras. In some sense this will mean that the theory of quantum groups not only has applications to topology, but in fact, _it is_ topology.
I believe math is too deep. Rather than making it deeper, a better use of my time would be to make some deep ends easier and more accessible. I believe math is too abstract, or at least appears to be too abstract, for much of what may be computed hardly ever is. Thus, whenever I can, I code. Yet I have sinned a few times and written on deep math that was not accompanied with programs. I usually work on knot theory and its surprising relationship with algebra, geometry and quantum field theory. I got my Ph.D. at Princeton, did time at Harvard, Hebrew U., Berkeley and MSRI, and I now work at the University of Toronto. Practically everything I've ever done (including even this paragraph) can be found somewhere on my website, starting at http://www.math.toronto.edu/~drorbn/.
I'll start with the question, and then try to put some meaning into it.
Question. Sometimes a bit of algebra turns out to be a bit of topology, in disguise. Is that true for the theory of quantum groups? [...]
[...] Number theory just seems to be related to everything.
Likewise, though on a smaller scale, many knot theorists such as myself care little about shoelaces, yet care a lot about the unexpected ways by which the study of knotted shoelaces is intricately and deeply related to such a priori remote subjects as 3-dimensional manifolds, hyperbolic geometry, quantum field theory, differential geometry, Lie theory and representation theory, quantum algebra, combinatorics, homological algebra and sophisticated algorithmics.
What about Khovanov homology? I made significant contributions to the highly fashionable subject of Khovanov homology (in fact, while Khovanov is definitely the father of the field, I share the credit for making it fashionable...). Yet at the moment I don't feel mature enough to study this topic any further. I'd rather "categorify" knot invariants only after I properly understand the "algebra" on which they ought to be defined (in the sense of my first project above). And how can I even start categorifying other aspects of the theory of quantum groups, when in my opinion this theory in itself is so poorly understood (at least in the sense of my second project)? With luck, at the end of this grant period I will be ready to return to Khovanov homology and categorification in general.
We consider computers to be outside of our field rather than a part of it, hence most of us know nothing about them. We (as a group) are happy when an undergrad writes a program to compute something for us; this done, we are happy to forget the program and use only the results. Hence a coherent uniform framework for mathematical computation does not yet exist. So every time I try to compute some complicated homology, I have to teach my computer linearity, Gaussian elimination, and tensor products practically from scratch. [...] for most mathematicians and most students of mathematics the entry barriers are way too high, their education is largely irrelevant and they get no credit for the effort. Hence so many math papers describe what amounts to be an algorithm, and so few actually implement it.
I'm a horrible student and a horrible listener. It's very difficult for me to pay attention in talks and classes; for the least reasons my mind wanders and I'm totally lost. And when I'm lost, I'm lost for good, for usually I haven't the will power to concentrate again and pick up from the last I followed.
My current computer program for computing Khovanov homology is extremely inefficient and the main reason for that is inherently mathematical - as it is, Khovanov's chain complex is just too big. An indication for that is the fact that the rank of the homology is invariably much smaller than the dimensions of the spaces of chains involved. I believe I can do a lot better by mixing some homological algebra and some sophisticated programming, and I hope to do so sometime over the grant period.
The phrase "research plan" is almost an oxymoron, for if it can be planned, it ain't research. Or at least, if it can be planned it's already half done, and hence it isn't the best of research. Thus my primary plan of mathematical research for the next few years is to follow my nose. The scents that usually attract me most are [structure, pictorial simplicity, computer assisted mathematics and weblications]