Chargé de Recherche au CNRS
Institut Élie Cartan de Lorraine
Université de Lorraine
Email: ya.deng@math.cnrs.fr  

My research subjects contain complex algebraic-analytic geometry, complex hyperbolicity, non-abelian Hodge theories in both Archimedean and non-Archimedean settings, Nevanlinna theory, and the interplay among them. My current interest is harmonic mapping to Euclidean buildings, linear Shafarevich conjecture, hyperbolicity of algebraic varieties via representation of fundamental groups.

• 02.2021-             Chargé de Recherche au CNRS à l'Institut Élie Cartan de Lorraine (l'Université de Lorraine, Nancy).
• 09.2019-01.2021   Postdoc à l'Institut des Hautes Études Scientifiques (l'Université Paris-Saclay)
• 10.2018-09.2019  Postdoc in the University of Göteborg
• 08.2017-08.2018  Postdoc à l'Institut de Recherche Mathématique Avancée (l'Université de Strasbourg)
• 09.2014-07.2017  PhD à l'Institut Fourier (l'Université Grenoble Alpes)

1. Big Picard theorems and algebraic hyperbolicity for varieties admitting a variation of Hodge structures. To appear in L'Épijournal de Géométrie Algébrique.  arXiv:2001.04426 Abstract Oberwolfach report

   In this paper we study various hyperbolicity properties for a quasi-compact Kähler manifold \(U\) which admits a complex polarized variation of Hodge structures so that each fiber of the period map is zero dimensional. In the first part we prove that \(U\) is algebraically hyperbolic, and that the generalized big Picard theorem holds for \(U\). In the second part, we prove that there is a finite étale cover \(\tilde{U}\) of \(U\) from a quasi-projective manifold \(\tilde{U}\) such that any projective compactification \(X\) of \(\tilde{U}\) is Picard hyperbolic modulo the boundary \(X-\tilde{U}\), and any irreducible subvariety of \(X\) not contained in \(X-\tilde{U}\) is of general type. This result coarsely incorporates previous works by Nadel, Rousseau, Brunebarbe and Cadorel on the hyperbolicity of compactifications of quotients of bounded symmetric domains by torsion free lattices.

2. A characterization of complex quasi-projective manifolds uniformized by unit balls. (with an appendix written jointly with Benoît Cadorel). To appear in Math. Ann.  arXiv:2006.16178 Abstract

   In 1988 Simpson extended the Donaldson-Uhlenbeck-Yau theorem to the context of Higgs bundles, and as an application he proved a uniformization theorem which characterizes complex projective manifolds and quasi-projective curves whose universal coverings are complex unit balls. In this paper we give a necessary and sufficient condition for quasi-projective manifolds to be uniformized by complex unit balls. This generalizes the uniformization theorem by Simpson. Several byproducts are also obtained in this paper.

3. On the hyperbolicity of base spaces for maximal variational families of smooth projective varieties. (with an appendix by Dan Abramovich).  arXiv:1806.01666 To appear in Journal of the European Mathematical Society (JEMS). Abstract
   For maximal variational smooth families of projective manifolds whose general fibers have semi-ample canonical bundle, the Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture was recently proved by Campana-Paun and later generalized by Popa-Schnell. In this paper we prove that those base spaces are pseudo Kobayashi hyperbolic, as predicted by the Lang conjecture: any complex quasi-projective manifold is pseudo Kobayashi hyperbolic if it is of log general type. As a consequence, we prove the Brody hyperbolicity of moduli spaces of polarized manifolds with semi-ample canonical bundle. This proves a conjecture by Viehweg-Zuo in 2003. We also prove the Kobayashi hyperbolicity of base spaces of effectively parametrized families of minimal projective manifolds of general type. This generalizes previous work by To-Yeung, in which they further assumed that these families are canonically polarized.
4. Kobayashi hyperbolicity of the complements of general hypersurfaces of high degrees.  (joint work with Damian Brotbek ),   arXiv:1804.01719.  Geometric And Functional Analysis (GAFA), June 2019, Volume 29, Issue 3, pp 690–750.  link  Abstract
   In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. As a byproduct of our proof, we prove a more general result on the orbifold hyperbolicity for generic geometric orbifolds in the sense of Campana, with only one component and large multiplicities. We also establish a Second Main Theorem type result for holomorphic entire curves intersecting general hypersurfaces, and we prove the Kobayashi hyperbolicity of the cyclic cover of a general hypersurface, again with an explicit lower bound on the degree of all these hypersurfaces.
