Skip to main content
fixed English
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Is the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ torsion free-free?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free-free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a non-trivial torsion subsheaf? If so, what would be the torsion sheaf?

Is the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ torsion free?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a non-trivial torsion subsheaf? If so, what would be the torsion sheaf?

Is the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ torsion-free?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion-free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a non-trivial torsion subsheaf? If so, what would be the torsion sheaf?

based on the suggection of Martin Brandenburg
Source Link

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a non-trivial torsion subsheaf? If so, what would be the torsion sheaf?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a torsion subsheaf? If so, what would be the torsion sheaf?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a non-trivial torsion subsheaf? If so, what would be the torsion sheaf?

Based on what he writes I think it should be like this
Source Link

Quotient Is the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ is torsion free?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a torsion freesubsheaf? If so, what would be the torsion sheaf?

Quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ is torsion free

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a torsion free? If so, what would be the torsion sheaf?

Is the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ torsion free?

Consider a smooth projective variety $X$ and an exact sequence $$0\rightarrow\mathcal{H}\rightarrow\mathcal{O}_X\otimes V\rightarrow\mathcal{G}\rightarrow0$$ where $V:=H^0(X,\mathcal{G})$ and $\mathcal{H}$ is locally free. Pick a slop-semistable subsheaf $\mathcal{F}$ of $\mathcal{H}$ such that $\mu(\mathcal{F})>\mu(\mathcal{H})$ and $\mathcal{H}/\mathcal{F}$ is torsion free. Since $\mathcal{F}\subset\mathcal{O}_X\otimes V$, we know that $\mu(\mathcal{F})=0$.

Could the quotient $(\mathcal{O}_X\otimes V)/\mathcal{F}$ admit a torsion subsheaf? If so, what would be the torsion sheaf?

Source Link
Danis
  • 11
  • 1
Loading