ScalingStacks

Extension bundle vs. Lagrangian connection sum [048Q]

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

Extension bundle vs. Lagrangian connection sum

An essential aspect of C​o​h​(X∨)Coh(X^{\vee}) is that new bundles can be constructed from extensions of known bundles E1,E2E_{1},E_{2}, namely

0→E1→E→E2→0.0\to E_{1}\to E\to E_{2}\to 0.

Such extension sequences are classified by the complex vector space Ext1​(E2,E1)\text{Ext}^{1}(E_{2},E_{1}). Due to the ℂ∗\mathbb{C}^{*}-scaling, the choice of EE is parametrised by the projective space ℙ⁡(Ext1​(E2,E1))\mathbb{P}(\text{Ext}^{1}(E_{2},E_{1})). In general, extensions are not symmetric in E1E_{1} and E2E_{2}. The extensions

0→E2→E→E1→00\to E_{2}\to E\to E_{1}\to 0

are classified by Ext1​(E1,E2)\text{Ext}^{1}(E_{1},E_{2}), which is a quite different space. Extensions can also be viewed as distinguished triangles in Db​C​o​h​(X∨)D^{b}Coh(X^{\vee}).

In the mirror picture, exact sequences do not make a priori sense, but one can talk about distinguished triangles, whose geometric sources are the graded Lagrangian connected sums L1​#​L2L_{1}\#L_{2}, fitting into a distinguished triangle

L1→L1​#​L2→L2→L1​[1].L_{1}\to L_{1}\#L_{2}\to L_{2}\to L_{1}[1].

Such distinguished triangles are classified by H​F1​(L2,L1)HF^{1}(L_{2},L_{1}).3232 32 The caveat is that unlike bundles, the neck length of the Lagrangian connected sum cannot be arbitrarily large. Again there is a scaling symmetry related to the neck size of the Lagrangian connected sum, and there is an asymmetry between L1​#​L2L_{1}\#L_{2} and L2​#​L1L_{2}\#L_{1}.

This analogy is a prime example of homological mirror symmetry. On either side, only pure complex geometry/pure symplectic geometry appears.

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