Related papers: Fundamental theorems for the log minimal model pro…

Let $(X\ni x,B)$ be an lc surface germ. If $X\ni x$ is klt, we show that there exists a divisor computing the minimal log discrepancy of $(X\ni x,B)$ that is a Koll\'ar component of $X\ni x$. If $B\not=0$ or $X\ni x$ is not Du Val, we show…

Let $(X,D)$ be log canonical pair such $\dim X = 3$ and the divisor $-(K_X + D)$ is nef and big. For a special class of such $(X,D)$'s we prove that the linear system $|-n(K_{X}+D)|$ is free for $n \gg 0$.

We employ techniques from optimal transport in order to prove decay of transfer operators associated to iterated functions systems and expanding maps, giving rise to a new proof without requiring a Doeblin-Fortet (or Lasota-Yorke)…

Simple and shorter proofs of two Dirac-type theorems involving connectivity are presented.

We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng…

In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.

We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…

In an earlier paper, we established a natural connection between the Baum-Connes conjecture and noncommutative Bloch theory, viz. the spectral theory of projectively periodic elliptic operators on covering spaces. We elaborate on this…

We prove a Bernstein-type theorem for two-valued minimal graphs in the four-dimensional Euclidean space $\mathbf{R}^4$. This states that two-valued functions defined on the entire $\mathbf{R}^3$, and whose graph is a minimal surface, must…

Let $X$ be a normal projective variety admitting a polarized endomorphism $f$, i.e., $f^*H\sim qH$ for some ample divisor $H$ and integer $q>1$. Then Broustet and Gongyo proposed the conjecture that $X$ is of Calabi-Yau type (CY for short),…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

Consider a homogeneous multifold convex conic system $$ Ax = 0, \; x\in K_1\times...\times K_r $$ and its alternative system $$ A\transp y \in K_1^*\times...\times K_r^*, $$ where $K_1,..., K_r$ are regular closed convex cones. We show that…

We study certain modules over the algebra of a Cartier divisor on a scheme. Using these modules, we present an inductive method for studying finite generation properties of algebras and modules. In the context of the minimal model program,…

We document some versions, in real K-theory, of well-known properties of the coarse assembly map in complex K-theory. These results are well-known, but difficult to find in the literature.

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…

We complete the proof of the Nisnevich conjecture in equal characteristic: for a smooth algebraic variety $X$ over a field $k$, a $k$-smooth divisor $D \subset X$, and a reductive $X$-group $G$ whose base change $G_D$ is totally isotropic,…

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>2$. Let $(X, B)$ be a dlt pair such that the induced pair on a general fibre is log…

In this paper, we study the behavior of the sets of volumes of the form $\mathrm{vol}(X,K_X+B+M)$, where $(X,B)$ is a log canonical pair, and $M$ is a nef $\mathbb{R}$-divisor. After a first analysis of some general properties, we focus on…

If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a…

We introduce four new elementary short proofs of the famous K\"onig's theorem which characterizes bipartite graphs by absence of odd cycles.