Canonical-map perfectoidness conjecture for Albanese towers

Let X/CX/C be a smooth proper connected variety of pure dimension dd with globally generated 11-forms, and fix a point xX(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 XHUX_H|_U is perfectoid, where UXU\subseteq X is the preimage under the canonical map

XGrd(LieAlb(X))X\longrightarrow \operatorname{Gr}_d(\operatorname{Lie}\operatorname{Alb}(X))

of the open set of dd-dimensional subspaces of LieAlb(X)\operatorname{Lie}\operatorname{Alb}(X) that intersect HpC(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 XHX_H^\diamond has non-empty intersection with the restriction of XHX_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.

Sources & referencesView supporting material

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.