Searcharxiv⌕ Search

arXiv subjects

Young-Hoon Kiem

Publications and source records attributed to Young-Hoon Kiem.

At least 55 records · Page 3Linked to original sources
arXiv2010

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

math.AG↗
arXiv2009

On the cohomology of hyperkahler quotients

This paper gives a partial desingularisation construction for hyperkähler quotients and a criterion for the surjectivity of an analogue of the Kirwan map to the cohomology of hyperkähler quotients. This criterion is applied to some linear actions on hyperkähler vector spaces.

math.SG↗
arXiv2009

Hilbert scheme of rational cubic curves via stable maps

The space of smooth rational cubic curves in projective space $\PP^r$ ($r\ge 3$) is a smooth quasi-projective variety, which gives us an open subset of the corresponding Hilbert scheme, the moduli space of stable maps, or the moduli space of stable sheaves. By taking its closure, we obtain three compactifications $\bH$, $\bM$, and $\bS$ respectively. In this paper, we compare these compactifications. First, we prove that $\bH$ is the blow-up of $\bS$ along a smooth subvariety which is the locus of stable sheaves which are planar (i.e. support is contained in a plane). Next we prove that $\bS$ is obtained from $\bM$ by three blow-ups followed by three blow-downs and the centers are described explicitly. Using this, we calculate the cohomology of $\bS$.

math.AG↗
arXiv2008

Moduli space of stable maps to projective space via GIT

We compare the Kontsevich moduli space of genus 0 stable maps to projective space with the quasi-map space when $d=3$. More precisely, we prove that when $d=3$, the obvious birational map from the quasi-map space to the moduli space of stable maps is the composition of three blow-ups followed by two blow-downs. Furthermore, we identify the blow-up/down centers explicitly in terms of the moduli spaces for lower degrees. Using this, we calculate the Betti numbers, the integral Picard group, and the rational cohomology ring. The degree two case is worked out as a warm-up.

math.AG↗
arXiv2007

Gromov-Witten invariants of varieties with holomorphic 2-forms

We show that a holomorphic two-form $θ$ on a smooth algebraic variety X localizes the virtual fundamental class of the moduli of stable maps $\mgn(X,β)$ to the locus where $θ$ degenerates; it then enables us to define the localized GW-invariant, an algebro-geometric analogue of the local invariant of Lee and Parker in symplectic geometry, which coincides with the ordinary GW-invariant when X is proper. It is deformation invariant. Using this, we prove formulas for low degree GW-invariants of minimal general type surfaces with p_g>0 conjectured by Maulik and Pandharipande.

math.AG↗
arXiv2006

Intersection pairings on singular moduli spaces of bundles over a Riemann surface and their partial desingularisations

This paper studies intersection theory on the compactified moduli space M(n,d) of holomorphic bundles of rank n and degree d over a fixed compact Riemann surface of genus g > 1 where n and d may have common factors. Because of the presence of singularities we work with the intersection cohomology groups defined by Goresky and MacPherson and the ordinary cohomology groups of a certain partial resolution of singularities of M(n,d). Based on our earlier work, we give a precise formula for the intersection cohomology pairing and provide a method to calculate pairings on the partial resolution of singularities of M(n,d). The case when n=2 is discussed in detail. Finally Witten's integral is considered for this singular case.

math.AG↗
arXiv2005

Hecke Correspondence, Stable Maps and the Kirwan Desingularization

We prove that the moduli space of stable maps of degree 2 to the moduli space of rank 2 stable bundles of fixed determinant O(-x) over a smooth projective curve of genus g>2 has two irre- ducible components which intersect transversely. One of them is Kir- wan's partial desingularization of the moduli space of rank 2 semistable bundles with determinant isomorphic to O(y-x) for some y in X. The other component is the partial desingularization of PHom(sl(2)^*;W)//PGL(2) for a vector bundle W of rank g over the Jacobian of X. We also show that the Hilbert scheme H, the Chow scheme C of conics in N and the moduli space of stable maps of degree 2 are related by explicit contractions.

math.AG↗
arXiv2005

Cohomology pairings on singular quotients in geometric invariant theory

In this paper we shall give formulas for the pairings of intersection cohomology classes of complementary dimensions in the intersection cohomology of geometric invariant theoretic quotients for which semistability is not necessarily the same as stability (although we make some weaker assumptions on the action). We also give formulas for intersection pairings on resolutions of singularities (or more precisely partial resolutions, since orbifold singularities are allowed) of the quotients.

math.AG↗
arXiv2005

On the existence of a crepant resolution of some moduli spaces of sheaves on an abelian surface

Let J be an abelian surface with a generic ample line bundle O(1). For n>0, the moduli space M(2, 0, 2n) of O(1)-semistable sheaves F of rank 2 with Chern classes c_1(F) = 0, c_2(F) = 2n is a singular projective variety, endowed with a holomorphic symplectic structure on the smooth locus. In this paper, we show that there does not exist a crepant resolution of M(2; 0; 2n) for n>1. This certainly implies that there is no symplectic desingularization of M(2, 0, 2n) for n>1.

