Otdfbt

My question is related to another one I read here in Overflow. I am reading Scholze's papers about moduli spaces of $p$-divisible groups and elliptic curves, and I am very interested in the formal geometry involved there. Actually, I noticed that there is a paper by Andreatta, Iovita and Pilloni, titled Le halo spectral, which seems to deal with formal integral models of Scholze's towers.

First, if I well understand Scholze, talking about elliptic curves, there is a perfectoid space $mathcalX_infty(epsilon)$ which gives the "tilda limit" of modular curves $mathcalX_Gamma(p^n)(epsilon)$ where each $mathcalX_Gamma(p^n)(epsilon)$ describes open neighborhoods of the ordinary locus of the $Gamma_1(N)$ modular curve, where the universal elliptic curve coming from pullback is not too supersingular. Actually, the construction of this object is performed by computing the adic generic fiber of the formal scheme $mathfrakX_infty(epsilon)$ which is the real limit (in the category of formal schemes) of integral models of $mathcalX_Gamma_(p^n)(epsilon)$ where the maps in the inverse system are given by a lifting of mod $p$-Frobenius.

A very similar construction is performed in chapter $6$ of Andreatta, Iovita and Pilloni's paper, where they construct the integral anticanonical tower $mathfrakX_infty$ exactly in the same way, but working over a basis which is a suitable blowup of an integral model of Coleman's weight space. Now, I'm just wondering whether or not it is possible to interpret these "infinite" level spaces as moduli spaces of elliptic curves plus a new kind of level structure. Somewhere in Scholze's paper it is mentioned that a point of $mathcalX_infty$ over $textSpa(C,mathcalO_C)$, where $C$ is a complete algebraically closed extension of $mathbbQ_p$ corresponds to an elliptic curve over $C$ with a trivialization of its Tate module. Now, why is this true? It's not mentioned in Scholze and I cannot prove it. Moreover, does a similar description hold for different kind of points, e.g. $textSpa(R,R^+)$ with $R$ a perfectoid $mathbbQ_p$-algebra? Moreover, does the same intepretation hold for its formal integral model? And what about the Andreatta, Iovita and Pilloni's tower? Is it true that it parametrizes elliptic curves with $p$-divisible groups playing the role of the canonical subgroup? The point essentially is, does this object gives by pullback a universal elliptic curve? Which kind of level does it have a similar elliptic curve?

This is more of a comment, but since I'm not allowed to comment I'll do it here.

Firstly, this moduli interpretation is mentioned in Scholze, look at (for example) Lemma III.3.4 in his torsion paper and I haven't checked, but it probably appears before this as well. I'm not sure about other $(R,R^+)$-points.

Next, as to how it compares to Andreatta--Iovita--Pilloni. I think they use an infinite Igusa tower, which one can check is isomorphic to what in Scholze would be something like $mathcalX_Gamma_1(p^infty)$ (with some epsilons on both sides and an anticanonical condition). Hopefully someone with more knowledge of these things can answer the rest.

Wow, that's eight questions, plus more in the comments -- I don't think I can answer all of them, but I'll try to answer at least a few! :)

First of all, let's fix the setting: It seems to me that you are using three different kinds of level structures, $Gamma_0(p^n)$, $Gamma_1(p^n)$ and $Gamma(p^n)$, and some questions seem to be referring to different ones.
Also, there are various possible different meanings of $mathcal X$ and $mathfrak X$, since these mean different things in each paper respectively.

So we first have to agree on some uniform setting for your questions: Since you are interest in perfectoid moduli spaces, I suggest we follow Scholze (III.2.2 in the torsion paper) and denote by $mathfrak X$ the formal completion of the modular curve over $mathbb Z_p^mathrmcyc$ of some fixed tame level. Denote by $mathfrak X^ast$ the completion of the compactified modular curve, and by $mathcal X^ast$ the adic generic fibre. Since you are interested in moduli of elliptic curves, I suggest we now deviate from Scholze's notation and denote by $mathcal X$ the analytification of the modular curve over $mathbb Q^mathrmcyc$ (rather than the generic fibre of $mathfrak X$, which is the good reduction locus).

moduli interpretations of the spaces $mathcal X_Gamma_0(p^infty)(epsilon)_a$, $mathcal X_Gamma_1(p^infty)(epsilon)_a$ and $mathcal X_Gamma(p^infty)(epsilon)_a$

