相关论文: Inversion of adjunction on log canonicity

This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…

We give a new proof of a classical theorem on approximation of continuous functions on totally real sets

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well…

We give a new proof of the Mordell-Lang conjecture in positive characteristic for finitely generated subgroups. We also make some progress towards the full Mordell-Lang conjecture in positive characteristic.

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…

We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation…

We give a direct proof of the fact that the animation of the opposite of the category of finite sets is a 1-category.

We prove a result on lower bounds in large dimensions.

In this paper, we prove the conic version of YTD conjecture on log Fano manifolds.

The aim of this paper is to present a very simple original, purely formal, proof of Quillen's adjunction theorem for derived functors, and of some more recent variations and generalizations of this theorem. This is obtained by proving an…

We use Koll\'ar's gluing theory to prove the contraction theorem for generalized pairs. In particular, we show that we can run the MMP for any generalized log canonical pairs.

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

We prove Fujita's log spectrum conjecture. It follows from the ACC of a suitable set of pseudo-effective thresholds.

A proof that the set of real numbers is denumerable is given.

This paper presents three results on F-singularities. First, we give a new proof of Eisenstein's restriction theorem for adjoint ideal sheaves, using the theory of F-singularities. Second, we show that a conjecture of Musta\c{t}\u{a} and…

Several results about the union-closed sets conjecture are presented.

We study linear $\alpha_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their…

In this paper we give simple proofs for the bounds (some of them sharp) of the difference of the moduli of the second and the first logarithmic coefficient for the general class of univalent functions and for the class of convex univalent…

We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.

We prove new entropy inequalities for log concave and s-concave functions that strengthen and generalize recently established reverse log Sobolev and Poincare inequalities for such functions. This leads naturally to the concept of…