arxiv: 2603.27888 · v2 · submitted 2026-03-29 · 🧮 math.AG · math.CO· math.SG

Recognition: 2 theorem links

· Lean Theorem

Log-concavity from enumerative geometry of planar curve singularities

Tao Su , Baiting Xie , Chenglong Yu

Authors on Pith no claims yet

Pith reviewed 2026-05-14 21:06 UTC · model grok-4.3

classification 🧮 math.AG math.COmath.SG

keywords BPS invariantslog-concavityplanar curve singularitiesSeveri strataEuler obstructionsLegendrian linksruling polynomialscharacter varieties

0 comments

The pith

BPS invariants of planar curve singularities satisfy log-concavity when identified with local Euler obstructions of Severi strata.

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

The paper proposes a conjecture that BPS invariants arising in the enumerative geometry of planar curve singularities are log-concave. This property is tied to their identification with the local Euler obstructions of the Severi strata in the versal deformations of the singularities. The same log-concavity is conjectured to hold for ruling polynomials of Legendrian links and for E-polynomials of character varieties. The claims are established in full for irreducible weighted-homogeneous singularities, including torus knots, and for ADE singularities. A multiplicative property for the ruling polynomials is proved that remains compatible with the log-concavity condition.

Core claim

The central claim is that BPS invariants of planar curve singularities equal the local Euler obstructions of Severi strata in their versal deformations and therefore obey log-concavity. This identification is used to formulate parallel conjectures for ruling polynomials of Legendrian links and E-polynomials of character varieties. Both the log-concavity statements and a multiplicative property for ruling polynomials are proved for all irreducible weighted-homogeneous singularities and for ADE singularities.

What carries the argument

The identification of BPS invariants with local Euler obstructions of Severi strata in versal deformations of the singularities.

If this is right

Log-concavity holds for BPS invariants attached to every irreducible weighted-homogeneous singularity, including all torus knots.
Log-concavity holds for the ruling polynomials of the Legendrian links associated to these singularities.
Log-concavity holds for the E-polynomials of the character varieties attached to these singularities.
The ruling polynomials satisfy a multiplicative property that preserves log-concavity under products.

Where Pith is reading between the lines

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

If the identification extends beyond the cases already proved, log-concavity would give uniform bounds on the growth of BPS invariants for many more curve singularities.
The same Euler-obstruction interpretation might link the conjecture to existing results on log-concave sequences in other strata of moduli spaces.
Verification for one additional family of singularities, such as simple elliptic singularities, would provide a concrete test of the general pattern.

Load-bearing premise

The identification of BPS invariants with local Euler obstructions of Severi strata in the versal deformations.

What would settle it

An explicit computation for a single planar curve singularity in which the BPS invariant sequence differs from the sequence of local Euler obstructions of its Severi strata, or in which the sequence fails to be log-concave.

read the original abstract

We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.

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 states a log-concavity conjecture for BPS invariants of planar curve singularities, verifies it for torus knots and ADE singularities, and adds a compatible multiplicative property for ruling polynomials.

read the letter

The main thing here is a log-concavity conjecture for BPS invariants of planar curve singularities, identified with local Euler obstructions of Severi strata in versal deformations. The authors extend the same idea to ruling polynomials of Legendrian links and E-polynomials of character varieties. They prove the statement for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and they establish a multiplicative property for the ruling polynomials that preserves log-concavity under the relevant operations. These special-case results are the concrete advance. The proofs appear to rest on explicit formulas or known computations for those families, which gives the claims a solid footing rather than relying on general machinery that might not yet exist. The multiplicative property is a useful addition because it shows how the conjectured inequality behaves under constructions that correspond to geometric gluings or sums. On the softer side, the whole conjecture is built on equating BPS invariants to those local Euler obstructions. The abstract treats the identification as the starting point, and the verified cases confirm log-concavity once that step is granted, but the general link is not independently checked outside the special regimes. That leaves some uncertainty for the broadest version of the claim. The general case stays conjectural, which is expected, yet it means the paper's reach depends on how widely the identification holds. This work is aimed at researchers already working with BPS counts, Severi strata, or the intersection of enumerative geometry and low-dimensional topology. A reader who follows invariants of curve singularities or Legendrian links will find the special-case verifications and the multiplicative relation directly usable, and the conjecture itself is stated clearly enough to test or extend. I would send it to peer review. The special cases are handled cleanly and the conjecture is precise enough that referees can evaluate the proofs and suggest further checks without the paper needing major restructuring first.

