Gorensteinness and iteration of Cox rings for Fano type varieties

We show that finitely generated Cox rings are Gorenstein. This leads to a refined characterization of varieties of Fano type: they are exactly those projective varieties with Gorenstein canonical quasicone Cox ring. We then show that for varieties of Fano type and Kawamata log terminal quasicones X, iteration of Cox rings is finite with factorial master Cox ring. In particular, even if the class group has torsion, we can express such X as quotients of a factorial canonical quasicone by a solvable reductive group.

Multigraded Castelnuovo–Mumford regularity via Klyachko filtrations

In this paper, we consider Z r \mathbb{Z}^{r} -graded modules on the Cl ⁡ ( X ) \operatorname{Cl}(X) -graded Cox ring C ⁢ [ x 1 , … , x r ] \mathbb{C}[x_{1},\dotsc,x_{r}] of a smooth complete toric variety 𝑋. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive Z s + r + 2 \mathbb{Z}^{s+r+2} -graded modules over any non-standard bigraded polynomial ring C ⁢ [ x 0 , … , x s , y 0 , … , y r ] \mathbb{C}[x_{0},\dotsc,x_{s},\allowbreak y_{0},\dotsc,y_{r}] . In this case, we give sharp bounds for the multigraded regularity index of their multigraded Hilbert function, and a method to compute their Hilbert polynomial.

What makes a complex a virtual resolution?

Virtual resolutions are homological representations of finitely generated Pic ( X ) \text {Pic}(X) -graded modules over the Cox ring of a smooth projective toric variety. In this paper, we identify two algebraic conditions that characterize when a chain complex of graded free modules over the Cox ring is a virtual resolution. We then turn our attention to the saturation of Fitting ideals by the irrelevant ideal of the Cox ring and prove some results that mirror the classical theory of Fitting ideals for Noetherian rings.

Smooth Fano Intrinsic Grassmannians of Type 2,n with Picard Number Two

We introduce the notion of intrinsic Grassmannians that generalizes the well-known weighted Grassmannians. An intrinsic Grassmannian is a normal projective variety whose Cox ring is defined by the Plucker ideal $I_{d,n}$ of the Grassmannian $\textrm{Gr}(d,n)$. We give a complete classification of all smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two and prove an explicit formula to compute the total number of such varieties for an arbitrary $n$. We study their geometry and show that they satisfy Fujita’s freeness conjecture.

On Intrinsic Quadrics

An intrinsic quadric is a normal projective variety with a Cox ring defined by a single quadratic relation. We provide explicit descriptions of these varieties in the smooth case for small Picard numbers. As applications, we figure out in this setting the Fano examples and (affirmatively) test Fujita’s freeness conjecture.

ON SMOOTHNESS OF MINIMAL MODELS OF QUOTIENT SINGULARITIES BY FINITE SUBGROUPS OF SLn(ℂ)

We prove that a quotient singularity ℂn/G by a finite subgroup G ⊂ SLn(ℂ) has a crepant resolution only if G is generated by junior elements. This is a generalization of the result of Verbitsky (Asian J. Math.4(3) (2000), 553–563). We also give a procedure to compute the Cox ring of a minimal model of a given ℂn/G explicitly from information of G. As an application, we investigate the smoothness of minimal models of some quotient singularities. Together with work of Bellamy and Schedler, this completes the classification of symplectically imprimitive quotient singularities that admit projective symplectic resolutions.

Some non-finitely generated Cox rings

We give a large family of weighted projective planes, blown up at a smooth point, that do not have finitely generated Cox rings. We then use the method of Castravet and Tevelev to prove that the moduli space$\overline{M}_{0,n}$of stable$n$-pointed genus-zero curves does not have a finitely generated Cox ring if$n$is at least$13$.