论文标题
$ p $ - 亚种差分模块的直接图像的最佳基础
Optimal bases for direct images of $p$-adic differential modules over discs
论文作者
论文摘要
令$(k,| \ cdot |)$为$(\ mathbb {q} _p,| \ cdot | _p)$的完整且封闭的估值字段扩展。给定有限的形态$φ:\ Mathscr {d} _1 \ to \ Mathscr {d} _2 $ bo $ k $的单位光盘,一个差异模块$(m,d)$(m,d)$ on $ \ mathscr {d} d} _1 $ and point $ b \ in \ in \ in \ mathscr exptal of \ intscr exply的构建直接图像$φ_*(m,d)$ at $ b $的水平元素在合适的最佳基础上为$(m,d)$,$ b $ by $φ$和形态的后光化属性。
Let $(k,|\cdot|)$ be a complete and algebraically closed valued field extension of $(\mathbb{Q}_p,|\cdot|_p)$. Given a finite morphism $φ:\mathscr{D}_1\to \mathscr{D}_2$ of unit discs over $k$, a differential module $(M,D)$ on $\mathscr{D}_1$ and a point $b\in \mathscr{D}_2(k)$, we construct explicitly an optimal basis of space of horizontal elements for the direct image $φ_*(M,D)$ at $b$ in terms of the suitable chosen optimal bases of $(M,D)$ at preimages of $b$ by $φ$ and ramification properties of the morphism.