\section{Introduction}
\subsection{Background} Let $k$ be a field of characteristic zero and $X$ a variety over $k$. Following Illusie
we can associate to $X$ its \emph{derived de Rham
cohomology} as follows: we consider the
(Hodge completed) derived de Rham algebra
    \[
        \mathrm{dR}_{X/ k} \coloneqq  \Sym(\mathbb L_{X/ k}[-1])^\wedge 
    \]
where $(-)^\wedge$ stands for the completion of the usual symmetric algebra 
    \[\Sym(\mathbb L_{X/ Y}[-1]) \in \mathrm{CAlg}_k,\]
with respect to its natural Hodge filtration. Furthermore, we can identify
the graded pieces of the latter with exterior powers
    \[
        \wedge^i \mathbb L_{X/ Y} [-i], \quad \mathrm{for} \ i \ge 0,
    \]
c.f. \cite[Vol. II, \S VIII]{Illusie_Complexe_1971}.
The Hodge completed derived de Rham algebra is thus a natural generalization of the usual de Rham complex for singular varieties over $k$,
where we replace the sheaf of differentials
    \[
        \Omega^1_{X/ k},  
    \]
by the (algebraic) cotangent complex $\mathbb L_{X/ k}$ and force a spectral sequence of the form Hodge-to-de Rham to converge.

On the other hand, Hartshorne introduced in \cite{hartshorne1975rham} the \emph{algebraic de Rham cohomology} for singular varieties
$X/ k$ in terms
of formal completions: suppose we are given a closed immersion
$i \colon X \hookrightarrow Y$, where $Y$ is a smooth algebraic variety over $k$. Then one can form the \emph{formal completion}, $Y^\wedge_X$, of $Y$ at $X$ along $i$. Inspired by the theory of tubular neighborhoods, Hartshorne defined an algebraic cohomology theory
by taking global sections of $Y_X^\wedge$
    \[
        \Gamma(Y^\wedge_X, \mathcal O_{Y^\wedge_X}).    
    \]
Moreover, the cohomology groups so obtained are independent of the choice of the closed embedding $i \colon  X\to Y$.
In \cite{Bhatt_Derived_Completions},
Bhatt proved a general comparison between the two mentioned notions. More precisely, the author proves a natural multiplicative
equivalence of complexes
    \[
        \mathrm{dR}_{X/k} \simeq  \Gamma(Y^\wedge_X, \mathcal O_{Y^\wedge_X}),
    \]
c.f. \cite[Proposition 4.16]{Bhatt_Derived_Completions}.
In particular, the results of Bhatt imply that
the algebraic de Rham cohomology is equipped with a \emph{Hodge filtration}, which is finer than the standard infinitesimal Hodge filtration
and the Deligne-Hodge filtration.
Futhermore, when $f \colon \Spec A \to \Spec B$ is a closed immersion of affine (derived) schemes, the Hodge filtration
is finer than the $I$-adic filtration on the completion 
    \[
        Y^\wedge_X \simeq \mathrm{Spf} (B^\wedge_I),
    \]
where $I \coloneqq \mathrm{fib}(B \to A)$.
In the particular case where $f$ is a locally complete intersection morphism both the $I$-adic filtration
and the Hodge filtration coincide (c.f. \cite[Remark 4.13]{Bhatt_Derived_Completions}).

\subsection{Main results}
The main goal of the present text is to prove a non-archimedean analogue of the above results. Namely, let $k$ be a non-archimedean field of characteristic $0$,
we prove the following:

\begin{thm} \label{intro-thm1}
    Let $f \colon X \to Y$ be a morphism of (locally geometric) derived $k$-analytic stacks. Consider
    the \emph{Hodge completed derived de Rham complex associated to $f$}, defined as 
        \[\mathrm{dR}_{X/ Y} ^\mathrm{an} \coloneqq \Sym^\mathrm{an}(\mathbb L_{X/ Y} ^\mathrm{an}[-1])^\wedge,\]
    in $\mathrm{CAlg}_k$.
    Then one has a natural multiplicative equivalence
        \[
            \mathrm{dR}_{X/ Y} ^\mathrm{an} \simeq \Gamma(Y^\wedge_X, \mathcal O_{Y^\wedge_X}),
        \]
    of derived $k$-algebras,
    where $Y^\wedge_X$ denotes the derived $k$-analytic stack corresponding to the formal completion of $X$ in $Y$ along the morphism $f$.
\end{thm}

Unfortunately, the methods of B. Bhatt are algebraic in nature and cannot be directly extrapolated to the non-archimedean setting. Instead, we follow closely the
approach of Gaitsgory-Rozemblyum given in \cite[\S 9]{Gaitsgory_Study_II}. The main idea consists of defining the \emph{non-archimedean deformation
to the normal cone} as a derived $k$-analytic stack
    \[
        \mathcal D^\mathrm{an}_{X/ Y} \in \mathrm{dAnSt}_k,  
    \]
mapping naturally to the $k$-analytic affine line $\mathbf A^1_k$. Denote by $p \colon \mathcal D_{X/ Y}^\mathrm{an} \to \mathbf A^1_k$ the natural morphism. Then
\cref{intro-thm1} follows immediately from the following more precise result (see \cref{thm:main_thm}):

\begin{thm} \label{intro-thm2}
    Let $f \colon X \to Y$ be a morphism of locally geometric derived $k$-analytic stacks. Then the non-archimedean deformation to the normal cone satisfies the following
    assertions:
    \begin{enumerate}
        \item The fiber of $p \colon \mathcal D_{X/ Y}^\mathrm{an} \to \mathbf A^1_k$ at $\{ 0\} \subseteq \mathbf A^1_k$ identifies naturally with the completion of the shifted analytic
        tangent bundle
            \[
                \mathbf T^\mathrm{an}_{X/ Y}[1]^\wedge,  
            \]
        completed along the zero section $s_0 \colon X \to \mathbf T^\mathrm{an}_{X/ Y}[1]$. Moreover for $\lambda \neq 0$ we have a natural identification
            \[
                (\mathcal D_{X/ Y}^\mathrm{an})_\lambda  \simeq Y^\wedge_X,
            \]
        where $Y^\wedge_X$ denotes the formal completion of $Y$ at $X$ along $f$.
        \item There exists a natural sequence of morphisms admitting a deformation theory
            \[
                X \times \mathbf A^1_k = X^{(0)} \to X^{(1)} \hookrightarrow \dots \hookrightarrow X^{(n)} \hookrightarrow \dots \to Y \times \mathbf A^1_k, 
            \]
        such that the colimit of derived $k$-analytic stacks identifies naturally
            \[
                \colim_{n \ge 0} X^{(n)} \simeq \mathcal D_{X/ Y}^\mathrm{an}.  
            \]
        In particular, the latter induces the usual Hodge filtration on (global sections of) $\mathbf T^\mathrm{an}_{X/ Y}[1]^\wedge$ and it induces a further filtration
        on (global sections of) the formal completion $Y^\wedge_X$, which we shall also refer to as the \emph{Hodge filtration} on the formal completion $Y^\wedge_X$;
        \item When $f \colon X \to Y$ is a locally complete intersection morphism of derived $k$-affinoid spaces, the Hodge filtration on $Y^\wedge_X$ identifies with the $I$-adic filtration on global sections.
        More precisely, let
            \[A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}) \quad \mathrm{and} \quad B \coloneqq \Gamma(Y, \mathcal O_Y^\mathrm{alg}),\]
        denote the corresponding derived global sections derived $k$-algebras. Then the global sections of
        $Y^\wedge_X$ agree with the completion
            \[
                B^\wedge_I \in \mathrm{CAlg}_k, \quad I \coloneqq \mathrm{fib}(B \to A),  
            \]
        and the Hodge filtration on $B^\wedge_I$ coincides with the usual $I$-adic filtration.
    \end{enumerate}
\end{thm}

For applications, it is desirable to establish \cref{intro-thm2} in such generality. As an example, it is interesting to
have at our disposal a natural Hodge filtration for the de
Rham cohomology of the moduli of $\ell$-adic continuous representations of an \'etale fundamental group, see
\cite{antonio2017moduli} and \cite{antonio2019moduli}. The latter is a locally geometric derived $k$-analytic stack.
Notwithstanding, the reader can safely assume that $f$ is simply a morphism of (derived) $k$-analytic spaces.

In order to construct the deformation to the normal cone $\mathcal D_{X/ Y}^\mathrm{an}$ we shall need two main ingredients. Namely, a general theory of $k$-analytic
formal moduli problems and the relative analytification functor introduced in \cite{Holstein_Analytification_of_mapping_stacks} (see also \cite[\S 6]{Porta_Yu_NQK}).
So far, a general theory of analytic formal moduli problems was lacking in the literature. For this reason, we devote the whole \S 2
to develop such framework. Let $X \in \mathrm{dAn}_k$ be a (derived) $k$-analytic space. Denote by $\mathrm{AnNil}_{X/ }^\mathrm{cl}$ the $\infty$-category\xspace of closed embeddings
    \[
        g\colon X \to S,  
    \]
where $S \in \mathrm{dAn}_k$, such that $g_\mathrm{red} \colon X_\mathrm{red} \to S_\mathrm{red}$ is an isomorphism of $k$-analytic spaces. We shall define a $k$-analytic formal moduli problem
under $X$ (resp. over $X$) as a functor
    \[
        Y \colon (\mathrm{AnNil}^{\mathrm{cl}}_{X/ })^ \mathrm{op} \to \mathcal S,  \quad \textrm{(resp. $Y \colon (\mathrm{AnNil}^\mathrm{cl}_{/ X}) ^\mathrm{op} \to \mathcal S$)}
    \]
satisfying some additional requirements, see \cref{defin:analytic_formal_moduli_problems_under} (resp. \cref{defin:analytic_formal_problems_over_X}).
It turns out that analytic formal moduli problems can be described in very explicit terms as follows:
\begin{thm} \label{intro-thm3}
    Let $X \in \mathrm{dAn}_k$ denote a derived $k$-analytic space. Then the following assertions hold:
    \begin{enumerate}
        \item The $\infty$-category\xspace $\mathrm{AnNil}_{X/ /Y}^\mathrm{cl}$ (resp. $(\mathrm{AnNil}_{/ X}^\mathrm{cl})_{/ Y}$) is filtered and we have a natural equivalence
            \[
                \colim_{S \in \mathrm{AnNil}^\mathrm{cl}_{X/ / Y}} S \simeq Y \quad \textit{resp.} \quad \colim_{X \in (\mathrm{AnNil}_{/ X}^\mathrm{cl})_{/ Y}} S \simeq Y; 
            \]
        \item The natural morphism $f \colon X \to Y$ (resp. $f \colon Y \to X$)
        admits a relative (pro-)cotangent complex $\mathbb L_{X/ Y} \in \mathrm{Pro}(\mathrm{Coh}^+(X))$, which completely controls the deformation
        theory of the morphism $f$;
        \item In the case where $X$ is a derived $k$-affinoid space, the $\infty$-category\xspace of analytific formal moduli problems $\mathrm{AnFMP}_{X/ }$ is presentable and
        monadic over the usual $\infty$-category\xspace of ind-coherent sheaves on 
            \[A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}).\]
    \end{enumerate}
\end{thm}

We refer the reader to \cref{cor:formal_moduli_problems_over_X_are_ind_inf_objects}, \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes},
\cref{cor:universal_property_of_relative_cotangent_complex_for_morphisms_between_analytic_FMP} and \cref{prop:conservativity_and_preservation_of_sifted_colimits_of_tangent_complex},
for a detailed treatment of \cref{intro-thm3}. 

Granting a general deformation theory we are able to construct the deformation $\mathcal D_{X/ Y}^\mathrm{an}$
as a $k$-analytic formal moduli problem
under $X$. Furthermore, we are able to extrapolate the main formal properties of the derived deformation to the normal cone in the algebraic setting, proved in \cite[\S 9]{Gaitsgory_Study_II}.
The latter is done via a careful analysis of the behaviour of the relative analytification functor, denoted $(-)^\mathrm{an}_Y$, and by means of
Noetherian approximation.

In particular, when $f \colon X \to Y$ is a morphism of derived $k$-affinoid spaces, we have a natural identification
    \[
        \mathcal D_{X/ Y}^\mathrm{an} \simeq (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}} )^\mathrm{an}_Y,  
    \]
where $X^\mathrm{alg} \coloneqq \Spec A$ and $Y^\mathrm{alg} \coloneqq \Spec B$, with $A$ and $B$ are as in \cref{intro-thm2}. 

Along the way, we establish a precise comparison between the works of \cite{Bhatt_Derived_Completions} and \cite[\S 9]{Gaitsgory_Study_II},
which we consider to be of relevance for experts in derived algebraic geometry. Moreover, we shall also explicit mention that the techniques employed in the current
text, namely Noetherian approximation, allows to construct the deformation to the normal cone and its Hodge filtration
as in \cite[\S 9]{Gaitsgory_Study_II} outside the the almost of finite presentation scope, provided that we work under Noetherian assumptions. The latter
might be helpful even in purely algebraic contexts.

\subsection{Relation with other works and future questions} As previously explained, the content of this text is build upon two major prior works,
namely \cite[\S 9]{Gaitsgory_Study_II} and \cite{Bhatt_Derived_Completions}. It follows essentially from \cref{lem:identification_of_Hodge_and_adic_filtrations}
that
Bhatt's construction of the Hodge filtration on algebraic de Rham cohomology with the approach of Gaitsgory-Rozemblyum (c.f. \cite[\S 9]{Gaitsgory_Study_II}).
Such comparison result is not completely obvious. Indeed, in \cite{Bhatt_Derived_Completions} the author produces the Hodge filtration in the general case, by left Kan extending the adic
filtration from the case of local complete intersection morphisms, whereas the construction of \cite[\S 9]{Gaitsgory_Study_II} is completely canonical. Therefore,
there are two main advantages provided by our comparison result: first it proves the canonicity of Bhatt's approach and secondly it enlightens many
important aspects of \cite[\S 9]{Gaitsgory_Study_II}, which were not made completely explicitly. 


In \cite{grosse2002finiteness}, Grosse-Kl\"onne introduces an \emph{analytic} de Rham cohomology
theory for a very large class of rigid $k$-analytic spaces. Let $X$ be a rigid $k$-analytic space,
Grosse-Kl\"onne's construction is related to \emph{over-convergent} global sections of formal completions
along closed immersion $i \colon X \hookrightarrow Y$, where $Y$ is a smooth rigid $k$-analytic space.
Furthermore, the author proves finiteness of over-convergent analytic de Rham cohomology under certain finiteness conditions on $X$.

We expect that our derived de Rham cohomology theory, $\mathrm{dR}_{X/k}^\mathrm{an}$, can be compared to the construction in \cite{grosse2002finiteness}. In particular,
this would provide a proof of finiteness for derived (over-convergent) analytic de Rham cohomology.
Such comparison result would equip us with a Hodge-to-de Rham
spectral sequence for over-convergent de Rham cohomology, in great generality. 
In order to achieve such a comparison one needs to extend
the results in this text to the over-convergent setting. We hope to pursue this venue in a future project.


Ideally, the deformation to the normal bundle would provide an important tool to study the relationship between de Rham cohomology and \'etale cohomology
of $k$-analytic spaces, similar to the algebraic case (see \cite[\S 1, Corollary]{Bhatt_Derived_Completions}). When $k$ is a field of equi-characteristic zero, we expect that a non-smooth extension of the main construction of \cite{achinger2019betti}, in the non-archimedean setting, could be related to the formal
completion $Y^\wedge_X$. More interestingly, would be to study the $p$-adic setting. Even though the author currently does not have an idea of how to accomplish
this, it might be useful to extrapolate certain results in \cite{bras2018overconvergent} to the singular case, via derived geometry.

Another future goal closely related to this work is the study of a rigid cohomology theory for singular algebraic varieties and possibly algebraic stacks over perfect fields of
positive characteristic. Our hope is that techniques from derived geometry can be useful to reduce questions about the rigid cohomology of singular algebraic varieties to the free case, via simplicial polynomial resolutions
of general $k$-algebras.

Finally, we expect that the results in this text provide a first step in a consistent study of $\mathcal D_X$-modules and curved modules outside the smooth case, in the non-archimedean setting.
In order to develop such a framework, one has to set the main ingredients of \cite{ben2012loop} in non-archimedean geometry. One such ingredient is the deformation to the normal cone done
in the current text. Another important ingredient is a $k$-analytic HKR theorem, which is a work in progress with M. Porta and F. Petit (see the author's thesis \cite{ferreira2019modeles}
for a sketch of proof of the latter statement).

\subsection{Organization of the paper}
In \S 2, we develop a theory of formal moduli problems in the non-archimedean setting. We devote 2.1 to a brief review of the main notions in non-archimedean
geometry that will be important for us. We then proceed to \S 2.2 where a careful study of the structure of \emph{nil-isomorphisms} is performed.
The notion of nil-isomorphism is basic building block of the theory of analytic formal moduli problems \emph{under} (resp. \emph{over}) a given base.
The latter notions are introduced and study at length in \S 2.3 (resp. \S 2.4). In \S 2.4, we establish \emph{pseudo}-nil-descent for pro-almost perfect complexes
or in other words pro-coherent complexes. Given a morphism $X \to Y$ which exhibits $X$ as an analytic formal moduli problem, we prove that
the $\infty$-category\xspace of $\mathrm{Pro}(\mathrm{Coh}^+(Y))$ does satisfy descent along the usual $*$-upper functoriality, that it is, it can be realized as the totalization of
    \[\mathrm{Pro}(\mathrm{Coh}^+(X^\bullet)),\]
where $X^\bullet$ denotes the \v{C}ech nerve associated to $X \to Y$. The main novelty compared with the main result in \cite[\S 7.2]{Gaitsgory_Study_I}
is that we use the entire $\mathrm{Coh}^+$ and the $*$-upper functoriality. Our nil-descent statement is based in the work of Halpern-Leistner and Preygel, c.f.
see \cite[Theorem 3.3.1]{preygel_Leistner_Mapping_stacks_properness}. Section 2.6 is devoted to the study of the notion of formal groupoids over a base $X$.
We will prove the existence of a natural equivalence between the
$\infty$-categories\xspace of analytic formal moduli problems under $X$ and analytic formal groupoids over $X$ (see \cref{thm:Phi_is_an_equivalence}).
The content of this equivalence can be interpreted as: every analytic formal moduli problem under $X$ arises as a \emph{classifying formal derived $k$-analytic stack}
associated to an analytic formal groupoid (which corresponds to the associated \v{C}ech nerve).
This equivalence of $\infty$-categories\xspace is based on the pseudo-nil-descent results, proved earlier. Notice that \cref{thm:Phi_is_an_equivalence},
is a direct non-archimedean analogue
of \cite[\S 5, Theorem 2.3.2]{Gaitsgory_Study_II}. In \S 2.6, we study the tangent complex associate to an analytic formal moduli problem
under $X$. In particular, we prove that such a functor is monadic, see \cref{prop:conservativity_and_preservation_of_sifted_colimits_of_tangent_complex}.

The main bulk of the text lies in \S 3, where we introduce the deformation to the normal cone, $\mathcal D_{X/ Y}$, in the non-archimedean setting. In
\S 3.1 we review the algebraic situation. We shall summarize the main algebraic formal properties of $\mathcal D_{X/ Y}$ and then proceed to
give a simplification of the formalism developped in \cite[\S 9]{Gaitsgory_Study_II}
in the case of closed immersions of derived schemes, see \cref{lem:identification_of_Hodge_and_adic_filtrations}. This will enable us to prove a comparison statement between Bhatt's construction of the Hodge filtration in algebraic de Rham
cohomology, c.f. \cite{Bhatt_Derived_Completions} and the work of Gaitsgory-Rozemblyum.

In \S 3.2 we introduce the non-archimedean deformation in the local case, via the relative analyticification functor and Noetherian approximation. We
devote \S 3.3 to gluing the deformation to the class of morphisms between locally geometric derived $k$-analytic stacks. In particular, our results hold for any derived $k$-analytic space.
We then introduce the construction of the \emph{non-archimedean Hodge filtration} in the local, in \S 3.4. This is possible by extending the usual Hodge filtration of
Gaitsgory-Rozemblyum to the non-archimedean setting as follows: we first extrapolate the main results in \cite[\S 9.5]{Gaitsgory_Study_II} to the Noetherian setting
not necessarily of almost of finite presentation (which was the only case treated in \cite[\S 9]{Gaitsgory_Study_II}) and then to the non-archimedean setting via the relative analytification functor.
Finally, in \S 3.4 we glue the non-archimedean Hodge filtration for general morphisms between locally geometric derived $k$-analytic stacks.

\subsection{Notations and Conventions} In this text, $k$ denotes a non-archimedean field of characteristic zero. We let $\mathrm{dAff}_k$ and $\mathrm{dAff}_k^\mathrm{laft}$ denote
the $\infty$-categories\xspace of affine derived schemes (resp. affine derived schemes almost of finite presentation).
We shall denote by $\mathrm{dSt}_k$ the $\infty$-category\xspace of derived $k$-stacks. 
We shall further denote by $\mathrm{dSt}^\mathrm{laft}_k \subseteq \mathrm{dSt}_k$ the full subcategory spanned by derived $k$-stacks locally almost of finite presentation.
Given derived $k$-stacks $X, Y \in \mathrm{dSt}_k$ we shall denote by
    \[
        \Map(X, Y) \in \mathrm{dSt}_k,    
    \]
the corresponding mapping stack. If $X$ and $Y$ live over $\mathbb A_k^1$, we then shall denote by
    \[
        \Map_{/ \mathbb A^1_k}(X, Y) \in (\mathrm{dSt}_k)_{/ \mathbb A^1_k}.  
    \]
We denote $\mathrm{dAnSt}_k$ the $\infty$-category\xspace of derived $k$-analytic stacks introduced in \cite{Porta_Yu_Derived_non-archimedean_analytic_spaces}.
We shall denote by $\mathrm{dAn}_k$ and $\mathrm{dAfd}_k$ the $\infty$-categories\xspace of derived $k$-analytic spaces (resp., derived $k$-affinoid spaces). We will
further denote by $\mathrm{An}_k$ the usual ordinary category of (discrete) $k$-analytic spaces as in \cite{Berkovich_Etale_1993}.
We shall instead use bold letters for the corresponding notions in the non-archimedean setting. Therefore, we shall denote by
    \[
        \mathbf{Map}(X, Y) \in \mathrm{dAnSt}_k,
    \]
the corresponding $k$-analytic mapping stack, whenever $X, Y \in \mathrm{dAnSt}_k$.
Let $\mathcal C$ be a stable $\infty$-category\xspace. We shall denote by $\mathcal C^{\mathrm{fil}}$ the associated $\infty$-category\xspace of \emph{filtered objects in $\mathcal C$}.
Similarly, we denote by $\mathcal C^{\mathrm{gr}}$ the $\infty$-category\xspace of graded objects in $\mathcal C$. We shall employ the notations
    \[
        \mathcal C^{\mathrm{gr}, \ge 0} \quad \mathrm{and} \quad \mathcal C^{\mathrm{gr} , =n}, 
    \]
the respective full subcategories of positively indexed graded objects in $\mathcal C$ and objects concentrated in a single degree $n$. Notice that the latter
$\infty$-category\xspace is equivalent to $\mathcal C$ itself.

\subsection{Acknowledgments} The author would like to express his deep gratitude to Mauro Porta for the encouragement to pursue this project and
for many commentaries and suggestions during the realization of the present work. The author would also like to thank Marco Robalo for a clarifying
remark.

\section{Analytic formal moduli problems}

\subsection{Preliminaries}
Recall the notions of $k$-affinoid/analytic spaces introduced
in \cite[Definition 7.3 and Definition 2.5.]{Porta_Yu_Derived_non-archimedean_analytic_spaces}, respectively.


\begin{defin}
    Let $f \colon X \to Y$ be a morphism in the $\infty$-category\xspace $\mathrm{dAn}_k$. We shall say that $f$ is an \emph{affine morphism} if
    for every morphism $Z \to Y$ in $\mathrm{dAn}_k$ such that $Z$ is a derived $k$-affinoid space, the pullback
        \[
            Z' \coloneqq Z \times_X Y \in \mathrm{dAn}_k,  
        \]
    is a derived $k$-affinoid space.
\end{defin}

\begin{defin}
    Let $f \colon X \to Y$ be a morphism in $\mathrm{dAn}_k$. We shall say that $f$ is an \emph{admissible open immersion} if the induced morphism on $0$-th truncations
        \[
            \mathrm{t}_0(f) \colon \mathrm{t}_0(X) \to \mathrm{t}_0(Y),  
        \]
    is an admissible open immersion in the sense of \cite[\S 1.3]{Berkovich_Etale_1993}.
\end{defin}


\begin{defin}
    Let $f \colon X \to Y$ be a morphism in $\mathrm{An}_k$. We shall say that $f$ is a \emph{finite morphism} if $f$ is affine and for every admissible open covering
        \[
            \coprod_{j \in J} V_j \to Y,  
        \]
    the base change morphism
        \[
            U_j \coloneqq V_j \times_Y Y \to V_j,  
        \]
    exihibits the $k$-affinoid algebra $B_j \coloneqq \Gamma(U_j, \mathcal O_{U_j})$ as a finite $A = \Gamma(V_j, \mathcal O_{V_j})$-module.
    Given $f \colon X \to Y$ in the $\infty$-category\xspace $\mathrm{dAn}_k$, we say that $f$ is \emph{finite} if its truncation $\mathrm{t}_0(f)$ is a finite
    morphism.
\end{defin}


\begin{defin} Let $X \in \mathrm{An}_k$ denote an (ordinary) $k$-analytic space.
    We denote by $\mathcal J_X \subseteq \mathcal O_X$, the \emph{nil-radical ideal} of $\mathcal O_X$, that is the sheaf ideal spanned by nilpotent
    sections on $X$. We denote by $X_\mathrm{red}$ the $k$-analytic space obtained as the pair $(X, \mathcal O_{X}/ \mathcal J_X)$, which we shall refer to as the \emph{underlying reduced $k$-analytic space
    associated to $X$}.       
\end{defin}

\begin{rem}
    Let $X \in \mathrm{An}_k$, then the underlying reduced $X_\mathrm{red} \in \mathrm{An}_k$ is a reduced $k$-analytic space, by construction.
\end{rem}

\begin{notation}
    We denote by $\mathrm{An}_k^\mathrm{red} \subseteq \mathrm{An}_k$ the full subcategory spanned by reduced $k$-analytic spaces. We further denote by
    \[(-)_\mathrm{red} \colon \mathrm{dAn}_k \to \mathrm{An}_k^\mathrm{red},\]
    the functor obtained by the association
        \[
            Z \in \mathrm{An}_k \mapsto Z_\mathrm{red} \in \mathrm{An}_k^\mathrm{red}.
        \]
\end{notation}

We now extend the construction $(-)_\mathrm{red} \colon \mathrm{An}_k \to \mathrm{An}_k^\mathrm{red}$ to the $\infty$-category\xspace of derived $k$-analytic spaces:

\begin{defin}
    Consider the functor $\mathrm{dAn}_k \to \mathrm{An}_k^\mathrm{red}$ defined as the composite
        \[
            (-)_\mathrm{red} \colon \mathrm{dAn}_k \xrightarrow{\mathrm{t}_0(-)} \mathrm{An}_k \xrightarrow{(-)_\mathrm{red}} \mathrm{An}_k^\mathrm{red}.
        \]
    Given $X \in \mathrm{dAn}_k$ a derived $k$-analytic space we denote by $X_\mathrm{red} \in \mathrm{An}_k^\mathrm{red}$ the \emph{underlying reduced $k$-analytic space}
    associated with $X$. 
\end{defin}

\begin{lem}
    Let $f \colon X \to Y$ be an admissible open immersion of derived $k$-analytic spaces. Then $f_\mathrm{red} \colon X_\mathrm{red} \to Y_\mathrm{red}$ is
    an admissible open immersion, as well.
\end{lem}

\begin{proof}
    By the definitions, it is clear that the truncation
        \[
            \mathrm{t}_0(f) \colon \mathrm{t}_0(X) \to \mathrm{t}_0(Y),  
        \]
    is an admissible open immersion of ordinary $k$-analytic spaces. In the case of ordinary $k$-analytic spaces the question is local and we reduce ourselves to the affinoid case.
    Then it is clear that localization in the ordinary category $\mathrm{Afd}_k$ commutes with quotients (as the former is defined via a colimit).
\end{proof}

\begin{defin}
    In \cite[Definition 5.41]{Porta_Yu_Representability} the authors introduced the notion of a square-zero extension between derived
    $k$-analytic spaces. In particular, given a morphism $f \colon Z \to Z'$ in $\mathrm{dAn}_k$, we shall say that $f$ \emph{has the structure of
    a square-zero extension} if $f$ exhibits $Z'$ as a square-zero extension of $Z$.
\end{defin}

\begin{rem} \label{rem:construction_of_nilpotent_extensions_as_square_zero_extensions}
    Let $X \in \mathrm{An}_k$. Let $\mathcal J \subseteq \mathcal O_X$ be an ideal satisfying $\mathcal J^2 = 0$. Consider the fiber sequence
        \[
            \mathcal J \to \mathcal O_X \to \mathcal O_X/\mathcal J,  
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(X)$. We have an induced natural fiber sequence of the form
        \[
            \mathbb L_{\mathcal O_X}^\mathrm{an} \to \mathbb L_{\mathcal O_X / \mathcal J}^\mathrm{an} \to \mathbb L_{(\mathcal O_X / \mathcal J) / \mathcal O_X}^\mathrm{an},
        \]
    and we have a further identification $\tau_{\le 1} (\mathbb L_{(\mathcal O_X/ \mathcal J) / \mathcal O_X}) \simeq \mathcal J[1]$. For this reason, we obtain a well defined morphism
        \[
            d \colon \mathbb L_{\mathcal O_X/ \mathcal J} \to \mathcal J[1],
        \]
    in the derived $\infty$-category\xspace $\mathrm{Mod}_{\mathcal O_X/ \mathcal J}$. This derivation classifies a square-zero extension of $\mathcal O_X/ \mathcal J$ by $\mathcal J[1]$ which can be identified with the
    object $\mathcal O_X$ itself. In particular, we deduce that $X$ is a square-zero extension of the ordinary $k$-analytic space $(X, \mathcal O_{X}/\mathcal J)$.
\end{rem}

\begin{rem}
    Recall the $\infty$-category\xspace $\tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$ of $\cT_{\mathrm{an}}(k)$-structured $\infty$-topoi defined in
    \cite[Definition 2.4]{Porta_Yu_Derived_non-archimedean_analytic_spaces}, where $\cT_{\mathrm{an}}(k)$ denotes the $k$-analytic pre-geometry (see for instance \cite[Construction 2.2]{Porta_Yu_Derived_non-archimedean_analytic_spaces}).
    Let  $\mathcal O \in \mathrm{Str}^\mathrm{loc}_{\cT_{\mathrm{an}}(k)}(\mathcal X)$ be a local $\cT_{\mathrm{an}}(k)$-structure on $\mathcal X$ (c.f. \cite[Definition 2.4]{Porta_Yu_Derived_non-archimedean_analytic_spaces}). Since the pregeometry $\cT_{\mathrm{an}}(k)$ is compatible
    with $n$-truncations, c.f. \cite[Theorem 3.23]{Porta_Yu_Derived_non-archimedean_analytic_spaces}, it follows that
    $\pi_0(\mathcal O) \in \mathrm{Str}^\mathrm{loc}_{\cT_{\mathrm{an}}(k)}(\mathcal X)$, as well.
    
    Moreover, if $(\mathcal X, \mathcal O) \in \tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$ is a $\cT_{\mathrm{an}}(k)$-structured $\infty$-topos\xspace, we define its \emph{underlying reduced $\cT_{\mathrm{an}}(k)$-structured $\infty$-topos\xspace} as the $\cT_{\mathrm{an}}(k)$-structured space
        \[  
            (\mathcal X, \pi_0(\mathcal O)/ \mathcal J) \in \tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k)),  
        \]
    where $\mathcal J \subseteq \pi_0(\mathcal O)$ denotes the ideal sheaf spanned by nilpotent sections on $\pi_0(\mathcal O)$. Moreover, the quotient $\pi_0(\mathcal O)/ \mathcal J$
    is considered in the $\infty$-category\xspace of local structures on $\mathcal X$
        \[
            \pi_0(\mathcal O) / \mathcal J \in \mathrm{Str}^\mathrm{loc}_{\cT_{\mathrm{an}}(k)}(\mathcal X).
        \]
\end{rem}

Recall the notion of the underlying algebra functor $(-)^\mathrm{alg} \colon \mathrm{Str}^\mathrm{loc}_{\cT_{\mathrm{an}}(k)}(\mathcal X) \to \mathrm{CAlg}_k(\mathcal X)$ introduced in
\cite[Lemma 3.13]{Porta_Yu_Derived_non-archimedean_analytic_spaces}.

\begin{lem} \label{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid}
    Let $Z \coloneqq (\mathcal Z, \mathcal O_Z) \in \tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$ denote a $\cT_{\mathrm{an}}(k)$-structure $\infty$-topos\xspace such that $\pi_0(\mathcal O_Z^\mathrm{alg}) $ is a Noetherian derived $k$-algebra on $\mathcal Z$.
    Suppose that the reduction
    $Z_\mathrm{red}$ is equivalent to a derived $k$-affinoid space. Then the truncation $\mathrm{t}_0(Z)$ is isomorphic to an ordinary $k$-affinoid space.
    If we assume further that for every $i>0$, the homotopy sheaves $\pi_i(\mathcal O_Z)$ are
    coherent $\pi_0(\mathcal O_Z)$-modules, then $Z$ itself is equivalent to a derived $k$-affinoid space.
\end{lem}

\begin{proof} The second claim of the Lemma follows readily from the first assertion together with the definitions.
    We are thus reduced to prove that $\mathrm{t}_0(Z)$ is isomorphic to an ordinary $k$-affinoid space.
    Let $\mathcal J \subseteq \pi_0(\mathcal O_Z)$, denote the coherent ideal sheaf associated to the closed immersion $Z_\mathrm{red} \hookrightarrow Z$. Notice that the ideal $\mathcal J$
    agrees with the nilradical ideal of $\pi_0(\mathcal O_Z)$. Thanks to our assumption that $\pi_0(\mathcal O_Z)$ is a Noetherian derived $k$-algebra on $\mathcal Z$, it follows that there exists
    a sufficiently large integer $n \ge 2$ such that
        \[
            \mathcal J^n = 0.  
        \]
    Arguing by induction, we can suppose that $n = 2$, that is to say that
        \[\mathcal J^2 = 0.\]
    In particular, \cref{rem:construction_of_nilpotent_extensions_as_square_zero_extensions} implies that the
    the natural morphism $Z_\mathrm{red} \to Z$ has the structure of a square-zero extension.
    The assertion now follows from \cite[Proposition 6.1]{Porta_Yu_Representability}
    and its proof.
