Showing 1–45 of 45 results for author: Lebl, J

CR functions at CR singularities: approximation, extension, and hulls

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: We study three possible definitions of the notion of CR functions at CR singular points, their extension to a fixed-neighborhood of the singular point, and analogues of the Baouendi-Tréves approximation in a fixed neighborhood. In particular, given the existence of a large enough disc hull shrinking to a point, we find the fixed-neighborhood extension and hence approximation properties. We provide… ▽ More We study three possible definitions of the notion of CR functions at CR singular points, their extension to a fixed-neighborhood of the singular point, and analogues of the Baouendi-Tréves approximation in a fixed neighborhood. In particular, given the existence of a large enough disc hull shrinking to a point, we find the fixed-neighborhood extension and hence approximation properties. We provide examples showing the distinctions between the classes and the various properties studied. △ Less

Submitted 28 June, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: The proof of Theorem 4.2 has a gap.

MSC Class: 32V25; 32E30

Rational Maps of Balls and their Associated Groups

Authors: Dusty Grundmeier, Jiří Lebl

Abstract: Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map. Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map. △ Less

Submitted 6 May, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

Comments: 11 pages. Fixed typos

MSC Class: 32H35

Proper maps of ball complements & differences and rational sphere maps

Authors: Abdullah Al Helal, Jiří Lebl, Achinta Kumar Nandi

Abstract: We consider proper holomorphic maps of complements and differences of balls in complex euclidean space of dimension at least $2$. We prove that every proper map of ball complements gives a polynomial proper map of balls, and conversely, every polynomial proper map of balls whose norm goes to infinity at infinity is a proper map of ball complements. The case of ball differences is more complex and… ▽ More We consider proper holomorphic maps of complements and differences of balls in complex euclidean space of dimension at least $2$. We prove that every proper map of ball complements gives a polynomial proper map of balls, and conversely, every polynomial proper map of balls whose norm goes to infinity at infinity is a proper map of ball complements. The case of ball differences is more complex and naturally leads to what we call rational $m$-fold sphere maps, that is, rational maps taking $m$ zero-centric spheres to $m$ zero-centric spheres. A proper map of the difference of zero-centric balls is automatically a rational $2$-fold sphere map. We show that a polynomial $m$-fold sphere map of degree $m$ or less is an $\infty$-fold sphere map, that is, a map that takes infinitely many (and hence every) zero-centric spheres to zero-centric spheres. Similarly, every rational $m$-fold sphere map of degree less than $m$ is an $\infty$-fold sphere map. We then show that $\infty$-fold sphere maps are up to a unitary transformation direct sums of a finite number of homogeneous sphere maps. We construct rational $m$-fold degree-$m$ sphere maps that do not take any other zero-centric sphere to a zero-centric sphere. In particular, every first-degree rational proper map of the difference of zero-centric balls is a unitary composed with an affine linear embedding; however, there exist nonpolynomial second-degree rational maps of a difference of balls. △ Less

Submitted 10 April, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 21 pages, Theorem 1.1 is corrected, extraneous examples of Section 5 are removed

MSC Class: 32H35 (Primary) 32A08; 32H02 (Secondary)

On Segre-degenerate Levi-flat hypervarieties

Authors: Jiří Lebl, Luka Mernik

Abstract: We prove that a singular real-analytic Levi-flat hypersurface $H$ in $\mathbb C^n$ being Segre-degenerate at a point $p$ is equivalent to the existence of a so-called support curve, that is, a holomorphic curve that intersects $H$ at exactly one point, which in turn is equivalent to the existence of support curves on at least two sides of $H$ at $p$. The existence of such two-sided support provide… ▽ More We prove that a singular real-analytic Levi-flat hypersurface $H$ in $\mathbb C^n$ being Segre-degenerate at a point $p$ is equivalent to the existence of a so-called support curve, that is, a holomorphic curve that intersects $H$ at exactly one point, which in turn is equivalent to the existence of support curves on at least two sides of $H$ at $p$. The existence of such two-sided support provides families of analytic discs attached to $H$ that covers a neighborhood of $p$. The existence of such discs has two corollaries. First, any function holomorphic on a neighborhood of a Segre-degenerate $H$ extends to a fixed neighborhood of $p$. Second, the rational hull of $H$ is a neighborhood of $p$, and thus no Levi-flat Segre-degenerate hypersurface in $\mathbb C^n$ can be rationally convex. △ Less

Submitted 12 June, 2023; originally announced June 2023.

MSC Class: 32C07 (Primary); 32E20 32D10 14P15 (Secondary)

Exhaustion functions and normal forms for proper maps of balls

Authors: Jiri Lebl

Abstract: We study a relationship between rational proper maps of balls in different dimensions and strongly plurisubharmonic exhaustion functions of the unit ball induced by such maps. Putting the unique critical point of this exhaustion function at the origin leads to a normal form for rational proper maps of balls. The normal form of the map, which is up to composition with unitaries, takes the origin to… ▽ More We study a relationship between rational proper maps of balls in different dimensions and strongly plurisubharmonic exhaustion functions of the unit ball induced by such maps. Putting the unique critical point of this exhaustion function at the origin leads to a normal form for rational proper maps of balls. The normal form of the map, which is up to composition with unitaries, takes the origin to the origin, and it normalizes the denominator by eliminating the linear terms and diagonalizing the quadratic part. The singular values of the quadratic part of the denominator are spherical invariants of the map. When these singular values are positive and distinct, the normal form is determined up to a finite subgroup of the unitary group. We also study which denominators arise for cubic maps, and when we do not require taking the origin to the origin, which maps are equivalent to polynomials. △ Less

Submitted 20 November, 2023; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 18 pages, fix typos, add reference to mountain pass theorem

MSC Class: 32H35; 32U10

Integer Sequences and Output Arrays

Authors: John P. D'Angelo, Jiri Lebl

Abstract: The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new in… ▽ More The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Comments: 14 pages

MSC Class: 11B83 (Primary) 11B37 (Secondary)

Cartan uniqueness theorem on nonopen sets

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: Cartan's uniqueness theorem does not hold in general for CR map**s, but it does hold under certain conditions guaranteeing extendibility of CR functions to a fixed neighborhood. These conditions can be defined naturally for a wide class of sets such as local real-analytic subvarieties or subanalytic sets, not just submanifolds. Suppose that $V$ is a locally connected and locally closed subset of… ▽ More Cartan's uniqueness theorem does not hold in general for CR map**s, but it does hold under certain conditions guaranteeing extendibility of CR functions to a fixed neighborhood. These conditions can be defined naturally for a wide class of sets such as local real-analytic subvarieties or subanalytic sets, not just submanifolds. Suppose that $V$ is a locally connected and locally closed subset of ${\mathbb{C}}^n$ such that the hull constructed by contracting analytic discs close to arbitrarily small neighborhoods of a point always contains the point in the interior. Then restrictions of holomorphic functions uniquely extend to a fixed neighborhood of the point. Using this extension, we obtain a version of Cartan's uniqueness theorem for such sets. When $V$ is a real-analytic subvariety, we can generalize the concept of infinitesimal CR automorphism and also prove an analogue of the theorem. As an application of these two results we show that, for circular subvarieties, the only automorphisms, CR or infinitesimal, are linear. △ Less

