V-Hyperbolic Varieties

• V-hyperbolic varieties are defined by imposing strong prohibitions on special maps (e.g., entire curves, abelian maps) to ensure boundedness, positivity, or vanishing conditions.
• They manifest in various frameworks such as directed hyperbolicity, real-fibered hyperbolicity, and algebraic Lang hyperbolicity, each with distinct geometric and birational implications.
• Researchers use methods including the Demailly–Green–Griffiths–Lang program, tropical geometry, Hodge theory, and arithmetic techniques to derive robust boundedness and ampleness results.

Searching arXiv for recent and foundational papers on V-hyperbolic varieties and related hyperbolicity notions. “V-hyperbolic varieties” is not a single uniform notion in the literature. Across several strands of research, the expression is used for at least six distinct but related frameworks: hyperbolicity for directed pairs $(X,V)$ in the sense of distributions inside $T_X$; algebraic Lang hyperbolicity, where maps from abelian varieties are excluded; hyperbolicity with respect to a linear subspace $V$ via real-fibered projection in real algebraic geometry; positive or Shamovich–Vinnikov hyperbolicity with respect to the positive Grassmannian; Viehweg hyperbolicity for bases of maximally varying families; and, more recently, a vanishing-theoretic notion tied to towers of finite étale covers and mixed Hodge modules (Morrow, 2022, Hu et al., 2014, Kummer et al., 2020, Rincón et al., 2019, Popa et al., 2015, Arapura, 4 Sep 2025). What unifies these usages is that each imposes a strong prohibition on special maps into the variety—entire curves, maps from tori, real fibers with hidden complex points, or morphisms tangent to a prescribed distribution—and then derives boundedness, positivity, or cohomological vanishing consequences.

1. Directed hyperbolicity and the absolute case $V=T_X$

The most intrinsic use of the letter $V$ occurs in the theory of directed varieties $(X,V)$, where $V\subset T_X$ is a subsheaf of the tangent bundle and hyperbolicity is studied only along directions tangent to $V$. In that framework, “$V$-hyperbolic” typically means that the directed Kobayashi–Royden metric of $(X,V)$ is non-degenerate and that entire curves tangent to $T_X$0 are absent; DGGL-style inequalities are expected to constrain algebraic curves tangent to $T_X$1 as well (Morrow, 2022).

The paper “Boundedness of hyperbolic varieties” does not treat directed structures explicitly. Instead, it addresses the absolute case $T_X$2 and advances the Demailly–Green–Griffiths–Lang program by proving boundedness consequences from the hypothesis that every integral subvariety is of general type (Morrow, 2022). In its terminology, if $T_X$3 is algebraically closed of characteristic $T_X$4 and $T_X$5 is projective, then $T_X$6 is algebraically hyperbolic if for every ample line bundle $T_X$7 there exists a real number $T_X$8 such that for every smooth projective curve $T_X$9 and every morphism $V$0,

$V$1

The paper proves a genus-wise boundedness statement under the hereditary general type assumption: if every integral subvariety of $V$2 is of general type, then for every ample $V$3 and every integer $V$4, there exists an integer $V$5 such that for every smooth projective curve $V$6 of genus $V$7 and every morphism $V$8,

$V$9

Equivalently, the Hom-scheme $V=T_X$0 is projective (Morrow, 2022).

This places the absolute case of directed hyperbolicity into a boundedness framework. By the Javanpeykar–Kamenova equivalences cited there, genus-wise degree bounds are equivalent to $V=T_X$1-boundedness and boundedness, and the paper deduces projectivity of $V=T_X$2 for any normal projective variety $V=T_X$3 when every integral subvariety of $V=T_X$4 is of general type (Morrow, 2022). In dimension at most $V=T_X$5, it further obtains an equivalence between hereditary general type, $V=T_X$6-boundedness, and grouplessness. A plausible implication is that these results model what one would seek in a genuinely directed setting: degree bounds for tangent curves, proper moduli of maps, and metric non-degeneracy.

The same paper also constructs a non-Archimedean Kobayashi-type pseudo-metric on the Berkovich analytification of the constant space $V=T_X$7 and defines $V=T_X$8-Lea hyperbolicity as the condition that this pseudo-metric is a genuine metric. Under the hereditary general type hypothesis, $V=T_X$9 is $V$0-Lea hyperbolic; this implies that the $V$1-Kobayashi metric defines the Berkovich topology and that there are no non-constant analytic maps from connected algebraic groups into $V$2 (Morrow, 2022). In the absolute case $V$3, the paper therefore supplies both algebraic boundedness and non-Archimedean analytic hyperbolicity.

