Canonical-map perfectoidness conjecture for Albanese towers

About 1 year old · traced to

Let X/CX/C be a smooth proper connected variety of pure dimension dd with globally generated 11-forms, and fix a point x∈X(C)x\in X(C). Let

H=∏Hℓ≤π1(x,X)ab=TZ^Alb⁡(X)H=\prod H_\ell\leq \pi_1(x,X)^{\mathrm{ab}}=T_{\widehat{\mathbb{Z}}}\operatorname{Alb}(X)

be a closed subgroup. The canonical map sends a point of XX to the dd-dimensional subspace spanned by the image of the differential of the Albanese morphism. Canonical-map perfectoidness conjecture. The restriction XH∣UX_H|_U is perfectoid, where U⊆XU\subseteq X is the preimage under the canonical map

X⟶Gr⁡d(Lie⁡Alb⁡(X))X\longrightarrow \operatorname{Gr}_d(\operatorname{Lie}\operatorname{Alb}(X))

of the open set of dd-dimensional subspaces of Lie⁡Alb⁡(X)\operatorname{Lie}\operatorname{Alb}(X) that intersect Hp⊗C(−1)H_p\otimes C(-1) trivially in TpAlb⁡(X)⊗C(−1)T_p\operatorname{Alb}(X)\otimes C(-1). Moreover, no open perfectoid subdiamond of XH⋄X_H^\diamond has non-empty intersection with the restriction of XH⋄X_H^\diamond to the complementary closed subvariety of XX. The conjecture predicts that the canonical map exactly identifies the locus on which the Albanese tower is perfectoid, while ruling out any open perfectoid locus over the complementary closed subvariety. The source gives no evidence of resolution.

References

Primary source

Rebecca Bellovin, Hanlin Cai, Sean Howe and Tongmu He, “Characterizing perfectoid covers of abelian varieties”, arXiv:2501.03974 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.