Showing 1–37 of 37 results for author: Gaussier, H

Smooth equivalence of families of strongly pseudoconvex domains

Authors: Hervé Gaussier, Xianghong Gong, Andrew Zimmer

Abstract: We establish a smoothness result for families of biholomorphisms between smooth families of strongly pseudoconvex domains, each with trivial biholomorphism group. This is accomplished by considering the Riemannian geometry of their Bergman metrics and proving a result about the smoothness of families of isometries between smooth families of Riemannian manifolds. We establish a smoothness result for families of biholomorphisms between smooth families of strongly pseudoconvex domains, each with trivial biholomorphism group. This is accomplished by considering the Riemannian geometry of their Bergman metrics and proving a result about the smoothness of families of isometries between smooth families of Riemannian manifolds. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: v1: 31 pages. Comments welcome!

MSC Class: 32T15; 53B20; 32G05; 32H40

A counterexample to parabolic dichotomies in holomorphic iteration

Authors: Leandro Arosio, Filippo Bracci, Herv/'e Gaussier

Abstract: We give an example of a parabolic holomorphic self-map $f$ of the unit ball $\mathbb B^2\subset \mathbb C^2$ whose canonical Kobayashi hyperbolic semi-model is given by an elliptic automorphism of the disc $\mathbb D\subset \mathbb C$, which can be chosen to be different from the identity. As a consequence, in contrast to the one dimensional case, this provides a first example of a holomorphic sel… ▽ More We give an example of a parabolic holomorphic self-map $f$ of the unit ball $\mathbb B^2\subset \mathbb C^2$ whose canonical Kobayashi hyperbolic semi-model is given by an elliptic automorphism of the disc $\mathbb D\subset \mathbb C$, which can be chosen to be different from the identity. As a consequence, in contrast to the one dimensional case, this provides a first example of a holomorphic self-map of the unit ball which has points with zero hyperbolic step and points with nonzero hyperbolic step, solving an open question and showing that parabolic dynamics in the ball $\\mathbb B^2$ is radically different from parabolic dynamics in the disc. The example is obtained via a geometric method, embedding the ball $\mathbb B^2$ as a domain $Ω$ in the bidisc $\\mathbb D\times \mathbb{H}$ that is forward invariant and absorbing for the map $(z,w)\mapsto (e^{iθ}z,w+1)$, where $\mathbb H\subset \mathbb C$ denotes the right half-plane. We also show that a complete Kobayashi hyperbolic domain $Ω$ with such properties cannot be Gromov hyperbolic w.r.t. the Kobayashi distance (hence, it cannot be biholomorphic to $\\mathbb B^2$) if an additional quantitative geometric condition is satisfied. △ Less

Submitted 2 March, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: Final version, accepted to J. Geom. Anal

MSC Class: 32H50; 32F45; 53C23

On the Kobayashi metrics on Riemannian manifolds

Authors: Hervé Gaussier, Alexandre Sukhov

Abstract: We introduce an analog of the Kobayashi-Royden metric on a Riemannian manifold and study its basic properties. We introduce an analog of the Kobayashi-Royden metric on a Riemannian manifold and study its basic properties. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 11 pp

Abstract boundaries and continuous extension of biholomorphisms

Authors: Filippo Bracci, Hervé Gaussier

Abstract: We present different constructions of abstract boundaries for bounded complete (Kobayashi) hyperbolic domains in ${\mathbb C}^d$, $d \geq 1$. These constructions essentially come from the geometric theory of metric spaces. We also present, as an application, some extension results concerning biholomorphic maps. We present different constructions of abstract boundaries for bounded complete (Kobayashi) hyperbolic domains in ${\mathbb C}^d$, $d \geq 1$. These constructions essentially come from the geometric theory of metric spaces. We also present, as an application, some extension results concerning biholomorphic maps. △ Less

Submitted 20 May, 2022; originally announced May 2022.

Local and global visibility and Gromov hyperbolicity of domains with respect to the Kobayashi distance

Authors: Filippo Bracci, Hervé Gaussier, Nikolai Nikolov, Pascal J. Thomas

Abstract: We introduce the notion of locally visible and locally Gromov hyperbolic domains in $\mathbb C^d$. We prove that a bounded domain in $\mathbb C^d$ is locally visible and locally Gromov hyperbolic if and only if it is (globally) visible and Gromov hyperbolic with respect to the Kobayashi distance. This allows to detect, from local information near the boundary, those domains which are Gromov hyperb… ▽ More We introduce the notion of locally visible and locally Gromov hyperbolic domains in $\mathbb C^d$. We prove that a bounded domain in $\mathbb C^d$ is locally visible and locally Gromov hyperbolic if and only if it is (globally) visible and Gromov hyperbolic with respect to the Kobayashi distance. This allows to detect, from local information near the boundary, those domains which are Gromov hyperbolic and for which biholomorphisms extend continuously up to the boundary. △ Less