2. Algebraic Lang hyperbolicity and maps from abelian varieties

A second established usage identifies “$V$4-hyperbolic” with algebraic Lang hyperbolicity, where $V$5 refers to “abelian variety” or “complex torus.” In this sense, a complex projective variety $V$6 is algebraic Lang hyperbolic if every holomorphic map $V$7 from an abelian variety $V$8 is constant (Hu et al., 2014). The paper “Ampleness of canonical divisors of hyperbolic normal projective varieties” explicitly states that this is exactly what many authors call $V$9-hyperbolic (Hu et al., 2014).

In that framework, Brody hyperbolicity is stronger: for compact complex varieties, Brody and Kobayashi hyperbolicity coincide, and either implies algebraic Lang hyperbolicity, because any holomorphic map from a complex torus is then constant (Hu et al., 2014). The central result of the paper is a one-directional form of Lang’s conjecture. If $(X,V)$0 is a $(X,V)$1-Gorenstein normal projective variety that is algebraic Lang hyperbolic, and if one assumes that no Calabi–Yau variety is algebraic Lang hyperbolic together with a weak abundance conjecture, then there exists a birational morphism $(X,V)$2 such that $(X,V)$3 has at worst klt singularities, $(X,V)$4 is ample, and

$(X,V)$5

is effective and $(X,V)$6-exceptional, with image contained in the non-klt locus $(X,V)$7 (Hu et al., 2014). In particular, if $(X,V)$8 itself has at worst klt singularities, then $(X,V)$9 is ample.

The same paper proves a trichotomy for algebraic Lang hyperbolic projective varieties after passing to a minimal model: either the canonical divisor becomes ample, or one encounters an absolutely minimal Calabi–Yau variety, or a fibration whose general fiber is an absolutely minimal Calabi–Yau variety (Hu et al., 2014). Under the “no hyperbolic Calabi–Yau” conjecture, the latter two cases are excluded, and one concludes that the variety and all its subvarieties are of general type. In dimensions at most $V\subset T_X$0, the conclusions are substantially sharper: for surfaces, a $V\subset T_X$1-Gorenstein normal projective surface that is algebraic Lang hyperbolic has ample canonical class and is of general type; for threefolds, one gets ampleness at smooth and klt points unless a Calabi–Yau alternative remains (Hu et al., 2014).

This version of $V\subset T_X$2-hyperbolicity is therefore birational and positivity-theoretic rather than metric. Its characteristic prohibition is not the absence of entire curves but the absence of non-constant maps from abelian varieties. The resulting structure theory is framed through the minimal model program, nef reduction, abundance, and the exclusion of Calabi–Yau outcomes.

3. Hyperbolicity with respect to a linear subspace $V\subset T_X$3

A third usage is standard in real algebraic geometry. Let $V\subset T_X$4 be a closed subvariety of dimension $V\subset T_X$5, and let $V\subset T_X$6 be a linear subspace of dimension $V\subset T_X$7. Then $V\subset T_X$8 is hyperbolic with respect to $V\subset T_X$9 if $V$0 and the linear projection

$V$1

restricts to a real fibered morphism on $V$2 (Kummer et al., 2020, Kummer et al., 2016). A morphism $V$3 of real algebraic varieties is real fibered if

$V$4

for all $V$5 (Kummer et al., 2020). Equivalently, the fibers over real points consist only of real points.

This notion is the organizing principle of “Hyperbolic Secant Varieties of M-Curves” (Kummer et al., 2020). The paper proves that if $V$6 is a real irreducible nondegenerate curve, $V$7, and $V$8 is a real linear subspace of dimension $V$9 disjoint from $V$0, then $V$1 is hyperbolic with respect to $V$2 if and only if the linear system cut out on $V$3 by hyperplanes containing $V$4 is “vastly real” (Kummer et al., 2020). For an $V$5-curve, maximally odd divisors of degree at least $V$6 produce vastly real linear systems of dimension $V$7, and hence hyperbolic secant varieties (Kummer et al., 2020).

