Colin Guillarmou

Mikko Salo

Leo Tzou

Carlos Kenig

The linearized Calderón problem on complex manifolds

come

Introduction

If (M, g) is a compact connected oriented Riemannian manifold with C ∞ boundary ∂M and if q ∈ C ∞ (M ), we consider the Dirichlet problem for the Schrödinger equation, (∆ g + q)u = 0 in M, u| ∂M = f.

Here ∆ g is the positive Laplace-Beltrami operator. Assuming that 0 is not a Dirichlet eigenvalue, one defines the Dirichlet-to-Neumann map (DN map)

Λ g,q : C ∞ (∂M ) → C ∞ (∂M ), f → ∂ ν u| ∂M .
The question studied here is the unique determination of the potential q from the knowledge of the DN map Λ g,q , provided that (M, g) is also known: Conjecture 1.1 (Calderón problem for Schrödinger equation). Let (M, g) be a compact Riemannian manifold with smooth boundary, and assume that q 1 , q 2 ∈ C ∞ (M ) so that 0 is not a Dirichlet eigenvalue of ∆ g +q j in M . Then Λ g,q 1 = Λ g,q 2 implies that q 1 = q 2 . This question is closely related to the inverse problem of Calderón [START_REF] Calderón | On an inverse boundary value problem[END_REF], which asks to determine a positive function σ ∈ L ∞ (Ω) in a bounded domain Ω ⊂ R n from the DN map Λ σ : f → σ∂ ν v| ∂Ω where v solves div(σ∇v) = 0 in Ω with v| ∂Ω = f . Here σ corresponds to the electrical conductivity of the medium Ω, and Λ σ encodes voltage and current measurements on ∂Ω. It is well known that if σ is sufficiently regular, the substitution v = σ -1/2 u reduces the Calderón problem to solving Conjecture 1.1 when M = Ω and g is the Euclidean metric.

The Calderón problem in Euclidean space has been studied intensively and there is a large literature (see [START_REF] Sylvester | A global uniqueness theorem for an inverse boundary value problem[END_REF][START_REF] Nachman | Global uniqueness for a two-dimensional inverse boundary value problem[END_REF][START_REF] Bukhgeim | Recovering a potential from Cauchy data in the twodimensional case[END_REF] and the survey [Uh14]). The Calderón problem on Riemannian manifolds, also known as the anisotropic or geometric Calderón problem, is substantially more difficult. If M is two-dimensional (i.e. a Riemann surface), Conjecture 1.1 was proved in [START_REF] Guillarmou | Calderón inverse problem for the Schrödinger operator on Riemann surfaces[END_REF][START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] based on the earlier Euclidean case [START_REF] Bukhgeim | Recovering a potential from Cauchy data in the twodimensional case[END_REF] ( [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] considers the more general partial data case, following the Euclidean result [START_REF] Imanuvilov | The Calderón problem with partial data in two dimensions[END_REF]). For dim(M ) ≥ 3, much less is known. If all structures are real-analytic there are positive results [LU01, LTU03, GS09], but for general C ∞ metrics Conjecture 1.1 is only known for a restricted class of manifolds [START_REF] Santos Ferreira | Limiting Carleman weights and anisotropic inverse problems[END_REF][START_REF] Santos Ferreira | The Calderón problem in transversally anisotropic geometries[END_REF].

One can also consider the linearized version of Conjecture 1.1. If (M, g) is fixed, this corresponds to asking whether the linearization of the map q → Λ g,q is injective. The linearized Calderón problem (linearized at q = 0) essentially reduces to the following question: Conjecture 1.2 (Linearized Calderón problem for Schrödinger equation). Let (M, g) be a compact Riemannian manifold with smooth boundary. If f ∈ C ∞ (M ) vanishes to infinite order at ∂M and satisfies

M f u 1 u 2 dV g = 0 for all u j ∈ C ∞ (M ) satisfying ∆ g u j = 0 in M , then f ≡ 0.
Here we assume that f vanishes to infinite order at ∂M since we know by boundary determination [START_REF] Santos Ferreira | Limiting Carleman weights and anisotropic inverse problems[END_REF] that Λ g,q determines q| ∂M to infinite order, and thus the linearization can be reduced to the case of smooth potentials vanishing to any order at ∂M . The methods of [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] and [START_REF] Santos Ferreira | The Calderón problem in transversally anisotropic geometries[END_REF] also yield a positive answer to Conjecture 1.2 if dim(M ) = 2 or if dim(M ) ≥ 3, (M, g) is conformally transversally anisotropic, and the geodesic X-ray transform on the transversal manifold is injective (see [START_REF] Santos Ferreira | The Calderón problem in transversally anisotropic geometries[END_REF] for more details). However, even the linearized Calderón problem remains open in general when dim(M ) ≥ 3. We refer to [D+17] for a recent result related to recovering transversal singularities, and to [START_REF] Santos Ferreira | On the linearized local Calderón problem[END_REF][START_REF] Sjöstrand | Local analytic regularity in the linearized Calderón problem[END_REF] for results on the linearized partial data problem in Euclidean space.

In this work, our objective is to extend the powerful Riemann surface methods of [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] to some class of higher dimensional complex manifolds. It turns out that the linearized problem can be solved on complex manifolds that have sufficiently many global holomorphic functions. Let us first give some related definitions on complex manifolds with boundary.

Definition. Let M be a compact complex manifold with C ∞ boundary, with dim

C (M ) = n. Define O(M ) = {f ∈ C ∞ (M ) ; f is holomorphic in M int }.
(a) M is holomorphically separable if for any x, y ∈ M with x = y, there is some f ∈ O(M ) with f (x) = f (y).

(b) M has local charts given by global holomorphic functions if for any p ∈ M there exist f 1 , . . . , f n ∈ O(M ) which form a complex coordinate system near p.

The above definitions often appear in connection with Stein manifolds. Let X be complex manifold without boundary, let dim C (X) = n, and let O(X) be the set of holomorphic functions on X. One says that X is a Stein manifold if (i) for any x, y ∈ X with x = y, there is f ∈ O(X) with f (x) = f (y); (ii) for any p ∈ X there exist f 1 , . . . , f n ∈ O(X) which form a complex coordinate system near p; and (iii) X is holomorphically convex, meaning that for any compact K ⊂ X the holomorphically convex hull

K = {p ∈ X ; |f (p)| ≤ max x∈K |f (x)| for all f ∈ O(X)} is also compact.
Examples of Stein manifolds include open Riemann surfaces, domains of holomorphy in C n , and complex submanifolds of C N that are closed in the relative topology. Conversely, any Stein manifold of complex dimension n admits a proper holomorphic embedding in C 2n+1 (hence nontrivial Stein manifolds are noncompact). See e.g. [START_REF] Forstneric | Stein manifolds and holomorphic mappings[END_REF] for these basic facts on Stein manifolds.

The next result gives a positive answer to the linearized Calderón problem on complex manifolds that satisfy (a) and (b) above.

Theorem 1.1. Let M be a compact complex manifold with C ∞ boundary. Assume that M is holomorphically separable and has local charts given by global holomorphic functions, and let g be any Kähler metric on M . If f ∈ C ∞ (M ) vanishes to infinite order at ∂M and satisfies

M f u 1 u 2 dV g = 0 for all u j ∈ C ∞ (M ) satisfying ∆ g u j = 0 in M , then f ≡ 0.
Here are examples of manifolds covered by the above theorem:

1. If X is a Stein manifold and g is a Kähler metric on X (for instance g could be the metric induced by the embedding of X in some C N ), then any compact C ∞ subdomain M of X satisfies the conditions in the theorem. 2. More generally, the condition (iii) in the definition of Stein manifolds is not required. For example, any complex submanifold of C N satisfies (i) and (ii) since the functions f and f j can be constructed from the coordinate functions z 1 , . . . , z N in C N . Hence any compact C ∞ subdomain M of some complex submanifold of C N , equipped with a Kähler metric g, satisfies the conditions in the theorem. 3. Let (X, g) be a Kähler manifold, and let U be a complex coordinate neighborhood in X. If M is a compact C ∞ subdomain of U , then (M, g) satisfies the required conditions: if f 1 , . . . , f n are complex coordinates in U , the conditions (a) and (b) hold just by using the functions f 1 , . . . , f n .

Most of the earlier progress in Conjectures 1.1 and 1.2 is based on the notion of limiting Carleman weights (LCWs), introduced in the Euclidean case in the fundamental work of Kenig, Sjöstrand and Uhlmann [START_REF] Kenig | The Calderón problem with partial data[END_REF]. The notion of LCWs placed the method of complex geometrical optics solutions, which has been used intensively since [START_REF] Sylvester | A global uniqueness theorem for an inverse boundary value problem[END_REF], in an abstract general context. LCWs have been particularly useful for partial data problems [KSU07, IUY10, GT11, KS13], see also the surveys [START_REF] Guillarmou | The Calderón inverse problem in two dimensions[END_REF][START_REF] Kenig | Recent progress in the Calderón problem with partial data[END_REF]. The study of LCWs in the geometric case was initiated in [START_REF] Santos Ferreira | Limiting Carleman weights and anisotropic inverse problems[END_REF] and applied further e.g. in [START_REF] Kenig | Inverse problems for the anisotropic Maxwell equations[END_REF][START_REF] Kenig | Reconstructions from boundary measurements on admissible manifolds[END_REF][START_REF] Santos Ferreira | Determining an unbounded potential from Cauchy data in admissible geometries[END_REF]. In [START_REF] Santos Ferreira | Limiting Carleman weights and anisotropic inverse problems[END_REF] it was also shown that the existence of an LCW (at least with nonvanishing gradient) is locally equivalent to a certain conformal symmetry that a generic manifold in dimensions ≥ 3 will not satisfy [START_REF] Liimatainen | Nowhere conformally homogeneous manifolds and limiting Carleman weights[END_REF][START_REF] Angulo-Ardoy | On the set of metrics without local limiting Carleman weights[END_REF]. This conformal symmetry has been studied further in [START_REF] Angulo-Ardoy | Obstructions to the existence of limiting Carleman weights[END_REF][START_REF] Angulo-Ardoy | Sufficient conditions for the existence of limiting Carleman weights[END_REF] in terms of the structure of the Cotton or Weyl tensors of the manifold.

One of the results in [START_REF] Angulo-Ardoy | Obstructions to the existence of limiting Carleman weights[END_REF] states that CP 2 with the Fubini-Study metric g does not admit an LCW near any point. Since (CP 2 , g) is a Kähler manifold, compact C ∞ subdomains in CP 2 provide examples of manifolds where Theorem 1.1 applies but where methods based on LCWs fail.

The proof of Theorem 1.1 extends the arguments in [START_REF] Bukhgeim | Recovering a potential from Cauchy data in the twodimensional case[END_REF] for domains in C and [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] for Riemann surfaces to the case where dim C (M ) ≥ 2. Here is an outline of the argument:

1. Since g is a Kähler metric, we have the factorization

∆ g = 2∂ * ∂ = 2∂ * ∂.
Thus holomorphic and antiholomorphic functions are harmonic. 2. We show that there is a dense subset S of M such that for any p ∈ S, there exists a Morse holomorphic function Φ in M having a critical point at p. This is based on the fact that M has local charts given by global holomorphic functions. This allows us to construct a global holomorphic function Φ 0 in M having a prescribed nondegenerate critical point, and further to find Morse functions arbitrarily close to Φ 0 using a transversality argument.

The next step is to show that if Φ is a Morse holomorphic function

with critical point at p, there is a holomorphic amplitude a such that a(p) = 1 and a vanishes at all other critical points of Φ. This follows from the fact that M is holomorphically separable. 4. Finally, for h > 0 we define

u 1 = e Φ/h a, u 2 = e -Φ/h ā.
Here u 1 is holomorphic and u 2 is antiholomorphic, hence both are harmonic, and one has

0 = M f u 1 u 2 dV = M f e 2iIm(Φ)/h |a| 2 dV.
Since Im(Φ) is a Morse function having critical point at p ∈ S, and since a(p) = 1 but a vanishes at the other critical points, letting h → 0 (after multiplying by a suitable power of h) and applying the stationary phase argument implies that f (p) = 0. Since this holds for all p in the dense set S, we obtain f ≡ 0. Our argument for treating the linearized Calderón problem relies on the fact that we can produce solutions of ∆ g u = 0 out of holomorphic or antiholomorphic functions. Dealing with the full nonlinear Calderón problem would require solutions to the Schrödinger equation (-∆ g + q)u = 0, which are typically obtained via Carleman estimates when LCWs are present. However, the manifolds that we are considering do not necessarily admit LCWs, and thus at the moment the methods in this paper are restricted to the linearized problem.

This paper is organized as follows. Section 1 is the introduction. Section 2 includes some preliminaries related to complex manifolds, and Section 3 gives the proof of Theorem 1.1.

Acknowledgements

Preliminaries

In this section we recall standard facts concerning complex and Kähler manifolds. We refer to [START_REF] Huybrechts | Complex geometry -an introduction[END_REF][START_REF] Moroianu | Lectures on Kähler geometry[END_REF] for more details.

Complex manifolds.

Definition. An n-dimensional complex manifold is a 2n-dimensional smooth (real) manifold with an open cover U α and charts ϕ α :

U α → C n such that ϕ β • ϕ -1 α is holomorphic ϕ α (U α ∩ U β ) → C n . Definition. If M is a differentiable manifold, an almost complex structure on M is a (1, 1) tensor field J such that the restriction J p : T p M → T p M satisfies J 2 p = -Id for any p in M . If M is a complex manifold, let z = (z 1 , . . . , z n ) be a holomorphic chart U α → C n ,
and write z j = x j + iy j . There is a canonical almost complex structure J on M , defined for holomorphic charts by

J ∂ ∂x j = ∂ ∂y j , J ∂ ∂y j = - ∂ ∂x j .
Conversely, if M is a differentiable manifold equipped with an almost complex structure J (so it is necessarily even dimensional and orientable), then by the Newlander-Nirenberg theorem M has the structure of a complex manifold if J satisfies an additional integrability condition.

Let M be a complex manifold. From now on we denote by T p M the complexified tangent space, and by T * p M the complexified cotangent space.

We also denote by J the C-linear extension of the almost complex structure. Locally in holomorphic coordinates,

T p M = C ∂ ∂z j , ∂ ∂ zj n j=1 , T * p M = C {dz j , dz j } n j=1 ,
where

∂ ∂z j = 1 2 ∂ ∂x j -i ∂ ∂y j , ∂ ∂ zj = 1 2 ∂ ∂x j + i ∂ ∂y j ,
and the dual basis is dz j = dx j + idy j , dz j = dx j -idy j .

Since J 2 = -Id, the eigenvalues of J acting on T p M are ±i. We define T 1,0 p M = Ker(J -i), T 0,1 p M = Ker(J + i). These are the holomorphic and antiholomorphic tangent spaces. Locally

T 1,0 p M = C ∂ ∂z j n j=1 , T 0,1 p M = C ∂ ∂ zj n j=1
.

Since J also acts on T * p M , we define T 1,0 * p M and T 0,1 * p M in the same way and have that locally

T 1,0 * p M = C {dz j } n j=1 , T 0,1 * p M = C {dz j } n j=1 .
We move on to differential forms. Because of the splitting

T * z M = T 1,0 * z M ⊕ T 0,1 * z M , the set A k (M ) = C ∞ (M ; Λ k M ) of complex valued k- forms on M splits as A k (M ) = p+q=k A p,q (M )
where

A p,q (M ) = C ∞ (M ; Λ p,q M ) with Λ p,q z M = p T 1,0 * z M ∧ q T 0,1 * z M .
Locally, any form u ∈ A p,q (M ) can be written as

u = |J|=p,|K|=q u JK dz J ∧ dz K
where dz J = dz j 1 1 ∧ . . . ∧ dz jp n for j = (j 1 , . . . , j p ) etc. Such forms are said to be of type (p, q). Clearly

d : A p,q (M ) → A p+1,q (M ) ⊕ A p,q+1 (M ).
If π p,q : A k (M ) → A p,q (M ) is the natural projection (here k = p + q), we can define the ∂ and ∂ operators as follows:

Definition. Let ∂ : A p,q (M ) → A p+1,q (M ), ∂ = π p+1,q • d, ∂ : A p,q (M ) → A p,q+1 (M ), ∂ = π p,q+1 • d.
Since d = ∂ + ∂ and d 2 = 0 on forms of type (p, q), we have (∂ + ∂) 2 = 0 on such forms and consequently

∂ 2 = ∂ 2 = 0, ∂∂ + ∂∂ = 0.
2.2. Hermitian metrics. For the inverse problem, we want to have a Laplace-Beltrami operator on M . For this one needs a Riemannian metric.

In the case of complex manifolds, it is natural to assume a compatibility condition.

Definition. Let M be a complex manifold with almost complex structure J. We say that a Riemannian metric g on M is compatible with the almost complex structure if g(Jv, Jw) = g(v, w) for all v, w.

If z ∈ M , let h z ( • , • ) = ( • , • ) z = ( • ,
• ) be the sesquilinear extension of g z to the complexified tangent space. Then

(v, v) > 0 unless v = 0, (v, w) = 0 whenever v ∈ T 1,0 M, w ∈ T 0,1 M, (v, w) = (v, w).
Conversely, if ( • , • ) z is a family on symmetric sesquilinear forms on the complex tangent spaces, satisfying the above three conditions and varying smoothly with z, then the restriction to the real tangent bundle is a compatible Riemannian metric.

We call h a Hermitian metric on M , and (M, h) a Hermitian manifold. It naturally induces a metric on the complex cotangent spaces. One obtains inner products on the exterior powers and also on the space L 2 A k (M ) of complex k-forms with L 2 coefficients,

(u, v) = M (u, v) z dV g (z).
The decomposition

A k (M ) = p+q=k A p,q (M )
is orthogonal with respect to this inner product. We extend the Hodge star operator * as a complex linear operator on complex forms. Since then (u, v) = * u ∧ * v, the orthogonality implies that * maps A p,q (M ) to A n-q,n-p (M ).

The L 2 inner product induced by the Hermitian metric allows us to define the adjoints of ∂ and ∂ as operators

∂ * : A p+1,q (M ) → A p,q (M ), ∂ * : A p,q+1 (M ) → A p,q (M ).
In terms of the Hodge star operator they may be expressed as

∂ * = - * ∂ * , ∂ * = - * ∂ * .

Kähler manifolds. If (M, h

) is a Hermitian manifold and g is the corresponding Riemannian metric, we would like to factor the Laplace-Beltrami operator ∆ = ∆ g = d * d acting on functions in terms of the ∂ and ∂ operators. The situation is particularly simple on Kähler manifolds.

Definition. A Hermitian manifold (M, h) is called Kähler if the almost complex structure J satisfies ∇J = 0.

There are several equivalent characterizations. If (M, h) is a Hermitian manifold, the fundamental form is the alternating 2-form acting on real tangent vectors by ω(v, w) = g(Jv, w).

The manifold is Kähler iff dω = 0 (and then ω is called a Kähler form).

Clearly, the metric g can be recovered from the Kähler form and vice versa.

One knows that on a Kähler manifold, near any point there is a smooth function f such that ω = i∂∂f.

Thus, the metric on a Kähler manifold locally only depends on one function.

The important fact for our purposes is the following (this is a special case of the Kähler identities when acting on 0-forms).

∂ * : A 1,0 (M ) → C ∞ (M ), ∂ * : A 0,1 (M ) → C ∞ (M ).
The following immediate consequence is the crucial point for solving the linearized Calderón problem.

Lemma 2.2. On a Kähler manifold, the real and imaginary parts of holomorphic or antiholomorphic functions are harmonic.

Remark. In the solution of the inverse problem on Riemann surfaces, one needs to construct holomorphic functions in M with prescribed zeros or Taylor series in a finite set of points. This was done in [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] by using a version of the Riemann-Roch theorem. There are well known extensions of the Riemann-Roch theorem to higher dimensional complex manifolds, such as the Riemann-Roch-Hirzebruch theorem. In this work, instead of using Riemann-Roch type results, we will construct the required holomorphic functions directly from the assumption that the manifold has local charts given by global holomorphic functions.

Linearized inverse problem

In this section we will prove Theorem 1.1. This will be done by constructing complex geometrical optics solutions to the Laplace equation, obtained from holomorphic functions given in the next proposition.

Proposition 3.1. Let M be a compact complex manifold with C ∞ boundary. Assume that M has local charts given by global holomorphic functions, and that M is holomorphically separable. Let also k ≥ 2. There is a dense subset S of M such that for any point p ∈ S and for any h > 0, there is a Proof of Theorem 1.1. Suppose that f ∈ C ∞ (M ) vanishes to infinite order at ∂M and

M f u 1 u 2 dV g = 0
for all u j ∈ C ∞ (M ) with ∆ g u j = 0 in M . Since any harmonic function in H 1 (M ) can be approximated by C ∞ harmonic functions by smoothing out its boundary data, we may assume that the above identity holds for harmonic functions in C k (M ) where k ≥ 2. We now use Proposition 3.1: for any point p in the dense subset of S and for h > 0, we choose holomorphic functions u 1 = e Φ/h a, v 2 = e -Φ/h a so that Im(Φ) is Morse with critical points {p, p 1 , . . . , p N }, a(p) = 1, and a(p 1 ) = . . . = a(p N ) = 0. Define u 2 = v2 . Since g is a Kähler metric on M , u 1 and u 2 are harmonic functions in M . We obtain that M f e 2iIm(Φ)/h |a| 2 dV g = 0 for all h > 0. Since p is a critical point of Im(Φ), since a(p) = 1 but a vanishes at all the other critical points of p, and since f vanishes to infinite order on ∂M , the stationary phase argument implies that f (p) = 0. Since this is true for all p in a dense subset of M , it follows that f ≡ 0.

The next result is the first step in constructing holomorphic functions with prescribed critical points. We will later need to perturb these functions so that their real and imaginary parts become Morse. Lemma 3.2. Let M be a compact complex manifold with C ∞ boundary. Assume that M has local charts given by global holomorphic functions. Then for any p ∈ M , there exists Φ ∈ O(M ) such that p is a nondegenerate critical point of both Re(Φ) and Im(Φ).

Before the proof, we give an elementary lemma related to critical points. Recall that if u is a C ∞ real valued function in a real manifold M , then we can define the Hessian as the 2-tensor D 2 u where D is the Levi-Civita connection. If for a given point p we have du(p) = 0, then the Hessian D 2 u(p) does not depend on the metric and if x are local coordinates near p, one has

D 2 u(p) = j,k ∂ 2 u(p) ∂x j ∂x k dx j ⊗ dx k .
Lemma 3.3. Let M be a complex manifold and let f ∈ O(M ). Write f = u + iv where u and v are real valued. If p ∈ M , one has

df (p) = 0 ⇐⇒ du(p) = 0 ⇐⇒ dv(p) = 0.
At any point p where df (p) = 0 there is a well-defined holomorphic Hessian D 2 hol f (p), which is a symmetric bilinear form on the holomorphic tangent space T 1,0 p M , such that if z are complex local coordinates near p one has

D 2 hol f (p) = j,k ∂ 2 f (p) ∂z j ∂z k dz j ⊗ dz k . The form D 2 hol f (p) is nondegenerate on T 1,0 p M iff D 2 u(p) is nondegenerate on T p M iff D 2 v(p) is nondegenerate on T p M .
Proof. The first claim is obvious. The complex Hessian of f at p is simply given by the T 1,0 * p M ⊗ T 1,0 * p M part of the tensor D 2 f (p). To prove the second claim, assume that df (p) = 0 and extend D 2 u(p) and D 2 v(p) as complex bilinear forms on CT p M . Let z be complex local coordinates near p. We claim that for a j , b j , c k , d k ∈ C,

(3.1) (D 2 u + iD 2 v)(a j ∂ z j + b j ∂ zj , c k ∂ z k + d k ∂ zk ) = ∂ 2 f ∂z j ∂z k a j c k
where everything is evaluated at p (we suppress p from the notation here and below). The formula (3.1) implies that D 2 hol f = D 2 u + iD 2 v is indeed invariantly defined. To prove the claims concerning non-degeneracy, note that D 2 hol f ( j a j ∂ z j , w) = 0 for all w ∈ T 1,0 p M implies that for all w ∈ T p M D 2 u( j

a j ∂ z j + āj ∂ zj , w ) = D 2 v( j a j ∂ z j + āj ∂ zj , w ) = 0.
Thus the non-degeneracy of D 2 u or D 2 v implies non-degeneracy of D 2 hol f . Conversely, if D 2 u( j a j ∂ z j + āj ∂ zj , w ) = 0 for all w ∈ T p M , then taking w = c k ∂ z k + ck ∂ zk and using (3.1) implies that Re( j ∂ 2 f ∂z j ∂z k a j c k ) = 0 for all c k ∈ C. Choosing real and imaginary values for c k implies that D 2 hol f ( j a j ∂ z j , w) = 0 for all w ∈ T 1,0 p M . A similar statement holds for D 2 v.

The proof of (3.1) is straightforward. If s, t ∈ {1, -1}, one has

D 2 u(∂ x j + is∂ y j , ∂ x k + it∂ y k ) = ∂ x j ∂ x k u -st∂ y j ∂ y k u + i(t∂ x j ∂ y k u + s∂ y j ∂ x k u).
Thus

D 2 u = j,k ∂ 2 u ∂ z j ∂ z k dz j ⊗dz k + ∂ 2 u ∂ z j ∂ zk dz j ⊗dz k + ∂ 2 u ∂ zj ∂ z k dz j ⊗dz k + ∂ 2 u ∂ zj ∂ zk dz j ⊗dz k .
We now invoke the fact that f is holomorphic, which implies that

∂ z j u = 1 2 ∂ z j (f + f ) = 1 2 ∂ z j f, ∂ zj u = 1 2 ∂ zj (f + f ) = 1 2 ∂ zj f ,
and consequently

D 2 u = 1 2 ( j,k ∂ z j ∂ z k f dz j ⊗ dz k + ∂ z j ∂ z k f dz j ⊗ dz k ).
Similarly

D 2 v = 1 2i ( j,k ∂ z j ∂ z k f dz j ⊗ dz k -∂ z j ∂ z k f dz j ⊗ dz k ).
This proves (3.1).

Proof of Lemma 3.2. Since M has local charts given by global holomorphic functions, we can find functions f 1 , . . . , f n ∈ O(M ) that form a complex coordinate system near p. By subtracting constants, we can assume that f 1 (p) = . . . = f n (p) = 0. The required function Φ will then be given by

Φ(z) = n l=1 f l (z) 2 .
Clearly Φ ∈ O(M ) and Φ(p) = 0. Note that the differential of Φ is given by

dΦ = 2 n l=1 f l df l .
Since f l (p) = 0 one has dΦ(p) = 0, so p is a critical point of both Re(Φ) and Im(Φ). The holomorphic Hessian of Φ in the (f 1 , . . . , f n ) coordinates is given by

D 2 hol Φ(p) = 2 n l=1 df l ⊗ df l Thus D 2 hol Φ(p)(a j ∂ f j ) = 2a l df l , showing that D 2 hol Φ(p) is nondegenerate on T 1,0
p M . Lemma 3.3 implies that p is a nondegenerate critical point both for Re(Φ) and Im(Φ). The next step is to show that we may approximate the functions in Lemma 3.2 by holomorphic functions whose real and imaginary parts are Morse. For Riemann surfaces such a result was given in [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF], based on a transversality argument from [START_REF] Uhlenbeck | Generic properties of eigenfunctions[END_REF]. We will follow the same approach.

Lemma 3.4. Let M be a compact complex manifold with C ∞ boundary. Assume that M has local charts given by global holomorphic functions. Let also k ≥ 2. There is a dense subset S of M such that for any p ∈ S, there is Φ ∈ C k (M ) ∩ O(M int ) having a critical point at p so that both Re(Φ) and Im(Φ) are Morse functions in M .

Proof. Define

H = {(Re(f ), Im(f )) ; f ∈ C k (M ) ∩ O(M int )}.
Fix some C ∞ Riemannian metric g on M and define

u C k (M ) = k j=0 ∇ j u L ∞ (M )
where ∇ is the Levi-Civita connection and L

∞ (M ) = L ∞ (M, dV g ). Equip H with the norm (u, v) = u C k (M ) + v C k (M ) ,
(l) = ϕ (l) + iψ (l) in C k (M ) ∩ O(M int
) such that ϕ (l) and ψ (l) are Morse and ϕ (l) → ϕ, ψ (l) → ψ in C k (M ). It follows that Hess g (ϕ (l) ) → Hess g (ϕ) on M . In particular, if x are Riemannian normal coordinates at p 0 , both matrices (∂ x j ∂ x k ϕ (l) ) and (∂ x j ∂ x k ϕ) are nondegenerate at p 0 for l large, and by the inverse function theorem the vector fields (∂ x j ϕ (l) ) and (∂ x j ϕ) are invertible maps in some neighborhood of p which is independent of l. It follows that there exist p (l) ∈ M int with dϕ (l) (p (l) ) = 0 and p (l) → p 0 . This proves that the set

S = {p ∈ M ; df (p) = 0 for some f ∈ C k (M ) ∩ O(M int )
with Re(f ), Im(f ) Morse} is dense in M . The result then follows.

To prove that (3.2) is dense in H, we repeat the argument in [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF] and consider the map

m : H × M → T * M, m((u, v), p) = (p, du(p)).
We also write m u,v : M → T * M, m u,v (p) = (p, du(p)). We first observe that p is a critical point of u iff m u,v (p) ∈ T * 0 M , where T * 0 M is the zero section of T * M . If p is a critical point, X ∈ T p M and if γ(t) is a smooth curve in M with γ(0) = X, we compute This means that u is Morse iff m u,v is transverse to the zero section T * 0 M in T * M (see [START_REF] Uhlenbeck | Generic properties of eigenfunctions[END_REF] for this terminology).

