[math-fun] algebraic geometry query