Topological reconstruction theorems over uncountable algebraically closed fields

Benjamin Castle; Ronan O'Gorman

REVIEW 3 major objections 5 minor 17 references

Topological reconstruction theorems over uncountable algebraically closed fields

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read Over uncountable algebraically closed fields, the Zariski topological space of an irreducible quasi-projective variety of dimension at least two determines the variety up to field isomorphism, normalization, and purely inseparable morphism.

desk verdict A real extension of KLOS with a strong, mostly self-contained Part 1, but the main theorems are gated by model-theoretic black boxes, one from an unpublished preprint; worth refereeing under conditions. read the letter →

arxiv 2607.14472 v1 pith:HM2SBX6T submitted 2026-07-16 math.AG math.LO

Benjamin Castle , Ronan O'Gorman This is my paper · ORCID

classification math.AGmath.LO MSC 14A1014E2003C45

keywords Zariskitopologytopologicalreconstructionquasi-projectivevarietiesalgebraicallyclosedfieldsuniversalhomeomorphismnormalizationmodeltheoryACF-relics

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 aims to prove that, over uncountable algebraically closed fields, the Zariski topological space of a variety is nearly a complete invariant: for irreducible quasi-projective varieties of dimension at least two, every homeomorphism of the underlying point sets factors as a field isomorphism followed by a purely inseparable morphism between normalizations. If the theorem is right, it settles the reconstruction speculations from the earlier topological-reconstruction program in the quasi-projective, non-normal, reducible, and positive-characteristic settings at once. The proof's central move is to replace the rigid algebro-geometric invariant 'linear equivalence' with a coarser model-theoretic one: definability in the language of fields. A sympathetic reader should care because the result says that the bare topology silently encodes normalization, the base field, and the inseparable part of the map.

What carries the argument

The carrying object is the hyperplane relic X^hyp: a model-theoretic structure whose universe is the variety's closed points, equipped with an (n+1)-ary relation CH recording when n+1 points lie on a common irreducible component of a hyperplane section, plus unary predicates for field-definable subsets. Around this relic the paper develops two tools: sweeping orbits, which are combinatorial families of codimension-one subvarieties that generalize linear systems and are used to prove that the image of the hyperplane-section family under a homeomorphism is definable in the field; and the Zilber trichotomy for ACF-relics, which upgrades that definability to fullness of the relic. Full relics th

What would settle it

