sections of morphisms of complex spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T21:11:52Z http://mathoverflow.net/feeds/question/81025 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81025/sections-of-morphisms-of-complex-spaces sections of morphisms of complex spaces Dima Sustretov 2011-11-16T01:01:00Z 2011-11-16T16:19:54Z <p>A smooth morphism of schemes $f: X \to Y$ admits an étale-local section through any point $x \in X$.</p> <p>One might wonder if this fact is true in the more general context of complex spaces (i.e. things glued from analytic subsets of polydiscs much like algebraic varieties are glued from affine varieties).</p> <p>A map $f: X \to Y$ between complex spaces is flat at $x \in X$ if $\mathcal O_{X,x}$ is flat as a $\mathcal O_{Y,f(x)}$-module, where $\mathcal{O}_{X,x}$ is the ring of germs of analytic functions at $x$. Then étale is flat (at all the points of the domain) and unramified. [One can find this definition in Grauert-Peternell-Remmert <em>Several Complex Variables VII</em>, Encyclopedia of Mathematical Sciences, vol 74]</p> <p>It can't be true stated as it is though. Consider the Hopf surface: the quotient of $\mathbb{C}^2 - (0,0)$ by the action of $\mathbb Z$: $z \mapsto (1/2 z, 1/2 z)$. The map $(x,y) \mapsto (x : y)$ gives a projection $H \to \mathbb{P}^1$ with fibres elliptic curves. It can't have a meromorphic section because by composing with a projection to one of the axes one would get a meromorphic map from $\mathbb{P}^1$ to an elliptic curve,<s>and since $\mathbb{P}^1$ is étale simply connected étale base change won't help</s>. (I am not sure why taking étale base extensions won't help, but it seems to be the case)</p> <p>I am going to be naive and arbitrary now and suppose that the reason that this counterexample works is that the fibres are "complicated". What if the fibres are, say, $\mathbb{C}^n$?</p> <p>So my question is: given a smooth morphism $f: X \to Y$ of complex spaces such that all its fibres are isomorphic to $\mathbb{C}^n$, and a point $x \in X$, is it true that $f$ admits a section through $x$ defined on some <em>Zariski</em> open neighbourhood of $f(x)$, perhaps after an étale base change?</p> <p>Do you have in mind a broader natural class of morphisms for which this statemnt works?</p> <p><strong>Update</strong>: This is actually a reminiscence of <a href="http://mathoverflow.net/questions/58009/non-locally-trivial-an-bundles" rel="nofollow">this old question</a>.</p> <p>I am intrested in families of vector spaces definable in the structure of compact complex spaces (the latter are being extensively studied by <a href="http://www.math.uwaterloo.ca/~rmoosa/" rel="nofollow">Rahim Moosa</a>, see his survey "Model theory and complex geometry"). This means that I want to look at the following set of objects: definable sets $X$ and $Y$ and a definable map $p: X \to Y$, the maps $+: X \times X \to X$ and $\cdot: \mathbb{C} \times X \to X$ and a section of $p$, $0: Y \to X$ such that restriction of these maps on each fibre of $p$ define a vector space structure on it. Now a few words about what definable means.</p> <p>A definable set is a constructible subset (in the analytic Zariski topology) of a compact complex space. A meromorphic map between complex spaces $X$ and $Y$ is an analytic subset $\Gamma \subset X \times Y$ such that the projection on the first coordinate is onto and is a biholomorphic map outside some proper analytic subset of $X$. Note that this is not the same as just holomorphic map defined on an open subset of $X$ (exponent is a holomorphic map from $\mathbb{C} \supset \mathbb{P}^1$ to $\mathbb{P}^1$, but is not meromorphic, since it's graph is not an analytic subset of $\mathbb{P}^1\times \mathbb{P}^1$). A definable map is a piecewise meromorphic map, meaning that there is a cover $\cup U_i = X$ and on each $U_i$ the map coincides with a meromorphic map $\overline{U_i} \to Y$ for some compact $\overline{U_i}$ into which $U_i$ embeds.</p> <p>I want to prove that given a definable family of vector spaces $p: X \to Y$ with fibres of constant dimension there is an analytic Zariski open $U \subset X$ and a piecewise meromorphic map $X|_U \to U \times \mathbb{C}^n$. Analytic Zariski topology is like Zariski topology for algebraic varieties: analytic subsets are closed sets.</p> <p>Now to preserve sanity I will suppose for a momoent that $X$ is not constructible but just an open subset of some compact complex analytic space. </p> <p>It seems that it is necessary first to be able to take analytic Zariski local sections. The reason why I want to work with analytic Zariski topology is that I need to produce a (piecewise) meromorphic map, and seems very hard to construct one locally in the finer complex topology - by looking at a local piece you don't know if it will extend to a meromorphic map on the whole domain.</p> <p>The example with the Hopf surface shows that analytic Zariski local sections are not always possible. I still hope that they are possible in my restricted case (the fibres are something like $\mathbb{C}^n$), maybe after an étale base extension.</p> http://mathoverflow.net/questions/81025/sections-of-morphisms-of-complex-spaces/81069#81069 Answer by Angelo for sections of morphisms of complex spaces Angelo 2011-11-16T13:58:54Z 2011-11-16T13:58:54Z <p>I meant to write this as a comment, but it won't fit.</p> <p>In my opinion, you are confusing the étale analytic with the étale algebraic topology. The étale analytic topology is essentially the same the same as the classical topology. The étale topology is meant to be a substitute for the classical topology over more general fields; but it only sees the "finite" part of the topology.</p> <p>If you have a smooth morphism in the analytic category, it has local sections in the classical topology. The étale topology was introduced precisely to fix the fact that this is false for algebraic morphisms, if you interpret "local sections" as "local sections in the étale topology". In other words, it was introduced to make some version of the implicit function theorem work.</p> <p>But you are doing the following. You have a smooth morphism of analytic manifolds $f \colon X \to Y$, where $Y$ has an additional structure of an algebraic variety, and you are asking local sections $V \to X$, where $V \to Y$ is an algebraic étale map. Again, this does not make any sense to me. Perhaps if you were to include some motivation for your question you might convince me that it is meaningful.</p>