(Most of what I'm going to say in regards to this question can be found in more detail in this related article: https://nms.kcl.ac.uk/ben.heuer/PGp-adMC.pdf.)

Let's follow the torsion paper and start with level $Gamma_0(p^n)$ and the anticanonical locus $mathcal X_Gamma_0(p^n)(epsilon)_a$ of some tame level. This represents the functor which sends a (sheafy) adic space $mathrmSpa(R,R^+)$ to the set of isomorphism classes of triples $(E,alpha,D)$ where $E|R$ is an elliptic curve with some condition on the Hasse invariant which ensures that $E$ has a canonical subgroup $C=C(E)subseteq E[p]$, where $alpha$ is a tame level structure, and where $Dsubseteq E[p^n]$ is an anticanonical cyclic subgroup scheme of rank $p^n$. Here "anticanonical" means $Dcap C=0$.

Scholze now proves that there is a perfectoid space $$mathcal X_Gamma_0(p^infty)(epsilon)_asim varprojlimmathcal X_Gamma_0(p^n)(epsilon)_a.$$ Since perfectoid tilde-limits satisfy the universal property of the limit for perfectoid test objects, this space represents the functor which sends $mathrmSpa(R,R^+)$ for any perfectoid $mathbb Q_p^mathrmcyc$-algebra $R$ to the set of isomorphism classes of $(E,alpha,D_infty)$ where $D_infty = (D_nsubseteq E[p^n])_ninmathbb N$ is a collection of anticanonical cyclic subgroup schemes with $D_n+1[p^n]=D_n$ (See Corollary 3.2 of the above document). So in regards to your question of moduli of $p$-divisible groups, one could call this data an "anticanonical $p$-divisible subgroup of height 1".

Similar results hold for the perfectoid tilde-limits $mathcal X_Gamma_1(p^infty)(epsilon)_asim varprojlimmathcal X_Gamma_1(p^n)(epsilon)_a$ and $mathcal X_Gamma(p^infty)(epsilon)_asim varprojlimmathcal X_Gamma(p^n)(epsilon)_a$ by the same reasoning: The first represents the functor which sends $mathrmSpa(R,R^+)$ for any perfectoid $mathbb Q_p^mathrmcyc$-algebra $R$ to the set of isomorphism classes of $(E,alpha,beta: mathbb Z_pxrightarrowsim T_pD_infty(R))$ where $D_infty$ is an anticanonical $p$-divisible subgroup of height 1 and beta is a trivialisation of its Tate module. The second uses instead isomorphism classes of tuples $(E,alpha,gamma: mathbb Z_p^2xrightarrowsim T_pE(R))$ where the image of $gamma(1,0)$ in $E[p](R)$ generates an anticanonical subgroup.

the formal model of the anticanonical tower

As with the last question, we first need to agree on a base: The torsion paper considers an anticanonical tower over $mathbb Z_p^mathrmcyc$ (whose limit you denote by $mathfrak X_infty(epsilon)$), whereas Le halo spectral basically works over $mathbb Z_p$ (as you say, they really work relatively to some weight space, which is great because it allows them to construct integral families of modular forms. But I think in order to understand what's going on in terms of moduli, it might be easier if we specialise to a point -- the weight space doesn't change much in that respect). Let's follow Scholze and work over $mathbb Z_p^mathrmcyc$ if you don't mind, so we simply base-change the constructions of Andreatta--Iovita--Pilloni to $mathbb Z_p^mathrmcyc$ (their constructions actually require Noetherianess in several places in order to construct normalisations, but once you got the spaces, you may still simply base-change to $mathbb Z_p^mathrmcyc$. The resulting spaces agree with Scholze's $mathfrak X^ast(epsilon)$ up to a normalisation issue).

Now there are arguably two "anticanonical towers", which are isomorphic: The first one, which gives the tower its name, is the tower
$$dotstomathcal X^ast_Gamma_0(p^2)(epsilon)_atomathcal X^ast_Gamma_0(p)(epsilon)_ato mathcal X^ast(epsilon).$$
The second tower is used in the torsion paper to prove that the above tower has a perfectoid tilde limit $mathcal X^ast_Gamma_0(p^infty)(epsilon)_a$: Let's recall how this works. Let $mathfrak X^ast(epsilon)$ be like in Scholze's Definition III.2.12. As explained there, (away from the cusps) this represents the functor sending $mathrmSpf(R)$ for $p$-adically complete $mathbb Z_p^mathrmcyc$-algebras $R$ to the set of isomorphism classes $(E,alpha,eta)$ where $E|R$ is an elliptic curve, $alpha$ is a tame level and $etain omega_E^otimes(1-p)$ such that $eta mathrmHa = p^epsilon in R/p$.
Scholze constructs Frobenius lifts $F:mathfrak X^ast(p^-1epsilon)to mathfrak X^ast(epsilon)$ which on the level of moduli (away from the cusps) are given by quotienting by the canonical subgroup, i.e. sending $Emapsto E/C$.
In the limit, this gives rise to the space $mathfrak X^ast(p^-inftyepsilon)=varprojlim_F mathfrak X^ast(p^-nepsilon)$ which is integrally perfectoid. In particular, its adic generic fibre is a perfectoid space.

The relation to the anticanonical tower is that on the level of adic spaces over $mathbb Q_p^mathrmcyc$, there is a natural "Atkin-Lehner" isomorphism
$$varphi_n:mathcal X^ast(p^-nepsilon)to mathcal X^ast_Gamma_0(p^n)(epsilon)_a, quad Emapsto (E/C_n,E[p^n]/C_n)$$
where $C_nsubseteq E[p^n]$ is the rank $p^n$ canonical subgroup. Its inverse is given by sending $(E,D)mapsto E/D$.
One can now check on the level of moduli that for different $n$, these give a comparison isomorphism between the anticanonical tower and the Frobenius tower:

$requireAMScd$
beginCD
dots @>>> mathcal X^ast_Gamma_0(p^2)(epsilon)_a @>>> mathcal X^ast_Gamma_0(p)(epsilon)_a @>>> mathcal X^ast(epsilon)\
@AAA @AAvarphi_2A @AAvarphi_1A @|\
dots @>>> mathcal X^ast(p^-2epsilon) @>>> mathcal X^ast(p^-1epsilon) @>>> mathcal X^ast(epsilon)
endCD

We may thus see the tower of morphisms $F:mathfrak X^ast(p^-(n+1)epsilon)to mathfrak X^ast(p^-nepsilon)$ as a formal model of the anticanonical tower. In particular, we may see $mathfrak X^ast(p^-inftyepsilon)$ as a canonical formal model for $mathcal X^ast_Gamma_0(p^infty)(epsilon)_a$. Alternatively, I think this should imply that we can regard $mathfrak X^ast(p^-nepsilon)$ as representing (away from the cusps) tuples $(E,alpha,D_n)$ where $D_nsubseteq E[p^n]$ is a cyclic rank $p^n$ subgroup scheme which is generically anticanonical (its special fibre may well be canonical).

So what is the moduli interpretation of a $mathrmSpf(R)$-point of $mathfrak X^ast(p^-inftyepsilon)$ (away from the cusps) where $R$ is a complete $mathbb Z_p^mathrmcyc$-algebra? One answer is that, by definition, it is the data of $(E_0,E_1,E_2,dots,alpha, (eta_n)_ninmathbb N)$ where $(E_0,alpha,eta_0)$ is like before, $E_n+1/C(E_n+1)=E_n$ for all $n$, and the $eta_n$ are compatible under $F$. Alternatively, by the above tower this should be equivalent to the data of $(E,alpha, (eta_n)_ninmathbb N,D_infty)$ where $E:=E_0$ and $D_infty=(D_n)_ninmathbb N$ is a generically anticanonical $p$-divisible subgroup of $E[p^infty]$ of height 1. Here $D_n$ is defined as the kernel of the dual isogeny to $E_nto E_0$, so that $E_n=E_0/D_n$, and the $eta_nin omega_E_n^otimes(1-p)$ are as before.

the integral model for $mathcal X^ast_Gamma_1(p^infty)(epsilon)_a$ of Andreatta--Iovita--Pilloni

Now to the spaces in Le halo spectral, I'll try to elaborate on Leeeeroy_Jennnnkins' answer and answer a question raised in the comments. (If you allow another plug, most of this can be found in more detail in S 4 of https://arxiv.org/pdf/1902.03985.pdf).

Andreatta--Iovita--Pilloni go further than what you denote by "$mathfrak X_infty(epsilon)$": They also consider the Igusa schemes $mathfrak Imathfrak G_n(p^nepsilon)to mathfrak X^ast(p^-nepsilon)$ which relatively represent the choice of a trivialisation $mathbb Z/p^nmathbb Zto C_n^vee$, namely morphisms which are an isomorphism over the ordinary locus. They show that the Frobenius isogeny lifts to a "Frobenius" morphism $F:mathfrak Imathfrak G_n+1to mathfrak Imathfrak G_n$ and form the "Igusa curve at infinite level" which in order to be consistent with my notation I should probably denote by $mathfrak Imathfrak G_infty(p^-inftyepsilon)=varprojlim_Fmathfrak Imathfrak G_n(p^-nepsilon)$.

Now how does this compare to Scholze's spaces? The short exact sequence of group schemes
$$0to C_nto E[p^n]to E[p^n]/C_nto 0$$
shows that the Weil pairing canonically identifies $C_n^vee$ with $E[p^n]/C_n$. Thus the Igusa tower equivalently parametrises trivialisations $mathbb Z/p^nmathbb Zto E[p^n]/C_n$. But under the above "Atkin-Lehner" isomorphism, $E[p^n]/C_n$ is the corresponding anticanonical subgroup of $E/C_n$. This means that on the adic generic fibre, this isomorphism lifts to a canonical isomorphism

beginCD
mathfrak Imathfrak G_n(p^-nepsilon)^mathrmad_eta @>sim>>mathcal X^ast_Gamma_1(p^n)(epsilon)_a \
@AAA @AAA \
mathcal X^ast(p^-nepsilon) @>sim>> mathcal X^ast_Gamma_0(p^n)(epsilon)_a.
endCD

In particular, this means that $mathfrak Imathfrak G_n(p^-nepsilon)$ is a formal model of $mathcal X^ast_Gamma_0(p^n)(epsilon)_a$. In the limit, it follows that
$$mathfrak Imathfrak G_infty(p^-inftyepsilon)^mathrmad_eta=mathcal X^ast_Gamma_1(p^infty(epsilon)_a.$$
So this gives you a canonical formal model of $mathcal X^ast_Gamma_1(p^infty)(epsilon)_a$. Its moduli interpretation (away from the cusps) may be given in terms of tuples $(E,alpha,(eta_n)_ninmathbb N,beta:mathbb Z_pto T_pD_infty)$ where $(E,alpha,(eta_n)_ninmathbb N,D_infty)$ is like above, and beta is a morphism that becomes an isomorphism over the ordinary locus.

Finally, if you are interested in integral models for the full level modular curve $mathcal X^ast_Gamma(p^infty)$, you may want to have a look at Lurie's preprint http://www.math.harvard.edu/~lurie/papers/LevelStructures1.pdf.

universal elliptic curves

There are different universal elliptic curves over $mathfrak X^ast(p^-inftyepsilon)$, and the "right" one depends on your choice of moduli interpretation. Looking at the above comparison map of towers again, as you say, we get a different "universal elliptic curve" by pullback along any $mathfrak X^ast(p^-inftyepsilon)to mathfrak X^ast(p^-nepsilon)$. This is the universal $E_n$ in the moduli description in terms of data $(alpha,eta,E_0,E_1,E_2,dots)$. Alternatively, the moduli interpretation in terms of $(E,alpha,eta,D_infty)$ suggest to look at the pullback $mathfrak E_infty^mathrmuniv$ of the universal elliptic curve $mathfrak E^mathrmuniv$ along $mathfrak X^ast(p^-inftyepsilon)to mathfrak X^ast$.

Can we make sense of the adic generic fibre of $mathfrak E_infty^mathrmunivto mathfrak X^ast(p^-inftyepsilon)$? Yes:

The adic generic fibre of $mathfrak E_infty^mathrmuniv$ can be described as the fibre product of the relatively smooth rigid space $(mathfrak E^mathrmuniv)^mathrmad_etato mathcal X^ast(epsilon)$ with the perfectoid space $mathcal X^ast_Gamma_0(p^infty)(epsilon)to mathcal X^ast(epsilon)$. I think this should exist as a sousperfectoid (hence sheafy) adic space $mathcal E_infty^mathrmuniv$.

Is it a perfectoid space over $mathcal X^ast_Gamma_0(p^infty)(epsilon)_a$? No:

Fibre products of perfectoid spaces are perfectoid, but if you take the fibre product with any point $mathrmSpa(mathbb Q_p^mathrmcyc)to mathcal X^ast_Gamma_0(p^infty)(epsilon)$, you will get the analytification of an elliptic curve $E^anto mathrmSpa(mathbb Q_p^mathrmcyc)$ which is certainly not perfectoid. If you want something perfectoid, I think it would be reasonable to guess that $varprojlim_[p] mathcal E_infty^mathrmuniv$ is perfectoid -- this is true over the good reduction locus, but as far as I know, it's not currently known whether it's true over the whole space.

Actually, I was asking the same thing some month ago, and in fact I couldn't find any answer to this problem. The main problem seems to be the fact that, except for Andretta, Iovita and Pilloni, whose description of $mathfrakX_infty,I$ is only formal, everyone involved in perfectoid modular forms wants to work over fields (mainly perfectoid field). And in fact I cannot figure out how it is possible to provide such a description and whether or not it works also integrally. I hope someone more expert will see this question!