arxiv: 2605.04252 · v1 · submitted 2026-05-05 · 🧮 math.AG · math-ph· math.AC· math.MP

Recognition: unknown

Tropical resolutions of configuration hypersurfaces

Daniel Bath, Graham Denham, Mathias Schulze, Uli Walther

Pith reviewed 2026-05-08 17:27 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.ACmath.MP

keywords configuration hypersurfaceNash blow-uptropical compactificationresolution of singularitiesmatroid combinatoricsF-regular singularitiesrational singularitiesFeynman integrals

0 comments

The pith

Any irreducible configuration hypersurface has its singularities resolved by normalizing the Nash blow-up and then taking a tropical compactification.

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

Configuration polynomials generalize Kirchhoff polynomials from graphs and Symanzik polynomials from Feynman integrals, and the hypersurfaces they cut out are typically singular in ways that obstruct integral evaluations. The paper gives an explicit two-step construction that produces a smooth model: first normalize the Nash blow-up to obtain an incidence variety that is the closure of a smooth torus subvariety, then replace that closure with a smooth tropical compactification. The construction is described combinatorially using bipermutohedral matroid data and comes with a morphism back to the normalized Nash blow-up. As a byproduct the intermediate variety is shown to have rational singularities over the complex numbers because it is strongly F-regular in positive characteristic. A sympathetic reader would care because a uniform resolution recipe turns a family of singular varieties into smooth ones whose geometry and integrals become more accessible.

Core claim

For any irreducible configuration hypersurface the normalization of its Nash blow-up coincides with Bloch's incidence variety; this variety is the closure of a smooth torus subvariety and therefore admits an explicit smooth tropical compactification constructed via bipermutohedral matroid combinatorics, yielding a resolution of singularities together with a morphism to the normalized Nash blow-up. The normalized Nash blow-up has strongly F-regular singularities in positive characteristic, which implies that it has rational singularities over the complex numbers.

What carries the argument

The normalization of the Nash blow-up identified with an incidence variety, followed by its replacement with an explicit tropical compactification built from bipermutohedral matroid combinatorics.

If this is right

The final model is smooth and comes with an explicit morphism to the normalized Nash blow-up.
The normalized Nash blow-up satisfies strong F-regularity in positive characteristic and rational singularities over the complex numbers.
The resolution is described completely in terms of bipermutohedral matroid combinatorics for every configuration.
The construction applies uniformly to all irreducible configuration hypersurfaces, including those arising from graphs and Feynman integrals.

Where Pith is reading between the lines

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

The combinatorial control via matroids may allow the resolution to be computed algorithmically for concrete examples.
A smooth model could make it feasible to evaluate or simplify the integrals whose denominators are the original configuration polynomials.
The same two-step pattern might apply to other hypersurface families whose Nash blow-ups close up to torus orbits.

Load-bearing premise

The configuration hypersurface is irreducible, the normalization of its Nash blow-up coincides with the incidence variety, and Tevelev's theorem applies directly to produce a smooth compactification of the torus closure.

What would settle it

An explicit irreducible configuration hypersurface for which the constructed tropical compactification is either not smooth or fails to resolve the singularities of the original hypersurface would falsify the recipe.

Figures

Figures reproduced from arXiv: 2605.04252 by Daniel Bath, Graham Denham, Mathias Schulze, Uli Walther.

**Figure 1.** Figure 1: A graph with non-round matroid. A =   1 0 0 1 1 0 1 0 1 0 0 0 1 0 1   . For i ∈ {1, 2}, we have rank(M\Fi) < 3 and hence M is not round. One computes [QG] =   x1 + x4 + x5 x4 x5 x4 x2 + x4 0 x5 0 x3 + x5   and ΨG = x1x2x3 + x1x3x4 + x2x3x4 + x1x2x5 + x2x3x5 + x1x4x5 + x2x4x5 + x3x4x5 view at source ↗

