9 papers
A -adic Riemann--Hilbert correspondence over Robba rings
Zekun Chen, Ruochuan Liu, Yupeng Wang +2
We construct overconvergent period sheaves and on the -site of a liftable semi-…
On the Surjectivity of the Geometric Sen Map of Perfectoid Torsors
Tian Qiu, Jiahong Yu
We study surjectivity of the geometric Sen map for perfectoid -torsors over smooth rigid analytic spaces over , where is a compact -adic Lie group. We const…
Lift-independence problem in the -adic Simpson correspondence for curves
Xiangyu Pan, Jiahong Yu
Let be a proper smooth rigid analytic variety over a complete algebraically closed -adic field . Fix a continuation of . Faltings, in t…
On some open problems in commutative algebra resolved by Rethlas
Jiedong Jiang, Yixiao Li, Zeming Sun +3
We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reaso…
Almost Vector Bundles over Perfectoid Spaces
Yuntong Cui, Guo Li, Shuhan Jiang +1
In this paper, we define vector bundles within the framework of almost mathematics (referred to as almost vector bundles) and establish the -descent theorem together with a stru…
Rational Hodge--Tate prismatic crystals of quasi-l.c.i algebras and non-abelian -adic Hodge theory
Xiaoyu Qu, Jiahong Yu
Consider a bounded prism and a bounded quasi-l.c.i algebra over . In this paper, for any prism with a surjection such that $\widehat{\mathb…
A Conjecture of Bhatt--Lurie and weakly -nilpotent Hodge--Tate stacks
Jiahong Yu
Let be a perfect field of characteristic , and let be a smooth variety. It is known that given a Frobenius lifting of , we can identify prismatic crystals and nilpo…
Prismatic Crystals for schemes in characteristic
Jiahong Yu
Let be a crystalline prism and let be a finite type -scheme admitting a Koszul-regular closed immersion into a smooth formal -scheme . We constru…
On smooth adic spaces over and sheafified -adic Riemann--Hilbert correspondence
Jiahong Yu
Let be a completely algebraic closed non-archimedean field over and be two positive integers. Denote by the ring $\mathbb{B}_{\mathrm{dR}}^+(C)/(\ker…