awarded
Loading…
comment
Comparison of first Chern class
Yes, I think now both questions have a positive answer. Denote the cokernel of $N\hookrightarrow M$ by $T$. This is a torsion sheaf with first Chern class $c_1(T)=c_1(M)-c_1(N)=0$. So it is supported in codimension two, but that means $M$ and $N$ only differ in codimension two. As they are locally free, they must already be isomorphic. For the second question: the injection $N\hookrightarrow M$ induces an injection of determinant line bundles. This gives the desired inequality.
comment
Codimension of the complement of the stable locus
I think some of what you are looking for can be found in the proof of Theorem 1 in Section 4 of the paper " Moduli of Vector Bundles on a Compact Riemann Surface" by Narasimhan and Ramanan.
comment
Codimension of the complement of the stable locus
For g=2, r=2 and fixed determinant $\mathcal{O}_X$ the moduli space is isomorphic to $\mathbb{P}^3$ and the semistable locus is the singular Kummer surface associated to $X$, hence has codimension 1. This all explained in the papers by Narasimhan et. al.
comment
Construction of an atlas for the moduli stack $\mathcal{Bun}_X^{n,d}$ in F. Neumann's 'Algebraic Stacks and Moduli of Vector Bundles'
No in this case we have $R^1(pr_2)_{*}F=0$ which implies $H^1(F_u)=0$ for the sheaves on the fiber over a point $u\in U$. As I said, I don't really know what is meant here, only some ideas. But look at arXiv:1602.05267 on the beginning of p.17. There the authors do it exactly as I think. As one of the authors is Neumann, maybe you can just ask him, what is meant in the book?
Loading…
answered
Loading…
awarded
awarded
Loading…
revised
Are there curves of genus 2 with real multiplication by a non-maximal order?
deleted 322 characters in body
Loading…
revised
Is the Gysin map in etale cohomology compatible with taking function fields?
added 158 characters in body
Loading…
comment
Is the Gysin map in etale cohomology compatible with taking function fields?
@Jason Starr: Thank you. Looking through some papers it seems that the Gysin sequence is functorial in the pair $(X,D)$. But I could not find a proof of this fact, it is only mentioned. Do you know a reference? I could not find it in Grothendieck's articles in Dix Exposes.
comment
Jacobians of curves with maximal Picard number
A reference for the fact that the Jacobian of a very general curve has Picard number one should be found somewhere in: Birkenhake & Lange - Complex abelian varieties. A direct reference is also: Koizumi: The ring of algebraic correspondences on a generic curve of genus g. For your other question, there are some facts about curves with Jacobians having maximal Picartd number in: Beauville - Some surfaces with maximal Picard number.