Descending finite projective modules from a Novikov ring

Given surjective A-module homomorphism f \colon M_1 \twoheadrightarrow M_2, the induced map

surjective because we can lift each nonzero coefficient individually. The kernel \ker f(\!( t_1^\Gamma, \dotsc, t_n^\Gamma )\!) consists of those series whose coefficients all lie in \ker f, and hence is (\ker f)(\!( t_1^\Gamma, \dotsc, t_n^\Gamma )\!).

Given finite projective A-modules M_0 and N_0, let

be an A\dparen[t]-linear map compatible with the descent data on both sides. This means that the diagram

commutes, where both \pi_1^\ast f and \pi_2^\ast f are A\dparen[t][u]-linear. Viewing f as an element of \operatorname{Hom}_A(M_0, N_0)\dparen[t], we see that compatibility with descent data translates to

We see that \operatorname{supp}(\pi_1^\ast f) = \operatorname{supp}(f) \times \lbrace 0 \rbrace while \operatorname{supp}(\pi_2^\ast f) = \lbrace 0 \rbrace \times \operatorname{supp}(f). This immediately shows that \operatorname{supp}(f) \subseteq \lbrace 0 \rbrace and hence f \in \operatorname{Hom}_A(M_0, N_0).

The statement (4) follows from unraveling the definition of the coarsest topology; the canonical topology on N is generated by preimages of open sets U \subseteq R along R-linear maps N \to R, and its preimage in M is the preimage of U under the composition M \to N \to R, hence open. For (1), we note that the canonical topology is at least as fine as the ring topology, since \operatorname{id} \colon R \to R is linear. On the other hand, it is fine enough because every scaling r \colon R \to R for r \in R is continuous. For (3), we similarly note that the canonical topology is at least as fine as a product topology, because the projection maps M \oplus N \to M and M \oplus N \to N are continuous. It is fine enough, because any M \oplus N \to R can be written as a composition

where f \colon M \to R and g \colon N \to R are R-linear, hence continuous. Finally, for (2), we choose a splitting M \oplus M^\prime \cong R^{\oplus n} of R-modules. By (4), both the inclusion M \hookrightarrow R^{\oplus n} and the projection R^{\oplus n} \twoheadrightarrow M are continuous. The addition and scalar multiplication maps on M can be written as the composition

of continuous maps.

We first show that M is finitely generated as an A-module. We choose a finite collection of generators x_1, \dotsc, x_n \in M\dparen[t] as an A\dparen[t]-module. Since M\dparen[t] is projective, the natural map

splits and hence is open by Lemma 2.14. This implies that there exists a large enough N for which

In particular, for every m \in M, the element t^N m \in M\dbrack[t] can be written as A\dbrack[t]-linear combination of x_1, \dotsc, x_n. Therefore once we write x_i = \sum_j m_{ij} t^{d_{ij}}, the collection of m_{ij} with d_{ij} \le N generate M, and so M is finitely generated.

We now choose an A-linear surjection

It follows that

is short exact, and hence split. This implies that K\dparen[t] is finite projective over A\dparen[t]. Moreover the canonical topology of K\dparen[t] is the subspace topology induced from A\dparen[t]^{\oplus m}, again by Lemma 2.14, and hence agrees with the t-adic topology. By applying the same argument, we conclude that K is also finitely generated, and therefore M is finitely presented.

This shows that the natural map

is an isomorphism. Since A \hookrightarrow A\dparen[t] splits as a map of A-modules, it is universally injective. Then [Sta24, Theorem 08XD] applies to show that M is a finite projective A-module.

Let M_0 and N_0 be two finite projective A-modules, and let f \colon M_0 \otimes_A A\dparen[t] \to N_0 \otimes_A A\dparen[t] be an A\dparen[t]-linear map satisfying f \circ (\operatorname{id}_{M_0} \otimes F) = (\operatorname{id}_{N_0} \otimes F) \circ f. Regarding f as an element of

