Related papers: Two Two-dimensional Terminations

In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which…

We give a method to investigate isolated log canonical singularities with index one which are not log terminal. Our method depends on the minimal model program. One of the main purposes is to prove that our invariant coincides with Ishii's…

A line packing is optimal if its coherence is as small as possible. Most interesting examples of optimal line packings are achieving equality in some of the known lower bounds for coherence. In this paper two infinite families of real and…

We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…

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.

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

Let X be a complex projective variety and D a reduced divisor on X. Under a natural minimal condition on the singularities of the pair (X, D), which includes the case of smooth X with simple normal crossing D, we ask for geometric criteria…

A Hausdorff topological group is called minimal if it does not admit a strictly coarser Hausdorff group topology. This paper mostly deals with the topological group $H_+(X)$ of order-preserving homeomorphisms of a compact linearly ordered…

In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing…

Here is one of the results obtained in this paper: Let $X, Y$ be two convex sets each in a real vector space, let $J:X\times Y\to {\bf R}$ be convex and without global minima in $X$ and concave in $Y$, and let $\Phi:X\to {\bf R}$ be…

We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs. Our complete characterization of termination for such…

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows…

We discuss counterexamples to the validity of the weak Maximum Principle for linear elliptic systems with zero and first order couplings and prove, through a suitable reduction to a nonlinear scalar equation, a quite general result showing…

We show that the cyclically ordered-abelian groups expanding $(\mathbb{Z};+)$ contain a continuum-size family of dp-minimal structures such that no two members define the same subsets of $\mathbb{Z}$.

We show the existence of prime divisors computing minimal log discrepancies in positive characteristic except for a special case. Moreover we prove the lower semicontinuity of minimal log discrepancies for smooth varieties in positive…

One of the central aims of the Minimal Model Program is to show that a projective log canonical pair $(X,\Delta)$ with $K_X+\Delta$ pseudoeffective has a good model, i.e.\ a minimal model $(Y,\Delta_Y)$ such that $K_Y+\Delta_Y$ is…

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)}…

Consider a fixed connected, finite graph $\Gamma$ and equip its vertices with weights $p_i$ which are non-negative integers. We show that there is a finite number of possibilities for the coefficients of the canonical cycle of a numerically…

In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then…

Let $(S,D)$ be a minimal log pair of general type with $S$ a smooth projective surface and $D$ a simple normal corssing reduced divisor on $S$. We assume that its log canonial linear system $|K_S+D|$ is composed of a penciel, let $f\colon…