Deje que <span class="math-container">%-%-%</span> sea el colector topológico subyacente de una superficie proyectiva compleja y lisa. Supongamos <span class="math-container">que %-%-%</span> y <span class="math-container">%-%-%</span>.
¿Hay una fibra de Serre <span class="math-container">%-%-%</span> en la que <span class="math-container">%-%-%</span> es un complejo de CW de dimensión <span class="math-container">%-%-%</span>?
