BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Frederico Xavier

Frederico Xavier contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DGmath.AGmath.CVmath.APmath.ATmath.GT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access