\end{proof}

\begin{rem}
    We observe that the converse of \cref{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid} holds true.
    Indeed, the natural morphism $Z_\mathrm{red} \to Z$ is a closed immersion. In particular, if $Z \in \mathrm{dAfd}_k$ we deduce readily
    that $Z_\mathrm{red} \in \mathrm{Afd}_k$, as well.
\end{rem}


\begin{lem} \label{lem:affine_morphisms_are_compatible_with_Zariski_localization_on_the_base}
    Let $f \colon X \to Y$ be an affine morphism in $\mathrm{dAn}_k$. Suppose we are given an admissible open covering
        \[
            g \colon \coprod_{j \in J} U_j \to Y,  
        \]
    where for each $j \in J$, $U_j \in \mathrm{dAfd}_k$. For each $j \in J$, let 
        \[
            V_j \coloneqq U_j \times_X Y \in \mathrm{dAfd}_k,  
        \]
    then $\coprod_{j \in J} V_j \to Y$ is an admissible open covering by derived $k$-affinoid spaces.
\end{lem}

\begin{proof} It is clear from our assumption that $f$ is an affine morphism that for every index $j \in J$, the objects $V_j \in \mathrm{dAfd}_k$. The claim of the Lemma
    follows immediately from the observation that
    both the classes of effective epimorphisms of $\infty$-topoi \ and admissible open immersions of derived $k$-analytic spaces are stable under pullbacks,
    cf. \cite[Proposition 6.2.3.15]{HTT} and \cite[Corollary 5.11, Proposition 5.12]{Porta_Yu_Representability}, respectively.
\end{proof}


\subsection{Non-archimedean differential geometry} In this \S, we introduce the notion of a nil-isomorphism between derived
$k$-analytic spaces and study certain important features of such class of morphisms. The results contained in this paragraph will be of
crucial importance to the study of analytic formal moduli problems.

\begin{defin}
    Let $f \colon X \to Y$ be a morphism in $\mathrm{dAn}_k$. We say that $f$ is a \emph{nil-isomorphism} if $f$ is almost of finite presentation
    and furthermore
    $f_\mathrm{red} \colon X_\mathrm{red} \to
    Y_\mathrm{red}$ is an isomorphism of ordinary $k$-analytic spaces. 
    We will denote by $\mathrm{AnNil}_{X/ }$ the full subcategory of $(\mathrm{dAn}_k)_{X/}$
    spanned by nil-isomorphisms $X \to Y$.
\end{defin}

\begin{lem} \label{lem:nil-isos_are_affine_morphisms}
    Let $f \colon X \to Y$ be a nil-isomorphism of derived $k$-analytic spaces. Then:
    \begin{enumerate}
        \item Given any morphism $Z \to Y$ in $\mathrm{dAn}_k$, the base change morphism
            \[
                Z \times_X Y \to Z,  
            \]
        is an nil-isomoprhism, as well;
        \item $f$ is an affine morphism;
        \item $f$ is a finite morphism.
    \end{enumerate}
\end{lem}

\begin{proof} To prove (1), it suffices to prove that
    the functor $(\textrm{-})_\mathrm{red} \colon \mathrm{dAn}_k \to \mathrm{An}_k^{\mathrm{red}}$ commutes with finite limits. The truncation functor
        \[
            \mathrm{t}_0 \colon \mathrm{dAn}_k \to \mathrm{An}_k,  
        \]
    commutes with finite limits, c.f. \cite[Proposition 6.2 (5)]{Porta_Yu_Derived_non-archimedean_analytic_spaces}. It suffices then to prove that the usual underlying reduced functor
        \[
            (-)_\mathrm{red} \colon \mathrm{An}_k \to \mathrm{An}_k^\mathrm{red},
        \]
    commutes with finite limits. By construction,
    the latter assertion is equivalent to the claim that
    the usual complete tensor product of ordinary $k$-affinoid algebras commutes with the operation of taking the quotient by the Jacobson radical, which is immediate.

    We now prove (2). Let $Z \to Y$ be an admissible open immersion such that $Z$ is a derived $k$-affinoid space. We claim that the pullback
    $Z \times_X Y$ is again a derived $k$-affinoid space. Thanks to \cref{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid}
    we reduce ourselves to prove that $(Z \times_X Y)_\mathrm{red}$ is equivalent to an
    ordinary $k$-affinoid space. Thanks to (1), we deduce that the induced morphism
        \[
            (Z \times_X Y)_\mathrm{red} \to Z_\mathrm{red},  
        \]
    is an isomorphism of ordinary $k$-analytic spaces. In particular, $(Z \times_X Y)_\mathrm{red}$ is a $k$-affinoid space. The result now follows by invoking
    \cref{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid} again.

    To prove (3), we shall show that the induced morphism on the underlying $0$-th truncations $\mathrm{t}_0(X) \to \mathrm{t}_0(Y)$ is a finite morphism of ordinary $k$-affinoid spaces.
    But this follows immediately from the fact that both $\mathrm{t}_0(X)$ and $\mathrm{t}_0(Y)$ can be obtained from the reduced $X_\mathrm{red}$ by means of a finite sequence of square-zero extensions
    as in \cref{rem:construction_of_nilpotent_extensions_as_square_zero_extensions}.
\end{proof}


\begin{defin}
    A morphism $X \to Y$ be a morphism in $\mathrm{dAn}_k$ is called a \emph{nil-embedding} if the induced morphism of ordinary $k$-analytic spaces
    $\mathrm{t}_0(X) \to \mathrm{t}_0(Y)$ is a closed immersion with nilpotent ideal of definition. 
\end{defin}

\begin{prop} \label{prop:filtered_colimit_for_nil-embeddings}
    Let $f \colon X \to Y$ be a nil-embedding of derived $k$-analytic spaces. Then there exists a sequence of morphisms
        \[X = X_0^0 \hookrightarrow X_0^1 \hookrightarrow \dots \hookrightarrow X_0^n = X_0 
        \hookrightarrow X_1 \dots X_n \hookrightarrow \dots \hookrightarrow Y,\]
    such that for each $0 \le i \le n$ and $j \ge 0$, the morphisms $X_0^i \hookrightarrow X_0^{i+1}$ and $X_j \to X_{j+1}$ have the structure of square-zero extensions.
    Furthermore, the induced morphisms $\mathrm{t}_{\le j}(X_j) \to \mathrm{t}_{\le j}(Y)$ are equivalences of derived
    $k$-analytic spaces, for every $j \ge 0$.
\end{prop}

\begin{proof}
    The proof follows the same scheme of reasoning as \cite[Proposition 5.5.3]{Gaitsgory_Study_II}. For the sake of completeness we present the complete argument here.
    Consider the induced morphism on the underlying truncations
        \[
            \mathrm{t}_0(f) \colon \mathrm{t}_0(X) \to \mathrm{t}_0(Y).   
        \]
    By construction, there exists a sufficiently large integer $n \ge 0$ such that
        \[
            \mathcal J^{n+1} = 0,  
        \]
    where $\mathcal J \subseteq \pi_0(\mathcal O_Y)$ denotes the ideal associated to the nil-embedding $\mathrm{t}_0(f)$.
    Therefore, we can factor the latter as a finite sequence of square-zero extensions of ordinary $k$-analytic spaces
        \[
            \mathrm{t}_0(X) \hookrightarrow X_0^{\mathrm{ord}, 0} \hookrightarrow \dots \hookrightarrow X^{\mathrm{ord}, n}_0 = \mathrm{t}_0(Y),
        \]
    as in the proof of \cref{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid}. For each $0 \le i \le n$, we set
        \[
            X_0^i \coloneqq X \bigsqcup_{\mathrm{t}_0(X)} X_0^{\mathrm{ord}, i}.
        \]
    By construction, we have that the natural morphism $\mathrm{t}_0(X_0^n) \to \mathrm{t}_0(Y)$ is an isomorphism of ordinary $k$-analytic spaces.
    We now argue by induction on the Postnikov tower associated to the morphism $f \colon X \to Y$.
    Suppose that for a certain integer $i \ge 0$, we have constructed a derived $k$-analytic space $X_i$ together with morphisms $g_i \colon
    X \to X_i$ and $h_i \colon X_i \to Y$ such that $f \simeq h_i \circ g_i$
    and the induced morphism
        \[
            \mathrm{t}_{\le i}(X_i) \to \mathrm{t}_{\le i}(Y)
        \]
    is an equivalence of derived $k$-analytic spaces. We shall proceed as follows: by the assumption that $h_i$ is $(i+1)$-connective, we deduce from
    \cite[Proposition 5.34]{Porta_Yu_Representability} the existence of a natural equivalence
        \[
            \tau_{\le i}(\mathbb L_{X_i/Y}^\mathrm{an}) \simeq 0,
        \]
    in $\mathrm{Mod}_{\mathcal O_{X_i}}$. Consider the natural fiber sequence
        \[
            h_i^* \mathbb L^\mathrm{an}_{Y} \to \mathbb L^\mathrm{an}_{X_i} \to \mathbb L^\mathrm{an}_{X_i/Y},
        \]
    in $\mathrm{Mod}_{\mathcal O_{X_i}}$. The natural morphism
        \[
            \mathbb L^\mathrm{an}_{X_i/ Y} \to \pi_{i+1}(\mathbb L^\mathrm{an}_{X_i/Y})[i+1],  
        \]
    induces a morphism $\mathbb L^\mathrm{an}_{X_i} \to \pi_{i+1}(\mathbb L^\mathrm{an}_{X_i/Y})[i+1]$, such that the composite
        \begin{equation} \label{eq:fiber_sequence_of_cotangent_complexes_to_produce_the_existence_of_the_desired_square_zero_extension_approximating_Y_in_degree_i+1}
            h_i^* \mathbb L^\mathrm{an}_{Y} \to \mathbb L^\mathrm{an}_{X_i} \to \pi_{i+1}(\mathbb L^\mathrm{an}_{X_i/Y})[i+1],  
        \end{equation}
    is null-homotopic, in $\mathrm{Mod}_{\mathcal O_{X_i}}$. By the universal property of the relative analytic cotangent complex,
    \eqref{eq:fiber_sequence_of_cotangent_complexes_to_produce_the_existence_of_the_desired_square_zero_extension_approximating_Y_in_degree_i+1}
    produces a square-zero extension
        \[
            X_i  \to X_{i+1},
        \]
    together with a morphism $h_{i+1} \colon X_{i+1} \to Y$, factoring $h_i \colon X_i \to Y$. We  are reduced to show that the morphism
        \[
            \mathcal O_Y \to h_{i+1, *}(\mathcal O_{X_{i+1}}), 
        \]
    is $(i+2)$-connective. Consider the commutative diagram
        \begin{equation} \label{eq:commutative_diagram_of_fiber_sequences_exhibiting_O_X_i+1_as_an_approximation_of_level_i+1_of_Y}
        \begin{tikzcd}
            h_{i, *}(\pi_{i+1}(\mathbb L^\mathrm{an}_{X_i/Y}))[i+1] \ar{r} & h_{i+1, *}(\mathcal O_{X_{i+1}}) \ar{r} & h_{i, *}(\mathcal O_{X_i}) \\
            \mathcal I \ar{r} \ar{u}{s_i} & \mathcal O_Y \ar{r} \ar{u} & h_*(\mathcal O_{X_i}) \ar{u} \\
            \mathcal J \ar{r}{=} \ar{u} & \mathcal J \ar{r} \ar{u} & 0 \ar{u}
        \end{tikzcd},
        \end{equation}
    in $\mathrm{Mod}_{\mathcal O_Y}$, where both the vertical and horizontal composites are fiber sequences. By our inductive hypothesis, $\mathcal I$ is $(i+1)$-connective.
    Moreover, thanks to \cite[Proposition 5.34]{Porta_Yu_Representability} we can identify the natural
    morphism    
        \[
           s_i \colon \mathcal I \to h_{i, *}(\pi_{i+1}(\mathbb L^\mathrm{an}_{X_i/Y}))[i + 1]
        \]
    with the natural morphism $\mathcal I \to \tau_{\le i + 1}(\mathcal I)$. We deduce that the fiber of the morphism $s_i$ must be necessarily $(i+2)$-connective. The latter observation
    combined with the structure of \eqref{eq:commutative_diagram_of_fiber_sequences_exhibiting_O_X_i+1_as_an_approximation_of_level_i+1_of_Y}
    implies that $h_{i+1} \colon X_{i+1} \to Y$ induces an equivalence of derived $k$-analytic spaces
        \[
            \mathrm t_{\le i+1}(X_{i+1}) \to \mathrm t_{\le i+1}(Y),  
        \]
    as desired.
\end{proof}

\begin{cor}
    Let $X \in \mathrm{dAn}_k$. Then the following assertions hold:
    \begin{enumerate}
        \item The natural morphism
            \[
                X_\mathrm{red} \to X,  
            \]
         in $\mathrm{dAn}_k$, can be \emph{approximated} by successive square-zero extensions;
        \item For each $n \ge 0$, the natural morphism
            \[
                X_\mathrm{red} \to \mathrm t_{\le n}(X),  
            \]
        can be \emph{approximated} by a finite number of square-zero extensions.
    \end{enumerate}
\end{cor}

\begin{proof}
    Both the assertions of the Corollary follow readily from \cref{prop:filtered_colimit_for_nil-embeddings} by observing that the
    canonical morphisms $X_\mathrm{red} \to X$ and $X_\mathrm{red} \to \mathrm t_{\le n}(X)$ have the structure of nil-embeddings and that in the latter case the finiteness assumption on the Postkinov
    tower forces the finiteness of the approximation
    sequence.
\end{proof}

\begin{lem} \label{lem:pullbacks_of_derived_affinoid_spaces_along_finite_morphisms_are_algebraic}
    Let $f \colon X \to Y$ be a finite morphism of derived $k$-affinoid spaces. Let $Z \to Y$ be an admissible open immersion and denote by
        \[
            A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}), \quad B \coloneqq \Gamma(Y, \mathcal O_Y^\mathrm{alg}), \quad C \coloneqq \Gamma(Z, \mathcal O_Z^\mathrm{alg}),  
        \]
    the corresponding derived $k$-algebras of derived global sections. Consider the base change
        \[
            Z' \coloneqq Z \times_Y X \in \mathrm{dAfd}_k.
        \]
    Then one has a natural equivalence
        \[
            \Gamma(Z', \mathcal O_{Z'}^\mathrm{alg}) \simeq A \otimes_B C,  
        \]
    in the $\infty$-category\xspace $\mathrm{CAlg}_k$.
\end{lem}

\begin{proof} 
    The Lemma is a direct consequence of \cite[Proposition 3.17]{Porta_Yu_Derived_non-archimedean_analytic_spaces} (iii).
\end{proof}