math.AG↗
arXiv2005

Nonexistence of a crepant resolution of some moduli spaces of sheaves on a K3 surface

Let $M_c=M(2,0,c)$ be the moduli space of O(1)-semistable rank 2 torsion-free sheaves with Chern classes $c_1=0$ and $c_2=c$ on a K3 surface $X$ where O(1) is a generic ample line bundle on $X$. When $c=2n\geq4$ is even, $M_c$ is a singular projective variety equipped with a symplectic structure on the smooth locus. In this paper, we show that there is no crepant resolution of $M_{2n}$ for $n\geq 3$. This implies that there is no symplectic desingularization.

math.AG↗
arXiv2004

Symplectic desingularization of moduli space of sheaves on a K3 surface

Let $X$ be a projective K3 surface with generic polarization $\cO_X(1)$ and let $M_c=M(2,0,c)$ be the moduli space of semistable torsion-free sheaves on $X$ of rank 2, with Chern classes $c_1=0$ and $c_2=c$. When $c=2n\ge 4$ is even, $M_c$ is a singular projective variety. We show that there is no symplectic desingularization of $M_{2n}$ if $\frac{n a_n}{2n-3}$ is not an integer where $a_n$ is the Euler number of the Hilbert scheme $X^{[n]}$ of $n$ points in $X$.

math.AG↗
arXiv2004

Cohomology of the moduli space of Hecke cycles

Let $X$ be a smooth projective curve of genus $g \ge 3$ and let $M_0$ be the moduli space of semistable bundles over $X$ of rank 2 with trivial determinant. Three different desingularizations of $M_0$ have been constructed by Seshadri \cite{Se1}, Narasimhan-Ramanan \cite{NR}, and Kirwan \cite{k5}. In this paper, we construct a birational morphism from Kirwan's desingularization to Narasimhan-Ramanan's, and prove that the Narasimhan-Ramanan's desingularization (called the moduli space of Hecke cycles) is the intermediate variety between Kirwan's and Seshadri's as was conjectured recently in \cite{KL}. As a by-product, we compute the cohomology of the moduli space of Hecke cycles.

math.AG↗
arXiv2004

Vanishing of the top Chern classes of the moduli of vector bundles

Let $Y$ be a smooth projective curve of genus $g\ge 2$ and let $M_{r,d}(Y)$ be the moduli space of stable vector bundles of rank $r$ and degree $d$ on $Y$. A classical conjecture of Newstead and Ramanan states that $ c_i(M_{2,1}(Y))=0$ for $i>2(g-1)$ i.e. the top $2g-1$ Chern classes vanish. The purpose of this paper is to generalize this vanishing result to the rank 3 case by generalizing Gieseker's degeneration method. More precisely, we prove that $c_i(M_{3,1}(Y))=0$ for $i>6g-5$. In other words, the top $3g-3$ Chern classes vanish. Notice that we also have $c_i(M_{3,2}(Y))=0$ for $i>6g-5$.

math.AG↗
arXiv2004

Intersection cohomology of quotients of nonsingular varieties

The purpose of this paper is to provide a way to compute the intersection cohomology of the GIT quotient of a nonsingular projective variety. We show that the middle perversity intersection cohomology of the GIT quotient $M//G$ is naturally embedded into the $G$ equivariant cohomology of $M^{ss}$ under an assumption satisfied by many interesting spaces. This embedding enables us to compute the intersection pairing in terms of the cup product structure of the equivariant cohomology ring. We also show that the image is a subspace defined by truncation. Overall, we can compute the intersection cohomology as a graded vector space with a nondegenerate pairing.

math.AG↗
arXiv2004

Desingularizations of the moduli space of rank 2 bundles over a curve

Let $X$ be a smooth projective curve of genus $g\ge 3$ and $M_0$ be the moduli space of rank 2 semistable bundles over $X$ with trivial determinant. There are three desingularizations of this singular moduli space constructed by Narasimhan-Ramanan \cite{NR}, Seshadri \cite{Se1} and Kirwan \cite{k5} respectively. The relationship between them has not been understood so far. The purpose of this paper is to show that there is a morphism from Kirwan's desingularization to Seshadri's, which turns out to be the composition of two blow-downs. In doing so, we will show that the singularities of $M_0$ are terminal and the plurigenera are all trivial. As an application, we compute the Betti numbers of the cohomology of Seshadri's desingularization in all degrees. This generalizes the result of \cite{BaSe} which computes the Betti numbers in low degrees. Another application is the computation of the stringy E-function (see \cite{Bat} for definition) of $M_0$ for any genus $g\ge 3$ which generalizes the result of \cite{kiem}.

math.AG↗
arXiv2001

The cosupport axiom, equivariant cohomology and the intersection cohomology of certain symplectic quotients

Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$. The naturality of the splitting ensures that the intersection pairing corresponds to the cup product on equivariant cohomology. Finally, we show that the same set of ideas can be applied to any circle action and prove similar results without any assumption.

math.AG↗