Referee Report

2 major / 1 minor

Summary. The paper proposes a log-concavity conjecture for BPS invariants of planar curve singularities, identified with local Euler obstructions of Severi strata in versal deformations. It extends the conjecture to ruling polynomials of Legendrian links and E-polynomials of character varieties. The conjecture is proved for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, together with a multiplicative property for ruling polynomials that is compatible with log-concavity.

Significance. If the identification and resulting conjecture hold in general, the work would furnish a geometric source for log-concavity statements that appear across BPS invariants, Legendrian links, and character varieties. The explicit verifications for weighted-homogeneous and ADE cases, together with the multiplicative property, supply concrete supporting evidence and a template for further checks.

major comments (2)

[Abstract] Abstract and introduction: the central conjecture is formulated by equating BPS invariants to local Euler obstructions of Severi strata, yet no independent derivation, reference, or general computational check of this identification is supplied; the special-case proofs confirm log-concavity once the identification is assumed but do not test the equality itself outside those regimes.
[Section on multiplicative property] The multiplicative property for ruling polynomials is established and shown to be compatible with log-concavity, but the argument does not address whether the property survives the passage from the special cases to the general identification with Euler obstructions.

minor comments (1)

[Introduction] Notation for the versal deformation space and Severi strata should be introduced with a short diagram or reference to standard sources to aid readers unfamiliar with the local geometry.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major point below and have revised the text to improve clarity on the formulation of the identification and the scope of the multiplicative property.

read point-by-point responses

Referee: [Abstract] Abstract and introduction: the central conjecture is formulated by equating BPS invariants to local Euler obstructions of Severi strata, yet no independent derivation, reference, or general computational check of this identification is supplied; the special-case proofs confirm log-concavity once the identification is assumed but do not test the equality itself outside those regimes.

Authors: We agree that the identification requires additional clarification. The equality is motivated by matching recursive structures and low-degree computations in the literature on BPS invariants and Euler obstructions for curve singularities. In the revised version we have added a dedicated paragraph in the introduction that supplies the relevant references, outlines the computational checks performed in small examples, and states explicitly that the log-concavity conjecture is formulated for the BPS invariants while the Euler-obstruction interpretation is offered as a geometric model. The special-case proofs therefore verify both the identification and the resulting log-concavity where they overlap. revision: yes
Referee: [Section on multiplicative property] The multiplicative property for ruling polynomials is established and shown to be compatible with log-concavity, but the argument does not address whether the property survives the passage from the special cases to the general identification with Euler obstructions.

Authors: The multiplicative property is proved directly for ruling polynomials. We have revised the section to clarify that the property is independent of the identification and holds on the Legendrian side regardless. Under the conjectural identification the same algebraic relations are expected to transfer to the Euler-obstruction side; this transfer is verified in the weighted-homogeneous and ADE cases where the identification is established. A new remark has been inserted explaining the compatibility in the general setting as part of the overall conjecture. revision: yes

Circularity Check

0 steps flagged

No circularity: conjecture formulated from identification and verified explicitly in special cases

full rationale

The paper proposes a log-concavity conjecture for BPS invariants (identified with local Euler obstructions of Severi strata) and extends it to ruling polynomials and E-polynomials. It then proves the conjecture for irreducible weighted-homogeneous singularities and ADE singularities, plus a multiplicative property for ruling polynomials. No derivation chain is claimed that reduces a prediction or central result to fitted inputs, self-definitions, or self-citations by construction. The identification step is used only to state the conjecture, not to derive it from prior results within the paper. Special-case proofs supply independent content rather than renaming or smuggling ansatzes. This is the expected non-finding for a conjecture paper whose main claims rest on explicit verification rather than internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The conjecture rests on the domain assumption that BPS invariants coincide with local Euler obstructions of Severi strata; no free parameters or new invented entities are introduced.

axioms (1)

domain assumption BPS invariants arising from enumerative geometry of planar curve singularities are identified with local Euler obstructions of Severi strata in versal deformations
This identification is invoked to formulate the log-concavity conjecture.

pith-pipeline@v0.9.0 · 5372 in / 1180 out tokens · 35135 ms · 2026-05-14T21:06:38.507430+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

eR_Tn,m(z) = product (z^2 + 2 - ξ_j - ξ_j^{-1}) ... each factor ... is log-concave. By the multiplicativity of log-concavity

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.