Local zero estimates and effective division in rings of algebraic power series

Abstract : We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact, we show that this condition is also sufficient when the module is a ring with some additional properties. To prove this result we show an effective Weierstrass Division Theorem and an effective solution to the Ideal Membership Problem in rings of algebraic power series. Finally, we apply these results to prove a gap theorem for power series which are remainders of the Grauert-Hironaka-Galligo Division Theorem.
Liste complète des métadonnées

Cited literature [31 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01008774
Contributor : Guillaume Rond <>
Submitted on : Wednesday, January 13, 2016 - 1:35:26 PM
Last modification on : Monday, March 4, 2019 - 2:04:19 PM
Document(s) archivé(s) le : Saturday, April 16, 2016 - 8:00:24 AM

File

algebraicity_criterion2.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Guillaume Rond. Local zero estimates and effective division in rings of algebraic power series. Journal für die Reine und Angewandte Mathematik, 2018, 737, pp.111-160. ⟨10.1515/crelle-2015-0041⟩. ⟨hal-01008774v2⟩

Share

Metrics

Record views

237

Files downloads

62