\begin{lem} \label{lem:Beck_Chevalley_natural_transformation_equivalence}
    Let $f \colon X \to Y$ be a finite morphism of derived $k$-affinoid spaces and $g \colon Z \to Y$ an admissible open immersion in $\mathrm{dAfd}_k$. Form the pullback diagram
        \[
        \begin{tikzcd}
            Z' \ar{r}{g'}  \ar{d}{f'} & X \ar{d}{f} \\
            Z \ar{r}{g} & Y,
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAfd}_k$.
    Then the commutative diagram
        \[
        \begin{tikzcd}
            \mathrm{Coh}^+(Y) \ar{r}{f^*} \ar{d}{g^*} & \mathrm{Coh}^+(X) \ar{d}{(g')^*} \\
            \mathrm{Coh}^+(Z) \ar{r}{(f')^*} & \mathrm{Coh}^+(Z'),
        \end{tikzcd}
        \]
    is right adjointable. In other words, the Beck-Chevalley natural transformation
        \[
            \alpha \colon g^* \circ f_* \to (f')_* \circ g'_* 
        \]
    is an equivalence of functors.
\end{lem}

\begin{proof}
    Since $f$ is assumed to be a finite morphism of derived $k$-affinoid spaces, it follows from the derived Tate aciclicity theorem, c.f. \cite[Theorem 3.1]{Porta_Yu_Derived_Hom_spaces}
    that the right adjoint $f_* \colon \mathrm{Coh}^+(X) \to \mathrm{Coh}^+(Y)$ is well defined. The assertion of the Lemma is now an immediate consequence of \cref{lem:pullbacks_of_derived_affinoid_spaces_along_finite_morphisms_are_algebraic}
    together with \cite[Proposition 2.5.4.5]{Lurie_SAG} and the derived Tate aciclicity theorem.
\end{proof}

\begin{prop} \label{lem:f^*_admits_a_right_adjoint_whenever_f_is_nil-iso}
    Let $f \colon S \to S'$ be a nil-isomorphism between derived $k$-analytic spaces. Then the pullback functor
        \[
            f^* \colon \mathrm{Coh}^+(S') \to \mathrm{Coh}^+(S),  
        \]
    admits a well defined right adjoint, $f_*$.
\end{prop}

\begin{proof}
    Since $f \colon S \to S'$ is a nil-isomorphism, we conclude from \cref{lem:nil-isos_are_affine_morphisms} that $f$ is an affine morphism
    between derived $k$-analytic spaces. By admissible descent of $\mathrm{Coh}^+$, cf. \cite[Theorem 3.7]{Antonio_Porta_Nonarchimedean_Hilbert},
    together with \cref{lem:affine_morphisms_are_compatible_with_Zariski_localization_on_the_base} and \cref{lem:Beck_Chevalley_natural_transformation_equivalence} we reduce the statement of the Lemma to the case
    where both $S$ and $S'$ are equivalent to derived $k$-affinoid spaces. In this case, the result follows by our assumptions on $f$ and \cref{lem:nil-isos_are_affine_morphisms}.
\end{proof}


\begin{prop} \label{prop:existence_of_pushouts_along_closed_nil-isomorphisms}
    Let $f \colon X \to Y$ be a nil-embedding of derived $k$-analytic spaces. Let
    $g \colon X \to Z$ be a finite morphism in $\mathrm{dAn}_k$. The the diagram
        \[
        \begin{tikzcd}
            X \ar{r}{f} \ar{d}{g} & Y \\
            Z
        \end{tikzcd}  
        \]
    admits a pushout in $\mathrm{dAn}_k$, denoted $Z'$. Moreover, the natural morphism
    $Z \to Z'$ is also a nil-embedding.
\end{prop}


\begin{proof} The $\infty$-category\xspace of $\cT_{\mathrm{an}}(k)$-structured $\infty$-topoi \ $\tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$ is a presentable $\infty$-category\xspace. Consider the pushout diagram
        \[
        \begin{tikzcd}
            X \ar{r}{f} \ar{d}{g} & Y \ar{d} \\
            Z \ar{r} & Z',
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$. By construction, the underlying $\infty$-topos\xspace of $Z'$ can be computed as the pushout in the $\infty$-category\xspace $\tensor*[^\rR]{\Top}{}$ of
    the induced diagram on the underlying $\infty$-topoi \ of $X$, $Z$ and $Y$. Moreover, since $g$ is a nil-isomorphism it induces an equivalence on underlying $\infty$-topoi \
    of both $X$ and $Y$. It follows that the induced morphism $Z \to Z'$ in $\tensor*[^\rR]{\Top}{}(\cT_{\mathrm{an}}(k))$ induces an equivalence on the underlying $\infty$-topoi.
    Moreover, it follows essentially by construction that we have a natural equivalence
        \begin{align*}
            \mathcal O_{Z'}  & \simeq g_*(\mathcal O_Y) \times_{g_*(\mathcal O_X)} \mathcal O_Z \\
                      & \in \mathrm{Str}_{\cT_{\mathrm{an}}(k)}^\mathrm{loc}(Z).
        \end{align*}
    As the morphism $g_*(\mathcal O_Y) \to g_*(\mathcal O_X)$ is an effective epimorphism and effective epimorphisms are preserved under fiber products in an $\infty$-topos\xspace, c.f. \cite[Proposition 6.2.3.15]{HTT},
    it follows that the natural morphism
        \[
            \mathcal O_{Z'} \to \mathcal O_Z,  
        \]
    is an effective epimorphism, as well.
    Consider now the commutative diagram of fiber sequences
        \[
        \begin{tikzcd}
            \mathcal J ' \ar{r} \ar{d} & \mathcal O_{Z'} \ar{r} \ar{d}  & \mathcal O_Z \ar{d} \\
            \mathcal J \ar{r} & g_*(\mathcal O_Y) \ar{r} & g_*(\mathcal O_X),
        \end{tikzcd}
        \]
    in the stable $\infty$-category\xspace $\mathrm{Mod}_{\mathcal O_Z'}$. Since the right commutative square is a pullback square it follows that the morphism
        \[
            \mathcal J' \to \mathcal J,  
        \]
    is an equivalence. In particular, $\pi_0(\mathcal J')$ is a finitely generated
    nilpotent ideal of $\pi_0(\mathcal O^\mathrm{alg}_{Z'})$. Indeed, finitely generation follows from our assumption that $g$ is a finite morphism.
    Thanks to \cref{lem:derived_k_analytic_space_whose_reduction_is_affinoid_is_also_affinoid},
    it follows that $\mathrm{t}_0(Z')$ is an ordinary $k$-analytic space and the morphism $\mathrm{t}_0(Z') \to \mathrm{t}_0(Z)$ is a nil-embedding. We are thus reduced to show that
    for every $i>0$, the homotopy sheaf $\pi_i(\mathcal O_{Z'}) \in \mathrm{Coh}^+(\mathrm{t}_0(Z'))$. But this follows immediately from the existence of a fiber sequence
        \[
            \mathcal O_{Z'} \to g_*(\mathcal O_Y) \oplus \mathcal O_Z \to g_*(\mathcal O_X),  
        \]
    in the $\infty$-category\xspace $\mathrm{Mod}_{\mathcal O_{Z'}}$ together with the fact that $g_*(\mathcal O_Y)$ and $g_*(\mathcal O_Z)$ have coherent homotopy sheaves, by our assumption that $g$ is a
    finite morphism combined with \cref{lem:nil-isos_are_affine_morphisms}.
\end{proof}

\begin{cor} \label{lem:pushouts_of_square_zero_extensions_have_the_structure_of_a_square_zero_extension}
    Let $f \colon S \to S'$ be a square-zero extension and $g \colon S \to T$ a nil-isomorphism in $\mathrm{dAn}_k$. Suppose we are given a pushout diagram
        \[
        \begin{tikzcd}
            S \ar{r}{f} \ar{d} & S' \ar{d} \\
            T \ar{r} & T'  
        \end{tikzcd},
        \]
    in $\mathrm{dAn}_k$. Then the induced morphism $T \to T'$ is a square-zero extension.
\end{cor}

\begin{proof}
    Since $g$ is a nil-isomorphism of derived $k$-analytic spaces, \cref{lem:f^*_admits_a_right_adjoint_whenever_f_is_nil-iso}
    implies that the pullback functor $g^* \colon \mathrm{Coh}^+(T) \to \mathrm{Coh}^+(S)$ admits a well defined right adjoint
        \[
            g_* \colon \mathrm{Coh}^+(S ) \to \mathrm{Coh}^+(T) .
        \]
    Let $\mathcal F \in \mathrm{Coh}^+(S)^{\ge 0}$ and $d \colon \mathbb L^\mathrm{an}_S \to \mathcal F[1]$ be a derivation
    associated with the morphism $f \colon S \to S'$. Consider now the natural composite
        \[
            d ' \colon \mathbb L^\mathrm{an}_T \to g_* (\mathbb L^\mathrm{an}_S) \xrightarrow{g_*(d)} g_* (\mathcal F)[1],  
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(T)$. By the universal property of the relative analytic cotangent complex, we deduce the existence of a square-zero extension
        \[
            T \to T',  
        \]
    in the $\infty$-category\xspace $\mathrm{dAn}_k$. Let $X \in \mathrm{dAn}_k$ together with morphisms $S' \to X$ and $T \to X$ compatible with both $f$ and $g$. By the universal property of
    the relative analytic cotangent complex, the morphism $S' \to X$ induces a uniquely defined (up to a contractible indeterminacy space) morphism
        \[
            \mathbb L^\mathrm{an}_{S/X} \to \mathcal F[1],
        \]
    in $\mathrm{Coh}^+(S)$, such that the compositve $\mathbb L^\mathrm{an}_S \to \mathbb L^\mathrm{an}_{S/X} \to \mathcal F[1]$ agrees with $d$. By applying the right adjoint $g_*$ above we obtain a
    commutative diagram
        \[
        \begin{tikzcd}
            \mathbb L^\mathrm{an}_T \ar{r}{\mathrm{can}} \ar{d} & \mathbb L^\mathrm{an}_{T/X} \ar{d} \ar{rd}{d''} & \\
            g_*(\mathbb L^\mathrm{an}_S) \ar{r}{g_*(\mathrm{can})} & g_*(\mathbb L^\mathrm{an}_{S/X}) \ar{r} & g_*(\mathcal F)[1],
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(T)$. From this, we conclude again by the universal property of the relative analytic cotangent complex the existence
    of a uniquely defined natural morphism $T' \to X$ extending both $T \to X$ and $S' \to X$ and compatible with the restriction to $S$. The latter assertion is equivalent to state
    that the commutative square
        \[
        \begin{tikzcd}
            S \ar{r} \ar{d} & S' \ar{d} \\
            T \ar{r} & T',
        \end{tikzcd}
        \]
    is a pushout diagram in $\mathrm{dAn}_k$. The proof is thus concluded.
\end{proof}



\begin{construction} \label{const:leq_n_construction}
    Let $n \ge 0$. We have a well defined functor
        \[
            \mathrm{AnNil}_{\mathrm{t}_{\le n}(X)/ } \to \mathrm{AnNil}_{X/ },  
        \]
    given by the formula
        \[
            (\mathrm t_{\le n}(X) \to S) \in \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ } \mapsto ( X \to S \bigsqcup_{\mathrm t_{\le n}(X)} X ).
        \]
    Given any functor $F \colon \mathrm{AnNil}_{X/ }\to \mathcal S$,
    we define $F^{\le n} \colon \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ } \to \mathcal S$ as the functor given on objects by the association
        \[
            (\mathrm t_{\le n}(X) \to S) \in \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ } \mapsto  F^{\le n}(S \bigsqcup_{\mathrm t_{\le n}(X)} X) \in \mathcal S.
        \]
    It follows from the construction that, for each $n \ge 0$ and $S \in \mathrm{AnNil}_{X/ }$, we have a natural morphism
        \[
            F(S) \to F^{\le n}(\mathrm t_{\le n}(S)),  
        \]
    in the $\infty$-category\xspace $\mathcal S$.
\end{construction}


\subsection{Analytic formal moduli problems under a base} We study the $\infty$-category\xspace of $k$-analytic formal moduli problems
under a base $X \in \mathrm{dAn}_k$ and explore certain important features of such. The
results presented here will prove to be crucial for the study of the deformation to the normal cone in the $k$-analytic
setting, which we treat in the next section.
We start with the following central definition:

\begin{defin} \label{defin:analytic_formal_moduli_problems_under}
    An \emph{analytic formal moduli problem under $X$} corresponds to the datum of a functor
        \[F \colon (\mathrm{AnNil}_{X/})^\mathrm{op} \to \mathcal S,\]
    satisfying the following two conditions:
    \begin{enumerate}
        \item $F(X) \simeq *$ in $\mathcal S$;
        \item Given any $S \in \mathrm{AnNil}^\mathrm{op}_{X/ }$, the natural morphism
            \[
                F(S) \to \lim_{n \ge 0} F^{\le n}(\mathrm t_{\le n}(S)),  
            \]
        is an equivalence in $\mathcal S$ (see \cref{const:leq_n_construction}). In other words, $Y$ is \emph{convergent};
        \item Given any pushout diagram
            \[\begin{tikzcd}
                S \ar{r}{f} \ar{d} & S' \ar{d} \\
                T \ar{r} & T',
            \end{tikzcd}\]
        in the $\infty$-category\xspace $\mathrm{AnNil}_{X/}$, such that $f$ has the structure of a square-zero extension, the induced morphism
            \[F(T') \to F(T) \times_{F(S)}F(S),\]
        is an equivalence in $\mathcal S$.
    \end{enumerate}
    We shall denote by $\mathrm{AnFMP}_{X/}$ the full subcategory of $\Fun((\mathrm{AnNil}_{X/ })^\mathrm{op}, \mathcal S)$ spanned by analytic formal moduli problems
    under $X$.
\end{defin}

\begin{rem}
    In the previous definition we remark that the functor
        \[
            F^{\le n} \colon \mathrm{AnNil}^\mathrm{op}_{\mathrm t_{\le n}(X)/ } \to \mathcal S,  
        \]
    is itself an analytic formal moduli problem under $\mathrm t_{\le n}(X)$.
\end{rem}

We shall give some important examples of formal moduli problems under $X$:

\begin{eg}
    \begin{enumerate}
        \item Let $X \in \mathrm{dAn}_k$. As in the algebraic case, we can consider the \emph{de Rham pre-stack associated to $X$}, $X_\mathrm{dR} \colon \mathrm{dAfd}_k^\mathrm{op} \to \mathcal S$,
        determined by the formula
            \[
                X_{\mathrm{dR}}(Z) \coloneqq X(Z_\mathrm{red}), \quad Z \in \mathrm{dAfd}_k.  
            \]
        We have a natural morphism $X \to X_\mathrm{dR}$ induced from the natural morphism $Z_\mathrm{red} \to Z$.
        The restriction of $X_\mathrm{dR}$ to $\Fun(\mathrm{AnNil}^\mathrm{op}_{X/ }, \mathcal S)$ via the functor
            \[
                h_* \colon \mathrm{dAnSt}_k \to \mathrm{AnFMP}_{X/ },
            \]
        induced by the inclusion $h \colon \mathrm{AnNil}_{X/ } \subseteq \mathrm{dAn}_k$, is an analytic formal moduli problem under $X$.
        Moreover, it follows from the construction of $X_\mathrm{dR}$ that the object $h_* (X_\mathrm{dR})$ is equivalent to a final object in $\mathrm{AnFMP}_{X/ }$.
        \item Let $f \colon X \to Y$ be a morphism in the $\infty$-category\xspace $\mathrm{dAn}_k$. We define the \emph{formal completion of $X$ in $Y$ along $f$} as the pullback 
            \begin{align*}
                Y^\wedge_X  & \coloneqq Y \times_{Y_\mathrm{dR}} X_\mathrm{dR} \\
                            & \in \mathrm{dAnSt}_k.
            \end{align*}
        By construction we have a natural factorization $X \to Y^\wedge_X \to Y$ in $\mathrm{dAnSt}_k$, and moreover the restriction of $X \to Y^\wedge_X$ to the $\infty$-category\xspace
        $\Fun(\mathrm{AnNil}^\mathrm{op}_{X/}, \mathcal S)$ along the natural functor
            \[
                h_* \colon  (\mathrm{dAnSt}_k)_{X/ } \to \mathrm{AnFMP}_{X/ },  
            \]
        exhibits $Y^\wedge_X$ as a formal moduli problem under $X$.
        \item Let $f \colon X \to Y$ be a closed immersion in the $\infty$-category\xspace $\mathrm{dAn}_k$. Consider the shifted tangent bundle associated to $f$ together with the zero section
            \[
            \begin{tikzcd}
                X \ar{r}{s_0} \arrow[rd, equal] & \mathbf T^\mathrm{an}_{X/ Y}[1] \ar{d}{p} \\
                    & X.
            \end{tikzcd}
            \]
        The completion $\mathbf T^\mathrm{an}_{X/Y} [1]^\wedge \in \mathrm{AnFMP}_{X/ }$ along $s_0$ will play an important role in what follows.
    \end{enumerate}
\end{eg}

\begin{notation}
    We set $\mathrm{AnNil}_{X/}^\mathrm{cl} \subseteq \mathrm{AnNil}_{X/}$ to be the full subcategory spanned by those objects corresponding to nil-embeddings
        \[
            X \to S,  
        \]
    in $\mathrm{dAn}_k$.
\end{notation}

\begin{prop} \label{prop:analytic_FMP_under_X_are_ind_inf_schemes}
    Let $Y \in \mathrm{AnNil}_{X/}$. The following assertions hold:
    \begin{enumerate}
        \item The inclusion functor
            \[
              \mathrm{AnNil}^{\mathrm{cl}}_{X//Y} \hookrightarrow \mathrm{AnNil}_{X//Y} , 
            \]
        is cofinal.
        \item The natural morphism
            \[
               \colim_{Z \in \mathrm{AnNil}_{X//Y}^\mathrm{cl}} Z \to Y,  
            \]
        is an equivalence in $\Fun(\mathrm{AnNil}_{X/}^\mathrm{op}, \mathcal S)$.
        \item The $\infty$-category\xspace $\mathrm{AnNil}_{X//Y}^\mathrm{cl}$ is filtered.
    \end{enumerate}
\end{prop}

\begin{proof}
    We start by proving claim (1). Let $n \ge 0$, and consider the usual restriction along the natural morphism $X_\mathrm{red} \to \mathrm t_{\le n}(X)$ functor 
        \[\mathbf{res}^{\le n} \colon \mathrm{AnNil}_{\mathrm t_{\le n}(X)/} \to \mathrm{AnNil}_{X_\mathrm{red}/}.\]
    Such functor admits a well defined left adjoint
        \[\mathbf{push}^{\le n} \colon \mathrm{AnNil}_{X_\mathrm{red}/} \to \mathrm{AnNil}_{\mathrm t_{\le n}(X)/},\]
    which is determined by the formula
        \[
            (X_\mathrm{red} \to T) \in \mathrm{AnNil}_{X_\mathrm{red} /} \mapsto (\mathrm t_{\le n}(X) \to T') \in \mathrm{AnNil}_{X/},   
        \]
    where we have set
        \begin{equation} \label{eq:set_definition_of_T'_as_pushout_of_T_along_the_inclusion_X_red_to_X}
            T' \coloneqq \mathrm t_{\le n}(X) \bigsqcup_{X_\mathrm{red}} T \in \mathrm{AnNil}_{X/}.  
        \end{equation}
    We claim that $T' \in \mathrm{AnNil}_{\mathrm t_{\le n}(X)/}$ belongs to the full subcategory $\mathrm{AnNil}^\mathrm{cl}_{\mathrm t_{\le n}(X)/} \subseteq \mathrm{AnNil}_{\mathrm t_{\le n}(X)/}$.
    Indeed, since the structural morphism
        $X_\mathrm{red} \to T$,
    is necessarily a nil-embedding we deduce the claim from \cref{prop:existence_of_pushouts_along_closed_nil-isomorphisms}.
    We shall denote by
        \[
            \mathbf{res}^{\le n}_!(Y) \colon \mathrm{AnNil}^\mathrm{op}_{X_\mathrm{red} /} \to \mathcal S,
        \]
    the left Kan extension of $Y$ along the functor $\mathbf{res}^{\le n}$ above. By the colimit formula
    for left Kan extensions, c.f. \cite[Lemma 4.3.2.13]{HTT}, it follows that $\mathbf{res}^{\le n}_!(Y)$ is given by the formula
        \[
            (X_\mathrm{red} \to T) \in  \mathrm{AnNil}_{X_\mathrm{red} /} \mapsto Y^{\le n}(T') \in \mathcal S,
        \]
    where $T'$ is as in \eqref{eq:set_definition_of_T'_as_pushout_of_T_along_the_inclusion_X_red_to_X}. 
    We thus have a diagram of functors
        \[
            \mathbf{res}^{\le n} \colon \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}} \rightleftarrows \mathrm{AnNil}_{X_\mathrm{red} // \mathbf{res}^{\le n}_!(Y)} \colon \mathbf{push}^{\le n},
        \]
    where $\mathbf{res}^{\le n}$ is given on objects by the formula
        \[
            (\mathrm t_{\le n}(X) \to S \to Y^{\le n}) \in \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}} \mapsto (X_\mathrm{red} \to S \to \mathbf{res}_!^{\le n}(Y) )  \in \mathrm{AnNil}_{X_\mathrm{red} // \mathbf{res}^{\le n}_!(Y)} 
        \]
    and the functor $\mathbf{push}^{\le n}$ is given by the association
        \[
            (X_\mathrm{red} \to T \to Y^{\le n}) \in \mathrm{AnNil}_{X_\mathrm{red}/ /Y^{\le n}} \mapsto (\mathrm t_{\le n}(X) \to T \sqcup_{X_\mathrm{red}} \mathrm t_{\le n}(X) \to Y^{\le n}) \in \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}}.  
        \]
    We claim that the pair $(\mathbf{res}^{\le n}, \mathbf{push}^{\le n})$ forms an adjunction. Indeed, a morphism
        \[
            (X_\mathrm{red} \to S \to \mathbf{res}^{\le n}_!(Y)) \to \mathbf{res}_!^{\le n}(\mathrm t_{\le n}(X) \to T \to Y^{\le n}),  
        \]
    corresponds to a commutative diagram
        \[
        \begin{tikzcd}
            X_\mathrm{red} \ar{r} \ar{d}{=} & S \ar{r} \ar{d} & \mathbf{res}_!^{\le n}(Y) \ar{d}{=} \\
            X_\mathrm{red} \ar{r} & T \ar{r} & \mathbf{res}_!^{\le n}(Y),
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\Fun(\mathrm{AnNil}_{X_\mathrm{red}/ }^\mathrm{op}, \mathcal S)$. The latter datum is equivalent to the datum of a commutative diagram
        \begin{equation} \label{eq:com_diagram_expliciting_datum_of_res_push_adjunctions}
        \begin{tikzcd}
                                 &                 & \mathrm t_{\le n}(X) \ar{d}   \ar{rd}    &   \\
            X_\mathrm{red} \ar{r} \ar{d} & S \ar{r} \ar{d} & S' \ar{r} \ar{d}                   & Y^{\le n} \ar{d}{=} \\
            X_\mathrm{red} \ar{r}        & T \ar{r}        & T' \ar{r}                          & Y^{\le n}  
        \end{tikzcd}.
        \end{equation}
    Since the morphism $\mathrm t_{\le n}(X) \to T'$ factors through the structural map
        \[
            \mathrm t_{\le n}(X) \to T,  
        \]
    we deduce that the datum of \eqref{eq:com_diagram_expliciting_datum_of_res_push_adjunctions} is equivalent to the datum of a commutative diagram
        \[
        \begin{tikzcd}
            \mathrm t_{\le n}(X) \ar{r} \ar{d} & S' \ar{r} \ar{d} & Y^{\le n} \ar{d}{=} \\
            \mathrm t_{\le n}(X) \ar{r}        & T \ar{r}        & Y^{\le n}, 
        \end{tikzcd}
        \]
    which corresponds to a uniquelly well defined morphism
        \[
            \mathbf{push}^{\le n}(X_\mathrm{red} \to S \to \mathbf{res}^{\le n}_!(Y)) \to (\mathrm t_{\le n}(Y) \to T \to Y^{\le n}),
        \]
    in the $\infty$-category\xspace $\mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}}$. We further observe that for every $n \ge m \ge 0$, the objects
        \[
            \mathbf{res}^{\le n}_!(Y) \quad \mathrm{and} \quad \mathbf{res}^{\le m}_!(Y),  
        \]
    are equivalent as functors $\mathrm{AnNil}_{X_\mathrm{red}/ } ^\mathrm{op} \to \mathcal S$, we shall denote this functor simply by $\mathbf{res}_!(Y)$.
    
    Passing to the limit over $n \ge 0$ we obtain a commutative diagram of the form
        \[
        \begin{tikzcd}
            \mathrm{AnNil}_{X_\mathrm{red}/ /\mathbf{res}_!(Y)} \ar{rr} \ar{rd} & & \lim_{n \ge 0} \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}} \\
                                                & \mathrm{AnNil}_{X/ /Y} \ar{ur}.
        \end{tikzcd}
        \]  
    The horizontal morphism is cofinal since it fits into an adjunction, by our previous considerations. Thanks to \cite[
        Corollary 4.1.1.9]{HTT} in order to show that the natural morphism
        \[
            \mathrm{AnNil}_{X_\mathrm{red}/ /\mathbf{res}_!(Y)} \to \mathrm{AnNil}_{X/ /Y},
        \]
    is cofinal, it suffices to prove that $\mathrm{AnNil}_{X/ /Y} \to \lim_{n \ge 0} \mathrm{AnNil}_{\mathrm t_{\le n}(X)/ /Y^{\le n}}$ is itself cofinal. But the latter is an immediate consequence of
    the fact that derived $k$-analytic spaces are nilcomplete, c.f. \cite[Lemma 7.7]{Porta_Yu_Representability}, combined with assumption (3) in \cref{defin:analytic_formal_moduli_problems_under}.
    Assertion (1) of the Proposition now follows from the observation that the functor
        \[
            \mathrm{AnNil}_{X_\mathrm{red}/ /\mathbf{res}_!(Y)} \to \mathrm{AnNil}_{X/ /Y},
        \]
    factors through the full subcategory $\mathrm{AnNil}_{X/ /Y}^{\mathrm{cl}} \subseteq \mathrm{AnNil}_{X/ /Y}$.
    
    Claim (2) follows immediately from (1) combined with Yoneda Lemma. To prove (3) we shall make use of \cite[Lemma 5.3.1.12]{HTT}. Let
        \[
            F \colon \partial \Delta^n \to \mathrm{AnNil}^\mathrm{cl}_{X//Y}.  
        \]
    For each $[m] \in \Delta^{n}$, denote by $S_m \coloneqq F([m]) $ in $\mathrm{AnNil}^\mathrm{cl}_{X//Y}$. The pushout
        \[
            S_n \bigsqcup_X S_{n-1},  
        \]
    exists in $\mathrm{AnNil}^\mathrm{cl}_{X/}$. We wish to show that $S_n \bigsqcup_X S_{n-1}$ admits a morphism
        \[S_n \bigsqcup_X S_{n-1} \to Y,\]
    compatible with the diagram $F$. In order to prove the latter assertion, we observe that \cref{prop:filtered_colimit_for_nil-embeddings} can filter the diagram $F$ by diagrams $F_i \to F$ such that $X \to F_0$ is formed by square-zero
    extensions and so are each transition morphisms $F_i \to F_{i+1}$. This implies that for every $j \ge 0$, we can find morphisms
        \[
            \mathrm t_{\le j}(S_n) \bigsqcup_{\mathrm t_{\le j}(X)} \mathrm t_{\le j}(S_n-1) \to Y^{\le j}, 
        \]
    which are compatible for varying $j \ge 0$.
    Moreover, the fact that $Y$ satisfies condition (2) in \cref{defin:analytic_formal_moduli_problems_under}
    implies that we can find a well defined morphism
        \[
            S_n \bigsqcup_X S_{n-1} \to Y,  
        \]
    which is compatible with $F$, as desired.
\end{proof}

As a Corollary we deduce the following important result:

\begin{cor}
    Let $X \in \mathrm{dAn}_k$, then the $\infty$-category\xspace $\mathrm{AnFMP}_{X/ }$ is presentable. In particular, the latter admits all small colimits.
\end{cor}

\begin{proof} Consider the fully faithful functor
        \[
            \mathrm{AnNil}_{X/ }^\mathrm{cl} \hookrightarrow \mathrm{AnNil}_{X/ } \to \mathrm{AnFMP}_{X/ }.
        \]
    It follows from the definitions that the $\infty$-category\xspace $\mathrm{AnFMP}_{X/ }$ admits filtered colimits. In particular, we obtain
    a well defined functor
        \[
            F \colon \mathrm{Ind}(\mathrm{AnNil}_{X/ } ^\mathrm{cl}) \to \mathrm{AnFMP}_{X/ },
        \]
    which is further fully faithful, since every the image of every $(X \to S) \in \mathrm{AnNil}_{X/ }$ is compact in $\mathrm{AnFMP}_{X/ }$.
    It follows from \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} that $F$ itself is essentially surjective. Since the
    $\infty$-category\xspace $\mathrm{AnNil}_{X/ }^\mathrm{cl}$ is essentially small we are reduced to show that $\mathrm{AnFMP}_{X/ }$ admits all small colimits. 
    We already know that $\mathrm{AnFMP}_{X/ }$ admits filtered colimits. We shall prove that $\mathrm{AnFMP}_{X/ }$ admits finite colimits as well.
    As a consequence of \cref{prop:existence_of_pushouts_along_closed_nil-isomorphisms}, we deduce that
    the $\infty$-category\xspace $\mathrm{AnNil}_{X/ }^\mathrm{cl}$ admits all finite colimits. It is now clear that $\mathrm{AnFMP}_{X/ }$ admits finite colimits as well,
    and the proof is concluded.
\end{proof}


\begin{defin}
    Let $Y \in \mathrm{AnFMP}_{X/}$ denote an analytic formal moduli problem under $X$. The \emph{relative pro-analytic cotangent complex of $Y$ under $X$} is defined as the pro-object
        \begin{align*}
            \mathbb L^\mathrm{an}_{X/Y} &  \coloneqq \{ \mathbb L^\mathrm{an}_{X/Z} \}_{Z \in \mathrm{AnNil}^\mathrm{cl}_{X//Y}} \\
                          &  \in \mathrm{Pro}(\mathrm{Coh}^+(X)),
        \end{align*}
    where, for each $Z \in \mathrm{AnNil}^\mathrm{cl}_{X//Y}$
        \[\mathbb L^\mathrm{an}_{X/Z} \in \mathrm{Coh}^+(X),\]
    denotes the usual relative analytic cotangent complex associated to
    the structural morphism $X \to Z$ in $\mathrm{AnNil}^\mathrm{cl}_{X//Y}$.
\end{defin}


\begin{rem}
    Let $Y \in \mathrm{AnFMP}_{X/}$. For a general $Z \in \mathrm{dAn}_k$, there exists a natural morphism
        \[
            \mathbb L^\mathrm{an}_X \to \mathbb L^\mathrm{an}_{X/Z} ,  
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(X)$. Passing to the limit over $Z \in \mathrm{AnNil}^\mathrm{cl}_{X//Z}$, we obtain a natural map
        \[
            \mathbb L^\mathrm{an}_X \to \mathbb L^\mathrm{an}_{X/Y},  
        \]
    in $\mathrm{Pro}(\mathrm{Coh}^+(X))$, as well.
\end{rem}

The following result justifies our choice of terminology for the object $\mathbb L^\mathrm{an}_{X/Y} \in \mathrm{Pro}(\mathrm{Coh}^+(X))$:

\begin{lem} \label{lem:pro_cot_complex_classifies_nil_extensions_for_analytic_moduli_problems}
    Let $Y \in \mathrm{AnFMP}_{X/}$. Let $X \hookrightarrow S$ be a square-zero extension associated to an analytic derivation
        \[
            d \colon \mathbb L^\mathrm{an}_S \to \mathcal F [1] ,  
        \]
    where $\mathcal F \in \mathrm{Coh}^+(X)^{\ge 0}$. Then there exists a natural morphism
        \[
            \Map_{\mathrm{AnFMP}_{X/}}(S, Y) \to \Map_{\mathrm{Pro}(\mathrm{Coh}^+(X))}(\mathbb L^\mathrm{an}_{X/Y}, \mathcal F) \times_{\Map_{\mathrm{Coh}^+(X)}(\mathbb L^\mathrm{an}, \mathcal F)} \{ d \}
        \]
    which is furthermore an equivalence in the $\infty$-category\xspace $\mathcal S$.
\end{lem}

\begin{proof}
    Thanks to \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} combined with the Yoneda Lemma
    we can identify the space of liftings of the map $X \to Y$ along $X \to S$ with the mapping space
        \[
            \Map_{\mathrm{AnFMP}_{X/}}(S, Y) \simeq \colim_{Z \in \mathrm{AnNil}_{X//Y}} \Map_{\mathrm{AnNil}_{X/}} (S, Z).  
        \]
    Fix $Z \in \mathrm{AnNil}_{X//Y}^\mathrm{cl}$. Then we have a natural identification of mapping spaces
        \begin{align} \label{eq:identification_of_universal_property_of_rel_an_cotagent_complex}
            \Map_{\mathrm{AnNil}_{X/}} (S, Z) & \simeq \Map_{(\mathrm{dAn}_k)_{X/}} (S, Z) \\
                                      & \simeq \Map_{\mathrm{Coh}^+(X)}(\mathbb L^\mathrm{an}_{X/Z}, \mathcal F) \times_{\Map_{\mathrm{Coh}^+(X)}(\mathbb L^\mathrm{an}_X, \mathcal F)} \{ d \},
        \end{align}
    see \cite[\S 5.4]{Porta_Yu_Representability} for a justification of the latter assertion.
    Passing to the colimit over $Z \in \mathrm{AnNil}_{X//Y}^\mathrm{cl}$, we conclude thanks to the formula for mapping spaces in pro-$\infty$-categories\xspace that we have
    a natural equivalence
        \[
            \Map_{\mathrm{AnFMP}_{X/}}(S, Y) \simeq \Map_{\mathrm{Pro}(\mathrm{Coh}^+(X))}(\mathbb L^\mathrm{an}_{X/Y}, \mathcal F) \times_{\Map_{\mathrm{Coh}^+(X)}(\mathbb L^\mathrm{an}, \mathcal F)} \{ d \},
        \]
    as desired.
\end{proof}

\begin{construction} \label{rem:morphisms_of_AnFMP_induce_transition_morphisms_on_relative_analytic_cot_complexes}
    Let $f \colon Y \to Z$ denote a morphism in $\mathrm{AnFMP}_{X/}$. Then, for every $S \in \mathrm{AnNil}_{X/ /Y}^\mathrm{cl}$, the induced morphism
        \[
            S \to Z,   
        \]
    in $\mathrm{AnFMP}_{X/}$ factors necessarily through some $S' \in \mathrm{AnNil}^\mathrm{cl}_{X/ /Z}$. For this reason, we obtain a natural morphism
        \[
            \mathbb L^\mathrm{an}_{X/S'} \to \mathbb L^\mathrm{an}_{X/S},  
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(X)$. Passing to the limit over $S \in \mathrm{AnNil}^\mathrm{cl}_{X//Y}$ we obtain a canonically defined morphism
        \[
            \theta (f) \colon \mathbb L^\mathrm{an}_{X/Z} \to \mathbb L^\mathrm{an}_{X/Y},  
        \]
    in $\mathrm{Pro}(\mathrm{Coh}^+(X))$. Moreover, this association is functorial and thus we obtain a well defined functor
        \[
            \mathbb L^\mathrm{an}_{X/ \bullet} \colon \mathrm{AnFMP}_{X/ } \to \mathrm{Pro}(\mathrm{Coh}^+(X)),  
        \]
    given by the formula
        \[
            (X \to Y) \in \mathrm{AnFMP}_{X/ } \mapsto \mathbb L^\mathrm{an}_{X/ Y} \in \mathrm{Pro}(\mathrm{Coh}^+(X)).  
        \]
\end{construction}

\begin{prop} \label{prop:conservativity_of_relative_an_cot_complex}
    Let $X \in \mathrm{dAn}_k$ be a derived $k$-analytic space. Then the functor
    \[
        \mathbb L^\mathrm{an}_{X/ \bullet} \colon \mathrm{AnFMP}_{X/} \to \mathrm{Pro}(\mathrm{Coh}^+(X)),
    \]
    obtained via \cref{rem:morphisms_of_AnFMP_induce_transition_morphisms_on_relative_analytic_cot_complexes,rem:morphisms_of_AnFMP_induce_transition_morphisms_on_relative_analytic_cot_complexes},
    is conservative.
\end{prop}

\begin{proof} Let $f \colon Y \to Z $ be a morphism in $\mathrm{AnFMP}_{X/}$.
    Thanks to \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} we are reduced to show that given any
        \[
            S \in \mathrm{AnNil}_{X//Z}^\mathrm{cl},  
        \]
    the structural morphism $g_S \colon X \to S$ admits a unique extension $S \to Y$ which factors the structural morphism $X \to Z$. Thanks to
    \cref{prop:filtered_colimit_for_nil-embeddings} we can reduce ourselves to the case where $X \to S$ has the structure of
    a square-zero extension. In this case, the result follows from \cref{lem:pro_cot_complex_classifies_nil_extensions_for_analytic_moduli_problems}
    combined with our hypothesis.
\end{proof}

Our goal now is to give an alternative description of analytic formal moduli problems under $X \in \mathrm{dAn}_k$, in terms of derived $k$-analytic stacks: 

\begin{construction} \label{const:anFMP_as_ind_inf_schemes} Consider the $\infty$-category\xspace of derived $k$-analytic stacks, $\mathrm{dAnSt}_k$.
    We have a natural functor
        \[
            h \colon \mathrm{AnNil}_{X/} \to \mathrm{dAn}_k \hookrightarrow \mathrm{dAnSt}_k.
        \]
    Therefore, given any derived $k$-analytic stack $Y$ equipped with a morphism $X \to Y$, one can consider its restriction to the $\infty$-category\xspace
    $\mathrm{AnNil}_{X/}$:
        \[
            Y \circ h \colon \mathrm{AnNil}_{X/} ^\mathrm{op} \to \mathcal S.      
        \]
    We have thus a natural restriction functor
        \[
            h_* \colon \mathrm{dAnSt}_k \to \Fun(\mathrm{AnNil}_{X/} ^\mathrm{op}, \mathcal S).  
        \]
On the other hand, \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} allows us to define a natural functor
    \[
        F \colon \mathrm{AnNil}_{X/} ^\mathrm{op} \to \mathrm{dAnSt}_k
    \]
via the formula
    \[
        (X \to Y) \in \mathrm{AnFMP}_{X/ } \mapsto \colim_{S \in \mathrm{AnNil}_{X/ /Y}^\mathrm{cl}} S,  
    \]
the colimit being computed in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. The latter agrees with the left Kan extension of the functor 
    \[
        h \colon \mathrm{AnNil}_{X/ } \to \mathrm{dAnSt}_k,  
    \]
along the natural inclusion functor $\mathrm{AnNil}_{X/ } \hookrightarrow \mathrm{AnFMP}_{X/ }$.
In particular, any analytic formal moduli under $X$ when regarded as a derived $k$-analytic stack can be realized
as an \emph{ind}-\emph{inf}-object, i.e. it can be written as a filtered colimit of nil-embeddings $X \to Z$.
We refer the reader to \cite[\S1]{Gaitsgory_Study_II} for a precise meaning
of the latter notion in the algebraic setting.
\end{construction}





\begin{defin}
    Let $f \colon X \to Y$ be a morphism in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. We shall say that $f$ has a \emph{deformation theory} if it satisfies the following conditions:
    \begin{enumerate}
        \item Both $X$ and $Y$ is \emph{nilcomplete}, c.f. \cite[Definition 7.4]{Porta_Yu_Representability};
        \item $Y$ is \emph{infinitesimally cartesian} if it satisfies \cite[Definition 7.3]{Porta_Yu_Representability};
        \item The morphism $f \colon X \to Y$ admits a relative \emph{analytic pro-cotangent complex}, i.e., if it satisfies \cite[Definition 7.6]{Porta_Yu_Representability} under the weaker assumption
        that the corresponding derivation functor is pro-corepresentable.
    \end{enumerate}
\end{defin}

\begin{prop} \label{prop:sufficient_conditions_for_a_prestack_to_be_equiv_to_an_analytic_FMP}
    Let $Y \in (\mathrm{dAnSt}_k)_{X/}$. Assume further that $Y$ admits a deformation theory.
    Then $Y$ is equivalent to an analytic formal moduli problem under $X$.
\end{prop}

\begin{proof}
    We must prove that given a pushout diagram
        \[
        \begin{tikzcd}
            S \ar{r}{f} \ar{d}{g} & S' \ar{d} \\
            T \ar{r} & T'  
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{AnNil}_{X/}$, where $f$ has the structure of a square-zero extension, then the natural morphism
        \[
            Y(T') \to Y(T) \times_{Y(S)} Y(S'),  
        \]
    is an equivalence in the $\infty$-category\xspace $\mathcal S$. Suppose further that $S \hookrightarrow S'$ is associated to some analytic derivation
        \[
            d \colon \mathbb L^\mathrm{an}_S \to \mathcal F[1],
        \]
    for some $\mathcal F \in \mathrm{Coh}^+(S)^{\ge 0}$.
    Thanks to \cref{lem:pushouts_of_square_zero_extensions_have_the_structure_of_a_square_zero_extension} we deduce
    that the induced morphism $T \to T'$ admits a structure of a square-zero extension, as well.
    Then, by our assumptions that $Y$ is infinitesimally cartesian and it admits a relative pro-cotangent complex, we obtain a chain of natural equivalences of the form
        \begin{align*}
            Y(T') & \simeq \bigsqcup_{f \colon T \to Y} \Map_{T/ }(T', Y) \\
                  & \simeq \bigsqcup_{f \colon T \to Y} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(T))_{\mathbb L^\mathrm{an}_T/ }}(\mathbb L^\mathrm{an}_{T/ Y}, g_*(\mathcal F)[1]) \\
                  & \simeq \bigsqcup_{f \colon T \to Y} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(S))_{g^* \mathbb L^\mathrm{an}_T/ }}(g^* \mathbb L^\mathrm{an}_{T/ Y}, \mathcal F[1]) \\
                  & \simeq \bigsqcup_{f \colon T \to Y} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(S))_{\mathbb L^\mathrm{an}_S/ }}(\mathbb L^\mathrm{an}_{S/ Y}, \mathcal F[1]) \\
                  & \simeq \bigsqcup_{f \colon T \to Y} \Map_{S/ }(S', Y) \\
                  & \simeq Y(T) \times_{Y(S)} Y(S'),
        \end{align*}
    where only the fourth equivalence requires an additional justification, namely: it follows from the existence of a commutative diagram between fiber sequences
        \[
        \begin{tikzcd}    
            g^* f^*\mathbb L^\mathrm{an}_Y \ar{r} \ar{d}{=} & g^* \mathbb L^\mathrm{an}_{T} \ar{r} \ar{d} &  g^* \mathbb L^\mathrm{an}_{T/Y} \ar{d} \\
            (f\circ g)^*\mathbb L^\mathrm{an}_Y \ar{r} & \mathbb L^\mathrm{an}_{S} \ar{r} & \mathbb L^\mathrm{an}_{S/Y},
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(S))$ combined with the fact that the derivation $d_T \colon \mathbb L^\mathrm{an}_T \to g_*(\mathcal F)[1]$ is induced from
        \[
            d \colon \mathbb L^\mathrm{an}_S \to \mathcal F[1],
        \]
    as in the proof of \cref{lem:pushouts_of_square_zero_extensions_have_the_structure_of_a_square_zero_extension}. The result now follows.
\end{proof}

\begin{prop} \label{prop:stacks_under_X_with_deformation_theory_are_analytic_FMP}
    Let $Z \in (\mathrm{dAnSt}_k)_{X/ }$ such that the structural morphism $X \to Z$ is a nil-isomorphism and assume that
    $Z$ admits a deformation theory. Then the natural morphism
        \[
            \colim_{S \in \mathrm{AnNil}_{X/ /Z}^\mathrm{cl}} S \to Z,  
        \]
    in the $\infty$-category\xspace $(\mathrm{dAnSt}_k)_{/X}$, is an equivalence.
\end{prop}

\begin{proof}
    We shall prove that for every derived $k$-analytic space $T \in \mathrm{dAn}_k$, any diagram of the form
        \[
        \begin{tikzcd}
            X \ar{rr}{f} \ar{rd}{g} & & Z \\
                & T \ar{ru}{h} &  
        \end{tikzcd},
        \]
    factors through an object
        \[
            X \to S \to Z,  
        \]
    in $\mathrm{AnNil}_{X/ /Z}^\mathrm{cl}$. Consider the commutative diagram
        \begin{equation} \label{eq:comm_diagram_T_T_red_X_to_Z}
        \begin{tikzcd}
            X_{\mathrm{red}} \ar{r} \ar{d} & T_\mathrm{red} \ar{d} \ar{dr} & \\
            X \ar{r} & T \ar{r} & Z,
        \end{tikzcd}
        \end{equation}
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Since $Z_\mathrm{red} \simeq X_\mathrm{red}$ we obtain that $T_\mathrm{red} \to Z$ factors necessarily through the colimit
        \[
            \colim_{S \in \mathrm{AnNil}^\mathrm{cl}_{X/ /Z}} S \in \mathrm{AnPreStk}.  
        \]
    Assume first that $T$ is bounded, i.e. $T \in \mathrm{dAn}_k^{< \infty}$. Then we can construct $T$ out of $T_\mathrm{red}$ via a finite sequence of square-zero extensions,
    as in \cref{prop:filtered_colimit_for_nil-embeddings}. Therefore, in order to construct
    a factorization
        \[
            T \to S \to Z,  
        \]
    in $\mathrm{AnPreStk}_{X/}$, we reduce ourselves to the case where the morphism $T_\mathrm{red} \to T$ is itself a square-zero extension.
    In this case, let
        \[
            d \colon \mathbb L^\mathrm{an}_{T_\mathrm{red}} \to \mathcal F[1],  
        \]
    where $\mathcal F \in \mathrm{Coh}^+(T_\mathrm{red})^{\ge 0}$ be the associated derivation. The existence of the diagram \eqref{eq:comm_diagram_T_T_red_X_to_Z} implies that
    we have a commutative diagram of the form
        \[
        \begin{tikzcd}
                g^*\mathbb L^\mathrm{an}_{T_\mathrm{red}} \ar{r} & \mathbb L^\mathrm{an}_{X_\mathrm{red}} \ar{r} & \mathbb L^\mathrm{an}_{X_\mathrm{red}/ T_\mathrm{red}} \\
                f^* \mathbb L^\mathrm{an}_{Z} \ar{r} \ar{u} & \mathbb L^\mathrm{an}_{X_\mathrm{red}} \ar{u} \ar{r}& \mathbb L^\mathrm{an}_{X_\mathrm{red}/ Z} \ar{u},
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(X))$. For this reason, the limit-colimit formula for mapping spaces in pro-$\infty$-categories\xspace implies that the natural morphism
        \[
            \mathbb L^\mathrm{an}_{X_\mathrm{red}/ Z} \to \mathbb L^\mathrm{an}_{X_\mathrm{red}/ T_\mathrm{red}},
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(X))$ factors necessarily via a morphism of the form
        \[
            \mathbb L^\mathrm{an}_{X_\mathrm{red}/ S} \to \mathbb L^\mathrm{an}_{X_\mathrm{red}/ T_\mathrm{red}},  
        \]
    for some suitable $S \in \mathrm{AnNil}^\mathrm{cl}_{X/ /Z}$. Thus the existence problem
        \[
        \begin{tikzcd}
            T_\mathrm{red} \ar{r} \ar{d} & T \arrow[d, dashrightarrow] \ar{rd} & \\
            X_\mathrm{red} = S_\mathrm{red} \ar{r} & S  \ar{r} & Z,
        \end{tikzcd}
        \]
    admits a solution $T \to S \to Z$, as desired. If $T \in \mathrm{dAn}_k$ is a general derived $k$-analytic space, we reduce ourselves to the bounded case
    using the fact that $Z$ is nilcomplete.
\end{proof}


\begin{cor}
    The functor
        \[
            F \colon \mathrm{AnFMP}_{X/ } \to (\mathrm{dAnSt}_k)_{X/ },  
        \]
    is fully faithful. Moreover, its essential image coincides with those $Z \in (\mathrm{dAnSt}_k)_{X/ }$ which admit deformation theory.
\end{cor}

\begin{proof}
    Let $(\mathrm{dAnSt}_k)^{\mathrm{def}}_{X/ } \subseteq (\mathrm{dAnSt}_k)_{X/ }$ denote the full subcategory spanned by derived $k$-analytic stacks under $X$ admitting
    a deformation theory. It is clear that the natural functor
        \[
            F \colon \mathrm{AnFMP}_{X/ } \to (\mathrm{dAnSt}_k)_{X/ },  
        \]
    factors through the full subcategory $(\mathrm{dAnSt}_k)_{X/ }^\mathrm{def}$. Moreover, the restriction functor
        \[
            \mathrm{res} \colon (\mathrm{dAnSt}_k)_{X/ }^\mathrm{def} \to \Fun(\mathrm{AnNil}_{X/ }^\mathrm{op}, \mathcal S),  
        \]
    factors through $\mathrm{AnFMP}_{X/ } \subseteq \Fun(\mathrm{AnNil}_{X/ }^\mathrm{op}, \mathcal S)$. Moreover,
    \cref{prop:stacks_under_X_with_deformation_theory_are_analytic_FMP} implies that the restriction functor that $F$ and $\mathrm{res}$ are mutually inverse functors,
    proving the claim.
\end{proof}



\subsection{Analytic formal moduli problems over a base}
Let $X \in \mathrm{dAn}_k$ denote a derived $k$-analytic space. In \cite[Definition 6.11]{Porta_Yu_NQK}
the authors introduced the $\infty$-category\xspace of \emph{analytic formal moduli problems over $X$}, which we shall review:

\begin{notation}
    Let $X \in \mathrm{dAn}_k$. We shall denote by $\mathrm{AnNil}_{/X}$ the full subcategory of $(\mathrm{dAn}_k)_{/X}$ spanned by nil-isomorphisms
        \[
            Z \to X,
        \]
    in the $\infty$-category\xspace $\mathrm{dAn}_k$.
\end{notation}

\begin{defin} \label{defin:analytic_formal_problems_over_X}
    We denote by $\mathrm{AnFMP}_{/ X} \subseteq \Fun(\mathrm{AnNil}_{/ X} ^\mathrm{op}, \mathcal S)$ the full subcategory spanned by those functors $Y \colon \mathrm{AnNil}_{/ X} ^\mathrm{op} \to \mathcal S$
    satisfying the following:
    \begin{enumerate}
        \item $Y(X_\mathrm{red}) \simeq *$;
        \item The natural morphism
            \[
                Y(S) \to \lim_{n \ge 1} Y(\mathrm t_{\le n}(S)),  
            \]
        induced by the natural inclusion morphisms $\mathrm t_{\le n}(S) \to S$ for each $n \ge 0$, is an equivalence in $\mathcal S$;
        \item For each pushout diagram
            \[
            \begin{tikzcd}
                S \ar{r}{f} \ar{d}{g}  & S' \ar{d} \\
                T \ar{r} & T',
            \end{tikzcd}
            \]
        in $\mathrm{AnNil}_{/ X}$, for which $f$ has the structure of a square-zero extension, the canonical morphism
            \[
                Y(T') \to Y(T) \times_{Y(S)} Y(S'),
            \]
        is an equivalence in $\mathcal S$.
    \end{enumerate}
\end{defin}

\begin{defin}
    We shall denote by $\mathrm{AnNil}_{/X}^\mathrm{cl} \subseteq \mathrm{AnNil}_{/X}$ the faithful subcategory in wich we allow morphisms
        \[
            i \colon S \to S'  ,
        \]
    where $i$ is a nil-embedding in $\mathrm{dAn}_k$.
\end{defin}

We start with the analogue of \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} in the setting of analytic formal moduli problems over $X$:

\begin{prop} \label{prop:required_conditions_for_formal_moduli_problems}
    Let $Y \in \mathrm{AnFMP}_{/X}$. The following assertions hold:
    \begin{enumerate}
        \item The inclusion functor
            \[
                (\mathrm{AnNil}^{\mathrm{cl}}_{/X})_{/Y}  \to (\mathrm{AnNil}_{/X})_{/Y},
            \]
        is cofinal.
        \item The natural morphism
            \[
                \colim_{Z \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}}  Z \to Y,
            \]
        is an equivalence in the $\infty$-category\xspace $\mathrm{AnFMP}_{/X}$.
        \item The $\infty$-category\xspace $\mathrm{AnNil}_{/X}^\mathrm{cl}$ is filtered.
    \end{enumerate}
    We shall refer to objects in $\mathrm{AnFMP}_{/ X}$ as formal moduli problems over $X$.
\end{prop}

\begin{proof}
    We first prove assertion (1). Let $S \to Z$ be a morphism in $(\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}$. Consider the pushout diagram
        \begin{equation} \label{eq:diagram_pushout_of_nil_isomorphisms_with_ltv_being_the_reduced_subspace}
        \begin{tikzcd}
            S_\mathrm{red} \ar{r} \ar{d} & S \ar{d} \\
            Z \ar{r} & Z',
        \end{tikzcd}
        \end{equation}
    in the $\infty$-category\xspace $\mathrm{AnNil}_{/X}$ whose existence is guaranteed by \cref{prop:existence_of_pushouts_along_closed_nil-isomorphisms}. Since
    the upper horizontal morphism in \eqref{eq:diagram_pushout_of_nil_isomorphisms_with_ltv_being_the_reduced_subspace} is a nil-embedding
    combined with the fact that $Y$ is itself convergent, we can reduce
    ourselves via \cref{prop:filtered_colimit_for_nil-embeddings} to the case where the latter is an actual square-zero extension.
    Since $Y$ is assumed to be an analytic formal moduli problem over $X$ we then deduce that the canonical morphism
        \begin{align*}
            Y(Z') & \to Y(Z) \times_{Y(S_\mathrm{red})} Y(S) \\
            &\simeq Y(Z) \times Y(S),  
        \end{align*}
    is an equivalence (we implicitly used above the fact that $S_\mathrm{red} \simeq X_\mathrm{red}$). As a consequence the object $(Z' \to X)$ in $\mathrm{AnNil}_{/X}$ admits an induced morphism
    $Z' \to Y$ making the required diagram commute.
    Thanks to \cref{prop:existence_of_pushouts_along_closed_nil-isomorphisms} we deduce that both
    $S \to Z'$ and $Z \to Z'$ are nil-embeddings. Therefore, we can factor the diagram
        \[
        \begin{tikzcd}
            S \ar{rr} \ar{rd} & & Z \ar{dl} \\
                &               Y       &  
        \end{tikzcd}
        \]
    via a closed nil-isomorphism $Z \to Z'$. As a consequence, we deduce readily that the inclusion functor
        \[(\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y} \to (\mathrm{AnNil}_{/X})_{/Y},\]
    is cofinal.
    Assertion (2) is now an immediate consequence of (1). We now prove (3). Let 
        \[\theta \colon K \to (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y},\]
    be a functor where
    $K$ is a finite $\infty$-category\xspace. We must show that $\theta$ can be extended to a functor
        \[\theta^{\rhd} \colon K^{\rhd} \to (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}.\]
    Thanks to \cref{prop:filtered_colimit_for_nil-embeddings} we are allowed to reduce ourselves to the case where morphisms indexed by $K$
    are square-zero extensions. The result now follows from the fact that $Y$ being an analytic moduli problem sends finite colimits along square-zero extensions
    to finite limits.
\end{proof}

\begin{lem} \label{formal_moduli_under_induce_formal_moduli_over_via_base_change}
    Let $X \in \mathrm{dAn}_k$. Given any $Y \in \mathrm{AnFMP}_{X/ }$, then for each $i= 0, 1$ the $i$-th projection morphism
        \[
            p_i \colon X \times_Y X \to X,  
        \]
    computed in the $\infty$-category\xspace $\mathrm{dAnSt}_k$ lies in the essential image of $\mathrm{AnFMP}_{/X}$ via the canonical functor $\mathrm{AnFMP}_{/ X} \to (\mathrm{dAnSt}_k)_{/ X}$.
\end{lem}

\begin{proof}
    Consider the pullback diagram
        \[
        \begin{tikzcd}
            X \times_Y X \ar{r}{p_1} \ar{d}{p_0} & X \ar{d} \\
            X \ar{r} & Y ,
        \end{tikzcd}
        \]
    computed in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Thanks to \cref{prop:analytic_FMP_under_X_are_ind_inf_schemes} together with the fact that fiber products commute with filtered colimis in the $\infty$-category\xspace $\mathrm{dAnSt}_k$,
    we deduce that
        \[
            X \times_Y X \simeq \colim_{Z \in \mathrm{AnNil}^\mathrm{cl}_{X//Y}} X \times_Z X, 
        \]
    in $\mathrm{dAnSt}_k$. It is clear that $(p_i \colon X \times_Z X \to X)$ lies in the essential image of $ \mathrm{AnFMP}_{/X}$, for each $Z \in (\mathrm{AnNil}_{/ X} ^\mathrm{cl})_{/ Y}$ and $i = 0, 1$.
    Thus also the filtered colimit
        \[
            (p_i \colon X \times_Y X \to X) \in \mathrm{AnFMP}_{/X}, \quad \mathrm{for \ } i = 0, 1,
        \]  
    as desired.
\end{proof}


Just as in the previous section we deduce that every analytic formal moduli problem over $X$ admits the structure of an \emph{ind}-\emph{inf}-object
in $\mathrm{AnPreStk}_k$:

\begin{cor} \label{cor:formal_moduli_problems_over_X_are_ind_inf_objects}
    Let $Y \in (\mathrm{dAnSt}_k)_{/X}$. Then $Y$ is equivalent to an analytic formal moduli problem over $X$ if and only if there exists
    a presentation 
        \[Y \simeq \colim_{i \in I} Z_i,\]
    where $I$ is a filtered $\infty$-category\xspace and for every $i \to j$ in $I$, the induced morphism
        \[
          Z_i \to Z_j,  
        \]
    is a closed embedding of derived $k$-affinoid spaces that are nil-isomorphic to $X$.
\end{cor}

\begin{proof}
    It follows immediately from \cref{prop:required_conditions_for_formal_moduli_problems} (2).
\end{proof}

\begin{defin}
    Let $Y \in \mathrm{AnFMP}_{/X}$. We define the $\infty$-category\xspace of \emph{coherent modules on $Y$}, denoted $\mathrm{Coh}^+(Y)$, as the limit
        \[
            \mathrm{Coh}^+(Y) \coloneqq \lim_{Z \in (\mathrm{dAn}_k)_{/Y}}  \mathrm{Coh}^+(Z),
        \]
    computed in the $\infty$-category\xspace $\mathrm{Cat}_{\infty}^{\mathrm{st}}$. We define the $\infty$-category\xspace of \emph{pseudo-pro-coherent modules on $Y$}, denoted $\mathrm{Pro}^{\mathrm{ps}}(\mathrm{Coh}^+(Y))$, as
        \[
            \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y)) \coloneqq \lim_{Z \in (\mathrm{AnNil}_{/X}^\mathrm{cl})_{/Y}} \mathrm{Pro}(\mathrm{Coh}^+(Z)),  
        \]
    where the limit is computed in the $\infty$-category\xspace $\mathrm{Cat}_{\infty}^{\mathrm{st}}$.
\end{defin}

\begin{defin} Let $Y \in \mathrm{AnFMP}_{/X}$, $Z \in \mathrm{dAfd}_k$ and let $\mathcal F \in \mathrm{Coh}^+(Z)^{\ge 0}$. Suppose furthermore that we are given a morphism $f \colon Z \to Y$.
    We define the \emph{tangent space of $Y$ at $f$ twisted by $\mathcal F$} as the fiber
        \[
            \mathbb T^\mathrm{an}_{Y, Z, \mathcal F,f} \coloneqq \mathrm{fib}_f\big( Y(Z[\mathcal F]) \to Y(Z) \big) 
            \in \mathcal S.  
        \]
    Whenever the morphism $f$ is clear from the context, we shall drop the subscript $f$ above and denote the tangent space
    simply by $\mathbb T^\mathrm{an}_{Y, Z, \mathcal F}$.
\end{defin}


\begin{rem} \label{rem:construction_of_analytic_cotangent_complex_of_analytic_FMP_over_X} Let $Y \in \mathrm{AnFMP}_{/X}$.
    The equivalence of ind-objects
        \[
            Y \simeq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}} S,
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$, implies that, for any $Z \in \mathrm{dAfd}_k$, one has an equivalence of mapping spaces
        \[
            \Map_{\mathrm{dAnSt}_k}(Z, Y) \simeq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}}  \Map_{\mathrm{AnPreStk}}(Z,S ).
        \]
    For this reason, given any morphism $f \colon Z \to Y$ and any
    $\mathcal F \in \mathrm{Coh}^+(Z)^{\ge 0}$, we can identify the tangent space $\mathbb T^\mathrm{an}_{Y, Z, \mathcal F}$
    with the filtered colimit of spaces
        \begin{align} \label{eq:description_of_cotangent_complex_of_a_formal_moduli_problem_in_terms_of_its_tangent_space}
            \mathbb T^\mathrm{an}_{Y, Z, \mathcal F} & \simeq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{Z/ /Y}} \mathrm{fib}_f \big( S(Z[\mathcal F]) \to S(Z) \big) \\
                                & \simeq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{Z/ /Y}} \mathbb T^\mathrm{an}_{S, Z , \mathcal F } \\
                                & \simeq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{Z/ /Y}} \Map_{\mathrm{Coh}^+(Z)} (f_{S,Z}^* (\mathbb L^\mathrm{an}_S), \mathcal F),
        \end{align}
    where $f_{S, Z} \colon Z \to S$ is a transition morphism, in $(\mathrm{dAn}_k)_{/X}$, factoring $f \colon Z \to Y$ such that
        \[(S \to X) \in \mathrm{AnNil}^\mathrm{cl}_{/X}.\]
    The final equivalence in \eqref{eq:description_of_cotangent_complex_of_a_formal_moduli_problem_in_terms_of_its_tangent_space}, follows from \cite[Lemma 7.7]{Porta_Yu_Representability}.
    Therefore, we deduce that
    the analytic formal moduli problem
    $Y \in \mathrm{AnFMP}_{/X}$ admits an \emph{absolute pro-cotangent complex} given as
        \[
           \mathbb L^\mathrm{an}_Y \coloneqq \{ f^*_{S,Z}( \mathbb L^\mathrm{an}_S )  \}_{Z, S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}} \in \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y)).
        \]
\end{rem}   

\begin{cor}
    Let $Y \in \mathrm{AnFMP}_{/X}$. Then its absolute cotangent complex $\mathbb L^\mathrm{an}_Y$ classifies analytic deformations on $Y$. More precisely, given any morphism $Z \to Y$
    where $Z \in \mathrm{dAfd}_k$ and $\mathcal F \in \mathrm{Coh}^+(Z)^{\ge 0}$ one has a natural equivalence of mapping spaces
        \[
            \mathbb T^\mathrm{an}_{Y, Z, \mathcal F} \simeq \Map_{\mathrm{Pro}(\mathrm{Coh}^+(Y))}(\mathbb L^\mathrm{an}_Y, \mathcal F).  
        \]
\end{cor}

\begin{proof}
    It follows immediately from the natural equivalences displayed in \eqref{eq:description_of_cotangent_complex_of_a_formal_moduli_problem_in_terms_of_its_tangent_space}
    combined with the description of mapping spaces in $\infty$-categories\xspace of pro-objects.
\end{proof}

We now introduce the notion of square-zero extensions of analytic formal moduli problems over $X$:

\begin{construction} \label{const:square_zero_extensions_of_analytic_FMP_over_X}
    Let $(f \colon Y \to X) \in \mathrm{AnFMP}_{/X}$. Let $d \colon \mathbb L^\mathrm{an}_Y \to \mathcal F[1]$ be an \emph{analytic derivation} in $\mathrm{Pro}(\mathrm{Coh}^+(Y))$, where
    $\mathcal F \in \mathrm{Coh}^+(Y)^{\ge 0}$, such that
        \[  
            \mathcal F \simeq f^*(\mathcal F'),
        \]
    for some suitable object $\mathcal F' \in \mathrm{Coh}^+(X)^{\ge 0}$. Thanks to \cref{rem:construction_of_analytic_cotangent_complex_of_analytic_FMP_over_X}
    one has the following sequence of natural equivalences of mapping spaces
        \begin{align} \label{eq:mapping_space_of_derivations}
            \Map_{\mathrm{Pro}(\mathrm{Coh}^+(Y))} (\mathbb L^\mathrm{an}_Y , \mathcal F[1])  & \simeq 
            \lim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}} \colim_{S' \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{S//Y}} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(S))}(f_{S, S'}^*(\mathbb L^\mathrm{an}_{S'}), g_{S}^*(\mathcal F')[1]) \\
                                                         & \simeq
            \lim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}} \colim_{S' \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{S//Y}} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(S))}(\mathbb L^\mathrm{an}_{S'}, (f_{S, S'})_{ *} g_S^*(\mathcal F')[1]),
        \end{align}
    where $g_{S} \colon S \to X$ denotes the structural morphism in $\mathrm{AnNil}^\mathrm{cl}_{/X}$ and $f_{S, S'} \colon S \to S'$ a given transition morphism
    in the $\infty$-category\xspace $(\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}$. For this reason, we can form the filtered colimit
        \[
            Y' \coloneqq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}}  \colim_{S' \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{S//Y}} \widebar S' \in \mathrm{dAnSt}_k,
        \]
    where $S' \to \overline{S}'$ denotes the square-zero extension induced from $d$ together with \eqref{eq:mapping_space_of_derivations}.
    By construction, one has a natural morphism $Y \hookrightarrow Y'$ in the $\infty$-category\xspace $(\mathrm{dAnSt}_k)_{/ X}$.
    Moreover, thanks to \cref{prop:sufficient_conditions_for_a_prestack_to_be_equiv_to_an_analytic_FMP} it follows that $Y' \in \mathrm{AnFMP}_{/X}$.
\end{construction}

\begin{defin}
    Let $Y \in \mathrm{AnFMP}_{/X}$. Suppose we are given an analytic derivation
        \[
            d \colon \mathbb L^\mathrm{an}_Y \to \mathcal F [1],  
        \]
    in $\mathrm{Pro}(\mathrm{Coh}^+(Y))$ where $\mathcal F \in \mathrm{Coh}^+(Y)^{\ge 0}$ is such that $\mathcal F \simeq f^*(\mathcal F')$, for some $\mathcal F' \in \mathrm{Coh}^+(X)^{\ge 0}$. We shall
    say that the induced morphism
        \[
            h \colon Y \to Y',  
        \] 
    defined in \cref{const:square_zero_extensions_of_analytic_FMP_over_X}, is a \emph{square-zero extension} of $Y$
    associated to the analytic derivation $d$. 
\end{defin}

\begin{cor} \label{cor:construction_of_square_zero_extensions_for_analytic_FMP_using_univ_property_of_cotangent_complex}
    Let $Y \in \mathrm{AnFMP}_{/X}$. Let $h \colon X \hookrightarrow S$ denote a square-zero extension in $\mathrm{dAn}_k$.
    Then the space of cartesian squares
        \[
        \begin{tikzcd}
            Y \ar{r}{h'} \ar{d}{f} & Y' \ar{d}{g} \\
            X \ar{r}{h} & S,
        \end{tikzcd}
        \]
    such that $h' \colon Y \to Y'$ is a square-zero extension and $g \colon Y' \to S$ exhibits the former
    as an analytic formal moduli problem over $S$ is naturally equivalent to the space of factorizations
        \[
            f^* \mathbb L^\mathrm{an}_X \to \mathbb L^\mathrm{an}_Y \to f^*( \mathcal F')[1],
        \]
    in $\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y))$, of the analytic derivation $d \colon \mathbb L^\mathrm{an}_X \to \mathcal F'[1]$ associated to the morphism $h$ above.
\end{cor}

\begin{proof}
    By the universal property of filtered colimits together with the fact that these preserve fiber products we reduce the statement to the case where $Y \in \mathrm{AnNil}_{/X}$ and thus $Y' \in \mathrm{AnNil}_{/S}$, in which
    case the statement follows immediately by the universal property of the relative analytic cotangent complex.
\end{proof}

\begin{cor} \label{cor:universal_property_of_relative_cotangent_complex_for_morphisms_between_analytic_FMP}
    Let $f \colon Z \to X$ be a morphism in the $\infty$-category\xspace $\mathrm{dAn}_k$. Suppose we are given analytic formal moduli problems
        \[
            f \colon Y \to X \quad \mathrm{and} \quad g \colon \widetilde Z \to Z
        \]
    together with a commutative diagram
        \[
        \begin{tikzcd}
            \widetilde Z \ar{r}{s} \ar{d} & Y \ar{d} \\
            Z \ar{r}{f} & X,  
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Let $d \colon \mathbb L^\mathrm{an}_Z \to \mathcal F[1]$, where $\mathcal F \in \mathrm{Coh}^+(Z)^{\ge 0}$, be an analytic derivation corresponding to a square-zero extension morphism
    $Z \to Z'$ in the $\infty$-category\xspace $\mathrm{dAn}_k$. Assume that $d$ induces a square-zero extension
    $\widetilde{d} \colon \mathbb L^\mathrm{an}_{\widetilde Z} \to \mathcal F[1]$
    and let $h \colon \widetilde Z \hookrightarrow \widetilde Z'$ be the induced square-zero extension in $\mathrm{dAnSt}_k$ such that we have a cartesian diagram
        \[
        \begin{tikzcd}
            \widetilde Z \ar{r} \ar{d} & \widetilde Z' \ar{d} \\
            Z \ar{r} & Z'  
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Then the space of factorizations
        \[
            s \colon \widetilde Z \to \widetilde Z' \to Y,  
        \]
    is naturally equivalent to the space of factorizations
        \[
            \widetilde{d} \colon \mathbb L^\mathrm{an}_{\widetilde Z} \to  \mathbb L^\mathrm{an}_{\widetilde Z/ Y} \to \mathcal F[1]  ,
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(\widetilde Z))$.
\end{cor}

\begin{proof}
    The statement holds true in the case where $\widetilde Z \in \mathrm{AnNil}_{/Z}$ and $Y \in \mathrm{AnNil}_{/X}$, by the universal property of the relative cotangent complex.
    The general case is reduced to the previous one by a standard argument with ind-objects in $\mathrm{dAnSt}_k$.
\end{proof}


\subsection{Non-archimedean nil-descent for almost perfect complexes}
In this \S, we prove that the $\infty$-category\xspace $\mathrm{Coh}^+(X)$, for $X \in \mathrm{dAn}_k$ satisfies nil-descent with respect to morphims $Y \to X$, which exhibit
the former as an analytic formal moduli problem over $X$.

\begin{prop} \label{prop:nil_descent_for_Coh^+}
    Let $f \colon Y \to X$, where $X \in \mathrm{dAn}_k$ and $Y \in \mathrm{AnFMP}_{/X}$. Consider the \v{C}ech nerve
    $Y^\bullet \colon \mathbf \Delta ^\mathrm{op} \to \mathrm{dAnSt}_k$ associated to $f$.
    Then the natural functor
        \[
            f_\bullet^* \colon \mathrm{Coh}^+(X) \to \lim_{\bm{\Delta} }(\mathrm{Coh}^+(Y^\bullet)),  
        \]
    is an equivalence of $\infty$-categories\xspace.
\end{prop}

\begin{proof}
    Consider the natural equivalence of derived $k$-analytic stacks
        \[
            Y \simeq \colim_{Z \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}}  Z.
        \]
    Then, by definition one has a natural equivalence
        \[
            \mathrm{Coh}^+(Y) \simeq \lim_{Z \in (\mathrm{AnNil}^\mathrm{cl}_{/X})_{/Y}} \mathrm{Coh}^+(Z),  
        \]
    of $\infty$-categories\xspace. In particular, since totalizations commute with cofiltered limits in $\mathrm{Cat}_\infty$, it follows that we can suppose from
    the beginning that $Y \simeq Z$ for some $Z \in \mathrm{AnNil}_{/X}$. In this case, the morphism $f \colon Y \to X$ is affine. In particular, the fact that
    $\mathrm{Coh}^+(-)$ satisfies descent along admissible open immersions, combined with \cref{lem:affine_morphisms_are_compatible_with_Zariski_localization_on_the_base} we further reduce ourselves
    to the case where both $X$ and $Y$ are derived $k$-affinoid spaces. In this case, by Tate acyclicity
    theorem it follows that letting $A \coloneqq \Gamma(X, \mathcal O_X ^\mathrm{alg})$ and $B \coloneqq \Gamma(Y, \mathcal O_Y^\mathrm{alg}),$ the pullback functor $f^*$ can be identified with
    the usual base change functor
        \[
            \mathrm{Coh}^+(A) \to \mathrm{Coh}^+(B).  
        \]
    In this case, it follows that $B$ is nil-isomophic to $A$. Moreover, since the latter are noetherian derived $k$-algebras
    the statement of the proposition follows due to \cite[Theorem 3.3.1]{preygel_Leistner_Mapping_stacks_properness}.
\end{proof}

We now deduce \emph{pseudo-pro-nil-descent} for moprhisms of the form $Y \to X$, which exhibit $Y$ as an analytic formal moduli problem over $X$:

\begin{cor} \label{cor:pseudo_nil-descent_for_pro_Coh^+}
    Let $X \in \mathrm{dAn}_k$ and $f \colon Y \to X$ a morphism in $\mathrm{dAnSt}_k$ which exhibits $Y$ as an analytic formal moduli problem over $X$.
    Then the natural functor 
        \[
            f_\bullet^* \colon \mathrm{Pro}(\mathrm{Coh}^+ (X)) \to \lim_{\bm{\Delta}}(\mathrm{Pro}^\mathrm{ps}\mathrm{Coh}^+(Y^\bullet/X)),
        \]
    is fully faithful, where $Y^\bullet$ denotes the \v{C}ech nerve associated to the morphism $f$. Moreover, the essential image of the functor $f_\bullet^*$ identifies canonically with the full subcategory
        \[
            \lim_{\bm{\Delta}}'\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(X)) \subseteq \lim_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y^\bullet/ X)),
        \]
    spanned by those $\{\mathcal F_{i, [n]} \}_{i \in I^\mathrm{op}, [n]} \in \lim_{\bm{\Delta}}(\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y^\bullet/X)))$, for some filtered $\infty$-category\xspace $I$, which belong to the essential image of the natural
    functor
        \[
            \lim_{\bm{\Delta}} \Fun(I^\mathrm{op}, \mathrm{Coh}^+(Y^\bullet/X)) \to \lim_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y^\bullet/X)) . 
        \]
\end{cor}

\begin{proof}
    By the very definition of the $\infty$-category\xspace $\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(Y))$, we reduce ourselves as in
    \cref{prop:nil_descent_for_Coh^+} to the case where $Y = S$, for some $S \in \mathrm{AnNil}_{/X}$. In this case, it follows readily from
    \cref{prop:nil_descent_for_Coh^+} that the natural functor
        \[
            f_\bullet^* \colon \mathrm{Pro}(\mathrm{Coh}^+(X)) \to \lim_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(S^\bullet/X)),  
        \]
    is fully faithful. We now proceed to prove the second claim of the corollary. Notice that,
    \cref{lem:f^*_admits_a_right_adjoint_whenever_f_is_nil-iso} implies that there exists a well defined right adjoint
        \[
            f_* \colon \mathrm{Coh}^+(S) \to \mathrm{Coh}^+(X),  
        \]
    to the usual pullback functor $f^* \colon \mathrm{Coh}^+(X) \to \mathrm{Coh}^+(S)$. We can extend the right adjoint $f_*$ to a well defined functor
        \[
            f_* \colon \mathrm{Pro}(\mathrm{Coh}^+(S)) \to \mathrm{Pro}(\mathrm{Coh}^+(X)),  
        \]
    which commutes with cofiltered limits. For this reason, we have a well defined functor
        \[
            f_{\bullet, *} \colon \lim_{\bm{\Delta}}(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/X))) \to \mathrm{Pro}(\mathrm{Coh}^+(X)),  
        \]
    which further commutes with cofiltered limits. Denote by $\mathcal D \coloneqq \lim_{\bm{\Delta}}(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/X)))$.
    We claim that $ f_{\bullet, *}$ is a right adjoint to $f_\bullet^*$ above.
    Indeed, given
    any $\{ \mathcal F_i \}_{i \in I^\mathrm{op}}  \in \mathrm{Pro}(\mathrm{Coh}^+(X))$ and $\{ \mathcal G_{j, [n]} \}_{j \in J_{[n]} ^\mathrm{op}, [n] \in \bm{\Delta} ^\mathrm{op}} \in \lim_{\bm{\Delta}}(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/X)))$,
    we compute
        \begin{align*}
            \Map_{\mathcal D}( f_\bullet^*( \{ \mathcal F_i \}_{i \in I^\mathrm{op}}), \{ \mathcal G_{j, [n]} \}_{j \in J^\mathrm{op}_{[n]}, [n] \in \bm{\Delta} ^\mathrm{op}}) & \simeq \lim_{[n] \in \bm{\Delta}} \Map_{\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(S^{[n]}))} \bigg( \{f_{[n]}^\bullet(\mathcal F_i) \}_{i \in I^\mathrm{op}},  \{ \mathcal G_{i, [n]} \}_{i \in I^\mathrm{op}_{[n]}} \bigg) \\
            \lim_{[n] \in \bm{\Delta} ^\mathrm{op}} \lim_{j \in J^\mathrm{op}_{[n]}} \mathrm{colim}_{i \in I} \Map_{\mathrm{Coh}^+(S^{[n]})} ( f_{[n]}^*(\mathcal F_i),   \mathcal G_{i, [n]}) & \simeq \lim_{[n] \in \bm{\Delta}} \lim_{j \in J^\mathrm{op}_{[n]}} \colim_{i \in I} \Map_{\mathrm{Coh}^+(X)} (\mathcal F_i, f_{[n], *}(\mathcal G_{i, [n]})) \\
            \lim_{[n] \in \bm{\Delta} ^\mathrm{op}} \Map_{\mathrm{Pro}(\mathrm{Coh}^+(X))}( \{\mathcal F_i\}_{i \in I^\mathrm{op}}, \{f_{[n], *}(\mathcal G_{i, [n]}) \}_{i \in I_{[n]} ^\mathrm{op}}) & \simeq \Map_{\mathrm{Pro}(\mathrm{Coh}^+(X))}( \{\mathcal F_i\}_{i \in I^\mathrm{op}}, \lim_{[n] \in \bm{\Delta}} \{f_{[n], *}(\mathcal G_{i, [n]}) \}_{i \in I_{[n]} ^\mathrm{op}}),
        \end{align*}
    as desired. 
    It is clear that the functor $f_{\bullet
    }^*$ above factors through the full subcategory
        \[
            \lim_{\bm{\Delta}}'(\mathrm{Pro}^\mathrm{ps}( \mathrm{Coh}^+(S^\bullet / X)))  \subseteq \lim_{\bm{\Delta}}(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/X))).
        \]
    For this reason, the pair $(f_\bullet^*, f_{\bullet, *})$ restricts to a well defined adjunction
        \[
            f^*_{\bullet} \colon \mathrm{Pro}(\mathrm{Coh}^+(X))  \rightleftarrows  \lim_{\bm{\Delta}}'(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/ X))) \colon f_{\bullet, *}.  
        \]
    In order to conclude, we will show that the functor
        \[
            f_{\bullet, *} \colon  \lim_{\bm{\Delta}}'(\mathrm{Pro}(\mathrm{Coh}^+(S^\bullet/X))) \to \mathrm{Pro}(\mathrm{Coh}^+(X)) ,  
        \]
    is conservative. Since both the $\infty$-categories\xspace $\mathrm{Pro}(\mathrm{Coh}^+(X))$ and $\lim_{\bm{\Delta} }'(\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(YS\bullet/X)))$ are stable, we are reduced to prove that given any
        \[
            \{ \mathcal G_{i, [n]} \}_{i \in I^\mathrm{op}} \in \lim_{\bm{\Delta}}'(\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(S^\bullet/X))),  
        \]
    such that 
        \begin{equation} \label{eq:conservativity_of_lim_f_bullet_*}
            \lim_{[n] \in \bm{\Delta} } f_{\bullet, *}( \{ \mathcal G_{i, [n]} \}_{i \in I^\mathrm{op}})  \simeq 0,
        \end{equation}
    we necessarily have
        \[
            \{ \mathcal G_{i, [n]} \}_{i \in I^\mathrm{op}} \simeq 0  ,
        \]
    in $\lim_{\bm{\Delta}}'(\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(S^\bullet / X)))$.
    Assume then \eqref{eq:conservativity_of_lim_f_bullet_*}. Under our hypothesis, for each index $i \in I$, the object
    $\{ \mathcal G_{i, [n]} \}_{ [n] \in \bm{\Delta}}$ satisfies descent datum and thanks to \cref{prop:nil_descent_for_Coh^+} it produces a uniquely well defined object
        \[
            \mathcal G_i \in \mathrm{Pro}(\mathrm{Coh}^+(X)),  
        \]
    such that for every $[n] \in \bm{\Delta}$, one has a natural equivalence of the form
        \begin{align*}
            f_{[n]}^* (\mathcal G_i) & \simeq \mathcal G_{i , [n]} \\
                              & \in \mathrm{Coh}^+(S^{[n]}).
        \end{align*}
    We deduce then that  
        \begin{align*}
            f^*_{\bullet}(\{ \mathcal G_i \}_{i \in I^\mathrm{op}}) & \simeq \{\mathcal G_{i, [n]} \}_{i \in I^\mathrm{op}, [n]} \\
                                                    & \simeq 0,  
        \end{align*}
    in $\lim'_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(S^\bullet/ X))$, as desired.
\end{proof}

We now use the pseudo-pro-nil-descent for $\mathrm{Pro}(\mathrm{Coh}^+(X))$ to compute relative analytic cotangent complexes of
analytic formal moduli problems over $X$:

\begin{cor} \label{cor:analytic_relative_cotangent_complex_defines_cartesian_sections_in_the_totalization}
    Let $f \colon Z \to X$ be a morphism in $\mathrm{dAn}_k$. Suppose we are given a pullback square
        \[
        \begin{tikzcd}
            \widetilde Z \ar{r}{h} \ar{d} & Y \ar{d} \\
            Z \ar{r} & X,
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$, where $( Y \to X) \in \mathrm{AnFMP}_{/X}$ and $(g \colon\widetilde Z \to Z) \in \mathrm{AnFMP}_{/Z}$. Then the lax-object
        \[
            \{ \mathbb L^\mathrm{an}_{\widetilde Z^{[n]} / Y^{[n]}} \} \in \underset{\mathrm{lax}, \bm{\Delta}}{\lim}(\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(\widetilde Z^\bullet/Z))),  
        \]
    defines a cartesian section
        \[
            \{ \mathbb L^\mathrm{an}_{\widetilde Z^{[n]}/ Y^{[n]}} \} \in \lim_{\bm{\Delta}}\mathrm{Pro}(\mathrm{Coh}^+((\widetilde Z)^\bullet /Z)),
        \]
    which belongs to the essential image of the natural functor
        \[
            g^*_\bullet \colon \mathrm{Pro}(\mathrm{Coh}^+(Z)) \to \lim_{\bm{\Delta}}\mathrm{Pro}(\mathrm{Coh}^+(\widetilde Z^\bullet / Z)).
        \]
\end{cor}

\begin{proof}
    We first show that the object
        \[\{ \mathbb L^\mathrm{an}_{(\widetilde Z)^{[n]}/ Y^{[n]}} \}  \in \underset{\mathrm{lax}, \bm{\Delta}}{\lim}\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+((\widetilde Z)^\bullet/ Z)),\]
    defines a cartesian section in
        \[
            \lim_{\bm{\Delta}} \mathrm{Pro}(\mathrm{Coh}^+((\widetilde Z)^\bullet / Z)).  
        \]
    In order to show this assertion, it is sufficient to prove for every $[n ] \in \bm{\Delta}$, that we have a natural equivalence
        \[
            p_{i, n, n+1}^*(\mathbb L^\mathrm{an}_{\widetilde Z^{[n]} / Y^{[n]}}) \simeq \mathbb L^\mathrm{an}_{\widetilde Z^{[n+1]}/ Y^{[n+1]}},  
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+((\widetilde Z)^{[n+1]}))$, for each projection morphism
        \[
            p_{i, n, n+1} \colon \widetilde{Z}^{[n+1]} \to \widetilde{Z}^{[n]},
        \]
    in the \v{C}ech nerve associated to the morphism $g$.
    The latter claim is an immediate consequence of the base change property for the relative analytic
    cotangent complex whenever $Y \in \mathrm{AnNil}_{/X}$ (and thus so do $\widetilde Z \in \mathrm{AnNil}_{/Z})$), c.f.
    \cite[Proposition 5.12]{Porta_Yu_Representability}. In the general case where $Y \in \mathrm{AnFMP}_{/X}$, we reduce to the previous case
    by combining \cref{prop:required_conditions_for_formal_moduli_problems} with the observation that filtered colimits
    commute with finite limits in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. 

    We now prove the second assertion of the Corollary: thanks to the characterization of the essential image of natural functor
        \[
            g^*_{\bullet} \colon \mathrm{Pro}(\mathrm{Coh}^+(Z)) \to \lim_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+((\widetilde Z)^\bullet /Z)),  
        \]
    provided in \cref{cor:pseudo_nil-descent_for_pro_Coh^+}, we are reduced to show that for each $[n] \in \bm{\Delta}$, we have a natural
    equivalence of pro-objects
        \[
            \mathbb L^\mathrm{an}_{\widetilde Z^{[n]} / Y^{[n]}} \simeq \{ \mathbb L^\mathrm{an}_{\widetilde S^{[n]}/ S^{[n]}} \}_{\widetilde S \in (\mathrm{AnNil}_{/ Z})_{/\widetilde Z}, \ S \in (\mathrm{AnNil}_{/X})_{/ Y}},
        \]
    where $\tilde{S} \coloneqq S \times_X Z$, for each $S \in (\mathrm{AnNil}^\mathrm{cl}_{/ X})_{/ Y}$.The latter statement follows readily from the first part of the proof
    combined with a standard inductive argument.
