Skip to main content
Notice removed Canonical answer required by user267839
Bounty Ended with SeanC's answer chosen by user267839
added 102 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54

What I'm wondering about, cannot we by density of $\Bbb C$-valued points reduce the statements about connectedness & irreducibility of the fibres reduce to analogous statements about fibres wrt $p(\Bbb C)$? If yes, cannot we reasoning that way also deduce not only that all fibres are connected, but even irreducible?
I

I know that the latter cannot be the case, as there are concrete counterexamples with families where general irreducible fibers degenerate to reducible fibres. But this raises then the question where the in following presented "argumentation" - which if I'm not overlooking something implies even that the fibres irreducible - would concretely break down?

My point was why cannot we also argue here via Ehresmann Lemma? For proof see, eg Prop 6.2.2, Complex Geometry, Huybrechts.
If not, why? if yes, wouldn't this imply even stronger statement that all fibres are irreducible assuming fibres over $U$ are? (..see below why I think so)

What I'm wondering about, cannot we by density of $\Bbb C$-valued points reduce the statements about connectedness & irreducibility of the fibres reduce to analogous statements about fibres wrt $p(\Bbb C)$? If yes, cannot we reasoning that way also deduce not only that all fibres are connected, but even irreducible?
I know that the latter cannot be the case, as there are concrete counterexamples with families where general irreducible fibers degenerate to reducible fibres. But this raises then the question where the in following presented "argumentation" would break down?

My point was why cannot we also argue via Ehresmann Lemma? For proof see, eg Prop 6.2.2, Complex Geometry, Huybrechts.
If not, why? if yes, wouldn't this imply even stronger statement that all fibres are irreducible assuming fibres over $U$ are? (..see below why I think so)

What I'm wondering about, cannot we by density of $\Bbb C$-valued points reduce the statements about connectedness & irreducibility of the fibres reduce to analogous statements about fibres wrt $p(\Bbb C)$? If yes, cannot we reasoning that way also deduce not only that all fibres are connected, but even irreducible?

I know that the latter cannot be the case, as there are concrete counterexamples with families where general irreducible fibers degenerate to reducible fibres. But this raises then the question where the in following presented "argumentation" - which if I'm not overlooking something implies even that the fibres irreducible - would concretely break down?

My point was why cannot we also argue here via Ehresmann Lemma? For proof see, eg Prop 6.2.2, Complex Geometry, Huybrechts.
If not, why? if yes, wouldn't this imply even stronger statement that all fibres are irreducible assuming fibres over $U$ are? (..see below why I think so)

removed capitals
Source Link
YCor
  • 67.8k
  • 5
  • 205
  • 302

Zariski Connectedness Theoremconnectedness theorem: From Analyticfrom analytic & Topological Viewpointtopological viewpoint

This raises Two Questionstwo questions:

Zariski Connectedness Theorem: From Analytic & Topological Viewpoint

This raises Two Questions:

Zariski connectedness theorem: from analytic & topological viewpoint

This raises two questions:

added 9 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54

ThisClearly, this requires some clarification as Ehresmann works in differential geometric setting, and says that such map $f(\Bbb C)$ as above is locally a trivial fibration in differential geometric setting.
Attention: As these local trivializations are given not complex analytically, but differential geometrically, ie there exist open $V \subset X(\Bbb C)$ (wrt smooth topol) such that $(p(\Bbb C))^{-1}(V)$ is diffeomorphic to $(p(\Bbb C))^{-1}(x)) \times V$. Note, that this completely forgets about complex structure of the maps.

This requires some clarification as Ehresmann works in differential geometric setting, and says that such map $f(\Bbb C)$ as above is locally a trivial fibration in differential geometric setting.
Attention: As these local trivializations are given not complex analytically, but differential geometrically, ie there exist open $V \subset X(\Bbb C)$ (wrt smooth topol) such that $(p(\Bbb C))^{-1}(V)$ is diffeomorphic to $(p(\Bbb C))^{-1}(x)) \times V$. Note, that this completely forgets about complex structure of the maps.

Clearly, this requires some clarification as Ehresmann works in differential geometric setting, and says that such map $f(\Bbb C)$ as above is locally a trivial fibration in differential geometric setting.
Attention: As these local trivializations are given not complex analytically, but differential geometrically, ie there exist open $V \subset X(\Bbb C)$ (wrt smooth topol) such that $(p(\Bbb C))^{-1}(V)$ is diffeomorphic to $(p(\Bbb C))^{-1}(x)) \times V$. Note, that this completely forgets about complex structure of the maps.

added 108 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 10 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 168 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
Notice added Canonical answer required by user267839
Bounty Started worth 100 reputation by user267839
added 570 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 570 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 125 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 13 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 13 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 20 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 400 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
added 400 characters in body
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading
Source Link
user267839
  • 4.1k
  • 2
  • 17
  • 54
Loading