Find two irreducible quasi-projective varieties over uncountable algebraically closed fields, of dimension at least 2, with a homeomorphism whose lifted map on normalizations is not purely inseparable and does not factor through a field isomorphism; or exhibit an ACF-relic that is not 1-based yet interprets no infinite field, contradicting the trichotomy theorem. A direct check: take a non-normal surface, form its hyperplane relic X^hyp, and look for a K-definable subset of some power of X that is not definable from the CH relation and the unary predicates—any such set would falsify fullness (

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.4: given uncountable algebraically closed fields K1 and K2 and irreducible quasi-projective varieties X1 and X2 of dimension at least 2, every homeomorphism between their underlying Zariski topological spaces lifts to a commuting square in which a field isomorphism K1 -> K2 is followed by a universal homeomorphism between the normalizations of sigma(X1) and X2. Since a universal homeomorphism between normal varieties is precisely a purely inseparable morphism, the topology determines the variety up to field isomorphism, normalization, and inseparable cover. The same mechanism yields a reducible-varieties counterpart: homeomorphisms

Load-bearing premise

The load-bearing premise is that the cited external model-theoretic results—Zilber's trichotomy for ACF-relics and the isomorphism theorem for full relics, several cited from the authors' own prior work, one unpublished—hold at the stated level of generality; if any carries an unstated hypothesis, the proof that the hyperplane relic is full, and hence the main theorem, is not established.

Editorial extensions

If this is right

Normal quasi-projective varieties in characteristic zero are reconstructed verbatim: any homeomorphism is a field isomorphism followed by an isomorphism of varieties, recovering the original projective conjecture without projectivity.
Varieties over uncountable algebraically closed fields of different characteristics cannot be homeomorphic.
In positive characteristic, the only extra homeomorphisms beyond field isomorphisms are purely inseparable maps, so Frobenius-like behavior is fully accounted for.
For arbitrary reducible varieties, a homeomorphism lifts to a universal homeomorphism of normalizations; with strong connectivity the field-isomorphism factorization holds and glues across components.
The topological space determines the normalization together with the inseparable part of the morphism, which is the strongest statement compatible with known counterexamples involving finite intersections of components.

Reading between the lines

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

The paper implicitly demotes linear equivalence from a fundamental invariant to a symptom: what survives a homeomorphism is not the linear system but its definability type, so analogous reconstruction questions about analytic, differential, or etale topologies could be attacked by identifying the right definability proxy rather than reproducing the original rigidity arguments.
The 'definably shaped' characterization of definability within ind-definable sets is a topological, language-free finiteness criterion; it might be reusable as a black box in other tame model-theoretic settings to recognize when a countable union of definable sets is actually definable.
The theorem suggests a sharp boundary condition: strong connectivity is exactly the hypothesis needed to prevent Galois twists on different components from breaking the global field-isomorphism factorization, so similar factorization results for other reducible objects should expect an analogous connectivity hypothesis.

Share X Bluesky LinkedIn Reddit HN

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

Two things to know. This is the most serious extension of the KLOS reconstruction program I have seen: it answers the KLOS speculations over uncountable algebraically closed fields, covering positive characteristic, affine and non-normal varieties, and reducible varieties. It is not a repackaging. Part 1 is substantial new work: the sweeping-orbit machinery, linked orbits, and definable-shape arguments are intricate and largely self-contained. Theorems 1A–1D and the resulting definability of hyperplane images (Theorem 8.16) are the heart of the paper, and they are argued in real detail.

The soft spot is exactly where the stress-test note points. The passage from definability of CH_2 to the main theorem runs through Theorem 9.2 (X^hyp is full) and Fact 10.1 (isomorphism of full relics). Both rest on deep imported results. Fact 9.7(1) is the main theorem of [5], an unpublished arXiv preprint by the authors; Fact 10.1(2) is [2, Lemma 2.6], another unpublished preprint. The manuscript does not reproduce proofs of these facts, and it does not explicitly verify all their hypotheses for the hyperplane relic. The paper’s own footnote admits that Fact 10.1(2) first appeared in [2]. I did not find an internal contradiction, and I have no independent reason to doubt the imported statements, but the central conclusion is genuinely conditional on them. That is a deferral of the main claim rather than an internal derivation error. Still, as written, Theorems 1.4, 1.6, and 1.9 are only as solid as those two black boxes.

I want to push back on one harsh reading: this is not a circular or fitting exercise. The Part 1 results are new and stand independently of the Zilber trichotomy; Theorem 3.26 and Theorem 8.16 are worth having on their own. The self-citation pattern is not by itself a flaw. The flaw is that the load-bearing model-theoretic facts are cited to unpublished work, and no hypothesis check is supplied.

Who should read this: people working on topological reconstruction, on positive-characteristic classification questions, and on model theory of ACF-relics. It deserves a serious referee, not a desk rejection. A referee should press the authors to either include complete statements and proofs of the imported relic theorems or cite peer-reviewed versions, and to verify explicitly that X^hyp meets the hypotheses. If that cannot be done, the main theorems should be stated as conditional on those external results.

Referee Report

3 major / 5 minor

Summary. The paper extends KLOS's topological reconstruction theorems to arbitrary quasi-projective varieties over uncountable algebraically closed fields. The main theorem (Thm. 1.4) asserts that any homeomorphism of irreducible quasi-projective varieties of dimension at least 2 factors as a field isomorphism followed by a universal homeomorphism of normalizations. Reducible and 'strongly connected' versions are given in Thms. 1.6 and 1.9, and the KLOS speculations are derived in Section 14. The proof is organized into three parts: (1) a long, self-contained geometric/model-theoretic development (Sections 3–8) showing that the image of the hyperplane-section family is definable, via sweeping orbits, linked orbits, and definable shapes; (2) a model-theoretic part (Sections 9–10) using Zilber's trichotomy for ACF-relics and an isomorphism theorem for full relics to reduce the homeomorphism to a definable one; (3) an algebro-geometric analysis of definable homeomorphisms (Sections 11–12) showing they lift to a universal homeomorphism of normalizations.

Significance. If correct, the result is a substantial generalization of KLOS: over uncountable algebraically closed fields, the Zariski topological space determines a variety up to normalization and purely inseparable morphism, and all KLOS speculations in this setting are settled. The paper is ambitious and has a clear, well-motivated architecture, and Part 1 is a substantial and largely self-contained contribution with explicit intermediate theorems. The authors are also honest about the necessary changes (normalization, Frobenius, reducible obstructions). However, the central model-theoretic step Part 2 rests on deep external results, two of which are cited to unpublished or very recent preprints, and the paper does not verify the hypotheses of these results for the specific relics constructed.

major comments (3)

[§9, Fact 9.7] Theorem 9.2, and hence the whole Part 2 reduction, rests on Fact 9.7. Clause (1) is cited to [5, Cor 11.6] (an unpublished arXiv preprint) and [15]; the paper nowhere verifies that the particular K-relic X^hyp satisfies the hypotheses of [5] (e.g. whether X^hyp is a Hausdorff geometric structure, or whatever the precise hypotheses of Cor 11.6 are). If those hypotheses are not met, Cor. 9.9 does not produce an interpreted field F, and Propositions 9.15 and 9.16 cannot yield internality. This is a load-bearing deferral, not an internal error, but it means Theorems 10.2, 1.4, 1.6, and 1.9 are currently conditional on an unverified black box.
[§10, Fact 10.1] Fact 10.1(2), the isomorphism theorem for full relics, is cited to [2, Lemma 2.6], an unpublished 2026 preprint, as footnote 6 acknowledges. This fact is exactly what converts an isomorphism of full relics into a field isomorphism plus a definable isomorphism; Theorem 10.2 and all main theorems depend on it. No proof is reproduced. The remark that the argument 'goes back to [14]' does not substitute for a precise published statement. The authors should either prove Fact 10.1(2) in an appendix or restrict to a version available in the published literature (e.g. [4, Lemma 2.3]) and justify that the general case follows.
[§13, Theorem 13.5] The proof of fullness for strongly connected reducible varieties again relies on the same external machinery and adds a further black-box assertion: that for definable fields in K-relics, non-orthogonality is equivalent to internality, citing [3, Prop. 4.1, Thm 4.14]. It also cites 'Fact 9.7(3)', which does not exist (a typo for (2) presumably). Since Theorem 1.9 depends on this fullness claim, the reducible version inherits the unresolved dependence on Fact 9.7 and Fact 10.1. The reader is left without a self-contained verification that the constructed relic X_hyp satisfies all imported hypotheses.

minor comments (5)

[§10.2] In the proof of Theorem 10.2, 'By Theorem 8.2' should refer to Theorem 9.2 (fullness of X^hyp), not Theorem 8.2.
[§5.3] In the base case of Proposition 5.7, after defining Y_1 = O_1(a_1), the text reads 'Y_2 = φ(Y_2)'; it should be 'Y_2 = φ(Y_1)'.
[§13.3] Theorem 13.5 says 'by Fact 9.7(3)' but Fact 9.7 has only clauses (1) and (2). This should be corrected.
[§9.6] Lemma 9.16 has a typo: 'intgeralgebraic' should be 'interalgebraic'.
[§2.2] The notation for codes is introduced as ⌈X⌉, but later text uses ⌊X⌋ in the comparison with canonical bases; make this notation consistent.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; Theorem 1.4 is not assumed as an input. Main caveat is load-bearing dependence on unpublished self-citations in Part 2, which is a verification gap, not a circular reduction.

full rationale

The derivation chain is not circular. Part 1 (Sections 3–8) derives definability of the hyperplane-image family CH2 from sweeping orbits, linked orbits, and topological invariance; Theorems 6.1, 5.6, 3.26, 7.2, and 8.16 do not invoke Theorem 1.4 or a field isomorphism as an input. Part 2 (Sections 9–10) reduces the geometric theorem to a model-theoretic statement by forming the hyperplane relic X^hyp and applying the Zilber trichotomy for ACF-relics (Fact 9.7) to prove fullness (Theorem 9.2), then applying the isomorphism theorem for full relics (Fact 10.1) to factor the homeomorphism. These are general statements about ACF-relics, not the paper's target theorem restated; neither assumes Theorem 1.4. The fullness proof itself does substantive work (non-1-basedness via hyperplane sections, internality to the interpreted field) rather than renaming the conclusion. No fitted parameter is later called a prediction, and no equation is defined in terms of its target. The only reason the score is not 0 is that two key imported facts are cited to the authors' own prior work, one unpublished: Fact 9.7(1) is attributed to [5, Cor. 11.6] and Fact 10.1(2) to [2, Lem. 2.6] (footnote 6), with no proof reproduced. If either carries unstated hypotheses, Theorem 9.2 and the Part 2 reduction collapse. That is a deferral/verification concern, not circularity by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The paper introduces no fitted numerical constants. Its main mathematical load is carried by external model-theoretic theorems, several of which are the authors' own prior results, and by standard algebraic geometry facts.

assumptions (6)

domain assumption Zilber trichotomy for ACF-relics: a K-relic interpreting an infinite field is not 1-based, and fullness is equivalent to internality to the interpreted field (Fact 9.7).
Invoked in Section 9 to prove X^hyp is full and to obtain the interpreted field F; cited to [5], [3], and [15], not proved in this paper.
domain assumption Isomorphism theorem for full relics: any isomorphism of full relics decomposes as a field isomorphism composed with a definable isomorphism (Fact 1.14 / Fact 10.1).
Used in Theorem 10.2 to reduce an arbitrary homeomorphism to a definable one; cited to [2, Lemma 2.6] and [14], not proved in this paper.
standard math Quantifier elimination for algebraically closed fields: every definable map is a Frobenius power composed with a generically rational map.
Used in Sections 11-12 to reduce definable homeomorphisms to generically rational maps.
standard math Standard algebraic geometry facts: Zariski's main theorem, normalization universal property, Bertini's irreducibility theorem, and finiteness of normalization morphisms.
Used throughout to lift maps to normalizations and to control hyperplane sections.
standard math ω-stability of algebraically closed fields and countability of types over countable parameter sets.
Used throughout for orbits, canonical bases, saturation, and compactness arguments, e.g. Fact 3.5 and Lemma 4.9.
standard math Strong connectivity implies the component intersection graph of the variety is connected.
Used in Claim 13.6 within Theorem 13.5 to glue fullness and internality across irreducible components.

invented entities (2)

Hyperplane relic X^hyp
purpose: Formal model-theoretic structure on X whose relations encode hyperplane incidence and K0-definable subsets; used to apply the isomorphism theorem for full relics.
Internal mathematical tool; it makes no externally testable prediction outside the paper.
Definably shaped sets and n-shapes
purpose: Topological characterization of definability among countable unions of definable sets; used to show CH2 is definable.
Internal axiomatic construction; no independent empirical or falsifiable handle.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Topological reconstruction theorems over uncountable algebraically closed fields." pith.science (2026). https://pith.science/paper/HM2SBX6T

@misc{pith2026260714472,
  author       = {Pith},
  title        = {Pith review of: Topological reconstruction theorems over uncountable algebraically closed fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HM2SBX6T}},
  note         = {Machine review of arXiv:2607.14472}
}

