We show that non-flatness of a morphism φ:X→ Y of complex-analytic spaces with a locally irreducible target of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of φ to the desingularization of Y. An algebraic analogue follows: Let R be a locally (analytically) irreducible finite type ℂ-algebra and an integral domain of Krull dimension n, and let S be a regular n-dimensional algebra of finite type over R (but not necessarily a finite R-module), such that Spec S → Spec R is dominant. Then a finite type R-algebra A is R-flat if and only if $(A^{⊗i^n_R})⊗_R S$ is a torsion-free R-module.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We study the topological invariant ϕ of Kwieciński and Tworzewski, particularly beyond the case of mappings with smooth targets. We derive a lower bound for ϕ of a general mapping, which is similarly effective as the upper bound given by Kwieciński and Tworzewski. Some classes of mappings are identified for which the exact value of ϕ can be computed. Also, we prove that the variation of ϕ on the source space of a mapping with a smooth target is semicontinuous in the Zariski topology.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.