# Projectivization transfer is a conditional research computation lead

Family 065; scoped reading addendum, 9 October 2026 Australia/Brisbane. Source revision `fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb`.

## Source finding

The October 5 introduction transfers all-genus ordinary Virasoro constraints from a smooth connected complex projective base to projectivization of an arbitrary algebraic vector bundle of rank at least two. The bundle need not split or be positive; the base need not have semisimple quantum cohomology. Actual integral curve classes, odd insertions and the first Hodge grading are specified.

## Applicability boundary

The premise that the base satisfies the constraints remains necessary. Coefficientwise finiteness and ancestor bounds in the proof do not automatically give a triangular, initialized or efficient numerical recurrence engine. The earlier complete-intersection manuscript and proof details remain queued. There is no family formal-scope document.

## Business decision

Defer a standalone product; inspect finite recurrence construction and an existing research computation before adding a dossier.

## Exact sections read

- [preprints/Virasoro-Constraints-under-Projectivization-October-5-2026/build/sections/01-introduction.tex](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Virasoro-Constraints-under-Projectivization-October-5-2026/build/sections/01-introduction.tex).

These readings establish recorded source scope, not proof correctness. No independent Lean verification was run. Companion manuscripts and construction effectiveness remain separately tracked. See [source metadata](source.json).