Submitted 12 July, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 10 pages, updated proof of Lemma 2.2, expanded section 3, and added reference [9]

MSC Class: 32H02 (Primary); 32V40 32B20 (Secondary)

Journal ref: Complex Anal. Synerg., 8 (2022), Paper No. 17

Segre-Degenerate Points Form a Semianalytic Set

Authors: Jiri Lebl

Abstract: We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre variety is of dimension $k$ or greater is a closed semianalytic set in general, and for a coherent $X$, it is a real-analytic subvariety of $X$. For a hypersurface… ▽ More We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre variety is of dimension $k$ or greater is a closed semianalytic set in general, and for a coherent $X$, it is a real-analytic subvariety of $X$. For a hypersurface $X$ in ${\mathbb{C}}^n$, the set of Segre-degenerate points, $X_{[n]}$, is a semianalytic set of dimension at most $2n-4$. If $X$ is coherent, then $X_{[n]}$ is a complex subvariety of (complex) dimension $n-2$. Example hypersurfaces are given showing that $X_{[n]}$ need not be a subvariety and that it also needs not be complex; $X_{[n]}$ can, for instance, be a real line. △ Less

Submitted 13 August, 2021; v1 submitted 13 February, 2021; originally announced February 2021.

Comments: 14 pages, minor improvements in exposition

MSC Class: 32C07 (Primary); 32B20; 14P15 (Secondary)

Journal ref: Proc. Amer. Math. Soc. Ser. B, 9 (2022), 159-173

On CR singular CR images

Authors: Jiří Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: We say that a CR singular submanifold $M$ has a removable CR singularity if the CR structure at the CR points of $M$ extends through the singularity as an abstract CR structure on $M$. We study such real-analytic submanifolds, in which case removability is equivalent to $M$ being the image of a generic real-analytic submanifold $N$ under a holomorphic map that is a diffeomorphism of $N$ onto $M$,… ▽ More We say that a CR singular submanifold $M$ has a removable CR singularity if the CR structure at the CR points of $M$ extends through the singularity as an abstract CR structure on $M$. We study such real-analytic submanifolds, in which case removability is equivalent to $M$ being the image of a generic real-analytic submanifold $N$ under a holomorphic map that is a diffeomorphism of $N$ onto $M$, what we call a CR image. We study the stability of the CR singularity under perturbation, the associated quadratic invariants, and conditions for removability of a CR singularity. A lemma is also proved about perturbing away the zeros of holomorphic functions on CR submanifolds, which could be of independent interest. △ Less

Submitted 8 August, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 22 pages, accepted to Internat. J. Math

MSC Class: 32V05 (Primary); 32V30 (Secondary)

Journal ref: Internat. J. Math., 32 (2021), no. 13, 2150090

Segre nondegenerate totally real subvarieties

Authors: Bernhard Lamel, Jiri Lebl

Abstract: We study an irreducible real-analytic germ of an $n$-dimensional variety in $n$ dimensional complex space. Assuming that the variety is Segre nondegenerate we define an averaging operator that generalizes the Moser--Webster involution. This operator can be thought of as being the CR structure of the singularity, and using this operator we study the set of functions that are restrictions of holomor… ▽ More We study an irreducible real-analytic germ of an $n$-dimensional variety in $n$ dimensional complex space. Assuming that the variety is Segre nondegenerate we define an averaging operator that generalizes the Moser--Webster involution. This operator can be thought of as being the CR structure of the singularity, and using this operator we study the set of functions that are restrictions of holomorphic functions. We give a condition on the flattening of the singularity, that is realizing the singularity as a codimention one subvariety of a nonsingular Levi-flat hypersurface. △ Less

Submitted 23 January, 2020; originally announced January 2020.

Comments: 18 pages

MSC Class: 32V05; 32V40 (Primary); 14B05; 14P15 (Secondary)

Journal ref: Math. Z., 299 (2021), no. 1-2, 163-181

Rational sphere maps, linear programming, and compressed sensing

Authors: John P. D'Angelo, Dusty Grundmeier, Jiri Lebl

Abstract: We develop a link between degree estimates for rational sphere maps and compressed sensing. We provide several new ideas and many examples, both old and new, that amplify connections with linear programming. We close with a list of ten open problems. We develop a link between degree estimates for rational sphere maps and compressed sensing. We provide several new ideas and many examples, both old and new, that amplify connections with linear programming. We close with a list of ten open problems. △ Less

Submitted 23 December, 2019; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 22 pages. To appear in a special issue of Complex Analysis and its Synergies entitled "Geometric Analysis of PDEs and Several Complex Variables". The changes from the first version are minimal, consisting primarily of two new sentences at the end of the introduction and a bit more discussion of Problem 4. We also corrected two typos, made two small changes for clarity, and added a reference

Journal ref: Complex Analysis and its Synergies, 6 (2020), no. 1, Paper No. 4

A CR singular analogue of Severi's theorem

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: Real-analytic CR functions on real-analytic CR singular submanifolds are not in general restrictions of holomorphic functions, unlike in the CR nonsingular case. We give a simple condition that completely characterizes those quadric CR singular manifolds of codimension 2 in ${\mathbb C}^{n+1}$ for which an extension result holds. Consequently, we obtain an extension result for general real-analyti… ▽ More Real-analytic CR functions on real-analytic CR singular submanifolds are not in general restrictions of holomorphic functions, unlike in the CR nonsingular case. We give a simple condition that completely characterizes those quadric CR singular manifolds of codimension 2 in ${\mathbb C}^{n+1}$ for which an extension result holds. Consequently, we obtain an extension result for general real-analytic CR singular submanifolds of codimension 2. As applications we give a condition for the flattening of such submanifolds, and we classify CR singular images of CR submanifolds up to second order. △ Less

Submitted 14 April, 2021; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: 22 pages, accepted to Math. Z, fix hypothesis on Proposition 7.1

MSC Class: 32V40 (Primary) 32V25; 32V05 (Secondary)

Journal ref: Math. Z., 299 (2021), no. 3-4, 1607-1629

The closed range property for the $\overline{\partial}$-operator on planar domains

Authors: A. -K. Gallagher, J. Lebl, K. Ramachandran

