From what I understand, there exists a notion of derived $\mathbb{C}$-analytic space.

Let $T_{an}$ be the pregeometry in the sense of Lurie whose underlying $\infty$-category is the category of open sets in $\mathbb{C}^n$ and whose admissible morphisms are open immersions. Then a derived $\mathbb{C}$-analytic space is a $T_{an}$-structured $\infty$-topos $(X, \mathcal{O}_X)$ satisfying some requirements (see the works of M. Porta).

Moreover, there exists a notion of symplectic structure on derived stack (for example, see the survey of D. Calaque).

My naive question is: has anybody tried to figure out whether it's possible to define compatibility relations between complex and symplectic structures in the derived setting analogous to the classical $\omega(Ju, Jv)=\omega(u, v)$, $\omega(u, Ju)>0$? In other words, has anybody tried to define derived Kähler manifolds?

  • 2
    $\begingroup$ A derived symplectic scheme (as opposed to stack) is just a smooth symplectic scheme, because the cotangent complex has to be concentrated in degree $0$. Thus a derived Kaehler manifold would just be a Kaehler manifold. $\endgroup$ – Jon Pridham Jun 11 '18 at 8:01
  • $\begingroup$ @JonPridham oh I am ignorant about those. Do you think anything differing from the classical case can be constructed for stacks? $\endgroup$ – Aknazar Kazhymurat Jun 11 '18 at 13:36

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.