Example 2.8 . [03N0]
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
Example 2.8.
In [37, 38, 39] we study SL 3-folds in invariant under the -action
The three papers are surveyed in [40]. A -invariant SL 3-fold may locally be written in the form
| (2.6) |
where is a domain in , and satisfy (in a weak sense if ) the nonlinear Cauchy–Riemann equations
| (2.7) |
If is simply-connected, as there exists a potential for with , , satisfying
| (2.8) |
In [37, 38], for suitable strictly convex domains and boundary data , we prove the existence of a unique satisfying (2.8) and , and then , satisfy (2.7) (possibly in a weak sense if ), and in (2.6) is special Lagrangian.
When , equations (2.7)–(2.8) become singular, and the SL 3-fold in (2.6) has a singularity at in . In the simplest cases is locally modelled on the cone in (2.4) near , but there are also infinitely many other topological types of singularities not locally modelled on cones. Note that the existence and uniqueness results for are entirely independent of the singularities appearing in the interior of .
The following will be important in §3.6. Using the results of [37, 38, 39, 40], by choosing a suitable family of boundary conditions for the potential , we can construct a family of exact -invariant SL 3-folds in of the form (2.6) with , with the following properties:
- (i)
depends continuously on in a suitable sense, for instance as special Lagrangian integral currents in Geometric Measure Theory.
- (ii)
is nonsingular for .
- (iii)
has one singular point at , which has tangent cone , where are -invariant special Lagrangian planes in intersecting non-transversely with .
- (iv)
for has two singular points at , where depends smoothly on and as . Each singular point is locally modelled on the special Lagrangian -cone in (2.4).
Thus, isolated singular points of SL -folds modelled on the -cone in (2.4) can appear or disappear in pairs under continuous deformation.