A Chow-Type theorem from asymptotic directions

Nhan Nguyen

A Chow-Type theorem from asymptotic directions

T0 review · 0 major / 5 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves a metric Chow-type characterization: a closed pure d-dimensional complex analytic set in C^n is algebraic if and only if its projective asymptotic direction set has zero 2d-dimensional Hausdorff measure, equivalently…

desk verdict A genuinely new and correct metric Chow-type theorem; the central proof holds up, only minor presentational issues. read the letter →

arxiv 2608.21800 v1 pith:VBINAF5J submitted 2026-08-22 math.AG

Nhan Nguyen This is my paper · ORCID

classification math.AG MSC 32B1528A7814P1003C64

keywords complexanalyticsetalgebraictangentconeatinfinityasymptoticdirectionHausdorffmeasureChowtheoremo-minimalstructureGrassmannian

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a metric version of Chow's theorem for affine space: a closed complex analytic set X in C^n of pure dimension d is algebraic precisely when the set of its projective asymptotic directions at infinity has zero 2d-dimensional Hausdorff measure (and, in this class, equivalently, Hausdorff dimension below 2d). The direction set is the image in projective space of the total tangent cone at infinity, so the condition is purely about how X escapes to infinity, not about equations or polynomial growth. A size gap follows: algebraic sets have direction sets of Hausdorff dimension 2d-2, while nonalgebraic sets have dimension at least 2d, so the value 2d-1 cannot occur. The same criterion yields that a nonalgebraic analytic set meets every complementary complex plane at infinity, that a nonalgebraic hypersurface has every projective direction at infinity, and that an entire map is polynomial exactly when the direction set of its graph has zero 2d-measure.

What carries the argument

The load-bearing object is the projective asymptotic direction set Sigma_infty(X), defined as the image under the canonical projection from C^n\{0} to $P^{{n-1}}$(C) of the total tangent cone at infinity C_infty(X) — the set of limit vectors v for which points x_j in X with ||x_j|| tending to infinity satisfy x_j/t_j to v for some t_j to infinity. The proof's mechanism is an avoiding-plane estimate on the Grassmannian: a Hausdorff-measure computation on the incidence variety {(ell,L): ell subset L} shows that if $H^{{2d}}$(Sigma_infty(X)) = 0, then almost every complex (n-d)-plane L satisfies L cap C_infty(X) = {0}. Such an avoiding plane produces the linear-growth bound ||y|| <= M(1+||x||) in a complement, hence an algebraic region of type (d,n); Rudin's geometric criterion — a closed pure d-dimensional analytic set contained in an algebraic region is algebraic — then delivers the conclusion.

What would settle it

Compute Sigma_infty(Gamma_f) for the graph of a specific transcendental entire function, such as f(z) = e^z. The theorem predicts Sigma_infty(Gamma_f) = $P^{1}$(C) and $H^{2}$(Sigma_infty(Gamma_f)) > 0 for any nonpolynomial entire f; a direct calculation of C_infty(Gamma_{e^z}) either confirms every projective direction arises or finds a missing direction, which would refute Corollary 3.4. More directly, exhibiting any closed pure d-dimensional complex analytic X with $H^{{2d}}$(Sigma_infty(X)) = 0 but X transcendental would settle the main characterization as false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for a closed pure d-dimensional complex analytic set X in C^n, the statements (i) X is algebraic, (ii) $H^{{2d}}$(Sigma_infty(X)) = 0, and (iii) dim_H Sigma_infty(X) < 2d are equivalent. Here Sigma_infty(X) is the set of complex lines through the origin that carry a nonzero vector of the total tangent cone at infinity C_infty(X). For d>0, algebraicity forces the exact dimension dim_H Sigma_infty(X) = 2d-2, because Sigma_infty(X) is then a complex projective algebraic set of dimension d-1; nonalgebraicity forces $H^{{2d}}$(Sigma_infty(X))>0 and dim_H Sigma_infty(X) >= 2d. The paper also proves that a nonalgebraic d-dimensional set has Sigma_infty(X) meeting every projective (n-d-1)-plane, so a nonalgebraic hypersurface has Sigma_infty(X) = $P^{{n-1}}$(C), and that if C_infty(X) is definable in an o-minimal structure with real dimension at most 2d, then X is algebraic.

