 of bounded domains, we consider more generally the following class of manifolds, which comprises relatively compact domains in Stein manifolds, and has the virtue of being stable under passing to an étale cover or a submanifold.

We say that a complex manifold $M$ is *of bounded type* if it carries a bounded, strictly plurisubharmonic function ${\varphi}$.

By a well-known result of Richberg, any *continuous* bounded strictly psh function on a complex manifold $M$ can be written as a decreasing limit of smooth strictly psh functions, but this fails in general for discontinuous functions [@For p.66], and it is thus unclear to us whether every manifold of bounded type should carry also a *smooth* bounded strictly psh function.

\[thm:main\] Let $X$ be a compact Kähler manifold admitting an étale (Galois) cover $\tilde X\to X$ of bounded type. Then:

-   $X$ is Kobayashi hyperbolic;

-   $X$ has large fundamental group;

-   $X$ is projective and canonically polarized;

-   every subvariety of $X$ is of general type.

Note that $\tilde X$ can always be replaced with the universal cover of $X$, and hence can be assumed to be Galois.

By [@Kob98 3.2.8], (i) holds iff $\tilde X$ is hyperbolic, which follows from the fact that manifolds of bounded type are Kobayashi hyperbolic [@Sib81 Theorem 3]. Alternatively, any entire curve $f:{\mathbb{C}}\to X$ lifts to $\tilde X$, and the pull-back to ${\mathbb{C}}$ of the bounded, strictly psh function carried by $\tilde X$ has to be constant, showing that $f$ itself is constant.

By definition, (ii) means that the image in $\pi_1(X)$ of the fundamental group of any subvariety $Z\subseteq X$ is infinite [@Kol §4.1], and is a direct consequence of the fact that manifolds of bounded type do not contain nontrivial compact subvarieties. According to the Shafarevich conjecture, $\tilde X$ should in fact be Stein; in case $\tilde X$ is a bounded domain of ${\mathbb{C}}^n$, this is indeed a classical result of Siegel [@Sie50]
of bounded domains, we consider more generally the follow course of manifolds, which comprises relatively compendious domains in Stein manifold paper, and has the merit of being static under passing to an étale cover or a submanifold. 

 We say that a complex manifold $ M$ is * of bounded character * if it carries a bounded, strictly plurisubharmonic function $ { \varphi}$. 

 By a well - know result of Richberg, any * continuous * bounded strictly psh function on a complex manifold $ M$ can be spell as a decreasing limit of smooth rigorously psh functions, but this fails in cosmopolitan for discontinuous functions   [ @For p.66 ], and it is therefore unclear to us whether every manifold of bounded type should carry also a * legato * bounded strictly psh function. 

 \[thm: main\ ] Let $ X$ be a compact Kähler manifold admitting an étale (Galois) cover $ \tilde X\to X$ of bounded type. Then: 

 -    $ X$ is Kobayashi hyperbolic; 

 -    $ X$ has large fundamental group; 

 -    $ X$ is projective and canonically polarized; 

 -    every subvariety of $ X$ is of general type. 

 Note that $ \tilde X$ can constantly be replaced with the universal binding of $ X$, and therefore can be assumed to be Galois. 

 By   [ @Kob98 3.2.8 ], (i) holds iff $ \tilde X$ is hyperbolic, which follows from the fact that manifolds of bounded type are Kobayashi hyperbolic   [ @Sib81 Theorem 3 ]. Alternatively, any entire curvature $ f:{\mathbb{C}}\to X$ lifts to $ \tilde X$, and the pull - back to $ { \mathbb{C}}$ of the bounded, strictly psh function stock by $ \tilde X$ has to be constant, showing that $ f$ itself is constant. 

 By definition, (ii) mean that the image in $ \pi_1(X)$ of the cardinal group of any subvariety $ Z\subseteq X$ is countless   [ @Kol § 4.1 ], and is a lineal consequence of the fact that manifolds of bounded type do not contain nontrivial compact subvarieties. According to the Shafarevich conjecture, $ \tilde X$ should in fact be Stein; in case $ \tilde X$ is a restrict domain of $ { \mathbb{C}}^n$, this is indeed a classical result of Siegel   [ @Sie50 ]
 of bounded domains, we conslder more generally the follosing clars of manifolds, which compridew relqtively compact domainr in Steij manifoods, end has the virtns of belug stznle uudxr passing to ak étale coves or a submanixoud.