The paper also proves a rigidity theorem for hypersurfaces ruled by a $V$8-dimensional family of $V$9-planes: if such a hypersurface is hyperbolic, then it is a cone over a plane hyperbolic curve, and its hyperbolicity cone is spectrahedral (Kummer et al., 2020). For elliptic normal $(X,V)$0-curves in $(X,V)$1, the secant hypersurface $(X,V)$2 admits a definite symmetric determinantal representation of size $(X,V)$3, which in turn yields symmetric Ulrich sheaves of rank one (Kummer et al., 2020). In this sense, hyperbolicity with respect to $(X,V)$4 interacts strongly with convex algebraic geometry, determinantal representations, and secant geometry.

The deformation-theoretic paper “On Deformations of Hyperbolic Varities” studies the same notion on the Hilbert scheme (Kummer et al., 2016). Fix a real linear subspace $(X,V)$5 of codimension $(X,V)$6, and let $(X,V)$7 be the locus of equidimensional $(X,V)$8-dimensional subschemes disjoint from $(X,V)$9 and hyperbolic with respect to $T_X$00. Then $T_X$01 is closed in the classical topology and connected (Kummer et al., 2016). The subset of strictly $T_X$02-hyperbolic subschemes—those for which the projection is unramified over all real points—is open, and every smooth $T_X$03-hyperbolic subscheme lies in the interior of $T_X$04 (Kummer et al., 2016). The paper further gives a first-order “strict hyperbolic deformation” criterion ensuring that a Cohen–Macaulay $T_X$05-hyperbolic subscheme deforms to a smooth $T_X$06-hyperbolic subscheme over a Puiseux-series field (Kummer et al., 2016).

This real-fibered notion is distinct from both directed and Lang hyperbolicity. Its central geometric object is the projection center $T_X$07, and its key invariants are trace forms, ramification, and the topology of fibers over $T_X$08.

4. Positive Grassmannians, sign variation, and Shamovich–Vinnikov hyperbolicity

A fourth use arises in the theory of positively hyperbolic varieties. Let $T_X$09 be an equidimensional complex variety of codimension $T_X$10. The paper “Positively Hyperbolic Varieties, Tropicalization, and Positroids” defines $T_X$11 to be positively hyperbolic if for every positive linear subspace $T_X$12 and every $T_X$13, one has $T_X$14 (Rincón et al., 2019). For projective $T_X$15, positivity is defined on the affine cone.

The basic criterion is combinatorial. For $T_X$16, let $T_X$17 be the number of sign changes after discarding zeros, and let $T_X$18 be the maximal sign variation obtained by assigning signs to the zero coordinates. Then an equidimensional codimension-$T_X$19 variety $T_X$20 is positively hyperbolic if and only if

$T_X$21

for every $T_X$22 (Rincón et al., 2019). For hypersurfaces, positive hyperbolicity is closely related to stability: if $T_X$23 is positively hyperbolic, then $T_X$24 is stable, and if $T_X$25 is homogeneous or has real coefficients, stability is equivalent to positive hyperbolicity of the zero set (Rincón et al., 2019).

The same paper proves that positively hyperbolic varieties are precisely the varieties that are hyperbolic with respect to every positive linear subspace in the sense of Shamovich–Vinnikov (Rincón et al., 2019). If $T_X$26 is a real variety of codimension $T_X$27 and $T_X$28 is its projective closure, then $T_X$29 is positively hyperbolic if and only if it is hyperbolic with respect to every $T_X$30 (Rincón et al., 2019). This is one of the clearest places where “$T_X$31-hyperbolic” refers to hyperbolicity relative to a family of linear subspaces.

The tropical consequences are highly rigid. If $T_X$32 is positively hyperbolic, then each maximal cone of $T_X$33 has parallel linear space spanned by $T_X$34 vectors whose supports form a non-crossing partition of a subset of $T_X$35; if $T_X$36 is homogeneous, the spanning vectors are $T_X$37 and the tropicalization is a subfan of the type $T_X$38 braid arrangement $T_X$39 (Rincón et al., 2019). The paper classifies positively hyperbolic toric varieties, characterizes which tropical curves arise from positively hyperbolic curves, and proves that the Bergman fan of a loopless matroid is the tropicalization of a positively hyperbolic variety if and only if the matroid is a positroid (Rincón et al., 2019). In this strand of the subject, hyperbolicity becomes a bridge among stability theory, total positivity, tropical geometry, and positroid combinatorics.

5. Viehweg hyperbolicity and hyperbolicity from variations of Hodge structure

