Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$ (with trivial generic stabilizer if necessary).
This question is about "hyperbolicity" and it is motivated by Lang's conjecture on integral points of varieties.
Assume that any atlas $U\to X$ (with $U$Does there exist a smooth quasi-projective variety and $U\to X$finite etale surjective) is hyperbolic, i.e., any holomorphic map $\mathbb C\to U^{an}$ is constant.
Question. Ismorphism $X$ ``hyperbolic", i.e., is any holomorphic map$Y\to X$ with $\mathbb C\to X^{an}$ constant$Y$ a scheme?
The answer is yesWhat if $X$ has a finite etale atlas $U\to X$, e.g., $X$ is the moduli stack of curves of genus at least two, cubic threefolds, polarized K3 surfaces, or polarized abelian varieties. The reason being that a holomorphic map $\mathbb C\to X^{an}$ lifts to a holomorphic mapan algebraic space $\mathbb C\to U^{an}$ in this case.
But I'm sure there are DM-stacks with no finite etale atlas(i. There might have even been an MO question about thise., trivial stabilizers)?
One result towardsEdit: I changed the existence ofold question to a finite atlas is Theorem 1.6.6 in Laumon--Moret-Baillydifferent question which states that there is a variety $Z$ and a finite surjective generically etale morphism $Z\to X$should be more clear.
For orbifold curves we know that there is a finite etale atlas, so if $X$ is one-dimensional with trivial generic stabilizer the An answer to the abovenew question is positivewould help a lot in answering the old question.