Skip to main content
Post Undeleted by Ron
Post Deleted by Ron
edited tags
Link
Ron
  • 2.1k
  • 11
  • 12
deleted 6 characters in body; edited tags; edited title
Source Link
Ron
  • 2.1k
  • 11
  • 12

Flatness and tensor productintersection of fibers

Let $A$$f:X \to Y$ be a regular $\mathbb{C}$-algebraflat, proper, surjective morphism between noetherian schemes. Let $B_1, B_2$ be quotients of the polynomial ringAssume $B:=A[X_0,X_1,...,X_n]$ for some$Y$ is irreducible and smooth over $n$$\mathbb{C}$. AssumeSuppose that both $B_1$$X$ is the union of two schemes $X_1$ and $B_2$ are$X_2$ both flat over $A$ under the compositions $A \to B \to B_i$, forproper and surjective over $i=1,2$$Y$. Is there any known condition under which the tensor productscheme theoretic intersection, $B_1 \otimes_{B} B_2$$X_1.X_2$ is flat over $A$$Y$ (for example, if the generic fibers of the morphisms $X_1 \to Y$ and $X_2 \to Y$ do not intersect)?

Flatness and tensor product

Let $A$ be a regular $\mathbb{C}$-algebra. Let $B_1, B_2$ be quotients of the polynomial ring $B:=A[X_0,X_1,...,X_n]$ for some $n$. Assume that both $B_1$ and $B_2$ are flat over $A$ under the compositions $A \to B \to B_i$, for $i=1,2$. Is the tensor product $B_1 \otimes_{B} B_2$ flat over $A$?

Flatness and intersection of fibers

Let $f:X \to Y$ be a flat, proper, surjective morphism between noetherian schemes. Assume $Y$ is irreducible and smooth over $\mathbb{C}$. Suppose that $X$ is the union of two schemes $X_1$ and $X_2$ both flat, proper and surjective over $Y$. Is there any known condition under which the scheme theoretic intersection, $X_1.X_2$ is flat over $Y$ (for example, if the generic fibers of the morphisms $X_1 \to Y$ and $X_2 \to Y$ do not intersect)?

Source Link
Ron
  • 2.1k
  • 11
  • 12

Flatness and tensor product

Let $A$ be a regular $\mathbb{C}$-algebra. Let $B_1, B_2$ be quotients of the polynomial ring $B:=A[X_0,X_1,...,X_n]$ for some $n$. Assume that both $B_1$ and $B_2$ are flat over $A$ under the compositions $A \to B \to B_i$, for $i=1,2$. Is the tensor product $B_1 \otimes_{B} B_2$ flat over $A$?