Submitted 13 March, 2023; v1 submitted 9 January, 2022; originally announced January 2022.

Comments: 25 pages

Journal ref: Trans. Amer. Math. Soc. 377 (2024), 471-493

A metric analogue of Hartogs' theorem

Authors: Hervé Gaussier, Andrew Zimmer

Abstract: In this paper we prove a metric version of Hartogs' theorem where the holomorphic function is replaced by a locally symmetric Hermitian metric. As an application, we prove that if the Kobayashi metric on a strongly pseudoconvex domain with $\mathcal{C}^2$ smooth boundary is a Kähler metric, then the universal cover of the domain is the unit ball. In this paper we prove a metric version of Hartogs' theorem where the holomorphic function is replaced by a locally symmetric Hermitian metric. As an application, we prove that if the Kobayashi metric on a strongly pseudoconvex domain with $\mathcal{C}^2$ smooth boundary is a Kähler metric, then the universal cover of the domain is the unit ball. △ Less

Submitted 18 February, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: 16 pages. v2: substantial changes (new and improved results, new title). Comments welcome

Unbounded Kobayashi hyperbolic domains in $\mathbb C^n$

Authors: Hervé Gaussier, Nikolay Shcherbina

Abstract: We first give a sufficient condition, issued from pluripotential theory, for an unbounded domain in the complex Euclidean space $\mathbb C^n$ to be Kobayashi hyperbolic. Then, we construct an example of a rigid pseudoconvex domain in $\mathbb C^3$ that is Kobayashi hyperbolic and has a nonempty core. In particular, this domain is not biholomorphic to a bounded domain in $\mathbb C^3$ and the menti… ▽ More We first give a sufficient condition, issued from pluripotential theory, for an unbounded domain in the complex Euclidean space $\mathbb C^n$ to be Kobayashi hyperbolic. Then, we construct an example of a rigid pseudoconvex domain in $\mathbb C^3$ that is Kobayashi hyperbolic and has a nonempty core. In particular, this domain is not biholomorphic to a bounded domain in $\mathbb C^3$ and the mentioned above sufficient condition for Kobayashi hyperbolicity is not necessary. △ Less

Submitted 7 May, 2020; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 18 pages, 3 figures

MSC Class: 32Q45; 32U05

The geometry of domains with negatively pinched Kähler metrics

Authors: Filippo Bracci, Hervé Gaussier, Andrew Zimmer

Abstract: We study how the existence of a negatively pinched Kähler metric on a domain in complex Euclidean space restricts the geometry of its boundary. In particular, we show that if a convex domain admits a complete Kähler metric, with pinched negative holomorphic bisectional curvature outside a compact set, then the boundary of the domain does not contain any complex subvariety of positive domain. Moreo… ▽ More We study how the existence of a negatively pinched Kähler metric on a domain in complex Euclidean space restricts the geometry of its boundary. In particular, we show that if a convex domain admits a complete Kähler metric, with pinched negative holomorphic bisectional curvature outside a compact set, then the boundary of the domain does not contain any complex subvariety of positive domain. Moreover, if the boundary of the domain is smooth, then it is of finite type in the sense of D'Angelo. We also use curvature to provide a characterization of strong pseudoconvexity amongst convex domains. In particular, we show that a convex domain with $C^{2,α}$ boundary is strongly pseudoconvex if and only if it admits a complete Kähler metric with sufficiently tight pinched negative holomorphic sectional curvature outside a compact set. △ Less

Submitted 3 May, 2022; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 26 pages

MSC Class: Primary: 32Q15; 53C20. Secondary: 32T15; 32T25; 53C21

Asymptotic behavior of orbits of holomorphic semigroups

Authors: Filippo Bracci, Manuel D. Contreras, Santiago Díaz-Madrigal, Hervé Gaussier, Andrew Zimmer

