Non-rational centers of log canonical singularities

Valery Alexeev,Christopher D. Hacon

DOI: https://doi.org/10.48550/arXiv.1109.4164

2012-06-28

Abstract:We show that if $(X,B)$ is a log canonical pair with $\dim X\geq d+2$, whose non-klt centers have dimension $\geq d$, then $X$ is has depth $\ge d+2$ at every closed point.

Algebraic Geometry

What problem does this paper attempt to address?

Log canonical pairs with good augmented base loci

caucher birkar,zhengyu hu

DOI: https://doi.org/10.1112/S0010437X13007628

2014-01-01

Compositio Mathematica

Abstract:Let (X, B) be a projective log canonical pair such that B is a Q-divisor, and that there is a surjective morphism f : X -> Z onto a normal variety Z satisfying K-X + B similar to (Q) f*M for some big Q-divisor M, and the augmented base locus B+(M) does not contain the image of any log canonical centre of (X, B). We will show that (X, B) has a good log minimal model. An interesting special case is when f is the identity morphism.
On finiteness of log canonical models

Zhan Li

DOI: https://doi.org/10.48550/arXiv.2006.01370

2020-06-02

Abstract:Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively compact rational polytope in $Q$. As a consequence, we show the existence of the log canonical model for a klt pair $(X, \Delta)/U$ with real coefficients.

Algebraic Geometry
Log canonical pairs with conjecturally minimal volume

Louis Esser,Burt Totaro

2024-05-07

Abstract:We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in dimension 2, by Liu and Shokurov. The examples are weighted projective hypersurfaces that are not quasi-smooth. We also develop an example for a related extremal problem. Esser constructed a klt Calabi-Yau variety which conjecturally has the smallest mld in each dimension (for example, mld $1/13$ in dimension 2 and $1/311$ in dimension 3). However, the example was only worked out completely in dimensions at most 18. We now prove the desired properties of Esser's example in all dimensions (in particular, determining its mld).

Algebraic Geometry
Log Calabi-Yau pairs of birational complexity zero

Joshua Enwright,Fernando Figueroa,Joaquín Moraga

2024-04-09

Abstract:In this article, we study the geometry of log Calabi-Yau pairs $(X,B)$ of index one and birational complexity zero. Firstly, we propose a conjecture that characterizes such pairs $(X,B)$ in terms of their dual complex and the rationality of their log canonical places. Secondly, we show that for these pairs the open set $X\setminus B$ is divisorially covered by open affine subvarieties which are isomorphic to open subvarieties of algebraic tori. We introduce and study invariants that measure the geometry and the number of these open subvarieties of algebraic tori. Thirdly, we study boundedness properties of log Calabi-Yau pairs of index one and birational complexity zero. For instance, in dimension $2$ we prove that such pairs are affinely bounded.

Algebraic Geometry
General hyperplane sections of log canonical threefolds in positive characteristic

Kenta Sato

2024-04-09

Abstract:In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also show that the same is true for klt singularities, which is a slight extension of \cite{ST20}. In the course of the proof, we provide a sufficient condition for log canonical (resp.~klt) surface singularities to be geometrically log canonical (resp.~geometrically klt) over a field.

Commutative Algebra
Birational boundedness of rationally connected log Calabi-Yau pairs with fixed index

Jingjun Han,Chen Jiang

DOI: https://doi.org/10.48550/arXiv.2204.04946

2022-04-11

Algebraic Geometry

Abstract:We show that the set of rationally connected projective varieties $X$ of a fixed dimension such that $(X,B)$ is klt, and $-l(K_X+B)$ is Cartier and nef for some fixed positive integer $l$, is bounded modulo flops.
On Log Canonical MMP for Kähler 3-Fold

Roktim Mascharak

2023-06-13

Abstract:In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact Kähler $3$-fold having only klt singularities.

Algebraic Geometry
Singularities Of Linear Systems And Boundedness Of Fano Varieties

Caucher Birkar

DOI: https://doi.org/10.4007/annals.2021.193.2.1

IF: 4.795

2021-01-01

Annals of Mathematics

Abstract:We study log canonical thresholds (also called global log canonical threshold or alpha-invariant) of 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 epsilon, the set of Fano varieties of dimension d with epsilon-log canonical singularities forms a bounded family. This implies that birational automorphism groups of rationally connected varieties are Jordan which, in particular, answers a question of Serre. Next we show that if the log canonical threshold of the anti-canonical system of a Fano variety is at most one, then it is computed by some divisor, answering a question of Tian in this case.
A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Fabio Bernasconi,Stefano Filipazzi,Zsolt Patakfalvi,Nikolaos Tsakanikas

