arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2302.07463math.AG
收藏

真分歧态射与伪稳定向量丛

Genuinely ramified maps and pseudo-stable vector bundles

Indranil Biswas, A. J. Parameswaran

AI总结:

本文证明在真分歧且平展基本群满射的有限态射下,强伪稳定向量丛的Tannakian群概形同态为满射,并给出伪稳定向量丛拉回后子丛的下降性质。

摘要:

设$X$和$Y$是定义在代数闭域上的同维不可约正规射影簇,设$f:Y\rightarrow X$是有限且一般光滑的态射,使得对应的平展基本群同态$f_*:\pi^{\rm et}_{1}(Y)\rightarrow\pi^{\rm et}_{1}(X)$是满射。在$X$上固定一个极化,并赋予$Y$拉回极化。对于点$y_0\in Y$,设$\varpi(Y,y_0)$(相应地,$\varpi(X,f(y_0))$)是由$Y$(相应地,$X$)上次数为零的强伪稳定向量丛所定义的中性Tannakian范畴给出的仿射群概形。我们证明由$f$诱导的同态$\varpi(Y,y_0)\rightarrow\varpi(X,f(y_0))$是满射。设$E$是$X$上的伪稳定向量丛,$F\subset f^*E$是满足$\mu(F)=\mu(f^*E)$的伪稳定子丛。我们证明$f^*E$是伪稳定的,并且存在伪稳定子丛$W\subset E$使得$f^*W=F$作为$f^*E$的子丛。

英文摘要:

Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism between the étale fundamental groups $f_*:π^{\rm et}_{1}(Y) \rightarrowπ^{\rm et}_{1}(X)$ is surjective. Fix a polarization on $X$ and equip $Y$ with the pulled back polarization. For a point $y_0\in Y$, let $\varpi(Y, y_0)$ (respectively, $\varpi(X, f(y_0))$) be the affine group scheme given by the neutral Tannakian category defined by the strongly pseudo-stable vector bundles of degree zero on $Y$ (respectively, $X$). We prove that the homomorphism $\varpi(Y, y_0) \rightarrow \varpi(X, f(y_0))$ induced by $f$ is surjective. Let $E$ be a pseudo-stable vector bundle on $X$ and $F \subset f^*E$ a pseudo-stable subbundle with $μ(F)= μ(f^*E)$. We prove that $f^*E$ is pseudo-stable and there is a pseudo-stable subbundle $W \subset E$ such that $f^*W = F$ as subbundles of $f^*E$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