1 · The essentials
The manuscripts concern mathematical rules for numbers that describe curves inside geometric spaces. One manuscript claims these rules for smooth spaces cut out by polynomial equations inside complex projective space. Its claim covers curves with any number of handles, every curve class, and all the accompanying data allowed in the theory. The main manuscript describes how the rules can carry over from one space to a new space constructed above it. This construction can be repeated, provided the starting space satisfies all the rules and each step meets the stated conditions. The abstracts state the results but do not explain the arguments behind them. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a building system in which a qualifying foundation supports an added level that retains the same certification, and the process can be repeated. One manuscript supplies qualifying foundations, while the main manuscript gives the rule for adding levels; unlike actual construction, the certification here consists of mathematical identities.
Why it matters
Together, the claims cover both smooth projective complete intersections and projective-bundle towers built over spaces satisfying the full constraints. Their scope explicitly includes primitive and odd cohomology insertions, rather than leaving those cases aside. The projectivization claim also imposes neither a splitting condition nor a positivity requirement on the bundle.
2 · Going further
The precise question is whether the full ordinary unreduced descendant Virasoro constraints hold for the Gromov–Witten theory of the spaces under consideration. The repository summary describes the constraints as covering every genus, each curve class, and arbitrary cohomology insertions. Manuscript 2 claims this for every smooth complete intersection in complex projective space, including primitive and odd classes and without a semisimplicity assumption.
The main manuscript gives a conditional inheritance statement. Let be a smooth projective complex base satisfying the full ordinary descendant Virasoro constraints, and let be an algebraic vector bundle on with . The manuscript claims that the full constraints then hold for its projectivization . The conclusion covers every genus, each individual integral curve class, and all cohomology insertions; need not split and has no positivity requirement.
The organizing idea visible in the abstracts is inheritance under projectivization: once the base satisfies the constraints, the construction can be applied successively to obtain projective-bundle towers. Combining the two claims therefore makes smooth projective complete intersections available as starting bases. However, the supplied abstracts describe no argument or technical mechanism establishing either claim, so they do not support a more detailed account of how the results are obtained.
Useful notions
- Smooth complex projective spaces and varieties
- Complete intersections
- Vector bundles and projectivization
- Curve genus and curve classes
- Cohomology and descendant Gromov–Witten theory
What was known before / what is new
Before
The source identifies the target statement as the Virasoro conjecture for ordinary descendant Gromov–Witten theory. It supplies no account of earlier established cases or previous methods, so no historical comparison can be made from this material alone.
New
Manuscript 2 claims the full constraints for smooth projective complete intersections, in every genus and curve class with arbitrary cohomology insertions. The main manuscript claims inheritance from a qualifying smooth projective complex base to the projectivization of any algebraic vector bundle of rank at least two. Its statement allows nonsplit bundles without positivity requirements and can be applied repeatedly to towers.
Limits and assumptions
The complete-intersection statement requires smooth complete intersections in complex projective space. The inheritance statement requires a smooth projective complex base already satisfying the full constraints and an algebraic vector bundle of rank at least two; it does not remove the hypothesis on the base. The stated scope is ordinary unreduced descendant theory. The main result is not formalized in Lean and has not been formally verified, and the supplied abstracts contain no details of the arguments. The source identifies no specific remaining open problem and gives no conclusion outside the stated hypotheses.
Mini glossary
- Virasoro constraints —
- The conjectured system of identities for ordinary descendant Gromov–Witten theory addressed by these manuscripts.
- Complete intersection —
- A space cut out by polynomial equations with the expected number of independent conditions.
- Projectivization —
- The construction that replaces the vector-space fibers of a vector bundle with projective spaces.
- Projective-bundle tower —
- A sequence of spaces obtained by repeatedly forming a projective bundle over the preceding space.
- Genus —
- The measure of a curve's topology described informally as its number of handles.
Keywords : Virasoro constraints · Complete intersections · Projective bundles
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also pass from any smooth projective complex base satisfying them to the projectivization of every algebraic vector bundle of rank at least two, and hence to projective-bundle towers.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Virasoro Constraints under Projectivization
05/10/2026We prove that full ordinary descendant Virasoro constraints pass from a smooth projective complex base to the projectivization of any algebraic vector bundle of rank at least two. The bundle need not split and satisfies no positivity requirement. Assuming the full constraints on the base, the conclusion includes every genus, each individual integral curve class, and all cohomology insertions, including primitive and odd classes. The result also applies successively to towers of projective bundles.
Virasoro Constraints for Projective Complete Intersections
24/09/2026We prove the Virasoro conjecture for the ordinary descendant Gromov–Witten theory of smooth complete intersections in projective space, in every genus and curve class and with arbitrary cohomology insertions. This includes primitive and odd cohomology classes, with no semisimplicity assumption.