Abstract: Let $Ω\subset\mathbb{C}$ be an open set. We show that $\overline{\partial}$ has closed range in $L^{2}(Ω)$ if and only if the Poincaré-Dirichlet inequality holds. Moreover, we give necessary and sufficient potential-theoretic conditions for the $\overline{\partial}$-operator to have closed range in $L^{2}(Ω)$. We also give a new necessary and sufficient potential-theoretic condition for the Bergma… ▽ More Let $Ω\subset\mathbb{C}$ be an open set. We show that $\overline{\partial}$ has closed range in $L^{2}(Ω)$ if and only if the Poincaré-Dirichlet inequality holds. Moreover, we give necessary and sufficient potential-theoretic conditions for the $\overline{\partial}$-operator to have closed range in $L^{2}(Ω)$. We also give a new necessary and sufficient potential-theoretic condition for the Bergman space of $Ω$ to be infinite dimensional. △ Less

Submitted 29 October, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: Part (iv) of Proposition 2.2 in the previous version was stated prematurely. To correct this, some changes in section 2 were necessary, see Prop. 2.9 and its corollaries in the current version

MSC Class: 32W05; 31A15

Journal ref: J. Geom. Anal., 31 (2021), 1646-1670

On the Levi-flat Plateau problem

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: We solve the Levi-flat Plateau problem in the following case. Let $M \subset {\mathbb C}^{n+1}$, $n \geq 2$, be a connected compact real-analytic codimension-two submanifold with only nondegenerate CR singularities. Suppose $M$ is a diffeomorphic image via a real-analytic CR map of a real-analytic hypersurface in ${\mathbb C}^n \times {\mathbb R}$ with only nondegenerate CR singularities. Then the… ▽ More We solve the Levi-flat Plateau problem in the following case. Let $M \subset {\mathbb C}^{n+1}$, $n \geq 2$, be a connected compact real-analytic codimension-two submanifold with only nondegenerate CR singularities. Suppose $M$ is a diffeomorphic image via a real-analytic CR map of a real-analytic hypersurface in ${\mathbb C}^n \times {\mathbb R}$ with only nondegenerate CR singularities. Then there exists a unique compact real-analytic Levi-flat hypersurface, nonsingular except possibly for self-intersections, with boundary $M$. We also study boundary regularity of CR automorphisms of domains in ${\mathbb C}^n \times {\mathbb R}$. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Comments: 21 pages, 3 figures

MSC Class: 32V40 (Primary); 32V25 32E05 (Secondary)

Journal ref: Complex Analysis and its Synergies, 6 (2020), no. 1, Paper No. 3

Removing Isolated Zeroes by Homotopy

Authors: Adam Coffman, Jiří Lebl

Abstract: Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion of index for vector fields, the $q=n$ case. The existence of a continuous map $g$ which approximates $f$ but is nonvanishing near $P$ is equivalent to a topolog… ▽ More Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion of index for vector fields, the $q=n$ case. The existence of a continuous map $g$ which approximates $f$ but is nonvanishing near $P$ is equivalent to a topological property we call "locally inessential," and for dimensions $n$, $q$ where $π_{n-1}(S^{q-1})$ is trivial, every isolated zero is locally inessential. We consider the problem of constructing such an approximation $g$, and show that there exists a continuous homotopy from $f$ to $g$ through locally nonvanishing maps. If $f$ is a semialgebraic map, then there exists such a homotopy which is also semialgebraic. For $q=2$ and $f$ real analytic with a locally inessential isolated zero, there exists a Hölder continuous homotopy $F(x,t)$ which, for $(x,t)\ne(P,0)$, is real analytic and nonvanishing. The existence of a smooth homotopy, given a smooth map $f$, is stated as an open question. △ Less

Submitted 19 October, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: to appear in Topological Methods in Nonlinear Analysis

MSC Class: 57R45 (Primary) 14P10; 31B25; 35J25; 41A29; 57R25; 58K25; 58K45; 58K60 (Secondary)

Journal ref: Topol. Methods Nonlinear Anal., Volume 54, Number 1 (2019), 275-296

Convexity of level lines of Martin functions and applications

Authors: A. -K. Gallagher, J. Lebl, K. Ramachandran

Abstract: Let $Ω$ be an unbounded domain in $\mathbb{R}\times\mathbb{R}^{d}.$ A positive harmonic function $u$ on $Ω$ that vanishes on the boundary of $Ω$ is called a Martin function. In this note, we show that, when $Ω$ is convex, the superlevel sets of a Martin function are also convex. As a consequence we obtain that if in addition $Ω$ is symmetric, then the maximum of any Martin function along a slice… ▽ More Let $Ω$ be an unbounded domain in $\mathbb{R}\times\mathbb{R}^{d}.$ A positive harmonic function $u$ on $Ω$ that vanishes on the boundary of $Ω$ is called a Martin function. In this note, we show that, when $Ω$ is convex, the superlevel sets of a Martin function are also convex. As a consequence we obtain that if in addition $Ω$ is symmetric, then the maximum of any Martin function along a slice $Ω\cap (\{t\}\times\mathbb{R}^d)$ is attained at $(t,0).$ △ Less

Submitted 20 January, 2018; v1 submitted 30 September, 2017; originally announced October 2017.

Comments: Statement of Theorem 1.2 revised. 8 pages, 2 figures

MSC Class: 31B05; 30C20

Journal ref: Anal. Math. Phys., 9 (2019), no. 1, 443-452

On Lewy extension for smooth hypersurfaces in ${\mathbb C}^n \times {\mathbb R}$

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: We prove an analogue of the Lewy extension theorem for a real dimension $2n$ smooth submanifold $M \subset {\mathbb C}^{n}\times {\mathbb R}$, $n \geq 2$. A theorem of Hill and Taiani implies that if $M$ is CR and the Levi-form has a positive eigenvalue restricted to the leaves of ${\mathbb C}^n \times {\mathbb R}$, then every smooth CR function $f$ extends smoothly as a CR function to one side of… ▽ More We prove an analogue of the Lewy extension theorem for a real dimension $2n$ smooth submanifold $M \subset {\mathbb C}^{n}\times {\mathbb R}$, $n \geq 2$. A theorem of Hill and Taiani implies that if $M$ is CR and the Levi-form has a positive eigenvalue restricted to the leaves of ${\mathbb C}^n \times {\mathbb R}$, then every smooth CR function $f$ extends smoothly as a CR function to one side of $M$. If the Levi-form has eigenvalues of both signs, then $f$ extends to a neighborhood of $M$. Our main result concerns CR singular manifolds with a nondegenerate quadratic part $Q$. A smooth CR $f$ extends to one side if the Hermitian part of $Q$ has at least two positive eigenvalues, and $f$ extends to the other side if the form has at least two negative eigenvalues. We provide examples to show that at least two nonzero eigenvalues in the direction of the extension are needed. △ Less

Submitted 1 June, 2017; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: 22 pages; new examples and minor typo fixes

MSC Class: 32V40 (Primary); 32V25 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 371 (2019), 6581-6603

