A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Virasoro constraints for complete intersections and projective bundles
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:shapes made of equations Levels:2
Category:Algebraic and complex geometry Lean version:not yet
Rate this game! 4.2 out of 5 (2,643 votes)

>>> How to Play <<<
Virasoro constraints for complete intersections and projective-bundle towers. 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.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 18 lemmas · 27 proofs · 17,789 words  |  PLAY LEVEL 1 »  (pdf)
We 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.
released 2026-09-24  |  3 theorems · 25 lemmas · 33 proofs · 25,311 words  |  PLAY LEVEL 2 »  (pdf)
We 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.

More Algebraic and complex geometry Games!
The Kollár–Pardon universal-cover conjectureCounterexamples to Zariski's multiplicity conjectureThe Global Spherical Shell conjectureThe LeBrun–Salamon conjecture and projective contact classification
The generalized Mukai conjectureThe $\mu$-constant problem for surface singularitiesBounded klt complements for Fano contractionsThe Campana–Peternell conjecture in dimension six

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games