arXiv subjects

Wai-kit Yeung

Publications and source records attributed to Wai-kit Yeung.

3 recordsLinked to original sources

arXiv2020

Representation homology of topological spaces

In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday-Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by proving that the representation homology of the suspension of a (pointed connected) space is isomorphic to its higher Hochschild homology. We also construct some natural maps and spectral sequences relating representation homology to other homology theories associated with spaces (such as Pontryagin algebras, $S^1$-equivariant homology of the free loop space and stable homology of automorphism groups of f.g. free groups). We compute representation homology explicitly (in terms of known invariants) in a number of interesting cases, including spheres, suspensions, complex projective spaces, Riemann surfaces and some 3-dimensional manifolds, such as link complements in $\R^3$ and the lens spaces $ L(p,q) $. In the case of link complements, we identify the representation homology in terms of ordinary Hochschild homology, which gives a new algebraic invariant of links in $\R^3$.

math.AT↗

arXiv2018

Vanishing theorems for representation homology and the derived cotangent complex

Let $G$ be a reductive affine algebraic group defined over a field $k$ of characteristic zero. In this paper, we study the cotangent complex of the derived $G$-representation scheme $ {\rm DRep}_G(X)$ of a pointed connected topological space $X$. We use an (algebraic version of) unstable Adams spectral sequence relating the cotangent homology of $ {\rm DRep}_G(X) $ to the representation homology $ {\rm HR}_*(X,G) := π_*{\mathcal O}[{\rm DRep}_G(X)] $ to prove some vanishing theorems for groups and geometrically interesting spaces. Our examples include virtually free groups, Riemann surfaces, link complements in $ {\mathbb R}^3 $ and generalized lens spaces. In particular, for any f.g. virtually free group $ Γ$, we show that $\, {\rm HR}_i({\rm B}Γ, G) = 0 \,$ for all $ i > 0 $. For a closed Riemann surface $Σ_g $ of genus $ g \ge 1 $, we have $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for all $ i > \dim G $. The sharp vanishing bounds for $ Σ_g $ depend actually on the genus: we conjecture that if $ g = 1 $, then $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for $ i > {\rm rank}\,G $, and if $ g \ge 2 $, then $\, {\rm HR}_i(Σ_g, G) = 0 \,$ for $ i > \dim\,{\mathcal Z}(G) \,$, where $ {\mathcal Z}(G) $ is the center of $G$. We prove these bounds locally on the smooth locus of the representation scheme $ {\rm Rep}_G[π_1(Σ_g)]\,$ in the case of complex connected reductive groups. One important consequence of our results is the existence of a well-defined $K$-theoretic virtual fundamental class for $ {\rm DRep}_G(X)$ in the sense of Ciocan-Fontanine and Kapranov. We give a new `Tor formula' for this class in terms of functor homology.

math.AT↗

arXiv2016

Perverse Sheaves and Knot Contact Homology

In this paper, which is mostly a research announcement, we give a new algebraic construction of knot contact homology in the sense of L. Ng [Ng05a]. For a link $L$ in $ {\mathbb R}^3 $, we define a differential graded (DG) $k$-category $ \tilde{\mathscr A} $ with finitely many objects, whose quasi-equivalence class is a topological invariant of $ L $. In the case when $L$ is a knot, the endomorphism algebra of a distinguished object of $ \tilde{\mathscr A} $ coincides with the fully noncommutative knot DGA as defined by Ekholm, Etnyre, Ng and Sullivan in [EENS13a]. The input of our construction is a natural action of the braid group $B_n$ on the category of perverse sheaves on a two-dimensional disk with singularities at $n$ marked points, studied by Gelfand, MacPherson and Vilonen in [GMV96]. As an application, we show that the category of finite-dimensional representations of the link $k$-category $ \tilde{A} = H_0(\tilde{\mathscr A}) $ defined as the $0$th homology of our DG category $ \tilde{\mathscr A} $ is equivalent to the category of perverse sheaves on $ {\mathbb R}^3 $ which are singular along the link $ L $. We also obtain several generalizations of the category $ \tilde{\mathscr A} $ by extending the Gelfand-MacPherson-Vilonen braid action.

math.AT↗