Are Lefschetz thimbles holomorphic manifolds? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-23T07:26:00Zhttp://mathoverflow.net/feeds/question/96453http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/96453/are-lefschetz-thimbles-holomorphic-manifoldsAre Lefschetz thimbles holomorphic manifolds?Luigi Scorzato2012-05-09T14:17:33Z2012-05-09T15:13:00Z
<p>I have a Lefschetz thimble defined by the stable flow of the gradient a holomorphic function
toward a critical point (as defined e.g. in Witten arXiv:1001.2933 and F.Pham "Vanishing homologies and the n variable saddlepoint method").</p>
<p>Is such thimble a holomorphic manifold? Maybe under more restrictive assumptions?</p>
http://mathoverflow.net/questions/96453/are-lefschetz-thimbles-holomorphic-manifolds/96462#96462Answer by Jonny Evans for Are Lefschetz thimbles holomorphic manifolds?Jonny Evans2012-05-09T15:13:00Z2012-05-09T15:13:00Z<p>If by holomorphic manifold you mean that it happens to be a complex manifold then the answer is surely "not always", because in the case when the total space is $\mathbf{C}^3$ and the function is $(z_1,z_2,z_3)\mapsto z_1^2+z_2^2+z_3^2$ then the thimble living over the positive real axis will be $\mathbf{R}^3$ (which is odd-dimensional).</p>
<p>If you mean "is it a complex submanifold of the ambient space?" then the answer is "no". In general (at least in the nondegenerate finite-dimensional setting which I understand, where the critical points are Morse) the thimble is a Lagrangian submanifold diffeomorphic to a disc. As such it doesn't inherit a natural complex structure from the ambient space precisely because hitting a tangent vector to the thimble with $i$ sends it to the orthogonal complement of the thimble.</p>
<p>Maybe there's something about this Witten setting which is different and which I don't understand.</p>
<p>Given the Witten citation, you might be interested in the work of <a href="http://arxiv.org/abs/1010.2353" rel="nofollow">Andriy Haydys</a>.</p>