In 1983, relating to the study of value distribution of the Guass maps of complete minimal surfaces in ${\Bbb R}^m$, H. Fujimoto introduced the notion of the non-integrated defect for holomorphic maps of an open Riemann surface into $\mathbb{P}^n(\mathbb{C})$ and obtained some results analogous to the Nevanlinna-Cartan defect relation. This paper establishes the non-integrated defect relation for holomorphic maps into projective varieties.
- 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
In 1983, H. Fujimoto introduced the concept of non-integrated defect for holomorphic maps from open Riemann surfaces to Pn(C) while studying the value distribution of Gauss maps of complete minimal surfaces in Rm, and obtained results analogous to the Nevanlinna-Cartan defect relation. This paper establishes non-integrated defect relations for holomorphic maps into projective varieties.
- 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 Rm
- Classical Theory: Traditional Nevanlinna theory and Nevanlinna-Cartan defect relations primarily apply to complex projective spaces Pn(C)
- Theoretical Limitations: Existing non-integrated defect theory is restricted to projective spaces, lacking treatment of general algebraic varieties
- Theoretical Generalization: Extend Fujimoto's non-integrated defect concept from projective spaces to general projective varieties
- Geometric Applications: Provide a broader theoretical framework for studying Gauss maps of complete minimal surfaces
- Value Distribution Theory: Enrich value distribution theory in complex analysis, particularly defect theory for holomorphic maps
- 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 ∑j=1qδf,Ak(Dj)≤γA,L+2ρm
- Improved the second main theorem (Theorem 1.4): Obtained better error term estimates, improving K. Yamanoi's original results
- Established defect relations for higher degree hypersurfaces (Theorem 1.5): Provided precise defect bounds for general hypersurfaces of sufficiently high degree
- Provided main lemma for jet differentials (Lemma 2.2): Supplied important technical tools for jet differential theory
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→X a holomorphic map. The non-integrated defect is defined as:
δf,Aμ0(D):=sup{δ≥0∣δ satisfies condition (∗∗)}
where condition (**) means there exists a bounded non-negative continuous function h such that:
f∗c1([D])−δf∗c1([A])+ddclogh2≥[min{νf(D),μ0}]
Jet differential theory: The paper employs Green-Griffiths jet differentials and logarithmic jet differentials:
- EGGk,mΩX: k-th order m-degree Green-Griffiths sheaf
- EGGk,mΩX(logD): Logarithmic Green-Griffiths jet differential sheaf
Key technical tools:
- Main Lemma 2.2: Controls integral estimates of jet differentials P(jk(f))
- Poincaré-Lelong formula: Connects divisors with Chern forms
- Green-Jensen formula: Used for integral estimates of subharmonic functions
Proof outline of Theorem 1.3:
- Reduce the problem to the unit disk B(R0) via universal covering
- Use proof by contradiction: assume ∑j=1qδf,Ak(Dj)>γA,L+2ρm
- Construct subharmonic functions v and u, utilizing growth conditions
- Apply Yau's results to derive a contradiction
The paper verifies the correctness of the theory through:
- Recovery of classical cases: When X=Pn(C) and D=H1+⋯+Hq (hyperplanes in general position), Fujimoto's original results are recovered
- Wronskian construction: Construct jet differentials via Wronskian determinants:
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.