Introduction to Universal Equations and Characteristic-free Resolution

Yi Hu

REVIEW 4 major objections 6 minor 8 references

Introduction to Universal Equations and Characteristic-free Resolution

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper claims that every singular integral affine variety over any field is resolved by one universal, characteristic-free sequence of blowups.

desk verdict A useful survey of a major announced proof, but the central equation system in Theorem 2.2 is wrong as printed, so it cannot be relied on without correction. read the letter →

arxiv 2608.10272 v1 pith:5PAJTRPJ submitted 2026-08-10 math.AG math.NT

Yi Hu This is my paper · ORCID

classification math.AGmath.NT MSC 14E1514M1514B05

keywords resolutionofsingularitiescharacteristic-freeuniversalequationsGrassmannianPlückerrelationssquare-freebinomialsJacobiancriterionmatroids

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 survey lays out a characteristic-free resolution of singularities: every integral affine variety, over $\mathbb{Z}$ and hence over fields of every characteristic, has a smooth projective birational model. The route has two parts. First, arbitrary defining equations are decoded into atomic equations and re-encoded as a matroid stratum in a Grassmannian, so that the singularity sits inside a fixed scheme $Z_\Gamma$ defined by square-free binomials and linear relations. Second, a universal sequence of blowups, the same for every $\Gamma$, makes the birational transform of $Z_\Gamma$ smooth. The decisive computation is a Jacobian of the governing relations that is block lower-triangular and of full rank on every chart.

What carries the argument

The central object is the graph closure $V$, defined as the closure of the graph of a rational map from the affine Grassmannian chart $U$ to a product of projective spaces, one projective space per Plücker relation. The coordinates are $\varpi$-variables (the original Plücker coordinates $x_{ijk}$) and $\varrho$-variables (the coordinate pairs $x_{(u,v)}$ representing products $x_{us}x_{vs}$). The ordered set of Plücker relations $\mathcal{F}$ induces an order on the governing relation blocks $\mathcal{G}_F$, and the three stages of universal blowups—$\vartheta$-blowups along $X_{u_F} \cap X_{(123,u_F)}$, $\wp$-blowups along the codimension-two loci $D^+ \cap D^-$ formed from the two terms of each governing binomial, and $\ell$-blowups along $E_{\vartheta,F} \cap D_{\wp F,F}$—are designed so that the plus term $T^+_B$ of every governing binomial stays square-free and the leading and $\varrho$ variables used in the Jacobian stay pleasant. The explicit final forms of $L_{V,F}$ in Theorem 3.6 are what allow the rank computation to go through.

What would settle it

For $n=6$ in the affine chart $p_{123}\neq 0$, compute all multi-homogeneous binomial relations in the kernel of $\varphi_{\mathrm{Gr}}$ and check whether each lies in the ideal generated by GL, GB, NGB1, and NGB2; the first missing relation would refute Theorem 2.2 and the universal resolution scheme that depends on it.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the defining equations of an arbitrary singularity can be organized into a single universal system. Given the Grassmannian stratum $\mathrm{Gr}_{3,n}^{d}$ defined by a matroid, the affine chart $U$ has the Plücker relations $F^1_{uv}$, $F^2_{uv}$, $F^3_{uv}$, $F_{abc}$; the graph closure $V$ of the map sending $[x_{ijk}]$ to all products $[x_{us}x_{vs}]$ is cut out by the linearized Plücker relations $\mathrm{GL}$, the governing binomials $\mathrm{GB}$, and the non-governing binomials $\mathrm{NGB1}$ and $\mathrm{NGB2}$. The main theorem (Theorem 4.3) asserts that for any $\Gamma$ with $Z_\Gamma$ integral, the scheme $\tilde{Z}_{\ell,\Gamma}$ obtained by the universal $\vartheta$-, $\wp$-, and $\ell$-blowups is smooth; in particular its birational component $\tilde{Z}^{\dagger}_{\ell,\Gamma}$ is smooth. The proof is a chart-by-chart Jacobian computation: the pleasant variables keep a maximal minor of the Jacobian of the governing relations block lower-triangular and full rank, so the non-governing relations are dependent and can be discarded.

Load-bearing premise

Everything rests on one algebraic completeness claim: the explicit list of linearized Plücker relations and binomials (GL, GB, NGB1, NGB2) really does generate every relation among the coordinates of the graph closure $V$, and the survey leaves the proof of that completeness to the companion article.

Editorial extensions

If this is right