Load-bearing premise

The load-bearing premise is an external theorem stating that a closed complex analytic set lying in a region of at-most-linear growth in a complementary direction must be algebraic; the paper relies on this theorem without proving it.

Editorial extensions

If this is right

For an algebraic X of dimension d>0, Sigma_infty(X) is a complex projective algebraic set of dimension d-1, so its Hausdorff dimension is exactly 2d-2; the value 2d-1 can never occur as dim_H Sigma_infty(X).
Every nonalgebraic d-dimensional set has H^{2d}(Sigma_infty(X))>0 and dim_H Sigma_infty(X) >= 2d, and its direction set meets every projective (n-d-1)-plane; in particular, a nonalgebraic analytic hypersurface has every projective direction at infinity.
For an entire map F from C^d to C^m, F is polynomial if and only if H^{2d}(Sigma_infty(Gamma_F)) = 0; nonpolynomial graphs carry positive 2d-measure in their direction sets.
If C_infty(X) is definable in an o-minimal structure and dim_R C_infty(X) <= 2d, then X is algebraic; with d>0, a definable nonalgebraic X must satisfy dim_R C_infty(X) >= 2d+1.
The dichotomy is clean in positive dimension: dim_H Sigma_infty(X) is either 2d-2 for algebraic sets or at least 2d for nonalgebraic sets.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Inference: the metric threshold suggests a numerical route to detecting transcendence — sample large spheres, estimate the Hausdorff dimension of the limiting direction set, and compare it against the predicted 2d-2 versus >= 2d gap; the size gap may make the dichotomy robust under approximation.
Inference: the avoiding-plane mechanism is not tied to algebraic sets specifically; any setting with a Rudin-type geometric criterion converting polynomial-growth regions into regularity could turn 'few asymptotic directions' into a strong structural conclusion.
Inference: the o-minimal application replaces definability of X by definability of its tangent cone at infinity, which may be easier to verify in practice; building definable tangent cones of dimension exactly 2d from non-definable analytic sets would test how far the criterion stretches.
Inference: combining the exact dimension 2d-2 for algebraic X with the dimension gap could yield a real-algebraic certificate for algebraicity of definable analytic sets, reducing a transcendence question to a dimension computation.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper proves a clean, correct result: for a closed pure d-dimensional complex analytic set X in C^n, X is algebraic iff H^{2d}(Sigma_infty(X))=0, where Sigma_infty(X) is the projective set of asymptotic directions. The forward direction is essentially known (Le–Pham), but the converse is new and proved by a neat dimension-counting argument. If the direction set is small, a generic complementary (n-d)-plane avoids it; that plane gives a linear growth condition, producing an algebraic region of type (d,n) with exponent 1; Rudin's classical criterion then forces algebraicity. The logic is sound, and the dimension-gap corollary (algebraic sets have Sigma of Hausdorff dimension exactly 2d-2, nonalgebraic ones at least 2d) is striking. The hypersurface version—nonalgebraic hypersurfaces have every projective direction—is a nice geometric statement. The paper is honest about its external inputs. Rudin's theorem is quoted as a black box, not reproved. That is acceptable: it is a standard result (Chirka's book) and the application is legitimate. The other cited results are used appropriately. Proposition 2.5's product-measure argument is standard, though a referee might ask for a sentence justifying the nullity of H^{s+m} for products E×F when H^s(E)=0 and F is a fixed compact manifold. The step is not in doubt. The o-minimal application is an immediate corollary and does extend the earlier Dias–Ribeiro and Sampaio criteria to definable tangent cones. The d=0 and d=n cases are handled correctly. The only real weakness is prose quality: there are several typos and ungrammatical phrases ('latter' for 'later', 'It is immediately follows', an incomplete sentence before Lemma 2.4). None of this affects the mathematics. I also checked whether the conclusion overreaches: it does not. The paper claims exactly what Theorem 2.11 and Proposition 2.5 deliver. This paper deserves a serious referee. I would bring it to the reading group and expect acceptance after minor revision. Recommend to review, not desk reject.

Referee Report

0 major / 5 minor

Summary. The paper proves a metric Chow-type theorem: for a closed pure d-dimensional complex analytic set X ⊂ C^n, algebraicity is characterized by the vanishing of the 2d-dimensional Hausdorff measure of the projective asymptotic direction set Σ_∞(X), equivalently by dim_H Σ_∞(X) < 2d. For algebraic X with d > 0 the Hausdorff dimension of Σ_∞(X) is exactly 2d−2, so nonalgebraic sets have asymptotic direction set of Hausdorff dimension at least 2d. The proof combines a measure estimate on an incidence bundle over the Grassmannian, which produces a complementary (n−d)-plane avoiding C_∞(X), with a linear-growth estimate and Rudin's geometric criterion for algebraicity. Applications include a complementary-plane intersection theorem, a dichotomy for graphs of entire maps, and an o-minimal algebraicity criterion under the assumption that only C_∞(X), not X, is definable and has real dimension at most 2d.

Significance. The main theorem is a clean, sharp, and apparently new metric characterization of algebraicity for affine complex analytic sets. It gives a quantitative dimension gap—2d−2 for algebraic sets versus at least 2d for nonalgebraic ones—and it yields quick derivations of known definable Chow-type theorems as well as new geometric corollaries. The proof is transparent and correctly reduces the main load-bearing step to Rudin's classical geometric criterion, which is properly cited; the remaining ingredients (incidence-bundle product-measure estimates, tangent-cone identifications, o-minimal dimension theory) are standard. I found no circular reasoning, no fitted parameters, and no unsupported step that threatens the central claim. If the main theorem is correct, as the argument strongly indicates, this is a significant contribution to affine Chow-type theory.

minor comments (5)

[§2.1, Definition 2.1] In the definition of C_∞(A), the condition ||x_j||→∞ is redundant for v ≠ 0; consider simplifying by requiring only t_j→∞ and x_j/t_j→v, with the understanding that for v=0 one uses t_j=||x_j||^2.
[§2, Theorem 2.11, d=n case] The sentence 'If d=n, X=C^n' should be justified or rephrased: a nonempty closed pure n-dimensional analytic subset of C^n is all of C^n because it contains an open set around any regular point and is closed in the connected space C^n.
[§3.2, Theorem 3.6] The implication from dim_R Σ_∞(X) ≤ 2d−1 to H^{2d}(Σ_∞(X)) = 0 uses the standard o-minimal fact that definable sets have Hausdorff dimension equal to their o-minimal dimension; a reference should be supplied at that point for completeness.
[§3.1, Corollary 3.5] In the argument that each coordinate f_j is polynomial, the step 'a rational function with no pole on C^d is polynomial' is stated without proof; a one-sentence explanation would be helpful for readers unfamiliar with this fact.
[Throughout] There are several minor language issues: 'It is immediately follows from definition' (Section 2.1), 'The following elementary observation.' (before Lemma 2.4) lacks a verb, and 'latter Sampaio' in the Introduction should be 'later Sampaio'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived from independent external results.

full rationale

The paper's central claim is the equivalence X algebraic ⇔ H^{2d}(Σ_∞(X)) = 0. The hard direction is proved by a genuinely independent chain: H^{2d}(Σ_∞(X)) = 0 is fed into Proposition 2.5 to produce, for almost every (n−d)-plane L, the condition L ∩ C_∞(X) = {0}; Proposition 2.7 then converts that into a linear-growth estimate ∥y∥ ≤ M(1+∥x∥) on a complement decomposition; and Theorem 2.10 packages this as an algebraic region of type (d,n) with exponent 1. The final step invokes Rudin's geometric criterion (Theorem 2.9, cited from Rudin [13] and Chirka [3]), an external, classical theorem that does not presuppose the present paper's conclusions. No fitted parameters are introduced, no quantity is renamed as a prediction, and there are no self-citations. The converse direction for algebraic X uses the standard fact that the tangent cone at infinity of an algebraic set is the algebraic tangent cone, cited to Le–Pham [10], together with the resulting projective dimension d−1; this is also independent external input. The d=0 case is handled separately by compactness and discreteness. The o-minimal applications are derived from Theorem 2.11 and do not feed back into it. I looked for the enumerated circularity patterns—self-definitional definitions, fitted inputs called predictions, load-bearing self-citations, uniqueness imported from the authors, ansatz smuggled in via citation, or renaming known results—and found no quoted passage exhibiting any of them.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces the set Σ_∞(X) as a new geometric object, but this is a definition, not a postulated entity. The proof relies only on standard theorems in complex analysis, geometric measure theory, and o-minimal geometry. No free parameters are fitted.

assumptions (5)

standard math Rudin's geometric criterion (Theorem 2.9): a closed pure d-dimensional complex analytic subset of C^n contained in an algebraic region of type (d,n) is algebraic.
Invoked in Theorem 2.10 to convert the existence of an avoiding complement into algebraicity. Cited to Rudin [13] and Chirka [3]; not proved in the paper.
standard math Le-Pham's theorem: for an algebraic X, the total tangent cone at infinity C_∞(X) is a complex algebraic cone of complex dimension d.
Used in Remark 2.3 and Theorem 3.1 to obtain dim_H Σ_∞(X)=2d-2 for algebraic X. Cited to Le and Pham [10].
standard math Hausdorff measure properties: Lipschitz maps between compact Riemannian manifolds preserve sets of Hausdorff measure zero, and the product of a null set with a compact m-dimensional manifold has null measure in the sum dimension.
Used in Proposition 2.5 to propagate H^{2d}(E)=0 through the incidence bundle and its projection to the Grassmannian.
standard math O-minimal dimension and measure facts: a definable set of o-minimal dimension at most k has Hausdorff dimension at most k and H^{k+1}=0; dimensions of definable projections behave as expected.
Used in Theorem 3.6 and Corollary 3.9 to pass from definability of the tangent cone to vanishing of H^{2d}(Σ_∞). Standard references [5, 16, 17, 11].
standard math A closed zero-dimensional complex analytic set is discrete; a compact discrete set is finite.
Used in Theorem 2.11 to handle the d=0 case when X is bounded.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Chow-Type theorem from asymptotic directions." pith.science (2026). https://pith.science/paper/VBINAF5J

@misc{pith2026260821800,
  author       = {Pith},
  title        = {Pith review of: A Chow-Type theorem from asymptotic directions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VBINAF5J}},
  note         = {Machine review of arXiv:2608.21800}
}

abstract

Let $X\subset \mathbb C^n$ be a closed pure $d$-dimensional complex analytic set. We associate to $X$ its set of projective asymptotic directions $$ \Sigma_\infty(X) :=\{\ell \in \mathbb P^{n-1}(\mathbb C):\ell\cap C_\infty(X)\ne\{0\}\}, $$ where $ C_\infty(X)$ is the total tangent cone at infinity. We prove the metric Chow-type characterization $$X\text{ is algebraic} \quad \Longleftrightarrow \quad \mathcal{H}^{2d} \bigl( \Sigma_\infty(X)\bigr)=0. $$ As an application, if $C_\infty(X)$ is definable in an o-minimal expansion of $(\mathbb R,+,\cdot)$ and $\dim_{\mathbb R} C_\infty(X)\le 2d$, then $X$ is algebraic.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 14 canonical work pages

[1]

E. Bishop. Conditions for the analyticity of certain sets.Michigan Math. J., 11:289–304, 1964

work page 1964
[2]

P. Brosnan. Volumes of definable sets in o-minimal expansions and affine GAGA theorems. In Compactifications, configurations, and cohomology, volume 790 ofContemp. Math., pages 15–24. Amer. Math. Soc., [Providence], RI, [2023]©2023

work page 2023
[3]

