Publications

• "A faithful linear-categorical action of the mapping class group of a surface with boundary" with Peter Ozsváth and Dylan Thurston. Journal of the European Mathematical Society, accepted.
  • on the arXiv: arXiv:1012.1032.
• "Heegaard Floer homology as morphism spaces" with Peter Ozsváth and Dylan Thurston. Quantum Topology, Vol. 2 (2011), no. 4, pp. 381-449.
  • In Quantum Topology.
  • On the arXiv: arXiv:1005.1248.
• "A tour of bordered Floer theory" with Peter Ozsváth and Dylan Thurston. Proceedings of the National Academy of Science, Vol. 108, no. 20, pp. 8085-8092. May 17, 2011.
  • On the arXiv: math/1107.5621.
  • Review on MathSciNet (requires subscription).
• "Slicing planar grid diagrams: a gentle introduction to bordered Heegaard Floer homology" with Peter Ozsváth and Dylan Thurston. Proceedings of 15th Gökova Geometry-Topology Conference, 91-119.
  • On the arXiv: math/0810.0695.
  • Review on MathSciNet (requires subscription).
• "Heegaard Floer homology, double points and nice diagrams." Proceedings of the Conference "New Perspectives and Challenges in Symplectic Field Theory, Stanford, June 2007." CRM Proceedings & Lecture Notes, Vol. 49 (2009), 327–342.
  • This paper in PDF format.
  • Review on MathSciNet (requires subscription).
• "Combinatorial cobordism maps in hat Heegaard Floer theory" with Ciprian Manolescu and Jiajun Wang. Duke Math. J., Vol. 145 (2008), no 2., pp. 207-247.
  • On the arXiv: math/0611927.
  • Review on MathSciNet (requires subscription).
• "Covering spaces and Q-gradings on Heegaard Floer homology" with Dan Lee. J. Symplectic Geom., Vol. 6 (2008), no. 1, 33-59.
  • On the arXiv: math/0608001. An updated version is available here.
  • Review on MathSciNet (requires subscription)
• "A Heegaard-Floer invariant of bordered 3-manifolds." Ph.D. thesis, Stanford University, 2006.
  • This paper in PDF format.
  • This paper in Postscript format.
  • Also available from ProQuest dissertation database (requires subscription)
• "A cylindrical reformulation of Heegaard Floer homology". Geom. Topol. 10 (2006), pp. 955-1097.
  • on the arXiv: math/0502494.
  • Review on MathSciNet (requires subscription).
  • Errata (none, so far, terribly serious).

Preprints (not yet accepted for publication)

• "Bordered Heegaard Floer homology: Invariance and pairing" with Peter Ozsváth and Dylan Thurston.
  • On the arXiv: math/0810.0687.
  • Last updated: June 1, 2011.
• "Bimodules in bordered Heegaard Floer homology" with Peter Ozsváth and Dylan Thurston.
  • On the arXiv: arXiv:1003.0598.
  • Last updated: June 29, 2011.
• "Computing HF^ by factoring mapping classes" with Peter Ozsváth and Dylan Thurston.
  • on the arXiv: arXiv:1010.2550.
  • Last updated: June 29, 2011.
• "Bordered Floer homology and the branched double cover I" with Peter Ozsváth and Dylan Thurston.
  • on the arXiv: arXiv:1011.0499.
  • Last updated: November 2, 2010.
• "A Khovanov homotopy type or two" with Sucharit Sarkar.
  • on the arXiv: arXiv:1112.3932.
  • Last updated: December 19, 2011.

Papers written by undergraduate students I have advised are here.

Programming

• You will need Sage to run it.
• This is version 0.2 (August 5, 2011), the second release on the web. It corrects several (critical) bugs found by Bohua Zhan.
• This version contains new installation options, thanks to Nathan Dunfield. See the README (also courtesy of Dunfield).
• Bohua Zhan has ported this program to C++. The port is much faster. Send him e-mail if you are interested in it.
• Partial documentation is included, in a PDF called BordProgDocs
• Please e-mail me if you find bugs. (I'm sure they're there.) Programming style criticism also accepted.
Barmak, J., & Minian, E. (2007). Minimal finite models. J. Homotopy Relat. Struct., 2(1), 127–140.
• Copyright 2010-2012 Robert Lipshitz, Peter Ozsvath and Dylan Thurston.
• This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

Some programs by other Columbia-affiliated topologists are here. CompuTop has a more extensive list of programs for doing computations in low-dimensional topology.