MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f:M\rightarrow N$ be a surjective map from a fourmanifold $M$ to a surface $N$, with connected fibers (each fiber is connected). Assume that $f$ admits a multiple section $s:N\rightarrow M$.

Suppose now that we are given a finite group $G$ acting freely on $M$ in such a way that the fiber class and the multiple section class in $H^2(M,\mathbb{Z})$ are invariant or multiplied by $-1$. Can we conclude that the map $f$ is $G$-equivariant and descends to $f':M/G\rightarrow N/G$ as topological spaces (as $G$ action may not be free on $N$)?

A point I am confused by is that the fiber class and the section class are preserved (invariant or multiplied by -1) as classes, not as cycles.

Edit My question turns out to be non-sense in its original form above. So let me change my question. I am reading this paper by M. Gross and P.H.M. Wilson, where they study SYZ conjecture for certain CY3s. I now try to understand the proof of Theorem 2.1. where certain holomorphic map $f$ is claimed to be anti-holomorphic $C_2$-action equivariant. Here the assumption in my question is satisfied. I now understand the (anti-)holomorphicity of the map $f$ ($C_2$-action) is crucial. But it is not yet clear to me why $f$ is $C_2$-action equivariant.

share|cite|improve this question
Koopa -- what is the action of $G$ on $N$? – algori Sep 30 '12 at 22:41
@algori We don't know whether or not the $G$-action descends to $N$. Rather that's exactly what I am asking; if $G$ preserves the fiber class and the multiple section class, can one conclude that $f$ preserves the fiber and thus the $G$-action on $M$ induces that of $N$? – Koopa Oct 1 '12 at 0:24
Koopa -- what do you mean by "$f$ preserves the fiber"? – algori Oct 1 '12 at 0:55
.. if you meant to say that $G$ takes fibers to fibres, than this is certainly false, at least in this generality (at least when $G\neq\{e\}$): e.g., take a map $f:M\to N$ for which everything is fine and perturb it slightly to make sure the image of some fiber under some element of $G$ is not a fiber. – algori Oct 1 '12 at 1:03
What is a "multiple section" or "multisection" of a surjective map? (My guess is it assigns to each point in the base a subset of the fibre, but then I have several guesses for what continuity means in this context.) – Mark Grant Oct 1 '12 at 15:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.