If the central claim is correct, every integral affine variety over any field has a resolution of singularities: a smooth scheme and a projective birational morphism to the original variety, with no restriction on the characteristic.
The defining equations of every singularity can be reorganized into a standard universal form, so a singularity is no longer described by arbitrary relations but by a fixed list of linearized Plücker relations and square-free binomials.
The same blowup sequence works for every $\Gamma$ and every characteristic, so resolution is achieved simultaneously rather than by choosing per-variety centers and invariants.
On the final charts, the non-governing binomials become dependent on the governing relations, which reduces the smoothness check to the block lower-triangular Jacobian computation.

Reading between the lines

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

Editorial inference: the construction suggests a symbolic algorithm for resolution: decode the input equations into atomic equations, read off the matroid, build the graph closure $V$ and the universal blowup sequence, and run it without further analysis of the singularity; the paper does not discuss implementation or complexity.
Editorial inference: because the completeness of the equation list (Theorem 2.2) is deferred to the companion article, the most exposed point is the NGB2 family; checking small Grassmannian charts for missing kernel generators would either confirm or refute the universality before the rest of the proof is relied on.
Editorial inference: the same universal equation system may apply to moduli problems whose local equations resemble Plücker relations, since the paper points to stable-map moduli contexts at the end, but the survey does not develop that connection.

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

Yi Hu's survey is the clearest short introduction I know to the program of universal equations and a single blowup process that would resolve all singularities in any characteristic. The motivation is well handled: Lafforgue's universality theorem reduces arbitrary singularities to Grassmannian strata, the molecular equations are the Plücker relations, and the graph-closure trick linearizes them. The discussion of the ordered blowups and the triangular Jacobian minor is genuinely useful. If the companion paper [1] is correct, this will be a valuable map of the proof.

But the map has a load-bearing error. Theorem 2.2 claims the NGB1 binomials are part of a generating set for the kernel of phi_Gr. That is false as printed. For F1uv, the displayed binomial x12u x13v x(123,1uv) − x13u x12v x(123,1uv) maps under phi_Gr to x1uv(x12u x13v − x13u x12v), and via F1uv this is x1uv^2, not zero. So the binomial is not in the kernel. The same pattern appears in F2uv and F3uv, and the Fabc list has index errors and a repeated factor. A valid non-governing binomial would compare the two non-leading pairs, e.g., x12u x13v x(13u,12v) − x13u x12v x(12u,13v), whose image is identically zero. As printed, the equations do not define the graph closure V; they define a smaller scheme. Everything after Theorem 2.2—the Jacobian computations, the dismissal of NGB1, the smoothness claim—is built on that system, so the survey does not establish its announced result.

This is not a cosmetic typo. The text even says one checks directly that NGB1 lie in the kernel, which they do not. The author mentions typos in [1], but here the whole NGB1 list is wrong. Combined with the heavy deferral of the generation proof to [1], the survey cannot be used to verify anything.

Who gets value from it? Someone who wants the conceptual outline and is willing to read the companion for details. The first sections are good for that. I would not hand this version to a student as a reliable introduction.

Recommendation: send to a referee with [1] in hand, but require a corrected Theorem 2.2 before acceptance. As submitted, the central equation system is false.

Referee Report

4 major / 6 minor

Summary. This paper is a survey of the author's announced characteristic-free resolution of singularities. It reviews Lafforgue's version of Mnëv universality, which embeds any affine variety as an open subset of a matroid stratum of a Grassmannian, and then replaces the Plücker relations by a system of linearized Plücker relations, governing binomials, and non-governing binomials. The closure of the graph of the resulting rational map is called V, and the paper defines universal ϑ-, ℘-, and ℓ-blowups designed to make the Jacobian matrix of the governing relations block-triangular and full rank. The main theorem (Theorem 4.3) asserts that for any integral Z_Γ, the proper transform \tilde Z_{ℓ,Γ} is smooth, which would imply a characteristic-free resolution of singularities via a universal blowup process. The paper explicitly defers the proof of the key algebraic generation statement (Theorem 2.2) and of the termination of the blowup process to the companion announcement [1], and the present text states many computations in the form 'one computes and finds'.

Significance. If the announced result is correct, it would be a landmark: a single universal blowup process resolving all singularities over Z and hence over any field, without characteristic restrictions. The paper's concrete approach — explicit universal equations and a block-triangular Jacobian strategy — is attractive and potentially very influential, and the use of Lafforgue's external universality theorem gives a solid geometric grounding. However, the present manuscript does not contain a verifiable proof of the central generation theorem, and it contains a concrete algebraic error in the displayed non-governing binomials. The value of the survey therefore depends entirely on the companion paper [1], whose correctness is not independently checked here.

major comments (4)

