Relations among analytic functions. I
Edward Bierstone, P. D. Milman (1987)
Annales de l'institut Fourier
Similarity:
Neither real analytic sets nor the images of real or complex analytic mappings are, in general, coherent. Let be a morphism of real analytic spaces, and let be a homomorphism of coherent modules over the induced ring homomorphism . We conjecture that, despite the failure of coherence, certain natural discrete invariants of the modules of formal relations , , are upper semi-continuous in the analytic Zariski topology of . We prove semicontinuity in many cases (e.g. in the algebraic...