I was recently reading these notes, where it is proved (a theorem of Kaplansky-Schilling) that a field that admits two distinct valuations with respect to which it is henselian is separably closed. A henselian field is the same thing as the data of a field $K$ and a discrete valuation ring $R \subset K$ which is henselian (in the sense of satisfying Hensel's lemma, or such that every finite $R$-algebra splits). Motivated by this, here is a generalization I am curious about:
Suppose $R_1, R_2 \subset K$ are distinct henselian, integrally closed subrings of $K$ such that $K$ is the quotient field of either. Does it follow that $K$ is separably closed? (I am not assuming $R_1, R_2$ are discrete valuation rings.)
I'd like to apply a similar argument as in the notes, where the approximation theorem is applied to the inclusion from $K$ into the product of the completions. So that would be like the inclusion of $R = R_1 \cap R_2$ into the product $\hat{R_1} \times \hat{R_2}$. If this is dense, and if the quotient field of $R$ is $K$, then I believe we're done ($K$ is separably closed) as before. Namely, given a separable irreducible polynomial in $R[X]$, we approximate it by something close in the $R_1$-topology to make it still irreducible over $R_1$, and approximate in the $R_2$-topology it by something over $R_2$ that obviously has a root. The combination of irreducibility (by the first approximation) and Hensel's lemma (by the second approximation) will show that the approximated polynomial must have degree one.
Here's what I think needs to be true for the argument to work:
- $R = R_1 \cap R_2$ should be dense in $\hat{R}_1 \times \hat{R_2}$ (or just in $R_1 \times R_2$).
- The quotient field of $R$ should be $K$.
I don't know if these are automatically true, or when they are true (or if my reasoning is correct).