{
  "id": "1909.09328",
  "version": "v1",
  "published": "2019-09-20T05:30:08.000Z",
  "updated": "2019-09-20T05:30:08.000Z",
  "title": "A complete invariant for closed surfaces in the three-sphere",
  "authors": [
    "Giovanni Bellettini",
    "Maurizio Paolini",
    "Yi-Sheng Wang"
  ],
  "comment": "34 pages, 7 figures",
  "categories": [
    "math.GT",
    "math.AT"
  ],
  "abstract": "In this paper we use diagrams in categories to construct a complete invariant, the fundamental tree, for closed surfaces in the (based) $3$-sphere, which generalizes the knot group and its peripheral system. From the fundamental tree, we derive some computable invariants that are capable to distinguish inequivalent handlebody links with homeomorphic complements. To prove the completeness of the fundamental tree, we generalize the Kneser conjecture to $3$-manifolds with boundary, a topic interesting in its own right.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2019-09-20T05:30:08.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "57M05",
      "57Q35",
      "57M25"
    ],
    "keywords": [
      "complete invariant",
      "closed surfaces",
      "fundamental tree",
      "three-sphere",
      "distinguish inequivalent handlebody links"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 34,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}