BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Yao Yuan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove the conjecture of Marian-Oprea-Pandharipande on the Segre series associated to a rank zero class. Hence the rank zero Segre integrals on the Hilbert schemes of points for all surfaces are determined.
We study Le Potier's strange duality conjecture on a rational surface. We focus on the case involving the moduli space of rank 2 sheaves with trivial first Chern class and second Chern class 2, and the moduli space of 1-dimensional sheaves with determinant $L$ and Euler characteristic 0. We show the conjecture for this case is true under some suitable conditions on $L$, which applies to $L$ ample on any Hirzebruch surface $Σ_e:=\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(e))$ except for $e=1$. When $e=1$, our result applies to $L=aG+bF$ with $b\geq a+[a/2]$, where $F$ is the fiber class, $G$ is the section class with $G^2=-1$ and $[a/2]$ is the integral part of $a/2$.
K-theoretic Donaldson invariants are holomorphic Euler characteristics of determinant line bundles on moduli spaces of sheaves on surfaces. We compute generating functions of K-theoretic Donaldson invariants on the projective plane and rational ruled surfaces. We apply this result to prove some cases of Le Potier's strange duality.
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by computing their motivic measures.
Let $\mathcal{M}(d,χ)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $χ$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $μ_A(\mathcal{M}(d,χ))$ of $\mathcal{M}(d,χ)$ and get explicit formula in codimension $D:=ρ_d-1$, where $ρ_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,χ)$ when $d$ is coprime to $χ$.
Let $M(d,r)$ be the moduli space of semistable sheaves of rank 0, Euler characteristic $r$ and first Chern class $dH (d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. By previous work, we gave an explicit description of the class $[M(d,r)]$ of $M(d,r)$ in the Grothendieck ring of varieties for $d\leq 5$ and $g.c.d(d,r)=1$. In this paper we compute the fixed locus of $M(d,r)$ under some $(\mathbb{C}^{*})^2$-action and show that $M(d,r)$ admits an affine paving for $d\leq 5$ and $g.c.d(d,r)=1$. We also pose a conjecture that for any $d$ and $r$ coprime to $d$, $M(d,r)$ would admit an affine paving.
Let $M(d,χ)$ be the moduli space of semistable sheaves of rank 0, Euler characteristic $χ$ and first Chern class $dH (d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We give a description of $M(d,χ)$, viewing each sheaf as a class of matrices with entries in $\bigoplus_{i\geq0}H^0(\mathcal{O}_{\mathbb{P}^2}(i))$. We show that there is a big open subset of $M(d,1)$ isomorphic to a projective bundle over an open subset of a Hilbert scheme of points on $\mathbb{P}^2.$ Finally we compute the classes of M(4,1), M(5,1) and M(5,2) in the Grothendieck group of varieties, especially we conclude that M(5,1) and M(5,2) are of the same class.
Let $\mhu$ be the moduli space of semi-stable pure sheaves of class $u$ on a smooth complex projective surface $X$. We specify $u=(0,L,χ(u)=0),$ i.e. sheaves in $u$ are of dimension $1$. There is a natural morphism $π$ from the moduli space $\mhu$ to the linear system $\ls$. We study a series of determinant line bundles $\lcn$ on $\mhu$ via $π.$ Denote $g_L$ the arithmetic genus of curves in $\ls.$ For any $X$ and $g_L\leq0$, we compute the generating function $Z^r(t)=\sum_{n}h^0(\mhu,\lcn)t^n$. For $X$ being $\mathbb{P}^2$ or $\mathbb{P}(\mo_{\pone}\oplus\mo_{\pone}(-e))$ with $e=0,1$, we compute $Z^1(t)$ for $g_L>0$ and $Z^r(t)$ for all $r$ and $g_L=1,2$. Our results provide a numerical check to Strange Duality in these specified situations, together with Göttsche's computation. And in addition, we get an interesting corollary in the theory of compactified Jacobian of integral curves.
Let $X$ be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on $X$, i.e. $\mhu$ with $u=(0,L,χ(u)=0)$ and $L$ an effective line bundle on $X$, together with a series of determinant line bundles associated to $r[\mo_X]-n[\mo_{pt}]$ in Grothendieck group of $X$. Let $g_L$ denote the arithmetic genus of curves in the linear system $\ls$. For $g_L\leq2$, we give a upper bound of the dimensions of sections of these line bundles by restricting them to a generic projective line in $\ls$. Our result gives, together with Göttsche's computation, a first step of a check for the strange duality for some cases for $X$ a rational surface.
Four models are considered which contain heavy leptons beyond the three families of the standard model. Two are fourth-generation extensions of the standard model in which the right-handed heavy leptons are either isosinglets or in an isodoublet; the other two are motivated by the aspon model of CP violation. In all these models, the heavy neutrino can either be heavier than, or comparable in mass to, the charged lepton leading to the possibility that the charged lepton is very long-lived. Production cross section and signatures for the heavy leptons are computed for the SSC and LHC.