Skip to main content
deleted 234 characters in body
Source Link
Rami
  • 2.6k
  • 18
  • 29

It is known that any morphism is flat at an open set of points. I'd like to know if there is a relative version of this fact.

Let $f: X \rightarrow Y$ and $g:Y \rightarrow S$ be morphisms of varieties, and let $h=g \circ f$ be their composition. Suppose that $h$ and $g$ are flat. Is it true that the set $\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \}$ is open?

This will follow, for example, if the following is true:

$\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \} =$ $ = \{ x \in X| f \times h \to Y \times S \text{ is flat at } x \} $

It is known that any morphism is flat at an open set of points. I'd like to know if there is a relative version of this fact.

Let $f: X \rightarrow Y$ and $g:Y \rightarrow S$ be morphisms of varieties, and let $h=g \circ f$ be their composition. Suppose that $h$ and $g$ are flat. Is it true that the set $\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \}$ is open?

This will follow, for example, if the following is true:

$\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \} =$ $ = \{ x \in X| f \times h \to Y \times S \text{ is flat at } x \} $

It is known that any morphism is flat at an open set of points. I'd like to know if there is a relative version of this fact.

Let $f: X \rightarrow Y$ and $g:Y \rightarrow S$ be morphisms of varieties, and let $h=g \circ f$ be their composition. Suppose that $h$ and $g$ are flat. Is it true that the set $\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \}$ is open?

Source Link
Rami
  • 2.6k
  • 18
  • 29

Relative generic flatness.

It is known that any morphism is flat at an open set of points. I'd like to know if there is a relative version of this fact.

Let $f: X \rightarrow Y$ and $g:Y \rightarrow S$ be morphisms of varieties, and let $h=g \circ f$ be their composition. Suppose that $h$ and $g$ are flat. Is it true that the set $\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \}$ is open?

This will follow, for example, if the following is true:

$\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \} =$ $ = \{ x \in X| f \times h \to Y \times S \text{ is flat at } x \} $