A short proof of Cartan's Nullstellensatz for entire functions in C^n

From MaRDI portal
Publication:494599



Abstract: Using the fact that the maximal ideals in the polydisk algebra are given by the kernels of point evaluations, we derive a simple formula that gives a solution to the B'ezout equation in the space of all entire functions of several complex variables. Thus a short and easy analytic proof of Cartan's Nullstellensatz is obtained.


Theorem B for Stein manifolds implies that \(n\) holomorphic functions on an \(n\)-dimensional Stein manifold generate the unit ideal if and only if they have no common zeroes. In the case of entire functions of \(n\) complex variables, easier proofs should be possible. The author gives such a proof. He uses the fact that the corresponding theorem is true for polydisk algebras (the algebras of holomorphic functions with continuous boundary values on compact polydisks), exhausts the space by a sequence of polydisks and constructs (from the solutions of the pertinent diophantine equation on the polydisks) a solution on the whole space by a Mittag-Leffler-like procedure.











This page was built for publication: A short proof of Cartan's Nullstellensatz for entire functions in \({\mathbb{C}^n}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494599)