Related papers: An Injectivity Theorem

We begin with recalling the correspond theorem of induced modules and global sections of vector bundles. After that, we give a generalization of this theorem. Finally, we apply the result to branching laws, and give some concrete examples.

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.

We prove two theorems on the locally finite decompositions of the cones of divisors by the cones which correspond to canonical and minimal models. We introduce the concept of the numerical linear systems in order to simplify the argument on…

Using a new definition of generalized divisors we prove that the lattice of such divisors for a given linear partial differential operator is modular and obtain analogues of the well-known theorems of the Loewy-Ore theory of factorization…

We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.

We show that the existence of disintegration for cylindrical measures follows from a general disintegration theorem for countably additive measures.

In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local…

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…

In this paper we give a proof of an index theorem by Bismut. As a consequence we obtain another proof of the Grothendieck-Riemann-Roch theorem in differential cohomology.

We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.

We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…

We prove a structure theorem for projective varieties with nef anticanonical divisors.

It is known that, in univalent mathematics, type universes, the type of $n$-types in a universe, reflective subuniverses, and the underlying type of any algebra of the lifting monad are all (algebraically) injective. Here, we further show…

We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…

We give new proofs for many injectivity results in analysis that make more careful use of the duality between unital abelian C*-algebras and compact Hausdorff spaces. We then extend many of these results to incorporate group actions. Our…

We prove that a general class of measures, which includes $\log$-concave measures, is $\frac{1}{n}$-concave according to the terminology of Borell, with additional assumptions on the measures or on the sets, such as symmetries. This…

Let $(X,D)$ be a log-canonical (lc) pair, in which $X$ is a compact K\"ahler manifold and $D$ is a reduced snc divisor, and let $F$ be a holomorphic line bundle on $X$ equipped with a smooth metric $h_F = e^{-\varphi_F}$. Via the use of the…

We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…

This paper presents a generalized version of a theorem of Grzegorek and Labuda in category bases and also endeavours to establish a variant formulation of the same in Marczewski structures.

A construction theorem for Frobenius manifolds with logarithmic poles is established. This is a generalization of a theorem of Hertling and Manin. As an application we prove a generalization of the reconstruction theorem of Kontsevich and…