read the original abstract

Working over uncountable algebraically closed fields, we extend the theorems of Koll\'ar-Lieblich-Olsson-Sawin on reconstructing varieties from their Zariski topological spaces. In particular, we adapt their results to arbitrary quasi-projective varieties in arbitrary characteristic, and thus we give positive answers to each of the relevant `speculations' made by the original authors in our setting. Our proofs use techniques from model theory: in particular, we employ a general model-theoretic setting for algebro-geometric reconstruction problems, known as the `Zilber trichotomy for ACF-relics'.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 1 linked inside Pith

[5]

Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

Benjamin Castle, Assaf Hasson, and Jinhe Ye. Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

arXiv 2024
[2]

A curve and its abstract generalized jacobian, 2026

Benjamin Castle, Ishai Dan-Cohen, and Assaf Hasson. A curve and its abstract generalized jacobian, 2026

2026
[15]

American Mathematical Society, Providence, RI, 2001

Bruno Poizat.Stable groups, volume 87 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2001. Translated from the 1987 French original by Moses Gabriel Klein

2001
[14]

Bruno Poizat. Mm. borel, tits, zil’ber et le g´ en´ eral nonsense.The Journal of Symbolic Logic, 53(1):124–131, 1988

1988
[1]

Zilber’s restricted trichotomy in characteristic zero.Journal of the Ameri- can Mathematical Society, 37(4):1041–1120, 2024

Benjamin Castle. Zilber’s restricted trichotomy in characteristic zero.Journal of the Ameri- can Mathematical Society, 37(4):1041–1120, 2024

2024
[3]

Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

Benjamin Castle and Assaf Hasson. Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

2024
[4]

Reconstructing abelian varieties via model theory, 2025

Benjamin Castle and Assaf Hasson. Reconstructing abelian varieties via model theory, 2025

2025
[6]

Differential chow varieties exist.Journal of the London Mathematical Society, 95(1):128–156, 2017

James Freitag, Wei Li, Thomas Scanlon, and William Johnson. Differential chow varieties exist.Journal of the London Mathematical Society, 95(1):128–156, 2017

2017

Show all 17 references

[7]

Alexander Grothendieck. ´ el´ ements de g´ eom´ etrie alg´ ebrique: IV.´Etude locale des sch´ emas et des morphismes de sch´ emas, Quatri` eme partie.Publications Math´ ematiques de l’IH´ES, 32:5–361, 1967

