Skip to main content
2 of 2
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Formally etale algebras over fields of characteristic 0

I was wondering if anyone might have a non-trivial example of a formally etale algebra over a field of characteristic 0 which is not ind-etale (i.e. a union of etale extensions).

For some motivation, over fields of characteristic $p$ there are many such: just take the limit or colimit perfection of any $\mathbf{F}_p$-algebra: e.g. $\mathbf{F}_p[t^{1/p^{\infty}}].$

I have not been able to construct similar examples over $\mathbf{Q}$ say and am wondering if anyone here has come across such an example. Perhaps there are formal reasons why it is not possible?

lrg
  • 113
  • 3