5. On the Diverio-Trapani Conjecture. arXiv:1703.07560 . Ann. Scient. Éc. Norm. Sup. 4 e série, t. 53, 2020, p. 787 à 814.  link   Abstract
   In this paper we establish effective lower bounds on the degrees of the Debarre and Kobayashi conjectures. Then we study a more general conjecture proposed by Diverio-Trapani on the ampleness of jet bundles of general complete intersections in complex projective spaces.
6. On the positivity of the logarithmic cotangent bundle. (joint work with Damian Brotbek ) arXiv:1712.09887. Annales de l'Institut Fourier, Volume 68 (2018) no. 7, p. 3001-3051 (en l'honneur du professeur Jean-Pierre Demailly). link Abstract
   The aim of this work is to construct examples of pairs whose logarithmic cotangent bundles have strong positivity properties. These examples are constructed from any smooth n-dimensional complex projective varieties by considering the sum of at least n general sufficiently ample hypersurfaces. This result can be seen as a logarithmic counterpart of the Debarre conjecture, proven by Brotbek-Darondeau link and Xie independently.
7. Applications of the Ohsawa-Takegoshi Extension Theorem to Direct Image Problems. Int. Math. Res. Not. IMRN, rnaa018 Abstract
   In the first part of the paper, we study a Fujita-type conjecture by Popa and Schnell, and give an effective bound on the generic global generation of the direct image of the twisted pluricanonical bundle. We also point out the relation between the Seshadri constant and the optimal bound. In the second part, we prove a conjecture by Demailly-Peternell-Schneider in a more general setting. As a byproduct, we generalize the theorems by Fujino and Gongyo on images of weak Fano manifolds to the Kawamata log terminal cases, and refine a result by Broustet and Pacienza on the rational connectedness of the image.

8. Transcendental morse inequality and generalized Okounkov bodies algebraic geometry. Algebraic Geometry 4 (2) (2017) 177–202. Link Abstract
   The main goal of this article is to construct "generalized Okounkov bodies" for an arbitrary transcendental pseudo-effective (1,1)-class on a Kähler manifold. We give a complete characterization of generalized Okounkov bodies on surfaces, and relate the standard Euclidean volume of the body to the volume of the corresponding big class as defined by Boucksom; this solves a problem raised by Lazarsfeld and Musţată in the case of surfaces.

9. Simpson correspondence for semistable Higgs bundles over Kähler manifolds. hal-02391629 . Pure and Applied Mathematics Quarterly Volume 17, Number 5, 1899-1911, 2021. Link  Abstract

   In this note we provide an elementary proof of the Simpson correspondence between semistable Higgs bundles with vanishing Chern classes and representation of fundamental groups of Kähler manifolds.

10. Kobayashi measure hyperbolicity for singular directed varieties of general type. Comptes Rendus Mathématique, Volume 354, Issue 9, (2016), Pages 920-924. Link Abstract
    In this note, we prove the non-degeneracy of the Kobayashi-Eisenman volume measure of the singular directed varieties in the sense of Demailly.

11. Hyperbolicity and fundamental groups of complex quasi-projective varieties. (joint work with Benoit Cadorel and Katsutoshi Yamanoi) arXiv:2212.12225 Abstract

    It is natural to ask how fundamental groups \(\pi_1(X)\) of complex quasi-projective varieties \(X\) determine their hyperbolicity. In this paper we address this question when there is a linear representation \(\varrho:\pi_1(X)\to GL_N(\mathbb{C})\). First, if $\varrho$ is big and the Zariski closure of \(\varrho\big(\pi_1(X)\big)\) in \(GL_N(\mathbb{C})\) is a semisimple algebraic group, then we prove that there is 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; any holomorphic map from the punctured disk \(\Delta^*\) to \(X\) with image not contained in \(Z\) does not have essential singularity at the origin. In particular, \(X\) is of log general type and all entire curves in $X$ lie on \(Z\). We provide examples to illustrate that the condition is sharp. Second, if \(X\) is a special or hyperbolically special quasi-projective manifold in the sense of Campana, we prove that \(\varrho\big(\pi_1(X)\big)\) is virtually nilpotent. We also construct examples to show that this result is optimal, thus disproving Campana's abelianity conjecture for quasi-projective manifolds. To prove the above theorems we develop new feature in non-abelian Hodge, geometric group and Nevanlinna theories. Along the way we prove the strong Green-Griffiths-Lang conjecture for quasi-projective varieties \(X\) admitting a morphism \(a:X\to A\) with \(\dim X=\dim a(X)\) where \(A\) is a semi-abelian variety; a reduction theorem for Zariski dense representations \(\pi_1(X)\to G(K)\) where \(G\) is a reductive group over a non-Archimedean local field \(K\).

