Related papers: On Kawamata's theorem

The polynomial version of van der Waerden's theorem, proved using dynamical systems by V. Bergelson and A. Leibman in 1996, \cite{Bergelson1996}, significantly highlighted the role of dynamical systems in addressing problems related to…

In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…

We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of sequent calculus by an appropriate scoping mechanism. The…

The Abundance conjecture predicts that on a minimal projective klt pair $(X,\Delta)$, the adjoint divisor $K_X+\Delta$ is semiample. When $\chi(X,\mathcal O_X)\neq0$, we give a necessary and sufficient condition for the conjecture to hold…

It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a…

We present a strengthening of the proof of the St\'ephanois theorem. We follow the modular version by Waldschmidt, which is based in a suggestion by Daniel Bertrand, but it also applies to the original proof. The improvement is not in the…

In this note we give generalizations and prove 'minimalistic' refinements of the t-birational Section Conjecture (t-BSC), cf. [Be], by doing both: First, by extending the class of base fields over which the t-BSC holds, and second, by…

We prove two "master" convolution theorems for multivariate determinantal polynomials. The methods used include basic properties of what we call a "minor-orthogonal" ensemble as well as properties of the mixed discriminant of matrices. We…

We show that the reduced point variety of a quantum polynomial algebra is the union of specific linear subspaces in $\mathbb{P}^n$, we describe its irreducible components and give a combinatorial description of the possible configurations…

Let p be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for an infinite class of one-dimensional non-abelian p-adic Lie extensions. Crucially, this result does not depend on…

This is a largely expository article based on our previous work on arithmetic diagonal cycles on unitary Shimura varieties. We define a class of Shimura varieties closely related to unitary groups which represent a moduli problem of abelian…

We study a variant of algebraic K-theory and prove that it is stable and preserves module structures.

Assume $\mathcal{C}$ is the class of all linear orders $L$ such that $L$ is not a countable union of well ordered sets, and every uncountable subset of $L$ contains a copy of $\omega_1$. We show it is consistent that $\mathcal{C}$ has…

We slightly extend a result of Oguiso on birational or automorphism groups (resp. of Lazi\'c - Peternell on Morrison-Kawamata cone conjecture) from Calabi-Yau manifolds of Picard number two to arbitrary singular varieties X (resp. to klt…

In this note we refine the alternativity in some bifurcation theorems of Rabinowitz type, and then improve a few of results in Lu (2022) [17].

Given a boundary divisor $B$ on a projective toric variety $X$ such that $(X, B)$ is klt, we establish the Kawamata-Viehweg vanishing theorem for $(X, B)$.

We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…

A multidimensional version of the Yamada-Watanabe theorem is proved. It implies a spectral matrix Yamada-Watanabe theorem. It is also applied to particle systems of squared Bessel processes, corresponding to matrix analogues of squared…

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 prove the birationality of the 4-canonical map of varieties of general type and maximal Albanese dimension