E. M. Chirka.Complex analytic sets, volume 46 ofMathematics and its Applications (Soviet Series). Kluwer Academic Publishers Group, Dordrecht, 1989. Translated from the Russian by R. A. M. Hoksbergen

1989
[4]

W.-L. Chow. On compact complex analytic varieties.Amer. J. Math., 71:893–914, 1949

work page 1949
[5]

Coste.An introduction to o-minimal geometry

M. Coste.An introduction to o-minimal geometry. Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica. Instituti Editoriali e Poligrafici Internazionali, Pisa, 2000

work page 2000
[6]

L. R. G. Dias and N. R. Ribeiro. Lipschitz normally embedded set and tangent cones at infinity. J. Geom. Anal., 32(2):Paper No. 51, 10, 2022

work page 2022
[7]

Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften

H. Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York, Inc., New York, 1969

1969
[8]

Fernandes and J

A. Fernandes and J. E. Sampaio. On Lipschitz rigidity of complex analytic sets.J. Geom. Anal., 30(1):706–718, 2020

work page 2020

Show all 17 references

[9]

Kurdyka and G

K. Kurdyka and G. Raby. Densit´ e des ensembles sous-analytiques.Ann. Inst. Fourier (Grenoble), 39(3):753–771, 1989

1989
[10]

