Complete characterization of holomorphic chains of codimension one
type: Item
instance of: scholarly article
title: Complete characterization of holomorphic chains of codimension one
zbMATH Open document ID: 0572.32005
DOI: 10.1007/BF01457072
author: Bernard Shiffman
published in: Mathematische Annalen
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164097
review text: The main result is the following characterization of holomorphic chains of codimension 1: If T is a closed, locally rectifiable (1,1)-current on a domain in \({\mathbb{C}}^ n\), then T is a holomorphic chain. As a consequence, it is proved that if T is a closed, locally rectifiable current of bidimension (p,p) such that the Hausdorff \((2p+3)\)-measure of Supp T vanishes, then T is a holomorphic chain. This gives an improvement of the characterization theorem of \textit{R. Harvey} and the author [Ann. Math., II. Ser. 99, 553-587 (1974; Zbl 0287.32008)]. The proof uses the following new Hartogs-type theorem on almost-everywhere separately meromorphic functions: Let \(\Delta^ n\) denote the unit n-disk in \({\mathbb{C}}^ n\). Suppose \(f: S\to {\mathbb{C}}\) where \(S\subset \Delta^ n\). Write \(f^ z_ j(t)=f(z_ 1,...,z_{j-1},t,z_ j,...,z_{n-1})\) for \(z=(z_ 1,...,z_{n-1})\in \Delta^{n-1}\), \(1\leq j\leq n\), and let \(S^ z_ j\subset \Delta\) denote the domain of \(f^ z_ j\). Suppose that for \(1\leq j\leq n\) and for almost all \(z\in \Delta^{n-1}\), \(\Delta -S^ z_ j\) has Lebesgue measure 0 and \(f^ z_ j\) extends to a meromorphic function on \(\Delta\). Then there exists a meromorphic function \(\tilde f\) on \(\Delta^ n\) such that \(f=\tilde f\) almost everywhere on S. In the above result, neither f nor S is assumed to be measurable. However, the following corollary for measurable functions is given: Let \(f: \Delta\) \({}^ n\to {\mathbb{C}}\) be a measurable function such that \(f^ z_ j\) is equal to a meromorphic function on \(\Delta\) for almost all \(z\in \Delta^{n-1}\), for \(1\leq j\leq n\). Then f is almost everywhere equal to a meromorphic function on \(\Delta^ n\). These results are extensions of results of \textit{J. Siciak} [Ann. Pol. Math. 22, 145-171 (1969; Zbl 0185.152) and 39, 175-211 (1981; Zbl 0477.32018)] and \textit{M. V. Kazaryan} [Mat. Sbornik 125(167), No.3, 384-397 (1984)].
Mathematics Subject Classification ID: 32C30
Mathematics Subject Classification ID: 32D15
zbMATH DE Number: 3912738
zbMATH Keywords: current
zbMATH Keywords: holomorphic chain
zbMATH Keywords: Hartogs theorem
MaRDI profile type: Publication
cites work: A new capacity for plurisubharmonic functions
cites work: Some characterizations of L-regular points
cites work: Q5565773
cites work: Q4152825
cites work: On boundaries of complex analytic varieties. I
cites work: A characterization of holomorphic chains
cites work: On the equivalence between locally polar and globally polar sets for plurisubharmonic functions on \(C^n\)
cites work: The currents defined by analytic varieties
cites work: Intégration sur un ensemble analytique complexe
cites work: Q3035806
cites work: Ein neuer Beweis des Hartogsschen Hauptsatzes und seine Ausdehnung auf meromorphe Funktionen
cites work: On the removal of singularities of analytic sets
cites work: Separately analytic functions and envelopes of holomorphy of some lower dimensional subsets of $C^n$
cites work: Extremal plurisubharmonic functions in $C^N$
cites work: Q3701749
cites work: Sur une certaine condition sous laquelle une fonction de plusieurs variables complexes est holomorphe. Diminution de la condition dans le théorème de Hartogs
cites work: ON FUNCTIONS OF SEVERAL COMPLEX VARIABLES THAT ARE SEPARATELY MEROMORPHIC
description: scientific article; zbMATH DE number 3912738