Orthogonal testing families and holomorphic extension from the sphere to the ball

DOI10.1007/S00209-019-02244-6MaRDI QIDQ2332875zbMATH OpenOpenAlexWikidataFDO

Authors Luca Baracco, Martino Fassina

Publication date 5 November 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.07444

zbMATH Keywords

analytic discsholomorphic extensiontesting families

Mathematics Subject Classification ID

Boundary behavior of holomorphic functions of several complex variables (32A40) Analysis on CR manifolds (32V20) Extension of functions and other analytic objects from CR manifolds (32V25) Real submanifolds in complex manifolds (32V40)

Abstract: Let $mathbb{B}^2$ denote the open unit ball in $mathbb{C}^2$, and let $pinmathbb{C}^{2}setminusoverlinemathbb{B}^2$. We prove that if $f$ is an analytic function on the sphere $partialmathbb{B}^2$ that extends holomorphically in each variable separately and along each complex line through $p$, then $f$ is the trace of a holomorphic function in the ball.

Review text

The main result of the paper is a theorem on the holomorphic extension of an analytic function \(f\) defined on the unit sphere in \(\mathbb{C}^2\) to the unit ball \(\mathbb{B}^2 \subset \mathbb{C}^2,\) provided that \(f\) extends holomorphically in each variable separately and along each complex line through a given point \(p \in \mathbb{C}^2 \setminus \overline{\mathbb{B}}^2\). If this is the case then \(f\) is the trace of a holomorphic function in the ball. There is a vast literature regarding the families of directions which suffice for holomorphic extendability from the sphere to the ball. It is known that extensions on vertical and horizontal slices or extensions on lines which meet at a single point do not suffice. With the present theorem the authors partially answer the question of \textit{J. Globevnik} [Trans. Am. Math. Soc. 364, No. 11, 5857--5880 (2012; Zbl 1275.32029)], whether families through three points outside the ball constitute the testing family for holomorphic extendability (they take two of the three points to be at infinity and generating the horizontal and vertical lines). The idea of the proof is to interpret the intersections of the complex lines with the ball as stationary discs. The lift of a stationary disc to the cotangent bundle is unique up to multiplication by a scalar function so it can be considered as a geometric object in the projective space \(\mathbb{P}T^*\mathbb{C}^2 \). The function \(f\) then lifts to a function \(F: \mathbb{P}T^*_{\partial{\mathbb{B}^2}}\mathbb{C}^2 \rightarrow \mathbb{C}.\) Since \(\mathbb{P}T^*_{\partial{\mathbb{B}^2}}\mathbb{C}^2\) is totally real in \(\mathbb{C}^2 \times \mathbb{P}^1_{\mathbb{C}}\), the map \(F\) extends holomorphically to its neighbourhood. By using holomorphic extendability in each variable and along intersections with lines through \(p,\) the authors show that \(F\) extends holomorphically to \(\mathbb{B}^2 \times \mathbb{P}^1_{\mathbb{C}}\) and hence is constant in the second variable, so it projects down to a holomorphic function in \(\mathbb{B}^2\) that extends \(f.\)

Recommendations

• Testing families of complex lines for the unit ball
• Small families of complex lines for testing holomorphic extendibility
• Separate holomorphic extension along lines and holomorphic extension from the sphere to the ball
• Holomorphic extension from the sphere to the ball
• An analog of the Hartogs theorem in a ball of

Cites work

• A conjecture of Globevnik-Stout and a theorem of Morera for a holomorphic chain
• Analog of a theorem of Forelli for boundary values of holomorphic functions on the unit ball of C^n
• Extremal discs and holomorphic extension from convex hypersurfaces
• HARTOGS' SEPARATE ANALYTICITY THEOREM FOR CR FUNCTIONS
• Holomorphic extension from a convex hypersurface
• Holomorphic extension from the sphere to the ball
• scientific article; zbMATH DE number 3779725 (Why is no real title available?)
• scientific article; zbMATH DE number 2144842 (Why is no real title available?)
• scientific article; zbMATH DE number 3350588 (Why is no real title available?)
• La métrique de Kobayashi et la représentation des domaines sur la boule
• Meromorphic extensions from small families of circles and holomorphic extensions from spheres
• Propagation of holomorphic extendability of CR functions
• Separate holomorphic extension along lines and holomorphic extension from the sphere to the ball
• Small families of complex lines for testing holomorphic extendibility
• Testing analyticity on circles
• Testing families of complex lines for the unit ball
• The \(L^p\) CR Hartogs separate analyticity theorem for convex domains
• The boundary values of holomorphic functions of several complex variables

Cited in

(9)

• Testing families of complex lines for the unit ball
• Supersmooth testing on the sphere over analytic classes
• Meromorphic extensions from small families of circles and holomorphic extensions from spheres
• Small families of complex lines for testing holomorphic extendibility
• scientific article; zbMATH DE number 4025822 (Why is no real title available?)
• scientific article; zbMATH DE number 4114990 (Why is no real title available?)
• Separate holomorphic extension along lines and holomorphic extension from the sphere to the ball
• Testing families of analytic discs in the unit ball of \(\mathbb{C}^2\)
• Holomorphic extension from the sphere to the ball

This page was built for publication: Orthogonal testing families and holomorphic extension from the sphere to the ball

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