Related papers: Finite generation of the log canonical ring in dim…

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…

Let $d(G)$ be the smallest cardinality of a generating set of a finite group $G.$ We give a complete classification of the finite groups with the property that, whenever $ \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)}…

Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to…

We present a new technique for proving logarithmic upper bounds for diameters of evolving random graph models, which is based on defining a coupling between random graphs and variants of random recursive trees. The advantage of the…

We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We…

We prove that the log Iitaka conjecture holds for log canonical fibrations when log canonical divisor of a sufficiently general fiber is abundant.

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…

We study the termination of minimal model programs for log canonical pairs in the complex analytic setting. By using the termination, we prove a relation between the minimal model theory for projective log canonical pairs and that for log…

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

We survey some recent topics on singularities, with a focus on their connection to the minimal model program. This includes the construction and properties of dual complexes, the proof of the ACC conjecture for log canonical thresholds and…

The univalence axiom expresses the principle of extensionality for dependent type theory. However, if we simply add the univalence axiom to type theory, then we lose the property of canonicity - that every closed term computes to a…

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$ as $I$ ranges over ideals of $R$. Matson showed that every positive integer occurs as the rank of some ring $R$. Motivated by the result of Cohen and…

We introduce a family of maps generating continued fractions where the digit $1$ in the numerator is replaced cyclically by some given non-negative integers $(N_1,\ldots,N_m)$. We prove the convergence of the given algorithm, and study the…

The number of standard Young tableaux possible of shape corresponding to a partition $\lambda$ is called the dimension of the partition and is denoted by $f^{\lambda}$. Partitions with odd dimensions were enumerated by McKay and were…

Inspired by a recent paper due to Jos\'{e} Luis Garc\'{i}a, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample…

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the…

The number of finite additive 2-bases is known to grow exponentially. While this fact has been established by Marzuola and Miller (2010) using complex analytic techniques embedded in the study of numerical sets, we provide a direct, short…

We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a,…

A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there…

We show that, for nonsingular projective 4-folds V of general type with geometric genus $p_g\geq 2$, the 33-canonical map is birational onto the image and the canonical volume has the lower bound $1/520$, which improves a previous theorem…