\end{proof}


\subsection{Non-archimedean formal groupoids} Let $X \in \mathrm{dAn}_k$.
We start with the definition of the notion of \emph{analytic formal groupoids over $X$}:

\begin{defin}We denote by
    $\mathrm{AnFGrpd}(X)$ the full subcategory of the $\infty$-category\xspace of simplicial objects
        \[
            \Fun( \bm{\Delta} ^\mathrm{op}, \mathrm{AnFMP}_{/X}),
        \]
    spanned by those objects $F \colon \mathbf \Delta ^\mathrm{op} \to \mathrm{AnFMP}_{/X}$ satisfiying the following requirements:
        \begin{enumerate}
            \item $F([0]) \simeq X$ ;
            \item For each $n \ge 1$, the morphism
                \[
                    F([n]) \to F([1]) \times_{F([0])} \dots \times_{F([0])} F([1])  ,
                \]
            induced by the morphisms $s^i \colon [1] \to [n]$ given by $(0,1) \mapsto (i, i+1)$, is an equivalence
            in $\mathrm{AnFMP}_{/X}$.
        \end{enumerate}
    We shall refer to objects in $\mathrm{AnFGrpd}(X)$ as \emph{analytic formal groupoids over $X$}.
\end{defin}

\begin{rem}
    Note that \cref{prop:required_conditions_for_formal_moduli_problems} implies that fiber products exist in $\mathrm{AnFMP}_{/X}$. Therefore, the previous
    definition is reasonable.
\end{rem}



\begin{construction} \label{const:formal_completion_construction_Phi} Thanks to \cref{formal_moduli_under_induce_formal_moduli_over_via_base_change},
there exists a well defined functor $\Phi \colon \mathrm{AnFMP}_{X/} \to \mathrm{AnFGrpd}(X)$ given by the formula
    \[
        (X \xrightarrow{f} Y ) \in \mathrm{AnFMP}_{X/ } \mapsto Y^\wedge_X \in \mathrm{AnFGrpd}(X),
    \]
