A non-integrated defect relation for holomorphic maps into algebraic varieties

Basic Information

• Paper ID: 2501.00827
• Title: A non-integrated defect relation for holomorphic maps into algebraic varieties
• Authors: Qili Cai, Min Ru, Chin Jui Yang
• Classification: math.CV (Complex Analysis)
• Publication Date: January 1, 2025
• Paper Link: https://arxiv.org/abs/2501.00827

Abstract

In 1983, H. Fujimoto introduced the concept of non-integrated defect for holomorphic maps from open Riemann surfaces to $\mathbb{P}^n(\mathbb{C})$ while studying the value distribution of Gauss maps of complete minimal surfaces in $\mathbb{R}^m$, and obtained results analogous to the Nevanlinna-Cartan defect relation. This paper establishes non-integrated defect relations for holomorphic maps into projective varieties.

Research Background and Motivation

Problem Background

1. Historical Origin: In 1983, H. Fujimoto introduced the concept of non-integrated defect while studying the value distribution of Gauss maps of complete minimal surfaces in $\mathbb{R}^m$
2. Classical Theory: Traditional Nevanlinna theory and Nevanlinna-Cartan defect relations primarily apply to complex projective spaces $\mathbb{P}^n(\mathbb{C})$
3. Theoretical Limitations: Existing non-integrated defect theory is restricted to projective spaces, lacking treatment of general algebraic varieties

Research Motivation

1. Theoretical Generalization: Extend Fujimoto's non-integrated defect concept from projective spaces to general projective varieties
2. Geometric Applications: Provide a broader theoretical framework for studying Gauss maps of complete minimal surfaces
3. Value Distribution Theory: Enrich value distribution theory in complex analysis, particularly defect theory for holomorphic maps

Core Contributions

1. Established non-integrated defect relations on projective varieties (Theorem 1.3): Generalized Fujimoto's results to smooth projective varieties, obtaining a defect relation of the form $\sum_{j=1}^q \delta_{f,A}^k(D_j) \leq \gamma_{A,L} + 2\rho m$
2. Improved the second main theorem (Theorem 1.4): Obtained better error term estimates, improving K. Yamanoi's original results
3. Established defect relations for higher degree hypersurfaces (Theorem 1.5): Provided precise defect bounds for general hypersurfaces of sufficiently high degree
4. Provided main lemma for jet differentials (Lemma 2.2): Supplied important technical tools for jet differential theory

Methodology Details

Core Definitions

Non-integrated defect definition (Definition 1.2): Let $X$ be a projective variety, $D$ an effective Cartier divisor, $A$ an ample divisor, and $f: M \to X$ a holomorphic map. The non-integrated defect is defined as:

$\delta_{f,A}^{\mu_0}(D) := \sup \{\delta \geq 0 | \delta \text{ satisfies condition } (**)\}$

where condition (**) means there exists a bounded non-negative continuous function $h$ such that: $f^*c_1([D]) - \delta f^*c_1([A]) + dd^c \log h^2 \geq [\min\{\nu_{f(D)}, \mu_0\}]$

Technical Framework

Jet differential theory: The paper employs Green-Griffiths jet differentials and logarithmic jet differentials:

• $EGG_{k,m}\Omega_X$: $k$-th order $m$-degree Green-Griffiths sheaf
• $EGG_{k,m}\Omega_X(\log D)$: Logarithmic Green-Griffiths jet differential sheaf

Key technical tools:

1. Main Lemma 2.2: Controls integral estimates of jet differentials $P(j_k(f))$
2. Poincaré-Lelong formula: Connects divisors with Chern forms
3. Green-Jensen formula: Used for integral estimates of subharmonic functions

Proof Strategy

Proof outline of Theorem 1.3:

1. Reduce the problem to the unit disk $B(R_0)$ via universal covering
2. Use proof by contradiction: assume $\sum_{j=1}^q \delta_{f,A}^k(D_j) > \gamma_{A,L} + 2\rho m$
3. Construct subharmonic functions $v$ and $u$, utilizing growth conditions
4. Apply Yau's results to derive a contradiction

Experimental Setup

Theoretical Verification

The paper verifies the correctness of the theory through:

1. Recovery of classical cases: When $X = \mathbb{P}^n(\mathbb{C})$ and $D = H_1 + \cdots + H_q$ (hyperplanes in general position), Fujimoto's original results are recovered
2. Wronskian construction: Construct jet differentials via Wronskian determinants: $P = \det \begin{bmatrix} z_0 & \cdots & z_n \\ dz_0 & \cdots & dz_n \\ \vdots & \ddots & \vdots \\ d^n z_0 & \cdots & d^n z_n \end{bmatrix}$