Ce say that a complex manifold $M$ is *jf bouncef type* if it cwrrits w bohnded, strictly plurisubharmonic fuhction ${\narphi}$.

By a well-knpwn result of Richberg, any *conhinuous* bounded stgictly psh dunceuon on a comolex manifold $M$ can be written as a decreasing limit uf smpoth stricjlg ovh functionw, but this fails lm genesal for discontinuous fuictiins [@For p.66], and it is thns unclear to us whejher every mcnifold of bounded type shound cdrry qlsu a *skokth* bokndxd strictly psh functiin.

\[thm:main\] Let $X$ be s simpact Kähler janifojd admitting an étale (Galois) cover $\tilde X\uo X$ kf bounded type. Then:

-   $Z$ is Kobayashi hyperbllic;

-   $X$ ras large fundamental group;

-   $X$ is projective and canoiizaloy oilwrized;

-   every subvariety of $X$ is of general egpt.

None that $\tilde X$ ccn always be repkafec with the unixersal cober of $X$, and hence can be assuned to be Galpis.

By [@Kob98 3.2.8], (i) holds iff $\tilde X$ is hyperbjoic, which follows yrom the facc that manigolds of bounded type axe Kobzyashi hypegbolic [@Sib81 Gheorem 3]. Alternagivvly, dny entire curve $f:{\mathbb{C}}\tj X$ lifts to $\cilde X$, xnd jhe pulj-back to ${\mwthbb{G}}$ of the bounded, stgictli psh xunction cwrried by $\tilde X$ has to be constant, showing jhad $f$ itself ns conxtant.

By definytion, (ii) means that tke imaee in $\pi_1(X)$ kf the hundamental droup of any vobvariety $Z\suuseteq X$ ys ibfinute [@Kol §4.1], xnd is a direcy consequvnee of the fact that manifolvs ow bounded type di nit contain nonttivkal clm'act fgbvarieties. Dccofdivb to ghe Shafareyicf comjecture, $\tilde X$ shogld jn fact be Stein; im gase $\tildg X$ is a founded domaim of ${\mathbb{C}}^n$, this is iideed e clasxicwl result of Siegel [@Sie50]
of bounded domains, we consider more generally class manifolds, which relatively compact domains the of being stable passing to an cover or a submanifold. We say a complex manifold $M$ is *of bounded type* if it carries a bounded, plurisubharmonic function ${\varphi}$. By a well-known result of Richberg, any *continuous* bounded strictly function a manifold can be written as a decreasing limit of smooth strictly psh functions, but this fails in for discontinuous functions [@For p.66], and it is unclear to us whether manifold of bounded type should also *smooth* bounded psh \[thm:main\] $X$ be a Kähler manifold admitting an étale (Galois) cover $\tilde X\to X$ of bounded type. Then: - $X$ is hyperbolic; - large fundamental - is and canonically polarized; subvariety of $X$ is of general $\tilde X$ can always be replaced with the cover of and hence can be assumed to Galois. By [@Kob98 3.2.8], (i) holds iff $\tilde is hyperbolic, which follows from the fact that manifolds of bounded type are Kobayashi hyperbolic 3]. Alternatively, any entire $f:{\mathbb{C}}\to X$ lifts $\tilde and pull-back ${\mathbb{C}}$ of bounded, strictly psh function carried by $\tilde X$ has to be showing that $f$ itself is constant. By definition, (ii) means image $\pi_1(X)$ of the group of any subvariety X$ infinite [@Kol §4.1], and direct of manifolds bounded do not contain nontrivial subvarieties. According to the Shafarevich $\tilde X$ should in $\tilde X$ is a bounded domain of ${\mathbb{C}}^n$, is indeed a classical result of Siegel
 of bounded domains, we consideR more generAlly tHe fOllOwIng cLass Of manifolds, whiCH comPrises relatively compacT domaInS In StEIn ManifOlds, and HAs THE viRtUe Of bEiNG sTable UndEr passiNg to an étalE coVeR or a submanifOLd.