Le and T

C.-T. Le and T. S. Pham. On tangent cones at infinity of algebraic varieties.J. Algebra Appl., 17(8):1850143, 10, 2018

2018
[11]

T. L. Loi. Lecture 1: o-minimal structures. InThe Japanese-Australian Workshop on Real and Complex Singularities—JARCS III, volume 43 ofProc. Centre Math. Appl. Austral. Nat. Univ., pages 19–30. Austral. Nat. Univ., Canberra, 2010

2010
[12]

Peterzil and S

Y. Peterzil and S. Starchenko. Complex analytic geometry and analytic-geometric categories.J. Reine Angew. Math., 626:39–74, 2009

2009
[13]

W. Rudin. A geometric criterion for algebraic varieties.J. Math. Mech., 17:671–683, 1967/68

1967
[14]

J. E. Sampaio. On Lipschitz geometry at infinity of complex analytic sets.Calc. Var. Partial Differential Equations, 62(2):Paper No. 69, 14, 2023

2023
[15]

W. Stoll. The growth of the area of a transcendental analytic set. I, II.Math. Ann., 156:47–78, 144–170, 1964. A CHOW-TYPE THEOREM FROM ASYMPTOTIC DIRECTIONS 9

1964
[16]

van den Dries.Tame topology and o-minimal structures, volume 248 ofLondon Mathematical Society Lecture Note Series

L. van den Dries.Tame topology and o-minimal structures, volume 248 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1998

1998
[17]

van den Dries and C

L. van den Dries and C. Miller. Geometric categories and o-minimal structures.Duke Math. J., 84(2):497–540, 1996. FPT University, Danang, Vietnam Email address:nguyenxuanvietnhan@gmail.com

1996

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.

[1] [1]

E. Bishop. Conditions for the analyticity of certain sets.Michigan Math. J., 11:289–304, 1964

work page 1964

[2] [2]

P. Brosnan. Volumes of definable sets in o-minimal expansions and affine GAGA theorems. In Compactifications, configurations, and cohomology, volume 790 ofContemp. Math., pages 15–24. Amer. Math. Soc., [Providence], RI, [2023]©2023

work page 2023

[3] [3]

E. M. Chirka.Complex analytic sets, volume 46 ofMathematics and its Applications (Soviet Series). Kluwer Academic Publishers Group, Dordrecht, 1989. Translated from the Russian by R. A. M. Hoksbergen

1989

[4] [4]

W.-L. Chow. On compact complex analytic varieties.Amer. J. Math., 71:893–914, 1949

work page 1949

[5] [5]

Coste.An introduction to o-minimal geometry

M. Coste.An introduction to o-minimal geometry. Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica. Instituti Editoriali e Poligrafici Internazionali, Pisa, 2000

work page 2000

[6] [6]

L. R. G. Dias and N. R. Ribeiro. Lipschitz normally embedded set and tangent cones at infinity. J. Geom. Anal., 32(2):Paper No. 51, 10, 2022

work page 2022

[7] [7]

Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften

H. Federer.Geometric measure theory, volume Band 153 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York, Inc., New York, 1969

1969

[8] [8]

Fernandes and J

A. Fernandes and J. E. Sampaio. On Lipschitz rigidity of complex analytic sets.J. Geom. Anal., 30(1):706–718, 2020

work page 2020