다양체에 대응(펑터와 같은?)하는 어떤 스킴 같은게 있어서 그런 스킴이 스킴이론에서 다뤄지기도 하나요?