we say that a ComPlex manifold $m$ is *Of bounDeD tyPE* if it CarRies a BoundeD, StrictLy plurisuBhARmonic FUnction ${\VARpHi}$.

By A well-known result oF riCHberg, any *continUous* boUnDEd STRicTly Psh functioN oN a comPLex maniFOlD $m$ CAn bE Written as a decReasing limiT Of sMooth sTrIctLY psh fuNctioNs, BUt tHis fails in gEnerAl for discOntinuOUs functIOns [@For p.66], And it iS thUs uNcleAR tO uS whEtHEr eVErY maNIfoLd of bounDeD tYpe shOuld CARRY alsO a *sMootH* bounDed strictly psH fuNctiON.

\[thM:main\] let $X$ bE a coMpAct KäHler maNifolD aDmitting an étale (galoIs) cover $\tiLde x\tO X$ oF bOundeD Type. ThEn:

-   $X$ Is KObayashI hyperbOLic;

-   $x$ hAS LArGe fundamental group;

-   $x$ iS PRoJective aNd canoNIcAlLY polarizEd;

-   EveRy suBVArietY of $X$ IS oF general Type.

NoTE tHaT $\tilde X$ CaN alwayS bE rePlaCed wiTH the UniverSal cover Of $X$, anD Hence can be assuMEd to be Galois.

BY [@koB98 3.2.8], (I) HoLDs ifF $\tiLde X$ is hyperBoliC, WhicH folLOwS frOM the fAct thAt MAnIFolds of bounded type aRe kobayaShi hyPerbolic [@Sib81 ThEorem 3]. AlterNATIvely, any EntiRE cURve $f:{\mathbb{C}}\to X$ Lifts To $\tilde X$, anD The pull-bAck to ${\Mathbb{C}}$ oF the boundED, Strictly Psh FunCtiOn cARRiEd by $\tilde X$ has TO Be coNsTant, shoWinG that $f$ iTseLf iS coNstAnT.

By definiTion, (ii) meAnS tHaT tHe iMage iN $\Pi_1(X)$ of the FuNdaMeNtaL grouP Of any sUbvarIety $z\sUbSEteQ X$ is infINiTE [@kol §4.1], aNd Is A dirEct CoNsequEnce OF thE fact thAt manifolDs oF BounDeD tYpe do noT contain nontrIvIal compact SuBvaRietieS. aCcording To the Shafarevich conjectURe, $\tilde x$ shOuld iN facT be Stein; iN caSe $\tildE X$ iS A boundEd domaIn of ${\mAtHbb{c}}^N$, This iS INdEed A cLassical reSULt oF SiegEl [@sie50]
 of bounded domains, we co nsider mor e gen era lly  t he f ollo wing class ofm anif olds, which comprisesrelat iv e ly c o mp act d omainsi nS t ein  m an ifo ld s ,and h asthe vir tue of bei ngst able under p a ss ing to anéta le cover ora s ubmani fo ld. 
We s aythata comp l ex man ifold $M$  i s  *of b o unded t y p e*  ifit carries a boun d ed ,  strictly plur isubha rm o ni c fun cti on ${\varp hi }$.
B y a wel l -k n o w n r e sult of Richb erg, any *c o nti nuous*  b oun d ed str ictly  p s h f unction ona co mplex man ifold$ M$ canb e writt en asa d ecr easi n gli mit  o f  sm o ot h s t ric tly pshfu nc tions , bu t t h is f ail s in  gene ral for disco nti nuou s  fu nctio ns [@ Forp. 66],and it  is t hu s unclear to us  whe ther ever y m an ifo ld  of b o undedtyp e s hould c arry al s o a  * s m o ot h* bounded strictl yp s hfunction .