[Theorem 2.2, NGB1 list] The displayed NGB1 binomials do not lie in ker_mh(φ_Gr), contrary to the assertion in the proof. For F1uv, the first NGB1 relation is x12u x13v x(123,1uv) − x13u x12v x(123,1uv). Applying φ_Gr sends x(123,1uv) to x1uv, so the image is x1uv(x12u x13v − x13u x12v), which modulo F1uv equals x1uv^2, nonzero on the open cell where x1uv ≠ 0. Similar failures occur for F3uv, where the second monomial reads x23u x12v instead of x23u x13v, and for Fabc, where a repeated factor x3bc appears in the first two equations. Since Theorem 4.3 proves smoothness for the scheme cut out by this explicit system, the central claim is established only for a different scheme unless the list is corrected. This is a load-bearing error, not a mere typographical slip.
[Theorem 2.2, proof and dependence on [1]] The proof of the generation statement is entirely deferred to §4 of [1], the same author's announcement, with the in-text check 'One checks directly' limited to (GL), (GB), and (NGB1). As shown in the previous comment, that check fails. The paper does not supply an independent argument for the generation of ker_mh(φ_Gr), even though this generation is the foundation for all later Jacobian computations and smoothness conclusions. The authors should either prove the generation theorem in this paper or explicitly present the manuscript as a survey of [1] with the theorem stated as quoted, after correcting the displayed equations.
[Theorem 4.3, Jacobian maximal minors] The proof of smoothness in Theorem 4.3 hinges on the assertions 'one computes and finds' that the displayed maximal minors have full rank, but the matrices contain unspecified entries a_i and b_i and no pointwise nonvanishing argument is given. In Case (α), the block diagonal entries are written as a_i x(us_i,vs_i) and a_i y_uF, but the signs and values of a_i are not determined. In Case (β) the analogous entries appear without explanation. Since this is the decisive smoothness argument, the reader cannot verify the conclusion; either the explicit computations should be carried out, or the proof should give precise lemma numbers and page references in [1] where they are performed.
[Theorem 2.2, NGB2 incompleteness] The set NGB2 is introduced only with 'For example,' followed by four displayed families with unspecified free indices (a,b,c,b′,c′,a¯,b¯,c¯). The generation claim in Theorem 2.2 requires the full set NGB2, but the paper does not state which tuples are allowed or whether the four families exhaust NGB2. As printed, Theorem 2.2 is not a fully specified statement, and the reader cannot determine the defining equations of V.

minor comments (6)

[Section 3b, opening paragraph] The word 'blouwp scheme' should be 'blowup scheme'.
[Theorem 2.2, NGB1 Fabc] The first two Fabc equations in NGB1 have a repeated factor x3bc, making the expressions unbalanced; the intended relations are presumably x12a x3bc x(123,abc) − x13a x2bc x(123,abc) and the analogous second term without the extra factor.
[Theorem 4.3, footnote] The footnote acknowledges 'typos and small errors in [1]' but does not list the errors in the present generation theorem; a systematic errata would help the reader distinguish genuine corrections from transcription errors.
[Theorem 4.3, notation] The symbol \tilde eΓV is used in the Jacobian expressions before its definition in Theorem 4.2; consider introducing a unified notation early in Section 4.
[Abstract] The abstract says there exist a smooth scheme \tilde Y and a projective birational morphism from \tilde Y onto Y, followed by a smooth morphism from Y onto X; this is not the standard formulation of resolution of singularities, which would be a single birational morphism from a smooth scheme to X. The logical structure should be clarified.
[Section 1b] The phrase 'position constrains by a matroid' should read 'position constraints by a matroid'.

Circularity Check

3 steps flagged · score 6.0 of 10

The survey's central resolution theorem is not self-contained: the universal-equations generation statement and the blow-up structure theorems are all deferred to the same author's companion announcement [1], making the derivation chain a load-bearing self-citation, with an apparent internal inconsistency in the printed NGB1 relations adding further doubt.

self citation load bearing [Section 2a, Theorem 2.2 (proof)]
"The homomorphism φGr is explicitly simple. The fact that (GL), (GB), (NGB1), and (NGB2) together generate ker mh(φGr) is proved in §4 of [1]."

This generation statement is the premise that identifies the graph closure V with the explicit universal equation system. Every later Jacobian computation in Theorems 3.1, 3.6, 4.2, and 4.3 is performed on that system. The proof is not supplied in this survey; it is deferred to [1], the same author's companion announcement. No independent, machine-checked, or parameter-free verification is provided, so the load-bearing content of Theorem 2.2 is assumed on self-citation rather than derived here.
self citation load bearing [Section 1d, Theorem 1.4 (proof)]
"Proof.This follows by applying Proposition 1.3 and Proposition 3.6 of [1].□"

