Related papers: Note on quasi-numerically positive log canonical d…

We study a divisor computing the minimal log discrepancy on a smooth surface. Such a divisor is obtained by a weighted blow-up. There exists an example of a pair such that any divisor computing the minimal log discrepancy computes no log…

We prove the finiteness of $B$-representations of generalised log canonical pairs. As a consequence, we prove that, the (relative) abundance for a generalised semi-log canonical pair is implied by the abundance for its normalisation.…

We disprove a recent conjecture regarding discrete distributions and their generating polynomials stating that strong log-concavity implies log-submodularity.

We develop new characteristic-independent combinatorial criteria for semiampleness of divisors on $\overline{M}_{0,n}$. As an application, we associate to a cyclic rational quadratic form satisfying a certain balancedness condition an…

We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino…

We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This…

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…

The B-Semiampleness Conjecture of Prokhorov and Shokurov predicts that the moduli part in a canonical bundle formula is semiample on a birational modification. We prove that the restriction of the moduli part to any sufficiently high…

We obtain a formula which relates the log canonical divisor of the ambient space with that of a subvariety of codimension 2 by using Knudsen's moduli space of pointed stable curves of genus 0.

We prove that a positive proportion of the intervals of any fixed scalar multiple of $\log(X)$ in the dyadic interval $[X,2X]$ contain a prime number. We also show that a positive proportion of the congruence classes modulo $q$ contain a…

We give a new proof of the finiteness of B-representations. As a consequence of the finiteness of B-representations and Koll\'ar's gluing theory on lc centers, we prove that the (relative) abundance conjecture for slc pairs is implied by…

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows…

We prove inversion of adjunction on log canonicity.

We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.

In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Koll\'ar's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical…

We give an overview of partial positivity conditions for line bundles, mostly from a cohomological point of view. Although the current work is to a large extent of expository nature, we present some minor improvements over the existing…

The log-rank conjecture is a longstanding open problem with multiple equivalent formulations in complexity theory and mathematics. In its linear-algebraic form, it asserts that the rank and partitioning number of a Boolean matrix are…

In this paper, we prove the abundance theorem for numerically trivial canonical divisors on strongly $F$-regular varieties, assuming that the geometric generic fibers of the Albanese morphisms are strongly $F$-regular.

We establish an analogue of the Goldbach conjecture for Laurent polynomials with positive integer coefficients.

For a fixed pair and fixed exponents, we prove the discreteness of log discrepancies over all log canonical triples formed by attaching a product of ideals with given exponents.