arXiv subjects
Publications and source records attributed to Yao Yuan.
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,χ)$ 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 $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 $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.
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.
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.