https://github.com/edgarcosta/crystalline_obstruction
GitHub - edgarcosta/crystalline_obstruction: Effective obstruction to lifting Tate classes from...
Effective obstruction to lifting Tate classes from positive characteristic - edgarcosta/crystalline_obstruction
githubcrystallineobstructioneffectivelifting