1967
[8]

Springer-Verlag, New York, 1992

Joe Harris.Algebraic Geometry: A First Course, volume 133 ofGraduate Texts in Mathe- matics. Springer-Verlag, New York, 1992

1992
[9]

Springer-Verlag, New York, 1977

Robin Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1977

1977
[10]

Th´ eoremes de bertini et applications,(french)[bertini theorems and applica- tions] progress in mathematics, 42

JP Jouanolou. Th´ eoremes de bertini et applications,(french)[bertini theorems and applica- tions] progress in mathematics, 42. birkha¨ user boston.Inc., Boston, MA, 1983

1983
[11]

Princeton University Press, 2023

J´ anos Koll´ ar, Max Lieblich, Martin Olsson, and Will Sawin.What Determines an Algebraic Variety?, volume 216 ofAnnals of Mathematics Studies. Princeton University Press, 2023

2023
[12]

Topological reconstruction the- orems for varieties, 2021

J´ anos Koll´ ar, Max Lieblich, Martin Olsson, and Will Sawin. Topological reconstruction the- orems for varieties, 2021

2021
[13]

Springer-Verlag, New York, 2002

David Marker.Model theory, volume 217 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 2002. An introduction

2002
[16]

The Stacks Project Authors.Stacks Project.https://stacks.math.columbia.edu, 2022

