{'fraction_non_alphanumeric': 0.05554233896360151, 'fraction_numerical': 0.012328747953371863, 'mean_word_length': 3.782172254567356, 'pattern_counts': {'":': 0, '<': 10, '<?xml version=': 0, '>': 21, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 28, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Moduli space and deformations of special Lagrangian submanifolds with edge singularities

Special Lagrangian submanifolds are submanifolds of a Calabi-Yau manifold calibrated by the real part of the holomorphic volume form. In this paper we use elliptic theory for edge-degenerate differential operators on singular manifolds to study the moduli space of deformations of special Lagrangian submanifolds with edge singularities. We obtain a general theorem describing the local structure of the moduli space. When the obstruction space vanishes the moduli space is a smooth, finite dimensional manifold.


Introduction
The study of moduli spaces of deformations of a special Lagrangian submanifold in a Calabi-Yau manifold started with the work of McLean [McL98], where he studied the deformation of compact special Lagrangian submanifolds (without boundary). He proved that the moduli space is a finite dimensional, smooth manifold with dimension equal to the dimension of its space of harmonic 1-forms. The role of special Lagrangian fibrations of Calabi-Yau manifolds in mirror symmetry and especially the presence of singular fibers, motivated the study of special Lagrangian submanifolds with conical singularities/ends [Mar,Pac04], [Pac13,Joy04]. Moreover in the simplest example of a Calabi-Yau manifold, C n , the fact that special Lagrangian submanifolds are minimal implies the nonexistence of compact special Lagrangian submanifolds. Hence the search for special Lagrangian submanifolds in C n must be done in the category of non-compact or singular spaces.
Broadly speaking, the study of moduli spaces of special Lagrangian deformations is performed by identifying nearby special Lagrangian submanifolds with elements in the zero set of a non-linear elliptic partial differential operator that governs the deformations. By means of the Implicit Function theorem for Banach spaces, this is reduced to the analysis of the linearised equation. Hence the study of moduli spaces of deformations of a special Lagrangian submanifold requires a good understanding of elliptic equations on the base space.
The theory of linear elliptic partial differential equations on smooth, compact manifolds without boundary is well-developed: the construction of parametrices of inverse order, a complete calculus of elliptic ΨDOs, elliptic regularity, the equivalence between ellipticity and the existence of an a priori estimate, the equivalence of ellipticity and Fredholmness and finally the celebrated Atiyah-Singer index formula. All these elements are already classical tools when studying elliptic equations on compact manifolds.
In contrast, in non-compact or singular spaces there is no canonical approach or methods to study elliptic equations. Even the concept of ellipticity on a noncompact or singular manifold is not canonical as it is in the compact case. The basic model of singularity in the theory of PDEs on singular manifolds is the conical singularity. Near a vertex, a manifold with conical singularities looks like R + ×X {0}×X , where X is a compact manifold without boundary. The usual approach in this case is to blow-up the vertices to obtain a compact manifold with boundary, the stretched manifold, with collar neighborhood R + × X .
The most common type of degenerate differential operator studied on the collar neighborhood is the Fuchs type operator P = r −m j≤m a j (r) (−r∂ r ) j with coefficients a j ∈ C ∞ (R + , Diff m−j (X )), where Diff m−j (X ) is the set of classical differential operators of order m − j on the compact manifold X . Many authors have studied this type of equation with different approaches: Lockhart and McOwen [LM85], [Loc87], Melrose [Mel93], Schulze [Sch91], [ES97], [Sch98], Kozlov, Mazya and Rossmann [KMR97], among possibly others. The b-calculus of Melrose [Mel93] and the cone algebra of Schulze [Sch91] are robust and systematic approaches to Fuchs operators with the goal of constructing a calculus or an algebra of ΨDOs that contains parametrices of Fusch type operators (see [LS01] for a comparison of both approaches).
The edgification of a manifold with conical singularities produces a manifold with edge singularities, where locally near the singularity it looks like the R n × R + ×X {0}×X . Here we also have a class of edge-degenerate differential operators. A typical example is the Laplace-Beltrami operator associated to an edge metric r 2 g X + dr 2 + g E where g E is a Riemannian metric on a smooth manifold E (the edge) without boundary (see section 3.1).
This paper is concerned with deformations of special Lagrangian submanifolds with edge singularity (see section 3.1 for the precise definition of a manifold with edge singularity). The motivations to study special Lagrangian submanifolds with edge singularities are the following: on one hand, it is a natural next step in the category of singularities where there is a well-developed elliptic theory [Sch91,ES97,Sch98], hence the analysis of the linearised equation that governs the deformations is accessible. An alternative approach to study edgedegenerate operators developed by R. Mazzeo and B. Vertman can be found in [Maz91], [MV14].
On the other hand we are interested in the deformation of calibrated vector bundles, specially, special Lagrangian submanifolds obtained as a conormal bundle N * (M ) ⊂ T * (R n ) ∼ = C n of an austere submanifold M in R n . In this direction, Karigiannis and Leung [KL12] obtained special Lagrangian deformations of N * (M ) by affinely translating the fibers. One of the main examples of austere submanifolds in R n is the class of austere cones [Bry91]. These cones are of the form R + × X ⊂ R n where X ⊂ S n−1 is an austere submanifold of the sphere. If we assume that the conormal bundle is a trivial bundle near the vertex of the cone (for example if R + × X is an orientable hypersurface in R n then the conormal bundle is trivial) then it is diffeomorphic to R + × X × R q where q is the codimension of R + × X in R n . This implies that we can consider N * (M ) as a manifold with an edge singularity. More general, we can consider special Lagrangian submanifolds M with edge singularity E in a Calabi-Yau manifold X. For example if X is a Calabi-Yau manifold, E a compact special Lagrangian submanifold in X and M a special Lagrangian submanifold with conical singularity in C n then M × E is a special Lagrangian submanifold in C n × X singular along E.
In this paper we use Schulze's approach to study deformation of special Lagrangian submanifolds with edge singularities. We use Schulze's approach to analyze the Hodge-Laplace ∆ and Hodge-deRham d + d * operators acting on sections of differential forms induced by edge-degenerate vector fields on M , see section 5.
In previous works of Joyce, McLean, Marshall and Pacini, see [Joy04], [McL98], [Mar], [Pac04], [Pac13], finite dimension of the moduli space follows from the Fredholmness of the Hodge-Laplace operator acting on (weighted) Sobolev spaces. As it was mentioned above, there is no canonical notion of ellipticity in noncompact or singular manifolds, however in most approaches, once suitable Banach spaces have been defined, the ellipticity of an operator is defined in such a way that it implies the Fredholm property of the operator acting between those Banach spaces. In manifolds with conical singularities with local model R + × X , the concept of ellipticity is based on the symbolic structure of the Fuchs operator. This is given by two symbols (σ m b (P), σ m M (P)(z)). The first symbol σ m b (P) is the homogeneous boundary principal symbol and σ m M (P)(z) is the Mellin conormal symbol. The symbol σ m M (P)(z) is an operator-valued symbol given by a holomorphic family of continuous operators parametrized by z ∈ C and acting on the base of the cone X , σ m M (P)(z) : H s (X ) → H s−m (X ). The ellipticity of P on X ∧ := R + × X implies that σ m M (P)(z) is a family of isomorphisms for all z ∈ Γ n+1 2 −γ = {z ∈ C : Re(z) = n+1 2 − γ} for some weight γ ∈ R. In the approaches of Melrose and Lockhart-McOwen similar symbolic structures are used to define ellipticity. See section 5.1 for a complete discussion of the symbolic structure.
In the analysis of edge-degenerate operators, the symbolic structure for an adequate notion of ellipticity involves the edge symbol σ m ∧ (u, η). This is an operator-valued symbol given by a family of continuous operators acting on cone-Sobolev spaces K s,γ (X ∧ ) (see definition 3.3) and parametrized by the cotangent bundle of the edge. For (u, η) ∈ T * E \ {0} we have a continuous operator σ m ∧ (u, η) : K s,γ (X ∧ ) −→ K s−m,γ−m (X ∧ ).
Analogous to the conical case, a necessary condition for the ellipticity of P is that σ m ∧ (u, η) is an isomorphism for every (u, η) ∈ T * E \ {0}. However, this is rarely the case (for example, in general, the Laplace-Beltrami operator induced by an edge metric does not satisfy this condition). It is more natural to expect the family σ m ∧ (u, η) to be only Fredholm for every (u, η) ∈ T * E \ {0}. In this case, in order to have a family of isomorphisms, we need to complete the edge symbol with boundary and coboundary conditions.The need for completing the symbols means that P is not Fredholm unless we impose complementary edge boundary conditions. Moreover boundary and coboundary conditions are an essential part of the regularity of solutions of elliptic edge-degenerate equations (see section 5.2). Therefore, if we are interested in studying moduli spaces of deformations of a special Lagrangian submanifold with edge singularities, we need to consider deformations with boundary conditions in the edge in order to obtain regular enough deformations that allow the existence of a smooth, finite dimensional moduli space of deformations. These boundary conditions are given by the trace pseudo-differential operator that appears in the completion of the symbol. Moreover, solutions of elliptic equations near singularities have a well-known conormal asymptotic expansion. Our case is not an exception and our deformations have conormal asymptotic expansions near the edge, see section 7.
Once the symbol is completed (this is possible because, in our case, the topological obstruction vanishes, see 5.3) we obtain a Fredholm operator in the edge algebra with a parametrix (with asymptotics) of inverse order. At this point we want to use the Implicit Function theorem for Banach spaces to obtain finite dimensionality and smoothness of the moduli space of deformations. However, the possible non-surjectivity of the linearised deformation map produces an obstruction space. The presence of an obstruction space is not unexpected because even in the case of a compact manifold with isolated conical singularities each of the singular cones contributes to the obstruction space. This was studied in detail by Joyce [Joy04].
Given a special Lagrangian submanifold in C n with edge singularity, Φ : M −→ C n , our moduli space has as parameters an admissible weight γ > dim X +3 2 and a trace pseudo-differential operator, T , such that it belongs to a set of boundary condition for an elliptic edge boundary value problem for the Hodge-deRham operator on M .
Our main result, theorem 8.3 in section 8, is a theorem describing the local structure of the moduli space M(M, Φ, T , γ) considering the possible obstructions (see section 8 for the precise definition of the moduli space and further details).

Special Lagrangian submanifolds and deformations
In this section we introduce the basics of deformation of special Lagrangian submanifolds in C n . We will use the definitions and notation of this section throughout this paper. For further details on special Lagrangian geometry the reader is referred to [Joy07] and [HL82].

Special Lagrangian submanifolds in C n
Let C n := {(z 1 , · · · , z n ) : z k ∈ C for all 1 ≤ k ≤ n} be the complex ndimensional space. We identify C n with R 2n = R n x ⊕ R n y in the following, specific way Definition 2.1. Let ξ = ξ 1 ∧ · · · ∧ ξ n be an oriented, real n-plane in C n , where ξ 1 , · · · , ξ n is an oriented, orthonormal basis of ξ. We say that ξ is a Lagrangian 2. An oriented n-submanifold ψ : M −→ C n is a Lagrangian submanifold of C n if each tangent plane ψ * (T p M ) ⊂ T C n ∼ = C n is a Lagrangian n-plane in C n for every p ∈ M , where ψ * denotes the push-forward.
Definition 2.3. The complex n-form Ω = dz 1 ∧ · · · ∧ dz n is called the holomorphic volume form of C n .
Definition 2.4. An oriented Langrangian submanifold M in C n is called a special Lagrangian submanifold with phase θ 0 if the following equations are satisfied Observe that given a special Lagrangian submanifold Φ : M −→ C n with phase θ i.e. a Lagrangian submanifold calibrated by Re(e − √ −1θ Ω), the submanifold given by e − √ −1 θ n Φ : M −→ C n is a special Lagrangian submanifold with phase θ = 0.
Therefore by rotating a special Lagrangian submanifold with phase θ we transform it into a special Lagrangian submanifold with phase zero. Henceforth, when we consider special Lagrangian submanifolds in C n , we shall focus and discuss only the case with phase zero.
Let (X, ω, J, g X ) be a Kähler manifold of complex dimension n with Kähler form ω, complex structure J and Kähler metric g X . Recall that X is called a Calabi-Yau manifold if the holonomy group of g X is a subgroup of SU(n), i.e.
Note that C n is a Calabi-Yau manifold with the structure Harvey and Lawson in [HL82] characterized special Lagrangian submanifolds in a way that has been extremely useful to study the deformation theory.
Proposition 2.5. Let (X, ω, J, g X , Ω X ) be a Calabi-Yau manifold and M a ndimensional real submanifold. Then M admits an orientation making it into a special Lagrangian submanifold if and only if Im Ω X M ≡ 0 . (2.5)

Manifolds with singularities
We are interested in the deformation of special Lagrangian submanifolds with singularities. In this section we provide the definitions and concepts related to singular manifolds that we use throughout this paper. We refer the reader to chapter 1 and 2 of [NSSS06] for further details. We denote by the algebra of classical differential operators on M .
Definition 3.1. A singular manifold is a pair (M, D) where M is a smooth manifold possibly non-compact and D ⊂ Diff (M ) is a subalgebra of differential operators such that its restriction D U at every open subset U with compact closure U ⊂ M is equal to the restriction of the algebra of all differential operators Diff (M ) U .
The algebra D is generated by a function space F such that . We obtain the function space F by embedding M into a compact manifold with boundary M and defining F as the restriction of the space of smooth functions on M i.e. F := C ∞ (M) M .

Examples
i) Let's consider a smooth manifold M with smooth boundary ∂M = X , dim X = m and define M := M \ ∂M. Let g M be a conical metric on M i.e. g M is a Riemannian metric on M such that on a collar neighborhood of ∂M given by (0, 1) × X ⊂ M we have where g X is a Riemannian metric on X . Then g M extends to a smooth, symmetric 2-tensor on M that degenerates in each tangent direction to X . . Now, let V ∈ C ∞ (M, T M) be a vector field with length of the order of unity with respect to g M , i.e.
for any p ∈ M and C > 0 independent of p.
On a neighborhood [0, 1) × U ⊂ [0, 1) × X it is easy to see that where ∂ k are the local coordinate vector fields on U ⊂ X and A, B k ∈ C ∞ ([0, 1) × U).
The algebra of degenerate operators D is generated by functions on M smooth up to r = 0 i.e. C ∞ (M) M and vector fields V such that on the collar neighborhood [0, 1) × X are given by This algebra is called the algebra of cone-degenerate operators Diff cone (M ). From the local expressions above we have that every cone-degenerate operator P of order l can be written in the collar neighborhood as where a i ∈ C ∞ [0, 1), Diff l−i (X ) , with Diff l−i (X ) denoting the space of classical differential operators of order l−i on X . Cone-degenerate operators are also called Fuchs-type operators.
We say that (M, Diff cone (M )) is a manifold with conical singularity.
ii) Let M be a smooth compact manifold with boundary ∂M. Let X and E be smooth, compact manifolds without boundary such that ∂M is the total space of a smooth X -fibration over E π : ∂M −→ E.
Observe that any collar neighborhood of the boundary [0, 1) × ∂M has the structure of a X -fibration over E × [0, 1). By fixing a collar neighborhood, we use the bundle coordinates on [0, 1) × ∂M as admissible coordinates i.e. coordinates of the form (r, σ k , u l ) where (u l , r) are coordinates on E × [0, 1) and (σ k ) local coordinates on the fiber X .
Now, we apply the scheme to construct singular manifolds. Let M = M\∂M and equip M with an edge metric where g E is a smooth Riemannian metric on E.
Observe that the edge metric g M extends to a smooth symmetric 2-tensor on M that degenerates on each X -fiber over ∂M. In order to define the algebra of degenerate differential operators on M we set In admissible coordinates on the collar neighborhood [0, 1)×U ×Ω ⊂ [0, 1)× ∂M, the set of vector fields with length of the order of unity with respect to the edge metric g M is given by where A, B k , C l ∈ C ∞ ([0, 1) × U × Ω), ∂ k are local coordinate vector fields on U ⊂ X and ∂ u l are local coordinate vector fields on Ω ⊂ E.
The algebra generated by F and V is called the algebra of edge-degenerate operators Diff edge (M ). In admissible coordinates, every edge-degenerate operator of order l is given by We say that (M, Diff edge (M )) is a manifold with edge singularity.

Analysis on Manifolds with edges.
In this section we describe the necessary elements to study partial differential equations on manifolds with conical or edge singularities. In particular we introduce the relevant concepts and definitions needed for the analysis of deformations of singular special Lagrangian submanifolds carried out in section 4. We refer the reader interested in full details and explanations to [Sch98], chapters 2 and 3.

Sobolev spaces on singular manifolds
We start by introducing suitable Banach spaces on which cone-degenerate operators act. Recall that the Mellin transformation M is a continuous operator M : where A(C) is the space of holomorphic functions on C. Very often we need the restriction of the holomorphic function Mf to subsets isomorphic to R given by (3.5) The role of the Mellin transformation in cone-degenerate operators is given by the following basic fact: . Therefore, any cone-degenerate differential operator P = r −l i≤l a i (r)(−r∂ r ) i is given in terms of the Mellin transformation as follows Definition 3.2. The local cone-Sobolev space of order s and weight γ, denoted by H s,γ (R + × R m ), with s, γ ∈ R, is defined as the closure of C ∞ 0 (R + × R m ) with respect to the norm where F σ→ξ denotes the Fourier transformation in the variable σ ∈ R m and the symbol M γ− m 2 ,r→z denotes the restricted Mellin transformation acting on the variable r ∈ R + .
The relation between the local-cone spaces H s,γ (R + × R m ) and the standard Sobolev spaces H s (R m+1 ) is given by the following transformation. First consider the transformation x). This transformation extends to a Banach space isomorphism between H s,γ (R + × R m ) and the standard Sobolev spaces H s (R m+1 ). Therefore the norm f H s,γ (R + ×R m ) and the norm are equivalent.
In order to define the global cone-Sobolev space on a manifold with conical singularities M , we choose a finite open covering {U λ , χ λ } of X given by coordinate neighborhoods such that χ λ : U λ −→ R m and I ×χ λ : R + ×U λ −→ R + ×R m with (I × χ λ )(r, p) = (r, χ λ (p)) are diffeomorphisms for every λ. Let {ϕ λ } be a partition of unity subordinate to {U λ }. The global cone-Sobolev space near the conical singularities is modelled on the space H s,γ (X ∧ ) defined on the open cone X ∧ := R + × X as the closure of C ∞ 0 (X ∧ ) with respect to the norm where m = dim X .
In order to glue together the space H s,γ (X ∧ ) with the classical Sobolev space away from the edge we use a cut-off function ω(r) ∈ C ∞ 0 (R + ) such that ω(r) = 1 for 0 ≤ r < ε 1 and ω(r) = 0 for r ≥ ε 2 for some 0 < ε 1 < ε 2 . The cone-Sobolev space on the open cone X ∧ is defined in an analogous manner Both of these spaces are endowed with the topology of the non-direct sum.
Proposition 3.4. Let P ∈ Diff l cone (M ), then is a continuous operator for any s, γ.
The R + -action on the cone-Sobolev space is given by (κ λ f )(r, σ) := λ m+1 2 f (λr, σ). This defines a continuous one-parameter group of invertible operators with the strong operator topology. i) We define the edge-Sobolev space on the open edge X ∧ × R q as the the completion of the Schwartz space S(R q , K s,γ (X ∧ )) with respect to the norm (3.8) ii) Given a compact manifold M with edge singularity E the edge-Sobolev space W s,γ (M ) is defined as the closure of C ∞ 0 (M ) with respect to the norm where φ j is a partition of unity associated to a finite open cover {Ω j } of E and ω is the cut-off function supported near the edge.

Deformation of special Lagrangian submanfolds with edges
In this section we consider the problem of deforming special Lagrangian submanfolds with edges. We study and analyze the non-linear differential operator that governs the special Lagrangian deformations and its linearisation.

Preliminaries
Given a Calabi-Yau manifold (X, ω, J, g X , Ω X ) and a special Lagrangian submanifold Φ : M −→ X, we are interested in deformations of M , as a submanifold of X, such that the deformed submanifold is special Lagrangian. More precisely we are looking for submanifolds Ψ : M −→ X such that Φ is isotopic to Ψ and Ψ(M ) := M Ψ is special Lagrangian. If we are able to find special Lagrangian deformations of M then we want to investigate the structure of the space containing those special Lagrangian deformations i.e. the moduli space of special Lagrangian deformations M(M, Φ). In general the moduli space will be the space of special Lagrangian embeddings Ψ : M −→ X (equivalent up to diffeomorphism) isotopic to our original Φ. If we require the isotopy through special Lagrangian submanifolds then we are considering only the connected component in the moduli space containing M . If we do not require the intermediate submanifolds to be special Lagrangian then we are considering all the connected components of the moduli space. If we consider nearby enough submanifolds then it is possible to obtained deformations of M by moving it in a normal direction V given by a section of the normal bundle V ∈ C ∞ (M, N (M )). This is possible thanks to the tubular neighborhood theorem (see [Lan95] Ch 4, theorem 5.1). Observe that the submanifold M is not required to be closed, see [Lee03] theorem 10.19.
Therefore any normal section V lying in A will produce an embedded submanifold given by This provides us with two explicit equations that V must satisfy in order to produce a special Lagrangian deformation of M . Taking advantage of the fact that M is a Lagrangian submanifold we can use the bundle isomorphisms so that we obtain that each differential form Ξ ∈ C ∞ (M, T * M ) defines a unique section of the normal bundle ). Therefore, we can express the deformation problem as a non-linear operator P acting on differential forms on M : given by where C ∞ (M, T * M ) A is the space of differential forms Ξ such that their image under the bundle map J • g −1 X belongs to A. The zero set of this operator contains those special Lagrangian deformations of M lying in U , that is, Hence, the local structure of the moduli space M(M, Φ) near M is given by P −1 (0), the zero set of a non-linear operator. A classical result in non-linear functional analysis that has been used to describe the zero set of non-linear operators in deformation of calibrated submanifolds is the Implicit Function Theorem for Banach spaces (see, for example, [Lan93] chapter 14, theorem 2.1).
Theorem 4.2. Let X and Y be Banach spaces, A ⊂ X an open neighborhood of zero and P : Ideally, in order to apply theorem 4.2, we expect to define Banach spaces of differential forms X and Y such that the deformation operator P acts smoothly, adapt the tubular neighborhood given by theorem 4.1 such that an open neighborhood of zero A ⊂ X fits into it. Moreover we would like that with this choice of Banach spaces the linearisation of the deformation operator at zero DP[0] is a Fredholm operator. Thus its kernel is a finite dimensional space and it splits X. Moreover if the cokernel of DP[0] vanishes, then theorem 4.2 applies immediately and gives us that the moduli space M(M, Φ), locally around M , is a finite dimensional, smooth manifold with dimension equal to dim Ker DP [0]. Moreover any infinitesimal deformation, i.e. x ∈ W 1 ⊂ Ker DP[0], can be lifted to an authentic deformation given by (x, G(x)) with P(x + G(x)) = 0 i.e. there are no obstructions.
This ideal situation turned out to be true in the compact case. In [McL98], McLean studied the deformation of a compact special Lagrangian submanifold inside a Calabi-Yau manifold X. McLean used the classical and well-developed elliptic theory on compact manifolds to analyze the deformation operation and its linearisation.
In order to set up a deformation framework on a singular manifold M with edge singularity, we shall use edge-degenerate differential forms. These forms are dual to the edge-degenerate vector fields in (3.3) section 3.1 with respect to the edge metric g M = r 2 g X +dr 2 +g E . More precisely, let's consider the following space of differential forms γ on the stretched manifold M such that they vanish on all tangent directions to the fibers on ∂M: By the Swan theorem [Swa62], this is the space of sections of a vector bundle T * ∧ M over M. The vector bundle T * ∧ M is called the stretched cotangent bundle of the manifold with edges M (see [NSSS06] section 1.3.1). In local coordinates (r, σ k , u l ) we have Observe that these are differential forms that degenerate at each direction tangent to X . We will denote by T * ∧ M the restriction of the stretched cotangent bundle to M .
At this point we have to make an assumption on the vector bundles we consider on a manifold with edge (or conical) singularity.
Definition 4.3. Let M be a manifold with edge singularity. We say that a vector bundle E over M is admissible if on a collar neighborhood (0, ε) × X × E the restriction E| (0,ε)×X ×E is the pull-back of a vector bundle E X over X . Now let's consider the stretched cotangent bundle T * ∧ M as an admissible vector bundle. In order to do that let's define We shall assume that on the collar neighborhood and X ∧ = R + × X . We shall also define the bundle E X ∧ := π * R + E X as the pull-back of the bundle E X by the projection (4.5) In particular if the edge E is a parallelizable manifold then the stretched cotangent bundle T * ∧ M is an admissible bundle. Throughout this section we consider C n with its standard Calabi-Yau structure We consider C n with a fictitious edge structure as follows: Associated with this edge structure we have the stretched space

Submanifolds with edge singularities in C n
Let M be a compact manifold with edge singularity E (see section 3.1). Then the boundary of the stretched manifold M has a X -fibration structure over E, π : ∂M → E, where X and E are compact smooth manifolds (without boundary) with q = dim E and m = dim X . We assume that X is diffeomorphic to an embedded submanifold of the sphere S n−1 with diffeomorphism given by θ : X −→ S n−1 ⊂ R n . Consider the cone X ∧ with cross section X i.e. X ∧ = X ×R + and let's define a diffeomorphism of X ∧ with a cone C ⊂ R n by ψ : Definition 4.4. Let M be a compact manifold with edge singularity E.
i) A smooth embedding Φ : M −→ C n is called an edge embedding if on a collar neighborhood (0, ε) × ∂M, which has the structure of a X ∧ -bundle over E, the embedding Φ splits as Φ(r, p, v) = (ψ(r, p), τ (v)) with respect to the identification C n ∼ = R n x ⊕ R n y .
ii) If Φ : M −→ C n is an edge embedding such that Φ(M ) is a special Lagrangian submanifold of C n , we say that (M, Φ) is a special Lagrangian submanifold with edge singularity.

The Deformation Operator
Let Φ : M −→ C n be a compact special Lagrangian submanifold with edge singularity, see definition 4.4 in section 4.2. In order to study the moduli space of special Lagrangian deformations of M as a manifold with edge singularities, we have to study small deformations of M inside C n . These deformations are produced by sections of the normal bundle ϕ ∈ N (M ) via the exponential map exp g C n . The equations define a first order non-linear partial differential operator P such that ϕ must satisfy the equation P(ϕ) = 0 in order to produce a special Lagrangian deformation (see (4.3)). Because we are interested in small deformations we can use the Implicit Function Theorem for Banach spaces (if applicable) to describe small solutions of the equation P(ϕ) = 0 in terms of solutions of the linearised equation at zero i.e. DP[0](ϕ) = 0. In particular, on a collar neighborhood (0, ε) × ∂M, equipped with the edge metric g M = r 2 g X + dr 2 + g E , we want to solve the equation DP[0](ϕ) = 0. This is a problem of analysis of PDEs on singular spaces and this observation suggests the approach to follow. First, we expect the operators P and DP[0] to be edge-degenerate on (0, ε) × ∂M. This is achieved by using sections of the stretched cotangent bundle T * ∧ M to produce small deformations. This is natural as differential forms in T * ∧ M have a degenerate behavior compatible with the edge singularity of M in the sense that their degenerations are induced by the pairing of the edge metric g M with edge-degenerate vector fields. Then, in order to invoke the Implicit Function Theorem for Banach spaces we need that DP[0] is an elliptic operator in the edge calculus (hence a Fredholm operator by theorem 5.8 in section 5.2). This is achieved by completing the edge symbol σ 1 ∧ (DP[0]) with boundary and coboundary conditions as the Atiyah-Bott obstruction vanishes, see section 5 below.

The non-linear deformation operator
Given a compact special Lagrangian submanifold with edge singularity Φ : . Now, the complex structure J induces an isomorphism of vector bundles J : then, its image under the map J • Φ * • g * M is given by the following expression in the restriction of the tangent bundle whereB i andC l are the components of the corresponding pushforwards Proof. It follows from the expression of the dual edge metric g * M = 1 defines a curve given by = (r(t)θ 1 (σ(t)), . . . , r(t)θ n (σ(t)), τ 1 (u(t)), . . . , τ n (u(t))), By applying the standard complex structure J on C n under the identification (2.2) we obtain the result.
is endowed with the restriction of the standard flat metric g C n = g R 2n . Proof. We have to prove that V Ξ W s,γ (M,N (M)) < ∞. By (3.9) we have to estimate near the edge with the edge-Sobolev norm and away from the edge with the classical Sobolev norm Let {Ω j , β j } and {U λ , χ λ } be finite coverings of E and X respectively, given by coordinate neighborhoods such that are diffeomorphism and let {φ j } and {ϕ λ } be corresponding subordinate partitions of unity. Let ω(r) be the cut-off function defining the edge-Sobolev space (see definition 3.3). In an edge neighborhood and the fact that Ξ ∈ W s,γ (M, T * ∧ M ) implies that ωφ j ϕ λ A, ωφ j ϕ λ B k and ωφ j ϕ λ C l belong to W s,γ (M ). This follows from (3.7) and (3.9).
By lemma 4.5 we have (4.7) By 3.8, near the edge we want to estimate the terms dη.
First, we observe that by (3.7). By lemma 4.5B k is obtained by applying θ * g * X . This pull-back and push-forward acts locally on the components B k by multiplying by g ij X and partial derivatives of the component functions of θ : X → S n−1 ⊂ R n . We claim that both of these operations preserve the membership in W s,γ (M ). Indeed, in The norm by (3.6). The functions g kj X are bounded on the support of ϕ λ , hence they are bounded functions on R m+1 under the coordinate map I × χ λ . By the general theory of multipliers on Sobolev spaces H s (R m+1 ), ([Agr15] theorem 1.9.1 and 1.9.2), multiplication by any bounded function defines a bounded operator, therefore there exists a constant C kj depending only on g kj X such that .

By hypothesis
The push-forward θ * is induced by a diffeomorphism θ : X −→ S n−1 ⊂ R n . Locally this push-forward acts on the components of vector fields by multiplications by the derivatives of the component functions θ k , hence the same argument as above applies and we conclude that ωφ jBk ∈ W s,γ (M ). Now, the componentsC l are obtained by applying τ * g * E to the components C l . Given g * E = g ij E (u)∂ ui ⊗∂ uj , it acts on the components C l by multiplication by g ij E (u).
In the same way the push-forward τ * acts through multiplication by derivatives of its components ∂τ i ∂u l . When composed with the coordinate function β k , the maps belong to S(R q ) as they have compact support. By [Sch98] theorem 1.3.34, multiplication by an element in S(R q ) defines a continuous operator on W s,γ (X ∧ × R q ). Hence, by the same argument as in the first part of the proof, τ * g * E preserves W s,γ (M ) near the edge and ωφ k ϕ λCl ∈ W s,γ (M ).
Away from the edge on the compact manifold M \ (0, ε) × ∂M take a finite covering of coordinate neighborhoods {W i } with a subordinate partition of unity (4.10) As on each of those patches of local coordinates the support of . Then the pull-back of the standard Kähler form ω C n by the map exp(V Ξ ) • Φ is given in terms of edge-degenerate differential operators of order 1 by the following expression in a neighborhood (0, ε) × U λ × Ω j near the edge: . . , n are the components of V Ξ in a neighborhood of the edge as in (4.7) and the operators C l du l in local coordinates near the edge, The standard Kähler form in C n is given by then a direct computation shows that Each of these terms are edge-degenerate differential operators acting on the components of Ξ and products of these as it is claimed in the proposition. Note that we have used the fact that to remove products in each term that do not contain any of the component functions A,B i andC i .
Corollary 4.8. The map Then, in a neighborhood near the edge, the components of the elements of the sequence {Ξ i } i∈N define Cauchy sequences in < ε for all l = 1, 2, . . . , q for all i, j > N (ε). Away from the edge we have We want to estimate Observe that the conditions on s and γ imply that the edge-Sobolev spaces are Banach algebras (B.39), hence multiplication is well-defined and we have the estimate f g s,γ ≤ C s,γ f s,γ g s,γ with a constant C s,γ depending only on s and γ. To simplify the notation we will use · s,γ to denote · W s,γ (M,T * ∧ M) . Now, near the edge, the components of the operator P ω C n are given by expressions of the form P + Q +(S + T) · R where P, Q, R, S, T ∈ Diff 1 edge (M ). By estimating one of these expressions we can apply the same argument to all components.
Given P, Q, R, S, T in Diff 1 edge (M ) and A, B, C, A ′ , B ′ , C ′ in W s,γ (M ) by the continuity these operators (proposition 3.6) and the elementary identity ab − Away from the edge we are in the setting of the standard Sobolev spaces H s (2M, T * ∧ M ) and the operator P ω C n is given by products of two differential operators of order 1. By using their continuity on H s (2M, T * M ), the fact that standard Sobolev spaces are Banach algebras for s > dim M 2 and a similar argument give us that {(1−ω) P ω C n (Ξ i )} i is Cauchy in H s (2M, T * M ). Therefore the corollary follows immediately. (N (M )). Then, on a neighborhood (0, ε) × U λ × Ω j near the edge, the pull-back of the imaginary part of the holomorphic volume form in C n Im Ω = Im(dz 1 ∧ · · · ∧ dz n ), by the map exp(V Ξ ) • Φ is given as a sum of n products of the form Proof. The holomorphic volume form in C n is given by Im Ω = Im(dz 1 ∧ · · · ∧ dz n ) = Im d(x 1 + iy 1 ) ∧ · · · ∧ d(x n + iy n ) = |I|=odd c I dy I ∧ dx 1 ∧ · · · ∧ dx I ∧ . . . dx n where the sum is taken over all increasingly ordered multi-indexes I of odd length k, I = (i 1 , . . . , i k ), the hat means that we omit the corresponding terms and c I = ±1. Then Each of the terms in the sum is a n-form on (0, ε) × U λ × Ω j , hence . . .
Therefore F I (r, σ, u) is the sum of products of the form with all the operators P k , k = 1, . . . , n, in Diff 1 edge (M ). By expanding these products and observing that the sum of all terms of the form i.e. all those products not containing any of the functions A,B • orC • , is equal to zero as we obtain that F I (r, σ, u) is the sum of products of the form where P ij ∈ Diff 1 edge (M ) and F ij ∈ W s,γ (M ) as claimed.
Corollary 4.10. The map given by P Im Ω (Ξ) := exp(V Ξ ) • Φ * (Im(Ω)) extends to a continuous non-linear Proof. Given Ξ and Ξ ′ in C ∞ 0 (T * ∧ M ), near the edge, we have By applying the elementary identity ab − a we can decompose each term of the sum in factors, each of them containing one of the subtractions ij ) are Cauchy in the space W s−1,γ−1 (M ) (by the continuity of edge-degenerate operators on edge-Sobolev spaces, see proposition 3.6) and for all k, k ′ > N (ε). Therefore, by the Banach algebra property (B.39) and (4.12), we have that ω(r) P Im Ω (Ξ k ) k∈N is a Cauchy sequence in the Sobolev space W s−1,γ−1 (M, n T * ∧ M ). Away from the edge a completely similar argument using the classical Sobolev spaces H s (2M, T * M ) implies that the sequence (1 − ω) P Im Ω (Ξ k ) k∈N is Cauchy in the space H s (2M, T * M ) and the corollary follows immediately.
Corollary 4.8 and 4.10 tell us that we have a continuous non-linear deformation operator: In fact, this operator is smooth as the following corollary shows.
Corollary 4.11. The non-linear deformation operator is smooth.
Proof. Recall that from proposition 4.7 the components of the operator P ω C n are given by expressions of the form P + Q +(S + T) · R where P, Q, R, S, T ∈ Diff 1 edge (M ). Therefore, given f, ν ∈ W s,γ (M ) we have Observe that by the continuity of S hence by the continuity of R we have lim ν →0 S(ν) R(ν) ν = 0 and the same holds for T(ν) R(ν). This implies that the Fréchet derivative of the operator P + Q +(S + T) · R at f is given by and from this expression is clear that is a continuous operator. Moreover, observe that the second derivative is constant. More precisely, the second derivative of P + Q +(S + T) · R at f ∈ W s,γ (M ) is the linear, continuous map for any ν ∈ W s,γ (M ) and all f ∈ W s,γ (M ). Thus the second derivative is constant and given by for any f ∈ W s,γ (M ). We conclude that P ω C n is smooth. Now, the operator P Im Ω is given as a sum of products P 1 (F 1 ) P 2 (F 2 ) · · · · · P n (F n ) where P i ∈ Diff 1 edge (M ) and F i ∈ W s,γ (M ). Then we have that the expression P 1 (F 1 + ν) P 2 (F 2 + ν) · · · · · P n (F n + ν) − P 1 (F 1 ) P 2 (F 2 ) · · · · · P n (F n ) is a sum of products of the operators P i evaluated at F i or at ν with at least one ν in each product. Those products containing 2 or more terms with ν does not contribute to the Frechet derivative as in the first part of the proof. Hence the Fréchet derivative is computed only with products having one term with ν which produce continuous linear operators of the form P i1 (F i1 ) P i2 (F i2 ) · · · · · P in−1 (F in−1 ) P in . Furthermore, it is easily seen that the nth derivative of each of the products P 1 (F 1 ) P 2 (F 2 ) · · · · · P n (F n ) is constant and equal to (i1,...,in)∈Sn P i1 P i2 · · · · · P in where the sum is taken over the group of permutations with n elements. From this it follows that P Im Ω is smooth.
Observe that any element α ∈ W s−1,γ−1 (M, . Hence we can consider the operator P Im Ω as an operator acting between the following spaces:

The linear operator DP[0]
In this section we consider the operator DP[0], the linearisation at zero of the deformation operator P = P ω C n ⊕ P Im Ω . A careful analysis of this operator is necessary as we want apply the Implicit Function Theorem for Banach spaces to this linear operator in order to describe solutions (nearby zero) of the nonlinear equation P(f ) = 0 in term of Ker DP[0]. McLean's results in [McL98] implies that the linearisation of the deformation operator at zero acting on C ∞ 0 (M, T * ∧ M ) is given by the Hodge-deRham operator i.e.

DP[0]
In this section we analyse the extension of this operator to edge-Sobolev spaces, its ellipticity and the Fredholm property.
Observe that on a collar neighborhood any Ξ ∈ C ∞ k T * ∧ M can be written as where: i) Θ X is a smooth section of the bundle π * R + ×E ( k−1 T * X ); ii) Θ E is a smooth section of the bundle π * R + ×X ( k−1 T * E); iii) Λ i X ,E is the wedge product of a smooth section of the pull-back bundle π * R + ×E ( i T * X ) with a smooth section of the pull-back bundle π * R + ×X ( k−1−i T * E); iv)Λ j X ,E is the wedge product of a smooth section of the pull-back bundle π * R + ×E ( j T * X ) with a smooth section of the bundle π * R + ×X ( k−j T * E); v)Θ X is a smooth section of the bundle π * R + ×E ( k T * X ); vi)Θ E is a smooth section of the bundle π * R + ×X ( k T * E).
Recall that π R + ×X and π R + ×E are the corresponding projections More generally, the bundle • T * ∧ M can be decomposed in the following way: With respect to this splitting we can compute an explicit expression for d + d * acting on C ∞ 0 (M, • T * ∧ M ) to prove the following proposition. = d + d * extends to a continuous linear operator acting between edge-Sobolev spaces Proof. By using the splitting (5.1) and arranging in a vector the components of the differential form Ξ ∈ C ∞ 0 (M, k T * ∧ M ) in the following way a direct computation shows that the Hodge-deRham operator acting on Ξ is given by where the operator matrices are given by Observe that each of the elements in these matrices is an element of the algebra Proof. By arranging the components of Ξ ∈ C ∞ 0 (M, k T * ∧ M ) in the same way as in the previous proposition, a direct computation shows that the Hodge-Laplacian acting on k-forms is given by where the operator matrices are given by Again each of the operators in the matrices is an element of the algebra Diff 2 edge (M, • T * ∧ M ), hence the result follows.

Symbolic structure of edge-degenerate differential operators
In this section we collect the basic facts about the symbolic structure of edgedegenerate differential operators the we use in the following sections. The reader is referred to [Sch98] chapters 2 and 3 for a full presentation. Let's consider a cone-degenerate differential operator (see (3.2)) As an element in Diff(M ) it has its classical principal homogeneous symbol given by with smooth coefficients a i,α (r, x) up to r = 0. In order to reflect the singular behavior on the symbolic structure two additional symbols are introduced. First we have the homogeneous boundary symbol Now consider an edge-degenerate differential operator (see (3.4) above) In the same way as the cone-degenerate case it has a classical homogeneous principal symbol and a homogeneous boundary symbol satisfying the relation σ l b (P)(r, x, u, ρ, ξ, η) = r l σ l (P)(r, x, r −1 ρ, ξ, r −1 η).
In the edge setting we have the edge symbol σ l ∧ (P) that is defined as an operatorvalued function acting on spaces one level below in the singular hierarchy, in this case those operators act on the cone-Sobolev spaces K s,γ (X ∧ ) as conedegenerate operators. More precisely we have given by This is a family of cone-degenerate operators parametrized by the cotangent bundle of the edge E.

Ellipticity on manifolds with conical and edge singularities
In this subsection we present the definition and principal implications of ellipticity for cone and edge-degenerate differential operators. We use these results to study the regularity of our moduli spaces in section 7. Further details can be found in [Sch98] chapter 2 and 3. Definition 5.4. If γ ∈ R such that the Mellin symbol is invertible along Γ dim X +1 2 −γ we say that γ is an admissible weight. Now we have some important implications of being elliptic.
Theorem 5.5. Let P be a cone-degenerate operator of order l. is Fredholm for every s ∈ R.
ii) (Parametrix) If P is elliptic then there exists a parametrix of order −l with asymptotics.
iii) (Elliptic regularity) If P is elliptic with respect to γ and P f = g with g ∈ H s−l,γ−l O (M ) and f ∈ H −∞,γ (M ) for some s ∈ R and some asymptotic type O associated with γ − l then f ∈ H s,γ Q (M ) with an asymptotic type Q associated with γ.
Remark 5.6. Let's consider a cone-degenerate operator P and f ∈ H s,γ (M ) such that P f = 0. The parametrix with asymptotics implies that (P P −I) . Therefore solutions of cone-degenerate differential equations are smooth on the regular part of M and have conormal asymptotics expansions near the vertex of the cone.
In order to introduce the notion of ellipticity in the edge singular setting we need to make some assumptions. Assume that there exist vector bundles J + and J − over E and operator families parametrized by T * E \ {0} acting as follows is a family of continuous operators for every (u, η) ∈ T * E \ {0}. The existence of the vector bundles J ± and operators acting between the fibers and cone-Sobolev spaces will be discussed in section 5.3. Here we only mention that there is a topological obstruction (see theorem 5.12) that must be satisfied in order to guarantee the existence of J ± and the operators.
Definition 5.7. An edge-degenerate differential operator P ∈ Diff l edge (M ) of order l for which (5.2) exists, is called elliptic with respect to the weight γ if i) σ l b (P) = 0 on T * M \ {0} ii) the operator matrix (5.2) defines an invertible operator for some s ∈ R and each (u, η) ∈ T * E \ {0}.
Theorem 5.8. Let P be an edge-degenerate operator of order l.
i) (Fredholm property) P is elliptic with respect to the weight γ if and only if the operator acting on the spaces is Fredholm for every s ∈ R.
ii) (Parametrix) If P is elliptic then there exists a parametrix of order −l with asymptotics for A P .
iii) (Elliptic regularity) If P is elliptic with respect to γ and A P f = g with for some s ∈ R and some asymptotic type O associated with γ − l then with an asymptotic type Q associated with γ.
Remark 5.9. Analogously to remark 5.6 we have that solutions to the edgedegenerate equation A P f = 0 belong to W ∞,γ O (M ), hence they are smooth and have conormal asymptotics near the edge E.

The symbolic structure of DP[0]
Recall from section 5.1 that the symbolic structure of the edge-degenerate operator DP[0] is given by the pair is a family of continuous linear operators acting on cone-Sobolev spaces and parametrized by the cosphere bundle over E: The ellipticity of the operator DP[0] shall require the invertibility of its symbolic structure. From proposition 5.1 and 5.2 we obtain the first part of the desired result.
Proof. To prove this result we shall use the symbolic structure of the Hodge-Laplace operator From [Sch98] theorem 3.4.56 we have the natural expected symbolic relation . Now, from the matrices representing ∆ g M in proposition 5.2 we have that the elements in B ′ and C ′ are operators of order 1 hence they do not intervene in the computation of σ 2 b (∆ gM ). Hence let's focus on the operators in A ′ and D ′ .
Observe that for any α ∈ and in the same way is a diagonal matrix with entries given by Hence is an isomorphism for every non-zero (r, σ, u,ρ, ξ,η) ∈ T * M up to r = 0. By (5.4) we have that has the same property.
In order to obtain information about the invertibility of the edge symbol σ 1 ∧ (DP[0]) we will use proposition 5.10 together with theorem 2.4.18 and theorem 3.5.1 in [Sch98]. These theorems state the existence of admissible weights γ ∈ R such that σ 1 ∧ (DP[0]) is a Fredholm operator on the corresponding cone-Sobolev spaces of any order. We adapt those theorems to our setting in the following result. Its proof follows immediately from theorem 2.4.18 and theorem 3.5.1 in [Sch98].
Theorem 5.11. The condition that is an isomorphism for every non-zero (r, σ, u,ρ, ξ,η) ∈ T * ∧ M up to r = 0, implies that there exists a countable set Λ ⊂ C, where Λ ∩ K is finite for every K ⊂⊂ C, such that is an isomorphism (invertible, linear, continuous operator) for every z ∈ C \ Λ and all s ∈ R. This implies that there is a countable subset D ⊂ R given by is a family of Fredholm operators for each γ ∈ R \ D and (u, η) ∈ S * E with η = 0.
Theorem 5.11 tell us that for an admissible weight γ, the wedge symbol σ 1 ∧ (DP[0])(u, η) defines a Fredholm operator for each (u, η) ∈ S * E. However, if we require the ellipticity of DP[0] we need to have a family of invertible operators. In some cases this can be achieved by adding boundary and coboundary operators that defines an elliptic edge boundary value problem. This can be done in the following way. For each (u, η) ∈ S * E we have that σ 1 ∧ (DP[0])(u, η) is a Fredholm operator, then Ker is a finite dimensional subspace. Let N (u, η) = dim Ker σ 1 ∧ (DP[0])(u, η) and choose an isomorphism is a surjective operator. Now, because the set of surjective operators is an open set and the space S * E is compact, there exists N + ∈ N and c ∈ L C N + , K s−1,γ−1 (X ∧ , (5.6) is Fredholm and surjective for each (y, η) ∈ S * E (see [Sch98]  Now consider the trivial bundle of dimension N + over S * E, here we denote it simply as C N + . The formal difference of these vector bundles defines an element in the K-theory of S * E This element in the K-group represents a topological obstruction to the existence of an elliptic edge boundary value problem for the operator DP[0]. More precisely we have the following theorem. For its proof and more details about the obstruction of ellipticity in the edge calculus see [NSSS06] section 6.2.
Theorem 5.12. A necessary and sufficient condition for the existence of an elliptic edge problem for DP[0] is given by where π S * E : S * E −→ E is the natural projection and π * S * E K(E) is the subgroup of K(S * E) generated by vector bundles lifted from E by means of π S * E . Now, assume for the moment that the condition in theorem 5.12 is satisfied. Then the bundle defined by Ker σ 1 ∧ (DP[0]) c (y, η) is stably equivalent to a vector bundle J − lifted from E. Then, by adding zeros to c if needed, we can assume that the vector bundle given by Ker σ 1 ∧ (DP[0]) c (y, η) is isomorphic to J − . By extending this isomorphism by zero on the orthogonal complement of Ker σ 1 ∧ (DP[0]) c (y, η) we obtain a map is an invertible, linear operator for every η = 0.
Then, the operator acting on the spaces is an elliptic edge operator ( see definition 5.7) for all s ∈ R and γ the admissible weight chosen at the beginning.
In order to prove the claim that condition (5.7) is satisfied we have the following theorem which is contained in [NSSS06] theorem 6.30.
Theorem 5.13. If the Atiyah-Bott obstruction vanishes for an edge-degenerate operator A on the stretched manifold M, then there exists an elliptic edge problem for A.
In our case DP[0] is the Hodge-deRham operator, the vanishing of the Atiyah-Bott obstruction for this operator was proved by Atiyah-Patodi-Singer in [APS75], hence the topological condition (5.7) is satisfied.

Conormal asymptotics
In this subsection we recall the basic facts of conormal asymptotics. For a complete presentation see [Sch98] and Re p j → −∞ when j → ∞.
Definition 6.1. Let O = {(p j , m j )} j∈N be an asymptotic type for the weight γ ∈ R. The cone-Sobolev space with conormal asymptotics O, denoted by K s,γ O (X ∧ ), is defined as the set of all f ∈ K s,γ (X ∧ ) such that for every l ∈ N there is N (l) ∈ N such that f (r, σ, y) − ω(r) The space K s,γ O (X ∧ ) has the structure of a Fréchet space given as an inductive limit of spaces with asymptotics of finite type [ES97] sec. 8.1.1 for details. By using this inductive limit structure we define the edge-Sobolev space with conormal asymptotics O as the inductive limit of Fréchet spaces In with c j,k (σ) ∈ C ∞ (X ) and v j,k (y) ∈ H ∞ (E), see [Sch98] proposition 3.1.33.

Conormal asymptotic embeddings
Given a special Lagrangian submanifold of C n with edge singularity, (M, Φ) (see 3.1), in this section we define the moduli space of special Lagrangian deformations of (M, Φ). Broadly speaking, we want to have in the moduli space all nearby special Lagrangian submanifolds with edge singularity. This rough idea has two aspects that must be considered for the moduli space. First, as the manifold M is non-compact, the important aspect to consider when defining the concept of nearby submanifold is the behavior on the collar neighborhood (0, ε) × X × E. Here we shall define the concept of nearby submanifold by means of its asymptotic behavior with respect to the conormal variable r and weight γ. Second, the property of being special Lagrangian is completely determined by the equations (2.5). As we mentioned in remark 5.6 and 5.9 in section 5.2, solutions of the linearised deformation equation have conormal asymptotics (section 6.1). This asymptotic behavior is transferred to the induced metric of the deformed submanifold making the induced metric asymptotic to the original edge metric g M in a very special way that reflects the fact it comes from the solution of an edge-degenerate PDE on a singular space. All of these considerations are formalized in the following definition.
Definition 6.2. Given an embedding Υ : M −→ C n we say that Υ is conormal asymptotic to (M, Φ) with rate γ if : i) For every multi-index α we have ii) Υ * g C n = r 2 g X +dr 2 +g E +β where β is a symmetric 2-tensor on Υ(M ) = M Υ such that their components β ij have conormal asymptotic expansions on the collar neighborhood (0, ε)×X ×E with respect to some asymptotic type associated to γ.
Because we want to describe a small neighborhood of (M, Φ) in the moduli space by means of the Implicit Function Theorem 4.2 applied to a neighborhood of zero in edge-Sobolev spaces, we want to make sure that smooth elements in edge-Sobolev spaces with small norm will produce submanifolds. In order to show this, we will define a neighborhood of deformations i.e. we will define a small neighborhood of M in C n such that small deformations will be inside this neighborhood. Because of the geometric singularities of the manifold M and the behavior of the elements in edge-Sobolev spaces, this neighborhood will be constructed as an edge neighborhood to guarantee that small submanifolds induced by edge-degenerate forms will fit inside it. Proof. First let's define the conical open neighborhood V ⊂ N ((0, ε) × X ) ⊂ T R n x . The tubular neighborhood theorem 4.1 applied to X as a compact submanifold in R n gives us an open neighborhood of the zero section in N (X ). Take l 0 > 0 to be the maximum l such that the uniform neighborhood {X ∈ N (X ) : |X| g R n < l} is inside the tubular neighborhood. By applying the R +action defined on the cone X ∧ to this uniform neighborhood we can obtain the desired open conical neighborhood V of the zero section in the normal bundle N ((0, ε) × X ) ⊂ T R n x . Now, for any section V of the normal bundle N (X ) lying in V we have V(r, σ, u) g C n < C 1 · r for all (r, σ, u) ∈ (0, ε) × X × E, where the constant C 1 is independent of V. The constant C 1 can be taken to be the maximum l > 0 chosen above. Now choose a uniform tubular neighborhood of the zero section in the normal bundle N (E) given by {Y ∈ N (E) : |Y | g R n < ϑ} for some ϑ > 0. Clearly this is possible because E is compact. If necessary we can choose a smaller ε such that ϑ > C 1 ε. Define W as this uniform neighborhood of the zero section W = {Y ∈ N (E) : |Y | g R n < ϑ}. Then V × W is our open edge neighborhood of the zero section in N (0, ε) × X × E .
Analogously, C1 C ′ > Ξ s,γ implies that A(r, σ, u)θ i +B i (r, σ, u) ≤ C 1 r for any γ > m+3 2 . Then it follows from our chose of ϑ that Observe that the manifold M \ (0, ε) × ∂M is compact hence we can extend our edge neighborhood V × W to this compact space to get a open neighborhood of the zero section in N (M ) such that near the edge this neighborhood corresponds to the edge open neighborhood constructed above. We denote this neighborhood as A. Moreover this proposition implies that any smooth form Ξ ∈ W s,γ (M, T * ∧ M ) as above with Ξ s,γ < ϑ produces a smooth embedded submanifold inside the neighborhood of deformations A. This submanifold is defined by the embedding exp g C n (V Ξ ) • Φ.

Regularity of Deformations
Let's consider an elliptic edge problem (see section 5.3) for the operator DP[0] acting on edge-Sobolev spaces with admissible weigh γ > m+1 2 , Then, by augmenting the deformation operator P = P ω C n ⊕ P Im Ω with the trace operator T : W s,γ (M, , we obtain a non-linear boundary value problem for P: whose linearisation at zero is given by In this section we consider some properties of solutions of the equation where Ξ ∈ W s,γ (M, T * ∧ M ). We are mainly interested in those solutions given by the Implicit Function Theorem for Banach spaces (when applicable) i.e. we assume that Ξ = Ξ 1 + Ξ 2 where Ξ 1 is solution of the linear boundary value problem and Ξ 2 belongs to the Banach space complement in W s,γ (M, T * ∧ M ) defined by a splitting (not unique) induced by the finite dimensional space Ker A DP[0] . First we have some straightforward observations. The ellipticity of the operator A DP[0] (theorem 5.13) and the fact that  Hence exp g C n (V Ξ ) • Φ : M −→ C n is a special Lagrangian submanifold. Harvey and Lawson pointed out in [HL82] theorem 2.7 that C 2 special Lagrangian submanifolds in C n are real analytic, in particular they are smooth. Therefore, by choosing s large enough, (7.4) implies that Ξ ∈ C ∞ (M, T * ∧ M ) which, together with (7.3), allow us to conclude that Ξ 2 is smooth.
Even though Ξ 1 + Ξ 2 is solution of the non-linear edge boundary value problem (7.1) we cannot conclude immediately that Ξ has a conormal asymptotic expansion near the singular set E. The edge calculus tell us that solutions of the linearised equation (7.2), here denoted by Ξ 1 , have such asymptotics. It turns out that it is possible to prove that Ξ 2 also has a conormal expansion i.e. the whole solution of the non-linear edge boundary value problem has conormal expansion. In order to prove this we follow and adapt to our very specific setting in the next two propositions the general argument in [CMR15] theorem 5.1. The author thanks Frédéric Rochon for pointing out and explaining his work.
Observe that implies that T (Ξ 2 ) = 0 because T (Ξ 1 ) = 0 due to the fact that Ξ 1 is solution of the linearised equation (7.2). By writing the non-linear equation as P ω C N ⊕ P Im Ω = DP[0] + Q (see proposition 4.7 and (4.11)) where Q is a nonlinear operator locally defined by the sum of products of 2 or more operators in Diff 1 edge (M ) acting on Ξ 1 or Ξ 2 we have In order to avoid cumbersome notation to keep track of the specific asymptotic types, we say that an element belongs to W s,γ As (M, T * ∧ M ) if it belongs to the edge-Sobolev space with some asymptotic type associated to γ.
Assume that γ is an admissible weight for DP[0] and there exists β > 0 such that Q(Ξ 2 ) ∈ W ∞,γ+β (M, • T * ∧ M ) and γ +β +1 is an admissible weight. Then Because Coker A DP[0],γ+β+1 is finite dimensional and C ∞ 0 (M, • T * ∧ M ) is a dense subset of the edge-Sobolev spaces we have Observe that this implies . Hence by elliptic regularity (theorem 5.8) , then by (7.6) Observe that as A DP therefore, by the mapping properties of Green operators (see [Sch98], theorem 3.4.3) we have By elliptic regularity we conclude and Ξ 2 = E 1 + E 2 as claimed.
Proof. Equation (7.7) can be written as (see (7.5)). The right hand side of (7.8) consists of products where at least one of the operators in each of these products is acting on Ξ 1 , let's say Q 1 (Ξ 1 ). Now, the term Q 1 (Ξ 1 ) has asymptotics (associated to γ − 1) and the other elements Q i k (Ξ • ) in the products satisfy the estimate (A.10) near the edge. Hence by [Sch98] theorem 2.3.13, multiplication by elements in C ∞ 0 (M) induces a continuous operator on Sobolev spaces with asymptotics (with possibly different asymptotic type but associated to the same weight). Therefore we conclude that the right hand side in (7.8) belongs to W ∞,γ−1 As (M, T * ∧ M ). Now, the fact that γ > m+5 2 together with (B.40) implies that Q(Ξ 2 ) ∈ W ∞,γ+β (M, T * ∧ M ) for some β > 0. If necessary we can choose β small enough such that γ + β + 1 is an admissible weight for DP[0]. Then, proposition 7.1 implies As (M, T * ∧ M ). Define S 1 := Ξ 2 − E 2 = E 1 and observe that (7.8) and a similar argument as above implies Moreover, (B.40) and γ > m+5 2 imply that Q(S 1 ) belongs to the edge space W ∞,γ+β+1+β ′ (M, T * ∧ M ) for some β ′ > 0. Then by following the same argument as in proposition 7.1 we have with E 3 ∈ W ∞,γ+β+β ′ +2 (M, T * ∧ M ) and E 4 = W ∞,γ As (M, T * ∧ M ). Hence we have found an element E 2 + E 4 ∈ W ∞,γ As (M, T * ∧ M ) such that We continue this recursion argument by setting Therefore by means of this iterative process we conclude that for every l > 0 there exists E ∈ W ∞,γ As (M, T * ∧ M ) such that Ξ 2 − E ∈ W ∞,γ+l (M, T * ∧ M ). Therefore Ξ 2 ∈ W ∞,γ As (M, T * ∧ M ).

