Differential equations on an algebraic function field

DOI10.5802/JTNB.248MaRDI QIDQ1809051zbMATH OpenOpenAlexFDO

Publication date 11 February 2001

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=JTNB_1999__11_1_231_0, https://eudml.org/doc/228105, http://www.emis.de/journals/JTNB/1999-1/jtnb11-1.html

zbMATH Keywords

change of variable Frobenius endomorphism

Mathematics Subject Classification ID

(p)-adic differential equations (12H25) Non-Archimedean valued fields (12J25)

Review text

Let \(\mathbb E\) denote the completion of a rational function field \(\mathbb C_p[t]\) in one variable over the completion \(\mathbb C_p\) of the algebraic closure of the \(p\)-adic field. Let \(\mathbb K\) be a finite algebraic extension of \(\mathbb E\). Both \(\mathbb E\) and \(\mathbb K\) are valued fields; let \(E\) and \(K\) denote the corresponding residual fields. The derivation \(\frac{d}{dt}\) of \(\mathbb C_p[t]\) extends to a unique continuous derivation of \(\mathbb E\) and this latter extends uniquely to a derivation of \(\mathbb K\); we denote this derivation of \(\mathbb K\) by \(\frac{d}{dt}\) as well. A Frobenius endomorphism of a valued field like \(\mathbb E\) and \(\mathbb K\) is a field endomorphism \(\phi\) satisfying \(|u|\leq 1 \Rightarrow |u^p-\phi(u)|< 1\) for all \(u\) in the field. The author is interested in two questions: first, whether \( |\frac{1}{n!}\frac{d^nu}{dt^n}|\leq |u|\) for all \(u \in \mathbb K\) and all \(n\); and second, whether every Frobenius endomorphism of \(\mathbb E\) can be extended to a Frobenius endomorphism of \(\mathbb K\). The author proves that both questions have a positive answer when the residual extension \(K \supset E\) is separable.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Differential equations on an algebraic function field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1809051)