Related papers: Lecture notes on the Ein-Popa extension result
In the 80th birthday conference for Professor LU Qikeng in June 2006 I gave a talk on the analytic approach to the finite generation of the canonical ring for a compact complex algebraic manifold of general type. This article is my…
The purpose of this note is to review an algebraic proof of the finite generation theorem due to Birkar-Cascini-Hacon-McKernan whose method is based on the Minimal Model Program. A survey article for Current Development in Mathematics 2007.
This set of notes provides some additional explanatory material on the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type.
This article is written for the Proceedings of the Conference on Current Developments in Mathematics in Harvard University, November 16-17, 2007. It is an exposition of the analytic proof of the finite generation of the canonical ring for a…
On August 5, 2005 in the American Mathematical Society Summer Institute on Algebraic Geometry in Seattle and later in several conferences I gave lectures on my analytic proof of the finite generation of the canonical ring for the case of…
We generalize some of the results in [arXiv: math.CV/0503430], and prove a bump-lemma for closed sets in semi 1-coronae. From this we obtain some finite cohomology results and an extension theorem for analytic subsets in 1-coronae.
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…
We discuss two theorems in analytic number theory and combinatory analysis that have seen increased use in recent years. A corollary to a Tauberian theorem of Ingham allows one to quickly prove asymptotic formulas for arithmetic sequences,…
In recent years, the full text of papers are increasingly available electronically which opens up the possibility of quantitatively investigating citation contexts in more detail. In this study, we introduce a new form of citation analysis,…
Given two nonlinear input-output systems written in terms of Chen-Fliess functional expansions, it is known that the feedback interconnected system is always well defined and in the same class. An explicit formula for the generating series…
In the present article, we introduce beta-expansions in the ring $\mathbb{Z}_p$ of $p$-adic integers. We characterise the sets of numbers with eventually periodic and finite expansions.
In this paper, we investigate the base-$p$ expansions of putative counterexamples to the $p$-adic Littlewood conjecture of de Mathan and Teuli\'e. We show that if a counterexample exists, then so does a counterexample whose base-$p$…
We give an elementary C*-algebraic proof of a result of Sorin Popa which is of fundamental importance to Elliott's Classification Program.
We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various…
Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed…
The paper presents an elaborated and simplified version of the structural result for branching bisimilarity on normed BPA (Basic Process Algebra) processes that was the crux of a conference paper by Czerwinski and Jancar (arxiv 7/2014 and…
The implicit signature k consists of the multiplication and the ({\omega}-1)-power. We describe a procedure to transform each {\kappa}-term over a finite alphabet A into a certain canonical form and show that different canonical forms have…
We prove two single-parameter q-supercongruences which were recently conjectured by Guo, and establish their further extensions with one more parameter. Crucial ingredients in the proof are the terminating form of q-binomial theorem and a…
A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic…
We show how to smoothly incorporate in the object-oriented paradigm constructs to raise, compose, and handle effects in an arbitrary monad. The underlying pure calculus is meant to be a representative of the last generation of OO languages,…