3
$\begingroup$

Let $A$ be a normal ring with quotient field $K$. Let $L/K$ be a finite separable extension. Let $E_1/K$ and $E_2/K$ be extensions of $K$ contained in $L$. Let $B_1$ (resp. $B_2$) be the normalization of $A$ in $E_1$ (resp. $E_2$) and let $C$ be the normalization of $A$ in $L$. Then $$K\subset E_i\subset L\ \mbox{and}\ A\subset B_i\subset C\ \mbox{for}\ i=1, 2.$$ Let $\mathfrak P$ be a prime ideal of $C$. Define $\mathfrak p_1:=\mathfrak P\cap B_1$, $\mathfrak p_2:=\mathfrak P\cap B_2$ and $\mathfrak p:=\mathfrak P\cap A$. Then, on the level of residue fields, we have $$k(\mathfrak p)\subset k(\mathfrak p_i)\subset k(\mathfrak P)\ \mbox{for}\ i=1, 2.$$

Assume that $B_1$ and $B_2$ are finite etale $A$-algebras.

Questions:

a) Does $L=E_1E_2$ (composite field) imply $k(\mathfrak P)=k(\mathfrak p_1) k(\mathfrak p_2)$?

b) Does $K=E_1\cap E_2$ imply $k(\mathfrak p)=k(\mathfrak p_1)\cap k(\mathfrak p_2)$?

Comments:

a) For my application it would be enough to know the answers in the special case where $E_1/K$ and $E_2/K$ are Galois extensions.

b) Somebody told me that the answer to a) would be ``no'', if we omitted the hypothesis that the algebras $B_i/A$ are etale, even in the case where $K$ is a number field.

$\endgroup$
6
$\begingroup$

a) Consider the canonical map $B_1\otimes_A B_2\to C$. It is finite ($C$ is finite over $A$) and is surjective on the generic fiber. The spectrum of the lefthand side is a disjoint union of normal schemes because of the étale hypothesis. This implies that the spectrum of $C$ is actually one of these connected components. So $\mathrm{Spec} C\to \mathrm{Spec}(B_1)\times_A \mathrm{Spec}(B_2)$ is a closed immersion. This implies easily a).

b) Counterexample: take two quadratic extensions of $\mathbb Z$ defined by $\sqrt{a}$ and $\sqrt{a+p}$ with $a$ an integer prime to $p$. They have the same residue field at $p$.

[Add] In a), Galois hypothesis is not needed. The extensions $\mathbb Z[\sqrt{p}]$ and $\mathbb Z[\sqrt{ap}]$ with $a$ not a square mod $p$, give a non-étale counterexample to a).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.