Application Examples

Application to complete minimal surfaces: For a complete minimal surface $M$ in $\mathbb{R}^n$ with generalized Gauss map $G: M \to \mathbb{P}^{n-1}(\mathbb{C})$, if $G$ omits a general smooth hypersurface $D$ of degree at least $(n(n+1))^{n+2}$, then $M$ must be flat.

Experimental Results

Main Theoretical Results

Theorem 1.3 (Main defect relation): $\sum_{j=1}^q \delta_{f,A}^k(D_j) \leq \gamma_{A,L} + 2\rho m$

where $\gamma_{A,L} = \inf\{t \in \mathbb{R} | tc_1([A]) + c_1([L]) > 0\}$

Theorem 1.5 (Higher degree hypersurfaces): For a general smooth hypersurface $D$ of degree $d \geq (n+1)^{n+3}(n+1+\frac{c}{2})^{n+3}$: $\delta_{f,A,*}^1(D) \leq d - c$

Error Term Improvements

Error term $S(r,f,A)$ in Theorem 1.4:

• When $R_0 = \infty$: $S(r,f,A) \leq m((1+\varepsilon)\log^+ T_{f,A}(r) + (1+\varepsilon)^2\log^+ \log^+ T_{f,A}(r)) + O(1)$
• When $R_0 < \infty$: $S(r,f,A) \leq K(\log\frac{1}{R_0-r} + \log^+ T_{f,A}(r))$

This represents significant improvement over previous results.

Related Work

Historical Development

1. Nevanlinna theory (1925): Established classical value distribution theory
2. Cartan theorem (1933): Generalized to multiple hyperplanes
3. Fujimoto's work (1983): Introduced non-integrated defect concept
4. Yamanoi's results (2004): Second main theorem on algebraic varieties

Related Research Directions

1. Jet differential theory: Demailly, Green-Griffiths conjecture
2. Hyperbolicity theory: Kobayashi hyperbolicity, Siu's results
3. Minimal surface theory: Value distribution of Gauss maps

Conclusions and Discussion

Main Conclusions

1. Successfully generalized non-integrated defect theory to projective varieties
2. Established general defect relations incorporating growth conditions
3. Provided precise defect bounds for higher degree general hypersurfaces

Theoretical Significance

1. Unified theoretical framework: Unified defect theory for projective spaces and general projective varieties
2. Improved technical estimates: Obtained better error terms
3. Extended applicability: Provided stronger tools for minimal surface theory

Limitations

1. Technical conditions: Requires existence conditions for jet differentials
2. Growth assumptions: Requires specific growth conditions $\rho f^*c_1([A]) + dd^c \log h^2 \geq \text{Ric}(\omega)$
3. Generality: Requires "general position" assumption for higher degree hypersurfaces

Future Directions

1. Generalization to more general varieties: Consider non-projective algebraic varieties
2. Optimize degree bounds: Improve degree lower bounds for higher degree hypersurfaces
3. Computational aspects: Develop more effective computational methods

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: Generalizes classical theory to more general settings
2. Technical rigor: Detailed proofs with refined technical treatment
3. High application value: Important applications to minimal surface theory
4. Optimal results: Improves known results in multiple aspects

Weaknesses

1. High technical threshold: Requires deep background in algebraic geometry and complex analysis
2. Strong conditions: Certain technical conditions may limit applicability
3. Computational complexity: Practical applications may involve complex computations

Impact

1. Theoretical contribution: Provides important generalization for value distribution theory
2. Technical impact: Techniques for handling jet differentials have broad applicability
3. Application prospects: Potential important applications in geometric analysis

Applicable Scenarios

1. Complex geometry research: Value distribution problems for holomorphic maps
2. Minimal surface theory: Study of Gauss maps
3. Hyperbolic geometry: Research on Kobayashi hyperbolicity

References

The paper cites 25 important references, including:

• Fujimoto's original work 9
• Yamanoi's algebraic geometry version 22,23
• Demailly's jet differential theory 6
• Brotbek-Deng's hyperbolicity results 2,3
• Min Ru's Nevanlinna theory monographs 17,18

Overall Assessment: This is a high-quality theoretical mathematics paper making important contributions at the intersection of complex analysis and algebraic geometry. The paper is technically rigorous with results of significant theoretical importance and application value, representing important progress in the field.