On the torsion of the first direct image of a locally free sheaf

DOI10.5802/AIF.2926MaRDI QIDQ748352zbMATH OpenOpenAlexFDO

Publication date 20 October 2015

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.0342, http://www.numdam.org/articles/10.5802/aif.2926/

coherent sheaves complex surfaces higher direct images torsion subsheaf versal deformation

Analytic sheaves and cohomology groups (32C35) Deformations of complex structures (32G05) Compact complex surfaces (32J15)

Abstract: Let

p i : M o B

be a proper holomorphic submersion between complex manifolds and

c a l E

a holomorphic bundle on

M

. We study and describe explicitly the torsion subsheaf

m a t h r m T o r s (R^{1} p i_{*} (c a l E))

of the first direct image

R^{1} p i_{*} (m a t h c a l E)

under the assumption

R^{0} p i_{*} (m a t h c a l E) = 0

. We give two applications of our results. The first concerns the locus of points in the base of a generically versal family of complex surfaces where the family is non-versal. The second application is a vanishing result for

H^{0} (m a t h r m T o r s (R^{1} p i_{*} (m a t h c a l E)))

in a concrete situation related to our program to prove the existence of curves on class VII surfaces.

Review text

The author studies the torsion subsheaf of the first direct image of a proper holomorphic submersion between complex manifolds. Let \(\pi: M \to B\) be a proper surjective holomorphic submersion between complex manifolds. Let \(\mathcal E\) be a holomorphic bundle on \(M\). Consider the direct image \(R^k\pi_*(\mathcal E)\). The Grauert locally freeness theorem gives a condition under which \(R^k\pi_*(\mathcal E)\) is locally free. The author is interested in studying the torsion subsheaf of \(R^k\pi_*(\mathcal E)\) when this condition is not satisfied. In the paper, the case of \(k=1\) is studied under the assumption that \(R^0\pi_*(\mathcal E)=0\). Theorem 1.3 states that, under the above assumptions, the support of \(\mathrm{Tors}(R^1\pi_*(\mathcal E))\) coincides with the maximal pure \(1\)-codimensional analytic subset of \(B\) which is contained in the Brill-Noether locus \(\mathrm{BN}_\pi(\mathcal{E})\); in particular, it has pure codimension \(1\). This can be viewed also as a tool to prove the existence of divisors on a complex manifold. In case, \(\mathrm{BN}_\pi(\mathcal E)\) has codimension greater than or equal to \(2\), the Brill-Noether locus can be regarded as an obstruction to trivializing globally the torsion-free sheaf \(R^1\pi_*(\mathcal E)\) (Proposition 1.8). Explicit descriptions of \(\mathrm{Tors}(R^1\pi_*(\mathcal E))\) are given. In the case \(R^0\pi_*(\mathcal E)=0\), Theorem 2.5 identifies \(\mathrm{Tors}(R^1\pi_*(\mathcal E))\) with an inductive limit indexed by the ordered set of effective divisors of \(B\). A more general result is obtained in Theorem 3.5 by using formal algebraic homological techniques. The author studies some applications of the results: concerning the locus of points in the base of a generically versal family of complex surfaces where the family is non-versal; and concerning the computation of \(H^0(\mathrm{Tors}(R^1\pi_*(\mathcal{E})))\) in a situation related to classification of class VII surfaces.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On the torsion of the first direct image of a locally free sheaf

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q748352)