Combinatorial proofs in bordered Heegaard Floer homology

Abstract

Using bordered Floer theory, we give a combinatorial construction and proof of invariance for the hat version of Heegaard Floer homology. As part of the proof, we also establish combinatorially the invariance of the linear-categorical representation of the strongly based mapping class groupoid given by the same theory.