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

Young-Hoon Kiem

Young-Hoon Kiem contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGquant-phmath.OAhep-thmath-phmath.MPmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
7topics
4close 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

15 published item(s)

preprint2022arXiv

Generalized Donaldson-Thomas Invariants via Kirwan Blowups

We develop a virtual cycle approach towards generalized Donaldson-Thomas theory of Calabi-Yau threefolds. Let $\mathcal{M}$ be the moduli stack of Gieseker semistable sheaves of fixed topological type on a Calabi-Yau threefold $W$. We construct an associated Deligne-Mumford stack $\widetilde{\mathcal{M}}$ with an induced semi-perfect obstruction theory of virtual dimension zero and define the generalized Donaldson-Thomas invariant of $W$ via Kirwan blowups to be the degree of the virtual cycle $[\widetilde{\mathcal{M}}]^{\mathrm{vir}}$. We show that it is invariant under deformations of the complex structure of $W$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Entangled edge states of corank one with positive partial transposes

We construct a parameterized family of $n\otimes n$ PPT (positive partial transpose) states of corank one for each $n\ge 3$. With a suitable choice of parameters, we show that they are $n\otimes n$ PPT entangled edge states of corank one for $3\le n\le 1000$. They violate the range criterion for separability in the most extreme way. Note that corank one is the smallest possible corank for such states. The corank of the partial transpose is given by $2n-3$, which is also the smallest possible corank for the partial transposes of PPT entangled edge states of corank one. They provide the first explicit examples of such states for $n\ge 4$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Localizing Virtual Structure Sheaves for Almost Perfect Obstruction Theories

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory. To this end, we further investigate the $K$-theory of sheaf stacks and its functoriality properties. As applications of the localization formulas, we establish a $K$-theoretic wall crossing formula for simple $\mathbb{C}^\ast$-wall crossings and define $K$-theoretic invariants refining the Jiang-Thomas virtual signed Euler characteristics.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Categorification of Donaldson-Thomas invariants via Perverse Sheaves

We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an etale Galois cover. This perverse sheaf lifts to a mixed Hodge module and gives us a cohomology theory which enables us to define the Gopakumar-Vafa invariants mathematically.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Product vectors in the ranges of multi-partite states with positive partial transposes and permanents of matrices

In this paper, we consider a system of homogeneous algebraic equations in complex variables and their conjugates, which arise naturally from the range criterion for separability of PPT states. We examine systematically these equations to get sufficient conditions for the existence of nontrivial solutions. This gives us possible upper bounds of ranks of PPT entangled edge states and their partial transposes. We will focus on the multi-partite cases which are much more delicate than the bi-partite cases. We use the notion of permanents of matrices as well as techniques from algebraic geometry through the discussion.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Torus localization and wall crossing for cosection localized virtual cycles

Since its introduction in 1995 by Li-Tian and Behrend-Fantechi, the theory of virtual fundamental class has played a key role in algebraic geometry, defining important invariants such as the Gromov-Witten invariant and the Donaldson-Thomas invariant. Quite a few methods for handling the virtual fundamental classes were discovered such as torus localization, degeneration, virtual pullback and cosection localization. Often combining these methods turns out to be quite effective. In this paper, we prove virtual pullback, torus localization and wall crossing formulas for cosection localized virtual cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Surjectivity of the hyperkähler Kirwan map

We study a class of group actions on hyperkähler manifolds which we call actions of linear type. If $M$ is a hyperkähler manifold possessing such a $G$-action, the hyperkähler Kirwan map is surjective if and only if the natural restriction $H^\ast(M / G) \to H^\ast(M / G)$ is surjective. We prove that this restriction is an isomorphism below middle degree and an injection in middle degree. As a consequence, the hyperkähler Kirwan map is surjective except possibly in middle degree, and its kernel may be determined from the kernel of the ordinary Kirwan map. These results apply in particular to hypertoric varieties, hyperpolygon spaces, and Nakajima quiver varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Compactified moduli spaces of rational curves in projective homogeneous varieties

The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Existence of product vectors and their partial conjugates in a pair of spaces

Let $D$ and $E$ be subspaces of the tensor product of the $m$ and $n$ dimensional complex spaces, with codimensions $k$ and \ell$, respectively. We show that if $k+\ell<m+n-2$ then there must exist a product vector in $D$ whose partial conjugate lies in $E$. If $k+\ell >m+n-2$ then there may not exist such a product vector. If $k+\ell=m+n-2$ then both cases may occur depending on $k$ and $\ell$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Moduli spaces of weighted pointed stable rational curves via GIT

We construct the Mumford-Knudsen space of n pointed stable rational curves by a sequence of explicit blow-ups from the GIT quotient (P^1)^n//SL(2) with respect to the symmetric linearization O(1,...,1). The intermediate blown-up spaces turn out to be the moduli spaces of weighted pointed stable curves for suitable ranges of weights. As an application, we provide a new unconditional proof of M. Simpson&#39;s Theorem about the log canonical models of the Mumford-Knudsen space. We also give a basis of the Picard group of the moduli spaces of weighted pointed stable curves.

0 citations0 reviewsNo code linkedOpen access