pith. sign in

arxiv: 2606.12554 · v1 · pith:QIDBPO3Znew · submitted 2026-06-10 · 🧮 math.AG · math.LO

Functorial stratifications of singularities in characteristic 0

Vicente Monreal This is my paper

Pith reviewed 2026-06-27 07:56 UTC · model grok-4.3

classification 🧮 math.AG math.LO
keywords riso-stratificationsingularitiesalgebraic schemesétale localityembedding independencecharacteristic zerofunctorial stratification
0
0 comments X

The pith

Riso-stratifications of singularities are embedding-independent and étale-local on affine sets, extending to a functorial process on schemes over characteristic-zero fields.

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

The paper establishes that riso-stratifications on affine algebraic sets do not depend on the choice of embedding into affine space. It further shows that these stratifications can be recovered from étale-local data alone. These two properties together allow the original construction, which was phrased in non-archimedean and model-theoretic terms, to be recast as a canonical, functorial stratification that applies directly to any scheme of finite type over a field of characteristic zero. The resulting process is therefore intrinsic to the scheme and does not require prior familiarity with the model-theoretic language.

Core claim

The riso-stratifications of singularities of affine algebraic sets introduced by Bradley-Williams--Halupczok are embedding independent and can be computed étale locally. Building on this, their procedure upgrades into a sharp canonical and functorial stratification process for schemes of finite type over fields of characteristic 0.

What carries the argument

Riso-stratification, the assignment of strata to points of an affine algebraic set via riso functions that becomes embedding-independent and étale-local.

If this is right

  • The stratification applies to arbitrary schemes of finite type over characteristic-zero fields rather than only affine algebraic sets.
  • Stratifications become available for direct comparison with classical invariants such as the Hilbert-Samuel function or the Nash blow-up.
  • The construction is now intrinsic and does not require an ambient affine embedding.
  • Users can work with the stratifications using only standard algebraic-geometry tools without model-theoretic prerequisites.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The étale-local character suggests the stratification descends to the étale site and may therefore be compatible with base change or descent data.
  • Functoriality opens the possibility of studying how the stratification behaves under proper morphisms or in flat families.
  • Direct accessibility without the original language may allow explicit calculations on concrete examples such as hypersurface singularities.

Load-bearing premise

Riso-stratifications are already well-defined on affine algebraic sets in a manner that permits extension once embedding independence and étale locality are verified.

What would settle it

An explicit affine algebraic set equipped with two distinct closed embeddings into affine space such that the resulting riso-stratifications differ, or an étale cover on which the local stratification fails to glue to the global one.

read the original abstract

We prove that the riso-stratifications of singularities of affine algebraic sets introduced by Bradley-Williams--Halupczok are embedding independent and can be computed \'etale locally. Building on this, we upgrade their procedure, originally formulated in non-archimedean and model-theoretic language, into a sharp canonical and functorial stratification process for schemes of finite type over fields of characteristic 0. Our work enables comparisons with classical approaches to singularities and makes these stratifications available without requiring familiarity with the original methods.

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

0 major / 3 minor

Summary. The paper proves that the riso-stratifications of singularities of affine algebraic sets introduced by Bradley-Williams--Halupczok are embedding independent and can be computed étale locally. Building on this, the authors upgrade the original non-archimedean/model-theoretic procedure into a sharp canonical and functorial stratification process for schemes of finite type over fields of characteristic 0, enabling comparisons with classical approaches.

Significance. If the claims hold, the result supplies a canonical, embedding-independent stratification that is functorial and étale-local, which is a meaningful advance for singularity theory in algebraic geometry. It converts a model-theoretic construction into one usable in the standard language of schemes, facilitating direct comparisons with classical stratifications (e.g., Whitney or Thom) without requiring familiarity with the original methods. The embedding independence and étale locality are the load-bearing technical steps that make the upgrade possible.

minor comments (3)
  1. [Abstract] The abstract is concise but would benefit from an explicit reference to the main theorem (e.g., Theorem X.Y) that encodes the embedding independence and étale locality statements.
  2. Notation for the riso-stratification (e.g., how the strata are denoted after the upgrade) should be introduced once in a dedicated notation subsection or table to avoid repeated explanatory phrases in later sections.
  3. [Introduction] When translating the original non-archimedean language into scheme-theoretic terms, include a short dictionary or remark clarifying the correspondence between model-theoretic notions and algebraic geometry objects (e.g., how “riso” data maps to ideal sheaves or Fitting ideals).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. The report lists no specific major comments, so we have no point-by-point responses to provide. We will incorporate any minor editorial or presentational changes in the revised version.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper proves embedding independence and étale locality for riso-stratifications originally defined by Bradley-Williams--Halupczok (distinct authors) and then upgrades the procedure to schemes. The derivation chain consists of mathematical proofs establishing these properties, with no self-definitional reductions, no fitted parameters renamed as predictions, no load-bearing self-citations, and no ansatz smuggling or renaming of known results. All load-bearing steps are external to the present work and do not reduce to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or invented entities; the work is described as a proof of independence and functoriality properties.

pith-pipeline@v0.9.1-grok · 5597 in / 1046 out tokens · 22383 ms · 2026-06-27T07:56:18.971698+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

5 extracted references · 4 canonical work pages

  1. [1]

    , TITLE =

    [ATW24] D. Abramovich, M. Temkin, and J. Włodarczyk,Functorial embedded resolution via weighted blowings up, Algebra Number Theory18(2024), no. 8, 1557–1587. [Art69] M. Artin,Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math.36(1969), 23–58. [BM97] E. Bierstone and P. D. Milman,Canonical desingularization...

    work page doi:10.1007/s002220050141 2024

  2. [2]

    Berthomieu, P

    [BHM10] J. Berthomieu, P. Hivert, and H. Mourtada,Computing Hironaka’s invariants: ridge and directrix, Arith- metic, geometry, cryptography and coding theory 2009, Contemp. Math., vol. 521, Amer. Math. Soc., Provi- dence, RI,

    2009

  3. [3]

    Castillo, D

    [CDLÁL26] F. Castillo, D. Duarte, M. Leyton-Álvarez, and A. Liendo,Nash blowup fails to resolve singularities in dimensions four and higher, Ann. of Math. (2)203(2026), no. 2, 677–694, DOI 10.4007/annals.2026.203.2.7. MR5037842 [CDLÁL25] ,Nash blowup fails to resolve singularities in dimensions four and higher(2025). Preprint, arXiv:2511.01772. [CH11] R. ...

    work page doi:10.4007/annals.2026.203.2.7 2026

  4. [4]

    [Gir74] ,Sur la théorie du contact maximal, Math

    Cours de 3ème cycle, 1971–1972. [Gir74] ,Sur la théorie du contact maximal, Math. Z.137(1974), 285–310 (French). [Gir75] ,Contact maximal en caractéristique positive, Ann. Sci. École Norm. Sup. (4)8(1975), no. 2, 201–234 (French). [GPT14] P. D. González Pérez and B. Teissier,Toric geometry and the Semple-Nash modification, Rev. R. Acad. Cienc. Exactas Fís...

    work page doi:10.1007/s13398-012-0096-0 1971

  5. [5]

    [Hau10] H

    Preprint, arXiv:2311.16987. [Hau10] H. Hauser,On the problem of resolution of singularities in positive characteristic (or: a proof we are still waiting for), Bull. Amer. Math. Soc. (N.S.)47(2010), no. 1, 1–30. [Hir64] H. Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math. (2)79(1964), 109...

    work page doi:10.2307/1971467 2010