arXiv subjects
Publications and source records attributed to Xiaotao Sun.
We determine the quotient category which is the representation category of the kernel of the homomorphism from Nori's fundamental group scheme to its étale and local parts. Pierre Deligne pointed out an error in the first version of this article. We profoundly thank him, in particular for sending us his enlightning example reproduced in Remark 2.4 2).
In this short note, we show that any rational curve passing through the generic point in a moduli space of stable bundles with rank $r$ and fixed determinant on a smooth projective curve of genus $g\ge 4$ has degree (with respect to the anti-canonical line bundle of the moduli space) at least $2r$. It has degree $2r$ if and only if it is a Hecke curve.
Let $C/M$ be a local universal family of smooth curves and $S/M$ be the family of moduli spaces of stable bundles with a fixed determinant on curves. In this paper, we find locally free sheaves $\Cal G_E$, $S(\Cal G_E)$ on $X=C\times_M S$ such that their first direct images are isomorphic to sheaves $\Cal D^{\le 1}_{S/M}(Θ)$, $\Cal D^{\le 1}_S(Θ)$ of 1-st order differential operators on the theta line bundle over $S$. As an application, we give a new construction of Hitchin's projective connection (or KZ-connection). Our main results have clearly an extension to some stable singular curves. Then we construct a logarithmic projective connection (in fact, a logarithmic projective heat operator on the theta line bundle) that extends Hitchin's connection to a coherent sheaf over an open set (with at least codimension two) of the moduli space of stable curves. Such an extension seems not reachable by other methods (as far as we know).
For a stable irreducible curve $X$ and a torsion free sheaf $L$ on $X$ of rank one and degree $d$, D.S. Nagaraj and C.S. Seshadri ([NS]) defined a closed subset $\Cal U_X(r,L)$ in the moduli space of semistable torsion free sheaves of rank $r$ and degree $d$ on $X$. We prove that $\Cal U_X(r,L)$ is irreducible, when a smooth curve $Y$ specializes to $X$ and a line bundle $\Cal L$ on $Y$ specializes to $L$, the specialization of moduli space of semistable rank $r$ vector bundles on $Y$ with fixed determinant $\Cal L$ has underlying set $\Cal U_X(r,L)$. For rank 2 and 3, we show that there is a Cohen-Macaulay closed subscheme in the Gieseker space which represents a suitable moduli functor and has good specialization property.
Let $f:X\to C$ be a family of semistable K3 surfaces with non-empty set $S$ of singular fibres having infinite local monodromy. Then, when the so called Arakelov-Yau inequality reaches equality, we prove that $C\setminus S$ is a modular curve and the family comes essentially from a family of elliptic curves through a so called Nikulin-Kummer construction. In particular, when $C=\BBb P^1$, the family of elliptic curves must be one of Beauville's 6 examples where Arakelov inequality reaches equality.
We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.
Let $f:\Cal C\to S$ be a flat family of curves over a smooth curve $S$ such that $f$ is smooth over $S_0=S\ssm\{s_0\}$ and $f^{-1}(s_0)=\Cal C_0$ is irreducible with one node. We have an associated family $\Cal M_{S_0}\to S_0$ of moduli spaces of semistable vector bundles and the relative theta line bundle $Θ_{S_0}$. We are interested in the problem: to find suitable degeneration $\Cal M_S$ of moduli spaces and extension $Θ_S$ of theta line bundles such that the direct image of $Θ_S$ is a vector bundle on $S$ with a logarithmic projective connection. In this paper, we figured out the conditions of existence of the connection and solved the problem for rank one.
We proved the factorization of generalized theta functions when the curve has two irreducible components meeting at one node.
We prove a factorization theorem of generalized functions for moduli spaces of semistable parabolic bundles of any rank.