**Figure 2.** Figure 2: Boundary structure of q −1 (Λ1,2345 W ) ♢ References [ADH23] Federico Ardila, Graham Denham, and June Huh. “Lagrangian geometry of matroids.” In: J. Amer. Math. Soc. 36.3 (2023), pp. 727–794. [AHK18] Karim Adiprasito, June Huh, and Eric Katz. “Hodge theory for combinatorial geometries.” In: Ann. of Math. (2) 188.2 (2018), pp. 381–452. [AK06] Federico Ardila and Caroline J. Klivans. “The Bergman complex of… view at source ↗

read the original abstract

Configuration polynomials generalize the Kirchhoff polynomial of a graph, as well as the Symanzik polynomials that appear in the denominators of Feynman integrands. The configuration hypersurfaces cut out by such polynomials are typically highly singular, which poses a challenge for the evaluation of Feynman integrals even in simplified settings. In this paper, we provide a two-step recipe for a resolution of singularities of any irreducible configuration hypersurface. We first consider the normalization of the Nash blow-up, which we identify with an incidence variety introduced by Bloch. This variety is typically still not smooth, but it is the closure of a smooth subvariety of a torus. The latter then a smooth, tropical compactification, using work of Tevelev. We construct explicitly such a compactification and a morphism to the normalized Nash blow-up for every configuration, described in terms of bipermutohedral matroid combinatorics introduced by Ardila, Denham and Huh. Along the way, we find that the normalized Nash blow-up of the configuration hypersurface has strongly $F$-regular singularities in positive characteristic. We deduce this by certifying $F$-rationality of its biprojective cone, and infer from it that the normalized Nash blow-up has rational singularities over the complex numbers.

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.

Desk Editor's Note private letter to a colleague

The paper gives an explicit two-step tropical resolution for irreducible configuration hypersurfaces via normalized Nash blow-up and bipermutohedral matroid fans, plus a clean F-rationality deduction.

read the letter

The main thing to know is that this paper supplies a concrete two-step recipe for resolving singularities on any irreducible configuration hypersurface. They normalize the Nash blow-up, identify it with Bloch's incidence variety, and then produce a smooth tropical compactification of the resulting torus subvariety using the bipermutohedral matroid combinatorics from Ardila-Denham-Huh together with Tevelev's theorem. As a side result they show the normalized Nash blow-up has strongly F-regular singularities in positive characteristic and therefore rational singularities over the complexes. The construction is described explicitly in terms of the matroid data for each configuration polynomial. This is new because it turns the tropical compactification into a usable, combinatorially described model rather than an existence statement. The paper does well by linking Nash blow-ups, Bloch's variety, and matroid fans to handle the singular hypersurfaces that arise from graph polynomials and Feynman integrands. The F-rationality step is a straightforward application once the biprojective cone is in place and adds a useful algebraic property. The soft spots are limited. The resolution claim rests on the identification holding, the subvariety being schön, and the chosen fan ensuring all initial degenerations are smooth so that the compactification morphism is proper, birational, and resolves the singularities. The abstract states they construct this explicitly for every case, so the paper must verify those conditions; if the proofs and any small examples are solid, the argument goes through without circularity. No other load-bearing gaps appear. This is for algebraic geometers working with tropical methods or matroids and for mathematical physicists who need better models for these hypersurfaces. A reader comfortable with matroid fans and Tevelev's criteria will extract the most. It deserves a serious referee because the construction is specific and the singularity result is cleanly obtained.

Referee Report

3 major / 2 minor

Summary. The paper claims to give a two-step explicit resolution of singularities for any irreducible configuration hypersurface: the normalization of its Nash blow-up is identified with Bloch's incidence variety (which is the closure of a smooth torus subvariety), and this is then resolved by an explicit smooth tropical compactification constructed from the bipermutohedral matroid fan of Ardila-Denham-Huh, together with a birational morphism to the normalized Nash blow-up. As a byproduct, the normalized Nash blow-up is shown to have strongly F-regular singularities in positive characteristic (via F-rationality of its biprojective cone), implying rational singularities over the complex numbers.

Significance. If the key identifications and the verification that the chosen fan produces a schön variety with the required birational morphism hold, the result supplies a combinatorial, explicit resolution procedure for a class of hypersurfaces arising in Feynman integral contexts. The explicit use of bipermutohedral matroid combinatorics and the F-rationality certification are concrete strengths that could facilitate further computations and singularity analysis.

major comments (3)

