Table of Contents
Fetching ...

Complexity one varieties are cluster type

Joshua Enwright, Jennifer Li, José Ignacio Yáñez

Abstract

The complexity of a pair $(X,B)$ is an invariant that relates the dimension of $X$, the rank of the group of divisors, and the coefficients of $B$. If the complexity is less than one, then $X$ is a toric variety. We prove that if the complexity is less than two, then $X$ is a Fano type variety. Furthermore, if the complexity is less than 3/2, then $X$ admits a Calabi--Yau structure $(X,B)$ of complexity one and index at most two, and it admits a finite cover $Y \to X$ of degree at most 2, where $Y$ is a cluster type variety. In particular, if the complexity is one and the index is one, $(X,B)$ is cluster type. Finally, we establish a connection with the theory of $\mathbb{T}$-varieties. We prove that a variety of $\mathbb{T}$-complexity one admits a similar finite cover from a cluster type variety.

Complexity one varieties are cluster type

Abstract

The complexity of a pair is an invariant that relates the dimension of , the rank of the group of divisors, and the coefficients of . If the complexity is less than one, then is a toric variety. We prove that if the complexity is less than two, then is a Fano type variety. Furthermore, if the complexity is less than 3/2, then admits a Calabi--Yau structure of complexity one and index at most two, and it admits a finite cover of degree at most 2, where is a cluster type variety. In particular, if the complexity is one and the index is one, is cluster type. Finally, we establish a connection with the theory of -varieties. We prove that a variety of -complexity one admits a similar finite cover from a cluster type variety.

Paper Structure

This paper contains 12 sections, 25 theorems, 46 equations.

Key Result

Theorem 1

Let $(X,B)$ be a log canonical pair with $-(K_X+B)$ nef. Then $c(X,B)\geq 0.$ If $c(X,B)<1,$ then there is a toric log Calabi--Yau pair $(X,\Delta)$ with $\lfloor B \rfloor \leq \Delta$ and all but possibly $\lfloor 2c(X,B)\rfloor$ components of $\Delta$ lie in the support of $B.$

Theorems & Definitions (78)

  • Theorem 1: BMSZ18
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Theorem 5
  • Theorem 6
  • Theorem 7
  • Theorem 8
  • Definition 2.1
  • Definition 2.2
  • ...and 68 more