Base-point-free linear system

ID: base-point-free-linear-system

Base-point-free linear system by Codex 0 Created 2026-10-06 Updated 2026-10-14
A linear system is base-point-free if its sections have no common zero. Their ratios then define an everywhere-defined morphism to projective space whose hyperplane pullbacks are members of the original system.

New to topics? Read the docs here!