Decidability via the tilting correspondence

Abstract: We prove a relative decidability result for perfectoid fields. This applies to show that the fields

m a t h b b Q_{p} (p^{1 / p^{i n f t y}})

and

m a t h b b Q_{p} (z e t a_{p^{i n f t y}})

are (existentially) decidable relative to the perfect hull of

m a t h b b F_{p} (! (t)!)

and

m a t h b b Q_{p}^{a b}

is (existentially) decidable relative to the perfect hull of

o v e r l i n e {m a t h b b F}_{p} (! (t)!)

. We also prove some unconditional decidability results in mixed characteristic via reduction to characteristic

p

.

Cites Work

This page was built for publication: Decidability via the tilting correspondence