Codimension two CR singular submanifolds and extensions of CR functions

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: Let $M \subset {\mathbb{C}}^{n+1}$, $n \geq 2$, be a real codimension two CR singular real-analytic submanifold that is nondegenerate and holomorphically flat. We prove that every real-analytic function on $M$ that is CR outside the CR singularities extends to a holomorphic function in a neighborhood of $M$. Our motivation is to prove the following analogue of the Hartogs-Bochner theorem. Let… ▽ More Let $M \subset {\mathbb{C}}^{n+1}$, $n \geq 2$, be a real codimension two CR singular real-analytic submanifold that is nondegenerate and holomorphically flat. We prove that every real-analytic function on $M$ that is CR outside the CR singularities extends to a holomorphic function in a neighborhood of $M$. Our motivation is to prove the following analogue of the Hartogs-Bochner theorem. Let $Ω\subset {\mathbb{C}}^n \times {\mathbb{R}}$, $n \geq 2$, be a bounded domain with a connected real-analytic boundary such that $\partial Ω$ has only nondegenerate CR singularities. We prove that if $f \colon \partial Ω\to {\mathbb{C}}$ is a real-analytic function that is CR at CR points of $\partial Ω$, then $f$ extends to a holomorphic function on a neighborhood of $\overlineΩ$ in ${\mathbb{C}}^n \times {\mathbb{C}}$. △ Less

Submitted 23 February, 2017; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 16 pages, 1 figure, fixed typos, updated references. To appear in Journal of Geometric Analysis

MSC Class: 32V40 (Primary); 32V25 (Secondary)

Journal ref: J. Geom. Anal. 27 (2017), no. 3, 2453-2471

Extension of CR functions from boundaries in ${\mathbb C}^n \times {\mathbb R}$

Authors: Jiri Lebl, Alan Noell, Sivaguru Ravisankar

Abstract: Let $Ω\subset {\mathbb C}^n \times {\mathbb R}$ be a bounded domain with smooth boundary such that $\partial Ω$ has only nondegenerate elliptic CR singularities, and let $f \colon \partial Ω\to {\mathbb C}$ be a smooth function that is CR at CR points of $\partial Ω$ (when $n=1$ we require separate holomorphic extensions for each real parameter). Then $f$ extends to a smooth CR function on… ▽ More Let $Ω\subset {\mathbb C}^n \times {\mathbb R}$ be a bounded domain with smooth boundary such that $\partial Ω$ has only nondegenerate elliptic CR singularities, and let $f \colon \partial Ω\to {\mathbb C}$ be a smooth function that is CR at CR points of $\partial Ω$ (when $n=1$ we require separate holomorphic extensions for each real parameter). Then $f$ extends to a smooth CR function on $\barΩ$, that is, an analogue of Hartogs-Bochner holds. In addition, if $f$ and $\partial Ω$ are real-analytic, then $f$ is the restriction of a function that is holomorphic on a neighborhood of $\barΩ$ in ${\mathbb C}^{n+1}$. An immediate application is a (possibly singular) solution of the Levi-flat Plateau problem for codimension 2 submanifolds that are CR images of $\partial Ω$ as above. The extension also holds locally near nondegenerate, holomorphically flat, elliptic CR singularities. △ Less

Submitted 1 June, 2017; v1 submitted 20 May, 2015; originally announced May 2015.

Comments: 20 pages, to appear in Indiana Univ. Math. J; fixed several typos

MSC Class: 32V40 (Primary); 32V25 (Secondary)

Journal ref: Indiana Univ. Math. J. 66 (2017), no. 3, 901-925

Initial monomial invariants of holomorphic maps

Authors: Dusty Grundmeier, Jiri Lebl

Abstract: We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and hyperquadrics, giving a readily computable invariant in this important case. For example, the generic initial monomials distinguish all four inequivalent rational pr… ▽ More We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and hyperquadrics, giving a readily computable invariant in this important case. For example, the generic initial monomials distinguish all four inequivalent rational proper maps from the two to the three dimensional ball. Next, we associate to each subspace $X \subset {\mathcal O}(U)$ a generic initial monomial subspace, which is invariant under biholomorphic transformations and multiplication by nonzero functions. The generic initial monomial subspace is a biholomorphic invariant for holomorphic maps if the target automorphism is linear fractional as in the case of automorphisms of spheres or hyperquadrics. △ Less

Submitted 9 September, 2015; v1 submitted 11 February, 2015; originally announced February 2015.

Comments: 16 pages, fixed typos, accepted to Math. Z

MSC Class: 32H02 (Primary); 13P25 (Secondary)

Journal ref: Math. Z. 282 (2016), no. 1, 371-387

An example of a compact non-C-analytic real subvariety of ${\mathbb R}^3$

Authors: Jiri Lebl

Abstract: The purpose of this short expository note is to provide an example exhibiting some of the pathological properties of real-analytic subvarieties, where the pathology can be visualized, and the proofs use only elementary properties of analytic functions. We construct a compact irreducible real-analytic subvariety $S$ of ${\mathbb R}^3$ of pure dimension two such that 1) the only a real-analytic func… ▽ More The purpose of this short expository note is to provide an example exhibiting some of the pathological properties of real-analytic subvarieties, where the pathology can be visualized, and the proofs use only elementary properties of analytic functions. We construct a compact irreducible real-analytic subvariety $S$ of ${\mathbb R}^3$ of pure dimension two such that 1) the only a real-analytic function is defined in a neighbourhood of $S$ and vanishing on $S$ is the zero function, 2) the singular set of $S$ is not a subvariety of $S$, nor is it contained in any one-dimensional subvariety of $S$, 3) the variety $S$ contains a proper subvariety of dimension two. The example shows how a badly behaved part of a subvariety can be hidden via a second well-behaved component to create a subvariety of a larger set. The pathology is visualized using several figures. Examples of these phenomena are known since the time of Cartan, but hard to find in the English language literature. △ Less

Submitted 14 April, 2021; v1 submitted 15 December, 2014; originally announced December 2014.

Comments: 5 pages, 3 figures, add some references, add some details

MSC Class: 14P15

Homotopy equivalence for proper holomorphic map**s

Authors: John P. D'Angelo, Jiri Lebl

Abstract: We introduce several homotopy equivalence relations for proper holomorphic map**s between balls. We provide examples showing that the degree of a rational proper map** between balls (in positive codimension) is not a homotopy invariant. In domain dimension at least 2, we prove that the set of homotopy classes of rational proper map**s from a ball to a higher dimensional ball is finite. By co… ▽ More We introduce several homotopy equivalence relations for proper holomorphic map**s between balls. We provide examples showing that the degree of a rational proper map** between balls (in positive codimension) is not a homotopy invariant. In domain dimension at least 2, we prove that the set of homotopy classes of rational proper map**s from a ball to a higher dimensional ball is finite. By contrast, when the target dimension is at least twice the domain dimension, it is well known that there are uncountably many spherical equivalence classes. We generalize this result by proving that an arbitrary homotopy of rational maps whose endpoints are spherically inequivalent must contain uncountably many spherically inequivalent maps. We introduce Whitney sequences, a precise analogue (in higher dimensions) of the notion of finite Blaschke product (in one dimension). We show that terms in a Whitney sequence are homotopic to monomial map**s, and we establish an additional result about the target dimensions of such homotopies. △ Less

