SearcharxivSearch

arXiv subjects

Yinghua Ai

Publications and source records attributed to Yinghua Ai.

3 recordsLinked to original sources

Topological orders and factorization homology

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 $(\mathbf{H}, u_Σ)$, where $\mathbf{H}$ is the category of finite-dimensional Hilbert spaces and $u_Σ\in \mathbf{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.

math.QA

Two applications of twisted Floer homology

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.

math.GT

The twisted Floer homology of torus bundles

Given a torus bundle $Y$ over the circle and a cohomology class $[ω]\in H^2(Y;\mathbb{Z})$ which evaluates nontrivially on the fiber, we compute the Heegaard Floer homology of $Y$ with twisted coefficients in the universal Novikov ring.

math.GT