2

I am trying to prove a claim in curves, and the example below shall contradict it.

Is there a DVR, $(A,\mathfrak{m})$, of char $0$ such that the residue field $\mathcal{k}(A) = A/\mathfrak{m}$ is a non-perfect field?

Basically I would like to find an example of a local ring extension $A\to B$ with both $(A,\mathfrak{m}_A)$ and $(B,\mathfrak{m}_B)$ being DVRs in some characteristic such that

  • $\mathfrak{m}_AB = \mathfrak{m}_B$

  • $K(B)$ is a separable extension of $K(A)$

  • $\mathcal{k}(B)$ is NOT a separable extension of $\mathcal{k}(A)$

user26857
  • 52,094
Grobber
  • 3,248

1 Answers1

4

Asking for $\mathbb{F}_p(x)$ as the residue field immediately suggests $\mathbb{Q}(x)$ as the characteristic zero lift. The DVR you're looking for has

$$ A = \mathbb{Z}[x]_{(p)} \qquad \qquad \mathfrak{m} = p A$$

Explicitly, $A$ consists of all rational functions with integer coefficients for which $p$ does not divide the denominator.

We can verify this meets the conditions by noting:

  • $A$ is a unique factorization domain where every element is a unit times an integer power of $p$
  • The residue field is $\mathbb{Z}[x]_{(p)}/p \cong \mathbb{F}_p[x]_{(p)} \cong \mathbb{F}_p[x]_{(0)} \cong \mathbb{F}_p(x)$

Take care to note $A \neq \mathbb{Z}_{(p)}[x]$; I often see people get the notation mixed up.

  • Just to add, if you wanted a complete example of this, we could just take $\hat A = \mathbb Z_p(x)$ right? – Arkady Aug 04 '17 at 20:06
  • @Ravi: Assuming you mean rational functions whose Laurent series have $\mathbb{Z}_p$-integral coefficients, I don't think the completion of $(A,\mathfrak{m})$ works out that simply. $\sum p^n x^{n^2}$ should converge (?) in the completion, but it's not a rational function! This issue is complicated and I'm not sure what to expect is the right answer. –  Aug 04 '17 at 20:12
  • Oh you are right. Indeed, that series should converge because the difference of two partial sums $S_n-S_m$ (which are just polynomials) will have $\mathfrak m$-adic valuation $\min(m,n)$ in the original ring $A$ so it is a Cauchy sequence. – Arkady Aug 04 '17 at 20:23