Computing isolated orbifolds in weighted flag varieties

Abstract

Given a weighted flag variety $w\Sigma (\mu ,u)$ corresponding to chosen fixed parameters $\mu$ and $u$, we present an algorithm to compute lists of all possible projectively Gorenstein $n$-folds, having canonical weight $k$ and isolated orbifold points, appearing as weighted complete intersections in $w\Sigma (\mu ,u)$ or some projective cone(s) over $w\Sigma (\mu ,u)$. We apply our algorithm to compute lists of interesting classes of polarized 3-folds with isolated orbifold points in the codimension 8 weighted $G_2$ variety. We also show the existence of some families of log-terminal $\mathbb{Q}$-Fano 3-folds in codimension 8 by explicitly constructing them as quasilinear sections of a weighted $G_2$-variety.

Minor Changes, few one line explainations added, To Appear in Journal of Symbolic Computation, 22 pages, 1 figure