Submitted 21 September, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: 18 pages, references, spelling, and doubled words words corrected, to appear in Advances in Mathematics

MSC Class: 32H35; 32H02; 32M99; 32A50; 55P10; 30J10; 14P10

Journal ref: Advances in Mathematics, 286 (2016), 160-180

Singular Levi-flat hypersurfaces in complex projective space induced by curves in the Grassmannian

Authors: Jiri Lebl

Abstract: Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of d… ▽ More Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of dimension $2n-4$, then we show the hypersurface is algebraic and the Levi-foliation extends to a singular holomorphic foliation of ${\mathbb P}^n$ with a meromorphic (rational of degree 1) first integral. In this case, $H$ is in some sense simply a complex cone over an algebraic curve in ${\mathbb P}^1$. Similarly if $H$ has a degenerate singularity, then $H$ is also algebraic. If the dimension of the singular set is $2n-2$ and is nondegenerate, we show by construction that the hypersurface need not be algebraic nor semialgebraic. We construct a Levi-flat real-analytic subvariety in ${\mathbb P}^2$ of real codimension 1 with compact leaves that is not contained in any proper real-algebraic subvariety of ${\mathbb P}^2$. Therefore a straightforward analogue of Chow's theorem for Levi-flat hypersurfaces does not hold. △ Less

Submitted 17 December, 2014; v1 submitted 22 July, 2014; originally announced July 2014.

Comments: 13 pages, 1 figure, add missing hypotheses to first theorem, reorganized and added some details

MSC Class: 32S25; 32S65; 32C07; 14P15

Journal ref: Internat. J. Math., Vol. 26 (2015), no. 5, 1550036

Normal forms for CR singular codimension two Levi-flat submanifolds

Authors: Xianghong Gong, Jiri Lebl

Abstract: Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to ${\mathbb{C}}^m$, $m > 2$, of Bishop surfaces in ${\mathbb{C}}^2$. Such submanifolds for example arise as zero sets of mixed-holomorphic equations with one variable antiholomorphic. We classify the codimension two Levi-flat CR singular quadrics, and we notice that new types of submanifolds arise in dim… ▽ More Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to ${\mathbb{C}}^m$, $m > 2$, of Bishop surfaces in ${\mathbb{C}}^2$. Such submanifolds for example arise as zero sets of mixed-holomorphic equations with one variable antiholomorphic. We classify the codimension two Levi-flat CR singular quadrics, and we notice that new types of submanifolds arise in dimension 3 or greater. In fact, the nondegenerate submanifolds, i.e. higher order purturbations of $z_m=\bar{z}_1z_2+\bar{z}_1^2$, have no analogue in dimension 2. We prove that the Levi-foliation extends through the singularity in the real-analytic nondegenerate case. Furthermore, we prove that the quadric is a (convergent) normal form for a natural large class of such submanifolds, and we compute its automorphism group. In general, we find a formal normal form in ${\mathbb{C}}^3$ in the nondegenerate case that shows infinitely many formal invariants. △ Less

Submitted 21 October, 2014; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 41 pages, accepted to Pacific Journal of Mathematics

MSC Class: 32V40 (Primary) 32S05; 53C12 (Secondary)

Journal ref: Pacific J. Math. Vol. 275 (2015), No. 1, 115-165

Addendum to Uniqueness of certain polynomials constant on a line

Authors: Jiri Lebl

Abstract: The computer calculations in arXiv:0808.0284 to classify sharp polynomials with nonegative coefficients constant on the line $x+y=1$ have been extended to degrees 19 and 21. In degree 19 a surprisingly large number of 13 sharp polynomials was found, while in degree 21 only the group invariant polynomial exists. The computer calculations in arXiv:0808.0284 to classify sharp polynomials with nonegative coefficients constant on the line $x+y=1$ have been extended to degrees 19 and 21. In degree 19 a surprisingly large number of 13 sharp polynomials was found, while in degree 21 only the group invariant polynomial exists. △ Less

Submitted 8 October, 2013; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: Addendum to arXiv:0808.0284, 6 pages. Updated with degree 21 result

MSC Class: 14P99; 68W30; 11C08; 05E99

Signature pairs of positive polynomials

Authors: Jennifer Halfpap, Jiri Lebl

Abstract: A well-known theorem of Quillen says that if $r(z,\bar{z})$ is a bihomogeneous polynomial on ${\mathbb{C}}^n$ positive on the sphere, then there exists $d$ such that $r(z,\bar{z}){\lVert z \rVert}^{2d}$ is a squared norm. We obtain effective bounds relating this $d$ to the signature of $r$. We obtain the sharp bound for $d=1$, and for $d > 1$ we obtain a bound that is of the correct order as a fun… ▽ More A well-known theorem of Quillen says that if $r(z,\bar{z})$ is a bihomogeneous polynomial on ${\mathbb{C}}^n$ positive on the sphere, then there exists $d$ such that $r(z,\bar{z}){\lVert z \rVert}^{2d}$ is a squared norm. We obtain effective bounds relating this $d$ to the signature of $r$. We obtain the sharp bound for $d=1$, and for $d > 1$ we obtain a bound that is of the correct order as a function of $d$ for fixed $n$. The current work adds to an extensive literature on positivity classes for real polynomials. The classes $Ψ_d$ of polynomials for which $r(z,\bar{z}){\lVert z \rVert}^{2d}$ is a squared norm interpolate between polynomials positive on the sphere and those that are Hermitian sums of squares. △ Less

Submitted 19 April, 2013; v1 submitted 5 November, 2012; originally announced November 2012.

Comments: 17 pages, 4 figures; fixed typos; accepted to Bulletin of the Institute of Mathematics, Academia Sinica, New Series

MSC Class: 12D15 (Primary) 14P10; 15A63; 32H99 (Secondary)

Journal ref: Bull. Inst. Math. Acad. Sin. (N.S.) 8 (2013), no. 2, 169-192

CR singular images of generic submanifolds under holomorphic maps

Authors: Jiri Lebl, André Minor, Ravi Shroff, Duong Son, Yuan Zhang

Abstract: The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the… ▽ More The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points must be large, and in the case of codimension 2, necessarily Levi-flat or complex. We also show that there exist real-analytic CR functions on such images that satisfy the tangential CR conditions at the singular points, yet fail to extend to holomorphic functions in a neighborhood. We provide many examples to illustrate the phenomena that arise. △ Less

Submitted 2 December, 2013; v1 submitted 23 May, 2012; originally announced May 2012.

Comments: 21 pages, accepted to Arkiv for Mathematik

MSC Class: 32V40 (Primary) 32V25; 32S05 (Secondary)

Journal ref: Arkiv För Matematik, 52 (2014), no. 2, 301-327

Bounding the rank of Hermitian forms and rigidity for CR map**s of hyperquadrics

