2
$\begingroup$

Let $X$ be a toric variety, and let $\pi: \mathbb A^n-V(B) \to X = (\mathbb A^n-V(B))/(\mathbb C^*)^\rho$ be the quotient map defining $X$ in the Cox construction. A subvariety $Y\subset X$ is called quasismooth if $\pi^{-1}(Y)$ is smooth. Clearly, $Y$ smooth implies $Y$ quasismooth.

If we assume now that $X$ is smooth, is $Y$ quasismooth if and only if it is smooth?

$\endgroup$
1
  • 3
    $\begingroup$ I recognize that photo. $\endgroup$ May 29, 2022 at 21:34

1 Answer 1

2
$\begingroup$

Yes. Morphism $\pi$ is smooth if $X$ is smooth. Smoothness is stable under base change, so $\pi$ is smooth implies $\pi^{-1}(Y) \to Y$ is smooth. By Lemma 35.17.4 in "Stack Project" "being regular" (which is equivalent to "being smooth" when the base field is $\mathbb C$) is a property local in the smooth topology, hence, $\pi^{-1}(Y)$ smooth, $\pi^{-1}(Y) \to Y$ smooth and surjective implies $Y$ is smooth.

Why $\pi$ is smooth if $X$ is smooth. $X$ is smooth iff defining fan $\Sigma$ is smooth. Consider fan $\tilde{\Sigma}$ in $\mathbb R^{\Sigma(1)}$ corresponding to toric variety $\mathbb C^{\Sigma(1)} - Z(\Sigma)$ which for every cone $\sigma \in \Sigma$ have cone $\tilde{\sigma} = \operatorname{cone}(e_{\rho} | \rho \in \sigma(1)) \in \tilde{\Sigma}$ and all corresponding faces (see Cox Little Schenck "Toric varieties" §5.1 for more accurate construction of $\tilde{\Sigma}$). We have to show that morphism $\pi : X_{\tilde{\Sigma}} \to X_{\Sigma}$ induced by canonical morphism of fans $\tilde{\Sigma} \to \Sigma$ is smooth. Since smoothness is a property local on source, it is enough to check smoothness of restriction $\pi|_{U_{\tilde{\sigma}}}$ for every affine open set $U_{\tilde{\sigma}}, \sigma \in \Sigma$. Computation in coordinates shows that morphism $\pi|_{U_{\tilde{\sigma}}} : U_{\tilde{\sigma}} \to U_{\sigma}$ is isomorphic to standard projection $\pi : \mathbb C^{k} \times (\mathbb C^*)^{\dim X-k} \times (\mathbb C^*)^{r} \to \mathbb C^{k} \times (\mathbb C^*)^{\dim X-k}$ where $k=\dim \sigma$, which is definitely smooth.

$\endgroup$
2
  • $\begingroup$ @wnx It is enough to check smoothness on affine charts, since smoothness is source local property, and on affine charts $\pi$ looks like $\mathbb C^{\dim X} \times (\mathbb C^*)^m \to \mathbb C^{\dim X}$. Have added some explanation, hope that it helps. $\endgroup$ Jun 1, 2022 at 12:14
  • $\begingroup$ Thanks for this! $\endgroup$ Jun 1, 2022 at 16:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.