Related papers: On line bundles in derived algebraic geometry

It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…

We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves…

Our interest is a regularity of a minimal singular metric of a line bundle. One main conclusion of our general result in this paper is the existence of continuous Hermitian metrics with semi-positive curvatures on the so-called Zariski's…

Infinitesimal symmetries of $S^1$-bundle gerbes are modelled with multiplicative vector fields on Lie groupoids. It is shown that a connective structure on a bundle gerbe gives rise to a natural horizontal lift of multiplicative vector…

We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth…

Reductive G-structures on a principal bundle Q are considered. It is shown that these structures, i.e. reductive G-subbundles P of Q, admit a canonical decomposition of the pull-back vector bundle $i_P^*(TQ) = P \times_Q TQ$ over P. For…

Let $\pi : X = \mathbb{P}_C(E) \longrightarrow C$ be a ruled surface over an algebraically closed field $k$ of characteristic 0, with a fixed polarization $L$ on $X$. In this paper, we show that pullback of a (semi)stable Higgs bundle on…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

Let X be a smooth projective curve over a field of characteristic p>0. We show that the Hitchin morphism, which associates to a Higgs bundle its characteristic polynomial, has a non-trivial deformation over the affine line. This deformation…

Let $X$ be a general conic bundle over the projective plane with branch curve of degree at least 19. We prove that there is no normal projective variety $Y$ that is birational to $X$ and such that some multiple of its anticanonical divisor…

The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex…

Let $X$ be a smooth quintic hypersurface in $\mathbb{P}^3$, let $C$ be a smooth hyperplane section of $X$, and let $H=\mathcal{O}_X(C)$. In this paper, we give a necessary and sufficient condition for the line bundle given by a non-zero…

Let $\mathcal X$ be a projective arithmetic variety of dimension at least $2$. If $\overline{\mathcal L}$ is an ample hermitian line bundle on $\mathcal X$, we prove that the proportion of those effective sections of $\overline{\mathcal…

The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the…

Let $(V,q)$ be a vector bundle on a smooth projective curve $X$ together with a quadratic form $q: \mathrm{Sym}^2(V) \ra \mathcal{O}_X$ (respectively symplectic form $q: \Lambda^2V \ra \mathcal{O}_X$). Fixing the degeneracy locus of the…

Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not…

We propose a model in which a spliced vector bundle (with an arbitrary number of gauge structures in the splice) possesses a geometry which do not split. The model employs connection 1-forms with values in a space-product of Lie algebras,…

We prove that a Bers slice is never algebraic, meaning that its Zariski closure in the character variety has strictly larger dimension. A corollary is that skinning maps are never constant. The proof uses grafting and the theory of complex…

The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…