2022
[17]

´Ez fields.Journal of Algebra, 614:611–649, 2023

Erik Walsberg and Jinhe Ye. ´Ez fields.Journal of Algebra, 614:611–649, 2023. Department of Mathematics, University of Illinois Urbana-Champaign Email address:btcastl2@illinois.edu Department of Mathematics, University of California Berkeley Email address:ronan ogorman@berkeley.edu

2023

Pith tools

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

[1] [5]

Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

Benjamin Castle, Assaf Hasson, and Jinhe Ye. Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

arXiv 2024

[2] [2]

A curve and its abstract generalized jacobian, 2026

Benjamin Castle, Ishai Dan-Cohen, and Assaf Hasson. A curve and its abstract generalized jacobian, 2026

2026

[3] [15]

American Mathematical Society, Providence, RI, 2001

Bruno Poizat.Stable groups, volume 87 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2001. Translated from the 1987 French original by Moses Gabriel Klein

2001

[4] [14]

Bruno Poizat. Mm. borel, tits, zil’ber et le g´ en´ eral nonsense.The Journal of Symbolic Logic, 53(1):124–131, 1988

1988

[5] [1]

Zilber’s restricted trichotomy in characteristic zero.Journal of the Ameri- can Mathematical Society, 37(4):1041–1120, 2024

Benjamin Castle. Zilber’s restricted trichotomy in characteristic zero.Journal of the Ameri- can Mathematical Society, 37(4):1041–1120, 2024

2024

[6] [3]

Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

Benjamin Castle and Assaf Hasson. Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

2024

[7] [4]

Reconstructing abelian varieties via model theory, 2025

Benjamin Castle and Assaf Hasson. Reconstructing abelian varieties via model theory, 2025

2025

[8] [6]

Differential chow varieties exist.Journal of the London Mathematical Society, 95(1):128–156, 2017

James Freitag, Wei Li, Thomas Scanlon, and William Johnson. Differential chow varieties exist.Journal of the London Mathematical Society, 95(1):128–156, 2017

2017