Hyperbolicity and fundamental groups of complex quasi-projective varieties
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914697922478080 |
|---|---|
| author | Cadorel, Benoit Deng, Ya Yamanoi, Katsutoshi |
| author_facet | Cadorel, Benoit Deng, Ya Yamanoi, Katsutoshi |
| contents | This paper investigates the relationship between the hyperbolicity of complex quasi-projective varieties $X$ and the (topological) fundamental group $π_1(X)$ in the presence of a linear representation $\varrho: π_1(X) \to {\rm GL}_N(\mathbb{C})$. We present our main results in three parts.
Firstly, we show that if $\varrho$ is bigand the Zariski closure of $\varrho(π_1(X))$ semisimple, then for any $X^σ:=X\times_σ\mathbb{C}$ where $σ\in {\rm Aut}(\mathbb{C}/\mathbb{Q})$, there exists a proper Zariski closed subset $Z \subsetneqq X^σ$ such that any closed irreducible subvariety $V$ of $X^σ$ not contained in $Z$ is of log general type, and any holomorphic map from the punctured disk $\mathbb{D}^*$ to $X^σ$ with image not contained in $Z$ does not have an essential singularity at the origin. In particular, all entire curves in $X^σ$ lie on $Z$. We provide examples to illustrate the optimality of this condition.
Secondly, assuming that $\varrho$ is big and reductive, we prove the generalized Green-Griffiths-Lang conjecture for $X^σ$. Furthermore, if $\varrho$ is large, we show that the special subsets of $X^σ$ that capture the non-hyperbolicity locus of $X^σ$ from different perspectives are equal, and this subset is proper if and only if $X$ is of log general type.
Lastly, we prove that if $X$ is a special quasi-projective manifold in the sense of Campana or $h$-special, then $\varrho(π_1(X))$ is virtually nilpotent. We provides examples to demonstrate that this result is sharp and thus revise Campana's abelianity conjecture for smooth quasi-projective varieties.
To prove these theorems, we develop new features in non-abelian Hodge theory, geometric group theory, and Nevanlinna theory. Some byproducts are obtained. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_12225 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Hyperbolicity and fundamental groups of complex quasi-projective varieties Cadorel, Benoit Deng, Ya Yamanoi, Katsutoshi Algebraic Geometry Complex Variables This paper investigates the relationship between the hyperbolicity of complex quasi-projective varieties $X$ and the (topological) fundamental group $π_1(X)$ in the presence of a linear representation $\varrho: π_1(X) \to {\rm GL}_N(\mathbb{C})$. We present our main results in three parts. Firstly, we show that if $\varrho$ is bigand the Zariski closure of $\varrho(π_1(X))$ semisimple, then for any $X^σ:=X\times_σ\mathbb{C}$ where $σ\in {\rm Aut}(\mathbb{C}/\mathbb{Q})$, there exists a proper Zariski closed subset $Z \subsetneqq X^σ$ such that any closed irreducible subvariety $V$ of $X^σ$ not contained in $Z$ is of log general type, and any holomorphic map from the punctured disk $\mathbb{D}^*$ to $X^σ$ with image not contained in $Z$ does not have an essential singularity at the origin. In particular, all entire curves in $X^σ$ lie on $Z$. We provide examples to illustrate the optimality of this condition. Secondly, assuming that $\varrho$ is big and reductive, we prove the generalized Green-Griffiths-Lang conjecture for $X^σ$. Furthermore, if $\varrho$ is large, we show that the special subsets of $X^σ$ that capture the non-hyperbolicity locus of $X^σ$ from different perspectives are equal, and this subset is proper if and only if $X$ is of log general type. Lastly, we prove that if $X$ is a special quasi-projective manifold in the sense of Campana or $h$-special, then $\varrho(π_1(X))$ is virtually nilpotent. We provides examples to demonstrate that this result is sharp and thus revise Campana's abelianity conjecture for smooth quasi-projective varieties. To prove these theorems, we develop new features in non-abelian Hodge theory, geometric group theory, and Nevanlinna theory. Some byproducts are obtained. |
| title | Hyperbolicity and fundamental groups of complex quasi-projective varieties |
| topic | Algebraic Geometry Complex Variables |
| url | https://arxiv.org/abs/2212.12225 |