Related papers: Special termination for log canonical pairs

In the framework of explicit substitutions there is two termination properties: preservation of strong normalization (PSN), and strong normalization (SN). Since there are not easily proved, only one of them is usually established (and…

We compute the fundamental groups of all irreducible plane sextics constituting classical Zariski pairs

We prove Behrend's conjecture on the rationality of the canonical reduction of principal bundles and reductive group schemes for classical groups and give new bounds for the conjecture for exceptional groups. However we find a…

Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…

A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…

I prove a local finite determinacy result of singular fibres in families. As an application, I generalize finite determinacy results on the fibres of log morphisms and nearby and vanishing cycles sheaves by Illusie and Kisin.

Matrices over the dual numbers are considered. We propose an approach to classify these matrices up to similarity. Some preliminary results on the realization of this approach are obtained. In particular, we produce explicitly canonical…

This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models.

We use recent results on algorithms for Markov decision problems to show that a canonical form for a generalized P-matrix can be computed, in some important cases, by a strongly polynomial algorithm.

We show that log canonical thresholds of fixed dimension are standardized. More precisely, we show that any sequence of log canonical thresholds in fixed dimension $d$ accumulates in a way which is i) either similar to how standard and…

We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…

We prove boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable…

We show that there is a strong minimal pair in the computably enumerable Turing degrees.

We prove that a projective semistable morphism of fs log analytic spaces yields polarized log Hodge structures in the canonical way.

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 establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli…

We characterize characteristic polynomials of elements in a central simple algebra. We also give an account for the theory of rational canonical forms for separable linear transformations over a central division algebra, and a description…

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…

We give a group theoretic proof of the splitting of sharply 2-transitive groups of characteristic 3.