Conjecture 3.34 . [03PU]
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
Conjecture 3.34.
Let be a Calabi–Yau -fold, either compact or suitably convex at infinity, and an enlarged version of the derived Fukaya category of Lagrangian branes in from [20], including classes of immersed or singular Lagrangians, depending on the dimension :
- (i)
When can be the usual derived Fukaya category of nonsingular, embedded Lagrangian branes.
- (ii)
- (iii)
When must also include singular Lagrangians with stable special Lagrangian singularities, as in §3.6. When these include Lagrangians with isolated conical singularities in the sense of [32, 33, 34, 35, 36] modelled on the special Lagrangian -cone from (2.4), and this may be the only kind of stable singularity when . When stable singularities may be more complicated, and need not be isolated.
Let be a Lagrangian brane in with unobstructed, and suppose is generic in its Hamiltonian isotopy class. Let be a bounding cochain for . Then there is a unique family satisfying:
- (a)
.
- (b)
There is a finite series of singular times such that if then is an object in isomorphic to with a (possibly immersed or singular) compact, graded Lagrangian in with unobstructed.
- (c)
- (d)
At each singular time the flow undergoes a surgery, which may involve a finite time singularity of Lagrangian MCF, and a change in the topology of . The kinds of surgery allowed include ‘opening a neck’ as in §3.4 when ‘neck pinches’ as in §3.5 when transitions to and from Lagrangians with ‘stable special Lagrangian singularities’ as in §3.6 when and ‘collapsing zero objects’ as in §3.7 for (the latter is excluded for almost calibrated Lagrangians).
We do not require to be an object in as the singularities of may be too bad, and if so, is meaningless.
- (e)
The family is continuous as graded Lagrangian integral currents in in Geometric Measure Theory.
In graded Lagrangian integral currents, we have for some where for is a nonzero, compactly-supported, graded, special Lagrangian integral current with phase and grading with .
For the Bridgeland stability condition on discussed in Conjecture 3.2, if then and otherwise for any .