where we shall denote by $Y^\wedge_X \in \mathrm{AnFGrpd}(X)$ the \v{C}ech nerve of the morphism $f$ computed in $\mathrm{AnFMP}_{/ X}$.
The latter defines a formal groupoid over $X$ admitting
    \[
    \begin{tikzcd}
      \dots \ar[r, shift left=2] \ar[r, shift left=0.75] 
      \ar[r, shift left=-0.75] \ar[r, shift left=-2]
      & X \times_Y X \times_Y X \ar[r, shift left=-1] \ar[r, shift left=1] \ar[r] 
      & X \times_Y X \ar[r, shift left=-0.5ex] \ar[r, shift left=0.5ex] 
      & X 
    \end{tikzcd},
    \] 
as simplicial presentation. We shall denote the later simplicial object simply by $X^{\times_Y \bullet} \in \mathrm{AnFGrpd}(X)$.
\end{construction}

\begin{rem}
    Let $(X \to Y) \in \mathrm{AnFMP}_{X/ }$ and consider the corresponding analytic formal groupoid $Y^\wedge_X \in \mathrm{AnFMP}(X)$. The diagonal morphism
        \[
            \Delta \colon X \to X \times_Y X,   
        \]
    in $\mathrm{AnFMP}_{X/ }$ induces a well defined morphism
        \[
            X \to X^{\times_Y \bullet} ,  
        \]
    in  $\Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{AnFMP}_{X/ })$, where $X^{\times_Y \bullet}$ denotes the \v{C}ech nerve of the morphism $X \to Y$
    computed in the $\infty$-category\xspace $\mathrm{AnFMP}_{X/ }$.
\end{rem}

\begin{construction} \label{const:formal_classifying_stack_construction}
    Let $\mathcal G \in \mathrm{AnFGrpd}(X)$. Consider the \emph{classifying derived $k$-analytic stack}, $\mathrm B_X(\mathcal G)^{\mathrm{pre}} \in \mathrm{dAnSt}_k$, obtained as the geometric realization
    of the simplicial object $\mathcal G$, regarded naturally as a functor
        \[
            \mathcal G \colon \bm{\Delta} ^\mathrm{op} \to \mathrm{dAnSt}_k,
        \]
    via the natural composite $\mathrm{AnFMP}_{/ X} \to (\mathrm{dAnSt}_k)_{/ X} \to \mathrm{dAnSt}_k$.
    Given any $Z \in \mathrm{dAfd}_k$, the \emph{space of $Z$-points of $\mathrm B_X(\mathcal G)^{\mathrm{pre}}$},
        \[
            \mathrm B_X(\mathcal G)^\mathrm{pre}(Z),  
        \]
    can be identified with the space whose objects correspond to the datum of:
        \begin{enumerate}
            \item A morphism $\widetilde Z \to X$, where $\widetilde Z \in \mathrm{dAnSt}_k$, such that
                \[
                    \widetilde Z \simeq Z \times_{\mathrm B_X(\mathcal G)^\mathrm{pre}} X;  
                \]
            \item A morphism of groupoid-objects
                \[\widetilde Z \times_Z \widetilde Z \to \mathcal G,\]
                in the $\infty$-category\xspace $\mathrm{dAnSt}_k$.
        \end{enumerate}
    We now define $\mathrm B_X(\mathcal G) \to \mathrm B^\mathrm{pre}_X(\mathcal G)$ as the sub-object spanned by those connected components of $\mathrm B_X(\mathcal G)^\mathrm{pre}$ corresponding to
    morphisms $\widetilde Z \to Z$ in \cref{const:formal_classifying_stack_construction} (1)
    which exhibit $\widetilde Z \in \mathrm{AnFMP}_{/Z}$. Denote by
        \[
            \mathrm{can} \colon \mathrm B_X(\mathcal G) \to \mathrm B_X(\mathcal G)^\mathrm{pre},  
        \]
    the canonical morphism. It follows from the construction that the natural morphism    
        \[
            X \to \mathrm B_X(\mathcal G)^\mathrm{pre},  
        \]
    factors as $X \to \mathrm B_X(\mathcal G) \xrightarrow{\mathrm{can}} \mathrm B_X(\mathcal G)^\mathrm{pre}$.
\end{construction}

We are able to prove that the object $\mathrm B_X(\mathcal G)$ admits a deformation theory:

\begin{lem} \label{lem:B_X(G)_is_formal}
    The natural morphism $X \to \mathrm B_X(\mathcal G)$ exhibits the latter as an object in the $\infty$-category\xspace $\mathrm{AnFMP}_{X/}$ of analytic formal moduli problems
    under $X$.
\end{lem}

\begin{proof}
    Thanks to \cref{prop:sufficient_conditions_for_a_prestack_to_be_equiv_to_an_analytic_FMP} it suffices to prove that $\mathrm B_X(\mathcal G)$ is
    infinitesimally cartesian and it admits furthermore a pro-cotagent complex. The fact that $\mathrm B_X(\mathcal G)$ is infinitesimally cartesian follows from the
    modular description
    of $\mathrm B_X(\mathcal G)$ combined with the fact that $\mathcal G$ is infinitesimally cartesian, as well. Similarly, $\mathrm B_X(\mathcal G)$ being nilcomplete follows again from its
    modular description combined with the fact that analytic formal moduli problems are nilcomplete.
    
    
    We are thus required to show that $\mathrm B_X(\mathcal G)$ admits
    a \emph{global} pro-cotangent complex. Let $Z \in \mathrm{dAn}_k$ and suppose we are given an arbitrary morphism
        \[
            q \colon Z \to \mathrm B_X(\mathcal G),    
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$.
    Thanks to \cref{cor:pseudo_nil-descent_for_pro_Coh^+} combined with \cref{cor:analytic_relative_cotangent_complex_defines_cartesian_sections_in_the_totalization}
    it follows that the object
        \[
            \{ \mathbb L^\mathrm{an}_{\widetilde Z^{[n]} / \mathcal G^{[n]}} \}_{[n] \in \bm{\Delta}} \in \lim_{\bm{\Delta}} \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(\widetilde Z^\bullet / Z)), 
        \]
    defines a well defined object $ (\mathbb L^{\mathrm{an}}_{Z/ \mathrm B_X(\mathcal G)})' \in \mathrm{Pro}(\mathrm{Coh}^+(Z))$. Moreover, it is clear that there exists a natural morphism
        \[
            \theta \colon \mathbb L^\mathrm{an}_Z \to (\mathbb L^{\mathrm{an} '}_{Z /  \mathrm B_X(\mathcal G)})',
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(Z))$, as this holds in each level of the totalization. Let
        \[
            q^* (\mathbb L^{\mathrm{an}}_{\mathrm B_X(\mathcal G)})'  \coloneqq \mathrm{fib}(\theta),
        \]
    computed in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(Z))$. We claim that $q^* (\mathbb L^{\mathrm{an} }_{\mathrm B_X(\mathcal G)})'$ identifies with the analytic cotangent
    complex of $\mathrm B_X(\mathcal G)$ at the point $q \colon Z \to \mathrm B_X(\mathcal G)$. Let
        \[
            Z \hookrightarrow Z',  
        \]
    denote a square-zero extension which corresponds to a certain analytic derivation
        \[
            d \colon \mathbb L^\mathrm{an}_Z \to \mathcal F[1],  
        \]
    for some $\mathcal F \in \mathrm{Coh}^+(Z)^{\ge 0}$. Using \cref{cor:construction_of_square_zero_extensions_for_analytic_FMP_using_univ_property_of_cotangent_complex}
    we deduce that the space of cartesian squares of the form 
        \[
        \begin{tikzcd}
            \widetilde Z \ar{r} \ar{d} & \widetilde Z' \ar{d} \\
            Z \ar{r} & Z'
        \end{tikzcd}
        \]
    where the morphism $\widetilde Z \to \widetilde Z'$ is a square-zero extension in the $\infty$-category\xspace $\mathrm{dAnSt}_k$ is equivalent to the space of factorizations
        \[
            d \colon g^*  \mathbb L^\mathrm{an}_Z \to \mathbb L^\mathrm{an}_{\widetilde Z} \xrightarrow{{d'}} g^*(\mathcal F)[1],
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(\widetilde Z))$. Apply the same reasoning to the each object in the \v{C}ech nerve
        \[
            \widetilde Z^\bullet \to Z.  
        \]
    Furthermore, \cref{cor:universal_property_of_relative_cotangent_complex_for_morphisms_between_analytic_FMP}
    implies that the space of factorizations
        \[
            \widetilde Z^\bullet \to (\widetilde Z')^\bullet \to \mathcal G^\bullet,  
        \]
    identifies with the space of factorizations
        \[
            d' \colon \mathbb L^\mathrm{an}_{\widetilde Z^\bullet} \to \mathbb L^\mathrm{an}_{\widetilde Z^\bullet/ \mathcal G} \to g^*(\mathcal F)[1],
        \]  
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(\widetilde Z))$. \cref{cor:analytic_relative_cotangent_complex_defines_cartesian_sections_in_the_totalization} implies that the above factorization space can be identified with the space
    of factorizations
        \[
            d \colon \mathbb L^\mathrm{an}_Z \to (\mathbb L^{\mathrm{an}}_{Z/ \mathrm B_X(\mathcal G)})' \to \mathcal F[1].
        \]
    This implies that $(\mathbb L^{\mathrm{an}}_{Z/ \mathrm B_X(\mathcal G)})'$ satisfies the universal property of the relative analytic pro-cotangent complex
    associated to $X \to \mathrm B_X(\mathcal G)$, as desired.
\end{proof}

\begin{thm} \label{thm:Phi_is_an_equivalence}
    The functor $\Phi \colon \mathrm{AnFMP}_{/X} \to \mathrm{AnFGrpd}(X)$ of \cref{const:formal_completion_construction_Phi} is an equivalence of $\infty$-categories\xspace.
\end{thm}

\begin{proof} Let $\mathcal G \in \mathrm{AnFGrpd}(X)$. Thanks to \cref{lem:B_X(G)_is_formal}, we have a well defined functor
        \[
            \mathrm B_X(-) \colon \mathrm{AnFGrpd}(X) \to \mathrm{AnFMP}_{X/ },  
        \]
    given on objects by the association $\mathcal G \in \mathrm{AnFGrpd}(X) \mapsto \mathrm B_X(\mathcal G) \in \mathrm{AnFMP}_{X/ }$.
    Thanks to (1) in \cref{const:formal_classifying_stack_construction} it follows that one has a canonical equivalence
        \[
            X \times_{\mathrm B_X(\mathcal G)} X \simeq \mathcal G,
        \]
    in $\mathrm{dAnSt}_k$. This shows that the construction
        \[
            \mathrm B_X(\mathcal G) \colon \mathrm{AnFGrpd}(X) \to \mathrm{AnFMP}_{X/},  
        \]
    is a right inverse to $\Phi$. As a consequence the functor $\Phi$ is essentially surjective. Thanks to \cref{prop:conservativity_of_relative_an_cot_complex}
    we are reduced to show that the canonical morphism
        \[
            Y \to \mathrm B_X(X \times_Y X),  
        \]
    induces an equivalence on the associated relative analytic cotangent complexes. The claim is an immediate consequence of
    the description of $\mathbb L^\mathrm{an}_{X/ \mathrm B_X(X \times_Y X)}$ provided in \cref{lem:B_X(G)_is_formal} together with
    \cref{cor:analytic_relative_cotangent_complex_defines_cartesian_sections_in_the_totalization}.
\end{proof}

\begin{rem}
    It follows from \cref{thm:Phi_is_an_equivalence} that given $(X \to Y) \in \mathrm{AnFMP}_{X/ }$, we can identify the latter with the
    geometric realization of the associated \v{C}ech nerve, the latter regarded as a simplicial object in $\mathrm{AnFMP}_{X/ }$ via the
    diagonal morphisms.
\end{rem}

\subsection{The affinoid case} Let $X \in \mathrm{dAfd}_k$ denote a derived $k$-affinoid space.
Thanks to derived Tate aciclycity theorem, cf. \cite[Theorem 3.1]{Porta_Yu_Derived_Hom_spaces}
the \emph{global sections functor}
    \[
        \Gamma \colon \mathrm{Coh}^+(X) \to  \mathrm{Coh}^+(A),
    \]
where $A \coloneqq \Gamma(X, \mathcal O_X ^\mathrm{alg}) \in \mathrm{CAlg}_k$, is an equivalence of $\infty$-categories\xspace. Since ordinary $k$-affinoid algebras are Noetherian, we deduce that
$A \in \mathrm{CAlg}_k$ is a Noetherian derived $k$-algebra.

\begin{notation}
    Let $X \in \mathrm{dAfd}_k$ and $A \coloneqq \Gamma(X, \mathcal O_X)$. We denote by
        \[
            \mathrm{FMP}_{/\Spec A} \in \mathrm{Cat}_\infty,  
        \]
    the $\infty$-category\xspace of \emph{algebraic formal moduli problems over $\Spec A$}, (c.f. \cite[Definition 6.11]{Porta_Yu_NQK}).
\end{notation}

\begin{thm}$\mathrm{(}$\cite[Theorem 6.12]{Porta_Yu_NQK}$\mathrm )$ \label{thm:equivalence_between_analytic_and_algebraic_formal_moduli_problems_over}
    Let $X \in \mathrm{dAfd}_k$ and $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}) \in \mathrm{CAlg}_k$. Then the induced functor
        \[
            (-) ^\mathrm{an} \colon \mathrm{FMP}_{/ \Spec A} \to \mathrm{AnFMP}_{/X},
        \]
    is an equivalence of $\infty$-categories\xspace.
\end{thm}

As an immediate consequence, we obtain the following result:

\begin{cor} \label{cor:equivalence_between_pointed_analytic_and_algebraic_formal_moduli_problems_over}
    Let $X \in \mathrm{dAfd}_k$ and $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg})$. Then one has an equivalence of $\infty$-categories\xspace
        \[
            \mathrm{FMP}_{\Spec A/ /\Spec A} \to \mathrm{AnFMP}_{X/ /X} ,
        \]
    of pointed algebraic formal moduli problems over $\Spec A$ and pointed analytic formal moduli problems over $X$, respectively.
\end{cor}

\begin{proof}
    It is an immediate consequence of \cref{thm:equivalence_between_analytic_and_algebraic_formal_moduli_problems_over}. Indeed, equivalences of $\infty$-categories\xspace with final objects
    induce natural equivalences on the associated $\infty$-categories\xspace of pointed objects.
\end{proof}

\begin{lem} \label{lem:Fgroupoids_to_pointed_objects_is_conservative_and_commutes_with_sifted_colimits}
    Consider the natural functor
        \[
            F \colon \mathrm{AnFGrpd}(X) \to \mathrm{AnFMP}_{X/ /X},  
        \]
    given on objects by the formula $\mathcal G \in \mathrm{AnFGrpd}(X) \mapsto \mathcal G([1]) \in \mathrm{Ptd}(\mathrm{AnFMP}_{/ X})$. Then $F$ is conservative and
    commutes with sifted colimits.
\end{lem}

\begin{proof}
    The proof of \cite[Corollary 5.2.2.4]{Gaitsgory_Study_II} applies in our setting
    to show that the functor $F \colon \mathrm{AnFGrpd}(X) \to \mathrm{Ptd}(\mathrm{AnFMP}_{/ X})$
    commutes with sifted colimits. We are reduced to prove that $F$ is also conservative.
    Let $f \colon \mathcal G \to \mathcal G'$ be a morphism in $\mathrm{AnFGrpd}(X)$. The equivalence of $\infty$-categories\xspace 
        \[\mathrm B_X(\bullet) \colon \mathrm{AnFGrpd}(X) \to \mathrm{AnFMP}_{X/ },\]
    of \cref{thm:Phi_is_an_equivalence} implies that
    the morphism $f$ can be obtained as the \v{C}ech nerve of a morphism
        \[
            \widetilde{f} \colon \mathrm B_X(\mathcal G) \to \mathrm B_X(\mathcal G'),  
        \]
    in $\mathrm{AnFMP}_{X/ }$. For this reason, for every $[n] \in \bm{\Delta}$, the morphism
        \[f_{[n]} \colon \mathcal G([n]) \to \mathcal G'([n]),\]
    is obtained as (an iterated) pullback of
        \[f_{[1]} \colon \mathcal G([1]) \to \mathcal G'([1]).\]
    Therefore, under the assumption
    that $F(F) \simeq f_{[1]}$ is an equivalence in $\mathrm{AnFMP}_{X/ /X}$ we deduce that $f$ itself
    must be an equivalence of analytic formal groupoids, as it is each of its components.
\end{proof}




\begin{rem} Let $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{X/ }$.
Consider the diagram
    \[
    \begin{tikzcd}
        X \ar{r}{\Delta}  \ar[rd, equal] & X \times_Y X \arrow[d, "p_0", shift left=2] \arrow{d}[swap]{p_1} \\
        &   X  
    \end{tikzcd}
    \]
in the $\infty$-category\xspace $\mathrm{dAnSt}_k$, where $\Delta \colon X \to X \times_Y X$ denotes the usual \emph{diagonal embedding}. We then obtain a natural
fiber sequence associated to the above diagram of the form
    \begin{equation} \label{eq:fiber_sequence_for_rel_cot_complexes_along_diagonal_and_projections}
        \Delta^* \mathbb L^\mathrm{an}_{X \times_Y X/ X} \to \mathbb L^\mathrm{an}_{X/X} \to \mathbb L^\mathrm{an}_{X/ X \times_Y X}.
    \end{equation}
Notice further that by \cite[Proposition 5.12]{Porta_Yu_Representability} one has an equivalence
    \[
        \mathbb L^\mathrm{an}_{X \times_Y X/ X} \simeq p_i^* \mathbb L^\mathrm{an}_{X/Y},  
    \]
for $i =0, 1$. We further deduce that
    \[\Delta^* \mathbb L^\mathrm{an}_{X \times_Y X/ X} \simeq \mathbb L^\mathrm{an}_{X/Y},\]
in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^+(X))$. Moreover, since $\mathbb L^\mathrm{an}_{X/ X} \simeq 0$, we obtain from the fiber sequence \eqref{eq:fiber_sequence_for_rel_cot_complexes_along_diagonal_and_projections}
a natural equivalence
    \[
        \mathbb L^\mathrm{an}_{X/ X \times_Y X} \simeq \mathbb L^\mathrm{an}_{X / Y} [1],    
    \]
in $\mathrm{Pro}(\mathrm{Coh}^+(X))$. Moreover, we can identify the $\mathbb L^\mathrm{an}_{X \times_Y X / X}$ with the pro-object  
    \[
        \mathbb L^\mathrm{an}_{X/ X \times_Y X } \simeq \{ \mathbb L^\mathrm{an}_{X/ X \times_S X} \}_{S \in \mathrm{AnNil}_{X//Y}^\mathrm{cl}} ,
    \]
where $\mathbb L^\mathrm{an}_{X/ X\times_S X} \in \mathrm{Coh}^+(X)$ denotes the relative analytic cotangent complex associated to the closed embedding
    \[
        X \to X \times_S X,  
    \]
for $S \in \mathrm{AnNil}_{X/Y}^\mathrm{cl}$. Thanks to \cite[Corollary 5.33]{Porta_Yu_Representability} we deduce that
    \[
        \mathbb L^\mathrm{an}_{X/X\times_SX} \simeq \mathbb L_{A/ A \otimes_{B_S} A} ,
    \]
in $\mathrm{Coh}^+(A)$, where $B_S = \Gamma(S, \mathcal O^\mathrm{alg}_S)$, where we have a natural identification
    \[
        A \widehat{\otimes}_{B_S} A \simeq A \otimes_{B_S} A,
    \]
since the morphism $A \to B_S$ is finite.
\end{rem}

\begin{lem}
    Let $X \in \mathrm{dAfd}_k$ be a derived $k$-affinoid space. Then the derived $k$-algebra of global sections
        \[
            A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}),  
        \]
    admits a dualizing module (see \cite[Definition 4.2.5]{DAG-XIV} for the definition of the latter notion).
\end{lem}

\begin{proof}
    This is an immediate consequence of the following facts:
    \begin{enumerate}
        \item Every regular $k$-algebra $R$ admits a dualizing module, c.f. \cite[\href{https://stacks.math.columbia.edu/tag/0AWX}{Tag 0AWX}]{stacks-project};
        \item Every quotient of an algebra $R$ which admits a dualizing module admits itself a dualizing module, c.f. \cite[\href{https://stacks.math.columbia.edu/tag/0A7I}{Tag 0A7I}]{stacks-project}.
        \item The ordinary affinoid $k$-algebra $\pi_0(A)$ can be realized as a quotient of a Tate algebra on $n$-generators, $k \langle T_1, \dots, T_n \rangle$.
        The latter being regular, we deduce from the previous items that $\pi_0(A)$ itself admits a dualizing module (cf. \cite[\href{https://stacks.math.columbia.edu/tag/0AWX}{Tag 0AWX}]{stacks-project}).
        \item Thanks to \cite[Theorem 4.3.5]{DAG-XIV} it follows that $A$ itself admits a dualizing module.
    \end{enumerate}
    The proof is thus concluded.
\end{proof}

\begin{lem}
    Let $X \in \mathrm{dAfd}_k$ be a bounded derived $k$-affinoid space and let $\omega_A \in \mathrm{Mod}_A$ denote a dualizing module
    for $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg})$. Then $\omega_A \in \mathrm{Coh}^b(A)$, where the latter denotes the
    full subcategory of (bounded) \emph{coherent} $A$-modules.
\end{lem}

\begin{proof}
    By definition it follows that for every $i \in \mathbb Z$, $\pi_i(\omega_A)$ is finitely generated as a discrete $\pi_0(A)$-module.
    We are thus reduced to show that $\omega_A$ is bounded. Thanks to \cite[Theorem 4.2.7]{DAG-XIV} it follows that
        \[
            \omega_A \simeq \underline{\Map}_{\mathrm{Mod}_A}(A, \omega_A),  
        \]
    is truncated. Moreover, by definition it follows that $\omega_A \in \mathrm{Mod}_A$ is of finite injective dimension. In particular, for every
    $j \ge 0$, we have that 
        \[
            \underline{\Map}_{\mathrm{Mod}_A}(\pi_j(A), \omega_A),
        \]
    is bounded. Under our assumption that $X \in \mathrm{dAfd}_k$ is bounded it follows that $A$ itself is a bounded derived $k$-algebra and
    therefore by a standard argument on Postnikov towers, we deduce that
        \[
            \underline{\Map}_{\mathrm{Mod}_A}(A, \omega_A) \simeq \omega_A,
        \]
    is bounded as well.
\end{proof}

\begin{rem} \label{rem:dualizing_module_on_truncations}
    Let $X \in \mathrm{dAfd}_k$ be a derived $k$-affinoid algebra. If $X$ is not bounded then neither it is $A \in \mathrm{CAlg}_k$. For this reason,
    a dualizing module $\omega_A \in \mathrm{Mod}_A$ is not in general bounded. Nonetheless, the latter is always truncated.
    Let $m \in \mathbb Z$ be such that $\omega_A \in \mathrm{Mod}_A$ is $m$-truncated. Thanks to the proof of \cite[Theorem 4.3.5]{DAG-XIV},
    we deduce that we have a natural
    equivalence
        \[
            \omega_A \simeq \colim_{n \ge 0} \omega_{\tau_{\le n}(A)},  
        \]
    in the $\infty$-category\xspace $\mathrm{Mod}_A$, where for each $n \ge 0$, $\omega_{\tau_{\le n}(A)} \in \mathrm{Mod}_{\tau_{\le n}(A)}$ is a suitable $m$-truncated dualizing module for
    the $n$-th truncation $\tau_{\le n}(A)$.
\end{rem}

\begin{defin}
    Let $X \in \mathrm{dAfd}_k$ we define its $\infty$-category\xspace of \emph{ind-coherent sheaves} as
        \[
            \mathrm{Ind}\mathrm{Coh}(X) \coloneqq \mathrm{Ind}(\mathrm{Coh}^b(A)).  
        \]
\end{defin}

\begin{defin}
    Let $X \in \mathrm{dAfd}_k$ be a derived $k$-affinoid space. Whenever $X$ is bounded we shall denote
    $\omega_X \in \mathrm{Ind}\mathrm{Coh}(X)$ the image of a fixed dualizing module for $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg})$ under the natural inclusion
        \[
            \mathrm{Coh}^b(X) \subseteq \mathrm{Ind}\mathrm{Coh}(X).  
        \]
    In the unbounded case, we shall define 
        \[
            \omega_X \coloneqq \colim_{n \ge 0} \omega_{\mathrm t_{\le n}(X)} \in \mathrm{Ind}\mathrm{Coh}(X),  
        \]
    where the $\{ \omega_{\mathrm t_{\le n}(X)} \}_{n \ge 0}$ denotes a compatible sequence of
    dualizing modules for the consecutive truncations of $X$.
\end{defin}

\begin{notation}Let $X \in \mathrm{dAfd}_k$ be a derived $k$-affinoid space together with a dualizing module $\omega_X \in \mathrm{Ind}\mathrm{Coh}(X)$.
    We shall denote by 
        \[
            \mathbf D^\mathrm{Serre}_{X} \colon \mathrm{Ind}(\mathrm{Coh}^b(X)^\mathrm{op}) \to \mathrm{Ind}\mathrm{Coh}(X),
        \]
    the associated \emph{Serre duality functor}, see \cite[\S 2.4]{Antonio_Koszul}.
\end{notation}

\begin{rem}
    Let $(X \to Y) \in \mathrm{AnFMP}_{X/ }$. The pro-cotangent complex $\mathbb L_{X/ Y} ^\mathrm{an} \in \mathrm{Pro}(\mathrm{Coh}^+(X))$ can be naturally
    regarded as an object in the full subcategory $\mathrm{Pro}(\mathrm{Coh}^b(X))$ of pro-objects of bounded almost perfect $\mathcal O_X$-modules,
    c.f. \cite[Lemma 4.6]{Antonio_Koszul}.
\end{rem}

Notice that we have an equivalence of $\infty$-categories\xspace $\mathrm{Pro}(\mathrm{Coh}^b(X)) ^\mathrm{op} \simeq \mathrm{Ind}(\mathrm{Coh}^b(X) ^\mathrm{op})$. We now introduce the central notion
of the \emph{Serre tangent complex}:

\begin{defin}[Serre Tangent complex] Let $Y \in \mathrm{AnFMP}_{X/}$. We define the \emph{relative analytic Serre tangent complex} of $X \to Y$ as the object
    \begin{align*}
        \mathbb T^\mathrm{an}_{X/ Y}  & \coloneqq \mathbf D^\mathrm{Serre}_{X}(\mathbb L^\mathrm{an}_{X/Y}) \\
                        & \simeq \colim_{S \in \mathrm{AnNil}^\mathrm{cl}_{X/ /Y}} \mathbf D^\mathrm{Serre}_X(\mathbb L^\mathrm{an}_{X/S}),
    \end{align*}
    in $\mathrm{Ind}\mathrm{Coh}(X)$.
\end{defin}

\begin{rem}
    The previous definition depends on the choice of a dualizing module for $X$. Nonetheless, given two different choices, these
    differ only
    by an invertible $A$-module, c.f. \cite[Proposition 2.4]{Antonio_Koszul}.
\end{rem}

The following result will play a major role in the study of the deformation to the normal bundle:

\begin{prop} \label{prop:conservativity_and_preservation_of_sifted_colimits_of_tangent_complex}
    The functor $\mathbb T^\mathrm{an}_{X/ \bullet} \colon \mathrm{AnFMP}_{X/} \to \mathrm{QCoh}(X)$ given on objects by the formula
        \[
            (X \to Y) \in \mathrm{AnFMP}_{X/} \mapsto \mathbb T^\mathrm{an}_{X/Y} \in \mathrm{Ind}\mathrm{Coh}(X), 
        \]
    is conservative and commutes with sifted colimits.
\end{prop}

\begin{proof}
    Observe that
    \cref{lem:Fgroupoids_to_pointed_objects_is_conservative_and_commutes_with_sifted_colimits} combined with
    \eqref{eq:fiber_sequence_for_rel_cot_complexes_along_diagonal_and_projections} imply that it suffices to prove that
    the right vertical functor in the diagram
        \begin{equation} \label{eq:comm_pointed_formal_moduli_problems_Tangent_and_analytification}
        \begin{tikzcd}
            \mathrm{FMP}_{\Spec A/ / \Spec A} \ar{r}{(-)^\mathrm{an}_X}\ar{d}{\mathbb T_{\Spec A/ \bullet}} & \mathrm{AnFMP}_{X/ / X} \ar{d}{\mathbb T^\mathrm{an}_{X/ \bullet}} \\
            \mathrm{Ind}\mathrm{Coh}(A) \ar{r}{(-)^\mathrm{an}} & \mathrm{Ind}\mathrm{Coh}(X),
        \end{tikzcd}
        \end{equation}
    commutes with sifted colimits and is further conservative. The diagram is commutative as a consequence of \cite[Lemma 6.9 (2)]{Porta_Yu_NQK}
    combined with the definition of Serre duality in $\mathrm{Ind}\mathrm{Coh}(X)$. Moreover, \cite[Corollary 4.31]{Antonio_Koszul} implies that
        \[
            \mathbb T_{\Spec A/ \bullet} \colon     \mathrm{FMP}_{\Spec A/ / \Spec A} \to \mathrm{Ind}\mathrm{Coh}(A),
        \]
    is both conservative and commutes with sifted colimits. Furthermore, the bottom horizontal functor in \eqref{eq:comm_pointed_formal_moduli_problems_Tangent_and_analytification}
    is an equivalence of $\infty$-categories\xspace, see for instance \cite[Theorem 4.5]{Porta_Yu_NQK}. Thanks to \cref{cor:equivalence_between_pointed_analytic_and_algebraic_formal_moduli_problems_over}, we further deduce
    that the upper horizontal functor in \eqref{eq:comm_pointed_formal_moduli_problems_Tangent_and_analytification} is an equivalence, and the result follows.
\end{proof}




\section{Non-archimedean Deformation to the normal bundle}

In this \S, we introduce the construction of the deformation to the normal cone in the setting of derived $k$-analytic geometry. This construction has
already been performed in the literature in the particular case of the natural inclusion morphism
    \[
        i \colon \mathrm{t}_0(X) \to X,  \quad X \in \mathrm{dAn}_k,
    \]
c.f \cite{Porta_Yu_NQK}.
On the other hand, the algebraic situation is largely understood mainly due to \cite{Gaitsgory_Study_II}.

\subsection{General construction in the algebraic case} We start by recalling the definition of the simplicial object
    \[
        \mathrm{B}^\bullet_{\mathrm{scaled}} \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{dSt}_k),
    \]
introduced in
\cite[\S 9.2.2]{Gaitsgory_Study_II}. Namely, for each $[n] \in \bm{\Delta}$, the object $\mathrm{B}^{n}_\mathrm{scaled}$ is obtained by gluing $n+1$ copies of $\mathbb A^1_k$ together along
$0 \in \mathbb A^1_k$. Moreover, the transition morphisms
    \[
        p_{i, n} \colon  \mathrm{B}^{n+1}_\mathrm{scaled} \to \mathrm{B}^n_{\mathrm{scaled}}, \quad \mathrm{for} \ i \in \{0, \dots, n\} ,
    \]
collapse two given different irreducible components of $\mathrm B^{n+1}_\mathrm{scaled}$ into $\mathrm B^n_{\mathrm{scaled}}$. More explicitly, for $n=0$, we have
    \[
        \mathrm B_\mathrm{scaled}^0 = \mathbb A^1_k,  
    \]
and, for $n = 1$, $\mathrm B_\mathrm{scaled}^1 = \Spec k[x, y]/ (x^2 - y^2)$.

\begin{construction} \label{construction:def_to_the_normal_bundle}
    Let $f \colon X \to Y$ denote a morphism between locally geometric derived $k$-stacks in $\mathrm{dSt}^\mathrm{laft}_k$. Consider the formal completion of $Y$ on $X$ along
    the morphism $f$
        \[
            Y^\wedge_X \in \mathrm{dSt}_k  
        \]
    In \cite[\S 9.3]{Gaitsgory_Study_II}, the authors introduced the \emph{parametrized deformation to the normal bundle associated to $f \colon X \to Y$}, as the pullback
        \begin{equation} \label{eq:parametrized_deformation}
        \begin{tikzcd}
            \mathcal D^\bullet_{X/Y} \ar{r} \ar{d} &   Y^\wedge_X \times \mathbb A^1_k \ar{d} \\
            \Map_{/ \mathbb A^1_k}(\mathrm{B}^\bullet_{\mathrm{scaled}}, X \times \mathbb A^1_k) \ar{r} & \Map_{/ \mathbb A^1_k}(\mathrm{B}^\bullet_{\mathrm{scaled}}, Y^\wedge_X \times \mathbb A^1_k),
        \end{tikzcd}
        \end{equation}
    where both $X \times \mathbb A^1_k$ and $Y^\wedge_X \times \mathbb A^1_k$ are considered as constant simplicial objects in the $\infty$-category\xspace $\mathrm{dSt}_k$.
    As a consequence of \cite[Theorem 9.2.3.4]{Gaitsgory_Study_II}, it follows that
    each component of the simplicial object
    $\mathcal D_{X/Y}^\bullet$ admits a deformation theory relative to $X$.
    
    In particular, the object $\mathcal D^\bullet_{X/ Y}$ defines a formal groupoid over the stack
    $X \times \mathbb A^1_k$. Moreover, Theorem 5.2.3.4 in loc. cit. allows us to associate to $\mathcal D^\bullet_{X/Y}$ a
    formal moduli problem under $X \times \mathbb A^1_k$
           \[
               \mathcal D_{X/Y} \in \mathrm{FMP}_{X \times \mathbb A^1_k/ / Y^\wedge_X \times \mathbb A^1_k},
           \]
    obtained via the construction provided in \S 5.2.4 in loc. cit.
    More explicitly, the object $\mathcal D_{X/ Y} \in \mathrm{FMP}_{X \times \mathbb A^1_k/ }$ is computed as the sifted colimit of the simplicial diagram
        \[
            \mathcal D_{X/ Y}^\bullet \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{FMP}_{X \times \mathbb A^1_k/ })  ,
        \]
    the colimit being computed in $\mathrm{FMP}_{X \times \mathbb A^1_k/ }$. We can furthermore consider $\mathcal D_{X/Y}$
    naturally as an object in $(\mathrm{dSt}^\mathrm{laft}_k)_{X \times \mathbb A^1_k/ / Y^\wedge_X \times \mathbb A^1_k}$.
\end{construction}

\begin{construction}
    Let $f \colon X \to Y$ a morphism of locally geometric derived $k$-stacks in $\mathrm{dSt}_k^\mathrm{laft}$. In \cite[\S 9.2.5]{Gaitsgory_Study_II} the authors
    constructed an explicit left-lax action of the monoid-scheme object $\mathbb A^1_k$ (with respect to \emph{multiplication})
    on the deformation to the normal bundle $\mathcal D_{X/ Y}$. The above action
    implies that the structure sheaf of $\mathcal D_{X/ Y}$ is equipped with a (negatively indexed) filtration. 
\end{construction}


\begin{notation}
    We shall denote by $p \colon \mathcal D_{X/ Y} \to \mathbb A^1_k$ the natural composite morphism 
        \[
            \mathcal D_{X/ Y} \to Y^\wedge_X \times \mathbb A^1_k \to \mathbb A^1_k,  
        \]
    in the $\infty$-category\xspace $\mathrm{dSt}_k^\mathrm{laft}$.
\end{notation}



We shall now describe formal geometric properties of the deformation to the normal bundle $\mathcal D_{X/Y} \in (\mathrm{dSt}^\mathrm{laft}_k)_{X \times \mathbb A^1_k/ /Y^\wedge_X \times \mathbb A^1_k}$:

\begin{prop} \label{prop:algebraic_properties_of_deformation} Let $f \colon X \to Y$ denote a morphism of locally geometric derived $k$-stacks in the $\infty$-category\xspace $\mathrm{dSt}_k^\mathrm{laft}$.
    The following assertions hold:
    \begin{enumerate}
        \item The fiber of the morphism $p \colon \mathcal D_{X/Y} \to \mathbb A^1_k$ at the fiber $\{0 \} \subseteq \mathbb A^1_k$ identifies naturally with
        the formal completion 
            \[\mathrm T_{X/Y}[1]^\wedge \in \mathrm{FMP}_{X/ },\]
        of the shifted tangent bundle $\mathrm T_{X/Y}[1] \to X$ along the
        zero section
            \[
                s_0 \colon X \to \mathrm T_{X/Y}[1].  
            \]
        \item For $\lambda \in \mathbb A^1_k$ with $\lambda \neq 0$, the fiber $(\mathcal D_{X/Y})_{\lambda}$ canonically identifies with the formal completion
            \[
                Y^\wedge_X \in \mathrm{dSt}^\mathrm{laft}_k,  
            \]
        of $X$ in $Y$ along the morphism $f$.
        \item (Hodge Filtration) There exists a natural sequence of morphisms
            \[
                X \times \mathbb A^1_k = X^{(0)} \to X^{(1)}  \to  \dots \to X^{(n)} \to \dots \to Y,
            \]
        admitting a deformation theory, in $(\mathrm{dSt}_k^\mathrm{laft})_{X\times\mathbb A^1_k/ /Y\times\mathbb A^1_k}$. For each $n \ge 0$,
        the relative tangent complex
            \[
                \mathbb T_{X^{(n)} / Y }   \in \mathrm{Ind}\mathrm{Coh}(X^{(n)}),
            \]
        has first non-zero associated graded piece in degree $n$ and the latter identifies naturally with
            \[
                i_{n, *}^{\mathrm{Ind}\mathrm{Coh}} ( \Sym^{n+1} (\mathbb T_{X/ Y} [1])[-1])) \in \mathrm{Ind}\mathrm{Coh}(X^{(n)}).
            \]
        Dually, the pro-relative cotangent complex $\mathbb L_{X/ Y} \in \mathrm{Pro}(\mathrm{Coh}(X^{(n)}))$ is equipped with a decreasing filtration, starting in degree $n$,
        and the corresponding associated $n$-th graded piece identifies naturally with
            \[
                i_{n, *}(\Sym^{n+1}(\mathbb L_{X/ Y}[-1])[1])  \in \mathrm{Pro}(\mathrm{Coh}^b(X^{(n)})).
            \]
        \item Assume that $f \colon X \to Y$
        is a closed immersion of derived schemes locally almost of finite presentation then, for each $n \ge 0$, the morphism
            \[
                X^{(n)} \to X^{(n+1)},  
            \]
        has the structure of a square-zero extension associated to a canonical morphism
            \[d \colon \mathbb L_{X^{(n)}} \to \mathbb L_{X^{(n)}/ Y} \to i_{n, *} (\Sym^{n+1}(\mathbb L_{X/ Y}[-1])[1]),\]
        in the $\infty$-category\xspace $\mathrm{Coh}^+(X^{(n)})$, where 
            \[
                i_n \colon X \times \mathbb A^1_k \to X^{(n)}
            \]
        denotes the structural morphism.
        In particular, if $X$ is a derived scheme almost of finite presentation, then so are the $X^{(n)}$, for each $n \ge 0$.
        \item There exists a natural morphism
            \[\colim_{n} X^{(n)} \to \mathcal D_{X/Y},\]
        in the $\infty$-category\xspace $\mathrm{FMP}_{X \times \mathbb A^1_k/ /Y^\wedge_X \times\mathbb A^1_k}$. Moreover, the latter is an equivalence
        of derived $k$-stacks almost of finite presentation.
    \end{enumerate}
\end{prop}

\begin{proof}
    Assertion (1) follows formally from \cite[\S 9, Proposition 2.3.6]{Gaitsgory_Study_II}. Assertion (2) follows from the observation that
    the fiber of the simplicial object $\mathcal D_{X/ Y}^\bullet$ at $\lambda \neq 0$ can be identified with the \v{C}ech nerve of the (completion) of the morphism $f$
        \[
            X^{\times_{Y^\wedge_X} \bullet} \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{dSt}_k^\mathrm{laft}).
        \]
    Therefore, its colimit taken in $\mathrm{FMP}_{X \times \mathbb A^1_k/}$ agrees with the formal completion $Y^\wedge_X \in \mathrm{FMP}_{X \times \mathbb A^1_k/ }$. The first part of assertion (3) follows
    formally from \cite[\S 9, Theorem 5.1.3]{Gaitsgory_Study_II}. For each $n \ge 0$, denote by 
    \[i_n \colon X \times \mathbb A^1_k \to X^{(n)},\]
    the structural morphism. The latter is a proper morphism due to \cite[\href{https://stacks.math.columbia.edu/tag/0CYK}{Tag 0CYK}]{stacks-project}.

    The statement concerning the relative cotangent complex follows formally from
    \cite[\S 9, Theorem 5.1.3]{Gaitsgory_Study_II} by applying the Serre duality functor and combining
    \cite[Corollary 9.5.9 (b)]{Gaitsgory_IndCoh} with \cite[Proposition 3.1.3]{Gaitsgory_IndCoh} and \cite[Corollary 1.4.4.2]{Gaitsgory_Study_II}
    to produce a natural identification
        \[
            \mathbf D^\mathrm{Serre}_X \big((i_{n, *}^{\mathrm{Ind}\mathrm{Coh}}(\Sym(\mathbb T_{X/ Y}[1])[-1]) \big)   \simeq i_{n, *} \big(\Sym(\mathbb L_{X/ Y}[-1])[1] \big),
        \]
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^b(X))$.
    Assertion (5) is an immediate consequence of \cite[\S 9, Proposition 5.2.2]{Gaitsgory_Study_II}.
    We shall now deduce claim (4) of the Proposition:
    it follows from
    Theorem 9.5.1.3, in loc. cit.,
    that the (Serre) tangent complex
        \[
            \mathbb T_{X^{(n)}/ Y } \in \mathrm{Ind}\mathrm{Coh}(X^{(n)}),  
        \]
    admits a natural (increasing) filtration whose $n$-th piece identifies with 
        \[i_{n, *}^\mathrm{IndCoh}(\Sym^{n+1}(\mathbb T_{X/Y}[1]))[-1] \in \mathrm{Ind}\mathrm{Coh}(X^{(n)}).\]
    For this reason, we have a structural morphism
        \[
            i_{n, *}^\mathrm{IndCoh}(\Sym^{n+1}(\mathbb T_{X/Y}[1]))[-1] \to \mathbb T_{X^{(n)}/ Y},
        \]
    in the $\infty$-category\xspace $\mathrm{Ind}\mathrm{Coh}(X^{(n)})$. Consider then the natural composite
        \[
            i_{n, *}^\mathrm{IndCoh}(  \Sym^{n+1}(\mathbb T_{X/ Y}[1])[-1])) \to \mathbb T_{X^{(n)}/ Y} \to \mathbb T_{X^{(n)}},
        \]
    in the $\infty$-category\xspace $\mathrm{Ind}\mathrm{Coh}(X)$. Using the equivalence of $\infty$-categories\xspace between Lie algebroids in $\mathrm{Ind}\mathrm{Coh}(X)$ and the $\infty$-category\xspace
    $\mathrm{FMP}_{X/ }$, c.f. \cite[\S 8.5]{Gaitsgory_Study_II}, one produces then a canonical morphism
        \[
            X^{(n)} \to X^{(n+1)},
        \]
    in the $\infty$-category\xspace $\mathrm{FMP}_{X \times \mathbb A^1_k/ }$.
    
    In the case where $f \colon X \to Y$ is a closed immersion
    of derived schemes locally almost of finite presentation the latter construction can be adapted in terms of the
    (usual) cotangent complex
    formalism: thanks to \cite[Corollary 8.4.3.2]{Lurie_Higher_algebra}, the relative cotangent complex
        \[
            \mathbb L_{X/ Y} \in \mathrm{Coh}^+(X),  
        \]
    is $1$-connective. In particular, the shift $\mathbb L_{X/ Y}[-1]$ is $0$-connective.
    By applying the usual Serre duality functor (c.f. \cite[\S 9]{Gaitsgory_IndCoh}) we obtain a well defined fiber sequence
        \begin{equation} \label{eq:fiber_seq_cotangent_complex_for_Hodge_filtration2}
            \mathbb L_{X^{(n)}} \to \mathbb L_{X^{(n)}/ Y} \to i_{n,*}\big(  \Sym^{n+1}(\mathbb L_{X/ Y}[1])[-1]) \big) ,
        \end{equation}
    in the $\infty$-category\xspace $\mathrm{Pro}(\mathrm{Coh}^b(X))$. Moreover, under our assumptions, it follows that \eqref{eq:fiber_seq_cotangent_complex_for_Hodge_filtration}
    lies in the full subcategory 
        \[\mathrm{Coh}^+(X) \subseteq \mathrm{Pro}(\mathrm{Coh}^b(X)),\]
    via the equivalence of $\infty$-categories\xspace provided in \cite[Corollary 1.4.4.2]{Gaitsgory_Study_II}.
    Since the right hand side of \eqref{eq:fiber_seq_cotangent_complex_for_Hodge_filtration2}
    is $1$-connective, it follows from \cite[\S 8, 5.5]{Gaitsgory_Study_II} that the extension
        \[
            X^{(n)} \to X^{(n+1)}, \quad \mathrm{for} \ n \ge 0,  
        \]
    can be identified with the (usual) square-zero extension of $X^{(n)}$ by means of the derivation \eqref{eq:fiber_seq_cotangent_complex_for_Hodge_filtration2}. This proves the second part
    of claim (3) and the proof of the proposition is thus concluded.
\end{proof}

\begin{rem} \label{rem:simplification_of_deformation_in_the_closed_immersion}
    Assume that $f \colon X \to Y$ is a closed immersion of derived schemes locally almost of finite presentation.
    Then \cref{construction:def_to_the_normal_bundle} can be simplified by taking directly $Y$ instead of the formal completion $Y^\wedge_X$
    in the defining pullback square for \eqref{eq:parametrized_deformation}. Indeed, we claim that the simplicial object
    obtained as the fiber product
        \[
        \begin{tikzcd}
            (\mathcal D_{X/ Y}^\bullet) ' \ar{r} \ar{d} & Y \times \mathbb A^1_k \ar{d}\\
            \Map_{/ \mathbb A^1_k}(\mathrm B^\bullet_\mathrm{scaled}, X\times \mathbb A^1_k) \ar{r} & \Map_{/ \mathbb A^1_k} (\mathrm B^\bullet_\mathrm{scaled}, Y \times \mathbb A^1_k),
        \end{tikzcd}
        \]
    in $\Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{dSt}_k^\mathrm{laft})$, agrees with $\mathcal D^\bullet_{X/ Y}$. Observe that we have a natural identification
        \[
            (\mathcal D_{X/ Y}^\bullet)' \times_{\mathbb A^1_k} \mathbb G_m \simeq X^{\times_Y \bullet} ,
        \]
    and the latter agrees with the formal groupoid associated with $(X \to Y^\wedge_X) \in \mathrm{FMP}_{X \times \mathbb A^1_k}$. Moreover, we
    have a natural identification
        \[
            \mathcal D_{X/ Y}' \times_{\mathbb A^1_k} \{0 \} \simeq \mathrm T^\bullet_{X/ Y},
        \]
    where $\mathrm T^\bullet_{X/ Y}$ denotes the groupoid object associated to the usual shifted relative tangent bundle $\mathrm T_{X/ Y}[1]$.
    Under our assumption that $f \colon X \to Y$ is a closed immersion it follows from \cite[Corollary 8.4.3.2]{Lurie_Higher_algebra} that the relative cotangent complex
        \[  
            \mathbb L_{X/ Y} \in \mathrm{Coh}^+(X),
        \]
    is $1$-connective. As a consequence, we deduce that the natural morphism $X \to \mathrm T^\bullet_{X/Y}$ is a termwise nil-isomorphism. As a consequence,
    we conclude immediately that $\mathrm T^\bullet_{X/ Y}$
    agrees with the formal groupoid,
    over $X$, associated to the formal moduli problem
        \[  
            (X \to \mathbb T_{X/ Y}[1]^\wedge) \in \mathrm{FMP}_{X/ }.
        \]
