Related papers: Sur le lemme de Brody

The main purpose of this paper is to show that ideas of deformation theory can be applied to "infinite dimensional geometry". We develop the deformation theory of Brody curves. Brody curve is a kind of holomorphic map from the complex plane…

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two…

We survey direct consequences of Brody lemma.

The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is…

We establish a type of the Picard's theorem for entire curves in $P^n(\mathbb C)$ whose spherical derivative vanishes on the inverse images of hypersurface targets. Then, as a corollary, we prove that there is an union $D$ of finite number…

We study the Kobayashi pseudodistance for orbifolds, proving an orbifold version of Brody's theorem and classifying which one-dimensional orbifolds are hyperbolic.

Our goal here is to give a simple proof of the non integrable version of Brody's characterisation theorem.

We prove an analogue of the Brody lemma in the framework of Riemannian manifolds. We also present new examples of Riemannian manifolds that are hyperbolic in the sense of Kobayashi.

We study the mean dimension of the space of 1-Brody curves lying in two complex surfaces: first for Hopf surfaces, then for the projective plane minus a line. We show in the first case that the mean dimension is zero via a bound on the…

Given a real algebraic curve in the projective 3-space, its hyperbolicity locus is the set of lines with respect to which the curve is hyperbolic. We give an example of a smooth irreducible curve whose hyperbolicity locus is disconnected…

We discuss meromorphic functions on the complex plane which are Brody curves regarded as holomorphic maps to P_1, i.e., which have bounded spherical derivative.

A Brody curve, a.k.a. normal curve, is a holomorphic map from the complex line to the complex projective space of dimension n, such that the family of its translations is normal. We prove that Brody curves omitting n hyperplanes in general…

A holomorphic map from the complex line to a complex projective space is called normal (a. k. a. Brody curve) if it is uniformly continuous from the Euclidean metric to the Fubini--Study metric. The paper contains a survey of known results…

We prove that a cyclic cover of a smooth complex projective variety is Brody hyperbolic if its branch divisor is a generic small deformation of a large enough multiple of a Brody hyperbolic base-point-free ample divisor. We also show the…

We give a div-curl type lemma for the wedge product of closed differential forms on R^n when they have coefficients respectively in a Hardy space and L^infinity or BMO. In this last case, the wedge product belongs to an appropriate…

We prove the existence of a leaf, which is injective Brody in $\mathbb{P}^2$, in the foliation of the boundary of the set of non-escaping points for certain H\'enon mappings.

We study the mean dimensions of the spaces of Brody curves. In particular we give the formula of the mean dimension of the space of Brody curves in the Riemann sphere.

Linear interpolation inequalities that combine Hardy's inequality with sharp Sobolev embedding are obtained using classical arguments of Hardy and Littlewood (Bliss lemma). Such results are equivalent to Caffarelli-Kohn-Nirenberg…

Mean dimension measures the size of an infinite dimensional dynamical system. Brody curves are one-Lipschitz entire holomorphic curves in the projective space, and they form a topological dynamical system. Gromov started the problem of…

We introduce a new approach to the geometric Bombieri--Lang conjecture for hyperbolic varieties in characteristic 0. The main idea is to construct an entire curve on a special fiber of a variety over a complex function field from an…