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))$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