2024-10-02

Abstract:For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the Beauville--Bogomolov decomposition in the log canonical setting. This construction can also be adapted to construct a smooth quasi-projective variety of logarithmic Kodaira dimension 0 whose quasi-Albanese morphism has maximal variation. On the positive side, we show that the Albanese morphism for log canonical pairs with nef anti-canonical class is a locally stable family of pairs.

Algebraic Geometry,Differential Geometry
Note on the 3-dimensional log canonical abundance in characteristic $>3$

Zheng Xu

2024-02-03

Abstract:In this paper, we prove the non-vanishing and some special cases of the abundance for log canonical threefold pairs over an algebraically closed field $k$ of characteristic $p > 3$. More precisely, we prove that if $(X,B)$ be a projective log canonical threefold pair over $k$ and $K_{X}+B$ is pseudo-effective, then $\kappa(K_{X}+B)\geq 0$, and if $K_{X}+B$ is nef and $\kappa(K_{X}+B)\geq 1$, then $K_{X}+B$ is semi-ample. As applications, we show that the log canonical rings of projective log canonical threefold pairs over $k$ are finitely generated and the abundance holds when the nef dimension $n(K_{X}+B)\leq 2$ or when the Albanese map $a_{X}:X\to \mathrm{Alb}(X)$ is non-trivial. Moreover, we prove that the abundance for klt threefold pairs over $k$ implies the abundance for log canonical threefold pairs over $k$.

Algebraic Geometry
Boundedness of log pluricanonical representations of log Calabi-Yau pairs in dimension 2

Chen Jiang,Haidong Liu

DOI: https://doi.org/10.2140/ant.2021.15.547

2020-02-27

Abstract: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$.

Algebraic Geometry
Log Canonical Algebras and Modules

Caucher Birkar

DOI: https://doi.org/10.2969/jmsj/06541319

2013-01-01

Journal of the Mathematical Society of Japan

Abstract:Let (X/Z, B) be a Ic pair with K-X + B pseudo-effective/Z and Z affine. We show that (X/Z, B) has a good log minimal model if and only if its log canonical algebra and modules are finitely generated.
On the canonical bundle formula in positive characteristic

Marta Benozzo

2024-11-14

Abstract:Let $f: X \to Z$ be a fibration from a normal projective variety $X$ of dimension $n$ onto a normal curve $Z$ over a perfect field of characteristic $p>0$. Let $(X, B)$ be a dlt pair such that the induced pair on a general fibre is log canonical. Assuming the LMMP and the existence of log resolutions in dimension $\leq n$, we prove that, when $K_X+B$ is $f$-nef, the moduli part is nef up to a birational map $Y \dashrightarrow X$. As a corollary, we prove positivity of the moduli part in the $K$-trivial case, i.e. when $K_X+B \sim_{\mathbb{Q}} f^*L$ for some $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $L$ on $Z$. In particular, consider a dlt pair $(X, B)$ of dimension $3$ over a perfect field of characteristic $p>5$ such that the induced pair on a general fibre is log canonical, then the canonical bundle formula holds unconditionally.

Algebraic Geometry
Existence of Log Canonical Flips and a Special LMMP

Caucher Birkar

DOI: https://doi.org/10.1007/s10240-012-0039-5

2012-01-01

Abstract:Let (X/Z,B+A) be a Q-factorial dlt pair where B,A≥0 are Q-divisors and K X +B+A∼ Q 0/Z. We prove that any LMMP/Z on K X +B with scaling of an ample/Z divisor terminates with a good log minimal model or a Mori fibre space. We show that a more general statement follows from the ACC for lc thresholds. An immediate corollary of these results is that log flips exist for log canonical pairs.
On boundedness of singularities and minimal log discrepancies of Kollár components

Ziquan Zhuang

DOI: https://doi.org/10.1090/jag/822

2024-01-25

Journal of Algebraic Geometry

Abstract:Recent study in K-stability suggests that Kawamata log terminal (klt) singularities whose local volumes are bounded away from zero should be bounded up to special degeneration. We show that this is true in dimension three, or when the minimal log discrepancies of Kollár components are bounded from above. We conjecture that the minimal log discrepancies of Kollár components are always bounded from above, and verify it in dimension three when the local volumes are bounded away from zero. We also answer a question from Han, Liu, and Qi on the relation between log canonical thresholds and local volumes.