Authors: Dusty Grundmeier, Jiri Lebl, Liz Vivas

Abstract: Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an application we prove a rigidity theorem for CR map**s between hyperquadrics in the spirit of the results of Baouendi-Huang and Baouendi-Ebenfelt-Huang. Given a… ▽ More Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an application we prove a rigidity theorem for CR map**s between hyperquadrics in the spirit of the results of Baouendi-Huang and Baouendi-Ebenfelt-Huang. Given a real-analytic CR map** of a hyperquadric (not equivalent to a sphere) to another hyperquadric $Q(A,B)$, either the image of the map** is contained in a complex affine subspace, or $A$ is bounded by a constant depending only on $B$. Finally, we prove a stability result about existence of nontrivial CR map**s of hyperquadrics. That is, as long as both $A$ and $B$ are sufficiently large and comparable, then there exist CR map**s whose image is not contained in a hyperplane. The rigidity result also extends when map** to hyperquadrics in infinite dimensional Hilbert-space. △ Less

Submitted 9 October, 2013; v1 submitted 18 October, 2011; originally announced October 2011.

Comments: 25 pages, 1 figure, obsoletes arXiv:1006.0186. Provide a new complete proof in section 5. Accepted to Math. Ann

MSC Class: 32V30 (Primary) 13H10; 14P99; 47B15 (Secondary)

Journal ref: Mathematische Annalen, 358 (2014), no. 3-4, 1059-1089

Polynomials constant on a hyperplane and CR maps of spheres

Authors: Jiri Lebl, Han Peters

Abstract: We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of nonnegative distinct monomials. This bound was conjectured by John P. D'Angelo, proved in two dimensions by D'Angelo, Kos and Riehl and in three dimensions by the authors. The current work builds upon these results to settle the conjecture in all dimensions. We also give a complete description of all poly… ▽ More We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of nonnegative distinct monomials. This bound was conjectured by John P. D'Angelo, proved in two dimensions by D'Angelo, Kos and Riehl and in three dimensions by the authors. The current work builds upon these results to settle the conjecture in all dimensions. We also give a complete description of all polynomials in dimensions 4 and higher for which the sharp bound is obtained. The results prove the sharp degree bounds for monomial CR map**s of spheres in all dimensions. △ Less

Submitted 26 September, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 17 pages, 10 figures; accepted to Illinois J. Math., added 3 figures and improved exposition

MSC Class: 14P99; 05A20; 32H35; 11C08

Journal ref: Illinois J. Math., 56 (2012), no. 1, 155-175

Singular set of a Levi-flat hypersurface is Levi-flat

Authors: Jiri Lebl

Abstract: We study the singular set of a singular Levi-flat real-analytic hypersurface. We prove that the singular set of such a hypersurface is Levi-flat in the appropriate sense. We also show that if the singular set is small enough, then the Levi-foliation extends to a singular codimension one holomorphic foliation of a neighborhood of the hypersurface. We study the singular set of a singular Levi-flat real-analytic hypersurface. We prove that the singular set of such a hypersurface is Levi-flat in the appropriate sense. We also show that if the singular set is small enough, then the Levi-foliation extends to a singular codimension one holomorphic foliation of a neighborhood of the hypersurface. △ Less

Submitted 11 May, 2012; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: 21 pages, minor typos fixed, updated references, accepted to Math. Ann

MSC Class: 32C07; 32V40; 37F75 (Primary) 32B20; 14P15 (Secondary)

Journal ref: Math. Ann., 355 (2013), no. 3, 1177-1199

On the continuity and regularity of convex extensions

Authors: Orest Bucicovschi, Jiri Lebl

Abstract: We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set… ▽ More We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set to a continuous convex function on the convex hull is that $f$ extends to a continuous convex function on the relative boundary of the convex hull. We give examples showing that the hypotheses in the results are necessary. In particular, if $C$ does not contain the entire relative boundary of $K$, then there may not exist any continuous convex extension of $f$. Finally, when the boundary of $K$ and $f$ are $C^1$ we give a necessary and sufficient condition for the convex roof construction to be $C^1$ on all of $K$. We also discuss an application of the convex roof construction in quantum computation. △ Less

Submitted 12 September, 2013; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: 13 pages, 2 figures; fix typo in proof of Lemma 3.2

MSC Class: 52A41; 81P68

Journal ref: J. Convex Anal., 20 (2013), no. 4, 1113-1126

Pfister's theorem fails in the Hermitian case

Authors: John P. D'Angelo, Jiri Lebl

Abstract: We show that the Hermitian analogue of a famous result of Pfister fails. To do so we provide a Hermitian symmetric polynomial $r$ of total degree 2d such that any non-zero multiple of it cannot be written as a Hermitian sum of squares with fewer than $d+1$ squares. We show that the Hermitian analogue of a famous result of Pfister fails. To do so we provide a Hermitian symmetric polynomial $r$ of total degree 2d such that any non-zero multiple of it cannot be written as a Hermitian sum of squares with fewer than $d+1$ squares. △ Less

Submitted 20 December, 2010; v1 submitted 15 October, 2010; originally announced October 2010.

Comments: 7 pages, to appear in Proc. Amer. Math. Soc., improved exposition in the proof

MSC Class: 12D15; 14P05; 15B57; 32V15

Journal ref: Proceedings of the American Mathematical Society, 140 (2012), 1151-1157

Bounding the rank of positive Hermitian forms and rigidity for CR map**s of hyperquadrics

Authors: Dusty Grundmeier, Jiri Lebl

Abstract: This paper has been withdrawn as the proof of Lemma 4.1 is incomplete. This paper has been withdrawn as the proof of Lemma 4.1 is incomplete. △ Less

Submitted 6 July, 2010; v1 submitted 1 June, 2010; originally announced June 2010.

Comments: This paper has been withdrawn

MSC Class: 32V30 (Primary); 15B57; 14P99; 47B15 (Secondary)

Hermitian symmetric polynomials and CR complexity

Authors: John P. D'Angelo, Jiri Lebl

Abstract: Properties of Hermitian forms are used to investigate several natural questions from CR Geometry. To each Hermitian symmetric polynomial we assign a Hermitian form. We study how the signature pairs of two Hermitian forms behave under the polynomial product. We show, except for three trivial cases, that every signature pair can be obtained from the product of two indefinite forms. We provide severa… ▽ More Properties of Hermitian forms are used to investigate several natural questions from CR Geometry. To each Hermitian symmetric polynomial we assign a Hermitian form. We study how the signature pairs of two Hermitian forms behave under the polynomial product. We show, except for three trivial cases, that every signature pair can be obtained from the product of two indefinite forms. We provide several new applications to the complexity theory of rational map**s between hyperquadrics, including a stability result about the existence of non-trivial rational map**s from a sphere to a hyperquadric with a given signature pair. △ Less

Submitted 25 May, 2010; v1 submitted 27 February, 2010; originally announced March 2010.

