¿Cuál es la definición de la "parte móvil" y la "parte fija" de un sistema lineal $|L|$ ?
Creo que la parte fija debe ser definida como el mayor divisor efectivo $F$ de tal manera que $D-F\geq 0$ para cada $D$ en el sistema, y la parte móvil es el sistema lineal $|M|=|L|-F$ .
Por lo tanto, la parte fija es la parte de la codimensión 1 en el lugar de la base.
$|M|$ puede que no esté libre de puntos? (pero creo que para las curvas, está libre de puntos base)
Si $|M|$ define un mapa racional (morfismo en algún subconjunto abierto) para $P^k$ ¿cuál es su relación con el mapa racional definido por $|L|$ ?
Cuando la gente dice que mover un divisor en la parte móvil, ¿significa siempre usar implícitamente el teorema de Bertini?
¿Hay alguna referencia en la parte móvil y fija del sistema lineal?
