For given positive integers $d$ and $m$, consider the projective klt pairs $(X,B)$ of dimension $d$, of Cartier index $m$, and with semi-ample $K_X+B$ defining a contraction $π\colon X\to Z$. We prove that it is not possible in general to write $n(K_X+B)\simπ^*A_Z$ for some $n$ depending only on $d$ and $m$, and some Cartier divisor $A_Z$ on $Z$.
We show the boundedness of B-pluricanonical representations of lc log Calabi-Yau pairs in dimension $2$. As applications, we prove the boundedness of indices of slc log Calabi-Yau pairs up to dimension $3$ and that of non-klt lc log Calabi-Yau pairs in dimension $4$.
In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.
We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log discrepancy is bounded if either multiplicity or embedding dimension is bounded. Secondly we recover the characterisation of a Gorenstein terminal three-fold singularity by Reid, and the precise boundary of its minimal log discrepancy by Markushevich, without explicit classification. Finally we provide the precise boundary for a special four-fold singularity, whose …
We consider a class of stable smoothable n-dimensional varieties, the analogs of stable curves. Assuming the minimal model program in dimension n+1, we prove that this class is bounded. From Kollar's method of constructing projective moduli spaces we get as a corollary that minimal model program in dimension n+1 implies the existence of a projective coarse moduli space for stable smoothable n-folds.
Let $Γ$ be a finite set, and $X\ni x$ a fixed klt germ. For any lc germ $(X\ni x,B:=\sum_{i} b_iB_i)$ such that $b_i\in Γ$, Nakamura's conjecture, which is equivalent to the ACC conjecture for minimal log discrepancies for fixed germs, predicts that there always exists a prime divisor $E$ over $X\ni x$, such that $a(E,X,B)={\rm{mld}}(X\ni x,B)$, and $a(E,X,0)$ is bounded from above. We extend Nakamura's conjecture to the setting that $X\ni x$ is not necessarily fixed and $Γ$ satisfies the DCC, and show it holds for surfaces. We also find some sufficient conditions for the boundedness of $a(E,X…
Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical map of $X$ and so $F$ is a smooth curve or a smooth surface. The main result of the paper is that there is a computable constant $K$ (independent of $X$) such that $g(F)\leq 647$ or $p_g(F)\leq 38$ whenever $p_g(X)\geq K$. The method heavily relies on both a Noether type of inequality and a Miyaoka-Yau inequality and that is the reason we only treat a Goren…
We show that the number of marked minimal models of an n-dimensional smooth complex projective variety of general type can be bounded in terms of its volume, and, if n=3, also in terms of its Betti numbers. For an n-dimensional projective klt pair (X,D) with $K_X+D$ big, we show more generally that the number of its weak log canonical models can be bounded in terms of the coefficients of D and the volume of $K_X+D$. We further show that all n-dimensional projective klt pairs (X,D), such that $K_X+D$ is big and nef of fixed volume and such that the coefficients of D are contained in a given DCC…
We prove the boundedness theorem for Fano threefolds with log-terminal singularities of any fixed index. This is an improvement of our earlier result, where we required additionally that the variety is Q-factorial, with Picard number 1. The new ideas of the paper include the following. 1. Using Alexeev Minimal Model program with suitable boundary to find horizontal extremal contractions. 2. Using Kollár's effective Base Point Freeness theorem. 3. Using Kawamata's result on the length of extremal curves with suitable boundary to avoid gluing curves in some cases.
Let $(P\in X,Δ)$ be a three dimensional log canonical pair such that $Δ$ has only standard coefficients and $P$ is a center of log canonical singularities for $(X,Δ)$. Then we get an effective bound of the indices of these pairs and actually determine all the possible indices. Furthermore, under certain assumptions including the log Minimal Model Program, an effective bound is also obtained in dimension $n\geq 4$.
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.
In this paper we give an upper bound for the Picard number of the rational surfaces which resolve minimally the singularities of toric log Del Pezzo surfaces of given index $\ell$. This upper bound turns out to be a quadratic polynomial in the variable $\ell$.
We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest volume in every dimension, and we give low-dimensional evidence for that. In order to improve on earlier examples, we are forced to consider weighted hypersurfaces that are not quasi-smooth. We show that our Fano varieties are exceptional by computing their global log canonical threshold (or $α$-invariant) exactly; it is extremely large, roughly $2^{2^n}$ in dim…
We show that there exists a positive real number $δ>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-δ$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above.
We study half-BPS 't Hooft line operators in 4d $\mathcal{N}=2$ $U(N)$ gauge theories on $S^1\times \mathbb{R}^3$ with an $Ω$-deformation. The recently proposed brane construction of 't Hooft operators shows that non-perturbative contributions to their correlator are identified with the Witten indices of quiver supersymmetric quantum mechanics. For the products of minimal 't Hooft operators, a chamber in the space of Fayet-Iliopoulos parameters in the quantum mechanics corresponds to an ordering of the operators inserted along a line. These considerations lead us to conjecture that the Witten …
The exceptional configuration of the minimal resolution $\hat{S}_G $ of a Kleinian quotient surface $S_G (:= \CZ^2/G)$ is depicted by a $A$-$D$-$E$ Coxeter-Dynkin diagram. In this article, we show that branching indices of the affine $A$-$D$-$E$ diagram is geometrically characterized by a certain special function $F$ of $S_G$ as the multiplicities of its divisor components in $\hat{S}_G$, a version parallel to the elliptic fibration near certain types of simple singular fibers in Kodaira's elliptic surface theory. We further obtain the uniqueness property of the function $F$ (modular local uni…
The Coulomb branch indices of Argyres-Douglas theories on $L(k,1)\times S^{1}$ are recently identified with matrix elements of modular transforms of certain $2d$ vertex operator algebras in a particular limit. A one parameter generalization of the modular transformation matrices of $(2N+3,2)$ minimal models are proposed to compute the full Coulomb branch index of $(A_{1},A_{2N})$ Argyres-Douglas theories on the same space. Morever, M-theory construction of these theories suggests direct connection to the refined Chern-Simons theory. The connection is made precise by showing how the modular tra…
