A Kähler characterization of rationally convex surfaces (Q1327356): Difference between revisions

The paper is a continuation of the author's papers in Invent. Math. 104, No. 3, 581-599 (1991; Zbl 0716.32009) ([1]) and Math. Ann. 289, No. 4, 627-629 (1991; Zbl 0718.32019) ([2]). Let \(S\) be a totally real surface in \(\mathbb{C}^ n\) (here surface means a real 2-dimensional (possibly bordered and not necessarily orientable) smooth compact manifold embedded in \(\mathbb{C}^ n)\). Together with the results in the cited papers it is proved: Theorem 1. The following are equivalent: (i) \(S\) is rationally convex (i.e. given \(x \notin S\) there exists a polynomial \(P\) such that \(P(x) = 0\) but \(P(y) \neq 0\) \(\forall y \in S\); (ii) there is no compactly supported, nontrivial, positive (1,1) current sum of a current supported by \(S\) and a (1,1)-component of the boundary. (iii) \(S\) is isotrop for a Kähler form \(\omega\) on \(\mathbb{C}^ n\) (i.e. \(\omega\) vanishes on \(S)\). The main part of the paper deals with the proof of (iii) \(\Rightarrow\) (i). For \(n=2\) that implication was proved in [1] (for \(\omega\) the standard Kähler form on \(\mathbb{C}^ n)\). The general case is based on the ideas of [1] and simplifies these. Another way to prove Theorem 1 motivated the search for an integral representation formula for Kähler forms: Theorem 2. Let \(\omega\) be a Kähler form on \(\mathbb{C}^ n\) and \(B\) a ball in \(\mathbb{C}^ n\). Then there exists a polynomial embedding \(P\) of \(\mathbb{C}^ n\) in a projective space \(\mathbb{C} \mathbb{P}^ m\) and a function \(f\) smooth and positive on \(\mathbb{H}^ n\), the space of affine complex hyperplanes in \(\mathbb{C}^ n\) such that in the sense of currents on \(B\) we have: \[ \omega = \int_{\mathbb{H}^ n} [H]f(H)dH + \int_{\mathbb{H}^ m} \bigl[ P^{-1} (H) \bigr]dH \] where \(\mathbb{H}^ m\) is the space of projective hyperplanes on \(\mathbb{C} \mathbb{P}^ m\) and \(dH\) is an invariant by isometries measure in both cases.