Logarithmic Fulton--MacPherson configuration spaces

Siao Chi Mok

arxiv: 2503.17563 · v3 · pith:RDBGPYNHnew · submitted 2025-03-21 · 🧮 math.AG

Logarithmic Fulton--MacPherson configuration spaces

Siao Chi Mok This is my paper

Pith reviewed 2026-05-22 22:11 UTC · model grok-4.3

classification 🧮 math.AG

keywords Fulton-MacPherson configuration spaceslogarithmic geometrydegeneration formulabirational modificationlogarithmically smooth degenerationpoint configurationsalgebraic geometry

0 comments

The pith

Logarithmic geometry produces configuration spaces that degenerate the classical Fulton-MacPherson spaces via a formula on special fibers.

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

The paper constructs a logarithmic analogue of the Fulton-MacPherson configuration spaces using logarithmic geometry. It also produces a logarithmically smooth degeneration of the original spaces. Both constructions parametrize point configurations on target degenerations that arise in logarithmic settings as well as in the classical Fulton-MacPherson construction. The degeneration comes with a degeneration formula stating that each irreducible component of the special fiber is a proper birational modification of a product of the new logarithmic spaces. A reader would care if these tools extend the reach of configuration spaces to families that degenerate, a common situation when taking limits in algebraic geometry.

Core claim

Using techniques in logarithmic geometry, we construct a logarithmic analogue of the Fulton--MacPherson configuration spaces. We similarly construct a logarithmically smooth degeneration of the Fulton--MacPherson configuration spaces. Both constructions parametrise point configurations on certain target degenerations arising from both logarithmic geometry and the original Fulton--MacPherson construction. The degeneration satisfies a degeneration formula -- each irreducible component of its special fibre can be described as a proper birational modification of a product of logarithmic Fulton--MacPherson configuration spaces.

What carries the argument

The degeneration formula, which expresses each irreducible component of the special fiber of the logarithmically smooth degeneration as a proper birational modification of a product of logarithmic Fulton-MacPherson configuration spaces.

If this is right

The new spaces parametrize point configurations directly on logarithmic degenerations.
The degeneration of the classical spaces is logarithmically smooth.
Each component of the special fiber admits a description in terms of products of the logarithmic spaces up to proper birational modification.
The constructions apply uniformly to targets coming from both logarithmic geometry and the original Fulton-MacPherson setup.

Where Pith is reading between the lines

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

The degeneration formula may support recursive calculations of invariants by breaking families into simpler product pieces.
Similar logarithmic extensions could be attempted for other classical configuration or moduli constructions that lack built-in degeneration control.
The birational modifications in the formula suggest that the spaces remain close enough to products for intersection theory or enumerative purposes to carry over with adjustments.

Load-bearing premise

Standard techniques of logarithmic geometry suffice to produce the claimed spaces that parametrize point configurations on the target degenerations.

What would settle it

An explicit degeneration in which at least one irreducible component of the special fiber fails to be a proper birational modification of a product of logarithmic Fulton-MacPherson configuration spaces would disprove the degeneration formula.

read the original abstract

Using techniques in logarithmic geometry, we construct a logarithmic analogue of the Fulton--MacPherson configuration spaces. We similarly construct a logarithmically smooth degeneration of the Fulton--MacPherson configuration spaces. Both constructions parametrise point configurations on certain target degenerations arising from both logarithmic geometry and the original Fulton--MacPherson construction. The degeneration satisfies a "degeneration formula" -- each irreducible component of its special fibre can be described as a proper birational modification of a product of logarithmic Fulton--MacPherson configuration spaces.

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 claims new logarithmic Fulton-MacPherson spaces and a degeneration formula, but the abstract supplies no definitions or proofs so the claims remain uncheckable.

read the letter

