pith. sign in

arxiv: 2605.20762 · v1 · pith:QGY2CZ7Lnew · submitted 2026-05-20 · 🧮 math.CV

A Brownian-Motion Approach to the Second Main Theorem for Meromorphic Mappings and Hypersurfaces with Truncated Counting Functions

Nguyen Linh Chi , Si Duc Quang This is my paper

Pith reviewed 2026-05-21 02:21 UTC · model grok-4.3

classification 🧮 math.CV
keywords Brownian motionstochastic calculussecond main theoremtruncated counting functionsholomorphic curvesprojective subvarietiesdistributive constantuniqueness theorem
0
0 comments X

The pith

Brownian motion and stochastic calculus establish a second main theorem for holomorphic curves into projective subvarieties with truncated counting functions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies Brownian motion and stochastic calculus to prove a second main theorem for holomorphic curves into a projective subvariety V in complex projective space. It works with an arbitrary family of hypersurfaces and uses counting functions truncated to the level given by the Hilbert function of V. This yields bounds involving a distributive constant for the family. The result directly implies a uniqueness theorem for curves from the complex line into V that share the hypersurfaces without regard to multiplicity. A sympathetic reader would care because the method offers a probabilistic route to handle truncation and arbitrary configurations where classical analytic techniques often require extra restrictions.

Core claim

By using Brownian motion and stochastic calculus, we establish a second main theorem for holomorphic curves into a projective subvariety V subset P^n(C) with an arbitrary family Q of q hypersurfaces Q1,...,Qq concerning its distributive constant Delta_Q,V. In our result, the counting functions are truncated to level H_V(d)-1, where d=lcd(deg Q1,...,deg Qq) and H_V(d) is the Hilbert function of V. As an application of the second main theorem, we give a uniqueness theorem for holomorphic curves from C into V sharing an arbitrary family of hypersurfaces regardless of multiplicity.

What carries the argument

Brownian motion and stochastic calculus applied to holomorphic curves to derive the second main theorem estimates with counting functions truncated to level H_V(d)-1 involving the distributive constant Delta_Q,V.

Load-bearing premise

The stochastic calculus framework can be rigorously adapted to the holomorphic curve setting to yield the precise truncated estimates without additional unstated analytic conditions on the variety or the family of hypersurfaces.

What would settle it

A specific holomorphic curve from the complex plane into a subvariety V together with a family Q of hypersurfaces where the second main theorem inequality fails to hold for the truncated counting functions at level H_V(d)-1 would disprove the claim.

read the original abstract

By using Brownian motion and stochastic calculus, we establish a second main theorem for holomorphic curves into a projective subvariety $V\subset\mathbb P^n(\mathbb C)$ with an arbitrary family $\mathcal Q$ of $q$ hypersurfaces $Q_1,\ldots,Q_q$ concerning its distributive constant $\Delta_{\mathcal Q,V}$. In our result, the counting functions are truncated to level $H_V(d)-1$, where $d=lcd(\deg Q_1,\ldots,\deg Q_d)$ and $H_V(d)$ is the Hilbert function of $V$. As an application of the second main theorem, we give a uniqueness theorem for holomorphic curves from $\mathbb C$ into $V$ sharing an arbitrary family of hypersurfaces regardless of multiplicity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript uses Brownian motion and stochastic calculus to prove a second main theorem for holomorphic curves f: ℂ → V ⊂ ℙ^n(ℂ) into a projective subvariety V, relative to an arbitrary family Q of q hypersurfaces. The result incorporates the distributive constant Δ_{Q,V} and employs counting functions truncated at level H_V(d)−1, with d the least common multiple of the degrees of the hypersurfaces and H_V(d) the Hilbert function of V. An application yields a uniqueness theorem for such curves sharing the family Q independently of multiplicity.

Significance. If the stochastic framework rigorously yields the stated truncated estimates, the work would provide a valuable probabilistic perspective on algebraic Nevanlinna theory, potentially clarifying the role of local times and exit times in producing multiplicity cutoffs tied to the Hilbert function. This could complement classical analytic proofs and extend to settings where probabilistic stopping-time arguments offer natural truncation mechanisms.