Comments: 19 pages, latex, fixed typos, to appear in Journal of Geometric Analysis

MSC Class: 15B57; 32V30; 32H35; 14P05

Journal ref: Journal of Geometric Analysis, 21 (2011), no. 3, 599-619

Polynomials constant on a hyperplane and CR maps of hyperquadrics

Authors: Jiri Lebl, Han Peters

Abstract: We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of distinct monomials for dimensions 2 and 3. We study the connection with monomial CR maps of hyperquadrics and prove similar bounds in this setup with emphasis on the case of spheres. The results support generalizing a conjecture on the degree bounds to the more general case of hyperquadrics. We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of distinct monomials for dimensions 2 and 3. We study the connection with monomial CR maps of hyperquadrics and prove similar bounds in this setup with emphasis on the case of spheres. The results support generalizing a conjecture on the degree bounds to the more general case of hyperquadrics. △ Less

Submitted 21 December, 2010; v1 submitted 14 October, 2009; originally announced October 2009.

Comments: 30 pages, 8 figures, to appear in Moscow Mathematical Journal

MSC Class: 14P99; 05A20; 32H35; 11C08

Journal ref: Moscow Mathematical Journal, 11 (2011), no. 2, 287-317

Normal forms, Hermitian operators, and CR maps of spheres and hyperquadrics

Authors: Jiri Lebl

Abstract: We prove and organize some results on the normal forms of Hermitian operators composed with the Veronese map. We apply this general framework to prove two specific theorems in CR geometry. First, extending a theorem of Faran, we classify all real-analytic CR maps between any hyperquadric in $\C^2$ and any hyperquadric in $\C^3$, resulting in a finite list of equivalence classes. Second, we prove t… ▽ More We prove and organize some results on the normal forms of Hermitian operators composed with the Veronese map. We apply this general framework to prove two specific theorems in CR geometry. First, extending a theorem of Faran, we classify all real-analytic CR maps between any hyperquadric in $\C^2$ and any hyperquadric in $\C^3$, resulting in a finite list of equivalence classes. Second, we prove that all degree-two CR maps of spheres in all dimensions are spherically equivalent to a monomial map, thus obtaining an elegant classification of all degree-two CR sphere maps. △ Less

Submitted 15 December, 2010; v1 submitted 1 June, 2009; originally announced June 2009.

Comments: 23 pages; accepted to Michigan Math. J

MSC Class: 32H02; 32H35; 14P05

Journal ref: Michigan Math. J. Volume 60, Issue 3 (2011), 603-628

Pullback of varieties by finite maps

Authors: Jiri Lebl

Abstract: We study the local geometry of the pullback of a variety via a finite holomorphic map. In particular, we are looking for properties of $V = F^{-1}(W)$ such that if $V$ has the property $A$, then $W$ must have the property $A$. We show that $A$ can be the property of normality or prefactoriality. We also show that $A$ can be the property of smoothness, under extra assumptions. We study the local geometry of the pullback of a variety via a finite holomorphic map. In particular, we are looking for properties of $V = F^{-1}(W)$ such that if $V$ has the property $A$, then $W$ must have the property $A$. We show that $A$ can be the property of normality or prefactoriality. We also show that $A$ can be the property of smoothness, under extra assumptions. △ Less

Submitted 12 December, 2008; originally announced December 2008.

Comments: 8 pages, latex

MSC Class: 32B10; 32H02; 14B99

Uniqueness of certain polynomials constant on a line

Authors: Jiri Lebl, Daniel Lichtblau

Abstract: We study a question with connections to linear algebra, real algebraic geometry, combinatorics, and complex analysis. Let $p(x,y)$ be a polynomial of degree $d$ with $N$ positive coefficients and no negative coefficients, such that $p=1$ when $x+y=1$. A sharp estimate $d \leq 2N-3$ is known. In this paper we study the $p$ for which equality holds. We prove some new results about the form of th… ▽ More We study a question with connections to linear algebra, real algebraic geometry, combinatorics, and complex analysis. Let $p(x,y)$ be a polynomial of degree $d$ with $N$ positive coefficients and no negative coefficients, such that $p=1$ when $x+y=1$. A sharp estimate $d \leq 2N-3$ is known. In this paper we study the $p$ for which equality holds. We prove some new results about the form of these "sharp" polynomials. Using these new results and using two independent computational methods we give a complete classification of these polynomials up to $d=17$. The question is motivated by the problem of classification of CR maps between spheres in different dimensions. △ Less

Submitted 31 March, 2010; v1 submitted 2 August, 2008; originally announced August 2008.

Comments: 20 pages, latex; removed section 10 and address referee suggestions; accepted to Linear Algebra and its Applications

MSC Class: 32H35; 68W30; 11C08; 05E99

Journal ref: Linear Algebra and Its Applications 433 (2010) pp. 824-837

Algebraic Levi-flat hypervarieties in complex projective space

Authors: Jiri Lebl

Abstract: We study singular real-analytic Levi-flat hypersurfaces in complex projective space. We define the rank of an algebraic Levi-flat hypersurface and study the connections between rank, degree, and the type and size of the singularity. In particular, we study degenerate singularities of algebraic Levi-flat hypersurfaces. We then give necessary and sufficient conditions for a Levi-flat hypersurface to… ▽ More We study singular real-analytic Levi-flat hypersurfaces in complex projective space. We define the rank of an algebraic Levi-flat hypersurface and study the connections between rank, degree, and the type and size of the singularity. In particular, we study degenerate singularities of algebraic Levi-flat hypersurfaces. We then give necessary and sufficient conditions for a Levi-flat hypersurface to be a pullback of a real-analytic curve in $\mathbb{C}$ via a meromorphic function. Among other examples, we construct a nonalgebraic semianalytic Levi-flat hypersurface with compact leaves that is a perturbation of an algebraic Levi-flat variety. △ Less

Submitted 27 February, 2012; v1 submitted 12 May, 2008; originally announced May 2008.

Comments: 21 pages, latex amsart, amsrefs; A couple of very minor typos fixed, added journal reference

MSC Class: 32S25; 32S65; 32C07; 14P15

Journal ref: J. Geom. Anal., 22 (2012), no. 2, 410-432

On the complexity of proper holomorphic map**s between balls

Authors: John P D'Angelo, Jiri Lebl

Abstract: We make several new contributions to the study of proper holomorphic map**s between balls. Our results include a degree estimate for rational proper maps, a new gap phenomenon for convex families of arbitrary proper maps, and an interesting result about inverse images. We make several new contributions to the study of proper holomorphic map**s between balls. Our results include a degree estimate for rational proper maps, a new gap phenomenon for convex families of arbitrary proper maps, and an interesting result about inverse images. △ Less

Submitted 8 June, 2008; v1 submitted 12 February, 2008; originally announced February 2008.

Comments: 19 pages, plain tex; improved exposition, added corollary to Theorem 1, strengthened Theorem 4

MSC Class: 32H35