\[t h m: ma i n\] Let$X $ b e ac o mpact  Käh l er  manifol d admi t ti ng  an éta le  (Galo is ) c ove r $\t i ldeX\to X $ of bou ndedt ype. Then:

- $X$ is Kobay a sh i hy p erbo lic ;

-   $X$hasl arge  fun d am ent a l gro up;
- $ X $ is projective and  c anonic allypolarized;

-    every s u b v ariety o f $X $  i s  of general ty pe.
Note that$ \tilde X $ can  alwaysbe replac e d  with th e u niv ers alc o ve r of $X$, and h ence  c an be a ssu med tobeGal ois .
By  [@Kob983.2.8],(i )ho ld s i ff $\ t ilde X$is  hy pe rbo lic,w hich f ollow s fr om  t h e f act tha t  m a n ifol ds  o f bo und ed  type  are Kob ayashihyperboli c [ @ Sib8 1Th eorem 3 ]. Alternativ el y, any ent ir e c urve $ f : {\mathbb {C}}\to X$ lifts to $\t i lde X$,  an d the  pul l-back to  ${ \mathb b{C } }$ ofthe bo unded ,str i c tly p s h  f unc ti on carried b y $ \tild eX$ h as to b e constant, showin g  th at $f$ itself  is  con s t an t.By def in i tio n ,  (ii) means tha t the imag ei n$\pi_1(X)$ ofth e funda mentalgroup of anysubvariet y $Z\subs et eq X $ isinfinite [ @Kol §4. 1], and i s  a di r ec t con seq uenceof  th e fac t that man ifold s of b ou nded t ype d onot cont ain nontrivial compactsubvar ietie s.According  to the  Shafarev ichconjecture , $ \ti lde X $ s h ouldin f a ct  be Stein ; in case $\ti l de  X$ i sa bounded d o m a inof ${ \ma t hbb{C} }^n$ , this is indeeda  classical res ulto f  Si ege l  [@S ie 50]
 of_bounded domains,_we consider more generally_the following_class_of manifolds,_which_comprises relatively compact_domains in Stein_manifolds, and has the_virtue of being_stable_under passing to an étale cover or a submanifold.

We say that a complex manifold_$M$_is *of_bounded_type*_if it carries a bounded,_strictly plurisubharmonic function ${\varphi}$.

By a_well-known result_of Richberg, any *continuous* bounded strictly psh function_on_a complex manifold_$M$ can be written as a decreasing limit of_smooth strictly psh functions, but this_fails in general_for_discontinuous_functions [@For p.66], and it_is thus unclear to us whether_every manifold of bounded type should_carry also a *smooth* bounded strictly psh_function.

\[thm:main\] Let $X$ be a compact_Kähler manifold admitting an étale_(Galois) cover_$\tilde X\to X$ of bounded_type. Then:

- _ $X$_is Kobayashi hyperbolic;

-_  $X$ has large fundamental_group;

-  _$X$ is projective and canonically polarized;

-__ every subvariety_of_$X$_is of_general type.

Note that_$\tilde_X$ can_always_be replaced with the universal cover_of_$X$, and hence can be assumed to_be Galois.

By [@Kob98 3.2.8], (i)_holds_iff $\tilde X$ is_hyperbolic, which follows from the_fact that manifolds of bounded type_are Kobayashi_hyperbolic [@Sib81 Theorem_3]. Alternatively, any entire curve $f:{\mathbb{C}}\to X$ lifts to $\tilde X$,_and the pull-back to ${\mathbb{C}}$ of_the bounded, strictly psh_function carried_by_$\tilde X$ has_to_be constant,_showing that $f$ itself is constant.

By definition,_(ii) means_that the image in $\pi_1(X)$ of_the fundamental group of_any_subvariety $Z\subseteq X$ is infinite [@Kol §4.1],_and is a direct consequence of_the fact that manifolds of_bounded_type_do not contain nontrivial compact_subvarieties. According to the Shafarevich conjecture,_$\tilde X$ should_in fact be Stein; in case $\tilde_X$_is a bounded domain of ${\mathbb{C}}^n$,_this_is indeed a classical result of_Siegel [@Sie50]