The molecular equations F1uv, F2uv, F3uv, Fabc, which define Z_Γ for all Γ, are stated as Theorem 1.4 with the citation ([1]) and proven by referring to Proposition 3.6 of [1]. Since Z_Γ is the scheme whose proper transforms are resolved in Theorem 4.3, the very object of the resolution is fixed by a result from the author's own companion paper rather than derived or verified in this text.

1 more flagged steps

self citation load bearing [Section 4b, Theorem 4.3 (proof)]
"Theorem 4.3.(Theorem 8.5, [1]) Consider any subset Γ ⊂ Var_U such that Z_Γ is integral. Then, \tilde Z_{ℓ,Γ} is smooth. In particular, \tilde Z^†_{ℓ,Γ} is smooth, Proof.We apply Theorems 3.6 and 4.2, and follow their notation."

The central smoothness theorem is itself stated as 'Theorem 8.5, [1]' and its proof consists of applying Theorem 3.6 ('Chapter 6, [1]') and Theorem 4.2 ('Corollary 7.6, [1]'). Those theorems contain the exact structural forms of the blown-up equations from which the Jacobian minor's full rank is concluded. The proof is therefore inherited from the same author's companion paper; the survey does not regenerate the argument or provide an independent check.

full rationale

This is not a numerical paper, so no fitting or data-circularity is present. The circularity burden is the proof architecture: every load-bearing algebraic result is quoted from [1], the same author's companion announcement, rather than proved or independently verified here. Theorem 2.2's kernel-generation claim is explicitly 'proved in §4 of [1]'; Theorems 3.1, 3.6, and 4.2 are labelled '(Chapter 6, [1])' and '(Corollary 7.6, [1])'; and Theorem 4.3 itself is '(Theorem 8.5, [1])'. Thus the survey's derivation chain is a self-citation chain ending in the announced result. The external Lafforgue theorems (1.1, 1.2, and Proposition 1.3) are genuine independent input and prevent the score from being higher. There is also an internal correctness warning: the displayed NGB1 binomial for F1uv maps under φGr to x_{1uv}(x_{12u}x_{13v} - x_{13u}x_{12v}), which is x_{1uv}^2 modulo F1uv, not zero, so it cannot lie in ker_mh(φGr); NGB2 is introduced only by examples ('For example'), so the full generating set is not specified. The author's own footnote 11 admits 'typos and small errors in [1]', and the introduction says 'checking its details is routine', again deferring the verification. Those are correctness gaps rather than circularities, but they reinforce that the self-citation cannot be taken as proof. Overall, the central claim is not established independently of [1]; the score of 6 reflects partial circularity through the load-bearing self-citation chain, offset by Lafforgue's external universality result.

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

The proof does not fit numerical constants. The data (matroid d, subset Γ, auxiliary dimension r) are determined by the input variety via Lafforgue's universality theorem, not fitted to match the conclusion. The main axioms are external theorems (Lafforgue's universality and Plücker description) plus the author's own companion results (kernel generation, blowup termination, final chart structure), none independently verified in this survey.

assumptions (5)

domain assumption Lafforgue's version of Mnev's universality theorem (Theorems 1.1 and 1.2): any affine variety X/Z admits a smooth surjective morphism from an open subset of a rank-3 matroid stratum C_d^{3,n} (or Gr_d^{3,n}) to X.
Used in §1b-1c to pass from arbitrary singularities to configuration spaces and Grassmannian strata. It is a published theorem of Lafforgue, but it is a deep external input not proved in this survey.
domain assumption Proposition 1.3 (Lafforgue): for any rank-3 matroid d, Gr_d^{3,n} is defined by all Plücker relations plus vanishing/non-vanishing of Plücker coordinates; a subset of these suffices in an affine chart.
Used in §1d to derive the molecular equations defining Z_Γ. External to this paper.
ad hoc to paper Theorem 2.2: the displayed relations (GL), (GB), (NGB1), (NGB2) generate ker_mh(φ_Gr), so V is cut out by these universal local equations.
Central technical claim, proof deferred to §4 of companion [1] by the same author; not independently verified here.
ad hoc to paper Theorems 3.1, 3.6, Lemma 4.1 and Theorem 4.2: the ϑ/℘/ℓ blowup process terminates after finitely many steps and yields charts with the stated forms of T^± and L_F, and with the existence of birational slices.
These are the structural properties of the universal blowups, proved in [1], not in this survey; if any fails, the Jacobian full-rank claim in Theorem 4.3 does not go through.
standard math Jacobian smoothness criterion and local complete intersection dimension techniques.
Used in §4b to conclude smoothness from full-rank maximal minors. Standard algebraic geometry, accepted without proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Introduction to Universal Equations and Characteristic-free Resolution." pith.science (2026). https://pith.science/paper/5PAJTRPJ

