As stated last time, one of the motivations for learning the very classical story of elementary transformations was to better appreciate the role they play in GHK mirror symmetry. In turn, apart it from being a radical development in cluster theory and mirror symmetry itself that I want learn more about, I’d very much like to understand how the other versions of mirror symmetry that I’ve encountered (and some that I haven’t) can be reconciled with the GHK mentality.

It seems that much of the philosophy for mirror symmetry for Fano varieties or, roughly more generally, log Calabi-Yau (LCY) pairs is based on their proximity to toric varieties. In the Fano case as studied by Coates-Corti-Galkin-Golyshev-Kasprzyk-… the mirror is built from the toric degenerations of the Fano you started with. I’ve posted before about the conjecture that ‘smooth implies TG’. In the LCY case studied by GHK(K), it is toric models that play the part of mirror builders.

LCY is the log version of CY: these are pairs consisting of a smooth projective variety and a normal crossings divisor such that . Normal crossings is important for certain calculations to depend only on the interior , which is also often referred to as an [open] LCY. There’s a good source of these: if is a toric variety and is its toric boundary – that is, removing the big torus, or it’s the divisor from the rays of the polytope defining – then is a LCY. A toric LCY is a ‘toric model’ of a LCY is it can be obtained by a series of suitable blowdowns.

The point is that for each toric model of one gets an open torus inside . Gathering all the tori from all the toric models of covers up to codimension 2, which is good enough to study regular functions by Hartogs’ lemma (which is what one ends up doing). Of course, like collections of toric degenerations, the collection of toric models comes with much more structure than I’ve stated so far. One can ‘mutate’ between toric models via elementary transformations.

Here lies the problem with naively comparing GHK to CCGGK via comparing toric models and toric degenerations. I discussed the classical example last time of the elementary transformation from to $\mathbb{F}_1=\text{dP}_8$. These are then both toric models for each other. However, they are not deformation-equivalent! Hence, they get conflated in GHK and distinguished in CCGGK.

### Like this:

Like Loading...

*Related*