we see that f must be fixed under the automorphism \operatorname{id}_{\operatorname{Hom}_A(M_0, N_0)} \otimes F, and hence \operatorname{supp}(f) = \lambda \operatorname{supp}(f). On the other hand, the intersection [-1, 1] \cap \operatorname{supp}(f) is finite, and therefore \operatorname{supp}(f) \subseteq \lbrace 0 \rbrace. This shows that f \in \operatorname{Hom}_A(M_0, N_0).

We imitate the argument in the proof of the Dieudonné–Manin classification [Man63]. Because k\dparen[t] is a field, it suffices to prove that for every nonzero Novikov isocrystal (M, F_M), there exists a nonzero element m \in M and c \in k^\times satisfying F_M(m) = cm. Fix an arbitrary nonzero m \in M and find n \ge 1 such that m, F_M(m), \dotsc, F_M^{n-1}(m) are linearly independent over k\dparen[t] while

for a_0, \dotsc, a_{n-1} \in k\dparen[t]. Replacing m with t^r m for a real number r \in \mathbb{R} has the effect of replacing a_i with t^{r (\lambda^n - \lambda^i)}. Thus by choosing r appropriately, we may further assume that a_1, \dotsc, a_n \in k\dbrack[t] with a_i \in k\dbrack[t]^\times for some 0 \le i \le n-1.

Our goal is to find elements b_0, \dotsc, b_{n-1} \in k\dparen[t], not all zero, and a scalar c \in k^\times satisfying the equation

This amounts to the system of equations

which can be rewritten as a single equation

in terms of b = b_{n-1}.

We claim that this equation has a nonzero solution in k\dbrack[t]. For each 0 \le i \le n-1, let \bar{a}_i \in k be the constant term of a_i \in k\dbrack[t]. Since we are assuming that \bar{a}_i \neq 0 for some 1 \le i \le n-1 and that k is algebraically closed, there exists a c \in k^\times for which

Write

so that we need to find b \in k\dbrack[t] with g(b) = b. Set b^{(0)} = 1 and b^{(j+1)} = g(b^{(j)}). By construction of c, the constant term of b^{(1)} = g(b^{(0)}) is 1, and hence there exists a positive real number \epsilon > 0 for which b^{(1)} - b^{(0)} \in t^\epsilon k\dbrack[t]. On the other hand, we observe that x - y \in t^d k\dbrack[t] implies g(x) - g(y) \in t^{\lambda d} k\dbrack[t]. This shows that b^{(j+1)} - b^{(j)} \in t^{\lambda^j \epsilon} k\dbrack[t] and therefore

exists and satisfies g(b) = b.

Choose any element s \in S and write

Since S is closed and stable under F, we have

Then \sum_{i \ge 2} m_i t^{d_i} = s - m_1 t^{d_1} \in S and similarly m_2 \in S. Iterating the process shows that m_i \in S for all i, and therefore all coefficients that appear in the power series expansion of elements of S are in S. Let S_0 \subseteq M_0 be the subset of all such coefficients that appear in elements of S, so that S \subseteq S_0\dparen[t]. The above analysis shows that S_0 \subseteq S, and by writing each element of S_0\dparen[t] as a convergent sum, we moreover obtain S = S_0\dparen[t].

By assumption, there exists a finite projective B-module N_0 together with a B\dparen[t]-linear isomorphism

such that the action of F_M \otimes F on the left hand side agrees with the action of \operatorname{id}_{N_0} \otimes F on the right hand side.

Since M is flat over A\dparen[t] and A\dparen[t] \to B\dparen[t] is injective, we may use the composition

to regard M as an A\dparen[t]-submodule of N_0\dparen[t] that is stable under the action of \operatorname{id}_{N_0} \otimes F. Note that A\dparen[t] \hookrightarrow B\dparen[t] is a closed subring with the subspace topology. By writing M as a direct summand of a finite free module, we see that M is also closed in N_0\dparen[t], and moreover the canonical topology on M agrees with the subspace topology from N_0\dparen[t].

Using Lemma 3.6, we see that there exists an A-submodule M_0 \subseteq N_0 for which M = M_0\dparen[t]. On the other hand, we observe from above that the canonical topology on M agrees with the t-adic topology. It therefore follows from Lemma 2.16 that M_0 is a finite projective A-module.

