Related papers: An Injectivity Theorem
We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$…
We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
We prove an analog of Siegel's theorem for integral points in the context of Drinfeld modules. The result holds for finitely generated submodules of the additive group over a function field of transcendence dimension 1.
We establish a flexible generalization of inductive systems of operator systems, which relaxes the usual transitivity (or coherence) condition to an asymptotic version thereof and allows for systems indexed over arbitrary nets. To…
The "fundamental theorem of Vassiliev invariants" says that every weight system can be integrated to a knot invariant. We discuss four different approaches to the proof of this theorem: a topological/combinatorial approach following M.…
We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg.
Inductive and coinductive types are commonly construed as ontological (Church-style) types, denoting canonical data-sets such as natural numbers, lists, and streams. For various purposes, notably the study of programs in the context of…
The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a…
Let $\mathcal{X}$ be a class of $R$-modules. In this paper, we investigate \;$\mathcal{X}$-(f.g.)injective ((f.g.)projective) and DG-$\mathcal{X}$-injective (projective) complexes which are generalizations of injective (projective) and…
We formulate Vojta's conjecture for smooth weighted projective varieties, weighted multiplier ideal sheaves, and weighted log pairs and prove that all three versions of the conjecture are equivalent. In the process, we introduce generalized…
The purpose of this paper is to give two supplements for vanishing theorems: One is a relative version of the Kawamata-Viehweg-Nadel type vanishing theorem, which is obtained from an observation for the variation of the numerical dimension…
A proof based on reduction to finite fields of Esnault-Viehweg's stronger version of Sommese Vanishing Theorem for $k$-ample line bundles is given. This result is used to give different proofs of isotriviality results of A. Parshin and L.…
We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…
Herzog and Sch\"onheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.
We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically…
We give a geometric realization of cohomologically induced (g,K)-modules. Let (h,L) be a subpair of (g,K). The cohomological induction is an algebraic construction of (g,K)-modules from a (h,L)-module V. For a real semisimple Lie group, the…
We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…
In this paper we will first show some Kollar-Enoki type injectivity theorems on compact Kahler manifolds, by using the Hodge theory, the Bochner- Kodaira-Nakano identity and the analytic method provided by O. Fujino and S. Matsumura in [15,…
In this paper, we present a generalized effective completeness theorem for continuous logic. The primary result is that any continuous theory is satisfied in a structure which admits a presentation of the same Turing degree. It then follows…
The author in [7] was proved the generalized remainder and quotient theorems of polynomial in one indeterminate where the divisor is complete factorization to linear factors. In this paper we give the formula for the generalized remainder…