mathematics
Liftings of ideals in positive characteristic to those in characteristic zero : Low dimension

Shihoko Ishii

2024-10-20

Abstract:We study a pair consisting of a smooth variety over a field of positive characteristic and a multi-ideal with a real exponent. We prove the finiteness of the set of minimal log discrepancies for a fixed exponent if the dimension is less than or equal to three. We also prove that the set of log canonical thresholds (lct for short) of ideals on a smooth variety in positive characteristic is contained in the set of lct's of ideals on a smooth variety over C, assuming the dimension is less than or equal to three. Under the same dimension assumption, it follows that the accumulation points of log canonical thresholds are rational. Our proofs also show the same statements for the higher dimensional case if all such pairs admit log resolutions by a composite of blow-ups by smooth centers.

Algebraic Geometry
On Connectedness of Non-Klt Loci of Singularities of Pairs

Caucher Birkar

DOI: https://doi.org/10.4310/jdg/1712344217

2024-01-01

Journal of Differential Geometry

Abstract:We study the non-klt locus of singularities of pairs. We show that given a pair $(X,B)$ and a projective morphism $X\to Z$ with connected fibres such that $-(K_X+B)$ is nef over $Z$, the non-klt locus of $(X,B)$ has at most two connected components near each fibre of $X\to Z$. This was conjectured by Hacon and Han. In a different direction we answer a question of Mark Gross on connectedness of the non-klt loci of certain pairs. This is motivated by constructions in Mirror Symmetry.
On boundedness of singularities and minimal log discrepancies of Kollár components, II

Ziquan Zhuang

2023-12-24

Abstract:We show that a set of K-semistable log Fano cone singularities is bounded if and only if their local volumes are bounded away from zero, and their minimal log discrepancies of Kollár components are bounded from above. As corollaries, we confirm the boundedness conjecture for K-semistable log Fano cone singularities in dimension three, and show that local volumes of 3-dimensional klt singularities only accumulate at zero.

Algebraic Geometry,Commutative Algebra,Differential Geometry
Canonical singularities of dimension three in characteristic 2 which do not follow Reid's rules

Masayuki Hirokado

DOI: https://doi.org/10.48550/arXiv.1607.08664

2016-07-28

Algebraic Geometry

Abstract:We continue to study and present concrete examples in characteristic 2 of compound Du Val singularities defined over an algebraically closed field which have one dimensional singular loci but cannot be written as products (a rational double point) x (a curve) up to analytic isomorphism at any point of the loci. Unlike in other characteristics, we find a large number of such examples whose general hyperplane sections have rational double points of type D. We consider these compound Du Val singularities as a special class of canonical singularities, intend to complete classification in arbitrary characteristic reinforcing Miles Reid's result in characteristic zero.
Log canonical singularities of plurisubharmonic functions

Dano Kim,János Kollár

2024-09-28

Abstract:A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the same non-integrable locus. The proof uses the theory of quasimonomial valuations developed by Jonsson-Mustaţǎ and Xu, as well as the minimal model program over complex analytic spaces due to Fujino and Lyu-Murayama. As a consequence, we obtain that the non-integrable locus is seminormal.

Complex Variables,Algebraic Geometry

Non-rational centers of log canonical singularities

Log canonical pairs with good augmented base loci

On finiteness of log canonical models

Log canonical pairs with conjecturally minimal volume

Log Calabi-Yau pairs of birational complexity zero

General hyperplane sections of log canonical threefolds in positive characteristic

Birational boundedness of rationally connected log Calabi-Yau pairs with fixed index

On Log Canonical MMP for Kähler 3-Fold

Singularities Of Linear Systems And Boundedness Of Fano Varieties

A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Note on the 3-dimensional log canonical abundance in characteristic $>3$

Boundedness of log pluricanonical representations of log Calabi-Yau pairs in dimension 2

Log Canonical Algebras and Modules

On the canonical bundle formula in positive characteristic

Existence of Log Canonical Flips and a Special LMMP

On boundedness of singularities and minimal log discrepancies of Kollár components

Liftings of ideals in positive characteristic to those in characteristic zero : Low dimension

On Connectedness of Non-Klt Loci of Singularities of Pairs

On boundedness of singularities and minimal log discrepancies of Kollár components, II

Canonical singularities of dimension three in characteristic 2 which do not follow Reid's rules

Log canonical singularities of plurisubharmonic functions