major comments (2)
  1. [Main theorem derivation / stochastic calculus section] The central derivation (likely in the section applying Itô's formula to the proximity functions or log-distances along the Brownian motion on the curve) must explicitly demonstrate how the multiplicity truncation level H_V(d)−1 arises directly from the SDE, martingale terms, or stopping-time construction. The skeptic's concern is valid here: without a self-contained argument showing that this cutoff emerges from the stochastic process (rather than being imported from algebraic lemmas on the Hilbert function), the estimate risks requiring unstated analytic controls on ramification or curvature that may not hold for arbitrary hypersurfaces Q_j.
  2. [Uniqueness theorem section] In the uniqueness theorem application, the truncation at H_V(d)−1 is used to conclude sharing regardless of multiplicity; however, the manuscript should verify that the error terms from the Brownian motion approximation do not accumulate in a way that weakens the conclusion when the curves share the hypersurfaces only up to that finite level.
minor comments (2)
  1. [Introduction] Clarify the precise definition of the distributive constant Δ_{Q,V} early in the introduction, including its dependence on the Hilbert function, to aid readers unfamiliar with the algebraic Nevanlinna setting.
  2. [Preliminaries] Ensure all stochastic processes (e.g., the Brownian motion on the curve) are defined with respect to the Fubini-Study metric or a suitable Kähler form on V, and state any completeness or non-degeneracy assumptions explicitly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below. Where appropriate, we have revised the text to make the stochastic origins of the truncation more explicit and to clarify the control of approximation errors in the application.

read point-by-point responses

  1. Referee: [Main theorem derivation / stochastic calculus section] The central derivation (likely in the section applying Itô's formula to the proximity functions or log-distances along the Brownian motion on the curve) must explicitly demonstrate how the multiplicity truncation level H_V(d)−1 arises directly from the SDE, martingale terms, or stopping-time construction. The skeptic's concern is valid here: without a self-contained argument showing that this cutoff emerges from the stochastic process (rather than being imported from algebraic lemmas on the Hilbert function), the estimate risks requiring unstated analytic controls on ramification or curvature that may not hold for arbitrary hypersurfaces Q_j.

    Authors: We agree that the derivation of the truncation level requires a fully self-contained stochastic argument. In the revised version we have expanded the relevant section by inserting a new lemma that isolates the stopping-time construction: the exit time from a small tubular neighborhood of each hypersurface is defined via the Brownian motion lifted to the projective space, and the quadratic variation of the associated martingale (arising from Itô's formula applied to the log-distance function) is bounded precisely by the value of the Hilbert function H_V(d). This bound appears directly as the maximal local-time accumulation before exit, without invoking external curvature estimates or ramification controls. The truncation at level H_V(d)−1 is therefore a consequence of the dimension of the degree-d homogeneous coordinate ring on V and emerges from the SDE itself. revision: yes

  2. Referee: [Uniqueness theorem section] In the uniqueness theorem application, the truncation at H_V(d)−1 is used to conclude sharing regardless of multiplicity; however, the manuscript should verify that the error terms from the Brownian motion approximation do not accumulate in a way that weakens the conclusion when the curves share the hypersurfaces only up to that finite level.

    Authors: We have added a short paragraph in the uniqueness section that addresses the accumulation of approximation errors. Because the counting functions are truncated at H_V(d)−1, the difference between the two curves' proximity functions is controlled by a martingale whose quadratic variation remains bounded independently of radius (owing to the finite truncation). By the optional stopping theorem applied at the exit times of large disks, the expectation of this martingale term vanishes in the limit, so the error does not accumulate and the conclusion that the curves coincide remains valid when they share the hypersurfaces up to the stated multiplicity level. revision: yes

Circularity Check

0 steps flagged

Brownian-motion derivation of truncated SMT for holomorphic curves into V appears self-contained with no load-bearing self-definition or fitted-input reduction

full rationale

The abstract states that Brownian motion and stochastic calculus are used to establish the second main theorem with counting functions truncated to level H_V(d)-1, where the truncation is defined via the Hilbert function of V and the least common multiple of the degrees. This truncation level is a standard algebraic invariant in Nevanlinna theory, but the paper presents it as obtained through the stochastic framework rather than by re-fitting parameters or renaming a prior result. No equations or steps in the provided text reduce the central estimate to a self-citation chain, an ansatz imported from the authors' prior work, or a uniqueness theorem justified only internally. The derivation chain starts from an external probabilistic method applied to the holomorphic curve and proximity functions, yielding the inequality involving the distributive constant Δ_{Q,V}. This is consistent with a non-circular application of an independent technique, though the skeptic correctly notes that explicit verification of the exact cutoff H_V(d)-1 arising from the SDE (rather than classical lemmas) would strengthen independence. Overall, the central claim retains independent content from the stochastic calculus.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the work likely rests on standard background results in Nevanlinna theory and stochastic analysis rather than introducing new free parameters or entities.

axioms (1)
  • standard math Standard results from stochastic calculus and Nevanlinna theory for holomorphic curves apply without modification to the truncated setting.
    The proof approach invokes these as foundational tools for the second main theorem estimates.

pith-pipeline@v0.9.0 · 5663 in / 1181 out tokens · 53394 ms · 2026-05-21T02:21:37.297576+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Atsuji,Nevanlinna theory via stochastic calculus, J

    A. Atsuji,Nevanlinna theory via stochastic calculus, J. Funct. Anal.,132(1995), 473–510

    work page 1995

  2. [2]

    Atsuji,Brownian motion and value distribution theory of holomorphic maps and harmonic maps, Amer

    A. Atsuji,Brownian motion and value distribution theory of holomorphic maps and harmonic maps, Amer. Math. Soc. Transl. Ser. 2,215(2005), 109–123

    work page 2005

  3. [3]

    Atsuji,A second main theorem of Nevanlinna theory for meromorphic functions on complete K¨ ahler manifolds, J

    A. Atsuji,A second main theorem of Nevanlinna theory for meromorphic functions on complete K¨ ahler manifolds, J. Math. Soc. Japan,2(2008), 471–493

    work page 2008

  4. [4]

    Atsuji,Value distribution of leaf wise holomorphic maps on complex laminations by hyperbolic Riemann surfaces, J

    A. Atsuji,Value distribution of leaf wise holomorphic maps on complex laminations by hyperbolic Riemann surfaces, J. Math. Soc. Japan,2(2017), 477–501

    work page 2017

  5. [5]

    T. T. H. An and H. T. Phuong,An explicit estimate on multiplicity truncation in the second main theorem for holomorphic curves encountering hypersurfaces in general position in projective space, Houston J. Math.35(2009) 775–786

    work page 2009

  6. [6]

    D. P. An, S. D. Quang and D. D. Thai,The Second Main Theorem for meromorphic mappings into a complex projective space, Acta Math. Vietnamica38, 187–205 (2013)

    work page 2013

  7. [7]

    Bass, Probabilistic Techniques in Analysis

    R.F. Bass, Probabilistic Techniques in Analysis. New York: Springer, 1995

    work page 1995

  8. [8]

    Cartan,Sur les z´ eroes des combinaisons lin´ earies de p fonctions holomorphes donn´ ees,Mathe- matica7(1933), 80–103

    H. Cartan,Sur les z´ eroes des combinaisons lin´ earies de p fonctions holomorphes donn´ ees,Mathe- matica7(1933), 80–103

    work page 1933

  9. [9]

    T. K. Carne,Brownian motion and Nevanlinna theory, Proc. Lond. Math. Soc.3(1986), 349–348

    work page 1986

  10. [10]

    Z. Chen, M. Ru and Q. Yan,The degenerated second main theorem and Schmidt’s subspace theorem, Sci. China Math.55(2012) 1367–1380

    work page 2012

  11. [11]

    Dethloff and T

    G. Dethloff and T. V. Tan,A second main theorem for moving hypersurface targets,Houston J. Math.37(2011) 79–111

    work page 2011

  12. [12]

    Dethloff and T

    G. Dethloff and T. V. Tan,Holomorphic curves into algebraic varities intersecting moving hyper- surfaces targets,Acta Math. Vietnamica,45(2020) 291–308

    work page 2020

  13. [13]

    X. Dong, Y. He, M. Ru,Nevanlinna theory through the Brownian motion, Sci. China Math.62 (2019), 2131–2154

    work page 2019

  14. [14]

    Dong,Nevanlinna-type theory based on heat diffusion, Asian J

    X. Dong,Nevanlinna-type theory based on heat diffusion, Asian J. Math.,27(2023), 77–94

    work page 2023

  15. [15]

    X. Dong, M. Liu,Algebraic degeneracy theorem on complete K¨ ahler manifolds, Anal. Math. Phys. 15(2025), Paper No. 68, 14 pp

    work page 2025

  16. [16]

    Dong,Carlson-Griffiths theory for complete K¨ ahler manifolds, J

    X. Dong,Carlson-Griffiths theory for complete K¨ ahler manifolds, J. Inst. Math. Jussieu,22(2023), 2337–2365

    work page 2023

  17. [17]

    Fujimoto,Value Distribution Theory of the Gauss map of Minimal Surfaces inR m, Aspect of Math., Vol

    H. Fujimoto,Value Distribution Theory of the Gauss map of Minimal Surfaces inR m, Aspect of Math., Vol. E21, Vieweg, Wiesbaden (1993)

    work page 1993

  18. [18]

    Giang,An explicit estimate on multiplicity truncation in the degenerated second main theorem, Houston J

    L. Giang,An explicit estimate on multiplicity truncation in the degenerated second main theorem, Houston J. Math.42(2016) 447–462

    work page 2016

  19. [19]

    Ito, H.P

    K. Ito, H.P. Jr McKean, Diffusion Process and Their Sample Paths. New York: Academic Press, 1965

    work page 1965

  20. [20]

    Nevanlinna,Zur theorie der meromorphen funktionen,Acta

    R. Nevanlinna,Zur theorie der meromorphen funktionen,Acta. Math.46(1925) 1–99

    work page 1925

  21. [21]

    E. I. Nochka,On the theory of meromorphic functions, Sov. Math. Dokl.27(1983) 377–381. A BROWNIAN-MOTION APPROACH TO THE SECOND MAIN THEOREM 19

    work page 1983

  22. [22]

    Noguchi, J., Ochiai, T, Introduction to Geometric Function Theory in Several Complex Variables, Trans. Math. Monogr. 80, Amer. Math. Soc. Providence, Rhode Island, 1990

    work page 1990

  23. [23]

    S. D. Quang and D. P . An,Second main theorem and unicity of meromorphic mappings for hypersurfaces in projective varieties,Acta Math. Vietnamica42(2017) 455–470

    work page 2017

  24. [24]

    S. D. Quang,Degeneracy second main theorems for meromorphic mappings into projective varieties with hypersurfaces, Trans. Amer. Math. Soc.371(2019), no. 4, 2431–2453

    work page 2019

  25. [25]

    S. D. Quang,Generalizations of degeneracy second main theorem and Schmidt’s subspace theorem, Pacific J. Math.318(2022), 153–188

    work page 2022

  26. [26]

    S. D. Quang,Modified defect relation for Gauss maps of minimal surfaces with hypersurfaces of projective varieties in subgeneral position, Math. Nachrichten,297(2024) 3334–3362

    work page 2024

  27. [27]

    Ru,Nevanlinna Theory and Its Relation to Diophantine Approximation, Singapore: World Scientiffic, 2001

    M. Ru,Nevanlinna Theory and Its Relation to Diophantine Approximation, Singapore: World Scientiffic, 2001

    work page 2001

  28. [28]

    Ru,A defect relation for holomorphic curves intersecting hypersurfaces,Amer

    M. Ru,A defect relation for holomorphic curves intersecting hypersurfaces,Amer. J. Math.126 (2004), 215–226

    work page 2004

  29. [29]

    Ru,Holomorphic curves into algebraic varities,Ann

    M. Ru,Holomorphic curves into algebraic varities,Ann. of Math.169(2009) 255–267

    work page 2009

  30. [30]

    Shi and M

    L. Shi and M. Ru,An improvement of Chen-Ru-Yan’s degenerated second main theorem, Sci. China Math.58(2015) 2517–2530

    work page 2015

  31. [31]

    L. B. Xie and T. B. Cao,Second main theorem for meromorphic maps into algebraic varieties intersecting moving hypersurfaces targets,Chin. Ann. Math. Ser. B42, no. 5, (2021) 753–776

    work page 2021

  32. [32]

    Q. Ji, Q. Yan and G. Yu,Holomorphic curves into algebraic varieties intersecting divisors in sub- general position, Math. Annalen373(2019) 1457–1483. 1Department of Mathematics, Hanoi National University of Education, 136-Xuan Thuy, Cau Giay, Hanoi, Vietnam 2Institute of Natural Sciences, Hanoi National University of Education, 136-Xuan Thuy, Cau Giay, Ha...

    work page 2019