Source authenticated

The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles)

Principal theorem: for a smooth complete intersection X⊂PCNX\subset\mathbb P^N_{\mathbb C}, LkXZX=0L_k^XZ_X=0 for all k≥−1k\ge-1 in Getzler's first-Hodge-degree superspace convention, coefficientwise in every genus and curve class, with arbitrary insertions from H∗(X;C)H^*(X;\mathbb C). Companion: if the full constraints hold for a smooth connected projective base BB, they hold for PB(E)\mathbb P_B(E) for any algebraic vector bundle EE of rank at least 2 (no splitting or positivity), hence for projective-bundle towers. The conjecture for general smooth projective varieties (for example general hypersurfaces in other ambients, or varieties with no degeneration to known pieces) remains open.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles) · Virasoro conjecture for complete intersections

Confidence: Not scored

Registry verification: unreviewed · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles) evidence for this event

Companion: Virasoro Constraints under Projectivization evidence for this event

Eguchi, Hori and Xiong, Quantum cohomology and Virasoro algebra (1997) evidence for this event

The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles) parent of this event

Principal theorem: for a smooth complete intersection X⊂PCNX\subset\mathbb P^N_{\mathbb C}, LkXZX=0L_k^XZ_X=0 for all k≥−1k\ge-1 in Getzler's first-Hodge-degree superspace convention, coefficientwise in every genus and curve class, with arbitrary insertions from H∗(X;C)H^*(X;\mathbb C). Companion: if the full constraints hold for a smooth connected projective base BB, they hold for PB(E)\mathbb P_B(E) for any algebraic vector bundle EE of rank at least 2 (no splitting or positivity), hence for projective-bundle towers. The conjecture for general smooth projective varieties (for example general hypersurfaces in other ambients, or varieties with no degeneration to known pieces) remains open. parent of this event

VibeMathed record: The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.