A hidden exception breaks a local-to-global test
- What it is
- The paper claims a counterexample showing a local-to-global shortcut for certain quadratic forms fails when singular cases are included.
- Who did it
- Shisong Xu
- What it could mean
- The local checks can look reassuring while the bigger picture fails. This result would expose that trap for pairs of quadratic forms, showing why a crucial safeguard cannot simply be dropped.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Adjoint Closures of Singular Quadratic Pencils and First's Pfister-Type Conjecture ↗See the proposed checks
Reconstruct the claimed (K⁷) singular pencil and compute its adjoint closure, hyperbolicity, and weak-hyperbolicity status over a formally real test field; then examination the positive-minimal-index Kronecker-block argument and the dimension-minimality reduction separately.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- For a Pfister-type local--global criterion for nonsingular pairs of quadratic forms, the manuscript claims the nonsingularity hypothesis cannot be removed: over every formally real field it constructs a singular pair on (K⁷) whose adjoint closure is its two-dimensional pencil of hyperbolic forms although the pair is not weakly hyperbolic. The new v2 abstract further claims a complete two-dimensional regular-pencil closure dichotomy and minimality of dimension seven.
- Why this could matter
- A hidden exception breaks a local-to-global test Local-to-global principles let mathematicians infer an entire object's behavior from easier local checks. This counterexample says one such shortcut for pairs of quadratic forms breaks when singular cases are allowed.
- If it holds up
- Foundational: mathematicians must retain the nonsingularity safeguard or find a replacement, preventing a false local-to-global rule from propagating through quadratic-form research.
- If it does not
- First's broader conjecture remains plausible, and the decomposition examination will show which singular-block argument failed.
- Impact horizon
- Foundational · Quadratic forms · Algebra · Local-to-global methods
- Version
- revised 2026-08-28 14:03:34 UTC
- Why we tracked it
- a fresh, substantive v2 expansion of a named-conjecture counterexample, with a bounded algebraic target but no supplied formal or computational replay artifact.
- Highest-risk dependency
- The universal passage from the explicit example to the stated closure dichotomy depends on the precise treatment of singular Kronecker blocks and the regular part; the abstract alone does not expose the requisite field and decomposition hypotheses.
- Available artifacts
- arXiv provides PDF, experimental HTML, and TeX source; no formal-proof, code, data, or certificate repository is linked on the primary record.
- Current boundary
- Intake record only; examination not started.