In the moduli-theoretic literature, “$T_X$40-hyperbolic” may also denote Viehweg hyperbolicity. Here the relevant varieties are bases of families with maximal variation. Let $T_X$41 be a smooth projective family over a smooth quasi-projective base, and let $T_X$42 be a smooth compactification with $T_X$43 a simple normal crossings divisor. Viehweg’s hyperbolicity conjecture predicts that if the family has maximal variation and fibers of general type, then

$T_X$44

is big, equivalently $T_X$45 (Popa et al., 2015).

Popa and Schnell prove this conjecture when the geometric generic fiber is of general type, and more generally when it admits a good minimal model (Popa et al., 2015). More precisely, if $T_X$46 is an algebraic fiber space between smooth projective varieties, $T_X$47 contains the singular locus of $T_X$48, and $T_X$49, then $T_X$50 is of log general type; equivalently, $T_X$51 is big (Popa et al., 2015). The proof constructs Viehweg–Zuo sheaves by Hodge-module methods, producing big coherent subsheaves of tensor powers of $T_X$52 and then invoking the Campana–Păun criterion (Popa et al., 2015). In this sense, “V-hyperbolic” refers not to maps into $T_X$53 but to a positivity constraint on bases that support sufficiently non-isotrivial families.

A related Hodge-theoretic line of work studies varieties carrying polarized variations of Hodge structure whose period map is immersive or quasi-finite. Brunebarbe and Cadorel prove that if $T_X$54 carries a complex polarized VHS whose period map is immersive at one point, then $T_X$55 is big and $T_X$56 is weakly positive and big (Brunebarbe et al., 2017). They also show that every entire curve $T_X$57 is contained in the degeneracy locus of the VHS (Brunebarbe et al., 2017). Their proof uses only the negative curvature properties of period domains and an Ahlfors–Schwarz argument, rather than asymptotic Hodge theory near the boundary.

The level-structure paper “Increasing hyperbolicity of varieties supporting a variation of Hodge structures with level structures” strengthens this viewpoint quantitatively (Brunebarbe, 2020). Let $T_X$58 support a variation of integral polarized Hodge structures with quasi-finite period map, and let $T_X$59 be the finite étale congruence cover associated with level-$T_X$60 structures. Then for any $T_X$61, for all but finitely many primes $T_X$62, every integral subvariety $T_X$63 satisfies

$T_X$64

and for any integer $T_X$65, every curve in $T_X$66 has gonality at least $T_X$67 (Brunebarbe, 2020). In particular, for all but finitely many $T_X$68, all subvarieties of $T_X$69 are of general type. For $T_X$70, the paper gives the explicit bound

$T_X$71

for every curve $T_X$72 (Brunebarbe, 2020). This suggests a quantitative form of hyperbolicity in VHS towers: not merely absence of entire curves, but divergence of minimal gonality and minimal canonical volume.

6. Arithmetic, boundedness, and cohomological variants

Arithmetic hyperbolicity produces another family of “$T_X$73-hyperbolic” behaviors. Under Vojta’s height conjecture, “Bounding heights uniformly in families of hyperbolic varieties” proves that if $T_X$74 is a proper surjective morphism of proper Deligne–Mumford stacks, representable by schemes, and the fibers over a constructible locus $T_X$75 are smooth and hyperbolic in the paper’s sense—namely all closed subvarieties are of general type—then there exists a constant $T_X$76 such that for all $T_X$77 with $T_X$78,

$T_X$79

(Ascher et al., 2016). For curves of genus $T_X$80, this yields

$T_X$81

and for smooth hyperbolic surfaces with $T_X$82, one gets a parallel statement with constant $T_X$83 (Ascher et al., 2016). Here “hyperbolic” is algebraic rather than analytic, but the consequence is uniform arithmetic control in families.

The paper “Finiteness properties of pseudo-hyperbolic varieties” develops a pseudo-Lang–Vojta version of this picture (Javanpeykar et al., 2019). A proper variety is pseudo-Mordellic if, away from a proper closed subset, it has only finitely many rational points over every finitely generated field of definition; a projective variety is pseudo-$T_X$84-bounded if degrees of maps from a fixed curve are uniformly bounded away from an exceptional subset; and it is pseudo-algebraically hyperbolic if there is a genus-linear degree bound away from an exceptional subset (Javanpeykar et al., 2019). Under these assumptions, dominant rational self-maps are finite in number, and one obtains analogues of the Kobayashi–Ochiai finiteness theorem for surjective morphisms onto pseudo-$T_X$85-bounded or pseudo-algebraically hyperbolic targets (Javanpeykar et al., 2019). A plausible implication is that Lang–Vojta-type hyperbolicity can be characterized by finiteness of maps almost as strongly as classical general type.

