
Levantamentos canônicos são variedades em característica zero que possuem levantamentos do morfismo de Frobenius. Foram definidos por Deuring nos anos 40 e generalizados por Serre e Tate nos anos 60. Nessa palestra vamos discutir diversas propriedades e aplicações dessa teoria, com ênfase em aspectos computacionais. Em particular, aplicações à teoria de códigos motivaram a definição de levantamentos mínimos, que também serão discutidos.