Consider the canonical topology on M. We first claim that t^d M^\circ for d \in \mathbb{R} form a neighborhood basis of 0 \in M. To see this, we choose the finite set of generators of M^\circ so that

is surjective with the image of A\dbrack[t]^{\oplus n} being M^\circ. Since M is projective, it split and hence f is open by Lemma 2.14. This immediately implies that M^\circ is open, and hence t^d M^\circ are also open. On the other hand, for every open neighborhood 0 \in U in M, its preimage f^{-1}(U) \subseteq A\dparen[t]^{\oplus n} is open and hence contains some t^d A\dbrack[t]^{\oplus n}. It follows that t^d M^\circ is contained in U.

Note that there is an ideal (t^{>0}) \subseteq A\dbrack[t] generated by the elements t^\epsilon for all real numbers \epsilon > 0. The quotient ring A\dbrack[t] / (t^{>0}) is naturally identified with A. Consider the A-submodule

of M^\circ. We now show that the composition

is an isomorphism of A-modules. For m^\circ, n^\circ \in M^\circ, if m^\circ - n^\circ \in t^d M^\circ then F_M(m^\circ) - F_M(n^\circ) \in t^{\lambda d} M^\circ, because M^\circ is stable under F_M. This implies that for every m^\circ \in M^\circ, the limit

exists, because if F_M(m^\circ) - m^\circ \in t^\epsilon M^\circ then F_M^{k+1}(m^\circ) - F_M^k(m^\circ) \in t^{\lambda^k \epsilon} M^\circ. Since \tilde{m}^\circ \in M_0 and \tilde{m}^\circ - m^\circ \in (t^{>0}) M^\circ, we conclude that the composition M_0 \to M^\circ / (t^{>0}) M^\circ is surjective. Similarly, if n_0, m_0 \in M_0 satisfy n_0 - m_0 \in (t^{>0}) M^\circ, then by iteratively applying F_M we see that n_0 - m_0 \in t^d M^\circ for all d \in \mathbb{R}, and hence n_0 = m_0.

The isomorphism M_0 \cong M^\circ / (t^{>0}) M^\circ in particular implies that M_0 is finitely generated as an A-module. Choose a finite set of generators m_1, \dotsc, m_n \in M_0. Because any element in 1 + (t^{>0}) \subseteq A\dbrack[t] is invertible, Nakayama’s lemma implies that m_1, \dotsc, m_n generate M^\circ as an A\dbrack[t]-module. It follows that

is surjective. We can further promote it to a surjective map of Novikov isocrystals

We now consider the kernel

This is a closed A\dparen[t]-submodule of (A^{\oplus n})\dparen[t] that is stable under F^{\oplus n}. Lemma 3.6 implies that there exists an A-submodule K_0 \subseteq A^{\oplus n} for which K = K_0\dparen[t]. On the other hand, K has the subspace topology from A\dparen[t]^{\oplus n}, and therefore the t-adic topology on K_0\dparen[t] agrees with the canonical topology. Hence Lemma 2.16 shows that K_0 is a finite projective A-module. At this point, we have

Finally, as in the proof of Lemma 2.16, A^{\oplus n}/K_0 being finitely presented over A with (A^{\oplus n}/K_0)\dparen[t] being finite projective over A\dparen[t] implies that A^{\oplus n}/K_0 is finite projective over A, by [Sta24, Theorem 08XD].

The commutation of the left square is the cocycle condition, and the commutation of the two right squares is clear. We now verify that the first row is an equalizer. Note that because F_{M,2} \colon \pi_2^\ast M \to \pi_2^\ast M is F_2-semilinear and its restriction along \pi_2^\ast \colon M \hookrightarrow \pi_2^\ast M is F_M, we have F_{M,2} = F_M \otimes F_2. Using the definition of F_{M,2}, we see that the first row being an equalizer is equivalent to

being an equalizer. Since all maps are A\dparen[t]-linear if we use \pi_1^\ast to give \pi_1^\ast M the structure of an A\dparen[t]-module, we may use finite projectivity of M to reduce to

