Related papers: On termination of 4-fold semi-stable log flips

In this new version, we add the proof of the main theorem when the central fiber is not necessarily simple normal crossing. We also correct some typos.

We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of…

We prove the following theorem for Holomorphic Foliations in compact complex kaehler manifolds: if there is a compact leaf with finite holonomy, then every leaf is compact with finite holonomy. As corollary we reobtain stability theorems…

We give a new proof of Tietze Theorem on the convergence of infinite semi-regular continued fractions.

We construct a semi-stable formal model of a wide open rigid curve with a semi-stable covering, and study the l-adic cohomology of the rigid curve. We describe the l-adic cohomology of the rigid curve using the l-adic cohomology of the…

A planar set $P$ is said to be cover-decomposable if there is a constant $k=k(P)$ such that every $k$-fold covering of the plane with translates of $P$ can be decomposed into two coverings. It is known that open convex polygons are…

This paper proposes a Fujita-type freeness conjecture for semi-log canonical pairs. We prove it for curves and surfaces by using the theory of quasi-log schemes and give some effective very ampleness results for stable surfaces and semi-log…

We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log…

We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.

Two criteria for a closed connected definite 4-manifold with infinite cyclic fundamental group to be TOP-split are given. One criterion extends a sufficient condition made in a previous paper. The result is equivalent to a purely algebraic…

We investigate asymptotically flat manifolds with cone structure at infinity. We show that any such manifold M has a finite number of ends. For simply connected ends we classify all possible cones at infinity, except for the 4-dimensional…

In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal…

In an earlier paper \cite{yu2021Finiteness}, we showed that there are finitely many stationary configurations (consisting of equilibria, rigidly translating configurations, relative equilibria and collapse configurations) in the planar…

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…

We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.

We show that, given a complete Liouville manifold, any homogeneous quasi-morphism on its Hamiltonian group, which satisfies a strengthened version of Hofer continuity called stability, must vanish. This partially addresses a conjecture due…

We realize every closed flat 3-manifold as a cusp section of a complete, finite-volume hyperbolic 4-manifold whose symmetry group acts transitively on the set of cusps. Moreover, for every such 3-manifold, a dense subset of its flat metrics…

Invariant manifolds are fundamental tools for describing and understanding nonlinear dynamics. In this paper, we present a theory of stable and unstable manifolds for infinite dimensional random dynamical systems generated by a class of…

We resolve Stillman's conjecture for families of polynomial rings that are graded by any semigroup under mild conditions. Conversely, we show that these conditions are necessary for the existence of a Stillman bound. This has applications…

We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a…