[Identification of normalized Nash blow-up with Bloch incidence variety] The central identification that the normalization of the Nash blow-up equals Bloch's incidence variety (for irreducible configuration hypersurfaces) is load-bearing for the whole recipe; the manuscript must supply a complete proof that the natural map is birational, normalizes the singularities, and coincides with the incidence variety, including any necessary checks on the defining ideals.
[Tropical compactification and morphism construction] The claim that the bipermutohedral fan yields a smooth tropical compactification via Tevelev's theorem requires explicit verification that the torus subvariety is schön (all initial degenerations are smooth), that the compactification is proper and birational onto the normalized Nash blow-up, and that the morphism resolves the singularities with the expected exceptional set. This step is the least secure part of the argument.
[F-rationality and singularity type] The deduction of strong F-regularity from F-rationality of the biprojective cone, and the subsequent inference of rational singularities over C, must be checked for compatibility with the specific equations of configuration hypersurfaces; any implicit assumptions on the characteristic or the cone structure need to be stated clearly.

minor comments (2)

[Abstract] The abstract contains a grammatical incompleteness: 'The latter then a smooth, tropical compactification' should be rephrased for clarity (e.g., 'The latter admits a smooth tropical compactification').
[References and citations] All citations to Tevelev, Bloch, and Ardila-Denham-Huh should include precise theorem or proposition numbers used in each step.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance, and constructive major comments. We agree that certain identifications and verifications require more explicit detail to be fully rigorous. We address each point below and will incorporate the necessary expansions and clarifications in a revised version.

read point-by-point responses

Referee: [Identification of normalized Nash blow-up with Bloch incidence variety] The central identification that the normalization of the Nash blow-up equals Bloch's incidence variety (for irreducible configuration hypersurfaces) is load-bearing for the whole recipe; the manuscript must supply a complete proof that the natural map is birational, normalizes the singularities, and coincides with the incidence variety, including any necessary checks on the defining ideals.

Authors: We agree this identification is central and that the current sketch needs expansion into a complete proof. The manuscript defines the natural map via the Nash blow-up and torus orbit, establishes birationality over the dense open set, and identifies the target with Bloch's incidence variety by matching incidence conditions. In revision we will add a self-contained subsection proving: (i) the map is birational by showing it induces an isomorphism on function fields and is an isomorphism over the smooth locus; (ii) it normalizes singularities by verifying that the coordinate ring of the image is the integral closure; (iii) the defining ideals coincide by explicit comparison in the ambient projective space using the configuration polynomial. These checks will be carried out for the general irreducible case. revision: yes
Referee: [Tropical compactification and morphism construction] The claim that the bipermutohedral fan yields a smooth tropical compactification via Tevelev's theorem requires explicit verification that the torus subvariety is schön (all initial degenerations are smooth), that the compactification is proper and birational onto the normalized Nash blow-up, and that the morphism resolves the singularities with the expected exceptional set. This step is the least secure part of the argument.

Authors: We acknowledge that the schön property and birationality of the morphism need explicit verification. The manuscript constructs the fan from the bipermutohedral matroid fan of Ardila-Denham-Huh and invokes Tevelev's theorem, arguing smoothness of initial degenerations from the matroid structure. In revision we will insert a new subsection that: (i) verifies all initial ideals define smooth varieties by direct combinatorial computation using the matroid flats; (ii) proves the resulting tropical compactification is proper and birational onto the normalized Nash blow-up by analyzing the torus-equivariant morphism and the exceptional divisors; (iii) confirms the morphism resolves singularities with the expected exceptional set. These steps will make the argument fully explicit. revision: yes
Referee: [F-rationality and singularity type] The deduction of strong F-regularity from F-rationality of the biprojective cone, and the subsequent inference of rational singularities over C, must be checked for compatibility with the specific equations of configuration hypersurfaces; any implicit assumptions on the characteristic or the cone structure need to be stated clearly.

Authors: We will clarify the characteristic assumptions and compatibility. The manuscript certifies F-rationality of the biprojective cone using the explicit form of the configuration polynomials. Strong F-regularity then follows from the general fact that F-rational rings are strongly F-regular in this setting. The passage to rational singularities over C is via the standard reduction-mod-p argument. In revision we will add a remark stating the positive-characteristic hypothesis explicitly, verify that the cone equations arising from configuration polynomials satisfy the required F-rationality criteria, and confirm that no additional assumptions on the cone structure are needed beyond those already used. revision: yes

Circularity Check

0 steps flagged

No significant circularity; resolution recipe relies on external theorems and prior combinatorial results

full rationale

The paper claims a two-step resolution via normalization of the Nash blow-up (identified with Bloch's incidence variety) followed by an explicit tropical compactification using Tevelev's theorem and bipermutohedral matroid combinatorics from Ardila-Denham-Huh. These steps invoke external algebraic geometry results and a prior combinatorial framework rather than defining any central object in terms of itself or renaming a fitted quantity as a prediction. The self-citation to Denham's prior work provides the explicit fan but does not reduce the claimed birational morphism or smoothness to a tautology within this paper; the derivation remains independent of the target resolution properties. No equations or constructions in the abstract or described chain exhibit self-definition or load-bearing self-citation that forces the result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The paper rests on standard results in algebraic geometry and tropical geometry plus one combinatorial framework; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (3)

standard math Nash blow-up and its normalization behave as standard in algebraic geometry
Invoked for the first step of the resolution
standard math Tevelev's theorem on existence of smooth tropical compactifications
Used to guarantee the second step produces a smooth model
domain assumption Bipermutohedral matroid combinatorics of Ardila-Denham-Huh supplies the explicit fan or fan structure
Cited as the source of the explicit description

pith-pipeline@v0.9.0 · 5527 in / 1444 out tokens · 44228 ms · 2026-05-08T17:27:13.836462+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 3 canonical work pages

[1]

Lagrangian geometry of matroids

[ADH23] Federico Ardila, Graham Denham, and June Huh. “Lagrangian geometry of matroids.” In:J. Amer. Math. Soc.36.3 (2023), pp. 727–794. [AHK18] Karim Adiprasito, June Huh, and Eric Katz. “Hodge theory for combina- torial geometries.” In:Ann. of Math. (2)188.2 (2018), pp. 381–452. [AK06] Federico Ardila and Caroline J. Klivans. “The Bergman complex of a m...

2023
[2]

American Mathemat- ical Society, Providence, RI; for the Clay Mathematics Institute, Cam- bridge, MA, 2020, pp

Clay Mathematics Proceedings. American Mathemat- ical Society, Providence, RI; for the Clay Mathematics Institute, Cam- bridge, MA, 2020, pp. xiv+229. [BM26] Daniel Bath and Mircea Mustat ¸˘ a.On singularities of determinantal hy- persurfaces

2020
[3]

[BMW24] Daniel Bath, Mircea Mustat ¸˘ a, and Uli Walther.Singularities of square-free polynomials

arXiv:2601.22072. [BMW24] Daniel Bath, Mircea Mustat ¸˘ a, and Uli Walther.Singularities of square-free polynomials

work page arXiv
[4]

[Bor16] Svetlana Borissova.Regular round matroids

arXiv:2412.11309. [Bor16] Svetlana Borissova.Regular round matroids. MSc thesis

work page arXiv
[5]

The minimal expo- nent andk-rationality for local complete intersections

arXiv:2404.07885. [CDM24] Qianyu Chen, Bradley Dirks, and Mircea Mustat ¸˘ a. “The minimal expo- nent andk-rationality for local complete intersections.” In:J. ´Ec. polytech. Math.11 (2024), pp. 849–873. [Che+24] Qianyu Chen, Bradley Dirks, Mircea Mustat ¸˘ a, and Sebasti´ an Olano. “V- filtrations and minimal exponents for local complete intersections.” ...

work page arXiv 2024
[6]

Con- figuration polynomials under contact equivalence

Graduate Studies in Mathematics. Providence, RI: American Mathematical Society, 2011, pp. xxiv+841. [Den+22] Graham Denham, Delphine Pol, Mathias Schulze, and Uli Walther. “Con- figuration polynomials under contact equivalence.” In:Ann. Inst. Henri Poincar´ e D9.4 (2022), pp. 793–812. [DM24] Rankeya Datta and Takumi Murayama. “Permanence properties ofF- i...

2011
[7]

Disjoint cocircuits in matroids with large rank

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 1998, pp. xiv+470. [GGW03] James F. Geelen, A. M. H. Gerards, and Geoff Whittle. “Disjoint cocircuits in matroids with large rank.” In:J. Combin. Theory Ser. B87.2 (2003), pp. 270–279....

1998
[8]

A characterization of rational singularities in terms of in- jectivity of Frobenius maps

[Har98b] Nobuo Hara. “A characterization of rational singularities in terms of in- jectivity of Frobenius maps.” In:Amer. J. Math.120.5 (1998), pp. 981–

1998
[9]

F-pure homomorphisms, strongF-regularity, and F-injectivity

[Has10] Mitsuyasu Hashimoto. “F-pure homomorphisms, strongF-regularity, and F-injectivity.” In:Comm. Algebra38.12 (2010), pp. 4569–4596. [HH94] Melvin Hochster and Craig Huneke. “F-regularity, test elements, and smooth base change.” In:Trans. Amer. Math. Soc.346.1 (1994), pp. 1–62. [HMS14] Jun Horiuchi, Lance Edward Miller, and Kazuma Shimomoto. “Deforma-...

2010
[10]

Numerically regular hereditary classes of combinato- rial geometries

Con- temp. Math. Amer. Math. Soc., Providence, RI, 1986, pp. 179–182. [Kol95] J´ anos Koll´ ar.Shafarevich maps and automorphic forms. M. B. Porter Lec- tures. Princeton University Press, Princeton, NJ, 1995, pp. x+201. [Kun86] Joseph P. S. Kung. “Numerically regular hereditary classes of combinato- rial geometries.” In:Geom. Dedicata21.1 (1986), pp. 85–1...

1986
[11]

Hindustan Book Agency, New Delhi, 2015, pp

Texts and Readings in Mathematics. Hindustan Book Agency, New Delhi, 2015, pp. x+504. [MP22a] Linquan Ma and Thomas Polstra.F-singularities: a commutative algebra approach. https://www.math.purdue.edu/ ma326/F-singularitiesBook.pdf

2015
[12]

Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension

[MP22b] Mircea Mustat ¸˘ a and Mihnea Popa. “Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension.” In:Forum Math. Pi 10 (2022), Paper No. e22,

2022
[13]

American Mathematical So- ciety, Providence, RI, 2015, pp

Graduate Studies in Mathematics. American Mathematical So- ciety, Providence, RI, 2015, pp. xii+363. [Oxl11] James Oxley.Matroid theory. Second Edition. Vol

2015
[14]

On the singular structure of graph hypersurfaces

Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2011, pp. xiv+684. [Pat10] Eric Patterson. “On the singular structure of graph hypersurfaces.” In: Commun. Number Theory Phys.4.4 (2010), pp. 659–708. [PS74] C. Peskine and L. Szpiro. “Liaison des vari´ et´ es alg´ ebriques. I.” In:Invent. Math.26 (1974), pp. 271–302. [PT24] Vaibhav Pa...

2011
[15]

Onb-function, spectrum and rational singularity

[Sai93] Morihiko Saito. “Onb-function, spectrum and rational singularity.” In: Math. Ann.295.1 (1993), pp. 51–74. [Sch09] Karl Schwede. “F-injective singularities are Du Bois.” In:Amer. J. Math. 131.2 (2009), pp. 445–473. [Smi97] Karen E. Smith. “F-rational rings have rational singularities.” In:Amer. J. Math.119.1 (1997), pp. 159–180. [Sta23] The Stacks ...

1993
[16]

Compactifications of subvarieties of tori

[Tev07] Jenia Tevelev. “Compactifications of subvarieties of tori.” In:Amer. J. Math.129.4 (2007), pp. 1087–1104. [TW18] Shunsuke Takagi and Kei-Ichi Watanabe. “F-singularities: applications of characteristicpmethods to singularity theory [translation of MR3135334].” In:Sugaku Expositions31.1 (2018), pp. 1–42. [V´ el95] Juan D. V´ elez. “Openness of the F...

2007