In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long wave length limit. For example, the notion of braiding only makes sense locally. It is natural to ask how to obtain global observables on a closed surface. The answer is provided by the theory of factorization homology. We compute the factorization homology of a closed surface Σ with the coefficient given by a unitary modular tensor category, and show that the result is given by a pair (H, u Σ ), where H is the category of finite-dimensional Hilbert spaces and u Σ ∈ H is a distinguished object that coincides precisely with the Hilbert space assigned to the surface Σ in Reshetikhin-Turaev TQFT. We also generalize this result to a closed stratified surface decorated by anomaly-free topological defects of codimension 0,1,2. This amounts to compute the factorization homology of a stratified surface with a coefficient system satisfying an anomaly-free condition.The study of topological orders has attracted a lot of attentions in recent years. In this work, we show how to compute the global observables of an anomaly-free 2d topological order on a closed 2d manifold. Here 2d is the space dimension. We also generalize the computation to closed stratified 2d manifolds decorated by anomaly-free topological defects.By an anomaly-free 2d topological order, we mean a 2d topological order that can be realized by 2d lattice models [KW]. It is known that anomaly-free 2d topological orders are classified by unitary modular tensor categories (UMTC's) (up to E 8 quantum Hall states which will be ignored completely in this work). The objects in the UMTC correspond to topological excitations, which are all particle-like (i.e. 0d) topological defects (also called anyons) and completely local [Ki, LW, KK]. These topological excitations can be moved (by string operators), fused and braided. These fusion-braiding structures are precisely given by the data and axioms of a UMTC. The trivial 2d topological order is given by the simplest UMTC: the category of finitedimensional Hilbert spaces, denoted by H.However, what has not been clarified nor emphasized in physics literature is that the fusionbraiding structures of topological excitations are only local observables defined in an open 2-disk. For example, the double braiding of two objects x and y in a UMTC, loosely speaking, corresponds to moving the particle-like topological excitation x around another y along a circular path. This double braiding only makes sense locally, for example, in an open 2-disk. If x and y are located on a sphere, a circular path around the topological excitation y is contractible. Therefore, the double braiding does not make sense on a sphere at all. It means that the braiding structure is not a global observable. Then an obvious question is what the global observables are. The answer to this question is provided by the theor...

We prove an exact sequence for ! -twisted Heegaard Floer homology. As a corollary, given a torus bundle Y over the circle and a cohomology class OE! 2 H 2 .Y I Z/ which evaluates nontrivially on the fiber, we compute the Heegaard Floer homology of Y with twisted coefficients in the universal Novikov ring.

Given an irreducible closed 3-manifold Y , we show that its twisted Heegaard Floer homology determines whether Y is a torus bundle over the circle. Another result we will prove is, if K is a genus 1 null-homologous knot in an L-space, and the 0-surgery on K is fibered, then K itself is fibered. These two results are the missing cases of earlier results due to the second author.

No abstract