Journal ref: Complex Variables and Elliptic Equations, 54 (2009), nos. 2-3, 187-204

Levi-flat hypersurfaces with real analytic boundary

Authors: Jiri Lebl

Abstract: Let $X$ be a Stein manifold of dimension at least 3. Given a compact codimension 2 real analytic submanifold $M$ of $X$, that is the boundary of a compact Levi-flat hypersurface $H$, we study the regularity of $H$. Suppose that the CR singularities of $M$ are an $\mathcal{O}(X)$-convex set. For example, suppose $M$ has only finitely many CR singularities, which is a generic condition. Then $H$ m… ▽ More Let $X$ be a Stein manifold of dimension at least 3. Given a compact codimension 2 real analytic submanifold $M$ of $X$, that is the boundary of a compact Levi-flat hypersurface $H$, we study the regularity of $H$. Suppose that the CR singularities of $M$ are an $\mathcal{O}(X)$-convex set. For example, suppose $M$ has only finitely many CR singularities, which is a generic condition. Then $H$ must in fact be a real analytic submanifold. If $M$ is real algebraic, it follows that $H$ is real algebraic and in fact extends past $M$, even near CR singularities. To prove these results we provide two variations on a theorem of Malgrange, that a smooth submanifold contained in a real analytic subvariety of the same dimension is itself real analytic. We prove a similar theorem for submanifolds with boundary, and another one for subanalytic sets. △ Less

Submitted 24 July, 2008; v1 submitted 19 October, 2007; originally announced October 2007.

Comments: 13 pages, latex, amsrefs; cosmetic changes, updated references; accepted to Trans. Amer. Math. Soc

MSC Class: 32V40; 32W20; 32E10; 32D15; 35B65

Journal ref: Trans. Amer. Math. Soc. 362 (2010), no. 12, 6367-6380

Complexity results for CR map**s between spheres

Authors: John P. D'Angelo, Jiri Lebl

Abstract: Using elementary number theory, we prove several results about the complexity of CR map**s between spheres. It is known that CR map**s between spheres, invariant under finite groups, lead to sharp bounds for degree estimates on real polynomials constant on a hyperplane. We show here that there are infinitely many degrees for which the uniqueness of sharp examples fails. The proof uses a Pell… ▽ More Using elementary number theory, we prove several results about the complexity of CR map**s between spheres. It is known that CR map**s between spheres, invariant under finite groups, lead to sharp bounds for degree estimates on real polynomials constant on a hyperplane. We show here that there are infinitely many degrees for which the uniqueness of sharp examples fails. The proof uses a Pell equation and complicated explicit computations. We also show that the so-called gap phenomenon for proper map**s between balls does not occur beyond a certain target dimension. This proof uses the solution of the postage stamp problem. △ Less

Submitted 15 January, 2008; v1 submitted 23 August, 2007; originally announced August 2007.

Comments: 15 pages, latex, improved corollary 2

MSC Class: 32H02; 32H35; 32V99; 14P05; 11D09; 11E39; 57S25

Journal ref: International Journal of Mathematics, 20 (2009), no. 2, 149-166

Extension of Levi-flat hypersurfaces past CR boundaries

Authors: Jiri Lebl

Abstract: Local conditions on boundaries of $C^\infty$ Levi-flat hypersurfaces, in case the boundary is a generic submanifold, are studied. For nontrivial real analytic boundaries we get an extension and uniqueness result, which forces the hypersurface to be real analytic. This allows us to classify all real analytic generic boundaries of Levi-flat hypersurfaces in terms of their normal coordinates. For t… ▽ More Local conditions on boundaries of $C^\infty$ Levi-flat hypersurfaces, in case the boundary is a generic submanifold, are studied. For nontrivial real analytic boundaries we get an extension and uniqueness result, which forces the hypersurface to be real analytic. This allows us to classify all real analytic generic boundaries of Levi-flat hypersurfaces in terms of their normal coordinates. For the remaining case of generic real analytic boundary we get a weaker extension theorem. We find examples to show that these two extension results are optimal. Further, a class of nowhere minimal real analytic submanifolds is found, which is never the boundary of even a $C^2$ Levi-flat hypersurface. △ Less

Submitted 21 May, 2007; v1 submitted 3 December, 2006; originally announced December 2006.

Comments: 15 pages; latex, amsrefs; fix statement and proof of theorem 3.1; accepted in Indiana Univ. Math. J

MSC Class: 32V25; 32D15

Journal ref: Indiana Univ. Math. J., 57 (2008), no. 2, 699-716

Degree Estimates for Polynomials Constant on a Hyperplane

Authors: John P. D'Angelo, Jiri Lebl, Han Peters

Abstract: The study of proper rational map**s between balls in complex Euclidean spaces naturally leads to the relationship between the degree and imbedding dimension of such a map**. The special case for monomial map**s is equivalent to the question discussed in this paper. Estimate the degree $d$ of a polynomial in $n$ real variables, assumed to have non-negative coefficients and to be constant on… ▽ More The study of proper rational map**s between balls in complex Euclidean spaces naturally leads to the relationship between the degree and imbedding dimension of such a map**. The special case for monomial map**s is equivalent to the question discussed in this paper. Estimate the degree $d$ of a polynomial in $n$ real variables, assumed to have non-negative coefficients and to be constant on a hyperplane, in terms of the number $N$ of its terms. No such estimate is possible when $n=1$. The sharp bound $d\le 2N-3$ is known when $n=2$. This paper includes two main results. The first provides a bound, not sharp for $n\ge 3$, for all $n\ge 2$. This bound implies the more easily stated bound $d\le {4(2N-3)\over 3(2n-3)}$ for $n\ge 3$. The second result is a stabilization theorem; if $n$ is sufficiently large given $d$, then the sharp bound $d \le {N-1 \over n-1}$ holds. In this situation we determine all polynomials for which the bound is sharp. △ Less

Submitted 6 April, 2007; v1 submitted 25 September, 2006; originally announced September 2006.

Comments: 20 pages, minor corrections, accepted to Michigan Math. J

MSC Class: 32H02; 32H35; 14P05

Journal ref: Michigan Math. J., 55 (2007), no. 3, 693-713

Nowhere minimal CR submanifolds and Levi-flat hypersurfaces

Authors: Jiri Lebl

Abstract: A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic sub… ▽ More A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic submanifolds of codimension 2 and a sufficient condition for noncontainment is given for non algebraic submanifolds. As a consequence, an example of a submanifold of codimension 2, not biholomorphically equivalent to an algebraic one, is given. We also investigate the structure of singularities of Levi-flat hypersurfaces. △ Less

Submitted 21 May, 2007; v1 submitted 6 June, 2006; originally announced June 2006.

Comments: 21 pages; conjecture 2.8 was removed in proof; to appear in J. Geom. Anal

MSC Class: 32V40 (Primary); 32C07

Journal ref: J. Geom. Anal. 17 (2007), no. 2, 321--342