Related papers: Projective bundle formula for Heller' relative K_0

Let $i\colon X\to \Pk^N$ be a projective manifold of dimension $n$ embedded in projective space $\Pk^N$, and let $L$ be the pull-back to $X$ of the line bundle $\Ok_{\Pk^N}(1)$. We construct global explicit Koppelman formulas on $X$ for…

Let ${\mathcal P}{\mathcal M}^\alpha_s$ be a moduli space of stable parabolic vector bundles of rank $n \geq 2$ and fixed determinant of degree $d$ over a compact connected Riemann surface $X$ of genus $g(X) \geq 2$. If $g(X) = 2$, then we…

We study the $(k,s)$-positivity for holomorphic vector bundles on compact complex manifolds. $(0,s)$-positivity is exactly the Demailly $s$-positivity and a $(k,1)$-positive line bundle is just a $k$-positive line bundle in the sense of…

Let $\hat{L}$ be the projective completion of an ample line bundle $L$ over $D$, a smooth projective manifold. Hwang-Singer \cite{HwangS} have constructed complete CSCK metric on $\hat{L}\backslash D$. When the corresponding \kahler form is…

A family of holomorphic vector bundles is constructed on a complex manifold $X$. The space of the holomorphic sections of these bundles are calculated in certain cases. As an application, if $X$ is an $N$-dimensional compact K\"ahler…

Let G be a complex semi-simple group, X a Riemann surface, M_G the moduli space of principal G-bundles on X. When G is simply-connected, there exists a closed formula expressing the dimension of the space H^0(M_G,L) for any line bundle L on…

We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P \to X$ such that the classifying map $X \to \Bclass H$…

Take a holomorphic Lie algebroid $(V,\phi)$ over a rationally connected smooth complex projective variety $X$. We show that, under certain conditions, a vector bundle $E$ over $X$ admits a $(V,\phi)$-connection if and only if $E$ is…

We study compact K\"ahler threefolds X with infinite fundamental group whose universal cover can be compactified. Combining techniques from $L^2$ -theory, Campana's geometric orbifolds and the minimal model program we show that this…

Let $R$ be a complete discrete valuation ring with fraction field $K$ and with algebraically closed residue field. Let $X$ be a faithfully flat $R$-scheme of finite type of relative dimension 1 and $G$ be any affine $K$-group scheme of…

We investigate relative connections on a sheaf of modules. A sufficient condition is given for the existence of a relative holomorphic connection on a holomorphic vector bundle over a complex analytic family. We show that the relative Chern…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

Let $k$ be an algebraically closed field of characteristic zero. Let $S$ be a smooth projective variety over $k$ and let $p_S:X\rightarrow S$ be a family of smooth projective curves over $S$. Let $E$ be a vector bundle over $X$. For $s\in…

Let $Y$ be a normal and projective variety over an algebraically closed field $k$ and $V$ a vector bundle over $Y$. We prove that if there exist a $k$-scheme $X$ and a finite surjective morphism $g:X\to Y$ that trivializes $V$ then $V$ is…

Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique,…

We show that for any ample line bundle on a smooth complex projective variety with nonnegative Kodaira dimension, the semistability of co-Higgs bundles of implies the semistability of bundles. Then we investigate the criterion for surface…

We give examples of derived schemes $X$ and a line bundle $\Ls$ on the truncation $tX$ so that $\Ls$ does not extend to the original derived scheme $X$. In other words the pullback map $\Pic(X) \to \Pic(tX)$ is not surjective. Our examples…

We give a unifying description of all inequivalent vector bundles over the 2-dimensional sphere $S^2$ by constructing suitable global projectors $p$ via equivariant maps. Each projector determines the projective module of finite type of…

Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the K\"ahler differential algebra $\Omega_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules…

In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means…