Source author record

Wai-Kit Yeung

Wai-Kit Yeung appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.AG math.KT math.RT math.GT math.SG math.QA

Catalog footprint

What is connected

10works

7topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Pre-Calabi-Yau structures and moduli of representations

We establish a system of formal noncommutative calculus for differential forms and polyvector fields, which forms the foundations for the study of pre-Calabi-Yau categories. Using an explicit trace map, we show that any $n$-Calabi-Yau structure on a non-positively graded dg algebra $A$ induces a $(2-n)$-shifted symplectic structure on its derived moduli stack of representations; while any $n$-pre-Calabi-Yau structure on $A$ induces a $(2-n)$-shifted Poisson structure on this derived moduli stack.

preprint2022arXiv

Relative Calabi-Yau completions

We generalize Keller's construction \cite{Kel11} of deformed $n$-Calabi-Yau completions to the relative context. This gives a construction that extends any given dg functor $F : A \rightarrow B$ between smooth dg categories to a dg functor $\widetilde{F} : \widetilde{A} \rightarrow \widetilde{B}$, together with a family of deformations of $(\widetilde{A},\widetilde{B},\widetilde{F})$ parametrized by relative negative cyclic homology classes $\widetildeη \in HN_{n-2}(B, A)$. We prove that these extensions admit relative $n$-Calabi-Yau structures in the sense of \cite{BD19}. In particular, this proof covers the original absolute case of \cite{Kel11}.

preprint2022arXiv

Ribbon dioperads and modular ribbon properads

We define and study the notions of ribbon dioperads and modular ribbon properads. We give a Lie algebra structure on the colimit total object and the limit total object of a ribbon dioperad, and we give a norm map between them. We give a cobar construction for dg ribbon co-dioperads. We also prove similar results for modular ribbon properads. These results are applied to the study of higher Hochschild cochain complexes and pre-Calabi-Yau categories.

preprint2022arXiv

Shifted symplectic and Poisson structures on global quotients

For a derived stack obtained as a quotient of a derived affine scheme by a reductive group, we show that shifted symplectic structures can be characterized by the Cartan-de Rham complex. For non-reductive groups, we also show the analogous statement for Getzler's extension of the Cartan-de Rham complex. Dually, we construct a Cartan model for polyvector fields on global quotients by reductive groups, and show that shifted Poisson structures can be characterized by it.

preprint2020arXiv

Grothendieck duality and Greenlees-May duality on graded rings

We formulate and prove Serre's equivalence for $\mathbb{Z}$-graded rings. When restricted to the usual case of $\mathbb{N}$-graded rings, our version of Serre's equivalence also sharpens the usual one by replacing the condition that $A$ be generated by $A_1$ over $A_0$ by a more natural condition, which we call the Cartier condition. For $\mathbb{Z}$-graded rings coming from flips and flops, this Cartier condition relates more naturally to the geometry of the flip/flop in question. We also interpret Grothendieck duality as an instance of Greenlees-May duality for graded rings. These form the basic setting for a homological study of flips and flops in [Yeu20a, Yeu20b].

preprint2020arXiv

Homological flips and homological flops

We introduce a notion of homological flips and homological flops. The former includes the class of all flips between Gorenstein normal varieties; while the latter includes the class of all flops between Cohen-Macaulay normal varieties whose contracted variety is quasi-Gorenstein. Our main theorem shows that certain local cohomology complexes are dual to each other under homological flips/flops. We give some preliminary applications of this duality to relate the derived categories under flip/flop. Further applications are in [Yeu20b].

preprint2020arXiv

Representation homology of simply connected spaces

Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc$_G(X,*)$: we call the (co)homology of the structure sheaf of RLoc$_G(X,*)$ the representation homology of $X$ in $G$ and denote it by HR$_*(X,G)$. The HR$_0(X,G)$ is isomorphic to the coordinate ring of the representation variety Rep$_G[π_1(X)]$ of the fundamental group of $X$ in $G$ -- a well-known algebro-geometric invariant of $X$ with many applications in topology. The case when X is simply connected seems much less studied: in this case, the HR$_0(X,G)$ is trivial but the higher representation homology is still an interesting rational invariant of $X$ depending on the algebraic group $G$. In this paper, we use rational homotopy theory to compute the HR$_*(X,G)$ for an arbitrary simply connected space $X$ (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When $G$ is reductive, we also compute the $G$-invariant part of representation homology, HR$_*(X,G)^G$, and study the question when HR$_*(X,G)^G$ is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces $X$ for which HR$_*(X,G)^G$ is a graded symmetric algebra for any complex reductive group $G$.

preprint2020arXiv

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$.

preprint2020arXiv

Weight truncation for wall-crossings in birational cobordisms

We develop the technique of weight truncation in the context of wall-crossings in birational cobordisms, parallel to that in [HL15, BFK19]. More precisely, for each such wall-crossing, we embed the bounded above derived category of coherent sheaves of the semistable part as a semi-orthogonal summand of that of the stack in question. Our construction does not require any smoothness assumptions, and exhibits a strong symmetry across the two sides of the wall-crossing. As an application, we show that for wall-crossings satisfying suitable regularity conditions, a certain duality of local cohomology complexes implies the existence of a fully faithful functor/equivalence between the derived categories under wall-crossings.

preprint2016arXiv

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.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint