# dg.differential geometry – Two questions on some operator appeared within the proof of Calabi’s surmise Answer

Hello pricey customer to our community We will proffer you an answer to this query dg.differential geometry – Two questions on some operator appeared within the proof of Calabi’s surmise ,and the respond will breathe typical by documented data sources, We welcome you and proffer you fresh questions and solutions, Many customer are questioning in regards to the respond to this query.

## dg.differential geometry – Two questions on some operator appeared within the proof of Calabi’s surmise

I’m erudition in regards to the proof of Calabi’s surmise. The proof makes use of the continuity system to decipher the complicated Monge-Ampère equation, and within the proof, I necessity to show that the next operator is of no less than $$C^1$$ (between some Banach areas) to employ the inverse duty theorem:

$$mathcal{M}(psi) = frac{(omega + sqrt{-1} partial barrier{partial} psi)^n}{omega^n},$$
the place $$omega$$ is a set Kähler figure on a compact Kähler manifold $$M$$. My questions are the next:

1. Many authors employ some Hölder areas because the province and the goal of this operator, for instance, $$C^{3, alpha}$$ and $$C^{1, alpha}$$. Is there any intuition for such a altenative? It appears that it’s for utilizing some Schauder principle, however what if one employ Sobolev areas or some other duty areas?
2. I can ascertain (not display formally) the Fréchet by-product of this operator which is given by
$$D mathcal{M}(psi)(eta) = frac{n sqrt{-1} partial barrier{partial} eta wedge (omega + sqrt{-1} partial barrier{partial} psi)^{n-1}}{omega^n}.$$
However, I can not show the operator $$mathcal{M}$$ is of $$C^1$$ (or plane $$C^ok$$) certainly. I cerebrate that to ensure that $$mathcal{M}$$ is of $$C^1$$, it is sufficient to show that the next operators are steady:
commence{align} (alpha, beta) &mapsto alpha wedge beta psi &mapsto sqrt{-1} partial barrier{partial} psi, aim{align}
however the issue is being steady in what sense. Should I deem the $$L^2$$-spaces of differential varieties, or one other duty areas? I can not design out what I necessity to appraise for this job.

Thanks!

we’ll proffer you the answer to dg.differential geometry – Two questions on some operator appeared within the proof of Calabi’s surmise query by way of our community which brings all of the solutions from a number of dependable sources.