Related papers: Addendum to "Termination of 4-fold canonical flips…
We prove the termination of 4-fold canonical flips.
Let $(X,\Delta)$ be a log canonical $4$-fold over an algebraically closed field of characteristic zero. We prove that any sequence of $(K_X+\Delta)$-flips terminates.
In this paper, we prove the termination of 4-fold semi-stable log flips under the assumption that there always exist 4-fold (semi-stable) log flips.
We prove the termination of flips for 4-dimensional pseudo-effective NQC log canonical generalized pairs. As main ingredients, we verify the termination of flips for 3-dimensional NQC log canonical generalized pairs, and show that the…
We show that mixed-characteristic and equi-characteristic small deformations of 3-dimensional canonical (resp. terminal) singularities with perfect residue field of characteristic $p>5$ are canonical (resp. terminal). We discuss…
In this paper, we study the weighted difference substitutions from geometrical views. First, we give the geometric meanings of the weighted difference substitutions, and introduce the concept of convergence of the sequence of substitution…
This paper has been withdrawn by the author due to a crucial error in Lemma 3.5.
Continuing results from JCDCGGG 2016 and 2017, we solve several new cases of the simple foldability problem -- deciding which crease patterns can be folded flat by a sequence of (some model of) simple folds. We give new efficient algorithms…
This paper presents a combinatorial analog of topological complexity for finite spaces. We demonstrate that this coincides with the genuine topological complexity of the original finite space, and constitutes an upper bound for the…
In this thesis, I determine a bound on the defect of terminal Gorenstein quartic 3-folds. More generally, I study the defect of terminal Gorenstein Fano 3-folds of Picard rank 1 and genus at least 3. I state a geometric "motivation" of non…
We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.
We show that 3-fold terminal flips and divisorial contractions to a curve may be factored by a sequence of weighted blow-ups, flops, blow-downs to a locally complete intersection curve in a smooth 3-fold or divisorial contractions to a…
The aim of this article is to show that systems of linear partial differential equations on filtered manifolds, which are of weighted finite type, can be canonically rewritten as first order systems of a certain type. This leads immediately…
The decidability of the reachability problem for finitary PCF has been used as a theoretical basis for fully automated verification tools for functional programs. The reachability problem, however, often becomes undecidable for a slight…
We continue the work of [4, 2, 3], in which we discuss published assertions that are incorrect or incorrectly proven; that are severely limited or reduce to triviality; or that we improve upon.
We show that any combinatorial triangulation on n vertices can be transformed into a 4-connected one using at most floor((3n - 9)/5) edge flips. We also give an example of an infinite family of triangulations that requires this many flips…
We show that terminal 3-fold divisorial contraction to a point of index $>1$ with non-minimal discrepancy may be factored into a sequence of flips, flops and divisorial contractions to a point with minimal discrepancies.
We provide an overview of CPF, the certification problem format, and explain some design decisions. Whereas CPF was originally invented to combine three different formats for termination proofs into a single one, in the meanwhile proofs for…
We find an explicit upper bound for the anticanonical volume of Fano 4-folds with canonical singularities.
This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies…