Building on results of Kollár, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.
Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1]. Here we use this result and inversion of adjunction to establish the conjecture for locally complete intersection varieties.
In this paper, we prove that the set of all $F$-pure thresholds of ideals with fixed embedding dimension satisfies the ascending chain condition. As a corollary, given an integer $d$, we verify the ascending chain condition for the set of all $F$-pure thresholds on all $d$-dimensional normal l.c.i. varieties. In the process of proving these results, we also show the rationality of $F$-pure thresholds of ideals on non-strongly $F$-regular pairs.
In this paper, we prove that the set of all $F$-pure thresholds on a fixed germ of a strongly $F$-regular pair satisfies the ascending chain condition. As a corollary, we verify the ascending chain condition for the set of all $F$-pure thresholds on smooth varieties or, more generally, on varieties with tame quotient singularities, which is an affirmative answer to a conjecture given by Blickle, Mustaţǎ and Smith.
We discuss the ascending chain condition for lengths of extremal rays. We prove that the lengths of extremal rays of $n$-dimensional $\mathbb Q$-factorial toric Fano varieties with Picard number one satisfy the ascending chain condition.
We show that the set of threefold canonical thresholds satisfies the ascending chain condition. Moreover, we derive that threefold canonical thresholds in the interval $ (\frac{1}{2}, 1)$ consists of $ \{ \frac{1}{2}+\frac{1}{n}\}_{n \ge 3} \cup \{ \frac{4}{5}\}$.
Shokurov conjectured that the set of all log canonical thresholds on varieties of bounded dimension satisfies the ascending chain condition. In this paper we prove that the conjecture holds for log canonical thresholds on smooth varieties and, more generally, on locally complete intersection varieties and on varieties with quotient singularities.
We study lower bounds for the self-intersection of the canonical divisor of "canonical varieties" (i.e. varieties whose canonical linear system gives a birational map). We give some improvements for the known results in the case of surfaces and new bounds for the case of canonical threefolds.
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated surface triples satisfies the ascending chain condition and a Grauert-Riemenschneider type vanishing theorem for foliated surfaces with good log canonical foliation singularities.
We obtain that the nonzero accumulation points of the set of 3-fold canonical thresholds $\ct(X,S)$ are precisely $1/k$ where $k\ge 2$ is an integer and $S$ is an effective integral divisor of a projective 3-fold $X$ with only terminal singularities. Moreover, we generalize the ascending chain condition for the set of 3-fold canonical thresholds to pair.
We totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension $d$ and Special Termination in dimension $d$ imply the termination of any sequence of log flips starting with a $d$-dimensional lc pair of nonnegative Kodaira dimension. In particular, in characteristic zero, the latter termination in dimension 4 follows from Alexeev-Borisov's conjecture in dimension 3.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
In this paper, we generalise the theory of complements to log canonical log fano varieties and prove boundedness of complements for them in dimension less than or equal to 3. We also prove some boundedness results for the canonical index of sdlt log Calabi-Yau varieties in dimension 2.
We prove a more general and precise version of the Noether-Fano inequalities for birational maps between Mori fiber spaces. This is applied to give descriptions of global canonical thresholds on Fano varieties of Picard number one.
In the present paper, we study the (twisted) 3-canonical map of varieties of Albanese fiber dimension one. Based on a theorem about the regularity of direct image of canonical sheaves, we prove that the 3-canonical map is generically birational when the genus of a general fiber of the Albanese map is 2.
We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models.
Let A be a central division algebra over a field F with ind A = n. In computing canonical p-dimension of projective PGL_1(A)-homogeneous varieties, for p prime, we can reduce to the case of generalized Severi-Brauer varieties X_e(A) with ind A a power of p divisible by e. We prove that canonical 2-dimension (and hence canonical dimension) equals dimension for all X_e(A) with ind A = 2e a power of 2.
We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt blow-ups.
We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded singularities, in the sense that it is, formally locally, a subvariety in a fixed affine space defined by equations of bounded degree. We prove in this context a conjecture of Shokurov, predicting that the set of log canonical thresholds for such pairs satisfies the Ascending Chain Condition.
This paper aims to study canonical pencils of higher dimensional projective varieties. It seems that the geometric genus of the general fibre for the derived fibration from the canonical pencil for a 3-fold of general type does not have an upper bound.
In this paper we show that any smoothable complex projective variety, smooth in codimension two, with klt singularities and numerically trivial canonical class admits a finite cover, étale in codimension one, that decomposes as a product of an abelian variety, and singular analogues of irreducible Calabi-Yau and irreducible symplectic varieties.
A cheap method for constructing canonical models and complete moduli for complex projective varieties with a structure called "rational plurifibration" is given. A result about semistable reduction (whose nature is slightly different from alg-geom/9707012) is deduced. The method involves recursive application of moduli stacks of twisted stable maps (math.AG/9908167) and a systematic circumvention of any difficult MMP issues.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
This paper gives the all possible global indices of log Calabi-Yau 3-folds with standard coefficients on the boundaries and having lc, non-klt singularities. This follows easily from the discussion in the paper: The indices of log canonical singularities by Fujino (AG/9909035).
We prove that smooth, projective, $K$-trivial, weakly ordinary varieties over a perfect field of characteristic $p>0$ are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with Langer's results, implies that varieties of the above type have strongly semistable tangent bundles with respect to any polarization.
We answer an open question concerning the boundedness of canonical fiber spaces in high dimensions and prove the following: for any set of integers $n\geq 3$, $0<d<n$ and $N>0$, there exists a nonsingular projective $n$-fold $X$ of general type so that $X$ is canonically fibred by $d$-dimensional varieties $F$ with $p_g(F)\geq N$. This disproves the desired boundedness parallel to Beauville's boundedness theorem in the surface case.
We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for non-Q-Gorenstein varieties and study some of its properties. We then focus on these properties for non-Q-Gorenstein toric varieties.
We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational map.
In this article we study pluriregular varieties X of general type with base-point-free canonical bundle whose canonical morphism has degree 3 and maps X onto a variety of minimal degree Y. We carry out our study from two different perspectives. First we study in Section 2 the canonical ring of X describing completely the degrees of its minimal generators. We apply this to the study of the projective normality of the images of the pluricanonical morphisms of X. Our study of the canonical ring of $X$ also shows that, if the dimension of X is greater than or equal to 3, there does not exist a con…
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, Δ)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an effective $\mathbb{Q}$-divisor $Δ' \sim_{\mathbb Q} Δ+D$ such that $(X, Δ')$ is log canonical if there exists a log resolution of $(X, Δ)$.
If $X$ is an algebraic variety with at worst canonical singularities and $S$ is a $\Q$-Cartier hypersurface in $X$, the canonical threshold of the pair $(X,S)$ is the supremum of $c\in\R$ such that the pair $(X,cS)$ is canonical. We show that the set of all possible canonical thresholds of the pairs $(X,S)$, where $X$ is a germ of smooth 3-dimensional variety, satisfies the ascending chain condition. We also deduce a formula for the canonical threshold of $(\C^3,S)$, where S is a Brieskorn singularity.
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms of $\mathfrak{C}$. We apply our methods to algebraic curves and show how to construct theta characteristics of certain canonical curves of genera 3, 4, and 5, generalizing a classical construction of…
We prove a Fujita-type theorem for varieties with numerically trivial canonical bundle using properties of semihomogeneous bundles on abelian varieties. We combine our results with work of Riess on compact hyperkähler manifolds and work of Mukai, Pareschi and Yoshioka to obtain effective global generation statements for certain moduli spaces of sheaves on abelian surfaces. Among these is the statment that if $\cL$ is an ample line bundle on the Hilbert square $S^{[2]}$ of an abelian surface $S,$ then $\cL^{\otimes m}$ is globally generated for $m \geq 3.$
Semi-log canonical varieties are a higher-dimensional analogue of stable curves. They are the varieties appearing as the boundary $Δ$ of a log canonical pair $(X,Δ)$, and also appear as limits of canonically polarized varieties in moduli theory. For certain three-fold pairs $(X,Δ)$ we show how to compute the PL homeomorphism type of the dual complex of a dlt minimal model directly from the normalization data of $Δ$.
Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C*-surfaces of Picard number 1 and Gorenstein index less than 4. In further examples we show how classification might work in higher dimensions and we give explicit descriptions of some equivariant smoothings of Fano threefolds.
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{φ_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
Shafarevich's hyperbolicity conjecture asserts that a family of curves over a quasi-projective 1-dimensional base is isotrivial unless the logarithmic Kodaira dimension of the base is positive. More generally it has been conjectured by Viehweg that the base of a smooth family of canonically polarized varieties is of log general type if the family is of maximal variation. In this paper, we relate the variation of a family to the logarithmic Kodaira dimension of the base and give an affirmative answer to Viehweg's conjecture for families parametrized by surfaces.
We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retri…
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We consider families of log canonically polarized varieties over $¶^1$, i.e. families $g:(Y,D)\to ¶^1$ where $D$ is an effective snc divisor and the sheaf $ω_{Y/¶^1}(D)$ is $g$-ample. After first defining what it means for fibers of such a family to be singular, we show that with the addition of certain mild hypotheses (the fibers have finite automorphism group, $\sO_…
We study log canonical thresholds (also called global log canonical threshold or $α$-invariant) of $\mathbb{R}$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of Ambro. We then show that the Borisov-Alexeev-Borisov conjecture holds, that is, given a natural number $d$ and a positive real number $ε$, the set of Fano varieties of dimension $d$ with $ε$-log canonical singularities forms a bounded family. This implies that birational automorphism groups of rationally connected varieties are Jordan which in particular answers a…
We prove that the lengths of extremal rays of log canonical Fano surfaces with Picard number one satisfy the ascending chain condition. This confirms the 2-dimensional case of a conjecture stated by Fujino and Ishitsuka
In 2002, Alexeev provided a modular interpretation for the toroidal compactification of $A_g$ for the 2nd Voronoi fan. In this paper we show that pairs $(X,Θ)$ in the boundary of this moduli space are semi-log canonical, the analog of log canonical in the non-normal setting. This extends the result of Koll${á}$r stating that principally polarized abelian pairs $(X,Θ)$ are log canonical.
Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and for certain values of p, we show that an extension always exists, possibly with logarithmic poles along the exceptional set. As a corollary, it is shown that sheaves of reflexive differentials enjoy good pull-back properties. A natural generalization of the well-known Bogomolov-Sommese vanishing theorem to log canonical threefold pairs follows.
Let $(X,B)$ be a log canonical pair over a normal variety $Z$ with maximal Albanese dimension. If $K_X+B$ is relatively abundant over $Z$ (for example, $K_X+B$ is relatively big over $Z$), then we prove that $K_X+B$ is abundant. In particular, the subadditvity of Kodaira dimensions $κ(K_X+B) \geq κ(K_F+B_F)+ κ(Z)$ holds, where $F$ is a general fiber, $K_F+B_F= (K_X+B)|_F$, and $κ(Z)$ means the Kodaira dimension of a smooth model of $Z$. We discuss several variants of this result in Section 4. We also give a remark on the log Iitaka conjecture for log canonical pairs in Section 5.
Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips its local moduli space with a Frobenius lifting and canonical multiplicative coordinates. A variant of this theory has been obtained for ordinary K3 surfaces by Nygaard and Ogus. In this paper, we construct canonical liftings modulo $p^2$ of varieties with trivial canonical class which are ordinary in the weak sense that the Frobenius acts bijectively on the top cohomology of the structure sheaf. Consequently, we obtain a Fr…
We prove that a Fano variety (with arbitrary singularities) of dimension $n$ in positive characteristic is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$ and classify Fano varieties whose anti-canonical divisors have Seshadri constants $n$. In characteristic $p>5$ and dimension $3$, we also show that Fano varieties $X$ with Seshadri constants $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ (for some fixed $ε>0$) have bounded anti-canonical degrees.