Abstract: Let $(φ_t)$ be a holomorphic semigroup of the unit disc (i.e., the flow of a semicomplete holomorphic vector field) without fixed points in the unit disc and let $Ω$ be the starlike at infinity domain image of the Koenigs function of $(φ_t)$. In this paper we completely characterize the type of convergence of the orbits of $(φ_t)$ to the Denjoy-Wolff point in terms of the shape of $Ω$. In particul… ▽ More Let $(φ_t)$ be a holomorphic semigroup of the unit disc (i.e., the flow of a semicomplete holomorphic vector field) without fixed points in the unit disc and let $Ω$ be the starlike at infinity domain image of the Koenigs function of $(φ_t)$. In this paper we completely characterize the type of convergence of the orbits of $(φ_t)$ to the Denjoy-Wolff point in terms of the shape of $Ω$. In particular we prove that the convergence is non-tangential if and only if the domain $Ω$ is `quasi-symmetric with respect to vertical axes'. We also prove that such conditions are equivalent to the curve $[0,\infty)\ni t\mapsto φ_t(z)$ being a quasi-geodesic in the sense of Gromov. Also, we characterize the tangential convergence in terms of the shape of $Ω$. △ Less

Submitted 18 October, 2018; originally announced October 2018.

Comments: 25 pages, 3 figures

Homeomorphic extension of quasi-isometries for convex domains in $\mathbb C^d$ and iteration theory

Authors: Filippo Bracci, Hervé Gaussier, Andrew Zimmer

Abstract: We study the homeomorphic extension of biholomorphisms between convex domains in $\mathbb C^d$ without boundary regularity and boundedness assumptions. Our approach relies on methods from coarse geometry, namely the correspondence between the Gromov boundary and the topological boundaries of the domains and the dynamical properties of commuting 1-Lipschitz maps in Gromov hyperbolic spaces. This ap… ▽ More We study the homeomorphic extension of biholomorphisms between convex domains in $\mathbb C^d$ without boundary regularity and boundedness assumptions. Our approach relies on methods from coarse geometry, namely the correspondence between the Gromov boundary and the topological boundaries of the domains and the dynamical properties of commuting 1-Lipschitz maps in Gromov hyperbolic spaces. This approach not only allows us to prove extensions for biholomorphisms, but for more general quasi-isometries between the domains endowed with their Kobayashi distances. △ Less

Submitted 23 November, 2019; v1 submitted 22 August, 2018; originally announced August 2018.

Comments: 27 pages; final version, to appear Math. Ann

A characterization of orthogonal convergence in simply connected domains

Authors: Filippo Bracci, Manuel D. Contreras, Santiago Díaz-Madrigal, Hervé Gaussier

Abstract: Let $\mathbb D$ be the unit disc in $\mathbb C$ and let $f:\mathbb D \to \mathbb C$ be a Riemann map, $Δ=f(\mathbb D)$. We give a necessary and sufficient condition in terms of hyperbolic distance and horocycles which assures that a compactly divergent sequence $\{z_n\}\subset Δ$ has the property that $\{f^{-1}(z_n)\}$ converges orthogonally to a point of $\partial \mathbb D$. We also give some ap… ▽ More Let $\mathbb D$ be the unit disc in $\mathbb C$ and let $f:\mathbb D \to \mathbb C$ be a Riemann map, $Δ=f(\mathbb D)$. We give a necessary and sufficient condition in terms of hyperbolic distance and horocycles which assures that a compactly divergent sequence $\{z_n\}\subset Δ$ has the property that $\{f^{-1}(z_n)\}$ converges orthogonally to a point of $\partial \mathbb D$. We also give some applications of this to the slope problem for continuous semigroups of holomorphic self-maps of $\mathbb D$. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Comments: 15 pages

Backward orbits and petals of semigroups of holomorphic self-maps of the unit disc

Authors: Filippo Bracci, Manuel D. Contreras, Santiago Díaz-Madrigal, Hervé Gaussier

Abstract: We study the backward invariant set of one-parameter semigroups of holomorphic self-maps of the unit disc. Such a set is foliated in maximal invariant curves and its open connected components are petals, which are, in fact, images of Poggi-Corradini's type pre-models. Hyperbolic petals are in one-to-one correspondence with repelling fixed points, while only parabolic semigroups can have parabolic… ▽ More We study the backward invariant set of one-parameter semigroups of holomorphic self-maps of the unit disc. Such a set is foliated in maximal invariant curves and its open connected components are petals, which are, in fact, images of Poggi-Corradini's type pre-models. Hyperbolic petals are in one-to-one correspondence with repelling fixed points, while only parabolic semigroups can have parabolic petals. Petals have locally connected boundaries and, except a very particular case, they are indeed Jordan domains. The boundary of a petal contains the Denjoy-Wolff point and, except such a fixed point, the closure of a petal contains either no other boundary fixed point or a unique repelling fixed point. We also describe petals in terms of geometric and analytic behavior of Königs functions using divergence rate and universality of models. Moreover, we construct a semigroup having a repelling fixed point in such a way that the intertwining map of the pre-model is not regular. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 35 pages

Non-tangential limits and the slope of trajectories of holomorphic semigroups of the unit disc

Authors: Filippo Bracci, Manuel D. Contreras, Santiago Díaz-Madrigal, Hervé Gaussier

Abstract: Let $Δ\subsetneq \mathbb C$ be a simply connected domain, let $f:\mathbb D \to Δ$ be a Riemann map and let $\{z_k\}\subset Δ$ be a compactly divergent sequence. Using Gromov's hyperbolicity theory, we show that $\{f^{-1}(z_k)\}$ converges non-tangentially to a point of $\partial \mathbb D$ if and only if there exists a simply connected domain $U\subsetneq \mathbb C$ such that $Δ\subset U$ and $Δ$… ▽ More Let $Δ\subsetneq \mathbb C$ be a simply connected domain, let $f:\mathbb D \to Δ$ be a Riemann map and let $\{z_k\}\subset Δ$ be a compactly divergent sequence. Using Gromov's hyperbolicity theory, we show that $\{f^{-1}(z_k)\}$ converges non-tangentially to a point of $\partial \mathbb D$ if and only if there exists a simply connected domain $U\subsetneq \mathbb C$ such that $Δ\subset U$ and $Δ$ contains a tubular hyperbolic neighborhood of a geodesic of $U$ and $\{z_k\}$ is eventually contained in a smaller tubular hyperbolic neighborhood of the same geodesic. As a consequence we show that if $(φ_t)$ is a non-elliptic semigroup of holomorphic self-maps of $\mathbb D$ with Königs function $h$ and $h(\mathbb D)$ contains a vertical Euclidean sector, then $φ_t(z)$ converges to the Denjoy-Wolff point non-tangentially for every $z\in \mathbb D$ as $t\to +\infty$. Using new localization results for the hyperbolic distance, we also construct an example of a parabolic semigroup which converges non-tangentially to the Denjoy-Wolff point but oscillating, in the sense that the slope of the trajectories is not a single point. △ Less

Submitted 24 August, 2019; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 32 pages; 1 figure - final version, to appear in Trans. Amer. Math. Soc

Smooth equivalence of deformations of domains in complex euclidean spaces

Authors: Hervé Gaussier, Xianghong Gong

Abstract: We prove that two smooth families of 2-connected domains in $\cc$ are smoothly equivalent if they are equivalent under a possibly discontinuous family of biholomorphisms. We construct, for $m \geq 3$, two smooth families of smoothly bounded $m$-connected domains in $\cc$, and for $n\geq2$, two families of strictly pseudoconvex domains in $\cc^n$, that are equivalent under discontinuous families of… ▽ More We prove that two smooth families of 2-connected domains in $\cc$ are smoothly equivalent if they are equivalent under a possibly discontinuous family of biholomorphisms. We construct, for $m \geq 3$, two smooth families of smoothly bounded $m$-connected domains in $\cc$, and for $n\geq2$, two families of strictly pseudoconvex domains in $\cc^n$, that are equivalent under discontinuous families of biholomorphisms but not under any continuous family of biholomorphisms. Finally, we give sufficient conditions for the smooth equivalence of two smooth families of domains. △ Less

Submitted 28 September, 2017; originally announced September 2017.

MSC Class: 32T15; 30C20; 32H40

Invariant holomorphic discs in some non-convex domains

Authors: Florian Bertrand, Hervé Gaussier

Abstract: We give a description of complex geodesics and we study the structure of stationary discs in some non-convex domains for which complex geodesics are not unique. We give a description of complex geodesics and we study the structure of stationary discs in some non-convex domains for which complex geodesics are not unique. △ Less

Submitted 10 April, 2017; originally announced April 2017.

Comments: 9 pages

MSC Class: 32F45; 32Q45

A proof of the Muir-Suffridge conjecture for convex maps of the unit ball in $\mathbb C^n$

Authors: Filippo Bracci, Hervé Gaussier

Abstract: We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be the set of points $ξ$ such that $\lim_{z\to ξ}\|F(z)\|=\infty$. Then we prove that $\mathcal S$ is either empty, or contains one or two points and $F$ extends as… ▽ More We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be the set of points $ξ$ such that $\lim_{z\to ξ}\|F(z)\|=\infty$. Then we prove that $\mathcal S$ is either empty, or contains one or two points and $F$ extends as a homeomorphism $\tilde{F}:\overline{\mathbb B^n}\setminus \mathcal S\to \overline{D}$. Moreover, $\mathcal S=\emptyset$ if $D$ is bounded, $\mathcal S$ has one point if $D$ has one connected component at $\infty$ and $\mathcal S$ has two points if $D$ has two connected components at $\infty$ and, up to composition with an affine map, $F$ is an extension of the strip map in the plane to higher dimension. △ Less

Submitted 12 August, 2017; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: last version, accepted in Math. Ann

Holomorphic motions and complex geometry

Authors: Hervé Gaussier, Harish Seshadri

Abstract: We show that the graph of a holomorphic motion of the unit disc cannot be biholomorphic to a strongly pseudoconvex domain in C n . We show that the graph of a holomorphic motion of the unit disc cannot be biholomorphic to a strongly pseudoconvex domain in C n . △ Less

Submitted 17 December, 2016; originally announced December 2016.

Horosphere topology

Authors: Filippo Bracci, Hervé Gaussier

Abstract: We introduce a prime end-type theory on complete Kobayashi hyperbolic manifolds using horosphere sequences. This allows to introduce a new notion of boundary-new even in the unit disc in the complex space-the horosphere boundary, and a topology on the manifold together with its horosphere boundary, the horosphere topology. We prove that a bounded strongly pseudoconvex domain endowed with the horos… ▽ More We introduce a prime end-type theory on complete Kobayashi hyperbolic manifolds using horosphere sequences. This allows to introduce a new notion of boundary-new even in the unit disc in the complex space-the horosphere boundary, and a topology on the manifold together with its horosphere boundary, the horosphere topology. We prove that a bounded strongly pseudoconvex domain endowed with the horosphere topology is homeomorphic to its Euclidean closure, while for the polydisc such a horosphere topology is not even Hausdorff and is different from the Gromov topology. We use this theory to study boundary behavior of univalent maps from bounded strongly pseudoconvex domains. Among other things, we prove that every univalent map of the unit ball whose image is bounded and convex, extends as a homeomorphism up to the closure. Such a result, relying in an essential way on our theory and on the Gromov hyperbolicity theory, is completely new, dealing with non smooth domains. △ Less

Submitted 5 April, 2018; v1 submitted 13 May, 2016; originally announced May 2016.

Comments: This is the final version of the paper

Algebraic embeddings of smooth almost complex structures

Authors: Jean-Pierre Demailly, Hervé Gaussier

Abstract: The goal of this work is to prove an embedding theorem for compact almost complex manifolds into complex algebraic varieties. It is shown that every almost complex structure can be realized by the transverse structure to an algebraic distribution on an affine algebraic variety, namely an algebraic subbundle of the tangent bundle. In fact, there even exist universal embedding spaces for this proble… ▽ More The goal of this work is to prove an embedding theorem for compact almost complex manifolds into complex algebraic varieties. It is shown that every almost complex structure can be realized by the transverse structure to an algebraic distribution on an affine algebraic variety, namely an algebraic subbundle of the tangent bundle. In fact, there even exist universal embedding spaces for this problem, and their dimensions grow quadratically with respect to the dimension of the almost complex manifold to embed. We give precise variation formulas for the induced almost complex structures and study the related versality conditions. At the end, we discuss the original question raised by F.Bogomolov: can one embed every compact holomorphic manifold as a C infinity smooth subvariety that is transverse to an algebraic foliation on a complex projective algebraic variety? △ Less

Submitted 15 July, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Positivity and completeness of invariant metrics

Authors: Taeyong Ahn, Hervé Gaussier, Kang-Tae Kim

Abstract: We present a method for constructing global holomorphic peak functions from local holomorphic support functions for broad classes of unbounded domains. As an application, we establish a method for showing the positivity and completeness of invariant metrics including the Bergman metric mainly for the unbounded domains. We present a method for constructing global holomorphic peak functions from local holomorphic support functions for broad classes of unbounded domains. As an application, we establish a method for showing the positivity and completeness of invariant metrics including the Bergman metric mainly for the unbounded domains. △ Less

Submitted 11 November, 2014; originally announced November 2014.

Comments: 11 pages

MSC Class: 32F45; 32T40

Bergman and Caratheodory metrics of the Kohn-Nirenberg domains

Authors: Taeyong Ahn, Herve Gaussier, Kang-Tae Kim

Abstract: The Kohn-Nireberg domains are unbounded domains in the complex Euclidean space of dimension 2 upon which many outstanding questions are yet to be explored. The primary aim of this article is to demonstrate that the Bergman and Caratheodory metrics of any Kohn-Nirenberg domains are positive and complete. The Kohn-Nireberg domains are unbounded domains in the complex Euclidean space of dimension 2 upon which many outstanding questions are yet to be explored. The primary aim of this article is to demonstrate that the Bergman and Caratheodory metrics of any Kohn-Nirenberg domains are positive and complete. △ Less

Submitted 12 June, 2014; originally announced June 2014.

Comments: 11 pages

MSC Class: 32T27

Quasi-isometries in strongly convex domains

Authors: Florian Bertrand, Hervé Gaussier

Abstract: We provide examples of quasi-isometries for strongly convex domains in $\mathbb C^n$ endowed with their Kobayashi distance. We provide examples of quasi-isometries for strongly convex domains in $\mathbb C^n$ endowed with their Kobayashi distance. △ Less

Submitted 6 May, 2014; originally announced May 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1202.4985

On the Gromov hyperbolicity of convex domains in Cn

Authors: Hervé Gaussier, Harish Seshadri

Abstract: We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of bounded smooth convex domains that are not s… ▽ More We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of bounded smooth convex domains that are not strongly pseudoconvex but are Gromov hyperbolic. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 17 pages

Gromov hyperbolicity of strongly pseudoconvex almost complex manifolds

Authors: Florian Bertrand, Hervé Gaussier

Abstract: Let $D=\{ρ< 0\}$ be a smooth relatively compact domain in an almost complex manifold $(M,J)$, where $ρ$ is a smooth defining function of $D$, strictly $J$-plurisubharmonic in a neighborhood of the closure $\overline{D}$ of $D$. We prove that $D$ has a connected boundary and is Gromov hyperbolic. Let $D=\{ρ< 0\}$ be a smooth relatively compact domain in an almost complex manifold $(M,J)$, where $ρ$ is a smooth defining function of $D$, strictly $J$-plurisubharmonic in a neighborhood of the closure $\overline{D}$ of $D$. We prove that $D$ has a connected boundary and is Gromov hyperbolic. △ Less

Submitted 6 May, 2014; v1 submitted 22 February, 2012; originally announced February 2012.

Totally geodesic discs in strongly convex domains

Authors: Herve Gaussier, Harish Seshadri

Abstract: We prove that Kobayashi isometries between strongly convex domains are holomorphic or anti-holomorphic. More precisely, let $n_1, n_2$ be positive integers and let $Ω_i \subset \C^{n_i}, \ i=1,2$, be bounded $C^3$ strongly convex domains. If $φ: (Ω_1, d^K_{Ω_1}) \rightarrow (Ω_2, d^K_{Ω_2})$ is an isometry, i.e. $ d^K_Ω_{n_2}(f(ζ),f(η)) = d^K_{n_1} (ζ,η)$ for all $ζ,η\in Ω_1,$ then $φ$ is either… ▽ More We prove that Kobayashi isometries between strongly convex domains are holomorphic or anti-holomorphic. More precisely, let $n_1, n_2$ be positive integers and let $Ω_i \subset \C^{n_i}, \ i=1,2$, be bounded $C^3$ strongly convex domains. If $φ: (Ω_1, d^K_{Ω_1}) \rightarrow (Ω_2, d^K_{Ω_2})$ is an isometry, i.e. $ d^K_Ω_{n_2}(f(ζ),f(η)) = d^K_{n_1} (ζ,η)$ for all $ζ,η\in Ω_1,$ then $φ$ is either holomorphic or anti-holomorphic. △ Less

Submitted 24 January, 2012; originally announced January 2012.

Comments: 12 pages

Levi-flat filling of real two-spheres in symplectic manifolds (II)

Authors: H. Gaussier, A. Sukhov

Abstract: We consider a compact complex manifold with smooth Levi convex boundary and a tame symplectic form. Consider a real two-sphere with elliptic and hyperbolic complex points generically embedded to the boundary of manifold. We prove a result on filling of the sphere by a Levi-flat hypersurface. We consider a compact complex manifold with smooth Levi convex boundary and a tame symplectic form. Consider a real two-sphere with elliptic and hyperbolic complex points generically embedded to the boundary of manifold. We prove a result on filling of the sphere by a Levi-flat hypersurface. △ Less

Submitted 14 March, 2012; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 25 pages

MSC Class: 32GO5; 32H02; 53C15

Levi-flat filling of real two-spheres in symplectic manifolds (I)

Authors: Hervé Gaussier, Alexandre Sukhov

Abstract: Let (M,J,w) be a manifold with an almost complex structure J tamed by a symplectic form w. We suppose that M has complex dimension two, is Levi convex and has bounded geometry. We prove that a real two-sphere with two elliptic points, embedded into the boundary of M may be foliated by the boundaries of pseudoholomorphic discs. Let (M,J,w) be a manifold with an almost complex structure J tamed by a symplectic form w. We suppose that M has complex dimension two, is Levi convex and has bounded geometry. We prove that a real two-sphere with two elliptic points, embedded into the boundary of M may be foliated by the boundaries of pseudoholomorphic discs. △ Less

Submitted 9 June, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 18 pages

Some aspects of analysis on almost complex manifolds with boundary

Authors: Bernard Coupet, Herve Gaussier, Alexandre Sukhov

Abstract: We present some results dealing with the local geometry of almost complex manifolds. We establish mainly the complete hyperbolicity of strictly pseudoconvex domains, the extension of plurisubharmonic functions through generic submanifolds and the elliptic regularity of some diffeomorphisms in almost complex manifolds with boundary. We present some results dealing with the local geometry of almost complex manifolds. We establish mainly the complete hyperbolicity of strictly pseudoconvex domains, the extension of plurisubharmonic functions through generic submanifolds and the elliptic regularity of some diffeomorphisms in almost complex manifolds with boundary. △ Less

Submitted 20 January, 2007; originally announced January 2007.

Comments: 76 pages

MSC Class: Primary: 32V40. Secondary 32V25; 32H02; 32H40; 32V10

Stability of Stein structures on the Euclidean space

Authors: Herve Gaussier, Alexandre Sukhov

Abstract: We give a characterization of the complex Euclidean space C^n, proving a global Newlander-Nirenberg's theorem on the representability of complex structures close to the standard complex structure on C^n. We give a characterization of the complex Euclidean space C^n, proving a global Newlander-Nirenberg's theorem on the representability of complex structures close to the standard complex structure on C^n. △ Less

Submitted 18 October, 2008; v1 submitted 22 January, 2007; originally announced January 2007.

Comments: 15 pages

MSC Class: 32G05; 32H02; 53C15

On the geometry of model almost complex manifolds with boundary

Authors: H. Gaussier, A. Sukhov

Abstract: We study some special almost complex structures on strictly pseudoconvex domains. They appear naturally as limits under a nonisotro** scaling procedure and play a role of model objects in the geometry of almost complex manifolds with boundary. As applications we prove a boundary extension and a compactness principle for some elliptic diffeomorphisms between relatively compact domains. We study some special almost complex structures on strictly pseudoconvex domains. They appear naturally as limits under a nonisotro** scaling procedure and play a role of model objects in the geometry of almost complex manifolds with boundary. As applications we prove a boundary extension and a compactness principle for some elliptic diffeomorphisms between relatively compact domains. △ Less

Submitted 30 January, 2005; v1 submitted 5 December, 2004; originally announced December 2004.

Comments: 19 pages

Nonalgebraizable real analytic tubes in C^n

Authors: Hervé Gaussier, Joël Merker

Abstract: We give necessary conditions for certain real analytic tube generic submanifolds in C^n to be locally algebraizable. As an application, we exhibit families of real analytic non locally algebraizable tube generic submanifolds in C^n. During the proof, we show that the local CR automorphism group of a minimal, finitely nondegenerate real algebraic generic submanifold is a real algebraic local Lie… ▽ More We give necessary conditions for certain real analytic tube generic submanifolds in C^n to be locally algebraizable. As an application, we exhibit families of real analytic non locally algebraizable tube generic submanifolds in C^n. During the proof, we show that the local CR automorphism group of a minimal, finitely nondegenerate real algebraic generic submanifold is a real algebraic local Lie group. We may state one of the main results as follows. Let M be a real analytic hypersurface tube in C^n passing through the origin, having a defining equation of the form v = φ(y), where (z,w)= (x+iy,u+iv) \in C^{n-1} \times C. Assume that M is Levi nondegenerate at the origin and that the real Lie algebra of local infinitesimal CR automorphisms of M is of minimal possible dimension n, i.e. generated by the real parts of the holomorphic vector fields \partial_{z_1}, ..., \partial_{z_{n-1}}, \partial_w. Then M is locally algebraizable only if every second derivative \partial^2_{y_ky_l}φis an algebraic function of the collection of first derivatives \partial_{y_1} φ,..., \partial_{y_m} φ. △ Less

Submitted 13 April, 2004; originally announced April 2004.

Comments: 36 pages, 4 figures

MSC Class: Primary: 32V40. Secondary 32V25; 32H02; 32H40; 32V10

Symmetries of partial differential equations

Authors: Hervé Gaussier, Joël Merker

Abstract: We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in C^n. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries of such a system with a Lie group structure. Finally we determine the precise upper bound of the dimension of this Lie group for some specific systems of par… ▽ More We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in C^n. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries of such a system with a Lie group structure. Finally we determine the precise upper bound of the dimension of this Lie group for some specific systems of partial differential equations. △ Less

Submitted 13 April, 2004; originally announced April 2004.

MSC Class: Primary: 32V40; 34C14. Secondary 32V25; 32H02; 32H40; 32V10

Journal ref: J. Korean Math. Soc. 40 (2003), no. 3, 517--561

On the local algebraizability of real analytic generic submanifolds of C^n

Authors: Herve Gaussier, Joel Merker

Abstract: We prove that the local (pseudo)group of biholomorphisms stabilizing a minimal, finitely nondegenerate real algebraic submanifold in C^n is a real algebraic local Lie group (the works of S.M. Baouendi, P. Ebenfelt, L.-P. Rothschild and D. Zaitsev published in this direction restrict, without understandable reason, to the isotropy group of a fixed central point). We deduce necessary conditions fo… ▽ More We prove that the local (pseudo)group of biholomorphisms stabilizing a minimal, finitely nondegenerate real algebraic submanifold in C^n is a real algebraic local Lie group (the works of S.M. Baouendi, P. Ebenfelt, L.-P. Rothschild and D. Zaitsev published in this direction restrict, without understandable reason, to the isotropy group of a fixed central point). We deduce necessary conditions for the local algebraizability of real analytic rigid tubes of arbitrary codimension in C^n. Without using the Elie Cartan equivalence algorithm, we explain the up to now only known example Im w = e^(|z^2|), due to X. Huang, S. Ji and S.S. Yau in 2001, of a nonalgebraizable Levi nondegenerate real analytic hypersurface of C^2. These elementary criteria provide a first answer to an open problem raised by S.M. Baouendi, P. Ebenfelt and L.-P. Rothschild, in the survey article : ``Local geometric properties of real submanifolds in complex space'', Bull. Amer. Math. Soc. (N.S.) 37 (2000), no. 3, 309--336. A second answer (necessary and sufficient condition) for local algebraizability in the homogeneous case will appear subsequently. △ Less

Submitted 16 March, 2004; originally announced March 2004.

Comments: Four pages, zero figures

MSC Class: Primary: 32V40. Secondary 32V25; 32H02; 32H40; 32V10

Journal ref: C. R. Acad. Sci. Paris Ser. I 336 (2003) 125--128

Fefferman's map** theorem on almost complex manifolds

Authors: Bernard Coupet, Herve Gaussier, Alexandre Sukhov

Abstract: We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle for pseudoholomorphic discs, on precise estimates of the Kobayashi-Royden infinitesimal pseudometric and on the scaling method in almost complex manifolds. We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle for pseudoholomorphic discs, on precise estimates of the Kobayashi-Royden infinitesimal pseudometric and on the scaling method in almost complex manifolds. △ Less

Submitted 26 February, 2004; originally announced February 2004.

MSC Class: 32H02; 53C15

Wong-Rosay Theorem in almost complex manifolds

Authors: H. Gaussier, A. Sukhov

Abstract: We study the compactness of sequences of diffeomorphisms in almost complex manifolds in terms of the direct images of the standard integrable structure. We study the compactness of sequences of diffeomorphisms in almost complex manifolds in terms of the direct images of the standard integrable structure. △ Less

Submitted 26 February, 2004; v1 submitted 25 July, 2003; originally announced July 2003.

Comments: date de redaction: 2003-6-18

MSC Class: 32H02; 53C15

Estimates of the Kobayashi metric on almost complex manifolds

Authors: H. Gaussier, A. Sukhov

Abstract: We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition for the complete hyperbolicity of a domain in $(M,J)$. Finally we obtain the re… ▽ More We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition for the complete hyperbolicity of a domain in $(M,J)$. Finally we obtain the regularity up to the bounday of $J$-holomorphic discs attached to a totally real submanifold in $M$. △ Less

Submitted 26 February, 2004; v1 submitted 25 July, 2003; originally announced July 2003.

Comments: date de redaction: 2003-4-3

MSC Class: 32H02; 32H40; 32T15; 53C15

Riemann maps in almost complex manifolds

Authors: B Coupet, H Gaussier, A Sukhov

Abstract: We prove the existence of stationary discs in the ball for small almost complex deformations of the standard structure. We define a local analogue of the Riemann map and establish its main properties. These constructions are applied to study the local geometry of almost complex manifolds and their morphisms. We prove the existence of stationary discs in the ball for small almost complex deformations of the standard structure. We define a local analogue of the Riemann map and establish its main properties. These constructions are applied to study the local geometry of almost complex manifolds and their morphisms. △ Less

Submitted 25 July, 2003; originally announced July 2003.

Comments: 2003.6.18

MSC Class: 32H02; 32H40; 32T15; 53C15; 53D12