12. Representations of fundamental groups and logarithmic symmetric differential forms. (joint work with D. Brotbek, G. Daskalopoulos and C. Mese) arXiv:2206.11835 Abstract

    In this paper we develop some non-abelian Hodge techniques over complex quasi-projective manifolds \(X\) in both archimedean and non-archimedean contexts. In the non-archimedean case, we first generalize a theorem by Gromov-Schoen: for any Zariski dense representation \(\rho:\pi_1(X)\to G(K)\), where \(G\) is a semisimple algebraic group defined over some non-archimedean local field $K$, we construct a \(\rho\)-equivariant harmonic map from \(X\) into the Bruhat-Tits building \(\Delta(G)\) of \(G\) with some suitable asymptotic behavior. We then construct logarithmic symmetric differential forms over \(X\) when the image of such \(\rho\) is unbounded. Our main result in the archimedean case is that any semisimple representation \(\sigma: \pi_1(X)\to\operatorname{GL}_N(\mathbb{C})\) is rigid provided that \(X\) does not admit logarithmic symmetric differential forms. Furthermore, such representation \(\sigma\) is conjugate to \(\sigma':\pi_1(X)\to\operatorname{GL}_N(\mathcal{O}_L)\) where \(\mathcal{O}_L\) is the ring of integer of some number field \(L\), so that \(\sigma'\) is a complex direct factor of a \(\mathbb{Z}\)-variation of Hodge structures. As an application we prove that a complex quasi-projective manifold \(X\) has nonzero global logarithmic symmetric differential forms if there is linear representation \(\pi_1(X)\to\operatorname{GL}_N(\mathbb{C})\) with infinite images.

13. On the nilpotent orbit theorem of complex variation of Hodge structures. arXiv:2203.04266 Abstract

    We prove some results on the nilpotent orbit theorem for complex variation of Hodge structures.

14. Picard hyperbolicity for manifolds admitting nilpotent harmonic bundles. (joint work with Benoît Cadorel). arXiv:2107.07550 Abstract

    For a quasi-compact Kähler manifold \(U\) endowed with a nilpotent harmonic bundle whose Higgs field is injective at one point, we prove that \(U\) is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic, and is of log general type. Moreover, we prove that there is a finite unramified cover \(\tilde{U}\) of \(U\) from a quasi-projective manifold \(\tilde{U}\) so that any projective compactification of \(\tilde{U}\) is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic and is of general type. As a byproduct, we establish some criterion of pseudo-Picard hyperbolicity and pseudo-algebraic hyperbolicity for quasi-compact Kähler manifolds.

15. Picard theorems for moduli spaces of polarized varieties. (joint work with S. Lu, R. Sun and K. Zuo) arXiv:1911.02973 Abstract

    We obtain a general big Picard theorem for the case of complex Finsler pseudometric of negative curvature on log-smooth pairs \((X,D)\). In particular, we show, after a full recall and discussion of the construction of Viehweg and Zuo in their studies of Brody hyperbolicity in the moduli context, that the big Picard theorem holds for the moduli stack \(\mathcal{M}_h\) of polarized complex projective manifolds of semi-ample canonical bundle and Hilbert polynomial $h$, i.e., for an algebraic variety \(U\), a compactification \(Y\) and a quasi-finite morphism \(U \to \mathcal{M}_h\) induced by an algebraic family over \(U\) of such manifolds, that any holomorphic map from the punctured disk \(\mathbb{D}^*\) to \(U\) extends to a holomorphic map \(\mathbb{D} \to Y\). Borel hyperbolicity of \(\mathcal{M}_h\) is then a useful corollary: that holomorphic maps from algebraic varieties to \(U\) are in fact algebraic. We also show the related algebraic hyperbolicity property of \(\mathcal{M}_h\) at the end.

