## Isometric embedding of a Kaehler manifold as a special Lagrangian in a Calabi-Yau manifold

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hallo,

I am reading the paper "Hyperkaehler structures on the total space of holomorphic cotangent bundles" by D.Kaledin and I am asking if it is possible to embedd a real-analytic Kähler manifold, isometrically, as a special Lagrangian in a Calabi-Yau manifold. Acctualy what I am looking for is the following: Start with a compact real-analytic Kähler manifold $(M, I, \omega)$ and in a neigbourhood of the zero-section in the cotangent bundle $T^{*}M$ there should exists a holomorphic $(n,0)-$form $\Omega$ (with respect to some complex structure on this neigbourhood) and a Kaehler form $\tilde{\omega}$ such that the forms $Im(\Omega)$ and $\tilde{\omega}$ vanishes when restricted to $M$ (the zero section) and $\tilde{\omega}^{2n} = C_{n} \Omega \wedge \bar{\Omega}$ for some constant $C_{n}$ that depends only on $n$. I know that one can do this. But I don't know some references where I can find a explanation of this. Is it sufficient just to read the paper of Kaledin or do I have also to switch to other references? By using Kaledin's paper what ingredients are necessary for a proof of this embedding problem? I am a beginner in Calabi-Yau manifolds and Hyperkaeler manifolds and I would be very thankfull if someone has the answers. I hope for a lot of replys and also hope that this question is not too trivial.

Best Regards, Pavel

-

try looking at papers of Stenzel: math.osu.edu/~stenzel.3/research/publications/…  – Spiro Karigiannis Oct 20 at 12:48
or by Calabi: archive.numdam.org/ARCHIVE/ASENS/…   – Spiro Karigiannis Oct 20 at 12:49
Your question suggests that you are looking for an isometric embedding of the given Kähler manifold as a special Lagrangian in a Calabi-Yau manifold, but you don't mention this requirement in the text.  I'll just point out that the induced metric on any special Lagrangian submanifold of a Calabi-Yau manifold is necessarily real-analytic, so it follows that it is not possible, in general to isometrically embed a given Kähler manifold as a special Lagrangian in some Calabi-Yau manifold. – Robert Bryant Oct 20 at 22:19
ok, I see. lets assume that the given Kaehler manifold is also real analytic. Is it then possible? how can one explain this? what are the ingredients in showing this?  – Pavel Oct 21 at 6:01
I am not exactly sure what you mean by "explanation", but since you're asking for references, have a look at Birte Feix's thesis "Hyperkaehler metrics on cotangent bundles". There  she constructs the HK metric in a different way. See also mathoverflow.net/questions/46752/… – Peter Dalakov Oct 21 at 14:30
show 2 more comments

## 2 Answers

Disclaimer: I am not sure what kind of "explanation" you are looking for. I would guess that you are after the observation (due to Hitchin), that complex Lagrangian submanifolds become special Lagrangian after rotating the complex structure.

Observation: Let $X$ be a hyperkaehler manifold. Let $\{I,J,K\}$ be a triple of complex structures, satisfying the quaternionic identities, and let $\{\omega_I,\omega_J,\omega_K\}$ be the respective Kaehler forms. Let $M\subset (X,I,\omega_I)$ be a complex-lagrangian submanifold for the complex-symplectic form $\omega^c= \omega_J+i\omega_K$. Then $M$ is a special lagrangian submanifod of $(X,J, \omega_J,\Omega = (\omega_K+i\omega_I)^{\dim_{\mathbb{C}} M})$.

(Actually, if $\dim_{\mathbb{C}} M$ is odd you must either take $i\Omega$ as your holomorphic volume form, or use the more relaxed definition of special Lagrangian. )

Here "complex-Lagrangian" means that $M\subset (X,I)$ is a complex submanifold and $\left. \omega^c\right|_M=0$.

So given a real-analytic Kaehler manifold, you embed it as the zero-section of the cotangent bundle, take the Kaledin-Feix metric on a (formal) tubular neighbourhood, and rotate the complex structure.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

How can you show then that, after a rotation, it satisfies the Calabi-Yau equation?

-

You should not ask a new question as an answer to an existing question. You can either create a new question or post a comment. But it's not at all clear what you mean. A hyperKahler manifold is Calabi-Yau in an $S^2$ worth of ways. This is clear, because the triple $\omega_I$, $\omega_J$, and $\omega_K$ are all parallel with respect to the Calabi-Yau metric, so the $\Omega$ that Peter defines is parallel, thus the pair $(\omega_J, \Omega = (\omega_K + i \omega_I)^{\dim_{\mathbb C} M}$ is a Calabi-Yau structure. – Spiro Karigiannis Oct 23 at 18:19
Yes but does it follow then that $\omega_{J}^{n} = c_{n} \Omega \wedge \Omega$, where $c_{n}$ is a constant depending only on $n$, where $n = dim_{\mathbb{C}}M$? – Mina Oct 24 at 12:26
ok I will post it as a question :). – Mina Oct 24 at 16:46
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9081822633743286, "perplexity_flag": "head"}