A Castelnuovo-féle összehúzódási tételt az algebrai felületek osztályozási elméletében használják egy adott sima algebrai felület minimális modelljének megalkotására .
Pontosabban, ha egy sima projektív felület fölött van , és egy (−1) -görbe van (ami sima racionális görbét jelent önmetszéspontokkal −1), akkor van egy morfizmus tól -ig egy másik fő projektív felület úgy, hogy a görbe a pontig zsugorodik , ráadásul ez a morfizmus kívüli izomorfizmus (vagyis -vel izomorf ).
Ezt az összehúzódási morfizmust néha deflációnak vagy összehúzódásnak nevezik , ami a felfújás fordítottja . Az ilyen görbét az első típusú kivételes görbének is nevezzük.