16. Vanishing theorem for tame harmonic bundles via \(L^2\)-cohomology. (joint work with Feng HAO) arXiv:1912.02586 Abstract

    Using \(L^2\)-methods, we prove a vanishing theorem for tame harmonic bundles over quasi-Kähler manifolds in a very general setting. As a special case, we give a completely new proof of the Kodaira type vanishing theorems for parabolic Higgs bundles due to Arapura et al. To prove our vanishing theorem, we construct a fine resolution of the Dolbeault complex for tame harmonic bundles via the complex of sheaves of \(L^2\)-forms, and we establish the Hörmander \(L^2\)-estimate and solve \((\bar{\partial}_E+\theta)\)-equations for the Higgs bundle \((E,\theta)\).

17. Big Picard theorem for moduli spaces of polarized manifolds. arXiv:1912.11442. Part of this preprint has been merged into Preprint 12. Abstract

    Consider a smooth projective family of complex polarized manifolds with semi-ample canonical sheaf over a quasi-projective manifold \(V\). When the associated moduli map \(V\to P_h\) from the base to coarse moduli space is quasi-finite, we prove that the generalized big Picard theorem holds for the base manifold \(V\): for any projective compactification \(Y\) of \(V\), any holomorphic map \(f:\Delta-\{0\}\to V\) from the punctured unit disk to \(V\) extends to a holomorphic map of the unit disk \(\Delta\) into \(Y\). This result generalizes our previous work on the Brody hyperbolicity of \(V\) (i.e. there are no entire curves on \(V\)), as well as a more recent work by Lu-Sun-Zuo on the Borel hyperbolicity of \(V\) (i.e. any holomorphic map from a quasi-projective variety to \(V\) is algebraic). We also obtain generalized big Picard theorem for bases of log Calabi-Yau families.

18. Pseudo Kobayashi hyperbolicity of base spaces of families of minimal projective manifolds with maximal variation. arXiv:1809.05891 This preprint has been merged into Publication 1. Abstract

    In this paper we prove that every quasi-projective base space \(V\) of smooth family of minimal projective manifolds with maximal variation is pseudo Kobayashi hyperbolic, that is, \(V\) is Kobayashi hyperbolic modulo a proper subvariety \(Z\subsetneq V\). In particular, every nonconstant entire curve \(f:\mathbb{C}\to V\) has image \(f(\mathbb{C})\) on a proper subvariety \(Z\subsetneq V\). As a direct consequence, we prove the Brody hyperbolicity of moduli spaces of minimal projective manifolds, which prove a conjecture by Viehweg-Zuo in 2003.

19. Hyperbolicity of coarse moduli spaces and isotriviality for certain families. arXiv:1908.08372 Abstract

    In this paper, we prove the Kobayashi hyperbolicity of the coarse moduli spaces of canonically polarized or polarized Calabi-Yau manifolds in the sense of complex V-spaces (a generalization of complex V-manifolds in the sense of Satake). As an application, we prove the following hyperbolic version of Campana's isotriviality conjecture: for the smooth family of canonically polarized or polarized Calabi-Yau manifolds, when the Kobayashi pseudo-distance of the base vanishes identically, the family must be isotrivial, that is, any two fibers are isomorphic. We also prove that for the smooth projective family of polarized Calabi-Yau manifolds, its variation of the family is less than or equal to the essential dimension of the base.

20. Hyperbolicity of bases of log Calabi-Yau families. arXiv:1901.04423 hal-02266744 Abstract

    We prove that for any maximally varying, log smooth family of Calabi-Yau klt pairs, its quasi-projective base is both of log general type, and pseudo Kobayashi hyperbolic. Moreover, such a base is Brody hyperbolic if the family is effectively parametrized.

Members: Henri Guenancia (CNRS-Toulouse, project coordinator), Junyan Cao (Nice), Benoit Cadorel (Nancy), Ya Deng (CNRS-Nancy)