Related papers: ACC for log canonical thresholds

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

We study the \L ojasiewicz exponent and the log canonical threshold of ideals of $\mathcal O_n$ when restricted to generic subspaces of $\mathbb C^n$ of different dimensions. We obtain effective formulas of the resulting numbers for ideals…

In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…

As fault-tolerant quantum computers scale, certifying the accuracy of computations performed with encoded logical qubits will soon become classically intractable. This creates a critical need for scalable, device-independent certification…

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…

We prove the termination of 4-fold canonical flips.

We prove that the non-vanishing conjecture holds for generalized lc pairs with a polarization.

Logical atomicity has been widely accepted as a specification format for data structures in concurrent separation logic. While both lock-free and lock-based data structures have been verified against logically atomic specifications, most of…

Given a local field $F$ of positive characteristic, an $F$-analytic manifold $X$ and an analytic function $f:X\rightarrow F$, the $F$-analytic log-canonical threshold $\mathrm{lct}_{F}(f;x_{0})$ is the supremum over the values $s\geq0$ such…

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…

We prove that the linear syzygy spaces of a general canonical curve are spanned by syzygies of minimal rank.

In this note, we show how to apply the original $L^2$-extension theorem of Ohsawa and Takegoshi to the standard basis of a multiplier ideal sheaf associated with a plurisubharmonic function. In this way, we are able to reprove the strong…

In is paper we present a labelled tableau proof system that serves a wide class of interpretability logics. The system is proved sound and complete for any interpretability logic characterised by a frame condition given by a set of…

We prove a result on the inversion of adjunction for log canonical pairs that generalizes Kawakita's result to log canonical centers of arbitrary codimension.

In this article we prove the existence of a canonical theta structure for the canonical lift of an ordinary abelian variety.

It was conjectured by Tian that the global log canonical threshold (known as the $\alpha$-invariant) is equal to the level $k$ log canonical threshold (known as the $\alpha_k$-invariant) for all sufficiently large $k$. A weaker folklore…

We prove that the canonical ring of a smooth projective variety is finitely generated.

We prove a formula of log canonical models for moduli space $\bar{M}_{g,n}$ of pointed stable curves which describes all Hassett's moduli spaces of weighted pointed stable curves in a single equation. This is a generalization of the…

The log canonical threshold (lct) is a fundamental invariant in birational geometry, essential for understanding the complexity of singularities in algebraic varieties. Its real counterpart, the real log canonical threshold (rlct), also…

We show that some properties of log canonical centers of a log canonical pair (X,D) also hold for certain subvarieties that are close to being a log canonical center. As a consequence, we obtain that if one works with deformations of pairs…