The Moduli space
In this section we define the moduli space we are interested in and prove the main result of this paper. Let (M, Φ) be a special Lagrangian submanifold with edge singularity i.e. M is a manifold with edge singularity (section 3.1) and Φ : M −→ C n is an edge special Lagrangian embedding (see definition 4.4).
Definition 8.1. Given an admissible weight γ > m+5 2 , we define the moduli space of conormal asymptotic special Lagrangian deformations of (M, Φ) with rate γ and elliptic boundary trace condition T as the space of smooth embeddings Υ : M −→ C n , isotopic to Φ and conormal asymptotic to (M, Φ) with rate γ, such that they satisfy the boundary condition T (Υ) = 0 where T is a trace pseudo-differential operator: such that T belongs to a set of boundary conditions for an elliptic edge boundary value problem for the operator DP[0] on the edge-Sobolev space W s,γ (M, T * ∧ M ). We denote this moduli space as M(M, Φ, T , γ).
Given a special Lagrangian submanifold with edge singularity (M, Φ), the moduli space of conormal asymptotic special Lagrangian deformations depends on the parameters γ and T . The role of the weight γ is explained in the definition of conormal asymptotic embedding (see definition 6.2). The existence of a trace operator T and its role in the elliptic theory of edge degenerate equations was discussed in section 5.3. Here we want to include further details about T . The edge symbol defining T was defined in (5.8) as a family of continuous linear maps t(u, η) : K s,γ (X ∧ ) −→ J − (u,η) continuously parametrized by T * E \ {0}. Note that as J − is a finite rank vector bundle, the operators t(u, η) are finite rank operators (in particular compact operators). The trace operator T was locally defined by Now recall from section 5.3 that the fibers of the vector bundle J − consist mainly of isomorphic images of finite dimensional kernels of Fredholm operators acting on the extension of cone-Sobolev spaces defined by (5.6). The operatorvalued symbols t(u, η) correspond to the projection of the cone-Sobolev space K s,γ (X ∧ ) onto the finite dimensional kernel of (5.6). By considering a local trivialization of J − over an open subset Ω ⊂ E and using the fact that t(u, η) are projections, it is possible to prove the following proposition.
Proposition 8.2. Locally on Ω ⊂ E, the trace operator T in (8.1) acts on each of the components of the stretched cotangent bundle T * ∧ M as an integral operator with kernel in C ∞ (Ω × X ∧ × Ω) ⊗ C N − . This proposition and its proof is contained in the more general result presented in [Sch98] proposition 3.4.6. The reader is referred to that book for details.
Given a operator-valued trace symbol t(u, η), the trace operator T is unique module negligible operators from the point of view of ellipticity and smoothness. See [NSSS06] section 6.1 for details. Proof. As γ is an admissible weight we have that is a Fredholm operator. Thus the cokernel is a finite dimensional space and it can be identified with a finite dimensional subspace in the codomain of A DP[0] (denoted as Coker A DP[0] ) such that it splits the codomain in the following way Consider the following extensionP of the deformation operator to this spacê P : where we are using the notation A P for the operator P C T B . Hence for some closed subspace N .
By the Implicit Function Theorem 4.2 there exists This give us a description of the elements in the null set of the non-linear operatorP in a neighborhood of zero in terms of elements in Ker DP [0] . In order to pass to solutions of the deformation operator P in terms of Ker DP[0] we have the following.
Hence the term G 2 a b (that belongs to Coker A DP[0] ) represents an obstruction to lifting the infinitesimal solution a b to an authentic solution of the non-linear operator A P . Therefore if all obstructions vanish i.e. if is the zero map we have and the set A −1 . Consequently, if the obstructions vanish, small solutions of the non-linear boundary value problem (7.1) are given by Thus we can conclude that when G 2 is the zero map the moduli space is a smooth manifold of finite dimension less or equal to the dimension of the kernel of the linear boundary value problem .

Conclusions and final remarks
In this paper we have put the problem of deforming special Lagrangain submanifolds with edge singularities into the framework of the edge calculus developed by B.-W. Schulze. Our main theorem, theorem 8.3 in section 8, says that when the map (8.3) is the zero map, the moduli space M(M, Φ, T , γ) is a smooth manifold of finite dimension. For every small solution Ξ 1 of the linearised boundary value problem A DP[0] , the map G 2 gives us an obstruction to lift the linearised solution to a solution of the non-linear deformation operator with boundary condition. When the obstruction space U ′′ 2 vanishes it follows immediately that there are no obstructions, as the map G 2 is trivially the zero map, and the moduli space is smooth and finite dimensional.
A careful analysis of the obstruction space is needed to determine under which conditions it vanishes. In [Joy04], Joyce analyzed the obstruction space of the moduli space of deformations of special Lagrangian submanifolds with conical singularities. He found that the obstruction space depends only on the cones that model the singularities. In the edge singular case we expect a similar result i.e. the obstruction space depends only on the geometric structures that model the singularity, namely, the cone X ∧ and the edge E.
If the obstruction space vanishes (therefore Coker A DP[0] = {0}) the moduli space is a smooth manifold of finite dimension. The next step is to determine its expected dimension. From theorem 8.3 we only know that dim M(M, Φ, T , γ) ≤ dim Ker A DP[0] = Ind A DP [0] . In order to compute the dimension we need to consider the index of edge-degenerate operators and Hodge theory in the edge singular context. In this direction we consider the material related to index theory in [NSSS06] chapter 5 quite relevant for this purpose. Moreover, some elements of Hodge theory on manifolds with edge singularities have been studied in [HM05] and [ST99]. These references might be helpful to compute the expected dimension of our moduli space M(M, Φ, T , γ).

A Vector-valued Sobolev embeddings
In section 4 and 6 we used results from this appendix. Most of the results here are based on vector-valued Sobolev embeddings. In the first section of this appendix we recall the basics of vector-valued Sobolev embeddings and derive some consequences related to cone and edge-Sobolev spaces. In the second part we prove the estimate (B.1) following a similar result of Witt and Dreher [DW02]. This estimate implies the Banach Algebra property of our edge-Sobolev spaces on M , (B.39), and the regularity of the product of elements in W s,γ (M ), (B.40). In order to simplify the notation we will denote a ≈ b and a b if a = κb or a ≤ κb respectively with a positive constant κ depending only on s and γ.
Let's consider the classical Sobolev spaces W m,p (R q ) (see [Bre11] for a detailed introduction). A classical tool in the analysis of partial differential equations on R q is the set of Sobolev embeddings, see [Bre11] section 9.3.
where r = [s − q 2 ] i.e. r is the integer part of s − q 2 . In this appendix we are interested in the vector-valued version of this theorem i.e. given a Banach space B we want a version for the B-valued Sobolev spaces W m,p (R q , B). There are many books and monographs dealing with vectorvalued spaces of all kinds like L p (R q , B), C k (R q , B) and S(R q , B), see [Trè67], [Jar81], [Ama95]. In many cases they work in the more general context where B is a Fréchet or locally convex Hausdorff space. For our specific purposes we follow closely [Kre]. Here Kreuter analyzes carefully the validity of theorem A.1 for the spaces W m,p (R q , B) where B is a Banach space.
Recall that the vector-valued space of distributions is defined as the space of continuous operators from C ∞ 0 (R q ) to B i.e. we have D ′ (R q , B) := L(C ∞ 0 (R q ), B). The vector-valued L p -spaces, L p (R q , B), are defined by means of the Bochner integral. The Bochner integral is constructed by means of B-valued step functions in a similar way to the standard Lebesgue integral. See [Abe12] appendix A.4 for details. The vector-valued C k -spaces, C k (R q , B), are defined with respect to the Fréchet derivative. The vector-valued Sobolev space is defined by where the derivatives of f are taken in the distribution sense i.e. weak derivatives.

B Banach Algebra property of edge-Sobolev spaces
In [DW02] Witt and Dreher used a variant of the edge-Sobolev spaces we use in this paper. In that paper they are interested in applications to weakly hyperbolic equations. Their spaces are defined on (0, T ) × R n . In this context they proved (proposition 4.1 in [DW02]) that their edge-Sobolev spaces have the structure of a Banach algebra. with a constant C > 0 depending only on s and γ.
Proof. By means of finite open covers and partitions of unity on X and E we need to estimate in terms of ωϕ λ φ j f and ωϕ λ φ j g as in proposition 4.7 section4.4. To avoid unnecessary long expressions we will denote them simply by f and g.
To save space in long expressions we use the notationf to denote the Fourier transformation with respect to the conormal variable η i.e.f = F u→η f. We will estimate on an open set (0, ε) × U λ × Ω j . Then the global estimate is obtained by adding these terms. Take f, g ∈ C ∞ 0 (M ). By definition of our edge-Sobolev Here we will estimate the term with α = 0. The estimates on the other terms α = 0 are similar. For each term in (B.4) we have dσdt.
To analyze the L ∞ terms recall that by hypothesis s > q 2 so we have the standard continuous Sobolev embedding H s (R q ) ֒→ L ∞ (R q ). Consequently for fixed (t, σ) we have e −( m+1 2 −γ)t g(t, σ)(η) with a constant C ′ depending only on s and γ.