We next show that the set (3.4) {(u, v) ∈ H ; m u,v is transverse to T * 0 M } is residual (i.e. a countable intersection of open dense sets) in H. In fact, this follows from [Uh76, Transversality theorem 2], see also [START_REF] Guillarmou | Calderón inverse problem with partial data on Riemann surfaces[END_REF], provided that we can show that m is transverse to T * 0 M . Let (u, v) ∈ H, p ∈ M be such that p is a critical point of u (i.e. m(u, v, p) ∈ T * 0 M ), let (û, v) ∈ H and X ∈ T p M , and let γ be a smooth curve in M with γ(0) = X. We compute Thus m is transverse to T * 0 M provided that {dû(p) ; (û, v) ∈ H} spans T * p M for any p ∈ M . This last fact follows since M has local charts given by global holomorphic functions. To see this, let p ∈ M and choose f 1 , . . . , f n ∈ O(M ) which form a complex chart near p. Write f j = u j + iv j and assume that for some a j , b j ∈ R one has n j=1 a j du j (p) + b j dv j (p) = 0. Since 2u j = f j + fj and 2iv j = f j -fj , we obtain 0 = n j=1 c j df j + cj d fj where c j = a j -ib j . Since {df j , d fj } span the complex cotangent space at p, we get c j = 0 for j = 1, . . . , n. Thus a j = b j = 0, and {du j (p), dv j (p)} j=1,...,n span the real cotangent space at p. The fact that Re(-if ) = Im(f ) implies that real parts of functions in O(M ) span T * p M as well. We have now proved that the set (3.4) is residual. The observation (3.3) and Lemma 3.3 show that the set (3.2) is dense in H as required.

Finally, we invoke the assumption that M is holomorphically separable to construct the amplitude in Theorem 3.1.

Proof of Proposition 3.1. Let S be as in Lemma 3.4, let p ∈ S, and let Φ ∈ C k (M )∩O(M int ) be the function given in Lemma 3.4 so that dΦ(p) = 0 and Im(Φ) is Morse. Let {p, p 1 , . . . , p N } be the critical points of Im(Φ) in M . Since M is holomorphically separable, for each j we may find a j ∈ O(M ) such that a j (p) = 1 and a j (p j ) = 0. It is enough to choose a = a 1 • • • a N .

Lemma 2. 1 .

 1 If (M, h) is Kähler, then the Laplace-Beltrami operator on functions satisfies ∆ = 2∂ * ∂ = 2∂ * ∂. Here ∂ * and ∂ * are the formal adjoints of ∂ and ∂ in the L 2 inner product as discussed above. Thus

  holomorphic function u = e ±Φ/h a where Φ ∈ C k (M ) ∩ O(M int ) satisfies dΦ(p) = 0 and Im(Φ) is Morse in M , and a ∈ O(M ) satisfies a(p) = 1 and a(p 1 ) = . . . a(p N ) = 0 where {p, p 1 , . . . , p N } are the critical points of Im(Φ) in M . The functions Φ and a are independent of h.

(

  D p m u,v )X = d dt (γ(t), du(γ(t))) t=0 = (X, D 2 u(X)).Thus we have proved that for (u, v) ∈ H, u is Morse(3.3) ⇐⇒ Ran(D p m u,v ) + T (p,du(p)) (T * 0 M ) = T p M ⊕ T * p M when m u,v ∈ T * 0 M .

(

  D u,v,p m)(û, v, X) = d dt (γ(t), d(u + tû)(γ(t))) t=0 = (X, D 2 u(X) + dû(p)).

  . The authors would like to thank Gunther Uhlmann for helpful discussions related to this topic. C.G. is partially supported by ERC Consolidator Grant IPFLOW. M.S. was supported by the Academy of Finland (Finnish Centre of Excellence in Inverse Problems Research, grant numbers 284715 and 309963) and by the European Research Council under FP7/2007-2013 (ERC StG 307023) and Horizon 2020 (ERC CoG 770924).

  ∈ H ; u and v are Morse in M } is dense in H. If this holds, then for any point p 0 ∈ M int we may use Lemma 3.2 to find Φ = ϕ + iψ ∈ O(M ) having a nondegenerate critical point at p 0 . The density of (3.2) implies that there are Φ

		which makes H a Banach
	space.
	We claim that the set
	(3.2)	{(u, v)