\end{rem}

\begin{rem}
    Consider the sequence of deformations in \cref{prop:algebraic_properties_of_deformation}, $\{ X^{(n)} \}_{n \ge 0}$.
    The latter defines a filtration on the global sections of the formal completion $Y^\wedge_X$, which we shall
    refer to as the \emph{Hodge filtration associated to the morphism $f$}. Therefore, \cref{prop:algebraic_properties_of_deformation}
    can be interpreted as a spreading out result of the Hodge filtration
    from de Rham cohomology to the global sections of the formal completion.
\end{rem}

\begin{rem}
    The left-lax action of the multiplicative monoid $\mathbb A^1_k$ can be made explicit at the fiber of the morphism $p \colon \mathcal D_{X/ Y} \to \mathbb A^1_k$
    at $\{ 0\} \subseteq \mathbb A^1_k$. Indeed, under the natural identification
        \[
            (\mathcal D_{X/ Y})_0 \simeq \mathrm T_{X/ Y}^\wedge[1] ,
        \]
    we obtain that the filtration on $\mathcal D_{X/ Y}$ induces the natural filtration on $\mathrm T_{X/ Y}^\wedge[1]$ which is obtained by considering
        \[
            \mathbb T_{X/ Y}  \in \mathrm{Ind}\mathrm{Coh}(X)^{\mathrm{gr}, =1} \subseteq \mathrm{Ind}\mathrm{Coh}(X)^{\mathrm{gr}, \ge 0},
        \]
    using notations as in \cite[\S 9.2.5.2]{Gaitsgory_Study_II}. Moreover, the construction of the Hodge filtration in \cref{prop:algebraic_properties_of_deformation} (3)
    is naturally $\mathbb A^1_k$ left-lax equivariant and the equivalence in \cref{prop:algebraic_properties_of_deformation} (4) is $\mathbb A^1_k$ left-lax equivariant, as well.
   
   
\end{rem}

Our goal now is to identify the Hodge filtration on $Y^\wedge_X$, in the case where $f \colon X \to Y$ is a closed immersion:


\begin{prop} \label{lem:identification_of_Hodge_and_adic_filtrations}
    Let $f \colon X \to Y$ be a morphism of affine derived schemes. Denote by $A = \Gamma(X, \mathcal O_X)$ and $B = \Gamma(Y, \mathcal O_Y)$, the corresponding derived
    global sections and let $I \coloneqq \mathrm{fib}(B \to A)$ denote the fiber of the induced morphism of derived $k$-algebras $B \to A$. The following assertions hold:
    \begin{enumerate}
        \item If $f \colon X \to Y$ be a locally of complete intersection closed morphism in the $\infty$-category\xspace $(\mathrm{dAff}_k)^\mathrm{laft}$,
        then the Hodge filtration on the formal completion $Y^\wedge_X$ constructed in
        \cref{prop:algebraic_properties_of_deformation} identifies with the usual $I$-adic filtration on $B^\wedge_I$, by taking derived global sections.
        \item Assume that $f \colon X \to Y$ is a closed immersion. Then the Hodge filtration, $\{ \mathrm{Fil}^n_H \}$,
        on the derived global sections 
            \[\Gamma(Y^\wedge_X,\mathcal O_{Y^\wedge_X}) \simeq B^\wedge_I,\]
        produces, for each $n \ge 1$, natural equivalences
            \[
                B/ \mathrm{Fil}_H^n \simeq \mathrm{dR}_{A/ B}/ \mathrm{Fil}_H^n,
            \]
        of derived $k$-algebras.
        In particular, we obtain a natural equivalence of derived $k$-algebras
            \[
                B^\wedge_I \simeq \lim_{n \ge 1} \mathrm{dR}_{A/ B} / \mathrm{Fil}_H^n.  
            \]
    \end{enumerate}
\end{prop}

\begin{proof} We first prove claim (2) of the Proposition.
    Since $f \colon X \to Y$ is a closed immersion between affines we deduce that the relative cotangent complex $\mathbb L_{X/ Y} \in \mathrm{Coh}^+(X)$ is $1$-connective.
    For this reason, the sequence morphisms
        \[
            X \times \mathbb A^1_k = X^{(0)} \hookrightarrow X^{(1)} \hookrightarrow \dots \hookrightarrow X^{(n)} \hookrightarrow \dots,  
        \]
    of \cref{prop:algebraic_properties_of_deformation} (4) correspond to successive square-zero extensions.
    Moreover,
    it follows from \cite[Corollary 9.5.2.5]{Gaitsgory_Study_II} that, after applying the Serre duality functor on $\mathrm{Ind}\mathrm{Coh}$, one has an equivalence
        \[
            \mathcal O_{Y^\wedge_X} \simeq \lim_{n \ge 0} \mathcal O_{(X^{(n)})_\lambda},  
        \]
    in $\mathrm{CAlg}_k$, for any
    for $\lambda \neq 0$. Henceforth,
    at the level of derived global sections, one obtains a natural identification   
        \[
            B^\wedge_I \simeq \lim_{n \ge 0} \Gamma((X^{(n)})_\lambda, (\mathcal O_{X^{(n)}})_\lambda),  
        \]
    in the $\infty$-category\xspace $\mathrm{CAlg}_k$. Similarly, thanks to
    the proof of \cite[\S 9, Theorem 5.1.3]{Gaitsgory_Study_II} in the case of vector groups (c.f. \cite[\S 9.5.5]{Gaitsgory_Study_II})
    we deduce a natural equivalence
        \[
            \mathrm{dR}_{A/ B} \simeq \lim_{n \ge 0}\Gamma((X^{(n)})_0, \mathcal O_{(X^{(n)})_0}),
        \]
    in $\mathrm{CAlg}_k$. By the naturality of the construction of \cite[\S 9.5.1]{Gaitsgory_Study_II} combined with the argument provided in \cite[\S 9.5.5]{Gaitsgory_Study_II} to the reduction to the case of vector groups,
    we deduce that
        \[
            p \colon X^{(n)} \to   \mathbb A^1_k,
        \]
    has constant fibers. Indeed, for $n = 0$, the natural morphism
        \[
            X^{(0)} \to X^{(1)},  
        \]
    corresponds, by construction, to the natural square-zero extension
        \[
            \mathbb L_A \to \mathbb L_{A/ B} ,  
        \]
    classifying the extension
        \[
            \mathbb L_{A/ B}[-1] \to \Sym^{\le 1}(\mathbb L_{A/ B}[-1])  \to A,
        \]
    of $A$-modules.
    Assuming the result for $n \ge 0$, we have that
        \[
            \mathbb L_{A^{(n)}/ B} \in \mathrm{Coh}^+(A^{(n)}),    
        \]
    where $A^{(n)} \coloneqq \Gamma(X^{(n)}, \mathcal O_{X^{(n)}})$,
    identifies with the relative cotangent complex of the natural morphism
        \[
            B \to \Sym^{\le n}(\mathbb L_{A/ B}[-1]),  
        \]
    produced by induction and the naturality of the construction. Moreover, thanks to \cite[\S 9.5.5]{Gaitsgory_Study_II}
    the relative cotangent complex
        \[
            \mathbb L_{\Sym^{\le n}(\mathbb L_{A/ B}[-1])/ B} \in \mathrm{Coh}^+(\Sym^{\le n}(\mathbb L_{A/ B}[-1])),
        \]  
    is equipped with a decreasing filtration, starting in degree $n$, whose $n$-th piece identifies with
        \[
            \Sym^{n+1}(\mathbb L_{A/ B}[-1])[1] \in \mathrm{Coh}^+(\Sym^{\le n}(\mathbb L_{A/ B}[-1])).  
        \]
    For this reason, the derivation
        \[
            \mathbb L_{A^{(n)}} \to \mathbb L_{A^{(n)}/ B} \to \Sym^{n+1}(\mathbb L_{A/ B}[-1])[1] ,
        \]
    identifies with the natural derivation
        \[
            \mathbb L_{\Sym^{\le n}(\mathbb L_{A/ B}[-1])[1])/ B} \to \Sym^{n+1}(\mathbb L_{A/ B} [1])  ,
        \]
    classifying the extension
        \[
            \Sym^{n+1}(\mathbb L_{A/ B}[-1]) \to \Sym^{\le n+1}(\mathbb L_{A/ B}[-1])   \to \Sym^{\le n}(\mathbb L_{A/ B}[-1]).
        \]
    The claim now follows by induction on $n \ge 0$.
    As a consequence of the previous considerations we deduce that
        \[
            \Gamma((X^{(n)})_\lambda, (\mathcal O_{X^{(n)}})_\lambda) \simeq \Gamma((X^{(n)})_0, (\mathcal O_{X^{(n)}})_0),
        \]
    for every $\lambda \in \mathbb A^1_k$, and therefore we have natural equivalences
        \[
            B^\wedge_I \simeq \mathrm{dR}_{A/ B} \quad \mathrm{and} \quad B/ \mathrm{Fil}_H^n \simeq \mathrm{dR}_{A/ B}/ \mathrm{Fil}^n_H,
        \]
    in $\mathrm{CAlg}_k$, as desired.
    We now prove statement (1) of the Proposition.
    Assume first that $A$ and $B$ are ordinary $k$-algebras and the (classical) ideal $I \subseteq B$
    is generated by a regular sequence.
    In this case, we have an identification
        \[
            \mathbb L_{A/ B} \simeq I/ I^2 [1],
        \]
    see for instance \cite[\href{https://stacks.math.columbia.edu/tag/08SJ}{Tag 08SJ}]{stacks-project}.
    In particular, the $n$-th graded piece of the Hodge filtration in \cref{prop:algebraic_properties_of_deformation} (3) can be identified with
        \[
            \Sym^n(\mathbb L_{A/ B}[-1]) \simeq I^n/ I^{n+1}, 
        \]
    where the latter equivalence follows again by the fact that $I$ is generated by a regular sequence in $\pi_0(B)$. In particular, we deduce, by induction on $n \ge 1$, a natural identification between
    the fiber sequence
        \[
            \Sym^{n+1}(\mathbb L_{A/ B}[-1]) \to \Sym^{\le n+1}(\mathbb L_{A/ B}[-1]) \to \Sym^{\le n}(\mathbb L_{A/ B}[-1]),
        \]
    and the the $I$-adic one
        \[  
            I^n/ I^{n+1} \to B/ I^{n+1} \to B/ I^n,
        \]
    as $B$-modules. By naturality of \cite[Theorem 9.5.1.3]{Gaitsgory_Study_II} and induction on $n \ge 1$ it follows that we have natural identifications
        \[
            X^{(n)} \simeq \Spec (A/ I^{n+1}) ,
        \]
     of affine derived schemes, as desired. The assertion in general follows along the same reasoning noticing that
        \[
            \mathbb L_{A/ B} \in \mathrm{Mod}_A,  
        \]
    is concentrated in homological degrees $[1, 0]$.
\end{proof}     

\begin{rem} It follows from \cite[\S 9, Theorem 5.5.4]{Gaitsgory_Study_II}, that in the situation of \cref{lem:identification_of_Hodge_and_adic_filtrations}, the natural composite morphism
        \[
            \Sym^n(\mathbb L_{A/ B} [-1]) \to \Sym^{ \le n}(\mathbb L_{A/ B}[-1]) \to \Sym^{n+1}(\mathbb L_{A/ B}[-1]), 
        \]
    corresponds to the usual de Rham differential,
    where $\Sym^{ \le n}(\mathbb L_{A/ B}[-1]) \to \Sym^{n+1}(\mathbb L_{A/ B}[-1])$ classifies the natural extension
        \[
            \Sym^{n+1}(\mathbb L_{A/ B} [-1]) \to \Sym^{ \le n +1 }(\mathbb L_{A/ B}[-1]) \to \Sym^{\le n}(\mathbb L_{A/ B}[-1]),
        \]
    associated to the $n$-th piece of the Hodge filtration,
\end{rem}

\begin{rem}
    Let $ f\colon X \to Y$ be a closed immersion of affine derived schemes. Let $A \coloneqq \Gamma(X, \mathcal O_X)$ and $B \coloneqq \Gamma(Y, \mathcal O_Y)$.
    In \cite[Proposition 4.16]{Bhatt_Derived_Completions}, the author proves a similar statement to \cref{lem:identification_of_Hodge_and_adic_filtrations}.
    It turns out that both filtrations on $B^\wedge_I$ agree in the case of \cite{Bhatt_Derived_Completions} or in the situation of \cite[\S 9]{Gaitsgory_Study_II}.
    A comparison can be stated as follows: it is immediate that both the filtrations of Bhatt and Gaitsgory-Rozemblyum on $B^\wedge_I$, denoted respectively
        \[
            \mathrm{Fil}^n_B \quad \mathrm{and} \quad \mathrm{Fil}^n_H,  
        \]
    agree in the case where $f$ is a local complete intersection morphism.
    Moreover, it follows from the fact that the cotangent complex commutes with sifted colimits that, for each $n \ge 0$, the natural morphisms
        \begin{equation} \label{eq:de_Rham_differential}
            \Sym^{\le n}(\mathbb L_{A/ B}[-1]) \to \Sym^{n+1} (\mathbb L_{A/ B}[-1])  [1]
        \end{equation}
    are stable under sifted colimits as well. Consider the simplicial model structure in the simplicial category of pairs $(A, I)$
    where $A$ is a simplicial $k$-algebra and $I \subseteq A$ a simplicial ideal given by the description:
    a pair $(A, I)$ is a fibration (resp., trivial fibration) if and only if both $A$ and $I$ are simultaneously fibrations (resp., trivial fibrations)
    of simplicial sets. Moreover, the cofibrant objects correspond to pairs $(P, J)$ where, for each $[n] \in \bm{\Delta}$, $P_n$ is a polynomial $k$-algebra on a set $X_n$
    and $J_n$ an ideal defined by a subset $Y_n \subseteq X_n$, both preserved by degeneracies and the relative situation. The $\infty$-categorical
    localization at the class of weak equivalences agrees furthermore with the $\infty$-category\xspace $\Fun_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k)$. In particular,
    considering a simplicial resolution $(P_\bullet, I_\bullet)$ for the morphism $B \to A$ consisting of polynomial algebras and regular ideals
    we deduce that
        \[
            \mathrm{Fil}^n_H \simeq \mathrm{Fil}^n_B,  \quad \mathrm{for} \ n \ge 0,
        \]  
    in the general case, as well.
\end{rem}

\subsection{The construction of the deformation in the affinoid case} Consider the object
\[
    \mathbf{B}^{\mathrm{an}, \bullet}_{\mathrm{scaled}} \colon \bm{\Delta} ^\mathrm{op} \to (\mathrm{dAnSt}_k)_{/ \mathbf A^1_k},
\]
obtained as the analytification of the simplicial object $\mathrm{B}^\bullet_{\mathrm{scaled}} \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{dSt}^\mathrm{laft}_k)$ described in the previous section.

Our goal in this section, is to construct the deformation to the normal cone in the non-archimedean
setting, in the case where $Y$ is derived $k$-affinoid. We shall further assume that
    \[
        f \colon X \to Y,
    \]  
exhibits $X$ as an analytic formal moduli problem over $Y$. In particular, $X$ admits a deformation theory and we can
consider the relative cotangent complex
    \[
        \mathbb L^\mathrm{an}_{X/ Y} \in \mathrm{Pro}^\mathrm{ps}(\mathrm{Coh}^+(X)).  
    \]

\begin{defin}
    We define the \emph{parametrized non-archimedean deformation to the normal bundle} via the pullback diagram
    \[
    \begin{tikzcd}
        \mathcal D_{X/Y}^{\mathrm{an}, \bullet} \ar{r} \ar{d} & Y \times \mathbf A^1_k \ar{d} \\
        \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf{B}_\mathrm{scaled}^{\mathrm{an}, \bullet}, X \times \mathbf A^1_k) \ar{r} & \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf{B}_{\mathrm{scaled}}^{\mathrm{an, \bullet}}, Y \times \mathbf A^1_k)
    \end{tikzcd},
    \]
    computed in the $\infty$-category\xspace $\mathrm{Fun}(\bm{\Delta} ^\mathrm{op}, \mathrm{dAnSt}_k)$.
\end{defin}

\begin{rem}
    As in the algebraic case, the object $\mathbf{B}^{\mathrm{an}, \bullet}_{\mathrm{scaled}}$ admits a left-lax action of the multplicative monoid $\mathbf A^1_k \in \mathrm{dAnSt}_k$.
    This action induces a natural left-lax action of $\mathbf A^1_k$ on the deformation $\mathcal D_{X/ Y}^{\mathrm{an}, \bullet}$, as well.
\end{rem}

\begin{rem} \label{rem:reduction_step_closed_ims}
    It follows immediately from the definition of $\mathcal D_{X/ Y}^{\mathrm{an}, \bullet}$ that the latter commutes with filtered colimits in $X \in \mathrm{dAnSt}_k$.
    Moreover, \cref{prop:required_conditions_for_formal_moduli_problems} implies that the natural morphism
        \[  
            \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{/ X})_{/ Y}} \mathcal D_{S/ Y}^{\mathrm{an}, \bullet} \to \mathcal D_{X/ Y}^{\mathrm{an}, \bullet},
        \]
    is an equivalence in $\mathrm{dAnSt}_k$. For this reason, we will often reduce the construction to the case where $f \colon X \to Y$ is a nil-isomorphism of derived $k$-affinoid
    spaces.
\end{rem}

\begin{rem}
    Let $f\colon X \to Y$ be a nil-isomorphism in the $\infty$-category\xspace $\mathrm{dAfd}_k$. Then we can consider the diagram
        \[
            \mathrm{id}_Y \colon Y \to X \bigsqcup_{X_\mathrm{red}} Y \to Y,  
        \]
    which exhibits $(X \xrightarrow{f} Y)$ as a retrat of the induced morphism $(X \xrightarrow{g} X \underset{X_\mathrm{red}}{\sqcup}Y)$, both regarded as objects in $\mathrm{AnFMP}_{X/ }$.
    In this case, it follows by the naturality of the parametrized Hodge filtration that we have a retract diagram
        \[
            \mathcal D^\bullet_{X/ Y} \to \mathcal D^\bullet_{X/ X \underset{X_\mathrm{red}}{\bigsqcup} Y} \to \mathcal D^\bullet_{X/ Y},   
        \]
    of simplicial objects in $\mathrm{AnFMP}_{X \times \mathbf A^1_k/ }$. This observation will allow us to perform reduction arguments by replacing the nil-isomorphism
    $f\colon X \to Y$ by the nil-embedding $g \colon X \to X \underset{X_\mathrm{red}}{\sqcup} Y$.
\end{rem}

Let $f \colon X \to Y$ be a nil-isomorphism in the $\infty$-category\xspace $\mathrm{dAfd}_k$.
Thanks to \cite[Lemma 6.9.]{Porta_Yu_NQK}, we deduce that the induced morphism
    \[
        f^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg},  
    \]
is again a nil-isomorphism of affine derived schemes. We shall need a few preparations:

\begin{lem} \label{lem:relative_anlaytification_of_closed_immersions_are_compatible_with_alg_construction} Let $Y \in \mathrm{dAfd}_k$ and
    $(f \colon X \to Y) \in \mathrm{AnFMP}_{/Y}$. Then one has a natural equivalence
        \[
            (f ^\mathrm{alg})^\mathrm{an}_Y \simeq f,  
        \]
    in the $\infty$-category\xspace $\Fun(\bm{\Delta}^\mathrm{op}, \mathrm{dAfd}_k)$.
\end{lem}

\begin{proof} 
    The statement of the Lemma is a direct consequence of \cite[Theorem 6.12]{Porta_Yu_NQK}.
\end{proof}



\begin{lem} \label{lem:Noetherian_approximation_of_nil_isomorphisms}
    Let $f^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg}$ be a closed embedding of derived schemes. There exists a filtered $\infty$-category\xspace $\mathcal I$ and a diagram
        \[
            F \colon \mathcal I ^\mathrm{op} \to \Fun(\Delta^1, \mathrm{dAff}^\mathrm{laft}_k),  
        \]
   such that, for each $\alpha \in \mathcal I$, we have that
        \[
            F(\alpha) \coloneqq (f_\alpha \colon X_\alpha \to Y_\alpha),  
        \]
    is a closed immersion in the $\infty$-category\xspace $\mathrm{dAff}_k^\mathrm{laft}$ and such that
        \[
            f \simeq \lim_{\mathcal I^\mathrm{op}} F,  
       \]
    in the $\infty$-category\xspace $\Fun(\Delta^1, \mathrm{dAff}_k)$.
\end{lem}

