7
$\begingroup$

Does anyone know if there is an intrinsic definition of a toroidal compactification (over $\mathbb{C}$)?

Something like: Let $X$ be an algebraic variety over $\mathbb{C}$. Then $X \subset \bar{X}$ is a toroidal compactification if for every $x \in \bar{X}\setminus X$ there is an analytic neighborhood $N(x)$ of $x$ such that $N(x)$ is isomorphic to a toric variety. If there is, could someone give me any reference for it?

$\endgroup$
  • $\begingroup$ What is intrinsic? Isn't your definition intrinsic enough? $\endgroup$ – Alex Degtyarev Dec 6 '14 at 19:18
  • 1
    $\begingroup$ I don't know if they one I wrote down is correct. This is the definition of a toroidal embedding. Is every toroidal compactification a toroidal embedding? $\endgroup$ – cata Dec 6 '14 at 20:17
  • 1
    $\begingroup$ This is a great question, I don't know if I've ever seen a definition written down. Certainly there should be a toroidal embedding $X \hookrightarrow \bar{X}$, which is the definition you wrote down. Of course one should also have $\bar{X}$ be compact (proper, if not over $\mathbb{C}$). I don't believe there are any other requirements, although here I am not too certain. $\endgroup$ – rghthndsd Dec 7 '14 at 2:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.