It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms. Here “balanced” can be omitted if the category is additive. A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobj...

when 0 < k ≤ p. We will say that a smooth projective variety X has Bott vanishing if for every ample line bundle L, i > 0 and j H(X,ΩjX ⊗ L) = 0 The purpose of this paper is to show that Bott vanishing is a simple consequence of a very specific condition on the Frobenius morphism in prime characteristic p. Recall that the absolute Frobenius morphism F : X → X on X, where X is a variety over Z/p...

In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the theory of “gleaves”, which are presheaves equipped with an additional “gluing operation” of compatible pairs of local sections. This generalizes the conditi...

We prove that the category of $\mathbb{Z}_2 ^n$-manifolds has all finite products. Further, we show a ^n$-manifold (resp., ^n$-morphism) can be reconstructed from its algebra global ^n$-functions morphism between ^n$-function algebras). These results are importance in study ^n$ Lie groups. The investigation is more challenging, since completed tensor product structure sheafs two not sheaf. rely...

For a semistable degeneration of surfaces without triple point, we show that two models Hilbert scheme points the family, Gulbrandsen-Halle-Hulek given in [GHH] and one by author [N], are actually isomorphic.