\begin{proof}
    Consider the full subcategory $\Fun_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k) \subseteq \Fun (\Delta^1, \mathrm{CAlg}_k)$ spanned by morphisms $A \to B$
    such that the induced homomorphism of ordinary rings
        \[
            \pi_0(A) \to \pi_0(B),  
        \]
    is surjective. As in the proof of \cref{prop:algebraic_properties_of_deformation} the $\infty$-category\xspace $\Fun_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k)$
    is obtained as an $\infty$-categorical localization at weak equivalences of the simplicial model category whose objects correspond to pairs $(C, I)$ where $C$ is a simplicial $k$-algebra
    and $I \subseteq C$ a simplicial ring. Moreover, thanks to \cite[\S 2 IV, Theorem 4]{Quillen_Homotopical_1967} it follows that
    finite projective generators in the latter correspond to pairs of the form $(P, I)$ where $P$ is some polynomial algebra in a finite number of generators
    (concentrated in non-negatively homologically degrees)
    and $I$ an ideal spanned by a regular sequence. 
    
    In particular, finite projective generators in $\Fun_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k)$ correspond
    to morphisms $g \colon P \to Q$ where $P$ is a finite free derived $k$-algebra and the morphism $g$ is a complete intersection morphism.
    As in the proof of \cite[Proposition 8.2.5.27]{Lurie_Higher_algebra} we then deduce that the $\infty$-category\xspace $\mathrm{Fun}_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k)$ is compactly generated by
    morphisms $g \colon P \to Q$ which can be obtained from finite projective generators via a finite sequence of retracts and finite colimits.

    Arguing as in \cite[Proposition 8.2.5.27]{Lurie_Higher_algebra}, we are able to describe the set of compact generators of $\Fun_\mathrm{closed}(\Delta^1, \mathrm{CAlg}_k)$: they correspond to
    locally of finite presentation morphisms between locally finite presentation derived $k$-algebras. In particular, we can find a presentation
    of
        \[
            f^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg},  
        \]
    by closed immersions between almost finite presentation affine derived schemes
        \[
            f_\alpha \colon X_\alpha \to Y_\alpha, \quad \mathrm{for \ } \alpha \in \mathcal I^\mathrm{op},  
        \]
    where $\mathcal I$ is a filtered $\infty$-category\xspace, as desired.
\end{proof}



\begin{rem} Let $f \colon X \to Y$ be a nil-embedding in the $\infty$-category\xspace $\mathrm{dAfd}_k$. Find a presentation of $f^\mathrm{alg}$ by closed immersions between almost of finite presentation affine derived schemes of the form
        \[
            \lim_{\alpha \in I^\mathrm{op}}(f_\alpha \colon X_\alpha \to Y_\alpha).  
        \]
    Consider the object $\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{dAff}_k)$ as in \cref{construction:def_to_the_normal_bundle}.
    It is clear from the descritption
    of $\mathcal D_{X^\mathrm{alg}/Y^\mathrm{alg}}^\bullet$ given in \cref{construction:def_to_the_normal_bundle} combined with \cref{rem:simplification_of_deformation_in_the_closed_immersion}
    that one has a natural equivalence of derived stacks
        \[
            \mathcal D_{X^\mathrm{alg}/Y^\mathrm{alg}}^\bullet \simeq \lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha^\mathrm{alg}/ Y_\alpha^\mathrm{alg}}^\bullet,
        \]
    in the $\infty$-category\xspace $\mathrm{Fun}(\bm{\Delta} ^\mathrm{op}, \mathrm{dSt}_k)$.
\end{rem}


\begin{lem} \label{lem:analytification_of_simplicial_object_deformation}
    Let $Y \in \mathrm{dAfd}_k$. Consider a morphism $f \colon X \to Y$ in $\mathrm{dAnSt}_k$ which exhibits $X$ as an analytic formal moduli problem
    over $Y$. Then one has a natural equivalence
        \[
            \theta_{X/ Y} \colon \mathcal D_{X/Y}^{\mathrm{an}, \bullet} \simeq (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet)^\mathrm{an}_Y  ,
        \]
    where $(-)_Y^\mathrm{an}$ denotes the relative analytification with respect to $Y$.
\end{lem}

\begin{proof}
    We first observe that both $\mathcal D_{X/Y}^{\mathrm{an}, \bullet}$ and $(\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet)^\mathrm{an}_Y$ are stable under filtered
    colimits in $X$. For this reason, we reduce ourselves to the case where $f \colon X \to Y$ itself is a nil-isomorphism in the $\infty$-category\xspace
    $\mathrm{dAfd}_k$. Similarly, $\theta_{X/ Y}$ is stable under retracts. Therefore, we are allowed to replace the morphism $X \to Y$
    by
        \[  
            X \to Y \underset{X_\mathrm{red}}{\bigsqcup} X,
        \]
    and therefore assume that $f \colon X \to Y$ is a nil-embedding.
    As in \cref{lem:Noetherian_approximation_of_nil_isomorphisms}, write the nil-embedding between affine derived schemes
        \[
            f \colon X^\mathrm{alg} \to Y^\mathrm{alg},  
        \]
    as a cofiltered limit of closed immersions
        \[\lim_{\alpha \in I^\mathrm{op}} f_\alpha \colon \lim_{\alpha \in I^\mathrm{op}} X_\alpha^\mathrm{alg} \to \lim_{\alpha \in I^\mathrm{op}} Y_\alpha^\mathrm{alg},\]
    where for each index $\alpha \in I$, both $X_\alpha$
    and $Y_\alpha$ are affine derived schemes almost of finite presentation. Since the natural projection morphism
        \[
            \mathrm{B}_\mathrm{scaled}^\bullet \to \mathbb A^1_k, 
        \]
    where $\mathbb A^1_k$ is considered as a constant simplicial object in $\mathrm{dSt}_k$, is a proper morphism, we deduce from \cite[Theorem 6.13]{Holstein_Analytification_of_mapping_stacks}
    that for every $\alpha$, the natural morphisms
        \begin{align*}
            \Map_{/\mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, X_\alpha^\mathrm{alg} \times \mathbb A^1_k)^\mathrm{an} & \to \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf{B}^{\bullet, \mathrm{an}}_\mathrm{scaled} , (X_\alpha^\mathrm{alg})^\mathrm{an} \times \mathbf A^1_k) \\
            \Map_{/\mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, Y_\alpha^\mathrm{alg} \times \mathbb A^1_k)^\mathrm{an} & \to \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf{B}^{\bullet, \mathrm{an}}_\mathrm{scaled} , (Y_\alpha^\mathrm{alg})^\mathrm{an} \times \mathbf A^1_k)
        \end{align*}
    are equivalences in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Therefore, the natural morphism
        \[
            (\mathcal D_{X^\mathrm{alg}_\alpha/Y^\mathrm{alg}_\alpha}^\bullet )^\mathrm{an}  \to \mathcal D_{(X_\alpha ^\mathrm{alg})^\mathrm{an}/ (Y_\alpha ^\mathrm{alg})^\mathrm{an}}^{\bullet, \mathrm{an}},
        \]
    is an equivalence in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Observe further that for every $\alpha \in A$ the mapping stacks
        \[
            \Map_{/ \mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, X_\alpha^\mathrm{alg} \times \mathbb A^1_k) \quad \mathrm{and} \quad \Map_{/ \mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, Y_\alpha^\mathrm{alg} \times \mathbb A^1_k)  
        \]
    are affine schemes and therefore it follows by the construction of the analytification functor
        \[
            (-)^\mathrm{an} \colon \mathrm{dAff}_k \to \mathrm{dAnSt}_k,  
        \]
    as a right Kan extension of the usual analytification functor
        \[
            (-)^\mathrm{an} \colon \mathrm{dAff}^\mathrm{laft}_k \to \mathrm{dAn}_k,  
        \]
    that we have natural equivalences
        \begin{align*}
           ( \lim_\alpha \Map_{/\mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, X_\alpha^\mathrm{alg} \times \mathbb A^1_k)) ^\mathrm{an} & \simeq \mathbf{Map}_{/\mathbb A^1_k}(\mathrm{B}^{\bullet, \mathrm{an}}_\mathrm{scaled}, (X^\mathrm{alg})^\mathrm{an}_Y \times \mathbf A^1_k) \\
           ( \lim_\alpha \Map_{/\mathbb A^1_k}(\mathrm{B}^\bullet_\mathrm{scaled}, Y_\alpha^\mathrm{alg} \times \mathbb A^1_k)) ^\mathrm{an} & \simeq \mathbf{Map}_{/\mathbb A^1_k}(\mathrm{B}^{\bullet, \mathrm{an}}_\mathrm{scaled}, (Y^\mathrm{alg})^\mathrm{an}_Y \times \mathbf A^1_k).
        \end{align*}
    in the $\infty$-category\xspace $(\mathrm{dAnSt}_k)_{X \times \mathbb A^1/ /Y \times \mathbb A^1_k}$.
    The result now follows from the existence of a commutative cube
        \[
        \begin{tikzcd}[column sep=0.125in,row sep=0.125in]
            (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet)^\mathrm{an}_Y \ar{rr} \ar{dd} \ar{rd} &  & Y \times \mathbf A^1_k \ar{rd} \ar{dd} & \\
            & (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet)^\mathrm{an} \ar{rr} \ar{dd} &  & (Y^\mathrm{alg} \times \mathbb A^1_k)^\mathrm{an} \ar{dd} \\
            \mathbf{Map}_{/\mathbf A^1_k}(\mathbf{B}^\bullet, X \times \mathbf A^1_k) \ar{rr} \ar{rd} & & \mathbf{Map}_{/\mathbf A^1_k}(\mathbf{B}^\bullet, Y \times \mathbf A^1_k) \ar{rd} \\
            & \mathbf{Map}_{/\mathbf A^1_k}(\mathbf{B}^\bullet, (X^\mathrm{alg})^\mathrm{an} \times \mathbf A^1_k) \ar{rr} &  & \mathbf{Map}_{/\mathbf A^1_k}(\mathbf{B}^\bullet, (Y^\mathrm{alg})^\mathrm{an} \times \mathbf A^1_k)
        \end{tikzcd}
        \]
    whose top and front squares are fiber products in $\mathrm{dAnSt}_k$, and thus so it is the back square, as desired.
\end{proof}




\begin{cor} \label{cor:analytic_def_fiber_at_0_is_tangent} With notations as above, one has a canonical equivalence
        \[
            (\mathcal D^{\bullet, \mathrm{an}}_{X/Y})_0 \simeq (\mathbf T^{\mathrm{an}, \bullet}_{X/Y})^\wedge ,
        \]
    where the latter denotes the commutative group object associated to the formal completion of the tangent bundle of $f$ along the zero section $s_0 \colon
    X \to \mathbf T^{\mathrm{an}, \bullet}_{X/Y}$.
\end{cor}

\begin{proof}
    The result follows from \cite[Proposition 9.2.3.6]{Gaitsgory_Study_II} combined with the fact that relative analytification
    commutes with tangent bundles and formal completions, see the proof of \cite[Lemma 5.31]{Holstein_Analytification_of_mapping_stacks}
    and \cite[Corollary 5.20]{Holstein_Analytification_of_mapping_stacks}.
\end{proof}

The following result is an immediate consequence of \cref{lem:analytification_of_simplicial_object_deformation}:

\begin{lem} \label{lem:deformation_theory_for_D^an_bullet_X/Y}
    For each $[n] \in \bm{\Delta}$, the object $\mathcal D_{X/Y}^{\mathrm{an}, [n]} \in (\mathrm{dAnSt}_k)_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k}$ admits a deformation theory.
\end{lem}

\begin{proof}
    We shall prove that each component of the simplicial object
        \[\mathcal D^{ \mathrm{an}, \bullet}_{X/ Y} \in \Fun(\bm{\Delta} ^\mathrm{op}, \mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y\times\mathbf A^1_k}),\]
    admits a deformation theory.
    By \cite[Lemma 2.3.2]{Gaitsgory_Study_II}, it follows
    that $\mathcal D^\bullet_{X^\mathrm{alg}/ /Y^\mathrm{alg}}$ is an object in $\mathrm{FMP}_{X^\mathrm{alg}/ /Y^\mathrm{alg}}$. The result now follows by applying the relative analytification functor $(-)_Y^\mathrm{an}$ together with
    \cite[Proposition 6.10]{Porta_Yu_NQK}.
\end{proof}

\begin{rem} \label{rem:D_X/Y_lives_over_and_under_XxA^1_as_anFMP} Let $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{/ Y}$, with $Y \in \mathrm{dAfd}_k$.
    It follows immediately from \cref{lem:deformation_theory_for_D^an_bullet_X/Y} that the datum
        \[
            (X \times \mathbf A^1_k \to \mathcal D^{\bullet, \mathrm{an}}_{X/ Y} \to Y \times \mathbf A^1_k) \in (\mathrm{dAnSt}_k)_{X \times \mathbf A^1_k/ /Y\times\mathbf A^1_k},  
        \]
    belongs to the full subcategory $\mathrm{AnFMP}_{X\times\mathbf A^1_k/ /Y\times\mathbf A^1_k}$.
\end{rem}

\begin{construction}
    The $\infty$-category\xspace $\mathrm{AnFMP}_{X\times\mathbf A^1_k/ /Y\times\mathbf A^1_k}$ is presentable and in particular it
    admits sifted colimits. Thanks to \cref{lem:deformation_theory_for_D^an_bullet_X/Y},
    we can consider the object
        \[
            \mathcal D^\mathrm{an}_{X/Y} \coloneqq \colim_{\bm{\Delta} ^\mathrm{op}} \mathcal D^{\mathrm{an}, \bullet}_{X/Y} \in \mathrm{AnFMP}_{X\times\mathbf A^1_k/ /Y\times\mathbf A^1_k}.  
        \]
    Similarly, we consider the sifted colimit
        \[
            \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}} \coloneqq \colim_{\bm{\Delta} ^\mathrm{op}} \mathcal D^\bullet_{X^\mathrm{alg}/ Y^\mathrm{alg}} \in \mathrm{FMP}_{X^\mathrm{alg} \times \mathbb A^1_k/ /Y^\mathrm{alg} \times \mathbb A^1_k} ,
        \]
    computed in the $\infty$-category\xspace $\mathrm{FMP}_{X^\mathrm{alg}\times\mathbb A^1_k/ /Y^\mathrm{alg}\times\mathbb A^1_k}$. We can consider the latter as an object in
        \[
            \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}} \in \mathrm{dSt}_{X^\mathrm{alg} \times \mathbb A^1_k/ /Y^\mathrm{alg} \times \mathbb A^1_k},  
        \]
    and therefore consider its relative analytification $(\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}})^\mathrm{an}_Y \in \mathrm{dAnSt}_{X^\mathrm{alg} \times \mathbf A^1_k/ /Y^\mathrm{alg} \times \mathbf A^1_k}$. Thanks to
    \cref{lem:analytification_of_simplicial_object_deformation} it follows that we have a natural morphism
        \[
            \theta_{X/ Y} \colon \mathcal D^\mathrm{an}_{X/ Y} \to (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}})^\mathrm{an}_Y,  
        \]
    in the $\infty$-category\xspace $(\mathrm{dAnSt}_k)_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k}$.
\end{construction}

Our next goal is to prove that the morphism $\theta_{X/ Y}$ is an equivalence of deformations. In order to prove the latter statement, we shall
need a preliminary lemma:

\begin{lem} \label{lem:Noetherian_approximation_of_the_deformation_to_the_normal_bundle}
    Let $f \colon X \to Y$ be a nil-embedding in the $\infty$-category\xspace $\mathrm{dAfd}_k$. Consider approximation of the nil-embedding morphism $f^\mathrm{alg}$
        \[
            \lim_{\alpha \in I^\mathrm{op}} f_\alpha \colon \lim_{\alpha \in I^\mathrm{op}} X_\alpha \to \lim_{\alpha \in I^\mathrm{op}} Y_\alpha,
        \]
    as in \cref{lem:Noetherian_approximation_of_nil_isomorphisms}. Then, we have a natural morphism of the form
        \begin{equation} \label{eq:morphism_theta}
            \theta \colon \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}  \to \lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha/ Y_\alpha},
        \end{equation}
    which is furthermore an equivalence in the $\infty$-category\xspace $\mathrm{AnFMP}_{X \times \mathbb A^1_k / Y ^\mathrm{alg} \times \mathbb A^1_k}$
\end{lem}

\begin{proof}
    It is clear that the natural morphisms $X_\alpha \to \mathcal D_{X_\alpha/ Y_\alpha}$ assemble into a morphism
        \[
            X ^\mathrm{alg} \simeq \lim_{\alpha \in I^\mathrm{op}} X_\alpha \to \lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha/ Y_\alpha},
        \]
    which admits a deformation theory, therefore the morphism 
        \[X^\mathrm{alg} \to \lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha/ Y_\alpha},\]
    exhibits $\lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha/ Y_\alpha}$ as an object
    in the $\infty$-category\xspace $\mathrm{FMP}_{X^\mathrm{alg} \times \mathbb A^1_k/ }$. Notice that \cref{thm:Phi_is_an_equivalence} holds true in this setting, proved in
    an analogous way, to provide us
    with an equivalence of $\infty$-categories\xspace
        \[  
            \mathrm B_X(\bullet) \colon \mathrm{FGrpd}(X^\mathrm{alg} \times \mathbb A^1_k) \to \mathrm{FMP}_{X^\mathrm{alg} \times \mathbb A^1_k/ },
        \]
    where $\mathrm{FGrp}(X^\mathrm{alg} \times \mathbb A^1_k)$ denotes the $\infty$-category\xspace of formal groupoids over $X^\mathrm{alg} \times \mathbb A^1_k \in \mathrm{dSt}_k$. For this reason, we are reduced to show
    the existence of a natural equivalence between formal groupoids over $X^\mathrm{alg} \times \mathbb A^1_k$,
        \[
            \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet \simeq X^{\times_{\lim_\alpha \mathcal D_{X_\alpha/ Y_\alpha}} \bullet},
        \]
    where the right hand side denotes the \v{C}ech nerve of the morphism $X \to \lim_\alpha \mathcal D_{X_\alpha/ Y_\alpha}$.
    Since limits
    commute with limits in the $\infty$-category\xspace $\mathrm{dAnSt}_k$, we obtain a chain of natural equivalences of the form
        \begin{align*}
            (X^\mathrm{alg})^{\times_{\lim_{\alpha} \mathcal D_{X_\alpha/ Y_\alpha}}\bullet}    & \simeq \lim_{\alpha } \big(X_\alpha^{\times_{\mathcal D_{X_\alpha/ Y_\alpha}} \bullet} \big) \\
                                                                                & \simeq \lim_{\alpha } \mathcal D_{X_\alpha/ Y_\alpha}^\bullet \\
                                                                                & \simeq \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet,
        \end{align*}
    in the $\infty$-category\xspace $\mathrm{FGrp}(X)$. Only the the second equivalence needs a justification:
    for each $\alpha \in I$, we have natural identifications
        \[
            \mathcal D_{X_\alpha/ Y_\alpha} \simeq \mathrm B_{X_\alpha}( \mathcal D_{X_\alpha/ Y_\alpha}^\bullet) , 
        \]
    by construction, where $\mathrm B_{X_\alpha} (-)$ is as in \cite[\S 5.2]{Gaitsgory_Study_II}. Therefore, we deduce by adjunction that
        \[
            X^{\times_{\mathcal D_{X_\alpha/ Y_\alpha} }\bullet} \simeq \mathcal D_{X_\alpha/ Y_\alpha}^\bullet,
        \]
    is an equivalence in the $\infty$-category\xspace $\mathrm{FGrpd}(X_\alpha)$, as well. The proof is thus concluded.
\end{proof}

The following result implies that the relative analytification commutes with the deformation to the normal bundle:

\begin{prop} \label{prop:rel_analytification_preserves_the_deformation}
    The natural morphism of \eqref{eq:morphism_theta},
        \[
            \theta_{X/ Y}\colon\mathcal D^\mathrm{an}_{X/Y}\to(\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}})^\mathrm{an}_Y,
        \]
    is an equivalence of derived $k$-analytic stacks.
\end{prop}

\begin{proof} Since the morphism $\theta_{X/ Y}$ commutes with filtered colimits in $X$, we reduce the statement of the Proposition to the
    case where $X \in \mathrm{AnNil}_{/ Y}$.
    In this case, we have that $Y \times \mathbf A^1_k \in \mathrm{AnFMP}_{X \times \mathbf A^1_k/ }$. By naturality of the morphism $\theta_{X/ Y}$
    we are allowed to prove the statement of the Proposition up to a retract. For this reason,
    we can replace $Y$ by $Y \underset{X_\mathrm{red}}{\sqcup} X$ and therefore assume that $f \colon X\to Y$ is a nil-embedding.
    Consider now the relative analytification functor
        \[
            (-)^\mathrm{an}_Y \colon \mathrm{FMP}_{/ Y^\mathrm{alg} \times \mathbb A^1_k}   \to \mathrm{AnFMP}_{/ Y \times \mathbf A^1_k}, 
        \]
    introduced in \cite[\S 6.1]{Porta_Yu_NQK}. Thanks to \cite[Theorem 6.12]{Porta_Yu_NQK} the natural functor displayed above is an equivalence of $\infty$-categories\xspace.
    Observe further that we have a well defined functor
        \begin{equation} \label{eq:rel_analytification_functor_as}
            (-)^\mathrm{an}_Y \colon \mathrm{FMP}_{X^\mathrm{alg} \times \mathbb A^1_k/ /Y^\mathrm{alg} \times \mathbb A^1_k} \to \mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k},
        \end{equation}
    induced by the usual relative analytification functor. Indeed, we have that 
        \[
            X \times \mathbf A^1_k \simeq (X^\mathrm{alg})^\mathrm{an}_Y \times \mathbf A^1_k,   
        \]
    as the pair$((-)^\mathrm{alg}, (-)^\mathrm{an}_Y)$ forms an equivalence itself. It is further clear that \eqref{eq:rel_analytification_functor_as}
    is an equivalence of $\infty$-categories\xspace as well. In particular, it commutes with all small colimits. Therefore, we have a chain of natural equivalences
        \begin{align*}
            (\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}})^\mathrm{an}_Y & \simeq (\colim_{\bm{\Delta} ^\mathrm{op}} \mathcal D_{X^\mathrm{alg}/Y^\mathrm{alg}}^\bullet) ^\mathrm{an}_Y \\
                                      & \simeq \colim_{\bm{\Delta} ^\mathrm{op}}(\mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}^\bullet)^\mathrm{an}_Y \\
                                      & \simeq \colim_{\bm{\Delta} ^\mathrm{op}} \mathcal D_{X/ Y}^{\mathrm{an}, \bullet},
        \end{align*}
    in $\mathrm{AnFMP}_{X \times \mathbf A^1_k/ / Y\times \mathbf A^1_k}$, thanks to \cref{prop:rel_analytification_preserves_the_deformation}. The conclusion now follows from the observation that the forgetful functor
        \[
            \mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k} \to \mathrm{AnFMP}_{X \times \mathbf A^1_k/ }  ,
        \]
    commutes with colimits and it is moreover conservative, thus it reflects sifted colimits.
\end{proof}
   
   
   
   
   
   
    
    
    
    
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   

\begin{lem} \label{lem:identification_of_non-archimedean_fibers}
    Consider the natural projection morphism
        \[
            q \colon \mathcal D_{X/ Y}^\mathrm{an} \to \mathbf A^1_k.
        \]
    Then its fiber at $\lambda \neq 0$ coincides with the formal completion
        \[
            Y^\wedge_X,  
        \]
    and its fiber at $\{ 0 \} \subseteq \mathbf A^1_k$ with the completion of the shifted tangent bundle $\mathbf T^\mathrm{an}_{X/ Y}[1]$ along the zero section $s_0 \colon X \to \mathbf T^\mathrm{an}_{X/ Y}[1]$.
\end{lem}

\begin{proof}
    The above assertions follow immediately from \cref{prop:rel_analytification_preserves_the_deformation}, \cref{cor:analytic_def_fiber_at_0_is_tangent} and \cref{prop:algebraic_properties_of_deformation}.
\end{proof}


\begin{construction} \label{const:pullbacks_of_deformations} Let $Y \in \mathrm{dAfd}_k$ and $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{/ Y}$.
    Denote by $g \colon U \to Y$ a morphism in $\mathrm{dAfd}_k$. Consider the pullback diagram
        \[
        \begin{tikzcd}
            X_U \ar{r} \ar{d} & U \ar{d} \\
            X \ar{r}{f} & Y,  
        \end{tikzcd}
        \]
    computed in the $\infty$-category\xspace $\mathrm{dAfd}_k$. It follows from the definitions that the morphism $X_U \to U$ admits a deformation theory and
    that we have a natural pullback square of simplicial objects
        \[
        \begin{tikzcd}
            \mathcal D_{X_U/ U}^{\mathrm{an}, \bullet} \ar{r} \ar{d} & \mathcal D_{X/Y}^{\mathrm{an}, \bullet} \ar{d} \\
            U \ar{r} & Y,
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. For this reason, we obtain a natural commutative diagram
        \[
        \begin{tikzcd}
            \mathcal D_{X_U/ U}^\mathrm{an} \ar{r} \ar{d} & \mathcal D_{X/ Y} ^\mathrm{an} \ar{d} \\
            U \ar{r} & Y,
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. Similarly, \cite[Proposition 3.17]{Porta_Yu_Derived_non-archimedean_analytic_spaces}
    implies that we have a pullback diagram
        \[
        \begin{tikzcd}
            X_U^\mathrm{alg} \ar{r} \ar{d} & U ^\mathrm{alg} \ar{d} \\
            X^\mathrm{alg} \ar{r}{f^\mathrm{alg}} & Y^\mathrm{alg}
        \end{tikzcd},
        \]
    in the $\infty$-category\xspace $\mathrm{dAff}_k$. Reasoning as above, we have a natural commutative square
      \[
        \begin{tikzcd}
        \mathcal D_{X_U^\mathrm{alg}/ U^\mathrm{alg}} \ar{r} \ar{d} & \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}} \ar{d} \\
        U^\mathrm{alg} \ar{r} & Y ^\mathrm{alg},  
       \end{tikzcd}
      \]
    in the $\infty$-category\xspace $\mathrm{dSt}_k$.
\end{construction}

\begin{prop} \label{prop:gluing_the_deformation}
    The commutative square
        \[
        \begin{tikzcd}
            \mathcal D_{X_U/ U}^\mathrm{an} \ar{r} \ar{d} & \mathcal D_{X/ Y} ^\mathrm{an} \ar{d} \\
            U \ar{r} & Y, 
        \end{tikzcd}
        \]
    of \cref{const:pullbacks_of_deformations}, is a pullback square in the $\infty$-category\xspace $\mathrm{dAnSt}_k$.
\end{prop}

\begin{proof} Since the pullback diagram above is preserved under filtered colimits in $X$, we can assume without loss of generality that
    $f \colon X\to Y$ is a nil-isomorphism. Similarly, we are allowed to replace the retract $ \colon X \to Y$ by the nil-embedding
        \[
            g \colon \to X \to Y \underset{X_\mathrm{red}}{\bigsqcup} X.  
        \]
    In order to show the assertion of the proposition, we are reduced to show that the natural morphism
        \[
            \mathcal D_{X_U/ U}^\mathrm{an} \to \mathcal D^\mathrm{an}_{X/ Y} \times_Y U,  
        \]
    is an equivalence in the $\infty$-category\xspace $\mathrm{AnFMP}_{X_U/ /U}$. Moreover, \cref{prop:rel_analytification_preserves_the_deformation} reduce us
    to show that the natural morphism
        \[
            \mathcal D_{X_U^\mathrm{alg}/ U^\mathrm{alg}} \to \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}} \times_{Y^\mathrm{alg}}U^\mathrm{alg},
        \]
    is an equivalence in $\mathrm{dSt}_k$ (see also \cref{prop:rel_analytification_preserves_the_deformation}). 
    Moreover, \cref{lem:Noetherian_approximation_of_the_deformation_to_the_normal_bundle} allows us to perform Noetherian approximation on the
    nil-isomorphism $f ^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg}$.
    For this reason, we can find an approximation of the morphism $f \colon X ^\mathrm{alg} \to Y^\mathrm{alg}$
    an approximation of the form
        \[
            \lim_{\alpha \in I^\mathrm{op}} ( f_\alpha \colon X_\alpha \to Y_\alpha ),  
        \]
    where $I$ is a filtered $\infty$-category\xspace and for each $\alpha \in I$, the morphism $f_\alpha$ is a closed immersion of affine derived schemes
    almost of finite presentation over $k$. Similarly, find an almost of finite presentation approximation
        \[
            U ^\mathrm{alg} \simeq \lim_{\beta \in J^\mathrm{op}} U_\beta.  
        \]
    By almost finite presentation we deduce that for every $\alpha \in I$ there exists an index $\beta(\alpha) \in J$ such that the composite
        \begin{equation} \label{eq:factorization}
             U^\mathrm{alg} \to Y^\mathrm{alg} \to Y_\alpha,
        \end{equation}
    factors as 
        \[U^\mathrm{alg} \to U_{\beta(\alpha)} \to Y_\alpha,\]
    for a well defined morphism $U_{\beta(\alpha)} \to Y_\alpha$ in $\mathrm{dAff}_k^\mathrm{laft}$.
    Let $\mathcal K$ denote the filtered subcategory of the product $I \times J$ spanned by those pairs $(\alpha, \beta) \in I \times J$
    such that the composite displayed in \eqref{eq:factorization} factors as $U_\beta \to Y_\alpha$. We thus have that the morphism
        \[
            U ^\mathrm{alg} \to Y^\mathrm{alg} ,  
        \]
    can be written as $\lim_{(\gamma_1, \gamma_2) \in \mathcal K} (U_{\gamma_1} \to Y_{\gamma_2})$. For each $(\gamma_1, \gamma_2) \in \mathcal K$ consider the deformations to the normal bundle
        \[
            \mathcal D_{X_{\gamma_2}/ Y_{\gamma_2}} \quad \mathrm{and} \quad \mathcal D_{X_{U_{\gamma_2}}/ U_{\gamma_2}},
        \]
    where $X_{U_{\gamma_2}}$ is defined as the pullback of the diagram
        \[
            U_{\gamma_1} \to Y_{\gamma_2} \leftarrow X_{\gamma_2}.  
        \]
    We claim that for each $(\gamma_1, \gamma_2) \in \mathcal K$, we have a natural equivalence
        \[
            \mathcal D_{X_{U_{\gamma_1}}/ U_{\gamma_1}} \simeq \mathcal D_{X_{\gamma_2}/ Y_{\gamma_2}} \times_{Y_{\gamma_2}} U_{\gamma_1},  
        \]
    of derived $k$-stacks almost of finite presentation. Indeed, by conservativity of the relative tangent complex, c.f. \cite[\S 5, Theorem 2.3.5]{Gaitsgory_Study_II}, it suffices to show that 
        \[
            \mathbb T_{X_{U_{\gamma_1}}/ \mathcal D_{X_{U_{\gamma_1}}/ U_{\gamma_1}}} \to \mathbb T_{X_{U_{\gamma_1}}/ \mathcal D_{X_{\gamma_2}/ Y_{\gamma_2}} \times_{Y_{\gamma_2}} U_{\gamma_1}},
        \]
    is an equivalence in the $\infty$-category\xspace $\mathrm{Ind}\mathrm{Coh}(X_{U_{\gamma_1}})$. Thanks to \cite[\S 5, Corollary 2.3.6]{Gaitsgory_Study_II}, we are reduced to show that
    the natural morphism of simplicial objects
        \[
            \{ \mathbb T_{X_{U_{\gamma_1}}/ \mathcal D_{X_{U_{\gamma_1}}/ U_{\gamma_1}}^{\bullet}} \} \to \{ \mathbb T_{X_{U_{\gamma_1}}/ \mathcal D_{X_{\gamma_2}/ Y_{\gamma_2}}^{\bullet} \times_{Y_{\gamma_2}} U_{\gamma_1}} \},
        \]
    is an equivalence in $\Fun(\bm{\Delta}^\mathrm{op}, \mathrm{Ind}\mathrm{Coh}(X_{U_{\gamma_1}}))$. The latter assertion further reduce us to show that the commutative
    diagram
        \[
        \begin{tikzcd}
            \mathcal D_{X_{U_{\gamma_1}}/ U_{\gamma_1}}^{ \bullet} \ar{r} \ar{d} & \mathcal D_{X_{\gamma_2}/ Y_{\gamma_2}}^{\bullet} \ar{d} \\
            U_{\gamma_1} \ar{r} & Y_{\gamma_2} 
        \end{tikzcd}
        \]
    is a pullback diagram component-wise in $\mathrm{dAff}_k^\mathrm{laft}$. By unwinding the definitions, it suffices to prove that the commutative diagram
    of simplicial objects
        \[
        \begin{tikzcd}
            \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf B_\mathrm{scaled}^\bullet,  X_{U_{\gamma_1}} \times \mathbf A^1_k) \ar{r} \ar{d} & \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf B_\mathrm{scaled}^\bullet, U_{\gamma_1} \times \mathbf A^1_k) )  \ar{d} \\
            \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf B_\mathrm{scaled}^\bullet, X_{{\gamma_2}} \times \mathbf A^1_k) \ar{r} & \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf B_\mathrm{scaled}^\bullet, Y_{\gamma_2} \times \mathbf A^1_k) )
        \end{tikzcd}
        \]
    is a pullback square. But the latter assertion is obvious as derived $k$-analytic mapping stacks commute with fiber products in $\mathrm{dAnSt}_k$.
\end{proof}





\subsection{Gluing the Deformation} In this \S, we globalize the results proved so far in \S 3.2.
Let $f \colon X \to Y$ be a morphism of locally geometric derived $k$-analytic stacks.
Consider as before the \emph{deformation to the normal bundle of the morphism $f$} constructed via the pullback diagram
    \[
    \begin{tikzcd}
        \mathcal D^{\mathrm{an}, \bullet}_{X/ Y} \ar{r} \ar{d} & Y^\wedge_X \times \mathbf A^1_k \ar{d} \\
        \mathbf{Map}_{/ \mathbf A^1_k} (\mathbf B^{\mathrm{an}, \bullet}_\mathrm{scaled}, X \times \mathbf A^1_k) \ar{r} & \mathbf{Map}_{/ \mathbf A^1_k}(\mathbf B^{\mathrm{an},\bullet}_{\mathrm{scaled}}, Y^\wedge_X \times \mathbf A^1_k),
    \end{tikzcd}
    \]
in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. As in the previous \S, one can show that the simplicial object 
    \[
        \mathcal D^{\mathrm{an}, \bullet}_{X/ Y} \in \mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y^\wedge_X \times \mathbf A^1_k}.
    \]