@misc{pith2026260810272,
  author       = {Pith},
  title        = {Pith review of: Introduction to Universal Equations and Characteristic-free Resolution},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5PAJTRPJ}},
  note         = {Machine review of arXiv:2608.10272}
}

read the original abstract

Recently, we announced a proof of a characteristic-free resolution of singularities. This is a survey article on the proof. We motivate the approach, describe the new ideas, and introduce the proof in the work.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

Yi Hu, Universal Characteristic-free Resolution of Singularities, I, arXiv:2507.21400 [math.AG], July 29, 2025

work page Pith review arXiv 2025
[2]

Yi Hu, Jun Li and Jingchen Niu,

work page
[3]

(French) [Surgery on Grassmannians], CRM Monogr

Laurent Lafforgue, Chirurgie des grassmanniennes. (French) [Surgery on Grassmannians], CRM Monogr. Ser. 19, Amer. Math. Soc., Providence, 2003

work page 2003
[4]

Several moduli problems provide platforms to resolve arbitrary singularities, including

Seok Hyeong Lee and Ravi Vakil, Mn\"ev-Sturmfels Universality for Schemes, Clay Mathematics Proceedings, Volume 18, 2013. Several moduli problems provide platforms to resolve arbitrary singularities, including

work page 2013
[5]

Yi Hu, Jun Li and Jingchen Niu, Genus Two Stable Maps, Local Equations and Modular Resolutions, Moduli, Vol. No. (2026). pp 128. Cambridge University Press on behalf of Foundation Compositio Mathematica

work page 2026
[6]

Yi Hu and Jun Li, Genus-One Stable Maps, Local Equations and Vakil-Zinger Desingularization, Math. Ann. 348 (2010), no. 4, 929-963

work page 2010
[7]

29, Issue 3 (2025), pp

Yi Hu and Jingchen Niu, A theory of Stacks with Twisted Fields and Resolution of Moduli of Genus Two Stable Maps, Asian Journal of Mathematics, Vol. 29, Issue 3 (2025), pp. 325-422

work page 2025
[8]

Yi Hu and Jingchen Niu, Moduli of Curves of Genus One with Twisted Fields, Asian J. of Math. Vol. 25, No. 5 (2021), pp. 683 -- 714

work page 2021

Pith tools

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

[1] [1]

Yi Hu, Universal Characteristic-free Resolution of Singularities, I, arXiv:2507.21400 [math.AG], July 29, 2025

work page Pith review arXiv 2025

[2] [2]

Yi Hu, Jun Li and Jingchen Niu,

work page

[3] [3]

(French) [Surgery on Grassmannians], CRM Monogr

Laurent Lafforgue, Chirurgie des grassmanniennes. (French) [Surgery on Grassmannians], CRM Monogr. Ser. 19, Amer. Math. Soc., Providence, 2003

work page 2003

[4] [4]

Several moduli problems provide platforms to resolve arbitrary singularities, including

Seok Hyeong Lee and Ravi Vakil, Mn\"ev-Sturmfels Universality for Schemes, Clay Mathematics Proceedings, Volume 18, 2013. Several moduli problems provide platforms to resolve arbitrary singularities, including

work page 2013

[5] [5]

Yi Hu, Jun Li and Jingchen Niu, Genus Two Stable Maps, Local Equations and Modular Resolutions, Moduli, Vol. No. (2026). pp 128. Cambridge University Press on behalf of Foundation Compositio Mathematica

work page 2026

[6] [6]

Yi Hu and Jun Li, Genus-One Stable Maps, Local Equations and Vakil-Zinger Desingularization, Math. Ann. 348 (2010), no. 4, 929-963

work page 2010

[7] [7]

29, Issue 3 (2025), pp

Yi Hu and Jingchen Niu, A theory of Stacks with Twisted Fields and Resolution of Moduli of Genus Two Stable Maps, Asian Journal of Mathematics, Vol. 29, Issue 3 (2025), pp. 325-422

work page 2025

[8] [8]

Yi Hu and Jingchen Niu, Moduli of Curves of Genus One with Twisted Fields, Asian J. of Math. Vol. 25, No. 5 (2021), pp. 683 -- 714

work page 2021