being an equalizer, which is now clear. The second row can similarly be seen to be an equalizer.

It suffices to show that for two descent data (M, \varphi_M), (N, \varphi_N) \in \mathsf{NovDD}((, #2) A) and an A\dparen[t]-linear map f \colon M \to N, if f \circ F_M = F_N \circ f then \pi_2^\ast f \circ \varphi_M = \varphi_N \circ \pi_1^\ast f.

We consider the two diagrams from Lemma 4.1 corresponding to (M, \varphi_M) and (N, \varphi_N). Since f \circ F_M = F_N \circ f and the right squares on the diagram only involve F_M, F_N, the universal property of equalizers produces unique maps g \colon M \to N and h \colon \pi_2^\ast M \to \pi_2^\ast N fitting in the commutative diagram

We note that g must be A\dparen[t]-linear, since all maps in the top face are A\dparen[t]-linear when we use \pi_1^\ast \colon A\dparen[t] \to A\dparen[t][u] for the A\dparen[t]-module structure. Next, from the commutativity of the top face we see that the bottom face commutes when we replace h with \pi_2^\ast g. By uniqueness of the morphisms, this implies that h = \pi_2^\ast g. On the other hand, by comparing the left face with the top face we obtain h = \pi_2^\ast f, as both h and \pi_2^\ast f are A\dparen[t][u]-linear while the image of \varphi_M \circ \pi_1^\ast generates \pi_2^\ast M. Since M, N are both finite projective and \pi_2^\ast \colon A\dparen[t] \to A\dparen[t][u], is injective, it follows from \pi_2^\ast f = \pi_2^\ast g that f = g. Unraveling the top face now gives \pi_2^\ast f \circ \varphi_M = \varphi_N \circ \pi_1^\ast f.

In view of Proposition 2.12, it suffices to show that the functor is essentially surjective. Then by Proposition 4.2, it is enough to check that the image of \mathsf{NovDD}((, #2) k) \to \mathsf{NovIsoc}(k) is contained in the essential image of \mathsf{Vect}(k) \to \mathsf{NovIsoc}(k).

Assume that (M, \varphi) \in \mathsf{NovDD}((, #2) k) induces a Novikov isocrystal (M, F_M) \in \mathsf{NovIsoc}(k). By Proposition 3.5, there exists a filtration

with the property that each associated graded M_i / M_{i-1} is isomorphic to (k\dparen[t], c_i F) for some c_i \in k^\times.

We inductively prove that each (M_i, F_M \vert_{M_i}) \in \mathsf{NovIsoc}(k) is in the essential image of \mathsf{Vect}(k) \to \mathsf{NovIsoc}(k), where the base case i = 0 is clear. Assume we have an isomorphism

Fixing a splitting of the short exact sequence 0 \to M_{i-1} \to M_i \to M_i/M_{i-1} \to 0, just as k\dparen[t]-vector spaces, we find an isomorphism M_i \cong k\dparen[t]^{\oplus i} under which F_M \vert_{M_i} corresponds to

where I_{i-1} denotes the identity matrix and C = (c_1, \dotsc, c_{i-1})^T \in k\dparen[t]^{\oplus (i-1)} is a column vector.

On the other hand, by Lemma 4.1, the map

has an i-dimensional kernel. Since the kernel when restricted to \pi_2^\ast M_{i-1} is (i-1)-dimensional, there exist x_1, \dotsc, x_i \in k\dparen[t][u] with x_i \neq 0 satisfying

Because c_i \in k^\times and x_i \neq 0, it follows from the last equation that x_i \in k\dparen[t]^\times \subseteq k\dparen[t][u] and c_i = 1. Then setting y_j = x_j / x_i, we obtain

For each y_j = \sum_{\alpha \in I_j} a_{\alpha,j} t^{d_{\alpha,j}} u^{e_{\alpha,j}}, we define

Then we have

Finally, we can write

where Z = (z_1, \dotsc, z_{i-1})^T \in k\dparen[t]^{\oplus(i-1)}. This shows that under this change of basis, we have (M_i, F_M \vert_{M_i}) \cong (k\dparen[t], F)^{\oplus i}.

By Proposition 2.12, it remains to check that the functor is essentially surjective. Let (M, \varphi) \in \mathsf{NovDD}((, #2) A) be a descent datum. By Proposition 4.3, for each i there exists a k_i-vector space M_{0,i} and an isomorphism

compatible with the descent data. Say M is generated by N elements. Then M \otimes_{A\dparen[t]} k_i\dparen[t] has dimension at most N, and hence \dim_{k_i} M_{0,i} \le N. This uniform bound implies that M_0 = \prod_{i \in I} M_{0,i} is finite projective over A. It remains to show that (M, \varphi) \cong (M_0 \otimes_A A\dparen[t], \operatorname{id}).

Taking the product of f_i, we obtain an isomorphism

Compatibility of each f_i with descent data means that

and taking the product over all i gives a commutative diagram

In particular, if we consider M as an A\dparen[t]-submodule of M_0 \otimes_A \prod_{i \in I} k_i\dparen[t] via f, the images of

agree.

For every element \alpha = (\alpha_i) \in M_0 \otimes_A \prod_{i \in I} k_i\dparen[t][u], define the support of \alpha as \operatorname{supp}(\alpha) = \bigcup_{i \in I} \operatorname{supp}(\alpha_i) \subseteq \mathbb{R}^2, where the support of \alpha_i \in M_{0,i}\dparen[t][u] is as in Definition 2.11. For \beta = (\beta_i) \in M_0 \otimes_A \prod_{i \in I} k_i\dparen[t] we similarly define \operatorname{supp}(\beta) = \bigcup_i \operatorname{supp}(\beta_i) \subseteq \mathbb{R}^2.

We now claim that for each m \in M \subseteq M_0 \otimes_A \prod_{i \in I} k_i\dparen[t], the support \operatorname{supp}(m) \subseteq \mathbb{R} is bounded below. Choose m_1, \dotsc, m_n \in M \subseteq M_0 \otimes_A \prod_{i \in I} k_i\dparen[t] a finite collection of generators as an A\dparen[t]-module. We can find elements a_{jk} \in A\dparen[t][u] for 1 \le j, k \le n satisfying

Fix a sufficiently small constant C \in \mathbb{R} satisfying the property that

For each i \in I and 1 \le j \le n, the set \operatorname{supp}(m_{j,i}) has a minimal element, and hence D_i = \min \bigcup_{j=1}^n \operatorname{supp}(m_{j,i}) exists. From (\ast) we see that

inside \mathbb{R}^2, where by + we mean the Minkowski sum. By our assumptions, the right hand side is always contained in \lbrace (x, y) : 2x + y \ge C + D_i \rbrace. On the other hand, for some 1 \le j \le n, the left hand side contains (D_i, 0). This shows that 2 D_i \ge C + D_i, and hence D_i \ge C. This shows that \operatorname{supp}(m_{j,i}) \subseteq [C, \infty) for all i, j, and taking the union over all i, we obtain \operatorname{supp}(m_j) \subseteq [C, \infty) for all 1 \le j \le n. For an arbitrary m \in M, we can now write m = \sum_{j=1}^n a_j m_j for a_j \in A\dparen[t], and since each \operatorname{supp}(a_j) is bounded below, we conclude that \operatorname{supp}(m) is bounded below as well.

Recall that the images of \pi_1^\ast M \to M_0 \otimes_A \prod_{i \in I} k_i\dparen[t][u] and \pi_2^\ast M \to M_0 \otimes_A \prod_{i \in I} k_i\dparen[t][u] agree. For each element \xi in this common image, we can write \xi = \sum_{j=1}^n a_j \pi_1^\ast m_j, where a_j \in A\dparen[t][u] and m_j \in M. Then

inside \mathbb{R}^2. Because each \operatorname{supp}(m_j) is bounded below, for every C \in \mathbb{R}, the intersection

has only finitely many y-coordinate values. For an arbitrary m \in M, applying this to \xi = \pi_2^\ast m shows that the intersection \operatorname{supp}(m) \cap (-\infty, C] is finite. That is, we have

It remains to show that this inclusion is an equality. We apply the entire argument to the dual descent datum M^\vee and the isomorphisms

Then we similarly obtain that the image of the composition

lies in M_0^\vee \otimes_A A\dparen[t]. Dualizing the resulting map induces an A\dparen[t]-linear homomorphism M_0 \otimes_A A\dparen[t] \to M whose base change to \prod_{i \in I} k_i\dparen[t] recovers f^{-1}. Hence the composition

is the identity map upon base changing to \prod_{i \in I} k_i\dparen[t]. On the other hand, both sides are finite projective and A\dparen[t] \hookrightarrow \prod_{i \in I} k_i\dparen[t] is injective, and thus the map is the identity before base change. Therefore M = M_0 \otimes_A A\dparen[t].

In view of Proposition 2.12, it suffices to show that the functor is essentially surjective. Then by Proposition 4.2, it is enough to check that the image of \mathsf{NovDD}((, #2) A) \to \mathsf{NovIsoc}(A) is contained in the essential image of \mathsf{Vect}(A) \to \mathsf{NovIsoc}(A). Consider any (M, F_M) \in \mathsf{NovIsoc}(A) induced from (M, \varphi_M) \in \mathsf{NovDD}((, #2) A). Since A is reduced, we can embed A into a product of algebraically closed fields as

where \mathfrak{p} ranges over all prime ideals of A. Base changing along this ring homomorphism induces the descent datum (M, \varphi_M) \otimes_{A\dparen[t]} B\dparen[t]. By Proposition 4.4, this is contained in the essential image of \mathsf{Vect}(B) \to \mathsf{NovDD}((, #2) B). Hence the associated isocrystal (M, F_M) \otimes_{A\dparen[t]} B\dparen[t] lies in the essential image of \mathsf{Vect}(B) \to \mathsf{NovIsoc}(B). We can now apply Proposition 3.7 to conclude that (M, F_M) is in the essential image of \mathsf{Vect}(A) \to \mathsf{NovIsoc}(A).

(1) Letting P = \operatorname{Hom}_A(M, N), we observe that P is again a finite projective A-module with \bar{f} \in P/IP. Lift \bar{f} to any element f \in P. We now check that f is indeed an isomorphism f \colon M \to N because we can work locally so that both M and N are free, and then the determinant being a unit can be checked modulo I.

(2) Note that \operatorname{Spec} A is homeomorphic to \operatorname{Spec} A/I. There exists a cover \lbrace U_i \rbrace of \operatorname{Spec} A \cong \operatorname{Spec} A/I consisting of affine opens over which \bar{M} is free. We lift \bar{M} \vert_{U_i} to M_i on each U_i separately, and use (1) to choose isomorphisms M_i \vert_{U_i \cap U_j} \cong M_j \vert_{U_i \cap U_j} lifting the identity map on \bar{M} \vert_{U_i \cap U_j}. These isomorphisms need not satisfy the cocycle condition, but the induced 2-cocycle takes values in

The second Čech cohomology group of the quasi-coherent sheaf \operatorname{Hom}_{A/I}(\bar{M}, I \otimes_{A/I} \bar{M}) with respect to \lbrace U_i \rbrace vanishes on \operatorname{Spec} A/I as each U_i is affine. Therefore the 2-cocycle is a coboundary, and hence we may modify the isomorphisms M_i \vert_{U_i \cap U_j} \cong M_j \vert_{U_i \cap U_j} so that they do satisfy the cocycle condition.

By assumption, there exists a finite projective A/I-module \bar{M}_0 together with an isomorphism

in \mathsf{NovDD}((, #2) A/I). Using Lemma 4.6, we choose a finite projective A-module M_0 with M_0/IM_0 \cong \bar{M}_0. As A\dparen[t] \twoheadrightarrow (A/I)\dparen[t] is also a square-zero thickening, we may use Lemma 4.6 again to choose an isomorphism

lifting the isomorphism M/I\dparen[t] M \cong \bar{M}_0\dparen[t] \cong M_0\dparen[t] / (IM_0)\dparen[t]. Under this isomorphism, we obtain a new cocycle

that reduces to the identity map on (M_0/IM_0)\dparen[t][u].

It now suffices to show that \psi is a coboundary, i.e., there exists an A\dparen[t]-linear automorphism \xi \colon M_0\dparen[t] \cong M_0\dparen[t] for which \psi = \pi_2^\ast \xi^{-1} \circ \pi_1^\ast \xi. We first write

Since I squares to zero, the cocycle condition on \psi translates to an additive cocycle condition

as A\dparen[t][u][v]-linear maps M_0\dparen[t][u][v] \to (IM_0)\dparen[t][u][v]. Here, we note that (IM_0)\dparen[t][u][v] = I\dparen[t][u][v] M_0\dparen[t][u][v], and this justifies that \pi_{23}^\ast \psi_+ \circ \pi_{12}^\ast \psi_+ = 0.

As M_0 is finite projective over A, there are canonical isomorphisms

by Lemma 2.8. Using this isomorphism, we identify \psi_+ as an element of \operatorname{Hom}_A(M_0, IM_0)\dparen[t][u], and similarly the additive cocycle condition as an equation valued in the group \operatorname{Hom}_A(M_0, IM_0)\dparen[t][u][v].

We now note that the cocycle condition implies

It follows \operatorname{supp}(\psi_+) is contained in (\lbrace 0 \rbrace \times \mathbb{R}) \cup (\mathbb{R} \times \lbrace 0 \rbrace). This allows us to write

The cocycle condition then can be written out as

and hence c = 0 and b_d = -a_d for all 0 \neq d \in \mathbb{R}. Setting \xi_+ = \sum_{0 \neq d \in \mathbb{R}} a_d t^d, we obtain

Regarding \xi_+ as an A\dparen[t]-linear map M_0\dparen[t] \to (IM_0)\dparen[t], we now define \xi = \operatorname{id} + \xi_+. It follows that

This finishes the proof.

By Proposition 2.12, it suffices to show that the functor is essentially surjective. Consider a Novikov descent datum (M, \varphi) \in \mathsf{NovDD}((, #2) A), and let (M, F_M) be the Novikov isocrystal attached to it. Let I \subseteq A be the nilradical so that B = A/I is reduced. By Proposition 4.5, there exists a finite projective B-module N_0 for which

as Novikov isocrystals over B.

Choose a finite set of generators n_1, \dotsc, n_k \in N_0 as B-modules. Because A\dparen[t] \to B\dparen[t] is surjective, there is also a surjection

Lift the elements n_1, \dotsc, n_k \in N_0 \subseteq N_0\dparen[t] to elements m_1, \dotsc, m_k \in M. Since elements of 1 + I\dparen[t] are invertible in A\dparen[t], the elements m_1, \dotsc, m_k generate M as a A\dparen[t]-module by Nakayama’s lemma. This implies that if we set

then M^\circ[t^{-1}] = M.

For each 1 \le i \le k, we have

That is, we have

Separating out the monomials with non-positive degree, we can further write

where I_i is finite and a_{i,j} \in I. That is, if we consider the finitely generated ideal J \subseteq I generated by a_{i,j} over all 1 \le i \le k and j \in I_i, we obtain

modulo J\dparen[t]. Defining C = A / J, so that A \twoheadrightarrow C \twoheadrightarrow B, we conclude that the Novikov isocrystal

has the property that the C\dbrack[t]-submodule of M \otimes_{A\dparen[t]} C\dparen[t] generated by the images of m_1, \dotsc, m_k satisfies the hypotheses of Proposition 3.8. This shows that the base change of (M, F_M) to C lies in the essential image of \mathsf{Vect}(C) \to \mathsf{NovIsoc}(C), and by Proposition 4.2, it also follows that the base change of (M, \varphi) to C lies in the essential image of \mathsf{Vect}(C) \to \mathsf{NovDD}((, #2) C).

On the other hand, because all elements of J are nilpotent and J is finitely generated, some finite power of J is the zero ideal. This allows us to iteratively apply Lemma 4.7 to conclude that (M, \varphi) lies in the essential image over \mathsf{Vect}(A) \to \mathsf{NovDD}((, #2) A).

By Proposition 2.12, it is enough to prove essential surjectivity. Let (M, \varphi) \in \mathsf{NovDD}((, #2) A) be a Novikov descent datum. By Proposition 4.8, there exists a finite projective A-module M_0 together with an isomorphism

in {\def\Gamma{\mathbb{R}} \mathsf{NovDD}((, #2) A) }. This in particular allows us to regard M as an A\dparen[t]-submodule of {\def\Gamma{\mathbb{R}} M_0\dparen[t] } with the property that the images of

agree.

Consider any element x in the common image. Since it can be written as a finite sum

we see that \operatorname{supp}(x) must be contained in \mathbb{R} \times \Gamma. For every element m \in M, we in particular have \operatorname{supp}(\pi_2^\ast m) \subseteq \mathbb{R} \times \Gamma, and hence \operatorname{supp}(m) \subseteq \Gamma. This shows that

and it now suffices to prove that this inclusion is an equality.

We achieve this by running the same argument for the dual descent datum. Write g \colon M \hookrightarrow M_0\dparen[t] for the inclusion above. If we consider the linear dual of f, we obtain an isomorphism

compatible with descent data. By the argument above, there exists an inclusion h \colon M^\vee \hookrightarrow M_0^\vee\dparen[t] that recovers (f^\vee)^{-1} upon base changing along A\dparen[t] \to {\def\Gamma{\mathbb{R}} A\dparen[t] }. This shows that the composition

is the identity map upon base changing along A\dparen[t] \to {\def\Gamma{\mathbb{R}} A\dparen[t] }. Because both sides are finite projective and A\dparen[t] \hookrightarrow {\def\Gamma{\mathbb{R}} A\dparen[t] } is injective, the composition g \circ h^\vee is the identity map. In particular, g is surjective, and therefore a bijection.

For the first equality, we note that we can write

As we increase the n and take the intersection of the rings, we see that we allow all possible values of \alpha > 0, and hence the ring of global sections of X \times_Y X is A\dparen[t][u]. The proof of the second equality is similar.

We use the v-cover

from above. By [SW20, Lemma 17.1.8] the category of vector bundles on \operatorname{Spd} A can be identified with the category of pairs (\mathscr{V}, \varphi), where \mathscr{V} is a vector bundle on X and \varphi is an isomorphism of vector bundles over X \times_Y X satisfying a cocycle condition over X \times_Y X \times_Y X. By [KL15, Theorem 2.7.7] and again [SW20, Lemma 17.1.8], the vector bundle \mathscr{V} corresponds to a finite projective module M over A\dparen[t].

By Lemma 5.2, the natural functor from the category of finite projective A\dparen[t][u]-modules to the category of vector bundles on X \times_Y X is fully faithful. If we denote by \pi_1, \pi_2 \colon X \times_Y X \to X the two projection maps, then the descent datum \varphi \colon \pi_1^\ast \mathscr{V} \cong \pi_2^\ast \mathscr{V} corresponds to an isomorphism of A\dparen[t][u]-modules

Finally the cocycle condition is defined on X \times_Y X \times_Y X, and hence by Lemma 5.2 can be checked after tensoring to

This shows that a vector bundle on \operatorname{Spd} A corresponds to a Novikov descent datum for A with \Gamma = \mathbb{Z}[p^{-1}]. Applying Theorem 1.1 now gives the desired result.

We note that a finite étale R-algebra is necessarily a finite projective R-module. By Corollary 5.3, we have an equivalence between the category of vector bundles on \operatorname{Spec} A with an algebra structure and the category of vector bundles on \operatorname{Spd} A with an algebra structure. It remains to check that the condition of being étale agrees on both sides.

If the finite A-algebra B is étale, it is clear that the corresponding R-algebra R \otimes_A B is also étale over R for every A \to R^+. In the other direction we note that if A\dparen[t] \to B \otimes_A A\dparen[t] is finite étale, then so is A \to B by [Sta24, Theorem 08XE], as the inclusion A \to A\dparen[t] splits as a map of A-modules.