ScalingStacks

5.1 Twisting by line bundles [058P]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

5.1 Twisting by line bundles

Any holomorphic sheaf can be twisted by a sufficiently positive line bundle π’ͺ⁑(N)\mathscr{O}(N) so that it has sections; equivalently there are homomorphisms to the bundle from any sufficiently negative line bundle. If the sheaf has global support, this homomorphism is injective, exhibiting EE as an extension

0β†’π’ͺ⁑(βˆ’N)β†’Eβ†’Qβ†’0.0\to\mathscr{O}(-N)\to E\to Q\to 0.

One test of our notion of subobject of Lagrangians (in terms of connect sums), then, is that there should be appropriate connect sums mirroring this extension.

A line bundle β„’\mathcal{L} defines a spherical object [ST] of the derived category of sheaves on a Calabi-Yau manifold XX; that is Ext(β„’,β„’)i=H0,i(X)β‰…Hβˆ—(Sn;β„‚){}^{i}(\mathcal{L},\mathcal{L})=H^{0,i}(X)\cong H^{*}(S^{n};\mathbb{C}\,) is β„‚\mathbb{C}\, in dimensions 00 and nn, and zero otherwise. These should be mirror to Lagrangian homology spheres; we will consider only spheres here so that we can use the graded Dehn twists [S2] around them. Negativity compared to some other Lagrangian may not make sense in general (intuitively, the Lagrangian might be mirror not to a sheaf but to an object of the derived category with Homs in negative degrees, etc.) but instead we can consider only those spheres LL with only degree zero intersection points (3.4) with a fixed Lagrangian Lβ€²L^{\prime}.

Then it is indeed true that we can exhibit LL as a subobject of Lβ€²L^{\prime}: denoting by TLT_{L} the (graded) symplectic Dehn twist about LL, simply note that

Lβ€²β‰ˆTLβˆ’1​TL​Lβ€²β‰ˆL​#​[L′​#​(L⁑[ 1])]L^{\prime}\approx T_{L}^{-1}T_{L}L^{\prime}\approx L\#[L^{\prime}\#(L[\,1\,])]

expresses Lβ€²L^{\prime} as a connect sum of LL and something else. These relations can be shown by grading similar results in [S1]. In general this will not destabilise Lβ€²L^{\prime} due to the phase of LL being so negative.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.