Related papers: Remarks on the abundance conjecture

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…

We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety.

Multiplication is one of the most fundamental computational problems, yet its true complexity remains elusive. The best known upper bound, by F\"{u}rer, shows that two $n$-bit numbers can be multiplied via a boolean circuit of size $O(n \lg…

We present a procedure for computing the log-canonical threshold of an arbitrary ideal generated by binomials and monomials. The computation of the log canonical threshold is reduced to the problem of computing the minimum of a function,…

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.

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive…

A positive integer $n$ is called an abundant number if $\sigma (n)\ge 2n$, where $\sigma (n)$ is the sum of all positive divisors of $n$. Let $E(x)$ be the largest number of consecutive abundant numbers not exceeding $x$. In 1935, P. Erd\H…

We prove Iitaka's $C_{n,m}$ conjecture for $3$-folds over the algebraic closure of finite fields. Along the way we prove some results on the birational geometry of log surfaces over nonclosed fields and apply these to existence of relative…

We prove the ACC for minimal log discrepancies on an arbitrary fixed threefold.

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…

We study log canonical models of foliated surfaces of general type. In particular, we show that log canonical models of general type and their minimal partial du Val resolutions are bounded. Moreover, we show the valuative criteria of…

Let $p_n$ denote the $n$-th prime. For any $m\geq 1$, there exist infinitely many $n$ such that $p_{n}-p_{n-m}\leq C_m$ for some large constant $C_m>0$, and $$p_{n+1}-p_n\geq \frac{c_m\log n\log\log n\log\log\log\log n}{\log\log\log n}, $$…

We introduce excess logarithmic residues for one-dimensional holomorphic foliations tangent to a divisor. They arise from the comparison between the logarithmic normal sheaf and the ordinary normal sheaf of the foliation, and measure the…

In this paper, we will give two proofs of the Cluckers-Veys conjecture on exponential sums for the case of polynomials in $\mathbb{Z}[x_{1},\ldots,x_{n}]$ having log-canonical thresholds at most one half. In particular, these results imply…

Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative…

Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and…

We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part…

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…

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…

Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.