Let now $g \colon U \to Y^\wedge_X$ be a morphism in $\mathrm{dAnSt}_k$, where $U \in \mathrm{dAfd}_k$. Consider the pullback diagram
    \[
    \begin{tikzcd}
        X_U \ar{r}{g'} \ar{d} & X \ar{d}{f} \\
        U \ar{r}{g} & Y^\wedge_X,
    \end{tikzcd}
    \]
in the $\infty$-category\xspace $\mathrm{dAnSt}_k$. We have:

\begin{lem}
    The morphism $X_U \to U$ admits a deformation theory, and thus exhibits $X_U$ as an object in $\mathrm{AnFMP}_{/U}$.
\end{lem}

\begin{proof}
    It is clear that $X_U$ is both nilcomplete and infinitesimally cartesian as a derived $k$-analytic stack. It suffices thus to show that
    the structural morphism $X_U \to U$ admits a cotangent complex. We claim that $\mathbb L_{X_U/ U}$ identifies with
        \[
            (g')^* \mathbb L_{X/ Y} \in \mathrm{Coh}^+(X_U).
        \]
    Indeed, let $Z \to X_U$ be any morphism with $h \colon Z \in \mathrm{dAfd}_k$. Then we obtain that
        \[
            h^* (g')^* \mathbb L_{X/ Y} \simeq (g' \circ h)^* (\mathbb L_{X/ Y}),  
        \]
    in $\mathrm{Coh}^+(Z)$, which corepresents the functor
        \[
            \mathrm{Der}_{X/ Y}(Z, -) \colon \mathrm{Coh}^+(Z) \to \mathcal S,  
        \]
    see \cite[Definition 7.6]{Porta_Yu_Representability} for the definition of the latter. Since fiber products commute with fibers, we have a natural identification
        \[
            \mathrm{Der}_{X_U}(Z, -) \simeq \mathrm{Der}_{X} (Z, -) \times_{\mathrm{Der}_{Y}(Z, -)} \mathrm{Der}_U(Z, -).
        \]
    We thus conclude that 
        \[
            \mathrm{Der}_{X_U/ U}(Z, -) \simeq \mathrm{fib} \big(\mathrm{Der}_{X_U}(Z, -) \to \mathrm{Der}_{U}(Z, -)\big)  ,
        \]
    identifies naturally with
        \[
            \mathrm{Der}_{X/ Y}(Z, -) \simeq \mathrm{fib} \big(\mathrm{Der}_{X}(Z, -) \to \mathrm{Der}_{Y}(Z, -)\big)  .          
        \]
    The claim of the lemma now follows from the fact that $\mathrm{Der}_{X/ Y}(Z, -) \colon \mathrm{Coh}^+(Z) \to \mathcal S$ is corepresentable
    by $h^* (g')^*\mathbb L_{X/ Y}$, as desired. 
\end{proof}

Thanks to the above lemma we conclude that the canonical map $X_U \to U$ exhibits $X_U$ as an analytic formal moduli problem
over $U$. We are thus in the case of the previous section. The following result implies that the deformation to the normal bundle in the non-archimedean
setting glues:

\begin{prop} \label{prop:gluing_def}
    The simplicial object
        \[
            \mathcal D_{X/ Y}^{\mathrm{an}, \bullet} \colon \bm{\Delta} ^\mathrm{op} \to \mathrm{AnFMP}_{X/ /Y},  
        \]
    admits a colimit $\mathcal D_{X/ Y}^\mathrm{an} \in \mathrm{AnFMP}_{X/ }$.
\end{prop}

\begin{proof} Let $(Y^\wedge_X)^\mathrm{afd}$ denote the $\infty$-category\xspace consisting of morphisms
        \[
            U \to Y^\wedge_X,
        \] 
    where $U$ is a derived $k$-affinoid space. We have a natural equivalence of $\infty$-categories\xspace
        \[
            \Psi \colon (\mathrm{dAnSt}_k)_{/ Y}  \to \lim_{U \in (Y^\wedge_X)^\mathrm{afd}} (\mathrm{dAnSt}_k)_{/U}.
        \]
    We deduce from the construction of $\mathcal D^{\mathrm{an}, \bullet}_{X/ Y}$ that the simplicial object $\mathcal D^{\mathrm{an}, \bullet}_{X/ Y}$ satisfies
        \begin{align*}
            \Psi(\mathcal D^{\mathrm{an}, \bullet}_{X/ Y}) & \simeq \{ \mathcal D^{\mathrm{an}, \bullet}_{X_{U}/ U} \} \\
                                                    & \in \lim_{U \in (Y^\wedge_X)^\mathrm{afd}} (\mathrm{dAnSt}_k)_{/ U}.
        \end{align*}
    For each $U \in (Y^\wedge_X)^\mathrm{afd}$ the $\infty$-categories\xspace $\mathrm{AnFMP}_{X_U/ /U}$ are presentable. For this reason, we can consider the geometric realization
        \[
            \mathcal D_{X_U/ U} ^\mathrm{an} \in \mathrm{AnFMP}_{X_U / U},
        \]
    for every $[n] \in \bm{\Delta}$. Thanks to
    \cref{prop:gluing_the_deformation} we deduce that the above deformations glue to form a uniquely defined object
        \[
            \mathcal D^\mathrm{an}_{X/ Y} \in \mathrm{dAnSt}_k,  
        \]
    satisfiying the relation 
        \begin{align*}
            \Psi(\mathcal D^\mathrm{an}_{X/ Y}) & \simeq \{ \mathcal D^\mathrm{an}_{X_{U}/ U} \} \\
                                & \in \lim_{U \in (Y^\wedge_X)^\mathrm{afd}} (\mathrm{dAnSt}_k)_{/ U}.
        \end{align*}
    It is clear from the definitions that $\mathcal D^\mathrm{an}_{X/ Y} \in \mathrm{AnFMP}_{X/ /Y}$. We claim that the latter is a colimit of the diagram
        \[  
            \mathcal D^{\mathrm{an}, \bullet}_{X/ Y}.
        \]
    We need to show that for every $Z \in \mathrm{AnFMP}_{X/ /Y}$ together with a morphism
        \[
            \mathcal D^{\mathrm{an}, \bullet}_{X/ Y} \to Z,   
        \]
    then there exists a uniquely defined (up to a contractible space of choices) morphism
        \[
            \mathcal D^\mathrm{an}_{X/ Y} \to Z,  
        \]
    in the $\infty$-category\xspace $\mathrm{AnFMP}_{X/ /Y}$. Moreover, we are reduced to check this property after base change along any $U \to Y^\wedge_X$, in which case the assertion follows immediately
    from the construction.
\end{proof}

\begin{defin}
    Let $f\colon X \to Y$ be a morphism of locally geometric derived $k$-analytic stacks. Then the \emph{deformation to the normal bundle associated to $f$}
    is by definition the object $\mathcal D_{X/ Y} \in \mathrm{AnFMP}_{X\times \mathbf A^1_k/ /Y\times\mathbf A^1_k}$, as in \cref{prop:gluing_def}. 
\end{defin}

\subsection{The Hodge filtration} Let $f \colon X \to Y$ be a morphism between locally geometric derived $k$-analytic stacks.
In this \S, we will describe the construction of the Hodge filtration on the deformation to the normal bundle $\mathcal D_{X/ Y}^\mathrm{an}$ associated to $f$.
We first deal with the $k$-affinoid case:


\begin{construction} \label{const:construction_of_Hodge_filtration_in_the_lafp_case}
    Let $f \colon X \to Y$ be a nil-embedding in the $\infty$-category\xspace $\mathrm{dAfd}_k$.
    Consider the induced morphism
        \[
            f ^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg},   
        \]
    where $X ^\mathrm{alg} = \Spec A$ and $Y^\mathrm{alg} = \Spec B$, with
    \[A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg}) \quad \mathrm{and} \quad B \coloneqq \Gamma(Y, \mathcal O_Y ^\mathrm{alg}).\]
    The morphism $f^\mathrm{alg}$ is a nil-embedding of affine derived schemes (combined \cite[Lemma 6.9]{Porta_Yu_NQK} and
    \cite[Proposition 3.17]{Porta_Yu_Derived_non-archimedean_analytic_spaces}). Consider then the nil-embedding
        \[
            g \coloneqq f ^\mathrm{alg} \times \mathrm{id}_{\mathbb A^1_k} \colon X \times \mathbb A^1_k \to Y \times \mathbb A^1_k,  
        \]
    in $\mathrm{dAff}_k$. By Noetherian approximation, we can write $g$ as an inverse limit of the form
        \[
            \lim_{\alpha \in I ^\mathrm{op}}  g_\alpha \colon \lim_{\alpha \in I ^\mathrm{op}} X_\alpha \times \mathbb A^1_k \to \lim_{\alpha \in I ^\mathrm{op}} Y_\alpha \times \mathbb A^1_k,  
        \]
    where $I$ is a filtered $\infty$-category\xspace and for each index $\alpha \in I$, we have that
        \[
            g_\alpha \colon X_\alpha \times \mathbb A^1_k \to Y_\alpha \times \mathbb A^1_k,  
        \]
    is a closed immersion in the $\infty$-category\xspace $\mathrm{dAff}_k^\mathrm{laft}$. Fix some $\alpha \in I$. Thanks to \cref{prop:algebraic_properties_of_deformation},
    there exists a sequence of square-zero extensions of the form
        \[
            X_\alpha \times \mathbb A^1_k = X^{(0)}_\alpha \hookrightarrow X_\alpha^{(1)} \hookrightarrow \dots \hookrightarrow X_\alpha^{(n)} \hookrightarrow \dots \to Y_\alpha \times \mathbb A^1_k,  
        \]
    such that each term comes equipped with a natural left-lax action of multiplicative monoid $\mathbb A^1_k \in \mathrm{dSt}_k$.
\end{construction}

\begin{lem} \label{lem:naturality_of_Hodge_filtration_w.r.t_Noetherian_approximation}
    Let  $n \ge 0$, and let $\alpha \to \beta$ be a morphism in $I ^\mathrm{op}$. Then the transition morphism
        \[
            X_\alpha \times \mathbb A^1_k \to X_\beta \times \mathbb A^1_k,  
        \]
    lifts to a well defined induced morphism
        \[
            X_\alpha^{(n)} \to X_\beta^{(n)},
        \]
    in $\mathrm{dAff}_k^\mathrm{laft}$.
\end{lem}

\begin{proof}
    The result follows immediately from the naturality of the construction in \cite[\S 9.5.1]{Gaitsgory_Study_II}.
\end{proof}

We now introduce the (algebraic) Hodge filtration associated with the closed immersion $f^\mathrm{alg} \colon X^\mathrm{alg} \to Y^\mathrm{alg}$:

\begin{defin} \label{defin:algebraic_Hodge_filtration} Let $f \colon X \to Y$ be a nil-isomorphism in the $\infty$-category\xspace $\mathrm{dAfd}_k$.
    Consider the morphism $g \coloneqq f \times \mathrm{id} \colon X^\mathrm{alg} \times \mathbb A^1_k \to Y^\mathrm{alg} \times \mathbb A^1_k$ above. \cref{lem:naturality_of_Hodge_filtration_w.r.t_Noetherian_approximation}
    implies that for each $n \ge 0$, we have a well defined object
        \[
            X^{\mathrm{alg}, (n)} \coloneqq \lim_{\alpha \in I^\mathrm{op}} X_\alpha^{(n)} \in \mathrm{dAff}_k,  
        \]
    which fits into a sequence of square-zero extensions
        \[
            X\times \mathbb A^1_k = X^{ \mathrm{alg}, (0)} \hookrightarrow X^{\mathrm{alg}, (1)}  \hookrightarrow \dots \hookrightarrow X^{\mathrm{alg}, (n)} \hookrightarrow \dots \to Y^\mathrm{alg},
        \]
    in $\mathrm{dAff}_k$. We shall refer to the sequence of the $X^{\mathrm{alg}, (n)}$ as the \emph{algebraic Hodge filtration} associated to the morphism $f^\mathrm{alg}$. 
    In the more general case, where $f \colon X \to Y$ exhibits $X$ as an analytic formal moduli problem we define, for each $n \ge 0$,
    the \emph{$n$-th piece of the Hodge filtration} as 
        \[
            X^{(n)} \coloneqq \colim_{S \in (\mathrm{AnNil}^\mathrm{cl}_{X/ /Y})} S^{\mathrm{alg}, (n)}, 
        \]
    the filtered colimit being computed in the $\infty$-category\xspace $\mathrm{AnFMP}_{X \times \mathbf A^1_k/ }$.
\end{defin}

\begin{construction} Let $f \colon X \to Y$ be a nil-embedding in the $\infty$-category\xspace $\mathrm{dAfd}_k$. 
    It follows from \cref{prop:algebraic_properties_of_deformation} (4) that we have a natural morphism
        \begin{align} \label{eq:map_Hodge_filtration_to_deformation}
            \theta_{X/ Y} \colon \colim_{n \ge 0} X^{\mathrm{alg}, (n)} & \to \lim_{\alpha \in I^\mathrm{op}} \mathcal D_{X_\alpha/ Y_\alpha} \\
                                                                        & \simeq \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}},
        \end{align}
    in the $\infty$-category\xspace $\mathrm{FMP}_{X \times \mathbb A^1_k/ /Y \times \mathbb A^1_k}$. Passing to filtered colimits we produce a natural
    morphism as in \eqref{eq:map_Hodge_filtration_to_deformation} in the case where $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{/ Y}$ and $Y \in \mathrm{dAfd}_k$.
\end{construction}

The following result implies that the Hodge filtration associated to $f^\mathrm{alg}$ does not depend on choices:

\begin{prop} \label{cor:commutation_between_limit_and_colimit_on_Hodge_filtration}
    Let $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{/ Y}$ and $Y \in \mathrm{dAfd}_k$. Then the natural morphism
        \[
            \theta_{X/ Y} \colon \colim_{n \ge 0} X^{\mathrm{alg}, (n)} \to \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}},
        \] 
    is an equivalence of derived $k$-stacks.
\end{prop}

\begin{proof}
    Since both sides of $\theta_{X/ Y}$ are stable under filtered colimits it suffices to treat the case where $f \colon X \to Y$
    is a nil-isomorphism of derived $k$-affinoid spaces. We observe that $X \to Y$ exhibits $Y$ as a retract of the morphism
        \[
            X \to X \underset{X_\mathrm{red}}{\bigsqcup} Y.
        \]
    Since $\theta_{X/ Y}$ is stable under retracts, we are further reduced to the case where $f$ is a nil-embedding. In this case,
    the relative cotangent complex
        \[
            \mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}} \simeq \mathbb L^\mathrm{an}_{X/ Y},  
        \]
    is $1$-connective, see \cite[Lemma 6.9]{Porta_Yu_NQK}. The proof of \cref{lem:Noetherian_approximation_of_nil_isomorphisms} allow us to produce a presentation
        \[
            \lim_{\alpha \in I^\mathrm{op}} (f_\alpha \colon X_\alpha \to Y_\alpha),  
        \]
    of the morphism $f^\mathrm{alg}$ by closed immersions $f_\alpha \colon X_\alpha \to Y_\alpha$ of affine
    derived schemes almost of finite presentation parametrized by a filtered $\infty$-category\xspace $I$. The proof of \cref{lem:identification_of_Hodge_and_adic_filtrations},
    implies that, for each $\alpha \in I$, the natural morphism
        \[
            X_\alpha^{(n)} \to X_\alpha^{(n+1)},
        \]
    exhibits $X_\alpha^{(n+1)}$ as a square-zero extension of $X_\alpha^{(n)}$ via a natural morphism
        \[
            \mathbb L_{X_\alpha^{(n)}} \to i_{n, *} \Sym^{n+1}(\mathbb L_{X_\alpha/ Y_\alpha}[-1])[1],  
        \]
    in the $\infty$-category\xspace $\mathrm{Coh}^+(X_\alpha^{(n)})$. In particular, we deduce that, for each $n \ge 0$, the natural morphisms
        \[
            X_\alpha \times \mathbb A^1_k \to X_\alpha^{(n)},  
        \]
    are nil-embeddings of affine derived schemes and so are the natural morphisms
        \[
            X ^\mathrm{alg} \times \mathbb A^1_k \to X^{\mathrm{alg}, (n)}.  
        \]
    We are now able to show that $\theta_{X/ Y}$ is an equivalence in the $\infty$-category\xspace $\mathrm{dSt}_k$.
    Thanks to \cite[Corollary 4.4.1.3]{Lurie_SAG} combined with \cite[Corollary 4.5.1.3]{Lurie_SAG}, the relative cotangent complex satisfies
        \[
            \mathbb L_{X^\mathrm{alg} \times \mathbb A^1_k/ X^{(n)}} \simeq \colim_{\alpha \in I} h_\alpha^* \mathbb L_{X_\alpha \times \mathbb A^1_k/ X^{(n)}_\alpha} ,
        \]
    in the $\infty$-category\xspace $\mathrm{QCoh}(X^\mathrm{alg} \times \mathbb A^1_k)$, where $h_\alpha \colon X \to X_\alpha$ denotes the corresponding transition morphisms. Similarly, we have that
        \[
            \mathbb L_{X^\mathrm{alg} \times \mathbb A^1_k/ Y \times \mathbb A^1_k} \simeq \colim_{\alpha \in I} h_\alpha^* \mathbb L_{X_\alpha \times \mathbb A^1_k / Y_\alpha \times \mathbb A^1_k} ,
        \]
    in the $\infty$-category\xspace $\mathrm{QCoh}(X^\mathrm{alg} \times \mathbb A^1_k)$. Moreover, the latter equivalences are compatible with the left-lax actions of the multiplicative monoid $\mathbb A^1_k \in \mathrm{dSt}_k$
    on
        \[
            X^{\mathrm{alg}, (n)} \quad \mathrm{and} \quad X^{(n)}_\alpha, \quad \mathrm{for \ each} \ \alpha \in I,  
        \]
    over $X^\mathrm{alg} \times \mathbb A^1_k$ (resp. $X_\alpha \times \mathbb A^1_k$). Let $\lambda \in \mathbb A^1_k$ be such that $\lambda \neq 0$.
    By passing to Serre duals, we deduce from \cref{lem:identification_of_Hodge_and_adic_filtrations}
    that, for each $\alpha \in I$ and $n \ge 0$, the morphism
        \begin{equation} \label{eq:cot_complex_for_alpha}
            \mathbb L_{ (X_\alpha^{(n)})_\lambda} \to \Sym^{n+1}(\mathbb L_{X_\alpha / Y_\alpha}[-1])[1],
        \end{equation}
    classifies the square-zero extension associated to the fiber sequence
        \[
            \Sym^{n+1}(\mathbb L_{X_\alpha/ Y_\alpha}[-1]) \to \Sym^{\le n+1} (\mathbb L_{X_\alpha/ Y_\alpha}[-1]) \to \Sym^{\le n} ( \mathbb L_{X_\alpha/ Y_\alpha}[-1]).
        \]
    Since \eqref{eq:cot_complex_for_alpha} are stable under filtered colimits, we deduce, for each $n \ge 0$, that the morphism
        \[
            \mathbb L_{X^{\mathrm{alg}, (n)}} \to \Sym^{n+1}(\mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}}[-1])[1],
        \]
    classifies the square-zero extension given by
        \[
            \Sym^{n+1}(\mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}}[-1]) \to \Sym^{\le n+1}(\mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}}[-1]) \to \Sym^{\le n}(\mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}} [-1]).
        \]
    Thanks to \cite[\S 9.5.5.2]{Gaitsgory_Study_II} combined with an analogous Noetherian approximation reasoning as the one employed
    before we obtain a natural equivalence
        \[
            \mathbb L_{\colim_{n \ge 0}X^{\mathrm{alg}, (n)}_\lambda} \simeq \mathbb L_{X^\mathrm{alg}/ Y^\mathrm{alg}}.
        \]
    In particular, thanks to the algebraic version of \cref{prop:conservativity_of_relative_an_cot_complex} we deduce that the natural morphism
        \[
            \colim_{n \ge 0} X^{\mathrm{alg}, (n)}  \to \mathcal D_{X^\mathrm{alg}/ Y^\mathrm{alg}}, 
        \]
    is an equivalence in $\mathrm{FMP}_{X ^\mathrm{alg}}$, for any $\lambda \mathbb A^1_k$ such that $\lambda \neq 0$. For $\lambda = 0$, the
    precise same reasoning applies using \cite[\S 9, Theorem 5.5.4]{Gaitsgory_Study_II} for the case of vector groups. The proof is thus concluded.
\end{proof}

   
   
   
   
   
   
   
   
   
   
   
   
   
   
   




We now introduce the \emph{non-archimedean Hodge filtration:}

\begin{defin}
    Let $Y \in \mathrm{dAfd}_k$ and $(X \xrightarrow{f} Y) \in \mathrm{AnFMP}_{/Y}$. For each $n \ge 0$, we define the square-zero extension
        \[
            X \times \mathbf A^1_k \hookrightarrow X^{(n)},  
        \]
    as the relative analytification, $(-) ^\mathrm{an}_Y$, of the square-zero extension
        \[
            X ^\mathrm{alg} \times \mathbb A^1_k \hookrightarrow X^{\mathrm{alg}, (n)},
        \]
    introduced in \cref{defin:algebraic_Hodge_filtration}.
    By construction, for each $n \ge 0$, we have structural morphisms
        \[
            X^{(n)} \to Y \times \mathbf A^1_k.  
        \]
    We shall refer to the sequence
        \[
            X \times \mathbf A^1_k \coloneqq X^{(0)} \hookrightarrow X^{(1)} \hookrightarrow \dots \hookrightarrow X^{(n)} \hookrightarrow \dots \to Y \times \mathbf A^1_k,  
        \]
    as the \emph{non-archimedean Hodge filtration associated to the morphism $f$}.
\end{defin}

Putting together the above results we can easily deduce:

\begin{cor} \label{cor:Hodge_filtration_in_the_non-archimedean_setting}
    There exists a natural morphism
        \[
            \colim_{n \ge 0} X^{(n)} \to \mathcal D^\mathrm{an}_{X/ Y},  
        \]
    which is furthermore an equivalence in the $\infty$-category\xspace $\mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k}$.
\end{cor}

\begin{proof}
    Since the natural functor
        \[
            \mathrm{AnFMP}_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k} \to (\mathrm{dAnSt}_k)_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k},
        \]
    commutes with filtered colimits, we are reduced to prove the statement of the Corollary in the $\infty$-category\xspace $(\mathrm{dAnSt}_k)_{X \times \mathbf A^1_k/ /Y \times \mathbf A^1_k}$.
    The result is now an immediate consequence of \cref{prop:rel_analytification_preserves_the_deformation}
    and the fact that relative analytification commutes with filtered colimits (as it is defined as left Kan extension).
\end{proof}

\begin{cor}
    Let $f \colon X \to Y$ be a closed immersion of derived $k$-affinoid spaces. Denote by $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg})$
    and $B \coloneqq \Gamma(Y, \mathcal O_Y^\mathrm{alg})$ and $I \coloneqq \mathrm{fib}(B \to A)$. Then the Hodge filtration on $\mathcal D_{X/ Y}^\mathrm{an}$
    induces a natural filtration on $B^\wedge_I$, \{$\mathrm{Fil}_H^{n, \mathrm{an}} \}_{n \ge 0}$, together with natural equivalences
        \[
            B/ \mathrm{Fil}^n_H  \simeq \Sym^{\le n, \mathrm{an}}(\mathbb L_{X/ Y}^\mathrm{an}[-1]),  
        \]
    in the $\infty$-category\xspace $\mathrm{CAlg}_k$.
\end{cor}

\begin{proof}
    The claim of the proof follows from \cref{lem:identification_of_Hodge_and_adic_filtrations} (2) combined with Noetherian approximation
    and the fact that the relative analytification functor sends the relative cotangent complex $\mathbb L_{X/ Y}$ to $\mathbb L_{X/ Y}^\mathrm{an}$, c.f. \cite[Theorem 5.21]{Porta_Yu_Representability}.
\end{proof}
We now globalize the Hodge filtration to geometric derived $k$-analytic stacks:

\begin{construction}
    Let $f \colon X \to Y$ be a morphism of locally geometric derived $k$-analytic stacks. Consider the formal completion
        \[
            X \to Y^{\wedge}_X \to Y,  
        \] 
    of the morphism $f$. Let 
        \[
            g \colon U \to Y^\wedge_X,  
        \]
    be a morphism in the $\infty$-category\xspace $\mathrm{dAnSt}_k$, such that $U \in \mathrm{dAfd}_k$. Form the pullback diagram
        \[
        \begin{tikzcd}
            X_U \ar{r} \ar{d} & U \ar{d} \\
            X \ar{r}{f} & Y^\wedge_X
        \end{tikzcd}
        \]
    in $\mathrm{dAnSt}_k$. Let $V \to U$ be a morphism of derived $k$-affinoid spaces. Consider the pullback diagram
        \[
        \begin{tikzcd}
            X_V \ar{r} \ar{d} & X_U \ar{d} \\
            V \ar{r} & U,  
        \end{tikzcd}
        \]
    in the $\infty$-category\xspace $\mathrm{dAfd}_k$. By naturality of the Hodge filtration we deduce that, for each $n \ge 0$, we have natural commutative diagrams
        \begin{equation} \label{eq:gluing_diagram_of_Hodge_filtrations}
        \begin{tikzcd}
            X_V^{(n)} \ar{r} \ar{d} & X_U^{(n)} \ar{d} \\
            V \ar{r} & U,
        \end{tikzcd}
        \end{equation}
    of the $n$-th pieces of the Hodge filtrations on $\mathcal D_{X_U/ U}$ and $\mathcal D_{X_V/ V}$, respectively.
\end{construction}


\begin{lem} \label{lem:preservation_of_Hodge_filtration_under_pullback}
    The commutative square in \eqref{eq:gluing_diagram_of_Hodge_filtrations} is a pullback square in the $\infty$-category\xspace $\mathrm{dAfd}_k$.
\end{lem}

\begin{proof} As in the proof of \cref{cor:commutation_between_limit_and_colimit_on_Hodge_filtration}, we can reduce the statement to the case where $X_U \to U$ is a nil-embedding in the $\infty$-category\xspace $\mathrm{dAfd}_k$
    in which case so it is $X_V \to V$.
    Thanks to \cref{lem:relative_anlaytification_of_closed_immersions_are_compatible_with_alg_construction}
    it suffices to prove that for each $n \ge 0$, the induced diagram
        \[
        \begin{tikzcd}
            X_V^{\mathrm{alg}, (n)} \ar{r} \ar{d} & X_U^{\mathrm{alg}, (n)} \ar{d} \\
            V ^\mathrm{alg} \ar{r} & U^\mathrm{alg}  
        \end{tikzcd},
        \]
    is a pullback square in $\mathrm{dAff}_k$.
    By a standard argument of Noetherian approximation, we might assume that $U' \coloneqq U^\mathrm{alg} $ and $V' \coloneqq V^\mathrm{alg}$ are
    both affine derived schemes almost of finite presentation. We observe that for each $n \ge 0$, the morphisms
        \[
            g_n \colon X_{V'}^{(n)} \to X_{U'}^{(n)},
        \]
    are left-lax $\mathbb A^1_k$-equivariant. For this reason, they induce morphisms
        \[
            g_{n, *}^\mathrm{IndCoh}( \mathbb T_{X^{(n)}_{V'}/ V'})) \to \mathbb T_{X^{(n)}_{U'} / U'}  ,
        \]
    in the $\infty$-category\xspace $\mathrm{Ind}\mathrm{Coh}(X_{V'}^{(n)})^\mathrm{fil}$. In particular, we have an induced morphism
    at the $n$-th piece of the filtration
        \[
                g_{n, *}^\mathrm{IndCoh}\big( \mathrm{Sym}^{n+1}(\mathbb T_{X^{(n)}_{U'}/ U'}[-1])[1]\big) \to  \Sym^{n+1}\big( \mathbb T_{X^{(n)}_{V'} / V'}[-1]\big)[1],
        \]
    (c.f. \cite[Theorem 9.5.1.3]{Gaitsgory_Study_II}). 
    The result is now a direct consequence of \cref{prop:algebraic_properties_of_deformation} (3)
    combined with \cite[Proposition 5.12]{Porta_Yu_Representability} and \cite[Proposition 2.5.4.5]{Lurie_SAG}.
\end{proof}

\begin{construction} Let $f \colon X \to Y$ be a locally geometric derived $k$-analytic stack. Denote by $(Y^\wedge_X)^\mathrm{afd}$ the $\infty$-category\xspace
    of morphisms in $\mathrm{dAnSt}_k$
        \[
            U \to Y^\wedge_X,  
        \]
    where $U$ is derived $k$-affinoid.
    Consider the relative analytification functor
        \begin{align*}
            \lim_{U \in (Y^\wedge_X)^\mathrm{afd}} (-)^\mathrm{an}_U \colon\lim_{U \in (Y^\wedge_X)^{\mathrm{afd}}} (\mathrm{dSt}_k)_{/ U^\mathrm{alg} \times \mathbb A^1_k} & \to \lim_{U \in (Y^\wedge_X)^{\mathrm{afd}}} (\mathrm{dAnSt}_k)_{/ U \times \mathbf A^1_k}  \\
                                                                                                                                                                            & \simeq (\mathrm{dAnSt}_k)_{/ Y^\wedge_X \times \mathbf A^1_k}.
        \end{align*}
    Thanks to \cref{lem:preservation_of_Hodge_filtration_under_pullback}, for each $n \ge 0$, the algebraic Hodge filtration defines a well defined object in the limit
        \[
            \{ X^{\mathrm{alg}, (n)}_{U} \}_{U \in (Y^\wedge_X)^\mathrm{afd}}  \in \lim_{n \ge 0} (\mathrm{dSt}_k)_{/ U^\mathrm{alg}}.
        \]
    Therefore, after taking its relative analytification we produce well defined objects 
        \[X^{(n)} \in (\mathrm{dAnSt}_k)_{Y^\wedge_X \times \mathbf A^1_k},\]
    which we shall refer to as the \emph{Hodge filtration associated to the morphism $f$}.
    Moreover, 
    it follows essentially by construction that the latter restricts to the usual
    Hodge filtration, for each
        \[
            g \colon U \to Y^\wedge_X,  
        \]
    in $(Y^\wedge_X)^\mathrm{afd}$. Moreover, by construction we have a natural morphism
        \[
            \colim_{n \ge 0} X^{(n)} \to \mathcal D_{X/ Y} ^\mathrm{an},  
        \]
    which is an equivalence in the $\infty$-category\xspace $\mathrm{dAnSt}_k$.
\end{construction}

We can thus summarize the previous results in the form of a main theorem:

\begin{thm} \label{thm:main_thm}
    Let $f \colon X \to Y$ be a morphism of locally geometric derived $k$-analytic stacks. Then the following assertions hold:
    \begin{enumerate}
        \item There exists a deformation to the normal bundle $\mathcal D_{X/ Y}^\mathrm{an} \in (\mathrm{dAnSt}_k)_{\mathbf A^1_k}$ such that its fiber at $\{0 \} \subseteq \mathbf A^1_k$
        coincides with the shifted $k$-analytic tangent bundle
            \[
                \mathbb T_{X/Y}^\mathrm{an}[1]^\wedge  ,
            \]
        completed at the zero section $s_0 \colon X \to \mathbb T^\mathrm{an}_{X/ Y}[1]$. Moreover, its fiber at $\lambda \neq 0$ coincides with the formal completion $Y^\wedge_X$ of $Y$ at $X$ along $f$;
        \item The object $\mathcal D_{X/ Y}^\mathrm{an}$ admits a left-lax equivariant action of the (multiplicative) monoid-object $\mathbf A^1_k$ in $\mathrm{dAnSt}_k$;
        \item There exists a sequence of left-lax $\mathbf A^1_k$-equivariant morphisms admitting a deformation theory
            \[
                X \times \mathbf A^1_k = X^{(0)} \hookrightarrow X^{(1)} \hookrightarrow \dots \hookrightarrow X^{(n)} \hookrightarrow \dots \to Y \times \mathbf A^1_k.
            \]
        Assume further that $f\colon X \to Y$ is a closed immersion of derived $k$-analytic spaces then, for each $n \ge 0$,
        the relative $k$-analytic cotangent complex
            \[
                \mathbb L^\mathrm{an}_{X^{(n)}/ Y} \in \mathrm{Coh}^+(X^{(n)}),  
            \]
        is equipped with a (decreasing) filtration such that its $n$-th piece identifies canonically with $\Sym^{n+1}(\mathbb L^\mathrm{an}_{X/ Y}[-1])[1]$.
        Moreover, for each $n \ge 0$, the morphisms
        $X^{(n)} \to X^{(n+1)}$ are square-zero extensions obtained via a canonical composite
            \[
                \mathbb L^\mathrm{an}_{X^{(n)}} \to \mathbb L^\mathrm{an}_{X^{(n)}/ Y} \to   \Sym^{n+1}(\mathbb L_{X/ Y}^\mathrm{an}[-1])[1],
            \]
        in $\mathrm{Coh}^+(X^{(n)})$;
        \item We have a natural morphism
            \[
                \colim_{n \ge 0} X^{(n)} \to \mathcal D_{X/ Y}^\mathrm{an},   
            \]
        which is furthermore an equivalence in the $\infty$-category\xspace $\mathrm{dAnSt}_k$;
        \item Assume that $f \colon X \to Y$ is a locally complete intersection morphism of derived $k$-affinoid spaces with $A \coloneqq \Gamma(X, \mathcal O_X^\mathrm{alg})$
        and $B \coloneqq \Gamma(Y, \mathcal O_Y^\mathrm{alg})$. Then the corresponding filtration on (derived)
        global sections of the formal completion $Y^{\wedge}_X$ (via points (1) and (3)) identifies canonically with the $I$-adic filtration on
        $B$, where $I \coloneqq \mathrm{fib}(B \to A)$.
    \end{enumerate}
\end{thm}


\begin{proof}
    Claim (1) follows immediately from \cref{lem:identification_of_non-archimedean_fibers}. Assertion (2) follows immediately from \cref{prop:rel_analytification_preserves_the_deformation}, as
    in the algebraic case, the deformation $\mathcal D_{X^\mathrm{alg}/ Y}$ admits a natural left-lax $\mathbb A^1_k$-equivariant action. The statement in point (4) is essentially the content
    of \cref{cor:Hodge_filtration_in_the_non-archimedean_setting} and point (3) follows from the construction of the Hodge filtration in the non-archimedean setting combined with Noetherian approximation (for the relative cotangent complex) and
    \cref{prop:algebraic_properties_of_deformation} (3). Finally, claim (4) follows readily from \cref{lem:identification_of_Hodge_and_adic_filtrations} and the fact that
    both the Hodge filtration and the $I$-adic filtrations are compatible via relative analytification.
\end{proof}










\bibliographystyle{alpha}