The punchline is that this work defines a logarithmic version of the Fulton-MacPherson configuration spaces together with a logarithmically smooth degeneration whose special fiber satisfies a stated degeneration formula. Both are presented as new objects built with logarithmic geometry techniques to parametrize point configurations on degenerating targets. If the constructions are correct, they would give a concrete tool for handling degenerations in moduli problems that involve configuration spaces. The abstract is explicit that each component of the special fiber is a proper birational modification of a product of the logarithmic spaces, which is the part that looks potentially useful for degeneration formulas. The main limitation is that none of this is shown. There are no definitions of the moduli problem, no description of how the logarithmic structure is imposed, and no argument for why the degeneration is logarithmically smooth or why the birational modifications work as claimed. The assumption that standard logarithmic geometry techniques are enough is left untested in the visible text. The stress-test note is accurate: without access to the actual construction or any verification step, no technical detail can be examined for gaps. This is for readers already working on logarithmic compactifications and configuration spaces who need new degeneration tools. It would be worth sending to a serious referee once the full manuscript with the constructions and proofs is available, because the stated goal is concrete and the potential application is clear, but the current evidence is too thin to assess soundness.

Referee Report

1 major / 0 minor

Summary. The paper claims to construct, using techniques from logarithmic geometry, a logarithmic analogue of the Fulton--MacPherson configuration spaces. It further constructs a logarithmically smooth degeneration of the classical Fulton--MacPherson spaces whose special fibre satisfies a degeneration formula: each irreducible component is a proper birational modification of a product of the newly constructed logarithmic Fulton--MacPherson spaces. Both constructions are said to parametrize point configurations on target degenerations arising from logarithmic geometry and the original Fulton--MacPherson construction.

Significance. If the constructions and the degeneration formula can be verified, the work would supply a logarithmic extension of Fulton--MacPherson spaces, potentially useful for studying degenerations of configuration spaces and related moduli problems in algebraic geometry. The degeneration formula might enable recursive or component-wise descriptions in logarithmic settings.

major comments (1)

[Abstract] Abstract: the manuscript asserts the existence of the logarithmic Fulton--MacPherson spaces and the degeneration formula but supplies neither the moduli problem being solved, the explicit construction, nor any verification that standard logarithmic techniques (e.g., logarithmic smoothness, properness of the modification) produce the claimed objects. Without these steps the central claims cannot be checked.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The single major comment concerns the level of detail in the abstract. We address it below and propose a revision to improve clarity while preserving the manuscript's content.

read point-by-point responses

Referee: [Abstract] Abstract: the manuscript asserts the existence of the logarithmic Fulton--MacPherson spaces and the degeneration formula but supplies neither the moduli problem being solved, the explicit construction, nor any verification that standard logarithmic techniques (e.g., logarithmic smoothness, properness of the modification) produce the claimed objects. Without these steps the central claims cannot be checked.

Authors: The abstract is written as a concise summary of the main results. The moduli problem (configurations on logarithmic targets with stability conditions derived from the classical Fulton--MacPherson setup) is formulated explicitly in the introduction and Section 2. The construction proceeds via logarithmic blow-ups and Artin fans in Section 3, with logarithmic smoothness verified in Proposition 4.1 and properness of the birational modifications in Theorem 5.3. The degeneration formula and its verification appear in Section 6. We agree the abstract could better signpost these elements and will revise it to include a short description of the moduli problem solved and the main techniques used. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper describes a direct construction of logarithmic analogues and degenerations of Fulton-MacPherson spaces using standard techniques of logarithmic geometry. No equations, fitted parameters, self-citations, or ansatzes are presented that reduce the central claims to inputs by definition or construction. The degeneration formula is stated as a property of the constructed object rather than a derived prediction from prior fitted data. The work is self-contained as an existence and description result without load-bearing reductions to self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claim rests on the applicability of logarithmic geometry techniques to the classical Fulton-MacPherson construction and on the existence of suitable target degenerations; no free parameters or invented entities with independent evidence are visible from the abstract.

axioms (1)

domain assumption Techniques of logarithmic geometry can be applied to construct analogues of Fulton-MacPherson configuration spaces on the indicated target degenerations.
The abstract invokes logarithmic geometry methods without further justification.

invented entities (2)

Logarithmic Fulton-MacPherson configuration spaces no independent evidence
purpose: Parametrizing point configurations on logarithmic target degenerations
New objects introduced by the construction.
Logarithmically smooth degeneration of Fulton-MacPherson spaces no independent evidence
purpose: Providing components of the special fibre via birational modifications of products of the logarithmic spaces
New degeneration object introduced by the construction.

pith-pipeline@v0.9.0 · 5592 in / 1167 out tokens · 48439 ms · 2026-05-22T22:11:28.516246+00:00 · methodology

Logarithmic Fulton--MacPherson configuration spaces

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)