Related papers: The Minimal Model Program for threefolds in charac…
We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm…
This is a modest attempt to study, in a systematic manner, the structure of low dimensional varieties in positive characteristics using $p$-adic invariants. The main objects of interest in this paper are surfaces and threefolds. It is known…
We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…
In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a…
In this paper, we study a class of linear codes defined by characteristic functions of certain subsets of a finite field. We derive a sufficient and necessary condition for such a code to be a minimal linear code by a character-theoretical…
For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our…
We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…
We consider the minimal model program for varieties that are not Q-factorial. We show that, in many cases, its steps are simpler than expected. In particular, all flips are 1-complemented. The main applications are to log terminal…
We derive three-dimensional integrable mappings which have two invariants.
In this paper we will prove that for a threefold of general type and large volume the second plurigenera is positive and the fifth canonical map is birational.
We present an algorithmic approach to the problem of existence of spin structures on flat manifolds. We apply our method in the cases of flat manifolds of dimensions 5 and 6.
In this paper, we investigate characteristic polynomials of matrices in min-plus algebra. Eigenvalues of min-plus matrices are known to be the minimum roots of the characteristic polynomials based on tropical determinants which are designed…
We determine the minimum possible critical exponent for all palindromes over finite alphabets.
A theorem on the existence of the unique minimal topologic handle decomposition of differentiable simply connected five-dimensional manifolds is proved. For a decomposition of this sort, the number of handles of each index is given.
We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem…
We show that there is a strong minimal pair in the computably enumerable Turing degrees.
We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for F-dlt foliated pairs of co-rank one on a $\mathbb Q$-factorial projective threefold. As…
Over a field of characteristic 2, we give a complete classification of quadratic and bilinear forms of dimension 5 that are minimal over the function field of an arbitrary conic. This completes the unique known case due to Faivre concerning…
In this paper, we investigate properties of potential triples $(X,\Delta,D)$ which consists of a pair $(X,\Delta)$ and a pseudoeffective $\mathbb{R}$-Cartier divisor $D$. In particular, we show that if $D$ admits a birational Zariski…
We study the minimal genus problem for some smooth four-manifolds.