If $X$ and $Y$ are smooth projective Brody hyperbolic varieties is $\mathrm{Hom}(X, Y)$ also Brody hyperbolic?
6
-
1$\begingroup$ Naive question: is there an example where this Hom is infinite? $\endgroup$– Piotr AchingerCommented Mar 2, 2021 at 13:31
-
1$\begingroup$ @PiotrAchinger maps from a point to a curve $\endgroup$– user175135Commented Mar 2, 2021 at 13:33
-
$\begingroup$ Remove constant maps then. $\endgroup$– Piotr AchingerCommented Mar 2, 2021 at 13:37
-
2$\begingroup$ @PiotrAchinger then take maps from $C$ to $C\times C$ $\endgroup$– user175135Commented Mar 2, 2021 at 13:40
-
$\begingroup$ Clearly I was being confused, incorrectly extrapolating from stuff we know (e.g. finite automorphism groups of varieties of general type, finite sets of conconstant maps to hyperbolic curves). The question now has a nice complete answer. That said, it seems that ${\rm Hom}(X,Y)$ could be understood more explicitly. For example, if a Brody hyperbolic surface $S$ admits infinitely many maps from some curve $C$, then I guess that $S$ must admit a generically finite rational map from $C\times D$ for some curve $D$. Decompose ${\rm Hom}(X,Y)$ by dimension of image, what can we say about the pieces? $\endgroup$– Piotr AchingerCommented Mar 2, 2021 at 19:29
|
Show 1 more comment
1 Answer
$\begingroup$
$\endgroup$
7
I assume that for $\operatorname{Hom}(X,Y)$ you mean $\operatorname{Hol}(X,Y)$, that is the family of all holomorphic maps from $X$ to $Y$, endowed with its universal complex structure (which exists since your $X$ is compact).
As you probably know, for a compact complex space being Kobayashi hyperbolic is equivalent to being Brody hyperbolic.
Now, Theorem (6.4.1) in S. Kobayashi "Hyperbolic complex spaces" gives you the answer. Among other things it is stated there what follows.
Even if you assume $X,Y$ to be merely compact complex spaces (no need of any projectivity assumption), and only $Y$ to be hyperbolic, then $\operatorname{Hol}(X,Y)$ is compact and any of its connected component is compact hyperbolic (and hence Brody hyperbolic).
Aside comment (related to Piotr Achinger): if you look at the space of surjective holomorphic maps (or, more generally, dominant meromorphic maps), then under the same assumption as above, it is finite (Theorem (6.6.2) op. cit.).
-
1$\begingroup$ I meant the $\mathrm{Hom}$ functor which is representable by a scheme under the assumptions. But I think it coincides with what you wrote. $\endgroup$ Commented Mar 2, 2021 at 13:44
-
-
$\begingroup$ P.S. Since you are a new user and maybe you don't know exactly how it works here, may I say that once you get an answer which is satisfactory to you, then you should click to "accept" it. $\endgroup$ Commented Mar 2, 2021 at 13:58
-
2$\begingroup$ Absolutely. I just need some time to absorb it. $\endgroup$ Commented Mar 2, 2021 at 13:59
-
$\begingroup$ I didn't want to be pushy of course! It was just in case as a new user you didn't know exactly how it works here! Take your time, and feel free not to "accept" my answer of course! :) $\endgroup$ Commented Mar 2, 2021 at 14:02