3
$\begingroup$

Are there any restrictions on the ground field over which the implicit function theorem holds? In particular, does the theorem hold over function fields like $F_q((1/t))$?

$\endgroup$
1
  • 7
    $\begingroup$ The field $\mathbb{F}_q((1/t))$ is not a "function field", at least not according to my philosophy. Perhaps you could specify what you mean by a function field and also what statement counts as "the implicit function theorem" over your function fields? $\endgroup$ Mar 30, 2011 at 17:22

3 Answers 3

4
$\begingroup$

There is an implicit function theorem valid for any non-Archimedean field. See Theorem 2.2.1 in J.-I. Igusa, An introduction to the theory of local zeta functions. AMS, 2000.

$\endgroup$
3
$\begingroup$

Essentially, it is explained in the answer to this math.stackexchange question that the implicit function theorem is equivalent to the validity of Hensel's lemma. The fields where the implicit function theorem holds are called henselian fields.

$\endgroup$
1
$\begingroup$

See this paper in Israel Journal of Mathematics or in ArXiV.

"... implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological vector spaces to Banach spaces."

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.