BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Wai-Kit Yeung

Wai-Kit Yeung contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ATmath.KTmath.RTmath.SGmath.GTmath.QA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
7topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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].

0 citations0 reviewsNo code linkedOpen access
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].

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access