Turning infinite geometric complexity into a finite map
- What it is
- The first of two papers proposes a proof of the Generalised Cone Conjecture for surfaces beyond Calabi-Yau cases.
- Who did it
- Vladimir Lazić, Isabel Stenger, and Zhixin Xie
- What it could mean
- An infinity of geometric possibilities could fit into a finite-sided map. If this paper and its companion hold, symmetry would make a daunting family of surfaces far more manageable.
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
Generalised Cone Conjecture, I: Beyond Calabi--Yau ↗See the proposed checks
Map the exact generalized surface statement and wait for/source-lock the companion paper; highest risk is a two-paper dependency.
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
- The authors state that this first paper proves the Generalised Cone Conjecture on surfaces.
- Why this could matter
- Turning infinite geometric complexity into a finite map Algebraic surfaces can carry infinitely complicated families of geometric configurations. The cone conjecture says symmetry may compress that infinity into a finite-sided fundamental region, making classification manageable; this paper supplies only part of a two-paper proof.
- If it holds up
- Foundational: together with its companion, it would organize broad classes of surfaces into finitely describable symmetry regions and support finiteness results for their minimal geometric models.
- If it does not
- Because this installment treats a companion theorem as a black box, failure there would block the advertised full result while leaving this paper's intermediate theorems potentially intact.
- Impact horizon
- Foundational · Algebraic geometry · Classification · Symmetry
- Version
- submitted 2026-08-26 17:44:29 UTC.
- Why we tracked it
- a claimed surface result explicitly identified as part one of two.
- Highest-risk dependency
- a two-paper dependency.
- Available artifacts
- New Slack discovery packet; no formal/code artifact listed.
- Current boundary
- Intake record only; examination not started.