Combinatorial Explanation of the Clasp Conjecture

Definitions and mathematical statement

For a positive integer $n$, let ${\mathbb{C}}^n$ denote the standard complex vector space. For a nonnegative integer $k$, $\Lambda^k{\mathbb{C}}^n$ denotes its $k$-th exterior power. The supplied record uses the symbol $L_\lambda$ for a representation, but does not specify the acting group or algebra, the admissible labels $\lambda$, or any deformation parameters. These definitions of vector-space notation do not resolve those missing representation-theoretic hypotheses.

Requested mathematical target. Give a combinatorial explanation of the product formula in the clasp conjecture for the one-dimensional local intersection forms associated with tensor products \[ L_\lambda\otimes\Lambda^k{\mathbb{C}}^n. \] The request concerns the general setting of that conjecture, with the parameter ranges and hypotheses of its original formulation. Those ranges and hypotheses are not reproduced in the supplied record.

Unresolved qualifications. The record does not supply the product formula, the construction or indexing of the local intersection forms, the meaning of their one-dimensionality in the intended category, or the normalizations needed to identify their values. Consequently, a specific scalar identity with explicit quantifiers cannot be stated from this record alone. The meaning of a satisfactory combinatorial explanation is also unspecified. This draft preserves the requested target without supplying the missing formula or asserting the conjecture.

Short English statement

Find a combinatorial explanation of the clasp conjecture's product formula for the one-dimensional local intersection forms associated with $L_\lambda\otimes\Lambda^k{\mathbb{C}}^n$. The supplied record omits the formula and essential representation-theoretic definitions, so the exact identity requires source clarification and human mathematical review.

Sources

• Local UnsolvedMath registry: permanent ID $30004222$; exact source problem code catalogue entry. The supplied record belongs to the Oberwolfach Reports Open Problems collection and gives proposed year $2019$; no proposer is identified.
• Supplied report citation: Geometric, Algebraic, and Topological Combinatorics (2020), Oberwolfach Reports, pp. 2395--2472, DOI 10.4171/owr/2019/39. Supplied source and literature link: https://doi.org/10.4171/owr/2019/39. The background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions.
• Supplied dated literature curation, checked 2026-08-22: status open. Its assessment attributes to Elias a primary paper proving the product formula for $n\leq4$ and stating it as a conjecture for general $n$; it further reports that later work provides evidence but no general combinatorial proof. This is supplied dated curation, not an independently verified assessment. No bibliographic identification of Elias's paper or of the later work is supplied; the sole listed literature source is the report linked above.
• The supplied record labels the statement corrected_verified and reports that the official report was checked directly, with definitions restored and source-dependent wording removed. These are supplied verification claims; this draft does not independently verify them or claim to have visited the report.