On the identification of the intersection form on the middle homology group with the flat function via period mapping (Q2266792)

\(\phi\) : \(X\to S\) sei ''geeignet'' (z. B. holomorph, über fast allen \(t\in S\) submersiv,...), sei \(n=\dim X_ t(X_ t:=\phi^{-1}(t))\). \(\tilde S\) sei die Monodromie-Überlagerung zu \(\phi\) mit zugehörigem Parallel-Transport \(H_ n(X_ t,{\mathbb{Z}})\to H_ n(X_ s,{\mathbb{Z}})\). Eine Form aus der relativen de-Rham-Cohomologie zu \(\phi\) liefert per Integration zu jedem \(s\in \tilde S\) eine Abbildung \(H_ n(X_ s,{\mathbb{Z}})\to {\mathbb{C}}.\) Man hat also eine Abbildung \(P: s\mapsto (H_ n(X_ t,{\mathbb{Z}})\to H_ n(X_ s,{\mathbb{Z}})\to {\mathbb{C}}),\quad s\mapsto H^ n(X_ t,{\mathbb{C}}).\) Ist die Poincaré-Dualität \(\sigma: H_ n(X_ t,{\mathbb{Z}})\to H^ n(X_ t,{\mathbb{Z}})\) nicht degeneriert, so hat man eine Abbildung \(\tilde S\ni s\mapsto <\sigma^{-1}\circ P(s),P(s)>\in {\mathbb{C}},\) die in der vorliegenden Note mit einer gewissen anders festgelegten Funktion identifiziert wird (unter geeignet strengen Annahmen über \(\phi\) und die Form): Eine ''schöne'' Abbildung \(\phi\), also \(s\mapsto X_ s,\) bewirkt eine ''schöne'' Abbildung \(s\mapsto H^ n(X_ s,{\mathbb{C}}).\) Die Note ist Anwendung früherer Arbeiten des Autors.