Fields of CR meromorphic functions

From MaRDI portal



Abstract: Let M be a smooth compact CR manifold of CR dimension n and CR codimension k, which has a certain local extension property E. In particular, if M is pseudoconcave, it has property E. Then the field CalK(M) of CR meromorphic functions on M has transcendence degree d, with dleqn+k. If f1,f2,hdots,fd is a maximal set of algebraically independent CR meromorphic functions on M, then CalK(M) is a simple finite algebraic extension of the field BbbC(f1,f2,hdots,fd) of rational functions of the f1,f2,hdots,fd. When M has a projective embedding, there is an analogue of Chow's theorem, and CalK(M) is isomorphic to the field CalR(Y) of rational functions on an irreducible projective algebraic variety Y, and M has a CR embedding in omanregY. The equivalence between algebraic dependence and analytic dependence fails when condition E is dropped.


Let \(M\) be a \((2n+k)\)-dimensional CR manifold of type \((n,k)\). \(M\) is said to have property \(E\) (\(E\) is from extension) iff there exists an \(E\)-pair \((M,X)\), i.e. i) \(M\) is a generic CR-submanifold of the complex manifold \(X\), and ii) for each \(a\in M\), the restriction map induces an isomorphism \(\mathcal{O}_{X,a}\to \mathcal{CR}_{M,a}\) (\(\mathcal{CR}_{M, a}\) being the local ring of germs of CR functions at \(a\in M\)). If \(M\) is a pseudoconcave CR manifold, then \(M\) has the property \(E\). In the present paper, the authors study algebraic dependence, transcendence degree and related matters for the field \(\mathcal{K}(M)\) of CR meromorphic functions on a CR manifold \(M\) having the property \(E\). They obtain an analogue of the Chow theorem for compact \(CR\) manifolds. In the situation where \(M\) has a projective embedding, the ring \(\mathcal{K}(M)\) can be identified with the ring \(\mathcal{R}(Y)\) of the rational functions on an irreducible algebraic variety, in which \(M\) has a generic CR embedding that avoids the singularities of \(Y\). The possibility that \(M\) has a projective embedding is equivalent to the existence of a complex CR line bundle over \(M\) having certain properties.











This page was built for publication: Fields of CR meromorphic functions

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