Related papers: An injectivity theorem II

One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a…

Germs of tubular neighborhood embeddings for submanifolds N of manifolds M are in one-one correspondence with germs of Euler-like vector fields near N. In many contexts, this reduces the proof of `normal forms results' for geometric…

We extend the exponential formula by Bender and Canfield (1996), which relates log-concavity and the cycle index polynomials. The extension clarifies the log-convexity relation. The proof is by noticing the property of a compound Poisson…

The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel…

Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive…

We extend the Howlett-Isaacs theorem on the solvability of groups of central type taking into account actions by automorphisms. Then we study certain induced characters whose constituents have all the same degree.

This paper proves a new central limit theorem for a sample that exhibits two-way dependence and heterogeneity across clusters. Statistical inference for situations with both two-way dependence and cluster heterogeneity has thus far been an…

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…

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,…

In this note, we show how to apply the original $L^2$-extension theorem of Ohsawa and Takegoshi to the standard basis of a multiplier ideal sheaf associated with a plurisubharmonic function. In this way, we are able to reprove the strong…

We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…

The validity of the Addition Theorem for algebraic entropies $\ent_L$ induced by non-discrete length functions $L$ on the category of locally $L$-finite modules over arbitrary rings is proved. Concrete examples of non-discrete length…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

In 2010 de Jong proposed a $p$-adic version of Gieseker's conjecture: if $X$ is a smooth, simply connected projective variety, then any isocrystal on $X$ is constant. This was proven by Esnault and Shiho under some additional assumptions.…

We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite…

We generalize the theorem of E. Cattani, P. Deligne, and A. Kaplan to admissible variations of mixed Hodge structure.

We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.

The classical integral localization formula for equivariantly closed forms (Theorem 7.11 in [BGV]) is well-known and requires the acting Lie group to be compact. It is restated here as Theorem 2. In this article we extend this result to…

A result of H.-W. Wiesbrock is extended from the case of a common cyclic and separating vector for the half-sided modular inclusion of von Neumann algebras to the case of a common faithful normal semifinite weight and at the same time a gap…

We compute the class groups of very general normal surfaces in complex projective three-space containing an arbitrary base locus $Z$, thereby extending the classic Noether-Lefschetz theorem (the case when $Z$ is empty). Our method is an…