Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $R$ is an adic valuation ring with a finitely generated ideal of definition. Let $A$ be an $R$-algebra of topologically finite type, i.e. $A$ is isomorphic to $R<\zeta_1,\zeta_2,...,\zeta_n>/\mathfrak{a}$, where $\mathfrak{a}$ is an ideal of the restricted power series $R$-algebra $R<\zeta_1,\zeta_2,...,\zeta_n>$.

Claim: If $A$ is flat over $R$, then $A$ is in fact of topologically finite presentation, i.e. we can assume $\mathfrak{a}$ to be finitely generated.

What would be the idea of proving this? How to understand the flatness condition here?

Thanks!

share|improve this question
    
Have you looked in the early parts of the paper "Formal and Rigid Geometry I" by Bosch and L\"utkebohmert, or perhaps the part II sequel? It is addressed in one or both of those papers for sure. –  user28172 May 28 '13 at 23:29
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.