Source author record

Frederico Xavier

Frederico Xavier appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2020arXiv

A canonical embedding of $\textbf{Aut}_{\textbf{hol}}({\bf \mathbb C^n})$

The group $\text{Aut}_{\text{hol}}(\mathbb C^n)$ of self-biholomorphisms of $\mathbb C^n$ consists of affine maps if $n=1$, but in higher dimensions it is a large object that has not been described explicitly. Despite the intricacies involved when $n>1$, surprisingly every $F\in \text{Aut}_{\text{hol}}(\mathbb C^n)$ is uniquely determined inside the group by only two data, of infinitesimal and global nature: the $1$-jet of $F$ at $0$, and the complex Hessian of a certain plurisubharmonic function associated to $F$. If $n=1$ this global datum is zero for all $F$, which is then determined solely by its $1$-jet at $0$, and one recovers $\text{Aut}_{\text{hol}}(\mathbb C)= \text{Aff}(\mathbb C)\cong \mathbb C \times \mathbb C^{*}$. Our main result, formulated as the existence of a canonical embedding of $ \text{Aut}_{\text{hol}} ( \mathbb C^n)$, also singles out a natural candidate for moduli space of $ \text{Aut}_{\text{hol}} ( \mathbb C^n)$, for all $n>1$.

preprint2020arXiv

Conformal geometry, Euler numbers, and global invertibility in higher dimensions

It is shown that in dimension at least three a local diffeomorphism of Euclidean n-space into itself is injective provided that the pull-back of every plane is a Riemannian submanifold which is conformal to a plane. Using a similar technique one recovers the result that a polynomial local biholomorphism of complex $n$-space into itself is invertible if and only if the pull-back of every complex line is a connected rational curve. These results are special cases of our main theorem, whose proof uses geometry, complex analysis, elliptic partial differential equations, and topology.

preprint2014arXiv

Finiteness of prescribed fibers of local biholomorphisms: a geometric approach

Let $X$ be a Stein manifold of complex dimension at least two, $F : X \rightarrow \mathbb{C}^n$ a local biholomorphism, and $q \in F(X)$. In this paper we formulate sufficient conditions involving only objects naturally associated to $q$, in order for the fiber over $q$ to be finite. Assume that $F^{-1}(l)$ is 1-connected for the generic complex line $l$ containing $q$, and $F^{-1}(l)$ has finitely many components whenever $l$ is an exceptional line through $q$. Using arguments from topology and differential geometry, we establish a sharp estimate on the size of $F^{-1}(q)$. It follows that for $n \geq 2$, a local biholomorphism of $X$ onto $\mathbb{C}^n$ is invertible if and only if the pull-back of every complex line is 1-connected.

preprint2014arXiv

On the complexity of isometric immersions of hyperbolic spaces in any codimension

Although the Nash theorem solves the isometric embedding problem, matters are inherently more involved if one is further seeking an embedding that is well-behaved from the standpoint of submanifold geometry. More generally, consider a Lipschitz map $F:M^m\to\mathbb R^n$, where $M^m$ is a Hadamard manifold whose curvature lies between negative constants. The main result of this paper is that $F$ must perform a substantial compression: For every $r>0$ and integer $k\geq 2$ there exist $k$ geodesic balls of radius $r$ in $M^m$ that are arbitrarily far from each other, but whose images under $F$ are bunched together arbitrarily close in the Hausdorff sense of $\mathbb R^n$. In particular, every isometric embedding $\mathbb H^m\to\mathbb R^n$ of hyperbolic space must have a complex asymptotic behavior, regardless of how high the codimension is. Hence, there is no truly simple way to realize $\mathbb H^m$ isometrically inside any Euclidean space.

preprint2007arXiv

Birationality of étale morphisms via surgery

We use a counting argument and surgery theory to show that if $D$ is a sufficiently general algebraic hypersurface in $\Bbb C^n$, then any local diffeomorphism $F:X \to \Bbb C^n$ of simply connected manifolds which is a $d$-sheeted cover away from $D$ has degree $d=1$ or $d=\infty$ (however all degrees $d > 1$ are possible if $F$ fails to be a local diffeomorphism at even a single point). In particular, any étale morphism $F:X \to \Bbb C^n$ of algebraic varieties which covers away from such a hypersurface $D$ must be birational.

preprint2005arXiv

Holomorphic injectivity and the Hopf map

We give sharp conditions on a local biholomorphism $F:X \to \mathbb C^{n}$ which ensure global injectivity. For $n \geq 2$, such a map is injective if for each complex line $l \subset \mathbb C^{n}$, the pre-image $F^{-1}(l)$ embeds holomorphically as a connected domain into $\mathbb C \mathbb P^{1}$, the embedding being unique up to Möbius transformation. In particular, $F$ is injective if the pre-image of every complex line is connected and conformal to $\mathbb C$. The proof uses the topological fact that the natural map $\mathbb R \mathbb P^{2n-1} \to \mathbb C \mathbb P^{n-1}$ associated to the Hopf map admits no continuous sections and the classical Bieberbach-Gronwall estimates from complex analysis.