The most recent reinterpretation is cohomological. The paper “Euler characteristics of Kollár-hyperbolic varieties” defines a normal projective variety $T_X$86 to be Kollár-hyperbolic if every nonconstant map from a smooth projective curve to $T_X$87 induces a nontrivial homomorphism on étale fundamental groups after passage to a suitable quotient (Arapura, 4 Sep 2025). It then introduces a vanishing notion called $T_X$88-hyperbolic: if $T_X$89 is a closed normal subgroup of infinite index, then $T_X$90 is $T_X$91-hyperbolic if for any $T_X$92-tower of finite étale covers $T_X$93 and any perverse sheaf $T_X$94 underlying a mixed Hodge module,

$T_X$95

(Arapura, 4 Sep 2025). This vanishing implies a Gromov-type theorem for $T_X$96-cohomology, the sign inequality

$T_X$97

for smooth $T_X$98-folds, and more generally

$T_X$99

(Arapura, 4 Sep 2025). The paper proves $V$00-hyperbolicity for smooth projective varieties with finite Albanese map and for higher-dimensional Kodaira fibrations, and conjectures that every Kollár-hyperbolic variety is $V$01-hyperbolic (Arapura, 4 Sep 2025). In this version, hyperbolicity is no longer defined by excluding maps into $V$02 alone, but by asymptotic cohomological vanishing along étale towers.

These arithmetic and cohomological developments expand the semantic range of the term. “$V$03-hyperbolic” can now refer to varieties whose rational points are height-controlled in families, or to varieties whose nonzero-degree Hodge-theoretic cohomology becomes negligible after normalization along finite étale covers.

7. Classes of varieties, thresholds, and unresolved boundaries

Several concrete classes recur across these theories. Varieties with ample cotangent bundle are repeatedly cited as hyperbolic in the hereditary-general-type sense (Morrow, 2022). Very general hypersurfaces and complete intersections furnish large sources of algebraically hyperbolic examples. For smooth complete intersections of sufficiently high multidegree in projective space, Brody/Kobayashi hyperbolicity follows when the codimension exceeds $V$04 and the degrees are large (Brotbek, 2011). More recently, very general complete intersections

$V$05

with $V$06 are shown to be algebraically hyperbolic if

$V$07

and not algebraically hyperbolic if

$V$08

(Day et al., 7 Nov 2025). For very general hypersurfaces in homogeneous varieties, the threshold is expressed in terms of the canonical coefficients $V$09 in

$V$10

if $V$11 for all $V$12, a very general hypersurface of multidegree $V$13 is algebraically hyperbolic, whereas if $V$14 for some $V$15, the general hypersurface contains lines and is not algebraically hyperbolic (Mioranci, 2023).

Subvarieties of quotients of bounded symmetric domains form another important class. For a quotient $V$16, the paper “Subvarieties of quotients of bounded symmetric domains” defines constants

$V$17

from Bergman curvature and proves that if $V$18 is effective for some $V$19, then every subvariety $V$20 with $V$21 outside $V$22 is of general type, and $V$23 is infinitesimally $V$24-measure hyperbolic modulo that exceptional set (Cadorel, 2018). For ball quotients, one has

$V$25

while for Siegel modular varieties the paper computes $V$26 explicitly via a combinatorial formula (Cadorel, 2018). These results yield effective level bounds for $V$27 and for moduli spaces of curves with level structure (Cadorel, 2018).

The multiplicity of meanings attached to “V-hyperbolic varieties” is therefore not terminological noise but a record of how hyperbolicity has diversified. In one direction, $V$28 is a distribution in $V$29; in another, it is an abelian variety, a projection center, or a variation of Hodge structure; in the newest cohomological work, it refers to vanishing along covers. The surveyed results collectively indicate that strong restrictions on maps into a variety tend to force one of a small set of outcomes: boundedness of curve degrees, positivity or ampleness of canonical-type bundles, projectivity of Hom-schemes, finiteness of rational or holomorphic maps, rigidity of tropicalizations, or vanishing of normalized cohomology. That convergence of consequences, rather than any single formal definition, is what gives the modern landscape of V-hyperbolic varieties its coherence.